Jim Agler

A generalization of Hardy's operator and an asymptotic Muntz-Szasz Theorem

The Hardy operator has all the monomial functions as eigenvectors. We study bounded operators on L^2 that take monomial functions to multiples of other monomials, with a shifted exponent. We prove that they all leave the space of functions vanishing on [0,s] invariant. We prove an asymptotic Muntz-Szasz theorem, characterizing the set of functions that are limits of linear combinations of monomials with exponents between n and 2n.

Asymptotic Muntz-Szasz Theorems

We define a monomial space to be a subspace of $\ltwo$ that can be approximated by spaces that are spanned by monomial functions. We describe the structure of monomial spaces.

Beurling's theorem for the Hardy operator on $L^2[0,1]$

We prove that the invariant subspaces of the Hardy operator on $L^2[0,1]$ are the spaces that are limits of sequences of finite dimensional spaces spanned by monomial functions.

Complete Norm Preserving Extensions of Holomorphic Functions

We show that for every connected analytic subvariety $V$ there is a pseudoconvex set $Ω$ such that every bounded matrix-valued holomorphic function on $V$ extends isometrically to $Ω$ . We prove that if $V$ is two analytic disks intersecting at one point, if every bounded scalar valued holomorphic function extends isometrically to $Ω$ , then so does every matrix-valued function. In the special case that $Ω$ is the symmetrized bidisk, we show that this cannot be done by finding a linear isometric extension from the functions that vanish at one point.

Monomial Operators

We study monomial operators on $L^2[0,1]$ , that is bounded linear operators that map each monomial $x^n$ to a multiple of $x^{p_n}$ for some $p_n$ . We show that they are all unitarily equivalent to weighted composition operators on a Hardy space. We characterize what sequences $p_n$ can arise. In the case that $p_n$ is a fixed translation of $n$ , we give a criterion for boundedness of the operator.

Nonuniqueness of Carathéodory extremal functions on the symmetrized bidisc

We survey the Carathéodory extremal problem $\mathrm{Car} δ$ on the symmetrized bidisc $G = \{(z+w,zw):|z|<1, \, |w|<1\} = \{(s,p)\in \mathbb{C}^2: |s-\bar s p| < 1-|p|^2\}.$ We also give some new results on this topic. We are particularly interested in cases of this problem in which the solution of the problem is not unique. It is known that, for any $δ=(λ,v)\in TG$ with $v\neq 0$ , there is at least one $ω\in\mathbb{T}$ such that $Φ_ω$ solves $\mathrm{Car} δ$ , where $Φ_ω(s,p) = \frac{2ωp-s}{2-ωs}$ . Moreover, there is an essentially unique solution of $\mathrm{Car} δ$ if and only if $δ$ has exactly one Carathéodory extremal function of the form $Φ_ω$ for some $ω\in\mathbb{T}$ . We give a description of Carathéodory extremals for $δ\in TG$ with more than one Carathéodory extremal function $Φ_ω$ for some values of $ω\in\mathbb{T}$ . The proof exploits a model formula for the Schur class of $G$ which is an analog of the well-known network realization formula for Schur-class functions on the disc.

Norm Preserving Extensions of Holomorphic Functions Defined on Varieties in ${\mathbb C}^n$

If $V$ is an analytic set in a pseudoconvex domain $Ω$ , we show there is always a pseudoconvex domain $G \subseteq Ω$ that contains $V$ and has the property that every bounded holomorphic function on $V$ extends to a bounded holomorphic function on $G$ with the same norm. We find such a $G$ for some particular analytic sets. When $Ω$ is an operhedron we show there is a norm on holomorphic functions on $V$ that can always be preserved by extensions to $Ω$ .

The Hardy-Weyl algebra

We study the algebra $\mathcal{A}$ generated by the Hardy operator $H$ and the operator $M_x$ of multiplication by $x$ on $L^2[0,1]$ . We call $\mathcal{A}$ the Hardy-Weyl algebra. We show that its quotient by the compact operators is isomorphic to the algebra of functions that are continuous on $Λ$ and analytic on the interior of $Λ$ for a planar set $Λ$ = $[-1,0] \cup \bar{ \mathbb{D}(1,1)}$ , which we call the lollipop. We find a Toeplitz-like short exact sequence for the $C^*$ -algebra generated by $\mathcal{A}$ . We study the operator $Z = H - M_x$ , show that its point spectrum is $(-1,0] \cup \mathbb{D}(1,1)$ , and that the eigenvalues grow in multiplicity as the points move to $0$ from the left.

preprint2019arXiv

A Geometric Characterization of the Symmetrized Bidisc

