Source author record

John E. McCarthy

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

40works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

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

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

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.

preprint2022arXiv

Free outer functions in complete Pick spaces

Jury and Martin establish an analogue of the classical inner-outer factorization of Hardy space functions. They show that every function $f$ in a Hilbert function space with a normalized complete Pick reproducing kernel has a factorization of the type $f=φg$, where $g$ is cyclic, $φ$ is a contractive multiplier, and $\|f\|=\|g\|$. In this paper we show that if the cyclic factor is assumed to be what we call free outer, then the factors are essentially unique, and we give a characterization of the factors that is intrinsic to the space. That lets us compute examples. We also provide several applications of this factorization.

preprint2022arXiv

Multiplier tests and subhomogeneity of multiplier algebras

Multipliers of reproducing kernel Hilbert spaces can be characterized in terms of positivity of $n \times n$ matrices analogous to the classical Pick matrix. We study for which reproducing kernel Hilbert spaces it suffices to consider matrices of bounded size $n$. We connect this problem to the notion of subhomogeneity of non-selfadjoint operator algebras. Our main results show that multiplier algebras of many Hilbert spaces of analytic functions, such as the Dirichlet space and the Drury-Arveson space, are not subhomogeneous, and hence one has to test Pick matrices of arbitrarily large matrix size $n$. To treat the Drury-Arveson space, we show that multiplier algebras of certain weighted Dirichlet spaces on the disc embed completely isometrically into the multiplier algebra of the Drury-Arveson space.

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.

preprint2020arXiv

Interpolating sequences in spaces with the complete Pick property

We characterize interpolating sequences for multiplier algebras of spaces with the complete Pick property. Specifically, we show that a sequence is interpolating if and only if it is separated and generates a Carleson measure. This generalizes results of Carleson for the Hardy space and of Bishop, Marshall and Sundberg for the Dirichlet space. Furthermore, we investigate interpolating sequences for pairs of Hilbert function spaces.

preprint2020arXiv

Symbol functions for symmetric frameworks

