This paper is an attempt to find large classes of noncommutative multivariable functions $g:Ω\subset [B(\cH)^n]_1^-\to B(\cH)^n$ for which a reasonable operator model theory and dilation theory can be developed for the noncommutative domain $g(Ω)$. In other words, we want to transfer the free analogue of Nagy-Foias theory from the unit ball $[B(\cH)^n]_1$ to other noncommutative domains, using appropriate maps.
We develop a theory of holomorphic functions in several noncommuting (free) variables and thus provide a framework for the study of arbitrary n-tuples of operators. The main topics are the following: Free holomorphic functions and Hausdorff derivations; Cauchy, Liouville, and Schwartz type results for free holomorphic functions; Algebras of free holomorphic functions; Free analytic functional calculus and noncommutative Cauchy transforms; Weierstrass and Montel theorems for free holomorphic functions; Free pluriharmonic functions and noncommutative Poisson transforms; Hardy spaces of free holo…
Composition operators for holomorphic Lipschitz functions
Universidad de San Andrés（圣安德烈斯大学）；CONICET（阿根廷国家科学研究委员会）；Universidad de Zaragoza（萨拉戈萨大学）；Universite Marie et Louis Pasteur, CNRS, LmB (UMR 6623)（玛丽和路易·巴斯德大学，法国国家科学研究中心，LmB实验室）
Multivariable operator theory is used to provide Bohr inequalities for free holomorphic functions with operator coefficients on the regular polyball. In addition, we obtain analogues of Caratheodory, Fejer, and Egervary-Szazs inequalities for free holomorhic functions with operator coefficients and positive real parts on the polyball. These results are used to provide multivariable analogues of Landau's inequality and Bohr's inequality when the norm is replaced by the numerical radius of an operator.
For $Ω\subseteq \mathbb{C}$ a connected open set, and ${\mathcal U}$ a unital $C^*$-algebra, let ${\mathcal I} ({\mathcal U})$ and ${\mathcal P}({\mathcal U})$ denote the sets of all idempotents and projections in ${\mathcal U}$ respectively. ${\mathcal P}({\mathcal U})$ is called as the Grassmann manifold of $\mathcal U$ and ${\mathcal I} ({\mathcal U})$ is called as the extended Grassmann manifold. If $P:Ω\rightarrow {\mathcal P}({\mathcal U})$ is a real-analytic ${\mathcal U}$-valued map which satisfies $\overline{\partial} PP=0$, then $P$ is called a holomorphic curve on ${\mathcal P}({\ma…
We study mean ergodic composition operators on infinite dimensional spaces of holomorphic functions of different types when defined on the unit ball of a Banach or a Hilbert space: that of all holomorphic functions, that of holomorphic functions of bounded type and that of bounded holomorphic functions. Several examples in the different settings are given.
In this paper we continue the study of free holomorphic functions on the unit ball of B(H)^n, where B(H) is the algebra of all bounded linear operators on a Hilbert space H. Several classical results from complex analysis have free analogues in our noncommutative setting.
In this paper we consider the generalized little Hankel and Berezin type operators on Besov spaces of holomorphic functions on polydiscs and give results about the boundedness of these operators.
In this paper, we continue to develop the theory of free holomorphic functions on noncommutative regular polydomains. We find analogues of several classical results from complex analysis such as Abel theorem, Hadamard formula, Cauchy inequality, and Liouville theorem for entire functions, in our multivariable setting. We also provide a maximum principle and a Schwarz type lemma. These results are used to prove analogues of Weierstrass, Montel, and Vitali theorems for the algebra of free holomorphic functions on the regular polydomain, which turns out to be a complete metric space.
We characterize functions of $d$-tuples of bounded operators on a Hilbert space that are uniformly approximable by free polynomials on balanced open sets.
In this paper we obtain a noncommutative multivariable analogue of the classical Nevanlinna-Pick interpolation problem for analytic functions with positive real parts on the open unit disc. As consequences, we deduce some results concerning operator-valued analytic interpolation on the unit ball on C^n.
We characterize operator-theoretic properties (boundedness, compactness, and Schatten class membership) of Toeplitz operators with positive measure symbols on Bergman spaces of holomorphic hermitian line bundles over Kähler Cartan-Hadamard manifolds in terms of geometric or operator-theoretic properties of measures.
We study bounded holomorphic functional calculus for nonsymmetric infinite dimensional Ornstein-Uhlenbeck operators ${\mathscr L}$. We prove that if $-{\mathscr L}$ generates an analytic semigroup on $L^{2}(γ_{\infty})$, then ${\mathscr L}$ has bounded holomorphic functional calculus on $L^{r}(γ_{\infty})$, $1<r<\infty$, in any sector of angle $θ>θ^{*}_{r}$, where $γ_{\infty}$ is the associated invariant measure and $θ^{*}_{r}$ the sectoriality angle of ${\mathscr L}$ on $L^{r}(γ_{\infty})$. The angle $θ^{*}_{r}$ is optimal. In particular our result applies to any nondegenerate finite dimensio…
If $z\mapsto a_z$ is a holomorphic function with values in the sectorial forms in a Hilbert space, then the associated operator valued function $z\mapsto A_z$ is resolvent holomorphic. We give a proof of this result of Kato, on the basis of the Lax-Milgram lemma. We also show that the $C_0$-semigroups $T_z$ generated by $-A_z$ depend holomorphically on $z$.
We systematically derive general properties of continuous and holomorphic functions with values in closed operators, allowing in particular for operators with empty resolvent set. We provide criteria for a given operator-valued function to be continuous or holomorphic. This includes sufficient conditions for the sum and product of operator-valued holomorphic functions to be holomorphic. Using graphs of operators, operator-valued functions are identified with functions with values in subspaces of a Banach space. A special role is thus played by projections onto closed subspaces of a Banach spac…
We introduce Hausdorff operators over the unit disc and give conditions for boundedness of such operator in Bloch, Bergman, and Hardy spaces on the disc. Identity approximation by Hausdorff operators is also considered.
In this article, we show that the predual $\mathcal{G}_w(U)$ of the weighted space of holomorphic functions has the $\mathcal{I}$- approximation property if and only if $E$ has the $\mathcal{I}$- approximation property, where $\mathcal{I}$ is a suitably chosen operator ideal, and $\it{w}$ is a radial weight defined on a balanced open subset U of a Banach space $E$.
We determine the boundedness and compactness of a large class of operators, mapping from general Banach spaces of holomorphic functions into a particular type of spaces of functions determined by the growth of the functions, or the growth of the functions derivatives. The results show that the boundedness and compactness of such intrinsic operators depends only on the behaviour on the point evaluation functionals. They also generalize previous similar results about several specific classes of operators, such as the multiplication, composition and integral operators.
We give a simple proof of the fact that the classical Ornstein-Uhlenbeck operator $L$ is R-sectorial of angle $arcsin|1-2/p|$ on $L^{p}(\mathbb{R}^{n},\exp(-|x|^2/2)dx)$ (for $1<p<\infty$). Applying the abstract holomorphic functional calculus theory of Kalton and Weis, this immediately gives a new proof of the fact that $L$ has a bounded $H^{\infty}$ functional calculus with this optimal angle.
Suppose that $f := (f_1,\ldots,f_d):Ω_1\toΩ_2$ is a proper holomorphic map between two bounded domains in $\mathbb C^d.$ In this paper, we find a non-trivial minimal joint reducing subspace for the multiplication operator (tuple) $M_f=(M_{f_1},\ldots, M_{f_d})$ on the Bergman space $\mathbb A^2(Ω_1)$, say $\mathcal M.$ We further show that the restriction of $(M_{f_1},\ldots,M_{f_d})$ to $\mathcal M$ is unitarily equivalent to Bergman operator on $\mathbb A^2(Ω_2).$
Contractive selfadjoint extensions of a Hermitian contraction $B$ in a Hilbert space ${\mathfrak H}$ with an exit in some larger Hilbert space ${\mathfrak H}\oplus{\mathcal H}$ are investigated. This leads to a new geometric approach for characterizing analytic properties of holomorphic operator-valued functions of Kreĭn-Ovcharenko type, a class of functions whose study has been recently initiated by the authors. Compressed resolvents of such exit space extensions are also investigated leading to some new connections to transfer functions of passive discrete-time systems and related classes of…
We completely characterize the mean ergodic composition operators on $H^\infty(\mathbb{B}_n)$. In particular, we show that a composition operator acting on this space is mean ergodic if and only if it is uniformly mean ergodic.
Given a symbol $φ,$ i.e., a holomorphic endomorphism of the unit disc, we consider the composition operator $C_φ(f)=f\circφ$ defined on the Banach spaces of holomorphic functions $A(\mathbb{D})$ and $H^{\infty}(\mathbb{D})$. We obtain different conditions on the symbol $φ$ which characterize when the composition operator is mean ergodic and uniformly mean ergodic in the corresponding spaces. These conditions are related to the asymptotic behaviour of the iterates of the symbol. As an appendix, we deal with some particular case in the setting of weighted Banach spaces of holomorphic functions.
We give an entire free holomorphic function $f$ which is unbounded on the row ball. That is, we give a holomorphic free noncommutative function which is continuous in the free topology developed by Agler and McCarthy but is unbounded on the set of row contractions.
We generalize our earlier results from \cite{K} on the Bessmertny\uı class of operator-valued functions holomorphic in the open right poly-halfplane which admit representation as a Schur complement of a block of a linear homogeneous operator-valued function with positive semidefinite operator coefficients, to the case of a product of open right matrix halfplanes. Several equivalent characterizations of this generalized Bessmertny\uı class are presented. In particular, its intimate connection with the Agler--Schur class of holomorphic contractive operator-valued functions on the product of matr…
Let $ϕ$ and $ψ$ be holomorphic self-maps of the unit polydisc $U^n$ in the $n$-dimensional complex space, and denote by $C_ϕ$ and $C_ψ$ the induced composition operators. This paper gives some simple estimates of the essential norm for the difference of composition operators $C_ϕ-C_ψ$ from Bloch space to bounded holomorphic function space in the unit polydisc. Moreover the compactness of the difference is also characterized.
In this paper, a new criterion for the similarity of commuting tuples of operators on Hilbert spaces is introduced. As an application, we obtain a geometric similarity invariant of tuples in the Cowen-Douglas class which gives a partial answer to a question raised by R.G. Douglas about the similarity of quasi-free Hilbert modules. Moreover, a new subclass of commuting tuples of Cowen-Douglas class is obtained.
In this paper, we introduce a general class of weighted spaces of holomorphic Dirichlet series (with real frequencies) analytic in some half-plane and study composition operators on these spaces. In the particular case when the symbol inducing the composition operator is an affine function, we give criteria for boundedness and compactness. We also study the cyclicity property and as a byproduct give a sufficient condition so that the direct sum of the identity plus a weighted forward shift operator on the Hardy space H^2 is cyclic.
In this paper we construct a large class of multiplication operators on reproducing kernel Hilbert spaces which are {\em homogeneous} with respect to the action of the Möbius group consisting of bi-holomorphic automorphisms of the unit disc $\mathbb D$. For every $m \in \N$ we have a family of operators depending on $m+1$ positive real parameters. The kernel function is calculated explicitly. It is proved that each of these operators is bounded, lies in the Cowen-Douglas class of $\mathbb D$ and is irreducible. These operators are shown to be mutually pairwise unitarily inequivalent.
The class of operator-valued functions which are homogeneous of degree one, holomorphic in the open right polyhalfplane, have positive semidefinite real parts there and take selfadjoint operator values at real points, and its subclass consisting of functions representable in the form of Schur complement of a block of a linear pencil of operators with positive semidefinite operator coefficients, are investigated. The latter subclass is a generalization of the class of characteristic matrix functions of passive 2n-poles considered as functions of impedances of its elements, which was introduced …
We characterise continuity of composition operators on weighted spaces of holomorphic functions $H_{v}(B_{X})$, where $B_{X}$ is the open unit ball of a Banach space which is homogeneous, that is, a $JB^{\ast}-$triple.
We show that some previous results concerning the boundedness of differentiation and integration operators on weighted spaces given by radial weights in the unit disk or the complex plane might fail without some natural additional conditions. In view of this we develop a new elementary approach which is essentially different from the previous one and can be applied for weights and domains of general types. We also establish a new characterization of some popular classes of radial weights.
Related to the concept of $p$-compact operator with $p\in [1,\infty]$ introduced by Sinha and Karn, this paper deals with the space $\mathcal{H}^\infty_{\mathcal{K}_p}(U,F)$ of all Banach-valued holomorphic mappings on an open subset $U$ of a complex Banach space $E$ whose ranges are relatively $p$-compact subsets of $F$. We characterize such holomorphic mappings as those whose Mujica's linearisations on the canonical predual of $\mathcal{H}^\infty(U)$ are $p$-compact operators. This fact allows us to make a complete study of them. We show that $\mathcal{H}^\infty_{\mathcal{K}_p}$ is a surject…
These are the notes of a short course I gave in the school "Aspects métriques et dynamiques en analyse complete", Lille, May 2015. The aim of this notes is to describe how to use a geometric structure (namely, the Kobayashi distance) to explore and encode analytic properties of holomorphic functions and maps defined on complex manifolds. We shall first describe the main properties of the Kobayashi distance, and then we shall present applications to holomorphic dynamics in taut manifolds, strongly pseudo convex domains and convex domains, and to operator theory in Bergman spaces (Carleson measu…
We find a lower bound for the essential norm of the difference of two composition operators acting on $H^2(B_N)$ or $A^2_s(B_N)$ ($s>-1$). This result plays an important role in proving a necessary and sufficient condition for the difference of linear fractional composition operators to be compact, which answers a question posed by MacCluer and Weir in 2005.
The aim of the article is to prove $L^{p}-L^{q}$ off-diagonal estimates and $L^{p}-L^{q}$ boundedness for operators in the functional calculus of certain perturbed first order differential operators of Dirac type for with $p\le q$ in a certain range of exponents. We describe the $L^{p}-L^{q}$ off-diagonal estimates and the $L^{p}-L^{q}$ boundedness in terms of the decay properties of the related holomorphic functions and give a necessary condition for $L^{p}-L^{q}$ boundedness. Applications to Hardy-Littlewood-Sobolev estimates for fractional operators will be given.
In this article, we obtain two sets of results. The first set of complete results are exclusively for the case of the bi-disc while the second set of results describe in part, which of these carry over to the general case of the poly-disc: * A classification of irreducible hermitian holomorphic vector bundles over $\mathbb{D}^2$, homogeneous with respect to $\mbox{Möb}\times \mbox{Möb}$, is obtained assuming that the associated representations are \textit{multiplicity-free}. Among these the ones that give rise to an operator in the Cowen-Douglas class of $\mathbb{D}^2$ of rank $1,2$ or $3$ is …
In this paper we study quasi-homogeneous operators, which include the homogeneous operators, in the Cowen-Douglas class. We give two separate theorems describing canonical models (with respect to equivalence under unitary and invertible operators, respectively) for these operators using techniques from complex geometry. This considerably extends the similarity and unitary classification of homogeneous operators in the Cowen-Douglas class obtained recently by the last author and A. Korányi. Specifically, the complex geometric invariants used for our classification are the curvature and the seco…
This paper is based on three hours of lectures given by the first author in the "Focus Program on Analytic Function Spaces and their Applications" July 1 -- December 31, 2021, organized by the Fields Institute for Research in Mathematical Sciences. The goal of this paper is to give an introduction to the properties of discrete and continuous $C_0$-semigroups of (weighted) composition operators on various spaces of analytic functions.
Let $B(Ω)$ be the Banach space of holomorphic functions on a bounded connected domain $Ω$ in $\mathbb C^n$, which contains the ring of polynomials on $Ω$. In this paper, we first establish a criterion for $B(Ω)$ to be reflexive via evaluation functions on $B(Ω)$, that is, $B(Ω)$ is reflexive if and only if the evaluation functions span the dual spaces $(B(Ω))^{*} $. Moreover, under suitable assumptions on $Ω$ and $B(Ω)$, we establish a characterization of the composition operator $C_φ$ to be a Fredholm operator on $B(Ω)$ via the property of the holomorphic self-map $φ:Ω\toΩ$. Our new approach …
We show that the factorization problem $θ(z)=θ_2(z)θ_1(z)$ is solvable in the class of Hilbert space operator-valued functions holomorphic on some neighbourhood of $z=0$ in $\nspace{C}{N}$ and having a zero at $z=0$ (here $θ(z)$ has a multiple zero at $z=0$). Such a factorization problem becomes more complicated if we demand for $θ(z), θ_1(z)$ and $θ_2(z)$ to be Agler--Schur-class functions on the polydisk $\nspace{D}{N}$ and for the factorization identity to hold in $\nspace{D}{N}$. In this case we reduce it to the problem on the existence of a cascade decomposition for certain multiparametri…
The heat semigroup on discrete hypercubes is well-known to be contractive over $L_p$-spaces for $1<p<\infty$. A question of Mendel and Naor \cite{MN14} concerns a stronger contraction property in the tail spaces, which is known as the heat-smoothing conjecture. Eskenazis and Ivanisvili \cite{EI20} considered a Gaussian analog of this conjecture and resolved some special cases. In particular, they proved that heat-smoothing type conjecture holds for holomorphic functions in the Gaussian spaces with sharp constants. In this paper, we prove analogous sharp inequalities for holomorphic subalgebras…
A theorem of Godefroy and Shapiro states that non-trivial convolution operators on the space of entire functions on $\mathbb{C}^n$ are hypercyclic. Moreover, it was shown by Bonilla and Grosse-Erdmann that they have frequently hypercyclic functions of exponential growth. On the other hand, in the infinite dimensional setting, the Godefroy-Shapiro theorem has been extended to several spaces of entire functions defined on Banach spaces. We prove that on all these spaces, non-trivial convolution operators are strongly mixing with respect to a gaussian probability measure of full support. For the …
In this paper we study a class $\mathcal R\mathcal S(\mathfrak M)$ of operator functions that are holomorphic in the domain $\mathbb C\setminus\{(-\infty,-1]\cup [1,+\infty)\}$ and whose values are contractive operators in a Hilbert space $(\mathfrak M)$. The functions in $\mathcal R\mathcal S(\mathfrak M)$ are Schur functions in the open unit disk $\mathbb D$ and, in addition, Nevanlinna functions in $\mathbb C_+\cup\mathbb C_-$. Such functions can be realized as transfer functions of minimal passive selfadjoint discrete-time systems. We give various characterizations for the class $\mathcal …
We consider spaces of holomorphic functions which are square-integrable against a Gaussian weight, which appear in the theory of metaplectic FBI--Bargmann transforms. We identify the operator norm of embeddings between two such spaces, by relating these embeddings to Fourier integral operators with complex phase.
The main problem considered in this article is the following: if $\mathbf{F}$, $\mathbf{E}$ are normed spaces of continuous functions over topological spaces $X$ and $Y$ respectively, and $ω:Y\to\mathbb{C}$ and $Φ:Y\to X$ are such that the weighted composition operator $W_{Φ,ω}$ is continuous, when can we guarantee that both $Φ$ and $ω$ are continuous? An analogous problem is also considered in the context of spaces of holomorphic functions over (connected) complex manifolds. Additionally, we consider the most basic properties of the weighted composition operators, which only have been proven …
In [U] (among other results), M. Uchiyama gave the necessary and sufficient conditions for contractions to be similar to the unilateral shift $S$ of multiplicity $1$ in terms of norm-estimates of complete analytic families of eigenvectors of their adjoints. In [G2], it was shown that this result for contractions can't be extended to power bounded operators. Namely, a cyclic power bounded operator was constructed which has the requested norm-estimates, is a quasiaffine transform of $S$, but is not quasisimilar to $S$. In this paper, it is shown that the additional assumption on a power bounded …
We study the boundedness of the $H^{\infty}$ functional calculus for differential operators acting in (L^{p}(\mathbb{R}^{n};\mathbb{C}^{N})). For constant coefficients, we give simple conditions on the symbols implying such boundedness. For non-constant coefficients, we extend our recent results for the (L^p) theory of the Kato square root problem to the more general framework of Hodge-Dirac operators with variable coefficients (Π_B) as treated in (L^2(\mathbb{R}^{n};\mathbb{C}^{N})) by Axelsson, Keith, and McIntosh. We obtain a characterization of the property that (Π_B) has a bounded (H^{\in…
In this work we treat realization results for operator-valued functions which are analytic in the complex sense or slice hyperholomorphic over the quaternions. In the complex setting, we prove a realization theorem for an operator-valued function analytic in a neighborhood of the origin with a coisometric state space operator thus generalizing an analogous result in the unitary case. A main difference with previous works is the use of reproducing kernel Krein spaces. We then prove the counterpart of this result in the quaternionic setting. The present work is the first paper which presents a r…
We prove sufficient conditions for the boundedness and compactness of Toeplitz operators $T_a$ in weighted sup-normed Banach spaces $H_v^\infty$ of holomorphic functions defined on the open unit disc $\mathbb{D}$ of the complex plane; both the weights $v$ and symbols $a$ are assumed to be radial functions on $\mathbb{D}$. In an earlier work by the authors it was shown that there exists a bounded, harmonic (thus non-radial) symbol $a$ such that $T_a$ is not bounded in any space $H_v^\infty$ with an admissible weight $v$. Here, we show that a mild additional assumption on the logarithmic decay r…
Let $ E $ be a space of holomorphic functions on the unit ball $ B_X $ of a Banach space $ X.$ In this work, we introduce a Banach structure associated to $ E $ on the linear space $ WE(Y) $ containing $ Y$-valued holomorphic functions on $ B_X $ such that $ w \circ f \in E $ for every $ w \in W, $ a separating subspace of the dual $ Y' $ of a Banach $ Y. $ We establish the relation between the boundedness, the (weak) compactness of the weighted composition operators $ W_{ψ,φ}: f\mapsto ψ\cdot(f \circ φ) $ on $ E $ and $ \widetilde{W}_{ψ,φ}: g\mapsto ψ\cdot(g \circ φ) $ on $ WE(Y)$ via some ch…
In this article we prove a general result which in particular suggests that, on a simply connected domain in C, all the derivatives and anti-derivatives of the generic holomorphic function are unbounded. A similar result holds for the operator of partial sums of the Taylor expansion with center z at 0, seen as functions of the center z. We also discuss a universality result of these operators.