The symmetrized bidisc $G \stackrel{\rm{def}}{=}\{(z+w,zw):|z|<1,\ |w|<1\}$ has interesting geometric properties. While it has a plentiful supply of complex geodesics and of automorphisms, there is nevertheless a unique complex geodesic $\mathcal{R}$ in $G$ that is invariant under all automorphisms of $G$ . Moreover, $G$ is foliated by those complex geodesics that meet $\mathcal{R}$ in one point and have nontrivial stabilizer. We prove that these properties, together with two further geometric hypotheses on the action of the automorphism group of $G$ , characterize the symmetrized bidisc in the class of complex manifolds.

Complete Nevanlinna-Pick kernels

We give a new treatment of Quiggin's and McCullough's characterization of complete Nevanlinna-Pick kernels. We show that a kernel has the matrix-valued Nevanlinna-Pick property if and only if it has the vector-valued Nevanlinna-Pick property. We give a representation of all complete Nevanlinna-Pick kernels, and show that they are all restrictions of a universal complete Nevanlinna-Pick kernel.

Finite Blaschke products and the construction of rational $Γ$ -inner functions

Let $Γ= \{(z+w, zw): |z|\leq 1, |w|\leq 1\} \subset \mathbb{C}^2.$ A $Γ$ -inner function is defined to be a holomorphic map $h$ from the unit disc $\mathbb{D}$ to $Γ$ whose boundary values at almost all points of the unit circle $\mathbb{T}$ belong to the distinguished boundary $bΓ$ of $Γ$ . A rational $Γ$ -inner function $h$ induces a continuous map $h|_\mathbb{T}$ from the unit circle to $bΓ$ . The latter set is topologically a Möbius band and so has fundamental group $\mathbb{Z}$ . The {\em degree} of $h$ is defined to be the topological degree of $h|_\mathbb{T}$ . In a previous paper the authors showed that if $h=(s,p)$ is a rational $Γ$ -inner function of degree $n$ then $s^2-4p$ has exactly $n$ zeros in the closed unit disc $\mathbb{D}^-$ , counted with an appropriate notion of multiplicity. In this paper, with the aid of a solution of an interpolation problem for finite Blaschke products, we explicitly construct the rational $Γ$ -inner functions of degree $n$ with the $n$ zeros of $s^2-4p$ and the corresponding values of $s$ , prescribed.

Geodesics, retracts, and the norm-preserving extension property in the symmetrized bidisc

A set $V$ in a domain $U$ in $\mathbb{C}^n$ has the {\em norm-preserving extension property} if every bounded holomorphic function on $V$ has a holomorphic extension to $U$ with the same supremum norm. We prove that an algebraic subset of the {\em symmetrized bidisc} $G := \{(z+w,zw):|z|<1, |w| < 1 \}$ has the norm-preserving extension property if and only if it is either a singleton, $G$ itself, a complex geodesic of $G$ , or the union of the set $\{(2z,z^2): |z|<1\}$ and a complex geodesic of degree $1$ in $G$ . We also prove that the complex geodesics in $G$ coincide with the nontrivial holomorphic retracts in $G$ . Thus, in contrast to the case of the ball or the bidisc, there are sets in $G$ which have the norm-preserving extension property but are not holomorphic retracts of $G$ . In the course of the proof we obtain a detailed classification of the complex geodesics in $G$ modulo automorphisms of $G$ . We give applications to von Neumann-type inequalities for $Γ$ -contractions (that is, commuting pairs of operators for which the closure of $G$ is a spectral set) and for symmetric functions of commuting pairs of contractive operators. We find three other domains that contain sets with the norm-preserving extension property which are not retracts: they are the spectral ball of $2\times 2$ matrices, the tetrablock and the pentablock. We also identify the subsets of the bidisc which have the norm-preserving extension property for symmetric functions.

Interpolating sequences on the bidisk

We give a characterization of interpolating sequences for bounded analytic functions on the bidisk.

Nevanlinna-Pick Kernels and Localization

We describe those reproducing kernel Hilbert spaces of holomorphic functions on domains in ${\Bbb C}^d$ for which an analogue of the Nevanlinna-Pick theorem holds, in other words when the existence of a (possibly matrix-valued) function in the unit ball of the multiplier algebra with specified values on a finite set of points is equivalent to the positvity of a related matrix. Our description is in terms of a certain localization property of the kernel.

The three point Pick problem on the Bidisk

We analyze the three point Pick interpolation problem on the bidisk

preprint2015arXiv

Non-commutative Functional Calculus and Spectral Theory

We develop a functional calculus for $d$ -tuples of non-commuting elements in a Banach algebra. The functions we apply are free analytic functions, that is nc functions that are bounded on certain polynomial polyhedra.

preprint2015arXiv

Non-commutative holomorphic functions on Operator domains

We characterize functions of $d$ -tuples of bounded operators on a Hilbert space that are uniformly approximable by free polynomials on balanced open sets.

preprint2014arXiv

The implicit function theorem and free algebraic sets

