BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jim Agler

Jim Agler appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.CVmath.FAmath.OAmath.AGmath.CA

Catalog footprint

What is connected

35works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

35 published item(s)

preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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 $Ω$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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}$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The boundary Carathéodory-Fejér interpolation problem

We give an elementary proof of a solvability criterion for the {\em boundary Carathéodory-Fejér problem}: given a point $x \in \R$ and, a finite set of target values, to construct a function $f$ in the Pick class such that the first few derivatives of $f$ take on the prescribed target values at $x$. We also derive a linear fractional parametrization of the set of solutions of the interpolation problem. The proofs are based on a reduction method due to Julia and Nevanlinna.

0 citations0 reviewsNo code linkedOpen access