We completely characterize the validity of the inequality $\|u\|_{Y(\mathbb{R}^n)}\leq C \|\nabla^m u\|_{X(\mathbb{R}^n)}$, where $X$ and $Y$ are rearrangement-invariant spaces, by reducing it to a considerably simpler one-dimensional inequality. Furthermore, we fully describe the optimal rearrangement-invariant space on either side of the inequality when the space on the other side is fixed. We also solve the same problem within the environment in which the competing spaces are Orlicz spaces. A variety of examples involving customary function spaces suitable for applications is also provided.
We define Euler-Hilbert-Sobolev spaces and obtain embedding results on homogeneous groups using Euler operators, which are homogeneous differential operators of order zero. Sharp remainder terms of $L^{p}$ and weighted Sobolev type and Sobolev-Rellich inequalities on homogeneous groups are given. Most inequalities are obtained with best constants. As consequences, we obtain analogues of the generalised classical Sobolev type and Sobolev-Rellich inequalities. We also discuss applications of logarithmic Hardy inequalities to Sobolev-Lorentz-Zygmund spaces. The obtained results are new already in…
In this paper we proof that every Fourier multiplier on homogeneous sobolev space $\dot{W}_1^1(\mathbb{R}^d)$ is a continuous function. Our theorem is generalization of A. Bonami and S. Poornima result for Fourier multipliers, which are homogeneous functions of degree zero.
In this paper we describe the Euler semigroup $\{e^{-t\mathbb{E}^{*}\mathbb{E}}\}_{t>0}$ on homogeneous Lie groups, which allows us to obtain various types of the Hardy-Sobolev and Gagliardo-Nirenberg type inequalities for the Euler operator $\mathbb{E}$. Moreover, the sharp remainder terms of the Sobolev type inequality, maximal Hardy inequality and $|\cdot|$-radial weighted Hardy-Sobolev type inequality are established.
Inspired by the work of A. Bonami and S. Poornima that a non-constant function which is homogeneous of degree $0$ cannot be a Fourier multiplier on homogeneous Sobolev spaces, we establish analogous results for Fourier multipliers on the Heisenberg group $ \mathbb{H}^n $ and Weyl multipliers on $ \mathbb{C}^n $ acting on Sobolev Spaces.
We develop a general method to calculate entropy numbers of standard Sobolev's classes on an arbitrary compact homogeneous Riemannian manifold. Our method is essentially based on a detailed study of geometric characteristics of norms induced by subspaces of harmonics. The method's possibilities are not confined to the statements proved but can be applied in studying more general problems such as entropy of multiplier operators. As an application, we establish sharp orders of entropy of Sobolev's classes and respective n-widths.
A comprehensive approach to Sobolev-type embeddings, involving arbitrary rearrangement- invariant norms on the entire Euclidean space R^n, is offered. In particular, the optimal target space in any such embedding is exhibited. Crucial in our analysis is a new reduction principle for the relevant embeddings, showing their equivalence to a couple of considerably simpler one-dimensional inequalities. Applications to the classes of the Orlicz-Sobolev and the Lorentz-Sobolev spaces are also presented. These contributions fill in a gap in the existing literature, where sharp results in such a genera…
We show that in a bounded simply connected planar domain $Ω$ the smooth Sobolev functions $W^{k,\infty}(Ω)\cap C^\infty(Ω)$ are dense in the homogeneous Sobolev spaces $L^{k,p}(Ω)$.
We show that in a bounded Gromov hyperbolic domain $Ω$ smooth functions with bounded derivatives $C^\infty(Ω)\cap W^{k,\infty}(Ω)$ are dense in the homogeneous Sobolev spaces $L^{k,p}(Ω)$.
For each $p>1$ and each positive integer $m$ we give intrinsic characterizations of the restriction of the homogeneous Sobolev space $L^m_p(R)$ to an arbitrary closed subset $E$ of the real line. We show that the classical one dimensional Whitney extension operator is "universal" for the scale of $L^m_p(R)$ spaces in the following sense: for every $p\in(1,\infty]$ it provides almost optimal $L^m_p$-extensions of functions defined on $E$. The operator norm of this extension operator is bounded by a constant depending only on $m$. This enables us to prove several constructive $L^m_p$-extension c…
The present paper is devoted to a theory of profile decomposition for bounded sequences in \emph{homogeneous} Sobolev spaces, and it enables us to analyze the lack of compactness of bounded sequences. For every bounded sequence in homogeneous Sobolev spaces, the sequence is asymptotically decomposed into the sum of profiles with dilations and translations and a double suffixed residual term. One gets an energy decomposition in the homogeneous Sobolev norm. The residual term becomes arbitrarily small in the critical Lebesgue or Sobolev spaces of lower order, and then, the results of decompositi…
We describe a procedure to introduce Sobolev spaces and the semigroup generated by the fractional Dirichlet Laplacian on an arbitrary domain of $\R^d$. In particular, the well-definedness of the spaces of both non-homogeneous and homogeneous type together with their duality properties, embeddings, and Gagliardo-Nirenberg inequalities will be discussed. We also show the continuity and the smoothing property of the semigroup.
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.
We study a non-homogeneous boundary value problem in a smooth bounded domain in $\mathbb{R}^N$. We prove the existence of at least two nonnegative and non-trivial weak solutions. Our approach relies on Orlicz-Sobolev spaces theory combined with adequate variational methods and a variant of Mountain Pass Lemma.
We give a sufficient condition for limiting Sobolev and Hardy inequalities to hold on stratified homogeneous groups. In the Euclidean case, this condition reduces to the known cancelling necessary and sufficient condition. We obtain in particular endpoint Korn--Sobolev and Korn--Hardy inequalities on stratified homogeneous groups.
Poincaré-Sobolev-type inequalities involving rearrangement-invariant norms on the entire $\mathbb{R}^n$ are provided. Namely, inequalities of the type $\|u-P\|_{Y(\mathbb{R}^n)}\leq C\|\nabla^m u\|_{X(\mathbb{R}^n)}$, where $X$ and $Y$ are either rearrangement-invariant spaces over $\mathbb{R}^n$ or Orlicz spaces over $\mathbb{R}^n$, $u$ is a $m-$times weakly differentiable function whose gradient is in $X$, $P$ is a polynomial of order at most $m-1$, depending on $u$, and $C$ is a constant independent of $u$, are studied. In a sense optimal rearrangement-invariant spaces or Orlicz spaces $Y$ …
We characterize the restrictions of first order Sobolev functions to regular subsets of a homogeneous metric space and prove the existence of the corresponding linear extension operator.
We study the embeddings of (homogeneous and inhomogeneous) anisotropic Besov spaces associated to an expansive matrix $A$ into Sobolev spaces, with focus on the influence of $A$ on the embedding behaviour. For a large range of parameters, we derive sharp characterizations of embeddings.
We determine upper asymptotic estimates of Kolmogorov and linear $n$-widths of unit balls in Sobolev and Besov norms in $L_{p}$-spaces on smooth compact Riemannian manifolds. For compact homogeneous manifolds, we establish estimates which are asymptotically exact, for the natural ranges of indices. The proofs heavily rely on our previous results such as: estimates for the near-diagonal localization of the kernels of elliptic operators, Plancherel-Polya inequalities on manifolds of bounded geometry, cubature formulas with positive coefficients and uniform estimates on Clebsch-Gordon coefficient…
In this paper we construct a trace operator for homogeneous Sobolev spaces defined on infinite strip-like domains. We identify an intrinsic seminorm on the resulting trace space that makes the trace operator bounded and allows us to construct a bounded right inverse. The intrinsic seminorm involves two features not encountered in the trace theory of bounded Lipschitz domains or half-spaces. First, due to the strip-like structure of the domain, the boundary splits into two infinite disconnected components. The traces onto each component are not completely independent, and the intrinsic seminorm…
In this article, for an optimal range of the smoothness parameter $s$ that depends (quantitatively) on the geometric makeup of the underlying space, the authors identify purely measure theoretic conditions that fully characterize embedding and extension domains for the scale of Hajłasz--Triebel--Lizorkin spaces $M^s_{p,q}$ and Hajłasz--Besov spaces $N^s_{p,q}$ in general spaces of homogeneous type. Although stated in the context of quasi-metric spaces, these characterizations improve related work even in the metric setting. In particular, as a corollary of the main results in this article, the…
For each $p>2$ we give intrinsic characterizations of the restriction of the homogeneous Sobolev space $L^1_p(R^2)$ to an arbitrary finite subset $E$ of $R^2$. The trace criterion is expressed in terms of certain weighted oscillations of the second order with respect to a measure generated by the Menger curvature of triangles with vertices in $E$.
Our aim is to characterize the homogeneous fractional Sobolev-Slobodecki\uı spaces $\mathcal{D}^{s,p} (\mathbb{R}^n)$ and their embeddings, for $s \in (0,1]$ and $p\ge 1$. They are defined as the completion of the set of smooth and compactly supported test functions with respect to the Gagliardo-Slobodecki\uı seminorms. For $s\,p < n$ or $s = p = n = 1$ we show that $\mathcal{D}^{s,p}(\mathbb{R}^n)$ is isomorphic to a suitable function space, whereas for $s\,p \ge n$ it is isomorphic to a space of equivalence classes of functions, differing by an additive constant. As one of our main tools, we…
In this paper, we prove global-in-time $\dot{\mathrm{H}}^{α,q}$-maximal regularity for a class of injective, but not invertible, sectorial operators on a UMD Banach space X , provided $q\in(1,+\infty) , $α\in(-1+1/q,1/q)$. We also prove the corresponding trace estimate, so that the solution to the canonical abstract Cauchy problem is continuous with values in a not necessarily complete trace space.In order to put our result in perspective, we also provide a short review on L q-maximal regularity which includes some recent advances such as the revisited homogeneous operator and interpolation th…
A family of sharp $L^p$ Sobolev inequalities is established by averaging the length of $i$-dimensional projections of the gradient of a function. Moreover, it is shown that each of these new inequalities directly implies the classical $L^p$ Sobolev inequality of Aubin and Talenti and that the strongest member of this family is the only affine invariant one among them -- the affine $L^p$ Sobolev inequality of Lutwak, Yang, and Zhang. When $p = 1$, the entire family of new Sobolev inequalities is extended to functions of bounded variation to also allow for a complete classification of all extrem…
Let $d$ be a metric on $R^n$ and let $C^{m,(d)}(R^n)$ be the space of $C^m$-function on $R^n$ whose partial derivatives of order $m$ belong to the space $Lip(R^n;d)$. We show that the homogeneous Sobolev space $L^{m+1}_p(R^n),p>n,$ can be represented as a union of $C^{m,(d)}(R^n)$-spaces where $d$ belongs to a family of metrics on $R^n$ with certain "nice" properties. This enables us in several important cases to give intrinsic characterizations of the restrictions of Sobolev spaces to arbitrary closed subsets of $R^n$. In particular, we generalize the classical Whitney extension theorem for t…
Let $p>n$ and let $L^1_p(R^n)$ be a homogeneous Sobolev space. For an arbitrary Borel measure $μ$ on $R^n$ we give a constructive characterization of the space $L^1_p(R^n)+L_p(R^n;μ)$. We express the norm in this space in terms of certain oscillations with respect to the measure $μ$. This enables us to describe the $K$-functional for the couple $(L_p(R^n;μ),L^1_p(R^n))$ in terms of these oscillations, and to prove that this couple is quasi-linearizable.
In this paper we fix $1\le p<\infty$ and consider $(\Om,d,μ)$ be an unbounded, locally compact, non-complete metric measure space equipped with a doubling measure $μ$ supporting a $p$-Poincaré inequality such that $\Om$ is a uniform domain in its completion $\bar\Om$. We realize the trace of functions in the Dirichlet-Sobolev space $D^{1,p}(\Om)$ on the boundary $\partial\Om$ as functions in the homogeneous Besov space $HB^α_{p,p}(\partial\Om)$ for suitable $α$; here, $\partial\Om$ is equipped with a non-atomic Borel regular measure $ν$. We show that if $ν$ satisfies a $θ$-codimensional condit…
Let $Λ\subset R$ be a strictly increasing sequence. For $r = 1,2$, we give a simple explicit expression for an equivalent norm on the trace spaces $W_p^r(R)|_Λ$, $L_p^r(R)|_Λ$ of the non-homogeneous and homogeneous Sobolev spaces with $r$ derivatives $W_p^r(R)$, $L_p^r(R)$. We also construct an interpolating spline of low degree having optimal norm up to a constant factor. A general result relating interpolation in $L^r_p(R)$ and $W^r_p(R)$ for all $r \geq 1$ is also given.
Let (X, \r{ho},μ) be a space of homogeneous type, a variable exponent satisfying the globally log-Holder continuous condition. In this article, the author introduce the variable fractional Sobolev spaces on X via Hajłasz gradient. Using various maximal functions, several characterizations of this space are established.
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.
We introduce a notion of maximal potentials and we prove that they form bounded operators from $L^p$ to the homogeneous Sobolev space $\dot{W}^{1,p}$ for all $n/(n-1)<p<n$. We apply this result to the problem of boundedness of the spherical maximal operator in Sobolev spaces.
Several possible notions of Hardy-Sobolev spaces on a Riemannian manifold with a doubling measure are considered. Under the assumption of a Poincaré inequality, the space $\Mone$, defined by Hajłasz, is identified with a Hardy-Sobolev space defined in terms of atoms. Decomposition results are proved for both the homogeneous and the nonhomogeneous spaces.
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 homogeneous function spaces of Besov-Sobolev type within the framework of tempered distributions in Euclidean $n$-space based on Gauss-Weierstrass semi-groups. Related Fourier-analytical descriptions are incorporated afterwards as so-called domestic norms. This approach avoids the usual ambiguity modulo polynomials when homogeneous function spaces are considered in the context of homogeneous tempered distributions. The motivation to deal with these spaces comes from (nonlinear) heat and Navier-Stokes equations, but also from Keller-Segel sytems and other PDE models of che…
For each $p>1$ and each positive integer $m$ we give intrinsic characterizations of the restriction of the Sobolev space $W^m_p(R)$ and homogeneous Sobolev space $L^m_p(R)$ to an arbitrary closed subset $E$ of the real line. In particular, we show that the classical one dimensional Whitney extension operator is "universal" for the scale of $L^m_p(R)$ spaces in the following sense: for every $p\in(1,\infty]$ it provides almost optimal $L^m_p$-extensions of functions defined on $E$. The operator norm of this extension operator is bounded by a constant depending only on $m$. This enables us to pr…
We consider the Fock-Sobolev space $F^{p,m}$ consisting of entire functions $f$ such that $f^{(m)}$, the $m$-th order derivative of $f$, is in the Fock space $F^p$. We show that an entire function $f$ is in $F^{p,m}$ if and only if the function $z^mf(z)$ is in $F^p$. We also characterize the Carleson measures for the spaces $F^{p,m}$, establish the boundedness of the weighted Fock projection on appropriate $L^p$ spaces, identify the Banach dual of $F^{p,m}$, and compute the complex interpolation space between two $F^{p,m}$ spaces.
We study when and how the norm of a function $u$ in the homogeneous Sobolev spaces $\dot{W}^{s, p} (\mathbb{R}^n, \mathbb{R}^m)$, with $p \ge 1$ and either $s = 1$ or $s > 1/p$, is controlled by the norm of composite function $f \circ u$ in the same space.
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.
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.
On a general open set of the euclidean space, we study the relation between the embedding of the homogeneous Sobolev space $\mathcal{D}^{1,p}_0$ into $L^q$ and the summability properties of the distance function. We prove that in the superconformal case (i.e. when $p$ is larger than the dimension) these two facts are equivalent, while in the subconformal and conformal cases (i.e. when $p$ is less than or equal to the dimension) we construct counterexamples to this equivalence. In turn, our analysis permits to study the asymptotic behaviour of the positive solution of the Lane-Emden equation fo…
Let $T_{Ω,α}$ be the homogeneous fractional integral operator defined as \begin{equation*} T_{Ω,α}f(x):=\int_{\mathbb R^n}\frac{Ω(x-y)}{|x-y|^{n-α}}f(y)\,dy, \end{equation*} and the related fractional maximal operator $M_{Ω,α}$ is given by \begin{equation*} M_{Ω,α}f(x):=\sup_{r>0}\frac{1}{|B(x,r)|^{1-α/n}}\int_{|x-y|<r}|Ω(x-y)f(y)|\,dy. \end{equation*} In this article, we will use the idea of Hedberg to reprove that the operators $T_{Ω,α}$ and $M_{Ω,α}$ are bounded from $L^p(\mathbb R^n)$ to $L^q(\mathbb R^n)$ provided that $Ω\in L^s(\mathbf{S}^{n-1})$, $s'<p<n/α$ and $1/q=1/p-α/n$, which was …
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$.