We prove an implicit function theorem for non-commutative functions. We use this to show that if $p(X,Y)$ is a generic non-commuting polynomial in two variables, and $X$ is a generic matrix, then all solutions $Y$ of $p(X,Y)=0$ will commute with $X$ .

3-extremal holomorphic maps and the symmetrised bidisc

We analyse the 3-extremal holomorphic maps from the unit disc $\mathbb{D}$ to the symmetrised bidisc $\mathcal{G}$ , defined to be the set $\{(z+w,zw): z,w\in\mathbb{D}\}$ , with a view to the complex geometry and function theory of $\mathcal{G}$ . These are the maps whose restriction to any triple of distinct points in $\mathbb{D}$ yields interpolation data that are only just solvable. We find a large class of such maps; they are rational of degree at most 4. It is shown that there are two qualitatively different classes of rational $\mathcal{G}$ -inner functions of degree at most 4, to be called {\em aligned} and {\em caddywhompus} functions; the distinction relates to the cyclic ordering of certain associated points on the unit circle. The aligned ones are 3-extremal. We describe a method for the construction of aligned rational $\mathcal{G}$ -inner functions; with the aid of this method we reduce the solution of a 3-point interpolation problem for aligned holomorphic maps from $\mathbb{D}$ to $\mathcal{G}$ to a collection of classical Nevanlinna-Pick problems with mixed interior and boundary interpolation nodes. Proofs depend on a form of duality for $\mathcal{G}$ .

A case of mu-synthesis as a quadratic semidefinite program

We analyse a special case of the robust stabilization problem under structured uncertainty. We obtain a new criterion for the solvability of the spectral Nevanlinna-Pick problem, which is a special case of the $μ$ -synthesis problem of $H^\infty$ control in which $μ$ is the spectral radius. Given $n$ distinct points $\la_1,\dots,\la_n$ in the unit disc and $2\times 2$ nonscalar complex matrices $W_1,\dots,W_n$ , the problem is to determine whether there is an analytic $2\times 2$ matrix function $F$ on the disc such that $F(\la_j)=W_j$ for each $j$ and the supremum of the spectral radius of $F(\la)$ is less than 1 for $\la$ in the disc. The condition is that the minimum of a quadratic function of pairs of positive $3n$ -square matrices subject to certain linear matrix inequalities in the data be attained and be zero.

Global holomorphic functions in several non-commuting variables

We define a free holomorphic function to be a function that is locally a bounded nc-function. We prove that free holomorphic functions are the functions that are locally uniformly approximable by free polynomials. We prove a realization formula and an Oka-Weil theorem for free analytic functions.

On the Representation of Holomorphic Functions on Polyhedra

We generalize the Oka extension theorem, and obtain bounds on the norm of the extension, by using operator theory.

Operator monotone functions and Löwner functions of several variables

We prove generalizations of Löwner's results on matrix monotone functions to several variables. We give a characterization of when a function of $d$ variables is locally monotone on $d$ -tuples of commuting self-adjoint $n$ -by- $n$ matrices. We prove a generalization to several variables of Nevanlinna's theorem describing analytic functions that map the upper half-plane to itself and satisfy a growth condition. We use this to characterize all rational functions of two variables that are operator monotone.

Pick Interpolation for free holomorphic functions

We prove an interpolation theorem for bounded free holomorphic functions.

Symmetric functions of two noncommuting variables

We prove a noncommutative analogue of the fact that every symmetric analytic function of $(z,w)$ in the bidisc $\D^2$ can be expressed as an analytic function of the variables $z+w$ and $zw$ . We construct an analytic nc-map $S$ from the biball to an infinite-dimensional nc-domain $Ω$ with the property that, for every bounded symmetric function $\ph$ of two noncommuting variables that is analytic on the biball, there exists a bounded analytic nc-function $Φ$ on $Ω$ such that $\ph=Φ\circ S$. We also establish a realization formula for $Φ$ , and hence for $\ph$, in terms of operators on Hilbert space.

Extremal holomorphic maps and the symmetrised bidisc

We introduce the class of $n$ -extremal holomorphic maps, a class that generalises both finite Blaschke products and complex geodesics, and apply the notion to the finite interpolation problem for analytic functions from the open unit disc into the symmetrised bidisc $Γ$ . We show that a well-known necessary condition for the solvability of such an interpolation problem is not sufficient whenever the number of interpolation nodes is 3 or greater. We introduce a sequence $\mathcal{C}_ν, ν\geq 0,$ of necessary conditions for solvability, prove that they are of strictly increasing strength and show that $\mathcal{C}_{n-3}$ is insufficient for the solvability of an $n$ -point problem for $n\geq 3$ . We propose the conjecture that condition $\mathcal{C}_{n-2}$ is necessary and sufficient for the solvability of an $n$ -point interpolation problem for $Γ$ and we explore the implications of this conjecture. We introduce a classification of rational $Γ$ -inner functions, that is, analytic functions from the disc into $Γ$ whose radial limits at almost all points on the unit circle lie in the distinguished boundary of $Γ$ . The classes are related to $n$ -extremality and the conditions $\mathcal{C}_ν$ ; we prove numerous strict inclusions between the classes.