We prove a variant of the well-known result that intertwiners for the bilateral shift on `$\ell^2(Z)$ are unitarily equivalent to multiplication operators on $L^2(T)$. This enables us to unify and extend fundamental aspects of rigidity theory for bar-joint frameworks with an abelian symmetry group. In particular, we formulate the symbol function for a wide class of frameworks and show how to construct generalised rigid unit modes in a variety of new contexts.

preprint2020arXiv

Weak products of complete Pick spaces

Let $\mathcal H$ be the Drury-Arveson or Dirichlet space of the unit ball of $\mathbb C^d$. The weak product $\mathcal H\odot\mathcal H$ of $\mathcal H$ is the collection of all functions $h$ that can be written as $h=\sum_{n=1}^\infty f_n g_n$, where $\sum_{n=1}^\infty \|f_n\|\|g_n\|<\infty$. We show that $\mathcal H\odot\mathcal H$ is contained in the Smirnov class of $\mathcal H$, i.e. every function in $\mathcal H\odot\mathcal H$ is a quotient of two multipliers of $\mathcal H$, where the function in the denominator can be chosen to be cyclic in $\mathcal H$. As a consequence we show that the map $\mathcal N \to clos_{\mathcal H\odot\mathcal H} \mathcal N$ establishes a 1-1 and onto correspondence between the multiplier invariant subspaces of $\mathcal H$ and of $\mathcal H\odot\mathcal H$. The results hold for many weighted Besov spaces $\mathcal H$ in the unit ball of $\mathbb C^d$ provided the reproducing kernel has the complete Pick property. One of our main technical lemmas states that for weighted Besov spaces $\mathcal H$ that satisfy what we call the multiplier inclusion condition any bounded column multiplication operator $\mathcal H \to \oplus_{n=1}^\infty \mathcal H$ induces a bounded row multiplication operator $\oplus_{n=1}^\infty \mathcal H \to \mathcal H$. For the Drury-Arveson space $H^2_d$ this leads to an alternate proof of the characterization of interpolating sequences in terms of weak separation and Carleson measure conditions.

preprint2018arXiv

A multiplier algebra functional calculus

This paper generalizes the classical Sz.-Nagy--Foias $H^{\infty}(\mathbb{D})$ functional calculus for Hilbert space contractions. In particular, we replace the single contraction $T$ with a tuple $T=(T_1, \dots, T_d)$ of commuting bounded operators on a Hilbert space and replace $H^{\infty}(\mathbb{D})$ with a large class of multiplier algebras of Hilbert function spaces on the unit ball in $\mathbb C^d$.

preprint2018arXiv

Radially weighted Besov spaces and the Pick property

For $s\in \mathbb R$ the weighted Besov space on the unit ball $\mathbb B_d$ of $\mathbb C^d$ is defined by $B^s_ω=\{f\in \operatorname{Hol}(\mathbb B_d): \int_{\mathbb B_d}|R^sf|^2 ωdV<\infty\}.$ Here $R^s$ is a power of the radial derivative operator $R= \sum_{i=1}^d z_i\frac{\partial}{\partial z_i}$, $V$ denotes Lebesgue measure, and $ω$ is a radial weight function not supported on any ball of radius $< 1$. Our results imply that for all such weights $ω$ and $ν$, every bounded column multiplication operator $B^s_ω\to B^t_ν\otimes \ell^2$ induces a bounded row multiplier $B^s_ω\otimes \ell^2 \to B^t_ν$. Furthermore we show that if a weight $ω$ satisfies that for some $α>-1$ the ratio $ω(z)/(1-|z|^2)^α$ is nondecreasing for $t_0<|z|<1$, then $B^s_ω$ is a complete Pick space, whenever $s\ge (α+d)/2$.

preprint2017arXiv

The Smirnov class for spaces with the complete Pick property

We show that every function in a reproducing kernel Hilbert space with a normalized complete Pick kernel is the quotient of a multiplier and a cyclic multiplier. This extends a theorem of Alpay, Bolotnikov and Kaptanoğlu. We explore various consequences of this result regarding zero sets, spaces on compact sets and Gleason parts. In particular, using a construction of Salas, we exhibit a rotationally invariant complete Pick space of analytic functions on the unit disc for which the corona theorem fails.

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.

preprint2016arXiv

The Julia-Caratheodory theorem on the bidisk revisited

The Julia quotient measures the ratio of the distance of a function value from the boundary to the distance from the boundary. The Julia-Carathéodory theorem on the bidisk states that if the Julia quotient is bounded along some sequence of nontangential approach to some point in the torus, the function must have directional derivatives in all directions pointing into the bidisk. The directional derivative, however, need not be a linear function of the direction in that case. In this note, we show that if the Julia quotient is uniformly bounded along every sequence of nontangential approach, the function must have a linear directional derivative. Additionally, we analyze a weaker condition, corresponding to being Lipschitz near the boundary, which implies the existence of a linear directional derivative for rational functions.

preprint2014arXiv

Thin sequences and the Gram matrix

We provide a new proof of Volberg's Theorem characterizing thin interpolating sequences as those for which the Gram matrix associated to the normalized reproducing kernels is a compact perturbation of the identity. In the same paper, Volberg characterized sequences for which the Gram matrix is a compact perturbation of a unitary as well as those for which the Gram matrix is a Schatten-$2$ class perturbation of a unitary operator. We extend this characterization from $2$ to $p$, where $2 \le p \le \infty$.

preprint2014arXiv

Unions of Lebesgue spaces and $A_1$ majorants

We study two questions. When does a function belong to the union of Lebesgue spaces and when does a function have an $A_1$ majorant? We show these questions are fundamentally related. For functions restricted to a fixed cube we prove that the following are equivalent: a function belongs to $L^p$ for some $p>1$; the function has an $A_1$ majorant; for any $p>1$ the function belongs to $L^p_w$ for some $A_p$ weight $w$. We also examine the case of functions defined on ${\mathbb R}^n$ and give characterizations of the union of $L^p_w$ over $w$ in $A_p$ and when a function has an $A_1$ majorant on all of ${\mathbb R}^n$.

preprint2013arXiv

On the isomorphism question for complete Pick multiplier algebras

Every multiplier algebra of an irreducible complete Pick kernel arises as the restriction algebra $\mv = \{f\big|_V : f \in \cM_d\}$, where $d$ is some integer or $\infty$, $\cM_d$ is the multiplier algebra of the Drury-Arveson space $H^2_d$, and $V$ is a subvariety of the unit ball. For finite $d$ it is known that, under mild assumptions, every isomorphism between two such algebras $\mv$ and $\mw$ is induced by a biholomorphism between $W$ and $V$. In this paper we consider the converse, and obtain positive results in two directions. The first deals with the case where $V$ is the proper image of a finite Riemann surface. The second deals with the case where $V$ is a disjoint union of varieties.

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.

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.

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.

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

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.