We are concerned here with Sobolev-type spaces of vector-valued functions. For an open subset $Ω\subset\mathbb{R}^N$ and a Banach space $V$, we compare the classical Sobolev space $W^{1,p}(Ω, V)$ with the so-called Sobolev-Reshetnyak space $R^{1,p}(Ω, V)$. We see that, in general, $W^{1,p}(Ω, V)$ is a closed subspace of $R^{1,p}(Ω, V)$. As a main result, we obtain that $W^{1,p}(Ω, V)=R^{1,p}(Ω, V)$ if, and only if, the Banach space $V$ has the Radon-Nikodým property
It is known that for Banach valued functions there are several approaches to define a Sobolev class. We compare the usual definition via weak derivatives with the Reshetnyak-Sobolev space and with the Newtonian space; in particular, we provide sufficient conditions when all three agree. As well we revise the difference quotient criterion and the property of Lipschitz mapping to preserve Sobolev space when it acting as a superposition operator.
We introduce a notion of differential of a Sobolev map between metric spaces. The differential is given in the framework of tangent and cotangent modules of metric measure spaces, developed by the first author. We prove that our notion is consistent with Kirchheim's metric differential when the source is a Euclidean space, and with the abstract differential provided by the first author when the target is $\mathbb{R}$.
We show that Sobolev maps with values in a dual Banach space can be characterized in terms of weak derivatives in a weak* sense. Since every metric space embeds isometrically into a dual Banach space, this implies a characterization of metric space valued Sobolev maps in terms of such derivatives. Furthermore, we investigate for which target spaces Sobolev maps are weak* differentiable almost everywhere.
We consider Sobolev spaces with values in Banach spaces as they are frequently useful in applied problems. Given two Banach spaces $X\neq\{0\}$ and $Y$, each Lipschitz continuous mapping $F:X\rightarrow Y$ gives rise to a mapping $u\mapsto F\circ u$ from $W^{1,p}(Ω,X)$ to $W^{1,p}(Ω,Y)$ if and only if $Y$ has the Radon-Nikodym Property. But if $F$ is one-sided Gateaux differentiable no condition on the space is needed. We also study when weak properties in the sense of duality imply strong properties. Our results are applied to prove embedding theorems, a multi-dimensional version of the Aubin…
In complete metric measure spaces equipped with a doubling measure and supporting a weak Poincaré inequality, we investigate when a given Banach-valued Sobolev function defined on a subset satisfying a measure-density condition is the restriction of a Banach-valued Sobolev function defined on the whole space. We investigate the problem for Hajłasz- and Newton-Sobolev spaces, respectively. First, we show that Hajłasz-Sobolev extendability is independent of the target Banach spaces. We also show that every $c_0$-valued Newton-Sobolev extension set is a Banach-valued Newton-Sobolev extension set …
We apply the metrical approach to Sobolev spaces, which arise in various evolution PDEs. Functions from those spaces are defined on an interval and take values in a family of Banach spaces. In this case we adapt the definition of Newtonian spaces. For a monotone family, we show the existence of weak derivative, obtain an isomorphism to the standard Sobolev space, and provide some scalar characteristics.
We introduce an operator $\mathbf{S}$ on vector-valued maps $u$ which has the ability to capture the relevant topological information carried by $u$. In particular, this operator is defined on maps that take values in a closed submanifold $N$ of the Euclidean space $\mathbb{R}^m$, and coincides with the distributional Jacobian in case $N$ is a sphere. The range of $\mathbf{S}$ is a set of maps whose values are flat chains with coefficients in a suitable normed abelian group. In this paper, we use $\mathbf{S}$ to characterise strong limits of smooth, $N$-valued maps with respect to Sobolev norm…
We prove a version of Talagrand's concentration inequality for subordinated sub-Laplacian on a compact Riemannian manifold using tools from noncommutative geometry. As an application, motivated by quantum information theory, we show that on a finite dimensional matrix algebra the set of self-adjoint generators satisfying a tensor stable modified logarithmic Sobolev inequality is dense.
In this article we develop few of the analogous theoretical results of Clifford analysis over Orlicz-Sobolev spaces and study mapping properties of the Dirac operator and the Teodorescu transform over these function spaces. We also get analogous decomposition results of Clifford valued Orlicz spaces and the generalized Orlicz-Sobolev spaces.
We prove that the canonical sub-Laplacian on $SU(2)$ admits a uniform modified log-Sobolev inequality for all its matrix-valued functions, independent of the matrix dimension. This is the first example of sub-Laplacian that a matrix-valued modified log-Sobolev inequality has been obtained. We also show that on Lie groups, the heat kernel measure $p_t$ at time $t$ admits matrix-valued modified log-Sobolev constants of order $O(t^{-1})$.
We study nuclear embeddings for spaces of Besov and Triebel-Lizorkin type defined on quasi-bounded domains $Ω\subset {\mathbb R}^d$. The counterpart for such function spaces defined on bounded domains has been considered for a long time and the complete answer was obtained only recently. Compact embeddings for function spaces defined on quasi-bounded domains have been studied in detail already, also concerning their entropy and $s$-numbers. We now prove the first and complete nuclearity result in this context. The concept of nuclearity has been introduce by Grothendieck in 1955 already. Our se…
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.
An apparently new concept of maximal mean difference quotient is defined for functions in the Lebesgue space $L_{loc}(R^n)$. Our definitions are meaningful for vector valued functions on general measure metric spaces as well and seem to lead to the most natural class of metric Sobolev spaces. The discussion of higher order Sobolev spaces and higher order mean difference quotients on regular subsets of Euclidean spaces is also possible in the context of the generalized Taylor-Whitney jets. This paper is a direct sequel to the papers: B. Bojarski, Taylor expansions and Sobolev spaces, Bull. Geor…
In this paper we investigate the Besov spaces on compact Lie groups in a subelliptic setting, that is, associated with a family of vector fields, satisfying the Hörmander condition, and their corresponding sub-Laplacian. Embedding properties between subelliptic Besov spaces and Besov spaces associated to the Laplacian on the group are proved. We link the description of subelliptic Sobolev spaces with the matrix-valued quantisation procedure of pseudo-differential operators in order to provide subelliptic Sobolev and Besov estimates for operators in the Hörmander classes. Interpolation properti…
In this paper, we introduce the notions of a vector-valued almost automorphic distribution and a vector-valued almost automorphic ultradistribution, working in the framework of complex Banach spaces. We prove several structural characterizations for the introduced classes.
Given a homogeneous k-th order differential operator $A (D)$ on $\mathbb{R}^n$ between two finite dimensional spaces, we establish the Hardy inequality $$\int_{\mathbb{R}^n} \frac{\lvert D^{k-1}u\rvert}{\lvert x \rvert} \,\mathrm{d} x \leq C \int_{\mathbb{R}^n} \lvert A(D)u\rvert $$ and the Sobolev inequality $$\lVert D^{k-n} u\rVert_{L^{\infty}(\mathbb{R}^n)}\leq C \int_{\mathbb{R}^n} \lvert A(D)u\rvert $$ when $A(D)$ is elliptic and satisfies a recently introduced cancellation property. We also study the necessity of these two conditions.
A form of Sobolev inequalities for the symmetric gradient of vector-valued functions is proposed, which allows for arbitrary ground domains in $\mathbb R ^n$. In the relevant inequalities, boundary regularity of domains is replaced with information on boundary traces of trial functions. The inequalities so obtained exhibit the same exponents as in classical inequalities for the full gradient of Sobolev functions, in regular domains. Furthermore, they involve constants independent of the geometry of the domain, and hence yield novel results yet for smooth domains. Our approach relies upon a poi…
It is shown that a Banach space $E$ has type $p$ if and only for some (all) $d\ge 1$ the Besov space $B_{p,p}^{(\frac1p-\frac12)d}(\R^d;E)$ embeds into the space $\g(L^2(\R^d),E)$ of $\g$-radonifying operators $L^2(\R^d)\to E$. A similar result characterizing cotype $q$ is obtained. These results may be viewed as $E$-valued extensions of the classical Sobolev embedding theorems.
Let $M$ be a compact smooth manifold of dimension $m$ (without boundary) and $G$ be a finite-dimensional Lie group, with Lie algebra $g$. Let $H^{>m/2}(M,G)$ be the group of all mappings $γ\colon M\to G$ which are $H^s$ for some $s>m/2$. We show that $H^{>m/2}(M,G)$ can be made a regular Lie group in Milnor's sense, modelled on the Silva space $H^{>m/2}(M,g)$ which is the locally convex direct limit of the Hilbert spaces $H^s(M,g)$ for $s>m/2$, such that $H^{>m/2}(M,G)$ is the direct limit of the Hilbert-Lie groups $H^s(M,G)$ for $s>m/2$ as a smooth Lie group. We also explain how the (known) L…
This paper extends the Bakry-Émery theorem connecting the Ricci curvature and log-Sobolev inequalities to the matrix-valued setting. Using tools from noncommuative geometry, it is shown that for a right invariant second order differential operator on a compact Lie group, a lower bound for a matrix-valued modified log-Sobolev inequality is equivalent to a uniform lower bound for all finite dimensional representations. Using combinatorial tools, we obtain computable lower bounds for matrix-valued log-Sobolev inequalities of graph-Hörmander systems using combinatorial methods.
Let $A$ be a commutative Banach algebra and $X$ be a compact space. The class of Banach $A$-valued function algebras on $X$ consists of subalgebras of $C(X,A)$ with certain properties. We introduce the notion of $A$-characters on an $A$-valued function algebra $\A$ as homomorphisms from $\A$ into $A$ that basically have the same properties as the evaluation homomorphisms $\cE_x:f\mapsto f(x)$, with $x\in X$. For the so-called natural $A$-valued function algebras, such as $C(X,A)$ and $\Lip(X,A)$, we show that $\cE_x$ ($x\in X$) are the only $A$-characters. Vector-valued characters are utilized…
In this work we introduce the spaces $L^p_{w}(ν; X; Y)$ for the case where $ν$ is a vector measure and the functions are vector-valued. We establish fundamental properties for such spaces.
In this paper, we will obtain the strong type and weak type estimates for vector-valued analogues of intrinsic square functions in the generalized weighted Morrey spaces $M^{Φ,φ}_{w}(\mathbb{R}^n)$. We study the boundedness of intrinsic square functions including the Lusin area integral, Littlewood-Paley $\mathrm{g}$-function and $\mathrm{g}_λ^{*}$ -function and their commutators on vector-valued generalized weighted Morrey spaces $M^{Φ,φ}_{w}(l_2)$. In all the cases the conditions for the boundedness are given either in terms of Zygmund-type integral inequalities on $φ(x,r)$ without assuming …
We remark that a dyadic version of the Carleson embedding theorem for the Bergman space extends to vector-valued functions and operator-valued measures. This is in contrast to a result by Nazarov, Treil, Volberg in the context of the Hardy space. We also discuss some embeddings for analytic vector-valued functions.
This paper is devoted to the study of vector valued reproducing kernel Hilbert spaces. We focus on reproducing kernels in vector-valued reproducing kernel Hilbert spaces. In particular we extend reproducing kernels to relative reproducing kernels and prove some theorems in this subject.
This habilitation thesis centres on linearisation of vector-valued functions which means that vector-valued functions are represented by continuous linear operators. The first question we face is which vector-valued functions may be represented by continuous linear operators where vector-valued means that the functions have values in a locally convex Hausdorff space $E$. We study this problem in the framework of $\varepsilon$-products and give sufficient conditions when a space of $E$-valued functions coincides (up to an isomorphism) with the $\varepsilon$-product of a corresponding space of s…
In this paper we study weighted Hardy-Sobolev spaces of vector valued functions analytic on double-napped cones of the complex plane. We introduce these spaces as a tool for complex scaling of linear ordinary differential equations with dilation analytic unbounded operator coefficients. As examples we consider boundary value problems in cylindrical domains and domains with quasicylindrical ends.
We establish Sobolev type inequalities in the noncommutative settings by generalizing monotone metrics in the space of quantum states, such as matrix-valued Beckner inequalities. We also discuss examples such as random transpositions and Bernoulli-Laplace models.
Given a compact space $X$, a commutative Banach algebra $A$, and an $A$-valued function algebra $\mathscr{A}$ on $X$, the notions of vector-valued spectrum of functions $f\in\mathscr{A}$ are discussed. The $A$-valued spectrum $\vec{SP}_A(f)$ of every $f\in\mathscr{A}$ is defined in such a way that $f(X) \subset \vec{SP}_A(f)$. Utilizing the $A$-characters introduced in (M. Abtahi, \textit{Vector-valued characters on vector-valued function algebras}, \texttt{arXiv:1509.09215 [math.FA]}), it is proved that $\vec{SP}_A(f) = \{Ψ(f):\text{$Ψ$ is an $A$-character of $\mathscr{A}$}\}$. For the so-cal…
In this paper we provide a unifying approach to the study of Banach ideals of linear and multilinear operators defined, or characterized, by the transformation of vector-valued sequences. We investigate and apply the linear and multilinear stabilities of some frequently used classes of vector-valued sequences.
This paper is devoted to the study of vector valued reproducing kernel Hilbert spaces. We focus on two aspects: vector valued feature maps and universal kernels. In particular we characterize the structure of translation invariant kernels on abelian groups and we relate it to the universality problem.
We prove martingale-ergodic and ergodic-martingale theorems for vector valued Bochner integrable functions. We obtain dominant and maximal inequalities. We also prove weighted and multiparameter martingale-ergodic and ergodic martingale theorems.
We study the pointwise multiplier property of the characteristic function of the half-space on weighted mixed-norm anisotropic vector-valued function spaces of Bessel potential and Triebel-Lizorkin type.
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 note we show that the general theory of vector valued singular integral operators of Calderón-Zygmund defined on general metric measure spaces, can be applied to obtain Sobolev type regularity properties for solutions of the dyadic fractional Laplacian. In doing so, we define partial derivatives in terms of Haar multipliers and dyadic homogeneous singular integral operators.
We introduce vector-valued Eidelheit sequences and obtain a characterization that generalizes Eidelheit's classical theorem (Studia Math. 6 (1936), 139-148). As an application, we discuss criteria for non $B$-completeness of completed tensor products.
In this paper, we solve the Dirichlet problem for Orlicz-Sobolev maps between singular metric spaces that extends the corresponding result of Guo et al. [arXiv 2021]. As an intermediate step, we develop a version of Rellich-Kondrachov compactness theorem for Orlicz-Sobolev mappings between metric spaces that extends a previous result of Guo and Wenger [Comm. Anal. Geom. 2020]. Another crucial ingredient is an Orlicz-Sobolev extension of the trace theory for metric valued Sobolev maps developed by Korevaar and Schoen [Comm. Anal. Geom. 1993].
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.
We solve the inverse spectral problems for the class of Sturm--Liouville operators with singular real-valued potentials from the Sobolev space W^{s-1}_2(0,1), s\in[0,1]. The potential is recovered from two spectra or from the spectrum and norming constants. Necessary and sufficient conditions on the spectral data to correspond to the potential in W^{s-1}_2(0,1) are established.
Recently Gigli developed a Sobolev calculus on non-smooth spaces using module theory. In this paper it is shown that his theory fits nicely into the theory of differentiability spaces initiated by Cheeger, Keith and others. A relaxation procedure for $L^p$-valued subadditive functionals is presented and a relationship between the module generated by a functional and the one generated by its relaxation is given. In the framework of differentiability spaces, which includes so called PI- and $RCD(K,N)$-spaces, the Lipschitz module is pointwise finite dimensional. A general renorming theorem toget…
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.
We derive sharp Sobolev inequalities for Sobolev spaces on metric spaces. In particular, we obtain new sharp Sobolev embeddings and Faber-Krahn estimates for Hörmander vector fields.