Hankel vector moment sequences and the non-tangential regularity at infinity of two variable Pick functions

A Pick function of $d$ variables is a holomorphic map from $Π^d$ to $Π$ , where $Π$ is the upper halfplane. Some Pick functions of one variable have an asymptotic expansion at infinity, a power series $\sum_{n=1}^\infty ρ_n z^{-n}$ with real numbers $ρ_n$ that gives an asymptotic expansion on non-tangential approach regions to infinity. H. Hamburger in 1921 characterized which sequences $\{ρ_n\}$ can occur. We give an extension of Hamburger's results to Pick functions of two variables.

Nevanlinna representations in several variables

We generalize two integral representation formulae of Nevanlinna to functions of several variables. We show that for a large class of analytic functions that have non-negative imaginary part on the upper polyhalfplane there are representation formulae in terms of densely defined self-adjoint operators on a Hilbert space. We introduce three types of structured resolvent of a self-adjoint operator and identify four different types of representation in terms of these resolvents. We relate the types of representation that a function admits to its growth at infinity.

Operator theory and the Oka extension theorem

For $δ$ an $m$ -tuple of analytic functions, we define an algebra $\hidg$, contained in the bounded analytic functions on the analytic polyhedron ${|δ^l(z)| < 1, \ 1 \leq l \leq m}$ , and prove a representation formula for it. We give conditions whereby every function that is analytic on a neighborhood of ${|δ^l(z)| \leq 1, \ 1 \leq l \leq m}$ is actually in $\hidg$. We use this to give a proof of the Oka extension theorem with bounds. We define an $\hidg$ functional calculus for operators.

The Takagi problem on the disk and bidisk

We give a new proof on the disk that a Pick problem can be solved by a rational function that is unimodular on the unit circle and for which the number of poles inside the disk is no more than the number of non-positive eigenvalues of the Pick matrix. We use this method to find rational solutions to Pick problems on the bidisk.

preprint2011arXiv

Pseudo-Taylor expansions and the Carathéodory-Fejér problem

We give a new solvability criterion for the boundary Carathéodory-Fejér problem: given a point $x \in \mathbb{R}$ and, a finite set of target values $a^0,a^1,...,a^n \in \mathbb{R}$ , to construct a function $f$ in the Pick class such that the limit of $f^{(k)}(z)/k!$ as $z \to x$ nontangentially in the upper half plane is $a^k$ for $k= 0,1,...,n$ . The criterion is in terms of positivity of an associated Hankel matrix. The proof is based on a reduction method due to Julia and Nevanlinna.

A Caratheodory theorem for the bidisk via Hilbert space methods

If $\ph$ is an analytic function bounded by 1 on the bidisk $\D^2$ and $τ\in\tb$ is a point at which $\ph$ has an angular gradient $\nabla\ph(τ)$ then $\nabla\ph(\la) \to \nabla\ph(τ)$ as $\la\toτ$ nontangentially in $\D^2$. This is an analog for the bidisk of a classical theorem of Carathéodory for the disk. For $\ph$ as above, if $τ\in\tb$ is such that the $\liminf$ of $(1-|\ph(\la)|)/(1-\|\la\|)$ as $\la\toτ$ is finite then the directional derivative $D_{-\de}\ph(τ)$ exists for all appropriate directions $\de\in\C^2$. Moreover, one can associate with $\ph$ and $τ$ an analytic function $h$ in the Pick class such that the value of the directional derivative can be expressed in terms of $h$ .

Boundary Nevanlinna-Pick interpolation via reduction and augmentation

We give an elementary proof of Sarason's solvability criterion for the Nevanlinna-Pick problem with boundary interpolation nodes and boundary target values. We also give a concrete parametrization of all solutions of such a problem. The proofs are based on a reduction method due to Julia and Nevanlinna. Reduction of functions corresponds to Schur complementation of the corresponding Pick matrices.

Facial behaviour of analytic functions on the bidisk

We prove that if $ϕ$ is an analytic function bounded by 1 on the bidisk and $τ$ is a point in a face of the bidisk at which $ϕ$ satisfies Caratheodory's condition then both $ϕ$ and the angular gradient $\nablaϕ$ exist and are constant on the face. Moreover, the class of all $ϕ$ with prescribed $ϕ(τ)$ and $\nablaϕ(τ)$ can be parametrized in terms of a function in the two-variable Pick class. As an application we solve an interpolation problem with nodes that lie on faces of the bidisk.