In this article, we study the weighted homogeneous Sobolev--Morrey spaces on domains in $\mathbb{R}^n$ with higher co-dimensional boundaries. Precisely, we systematically establish a real-variable theory of these spaces, including completeness, embedding theorems, Riesz potential characterizations, continuity, trace and extension theorems, and complex interpolation. Applying the boundedness of the trace and the extension operators, we obtain sharp weighted a priori estimates for solutions to the Dirichlet problem of divergence-form degenerate second-order elliptic equations on such domains in weighted Lebesgue spaces. The absence of a boundary manifold structure of these domains poses some essential difficulties, which are overcome by using some tools, such as the intrinsic properties of distance weights and the geometric structure of domains, different from those available in Lipschitz domains.
A priori estimates for the weak solutions the Dirichlet problem for the uniformly higher-order elliptic equations in a smooth bounded domain $Ω\subset \Rn$ in generalized weighted Sobolev-Morrey spaces are obtained.
We present a self-contained proof of Uhlenbeck's decomposition theorem for $Ω\in L^p(\mathbb{B}^n,so(m)\otimesΛ^1\mathbb{R}^n)$ for $p\in (1,n)$ with Sobolev type estimates in the case $p \in[n/2,n)$ and Morrey-Sobolev type estimates in the case $p\in (1,n/2)$. We also prove an analogous theorem in the case when $Ω\in L^p( \mathbb{B}^n, TCO_{+}(m) \otimes Λ^1\mathbb{R}^n)$, which corresponds to Uhlenbeck's theorem with conformal gauge group.
Two Morrey-Sobolev inequalities (with support-bound and $L^1-$bound, respectively) are investigated on complete Riemannian manifolds with their sharp constants in $\mathbb R^n$. We prove the following results in both cases: $\bullet$ If $(M,g)$ is a {\it Cartan-Hadamard manifold} which verifies the $n-$dimensional Cartan-Hadamard conjecture, sharp Morrey-Sobolev inequalities hold on $(M,g)$. Moreover, extremals exist if and only if $(M,g)$ is isometric to the standard Euclidean space $(\mathbb R^n,e)$. $\bullet$ If $(M,g)$ has {\it non-negative Ricci curvature}, $(M,g)$ supports the sharp Morr…
The paper deals with the operator $u\rightarrow gu$ defined in the Sobolev space $W^{r,p}(Ω)$ and which takes values in $L^p(Ω)$ when $Ω$ is an unbounded open subset in $R^n$. The functions $g$ belong to wider spaces of $L^p$ connected with the Morrey type spaces. $L^p$ estimates and compactness results are stated.
Interpolation inequalities between Sobolev and Morrey-Campanato spaces: A common gateway to concentration-compactness and Gagliardo-Nirenberg interpolation inequalities
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.
We consider elliptic equations with operators $L=a^{ij}D_{ij}+b^{i}D_{i}-c$ with $a$ being almost in VMO, $b$ in a Morrey class containing $ L_{d}$, and $c\geq0$ in a Morrey class containing $L_{d/2}$. We prove the solvability in Sobolev spaces of $Lu=f\in L_{p}$ in bounded $C^{1,1}$-domains, and of $λu-Lu=f$ in the whole space for any $λ>0$. Weak uniqueness of the martingale problem associated with such operators is also discussed.
Combining the sharp isoperimetric inequality established by Z. Balogh and A. Kristály [Math. Ann., in press, doi:10.1007/s00208-022-02380-1] with an anisotropic symmetrization argument, we establish sharp Morrey-Sobolev inequalities on $n$-dimensional Finsler manifolds having nonnegative $n$-Ricci curvature. A byproduct of this method is a Hardy-Sobolev-type inequality in the same geometric setting. As applications, by using variational arguments, we guarantee the existence/multiplicity of solutions for certain eigenvalue problems and elliptic PDEs involving the Finsler-Laplace operator. Our r…
Let $Ω$ be a bounded, smooth domain of $\mathbb{R}^{N},$ $N\geq1.$ For each $p>N$ we study the optimal function $s=s_{p}$ in the pointwise inequality \[ \left\vert v(x)\right\vert \leq s(x)\left\Vert \nabla v\right\Vert _{L^{p}(Ω)},\quad\forall\,(x,v)\in\overlineΩ\times W_{0}% ^{1,p}(Ω). \] We show that $s_{p}\in C_{0}^{0,1-(N/p)}(\overlineΩ)$ and that $s_{p}$ converges pointwise to the distance function to the boundary, as $p\rightarrow\infty.$ Moreover, we prove that if $Ω$ is convex, then $s_{p}$ is concave and has a unique maximum point.
When the growth at infinity of a function $u$ on $\Bbb{R}^{N}$ is compared with the growth of $|x|^{s}$ for some $s\in \Bbb{R},$ this comparison is invariably made pointwise. This paper argues that the comparison can also be made in a suitably defined $L^{p}$ sense for every $1\leq p<\infty $ and that, in this perspective, inequalities of Hardy, Sobolev or Morrey type account for the fact that sub $|x|^{-N/p}$ growth of $\nabla u$ in the $% L^{p} $ sense implies sub $|x|^{1-N/p}$ growth of $u$ in the $L^{q}$ sense for well chosen values of $q.$ By investigating how sub $|x|^{s}$ growth of $\na…
With a view towards Riemannian or sub-Riemannian manifolds, RCD metric spaces and specially fractals, this paper makes a step further in the development of a theory of heat semigroup based $(1,p)$ Sobolev spaces in the general framework of Dirichlet spaces. Under suitable assumptions that are verified in a variety of settings, the tools developed by D. Bakry, T. Coulhon, M. Ledoux and L. Saloff-Coste in the paper "Sobolev inequalities in disguise" allow us to obtain the whole family of Gagliardo-Nirenberg and Trudinger-Moser inequalities with optimal exponents. The latter depend not only on th…
We consider uniformly parabolic equations and inequalities of second order in the non-divergence form with drift \[-u_{t}+Lu=-u_{t}+\sum_{ij}a_{ij}D_{ij}u+\sum b_{i}D_{i}u=0\,(\geq0,\,\leq0)\] in some domain $Ω\subset \mathbb{R}^{n+1}$. We prove a variant of Aleksandrov-Bakelman-Pucci-Krylov-Tso estimate with $L^{p}$ norm of the inhomogeneous term for some number $p<n+1$. Based on it, we derive the growth theorems and the interior Harnack inequality. In this paper, we will only assume the drift $b$ is in certain Morrey spaces defined below which are critical under the parabolic scaling but not…
We prove the unique weak solvability of stochastic differential equations with time-inhomogeneous drift in essentially the largest (scaling-invariant) Morrey class, i.e.\,with integrability parameter $q>1$ close to $1$. The constructed weak solutions constitute a Feller evolution family. The proofs are based on a detailed Sobolev regularity theory of the corresponding parabolic equation.
In this note we give a proof of the Sobolev and Morrey embedding theorems based on the representation of functions in terms of the fundamental solution of suitable partial differential operators. We also prove the compactness of the Sobolev embedding. We first describe this method in the classical setting, where the fundamental solution of the Laplace equation is used, to recover the classical Sobolev and Morrey theorems. We next consider degenerate Kolmogorov equations. In this case, the fundamental solution is invariant with respect to a non-Euclidean translation group and the usual convolut…
For a bounded domain $Ω\subset \mathbb{R}^n$ and $p>n$, Morrey's inequality implies that there is $c>0$ such that $$ c\|u\|^p_{\infty}\le \int_Ω|Du|^pdx $$ for each $u$ belonging to the Sobolev space $W^{1,p}_0(Ω)$. We show that the ratio of any two extremal functions is constant provided that $Ω$ is convex. We also explain why this property fails to hold in general and verify that convexity is not a necessary condition for a domain to have this property. As a by product, we obtain the uniqueness of an optimization problem involving the Green's function for the $p$-Laplacian.
We deal with general quasilinear divergence-form coercive operators whose prototype is the $m$-Laplacean operator. The nonlinear terms are given by Carathéodory functions and satisfy controlled growth structure conditions with data belonging to suitable Morrey spaces. The fairly non-regular boundary of the underlying domain is supposed to satisfy a capacity density condition which allows domains with exterior corkscrew property. We prove global boundedness and Hoelder continuity up to the boundary for the weak solutions of such equations, generalizing this way the classical $L^p$-result of Lad…
Barker recently proved new weak-strong uniqueness results for the Navier-Stokes equations based on a criterion involving Besov spaces and a proof through interpolation between Besov-H{ö}lder spaces and L 2. We improve slightly his results by considering Besov-Morrey spaces and interpolation between Besov-Morrey spaces and L 2 uloc. Let u 0 a divergence-free vector field on R 3. We shall consider weak solutions to the Cauchy initial value problem for the Navier-Stokes equations which satisfy energy estimates. The differential Navier-Stokes equations read as $\partial$ t u + u. $\nabla$ u = $Δ$ …
In this note, we establish a $L^p-$version of the Poincaré--Sobolev inequalities in the hyperbolic spaces $\mathbb H^n$. The interest of this result is that it relates both the Poincaré (or Hardy) inequality and the Sobolev inequality with the sharp constant in $\mathbb H^n$. Our approach is based on the comparison of the $L^p-$norm of gradient of the symmetric decreasing rearrangement of a function in both the hyperbolic space and the Euclidean space, and the sharp Sobolev inequalities in Euclidean spaces. This approach also gives the proof of the Poincaré--Gagliardo--Nirenberg and Poincaré--…
Improved Sobolev embeddings, profile decomposition, and concentration-compactness for fractional Sobolev spaces
在H^s空间中得到了一个改进的涉及Morrey范数的Sobolev不等式.这种改进产生了一个直接的证明的存在性的优化和紧凑的对称性的优化序列通常的Sobolev嵌入。更一般地说，它允许使用[K]中开发的位错空间的抽象方法导出[P. Gerard，ESAIM 1998]中获得的H^s中的轮廓分解的替代的、更透明的证明。Tintarev & K. H. Fieseler，Imperial College Press 2007]。我们还直接分析了Sobolev嵌入紧性的局部缺陷。Lions，Rev. Mat. Iberoamericana 1985]。作为模型应用，我们研究了一类次临界问题的渐近极限，得到了当s为整数（[O. Rey，Mandarin pta math.1989; Z.- C. Han，Ann. Inst. H.庞加莱肛门。Non Lineaire 1991]，[K. S. Chou & D. Geng，微分积分方程2000]）。
In this paper we strengthen to Morrey-Lorentz spaces the famous trace principle introduced by Adams. More precisely, we show that Riesz potential $I_α$ is continuous \begin{equation} \Vert I_αf\Vert_{\mathcal{M}_{q, \infty}^{λ_{\ast}}(dμ)}\lesssim \Arrowvertμ\Arrowvert_β^{{1}/{q}}\,\Vert f\Vert_{\mathcal{M}_{p, \infty}^λ(dν)}\nonumber\\[0.02in] \end{equation} if and only if the Radon measure $dμ$ supported in $Ω\subset \mathbb{R}^n$ is controlled by $$\Arrowvertμ\Arrowvert_β=\sup_{x\in\mathbb{R}^n,\,r>0}r^{-β}μ(B(x,r))<\infty$$ provided that $1<p<q<\infty$ satisfies $n-αp<β\leq n,\; α=\frac{n}…
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…
Let $L$ be a homogeneous divergence form higher order elliptic operator with complex bounded measurable coefficients on $\mathbb{R}^n$ and $X$ a ball quasi-Banach function space on $\mathbb{R}^n$ satisfying some mild assumptions. Denote by $H_{X,\, L}(\mathbb{R}^n)$ the Hardy space, associated with both $L$ and $X$, which is defined via the Lusin area function related to the semigroup generated by $L$. In this article, the authors establish both the maximal function and the Riesz transform characterizations of $H_{X,\, L}(\mathbb{R}^n)$. The results obtained in this article have a wide range o…
We provide a self-contained proof of the solvability and regularity of a Hodge-type elliptic system, wherein the divergence and curl of a vector field are prescribed in an open, bounded, Sobolev-class domain, and either the normal component or the tangential components of the vector field are prescribed on the boundary. The proof is based on a regularity theory for vector elliptic equations set on Sobolev-class domains and with Sobolev-class coefficients.
In this paper, we consider the following problem: $$ (-Δ)^{s} u -\frac{ζu}{|x|^{2s}} = \sum_{i=1}^{k} \frac{|u|^{2^{*}_{s,θ_{i}}-2}u} {|x|^{θ_{i}}} , \mathrm{~in~} \mathbb{R}^{N}, $$ where $N\geqslant3$, $s\in(0,1)$, $ζ\in \left[ 0,4^{s}\frac{Γ(\frac{N+2s}{4})}{Γ(\frac{N-2s}{4})} \right)$, $2^{*}_{s,θ_{i}}=\frac{2(N-θ_{i})}{N-2s}$ are the critical Hardy--Sobolev exponents, the parameters $θ_{i}$ satisfy a suitable assumption. By using Morrey space, refinement of Hardy--Sobolev inequality and variational method, we establish the existence of nonnegative solution. Our result generalizes the resu…
We prove the unique solvability in weighted Sobolev spaces of non-divergence form elliptic and parabolic equations on a half space with the homogeneous Neumann boundary condition. All the leading coefficients are assumed to be only measurable in the time variable and have small mean oscillations in the spatial variables. Our results can be applied to Neumann boundary value problems for {\em stochastic} partial differential equations with BMO$_x$ coefficients.
We construct a large class of incompressible vector fields with Sobolev regularity, in dimension $d \geq 3$, for which the chain rule problem has a negative answer. In particular, for any renormalization map $β$ (satisfying suitable assumptions) and any (distributional) renormalization defect $T$ of the form $T = {\rm div}\, h$, where $h$ is an $L^1$ vector field, we can construct an incompressible Sobolev vector field $u \in W^{1, \tilde p}$ and a density $ρ\in L^p$ for which ${\rm div}\, (ρu) =0$ but ${\rm div}\, (β(ρ) u) = T$, provided $1/p + 1/\tilde p \geq 1 + 1/(d-1)$
