We prove that $W^{1}_{p}$ is an interpolation space between $W^{1}_{p_{1}}$ and $W^{1}_{p_{2}}$ for $p>q_{0}$ and $1\leq p_{1}<p<p_{2}\leq \infty$ on some classes of manifolds and general metric spaces, where $q_{0}$ depends on our hypotheses.
We explicitly describe all Hilbert function spaces that are interpolation spaces with respect to a given couple of Sobolev inner product spaces considered over $\mathbb{R}^{n}$ or a half-space in $\mathbb{R}^{n}$ or a bounded Euclidean domain with Lipschitz boundary. We prove that these interpolation spaces form a subclass of isotropic Hörmander spaces. They are parametrized with a radial function parameter which is OR-varying at $+\infty$ and satisfies some additional conditions. We give explicit examples of intermediate but not interpolation spaces.
This paper provides an overview of interpolation of Banach and Hilbert spaces, with a focus on establishing when equivalence of norms is in fact equality of norms in the key results of the theory. (In brief, our conclusion for the Hilbert space case is that, with the right normalisations, all the key results hold with equality of norms.) In the final section we apply the Hilbert space results to the Sobolev spaces $H^s(Ω)$ and $\widetilde{H}^s(Ω)$, for $s\in \mathbb{R}$ and an open $Ω\subset \mathbb{R}^n$. We exhibit examples in one and two dimensions of sets $Ω$ for which these scales of Sobo…
In this paper we prove structural and topological characterizations of the screened Sobolev spaces with screening functions bounded below and above by positive constants. We generalize a method of interpolation to the case of seminormed spaces. This method, which we call the truncated method, generates the screened Sobolev subfamily and a more general screened Besov scale. We then prove that the screened Besov spaces are equivalent to the sum of a Lebesgue space and a homogeneous Sobolev space and provide a Littlewood-Paley frequency space characterization.
The real interpolation spaces between $L^{p}({\mathbb{R}}^{n})$ and $\dot {H}^{t,p}({\mathbb{R}}^{n})$ (resp. $H^{t,p}({\mathbb{R}}^{n})$), $t>0,$ are characterized in terms of fractional moduli of smoothness, and the underlying seminorms are shown to be " the correct" fractional generalization of the classical Gagliardo seminorms. This is confirmed by the fact that, using the new spaces combined with interpolation and extrapolation methods, we are able to extend the Bourgain-Brezis-Mironescu-Maz'ya-Shaposhnikova limit formulae, as well as the Bourgain-Brezis-Mironescu convergence theorem, to …
In this work we present a newly developed study of the interpolation of weighted Sobolev spaces by the complex method. We show that in some cases, one can obtain an analogue of the famous Stein-Weiss theorem for weighted $L^{p}$ spaces. We consider an example which gives some indication that this may not be possible in all cases. Our results apply in cases which cannot be treated by methods in earlier papers about interpolation of weighted Sobolev spaces. They include, for example, a proof that $\left[W^{1,p}(\mathbb{R}^{d},ω_{0}),W^{1,p}(\mathbb{R}^{d},ω_{1})\right]_θ=W^{1,p}(\mathbb{R}^{d},ω…
Interpolation inequalities in Triebel-Lizorkin-Lorentz spaces and Besov-Lorentz spaces are studied for both inhomogeneous and homogeneous cases. First we establish interpolation inequalities under quite general assumptions on the parameters of the function spaces. Several results on necessary conditions are also provided. Next, utilizing the interpolation inequalities together with some embedding results, we prove Gagliardo-Nirenberg inequalities for fractional derivatives in Lorentz spaces, which do hold even for the limiting case when one of the parameters is equal to 1 or $\infty$.
Sobolev extensions, interpolation inequalities and consequences
Ludwig-Maximilians Universität München(慕尼黑大学);Munich Center for Quantum Science and Technology(慕尼黑量子科学与技术中心);Caltech(加州理工学院);University of Jyväskylä(于韦斯屈莱大学)
On any complete Riemannian manifold $M$ and for all $p\in [2,\infty)$, we prove a family of second order $L^{p}$-interpolation inequalities that arise from the following simple $L^{p}$-estimate valid for every $u \in C^{\infty}(M)$: $$ \|\nabla u\|_{p}^p \leq \|u Δ_{p} u\|_1\in [0,\infty], $$ where $Δ_p$ denotes the $p$-Laplace operator. We show that these inequalities, in combination with abstract functional analytic arguments, allow to establish new global Sobolev regularity results for $L^p$-solutions of the Poisson equation for all $p\in (1,\infty)$, and new global Sobolev regularity resul…
We study the Sobolev spaces $H^σ(K)$ and $H^σ_0(K)$ on p.c.f. self-similar sets in terms of the boundary behavior of functions. First, for $σ\in \mathbb{R}^+$, we make an exact description of the tangents of functions in $H^σ(K)$ at the boundary. Second, we characterize $H_0^σ(K)$ as the space of functions in $H^σ(K)$ with zero tangent of an appropriate order depending on $σ$. Last, we extend $H^σ(K)$ to $σ\in\mathbb{R}$, and obtain various interpolation theorems with $σ\in\mathbb{R}^+$ or $σ\in\mathbb{R}$. We illustrate that there is a countable set of critical orders, that arises naturally i…
We consider a homogeneous fractional Sobolev space obtained by completion of the space of smooth test functions, with respect to a Sobolev--Slobodecki\uı norm. We compare it to the fractional Sobolev space obtained by the $K-$method in real interpolation theory. We show that the two spaces do not always coincide and give some sufficient conditions on the open sets for this to happen. We also highlight some unnatural behaviors of the interpolation space. The treatment is as self-contained as possible.
This paper is devoted to Gaussian interpolation inequalities with endpoint cases corresponding to the Gaussian Poincaré and the logarithmic Sobolev inequalities, seen as limits in large dimensions of Gagliardo-Nirenberg-Sobolev inequalities on spheres. Entropy methods are investigated using not only heat flow techniques but also nonlinear diffusion equations as on spheres. A new stability result is established for the Gaussian measure, which is directly inspired by recent results for spheres.
A \Riesz-basis sequence for $L_2[-π,π]$ is a strictly increasing sequence $X:=(x_j)_{j\in\mathbb{Z}}$ in $\mathbb{R}$ such that the set of functions $\left(e^{-ix_j(\cdot)}\right)_{j\in\mathbb{Z}}$ is a Riesz basis for $L_2[-π,π]$. Given such a sequence and a parameter $0<h\leq1$, we consider interpolation of functions $g\in W_2^k(\mathbb{R})$ at the set $(hx_j)_{j\in\mathbb{Z}}$ via translates of the Gaussian kernel. Existence is shown of an interpolant of the form $$I^{hX}(g)(x):=\underset{j\in\mathbb{Z}}{\sum}a_je^{-(x-hx_j)^2},\quad x\in\mathbb{R},$$ which is continuous and square-integrab…
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.
In this paper we prove that several natural approaches to Sobolev spaces coincide on the Vicsek fractal. More precisely, we show that the metric approach of Korevaar-Schoen, the approach by limit of discrete $p$-energies and the approach by limit of Sobolev spaces on cable systems all yield the same functional space with equivalent norms for $p>1$. As a consequence we prove that the Sobolev spaces form a real interpolation scale. We also obtain $L^p$-Poincaré inequalities for all values of $p \ge 1$.
We refine and generalize several interpolation inequalities bounding the $L^p$ norm of a probability density with respect to the reference measure $μ$ by its Sobolev norm and the Kantorovich distance to $μ$ on a smooth weighted Riemannian manifold satisfying $CD(0, \infty)$ condition.
We present the fractional perimeter as a set-function interpolation between the Lebesgue measure and the perimeter in the sense of De Giorgi. Our motivation comes from a new fractional Boxing inequality that relates the fractional perimeter and the Hausdorff content and implies several known inequalities involving the Gagliardo seminorm of the Sobolev spaces $W^{α, 1}$ of order $0 < α< 1$.
In this article the authors study complex interpolation of Sobolev-Morrey spaces and their generalizations, Lizorkin-Triebel-Morrey spaces. Both scales are considered on bounded domains. Under certain conditions on the parameters the outcome belongs to the scale of the so-called diamond spaces.
对Lebesgue空间$L_{loc}(R^n)$中的函数定义了一个新的概念--极大平均差商.我们的定义对于一般测度度量空间上的向量值函数也很有意义,并且似乎可以导出最自然的度量索伯列夫空间类。在广义Taylor-Whitney喷注的背景下,也可以讨论高阶索伯列夫空间和欧几里得空间的正则子集上的高阶平均差导数。本文是B. Bojarski,Taylor展开和索伯列夫空间,Bull. Georgian Natl. Acad. Sci.(未注明)5(2011),no. 2,5-10. B. Bojarski,索伯列夫空间和Lagrange插值,Proc. A. Razmadze Math.Inst.158(2012),1-12.
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…
This book provides a gentle introduction to fractional Sobolev spaces, which play a central role in the calculus of variations, partial differential equations, and harmonic analysis. The first part deals with fractional Sobolev spaces of one variable. It covers the definition, standard properties, extensions, embeddings, Hardy inequalities, and interpolation inequalities. The second part deals with fractional Sobolev spaces of several variables. The author studies completeness, density, homogeneous fractional Sobolev spaces, embeddings, necessary and sufficient conditions for extensions, Gagli…
On the Sierpinski gasket $\mathcal{SG}$, we consider Sobolev spaces $L^2_σ(\mathcal{SG})$ associated with the standard Laplacian $Δ$ with order $σ\geq 0$. When $σ\in\mathbb{Z}^+$, $L^2_σ(\mathcal{SG})$ consists of functions equipped with $L^2$ norms of the function itself and its Laplacians up to $σ$ order; when $σ\notin \mathbb{Z}^+$, we fill up the gaps between integer orders by using complex interpolation. Let $L^2_{σ, D}(\mathcal{SG})=(I-Δ_D)^{-σ}L^2(\mathcal{SG})$ where $Δ_D$ is the Dirichlet Laplacian associated with $Δ$. Let $\{p_n\}_{n\geq 0}$ be a collection of countably many points l…
We introduce an extended Sobolev scale on a smooth compact manifold with boundary. The scale is formed by inner-product Hörmander spaces for which an RO-varying radial function serves as a regularity index. These spaces do not depend on a choice of local charts on the manifold. The scale consists of all Hilbert spaces that are interpolation ones for pairs of inner-product Sobolev spaces, is obtained by the interpolation with a function parameter of these pairs, and is closed with respect to this interpolation. As an application of the scale introduced, we give a theorem on the Fredholm propert…
We consider Banach spaces equipped with a set of strongly continuous bounded semigroups satisfying certain conditions. Using these semigroups we introduce an analog of a modulus of continuity and define analogs of Besov norms. A generalization of a classical interpolation theorem is proven in which the role of Sobolev spaces is played by subspaces defined in terms of infinitesimal operators of these semigroups. We show that our assumptions about a given set of semigroups are satisfied in the case of a strongly continuous bounded representation of a Lie group. In the case of a unitary represent…
It is a widely used method, for instance in perturbation theory, to associate with a given C0-semigroup its so-called interpolation and extrapolation spaces. In the model case of the shift semigroup acting on L^2(R), the resulting chain of spaces recovers the classical Sobolev scale. In 2014, the second named author defined the universal interpolation space as the projective limit of the interpolation spaces and the universal extrapolation space as the completion of the inductive limit of the extrapolation spaces, provided that the latter is Hausdorff. In this note we use the notion of the dua…
We prove compactness of the embeddings in Sobolev spaces for fractional super and sub harmonic functions with radial symmetry. The main tool is a pointwise decay for radially symmetric functions belonging to a function space defined by finite homogeneous Sobolev norm together with finite $L^2$ norm of the Riesz potentials. As a byproduct we prove also existence of maximizers for the interpolation inequalities in Sobolev spaces for radially symmetric fractional super and sub harmonic functions.
This paper deals with the fractional Sobolev spaces W^[s,p]. We analyze the relations among some of their possible definitions and their role in the trace theory. We prove continuous and compact embeddings, investigating the problem of the extension domains and other regularity results. Most of the results we present here are probably well known to the experts, but we believe that our proofs are original and we do not make use of any interpolation techniques nor pass through the theory of Besov spaces. We also present some counterexamples in non-Lipschitz domains.
In this paper we propose a unified approach, based on limiting interpolation, to investigate the embeddings for the Sobolev space $(\dot{W}^k_p(\mathcal{X}))_0, \, \mathcal{X} \in \{\mathbb{R}^d, \mathbb{T}^d, Ω\}$, in the subcritical case ($k < d/p$), critical case ($k = d/p$) and supercritical case ($k > d/p$). We characterize the Sobolev embeddings in terms of pointwise inequalities involving rearrangements and moduli of smoothness/derivatives of functions and via extrapolation theorems for corresponding smooth function spaces. Applications include Ulyanov-Kolyada type inequalities for rear…
We propose a new viewpoint on Hilbert scales extending them by means of all Hilbert spaces that are interpolation ones between spaces on the scale. We prove that this extension admits an explicit description with the help of $\mathrm{OR}$-varying functions of the operator generating the scale. We also show that this extended Hilbert scale is obtained by the quadratic interpolation (with function parameter) between the above spaces and is closed with respect to the quadratic interpolation between Hilbert spaces. We give applications of the extended Hilbert scale to interpolational inequalities,…
Given a metric measure space $X$, we consider a scale of function spaces $T^{p,q}_s(X)$, called the weighted tent space scale. This is an extension of the tent space scale of Coifman, Meyer, and Stein. Under various geometric assumptions on $X$ we identify some associated interpolation spaces, in particular certain real interpolation spaces. These are identified with a new scale of function spaces, which we call $Z$-spaces, that have recently appeared in the work of Barton and Mayboroda on elliptic boundary value problems with boundary data in Besov spaces. We also prove Hardy--Littlewood--Sob…
We describe a recent, one-parameter family of characterizations of Sobolev and BV functions on $\mathbb{R}^n$, using sizes of superlevel sets of suitable difference quotients. This provides an alternative point of view to the BBM formula by Bourgain, Brezis and Mironescu, and complements in the case of BV some results of Cohen, Dahmen, Daubechies and DeVore about the sizes of wavelet coefficients of such functions. An application towards Gagliardo-Nirenberg interpolation inequalities is then given. We also establish a related one-parameter family of formulae for the $L^p$ norm of functions in …