In this paper, norm estimates are obtained for the problem of minimal-norm tangential interpolation by vector-valued analytic functions in weighted H^p spaces, expressed in terms of the Carleson constants of related scalar measures. Applications are given to the notion of p-controllability properties of linear semigroup systems and controllability by functions in certain Sobolev spaces.
In this paper we extend a method of Arveson and McCullough to prove a tangential interpolation theorem for subalgebras of $H^\infty$. This tangential interpolation result implies a Toelitz corona theorem. In particular, it is shown that the set of matrix positivity conditions is indexed by cyclic subspaces, which is analogous to the results obtained for the ball and the polydisk algebra by Trent-Wick and Douglas-Sarkar.
We prove a complex interpolation formula for the injective tensor product of vector-valued Banach function spaces satisfying certain geometric assumptions. This result unifies results of Kouba, and moreover, our approach offers an alternate proof of Kouba's interpolation formula for scalar-valued Banach function spaces.
In this short note, we merge the areas of hypercomplex algebras with that of fractal interpolation and approximation. The outcome is a new holistic methodology that allows the modelling of phenomena exhibiting a complex self-referential geometry and which require for their description an underlying algebraic structure.
We study complex interpolation scales obtained by vector valued amalgamation and the derivations they generate. We study their trivial and singular character and obtain examples showing that the hypotheses in the main theorems of [J.M.F. Castillo, V. Ferenczi and M. González, \emph{Singular exact sequences generated by complex interpolation}, Trans. Amer. Math. Soc. 369 (2017) 4671--4708] are not necessary.
In this note, we propose an unbalanced version of the quantum mechanical version of optimal mass transport that was based on the Lindblad equation. We formulate a natural interpolation framework between density matrices and matrix-valued measures via a quantum mechanical formulation of Fisher-Rao information and the matricial Wasserstein distance.
We give necessary and sufficient conditions for interpolation inequalities of the type considered by Marcinkiewicz and Zygmund to be true in the case of Banach space-valued polynomials and Jacobi weights and nodes. We also study the vector-valued expansion problem of $L_p$-functions in terms of Jacobi polynomials and consider the question of unconditional convergence. The notion of type $p$ with respect to orthonormal systems leads to some characterizations of Hilbert spaces. It is also shown that various vector-valued Jacobi means are equivalent.
Following ideas from the Abstract Interpolation Problem of Katsnelson et al. (Operators in spaces of functions and problems in function theory, vol 146, pp 83-69, Naukova Dumka, Keiv, 1987) for Schur class functions, we study a general metric constrained interpolation problem for functions from a vector-valued de Branges-Rovnyak space $\mathcal{H}(K_S)$ associated with an operator-valued Schur class function $S$. A description of all solutions is obtained in terms of functions from an associated de Branges-Rovnyak space satisfying only a bound on the de Branges-Rovnyak-space norm. Attention is…
Let X be a Banach space and $1\le p<\infty$. We prove interpolation inequalities of Marcinkiewicz-Zygmund type for X-valued polynomials g of degree $\le n$ on $R$, \[c_p (\sum\limits_{i=1}^{n+1} μ_i \| g(t_i)e^{-t_i^2 /2} \|^p)^{1/p} \le (\int\limits_{\RR}^{} \|g(t)e^{-t^2 /2} \|^p dt)^{1/p} \le d_p (\sum\limits_{i=1}^{n+1} μ_i \|g(t_i)e^{-t_i^2 /2} \|^p)^{1/p}\;\;,\] where $(t_i)_1^{n+1}$ are the zeros of the Hermite polynomial $H_{n+1}$ and $(μ_i)_1^{n+1}$ are suitable weights. The validity of the right inequality requires $1<p<4$ and X being a UMD-space. This implies a mean convergence theo…
Recent results of Davidson-Paulsen-Raghupathi-Singh give necessary and sufficient conditions for the existence of a solution to the Nevanlinna-Pick interpolation problem on the unit disk with the additional restriction that the interpolant should have the value of its derivative at the origin equal to zero. This concrete mild generalization of the classical problem is prototypical of a number of other generalized Nevanlinna-Pick interpolation problems which have appeared in the literature (for example, on a finitely-connected planar domain or on the polydisk). We extend the results of Davidson…
The theory of Nevanlinna-Pick and Carathéodory-Fejér interpolation for matrix- and operator-valued Schur class functions on the unit disk is now well established. Recent work has produced extensions of the theory to a variety of multivariable settings, including the ball and the polydisk (both commutative and noncommutative versions), as well as a time-varying analogue. Largely independent of this is the recent Nevanlinna-Pick interpolation theorem by P.S. Muhly and B. Solel for an abstract Hardy algebra set in the context of a Fock space built from a $W^*$-correspondence E over a $W^{*}$-alge…
Let $E$ be a Sidon subset of the integers and suppose $X$ is a Banach space. Then Pisier has shown that $E$-spectral polynomials with values in $X$ behave like Rademacher sums with respect to $L_p-$norms. We consider the situation when $X$ is a quasi-Banach space. For general quasi-Banach spaces we show that a similar result holds if and only if $E$ is a set of interpolation ($I_0$-set). However for certain special classes of quasi-Banach spaces we are able to prove such a result for larger sets. Thus if $X$ is restricted to be ``natural'' then the result holds for all Sidon sets. We also cons…
We prove results on complex interpolation of vector-valued Sobolev spaces over the half-line with Dirichlet boundary condition. Motivated by applications in evolution equations, the results are presented for Banach space-valued Sobolev spaces with a power weight. The proof is based on recent results on pointwise multipliers in Bessel potential spaces, for which we present a new and simpler proof as well. We apply the results to characterize the fractional domain spaces of the first derivative operator on the half line.
This paper concerns a commutant lifting theorem and a Nevanlinna-Pick type interpolation result in the setting of multipliers from vector-valued Drury-Arveson space to a large class of vector-valued reproducing kernel Hilbert spaces over the unit ball in $\mathbb{C}^n$. The special case of reproducing kernel Hilbert spaces includes all natural examples of Hilbert spaces like Hardy space, Bergman space and weighted Bergman spaces over the unit ball.
B-splines $B_{q}$, $\Sc q > 1$, of quaternionic order $q$, for short quaternionic B-splines, are quaternion-valued piecewise Müntz polynomials whose scalar parts interpolate the classical Schoenberg splines $B_{n}$, $n\in\N$, with respect to degree and smoothness. As the Schoenberg splines of order $\geq 3$, they in general do not satisfy the interpolation property $B_{q}(n-k) = δ_{n,k}$, $n,k\in\Z$. However, the application of the interpolation filter $1/\sum\limits_{k\in\Z} \widehat{B}_{q}(ξ+2 πk)$---if well-defined---in the frequency domain yields a cardinal fundamental spline of quaternion…
We prove an extension theorem (with non-tangential limits) for vector-valued Baire one functions. Moreover, at every point where the function is continuous (or bounded), the continuity (or boundedness) is preserved. More precisely: Let $H$ be a closed subset of a metric space $X$ and let $Z$ be a normed vector space. Let $f: H\to Z$ be a Baire one function. We show that there is a continuous function $g: (X\setminus H) \to Z$ such that, for every $a\in \partial H$, the non-tangential limit of $g$ at a equals $f(a)$ and, moreover, if $f$ is continuous at $a\in H$ (respectively bounded in a neig…
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.
Let $X=\sum ε_n x_n$ be a Rademacher series with vector-valued coefficients. We obtain an approximate formula for the distribution of the random variable $||X||$ in terms of its mean and a certain quantity derived from the K-functional of interpolation theory. Several applications of the formula are given.
We investigate the properties of a class of weighted vector-valued $L_p$-spaces and the corresponding (an)isotropic Sobolev-Slobodetskii spaces. These spaces arise naturally in the context of maximal $L_p$-regularity for parabolic initial-boundary value problems. Our main tools are operators with a bounded $\calH^\infty$-calculus, interpolation theory, and operator sums.
The main results presented in this paper provide a complete and explicit description of all solutions to the left tangential operator Nevanlinna- Pick interpolation problem assuming the associated Pick operator is strictly positive. The complexity of the solutions is similar to that found in descriptions of the sub-optimal Nehari problem and variation on the Nevanlinna-Pick interpolation problem in the Wiener class that have been obtained through the band method. The main techniques used to derive the formulas are based on the theory of co-isometric realizations, and use the Douglas factorizat…
We consider the problem of complex interpolation of certain Hardy-type subspaces of Köthe function spaces. For example, suppose $X_0$ and $X_1$ are Köthe function spaces on the unit circle $\bold T,$ and let $H_{X_0}$ and $H_{X_1}$ be the corresponding Hardy spaces. Under mild conditions on $X_0,X_1$ we give a necessary and sufficient condition for the complex interpolation space $[H_{X_0},H_{X_1}]_θ$ to coincide with $H_{X_θ}$ where $X_θ=[X_0,X_1]_θ.$ We develop a very general framework for such results and our methods apply to many more general sitauations including the vector-valued case.
We give a new proof to show that the complex interpolation for families of Banach spaces is not stable under rearrangement of the given family on the boundary, although, by a result due to Coifman, Cwikel, Rochberg, Sagher and Weiss, it is stable when the latter family takes only 2 values. The non-stability for families taking 3 values was first obtained by Cwikel and Janson. Our method links this problem to the theory of matrix-valued Toeplitz operator and we are able to characterize all the transformations on $\T$ that are invariant for complex interpolation at 0, they are precisely the orig…
Using Gabor analysis, we give a complete characterization of all lattice sampling and interpolating sequences in the Fock space of polyanalytic functions, displaying a "Nyquist rate" which increases with $n$, the degree of polyanaliticity of the space. Such conditions are equivalent to sharp lattice density conditions for certain vector-valued Gabor systems, namely superframes and Gabor super-Riesz sequences with Hermite windows, and in the case of superframes they were studied recently by Gröchenig and Lyubarskii. The proofs of our main results use variations of the Janssen-Ron-Shen duality p…
In this paper we study nonlinear interpolation problems for interpolation and peak-interpolation sets of function algebras. The subject goes back to the classical Rudin-Carleson interpolation theorem. In particular, we prove the following nonlinear version of this theorem: Let $\bar{\mathbb D}\subset \mathbb C$ be the closed unit disk, $\mathbb T\subset\bar{\mathbb D}$ the unit circle, $S\subset\mathbb T$ a closed subset of Lebesgue measure zero and $M$ a connected complex manifold. Then for every continuous $M$-valued map $f$ on $S$ there exists a continuous $M$-valued map $g$ on $\bar{\mathb…
We give a solution to Pick's interpolation problem on the unit polydisc in $\mathbb{C}^n$, $n\geq 2$, by characterizing all interpolation data that admit a $\mathbb{D}$-valued interpolant, in terms of a family of positive-definite kernels parametrized by a class of polynomials. This uses a duality approach that has been associated with Pick interpolation, together with some approximation theory. Furthermore, we use duality methods to understand the set of points on the $n$-torus at which the boundary values of a given solution to an extremal interpolation problem are not unimodular.
General results of interpolation (eg. Nevanlinna-Pick) by elements in the noncommutative analytic Toeplitz algebra $F^\infty$ (resp. noncommutative disc algebra $A_n$) with consequences to the interpolation by bounded operator-valued analytic functions in the unit ball of ${\bf C}^n$ are obtained. Non-commutative Poisson transforms are used to provide new von Neumann type inequalities. Completely isometric representations of the quotient algebra $F^\infty/J$ on Hilbert spaces, where $J$ is any $w^*$-closed, 2-sided ideal of $F^\infty$, are obtained and used to construct a $w^*$-continuous, $F^…
In this paper we consider generalized square function norms of holomorphic functions with values in a Banach space. One of the main results is a characterization of embeddings of the form \[L^p(X)\subseteq γ(X) \subseteq L^q(X),\] in terms of the type $p$ and cotype $q$ for the Banach space $X$. As an application we prove $L^p$-estimates for vector-valued Littlewood-Paley-Stein $g$-functions and derive an embedding result for real and complex interpolation spaces under type and cotype conditions.
In this paper we study Hardy spaces associated with non-negative self-adjoint operators and develop their vector-valued theory. The complex interpolation scales of vector-valued tent spaces and Hardy spaces are extended to the endpoint p=1. The holomorphic functional calculus of L is also shown to be bounded on the associated Hardy space H^1_L(X). These results, along with the atomic decomposition for the aforementioned space, rely on boundedness of certain integral operators on the tent space T^1(X).
We present a new, elementary proof of Boyd's interpolation theorem. Our approach naturally yields a noncommutative version of this result and even allows for the interpolation of certain operators on l^1-valued noncommutative symmetric spaces. By duality we may interpolate several well-known noncommutative maximal inequalities. In particular we obtain a version of Doob's maximal inequality and the dual Doob inequality for noncommutative symmetric spaces. We apply our results to prove the Burkholder-Davis-Gundy and Burkholder-Rosenthal inequalities for noncommutative martingales in these spaces…
The operator-valued multiplier theorems in weighted abstract Besov spaces are studied. These results permit us to show embedding theorems in weighted Besov-Lions type spaces. The most regular class of interpolation space is found such that the mixed differential operator is bounded from Besov-Lions space to this and Ehrling-Nirenberg-Gagliardo type sharp estimates are established. By using these results the separability properties of degenerate differential operators are studied. Especially, we prove that the associated differential operators are positive and also are generators of analytic se…
We discuss a question which relates to Calderon's complex interpolation method. More precisely, we will consider the so-called "periodic" complex interpolation method, studied by Peetre. (Which also corresponds to the spaces obtained by Calderon's construction using Banach space valued analytic functions, but defined on an annulus instead of the strip used by Calderon.) Cwikel showed that, using functions with a given period iλin the complex method mechanism, one obtains the same interpolation spaces as in the original version of the complex method, up to equivalence of norms. He also showed t…
Let, J, be an m-by-m-signature matrix and let D be the open unit disk in the complex plane. Denote by P{J,0}(D) the class of all meromorphic m-by-m-matrix-valued functions, f, in D which are holomorphic at 0 and take J-contractive values at all points of D at which f is holomorphic. The central theme of this paper is the study of the following interpolation problem: Let n be a nonnegative integer, and let A_0, A_1, ..., A_n be a sequence of complex m-by-m-matrices. Describe the set of all matrix-valued functions, f, belonging to the class P{J,0}(D), such that the first n+1 Taylor coefficients …
Let $E$ be an operator space in the sense of the theory recently developed by Blecher-Paulsen and Effros-Ruan. We introduce a notion of $E$-valued non commutative $L_p$-space for $1 \leq p < \infty$ and we prove that the resulting operator space satisfies the natural properties to be expected with respect to e.g. duality and interpolation. This notion leads to the definition of a ``completely p-summing" map which is the operator space analogue of the $p$-absolutely summing maps in the sense of Pietsch-Kwapień. These notions extend the particular case $p=1$ which was previously studied by Effro…
Jump inequalities are the $r=2$ endpoint of Lépingle's inequality for $r$-variation of martingales. Extending earlier work by Pisier and Xu we interpret these inequalities in terms of Banach spaces which are real interpolation spaces. This interpretation is used to prove endpoint jump estimates for vector-valued martingales and doubly stochastic operators as well as to pass via sampling from $\mathbb{R}^{d}$ to $\mathbb{Z}^{d}$ for jump estimates for Fourier multipliers.
This paper is devoted to the study of operator-valued Triebel-Lizorkin spaces. We develop some Fourier multiplier theorems for square functions as our main tool, and then study the operator-valued Triebel-Lizorkin spaces on $\mathbb{R}^d$. As in the classical case, we connect these spaces with operator-valued local Hardy spaces via Bessel potentials. We show the lifting theorem, and get interpolation results for these spaces. We obtain Littlewood-Paley type, as well as the Lusin type square function characterizations in the general way. Finally, we establish smooth atomic decompositions for th…
We give a complete characterization of limiting interpolation spa\-ces for the real method of interpolation using extrapolation theory. For this purpose the usual tools (e.g., Boyd indices or the boundedness of Hardy type operators) are not appropriate. Instead, our characterization hinges upon the boundedness of some simple operators (e.g. $f\mapsto f(t^{2})/t$, or $f\mapsto f(t^{1/2}% )$) acting on the underlying lattices that are used to control the $K$- and $J$-functionals. Reiteration formulae, extending Holmstedt's classical reiteration theorem to limiting spaces, are also proved and cha…
We prove a vector-valued version of Carleson's theorem: Let Y=[X,H]_t be a complex interpolation space between a UMD space X and a Hilbert space H. For p\in(1,\infty) and f\in L^p(T;Y), the partial sums of the Fourier series of f converge to f pointwise almost everywhere. Apparently, all known examples of UMD spaces are of this intermediate form Y=[X,H]_t. In particular, we answer affirmatively a question of Rubio de Francia on the pointwise convergence of Fourier series of Schatten class valued functions.
In this paper, we study matrix functions of bounded type from the viewpoint of describing an interplay between function theory and operator theory. \ We first establish a criterion on the coprime-ness of two singular inner functions and obtain several properties of the Douglas-Shapiro-Shields factorizations of matrix functions of bounded type. \ We propose a new notion of tensored-scalar singularity, and then answer questions on Hankel operators with matrix-valued bounded type symbols. \ We also examine an interpolation problem related to a certain functional equation on matrix functions of bo…
We prove a general result on the factorization of matrix-valued analytic functions. We deduce that if $(E_0,E_1)$ and $(F_0,F_1)$ are interpolation pairs with dense intersections, then under some conditions on the spaces $E_0$, $E_1$, $F_0$ and $F_1$, we have $$ [E_0\hat\otimes F_0,E_1\hat\otimes F_1]_t= [E_0, E_1]_t\hat\otimes[F_0, F_1]_t, 0 < t< 1.$$ We find also conditions on the spaces $E_0$, $E_1$, $F_0$ and $F_1$, so that the following holds $$ [E_0\wcheck\otimes F_0,E_1\wcheck\otimes F_1]_t= [E_0,E_1]_t\wcheck\otimes [F_0,F_1]_t, 0 <t< 1.$$ Some applications of these results are also co…
Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a variable exponent function satisfying the globally log-Hölder continuous condition, $q\in(0,\infty]$ and $A$ be a general expansive matrix on $\mathbb{R}^n$. In this article, the authors first introduce the anisotropic variable Hardy-Lorentz space $H_A^{p(\cdot),q}(\mathbb R^n)$ associated with $A$, via the radial grand maximal function, and then establish its radial or non-tangential maximal function characterizations. Moreover, the authors also obtain characterizations of $H_A^{p(\cdot),q}(\mathbb R^n)$, respectively, in terms of the atom and th…
Targeting at sparse multi-task learning, we consider regularization models with an $\ell^1$ penalty on the coefficients of kernel functions. In order to provide a kernel method for this model, we construct a class of vector-valued reproducing kernel Banach spaces with the $\ell^1$ norm. The notion of multi-task admissible kernels is proposed so that the constructed spaces could have desirable properties including the crucial linear representer theorem. Such kernels are related to bounded Lebesgue constants of a kernel interpolation question. We study the Lebesgue constant of multi-task kernels…
We introduce a method to construct general multivariate positive definite kernels on a nonempty set $X$ that employs a prescribed bounded completely monotone function and special multivariate functions on $X$.\ The method is consistent with a generalized version of Aitken's integral formula for Gaussians.\ In the case where $X$ is a cartesian product, the method produces nonseparable positive definite kernels that may be useful in multivariate interpolation.\ In addition, it can be interpreted as an abstract multivariate generalization of the well-established Gneiting's model for constructing …
In this paper we study generalized J-inner matrix valued functions which appear as resolvent matrices in various indefinite interpolation problems. Reproducing kernel indefinite inner product spaces associated with a generalized J-inner matrix valued function W are studied and intensively used in the description of the range of the linear fractional transformation associated with W and applied to the Schur class. For a subclass of generalized J-inner matrix valued function W the notion of associated pair is introduced and factorization formulas for W are found.
The Peetre "plus-minus" interpolation spaces $\left\langle A_{0},A_{1}\right\rangle _θ$ are defined variously via conditions about the unconditional convergence of certain Banach space valued series whose terms have coefficients which are powers of 2 or, alternatively, powers of $e$. It may seem intuitively obvious that using powers of 2, or of $e$, or powers of some other constant number greater than 1 in such definitions should produce the same space to within equivalence of norms. To allay any doubts, we here offer an explicit proof of this fact, via a "continuous" definition of the same sp…
We use induction and interpolation techniques to prove that a composition operator induced by a map $ϕ$ is bounded on the weighted Bergman space $\A^2_α(\mathbb{H})$ of the right half-plane if and only if $ϕ$ fixes $\infty$ non-tangentially, and has a finite angular derivative $λ$ there. We further prove that in this case the norm, essential norm, and spectral radius of the operator are all equal, and given by $λ^{(2+α)/2}$.
We define a scale of L^q Carleson norms, all of which characterize the membership of a function in BMO. The phenomenon is analogous to the John-Nirenberg inequality, but on the level of Carleson measures. The classical Carleson condition corresponds to the L^2 case in our theory. The result is applied to give a new proof for the L^p-boundedness of paraproducts with a BMO symbol. A novel feature of the argument is that all p are covered at once in a completely interpolation-free manner. This is achieved by using the L^1 Carleson norm, and indicates the usefulness of this notion. Our approach is…
The aim of this paper is to present a unified framework in the setting of Hilbert $C^*$-modules for the scalar- and vector-valued reproducing kernel Hilbert spaces and $C^*$-valued reproducing kernel spaces. We investigate conditionally negative definite kernels with values in the $C^*$-algebra of adjointable operators acting on a Hilbert $C^*$-module. In addition, we show that there exists a two-sided connection between positive definite kernels and reproducing kernel Hilbert $C^*$-modules. Furthermore, we explore some conditions under which a function is in the reproducing kernel module and …
