We use geometric methods to obtain a sharp exponential integrability result for boundary traces of monotone Sobolev functions defined on the unit ball.
We prove that almost every level set of a Sobolev function in a planar domain consists of points, Jordan curves, or homeomorphic copies of an interval. For monotone Sobolev functions in the plane we have the stronger conclusion that almost every level set is an embedded $1$-dimensional topological submanifold of the plane. Here monotonicity is in the sense of Lebesgue: the maximum and minimum of the function in an open set are attained at the boundary. Our result is an analog of Sard's theorem, which asserts that for a $C^2$-smooth function in a planar domain almost every value is a regular va…
We extend a Poincaré-type inequality for functions with large zero-sets by Jiang and Lin to fractional Sobolev spaces. As a consequence, we obtain a Hausdorff dimension estimate on the size of zero sets for fractional Sobolev functions whose inverse is integrable. Also, for a suboptimal Hausdorff dimension estimate, we give a completely elementary proof based on a pointwise Poincaré-style inequality.
In this paper, we prove the decay estimates of the velocity and $H^1$ scattering for the 2D linearized Euler equations around a class of monotone shear flow in a finite channel. Our result is consistent with the decay rate predicted by Case in 1960.
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.
The author establishes some geometric criteria for a domain of ${\mathbb R}^n$ with $n\ge2$ to support a $(pn/(n-ps),\,p)_s$-Hajłasz-Sobolev-Poincaré imbedding with $s\in(0,\,1]$ and $p\in(n/(n+s),\,n/s)$ or an $s$-Hajłasz-Trudinger imbedding with $s\in(0,\,1]$.
We consider the dispersive Degasperis-Procesi equation $u_t-u_{x x t}-\mathtt{c} u_{xxx}+4 \mathtt{c} u_x-u u_{xxx}-3 u_x u_{xx}+4 u u_x=0$ with $\mathtt{c}\neq 0$. In \cite{Deg} the authors proved that this equation possesses infinitely many conserved quantities. We prove that, in a neighborhood of the origin, there are infinitely many of such constants of motion which control the Sobolev norms and which are analytic in a neighborhood of the origin of some $H^s$ Sobolev space, both on $\mathbb{R}$ and $\mathbb{T}$. By the analysis of these conserved quantities we deduce a result of global wel…
Involutivity is a well known necessary condition for integrability of smooth tangent distributions. We show that this condition is still necessary for integrability with Sobolev surfaces. We specialize our study to the left invariant horizontal distribution of the first Heisenberg group $\H^1$. Here we answer a question raised in a paper by Z.M.Balogh, R.Hoefer-Isenegger, J.T.Tyson.
By using quasi-Banach techniques as key ingredient we prove Poincaré- and Sobolev- type inequalities for $m$-subharmonic functions with finite $(p,m)$-energy. A consequence of the Sobolev type inequality is a partial confirmation of Błocki's integrability conjecture for $m$-subharmonic functions.
In a previous article, \cite{Zill3}, we have established linear inviscid damping for a large class of monotone shear flows in a finite periodic channel and have further shown that boundary effects asymptotically lead to the formation of singularities of derivatives of the solution. As the main results of this article, we provide a detailed description of the singularity formation and establish stability in all sub-critical fractional Sobolev spaces and blow-up in all super-critical spaces. Furthermore, we discuss the implications of the blow-up to the problem of nonlinear inviscid damping in a…
We prove density of smooth functions in subspaces of Sobolev- and higher order $BV$-spaces of kind $W^{m,p}(Ω)\cap L^q(Ω-D)$ and $BV^m(Ω)\cap L^q(Ω-D)$, respectively, where $Ω\subset\mathbb{R}^n$ ($n\in\mathbb{N}$) is an open and bounded set with suitably smooth boundary, $m<n$ is a positive integer, $1\leq p<\infty$ s.t. $mp<n$, $D\SubsetΩ$ is a sufficiently regular open subset and $q> np/(n-mp)$. Here we say that a $W^{m-1,1}(Ω)$-function is of $m$-th order bounded variation ($BV^m$) if its $m$-th order partial derivatives in the sense of distributions are finite Radon measures. This takes u…
This work is concerned with both higher integrability and differentiability for linear nonlocal equations with possibly very irregular coefficients of VMO-type or even coefficients that are merely small in BMO. In particular, such coefficients might be discontinuous. While for corresponding local elliptic equations with VMO coefficients such a gain of Sobolev regularity along the differentiability scale is unattainable, it was already observed in previous works that gaining differentiability in our nonlocal setting is possible under less restrictive assumptions than in the local setting. In th…
Let $d \ge 1$, $p \ge d$, and let $Ω$ be a smooth bounded open subset of $\mathbb{R}^d$. We prove some exponential integrability in the spirit of Moser-Trudinger's inequalities for measurable functions $u$ defined in $Ω$ such that $$ \mathop{\int_Ω \int_Ω}_{|u(x) - u(y)| > δ} \frac{1}{|x-y|^{d+p}} \, dx \, dy < + \infty, $$ for some $δ> 0$. This double integral appeared in characterizations of Sobolev spaces and involved in improvements of the Sobolev inequaliies, Poincaré inequalities, and Hardy inequalities.
We give a simple proof of the $λ= d-2$ cases of the sharp Hardy-Littlewood-Sobolev inequality for $d\geq 3$, and the sharp Logarithmic Hardy-Littlewood-Sobolev inequality for $d=2$ via a monotone flow governed by the fast diffusion equation.
We develop a technique to obtain new symmetrization inequalities that provide a unified framework to study Sobolev inequalities, concentration inequalities and sharp integrability of solutions of elliptic equations
Université Paris-Saclay(巴黎萨克雷大学);CNRS(法国国家科学研究中心);Laboratoire de Mathématiques d’Orsay(奥赛数学实验室);Australian National University-CNRS(澳大利亚国立大学-法国国家科学研究中心);Westfälische Wilhelms-Universität Münster(明斯特西法利亚威廉大学)
We prove trace theorems for weighted mixed norm Sobolev spaces in the upper-half space where the weight is a power function of the vertical variable. The results show the differentiability order of the trace functions depends only on the power in the weight function and the integrability power for the integration with respect to the vertical variable but not on the integrability powers for the integration with respect to the horizontal ones. They are new even in the un-weighted case and they recover classical results in the case of un-mixed norm spaces. The work is motivated by the study of re…
We show that every $\mathbb{R}^d$-valued Sobolev path with regularity $α$ and integrability $p$ can be lifted to a Sobolev rough path provided $α< 1/p<1/3$. The novelty of our approach is its use of ideas underlying Hairer's reconstruction theorem generalized to a framework allowing for Sobolev models and Sobolev modelled distributions. Moreover, we show that the corresponding lifting map is locally Lipschitz continuous with respect to the inhomogeneous Sobolev metric.
In this paper, we revisit the notion of temporal intermittency to obtain sharp nonuniqueness results for linear transport equations. We construct divergence-free vector fields with sharp Sobolev regularity $L^1_t W^{1,p}$ for all $p<\infty$ in space dimensions $d\geq 2$ whose transport equations admit nonunique weak solutions belonging to $L^p_tC^k$ for all $p<\infty$ and $k\in \mathbb{N}$. In particular, our result shows that the time-integrability assumption in the uniqueness of the DiPerna-Lions theory is sharp. The same result also holds for transport-diffusion equations with diffusion ope…
In this paper, we study the Sobolev regularity of solutions to nonlinear second order elliptic equations with super-linear first-order terms on Riemannian manifolds, complemented with Neumann boundary conditions, when the source term of the equation belongs to a Lebesgue space, under various integrability regimes. Our method is based on an integral refinement of the Bochner's identity, and leads to "semilinear Calderón-Zygmund" type results. Applications to the problem of smoothness of solutions to Mean Field Games systems with Neumann boundary conditions posed on convex domains of the Euclide…
We derive sharp Adams inequalities for the Riesz and more general Riesz-like potentials on the whole of R^n. As a consequence, we obtain sharp Moser-Trudinger inequalities for the critical Sobolev spaces W^{a,n/a}(R^n), 0<a<n. These inequalities involve fractional Laplacians, higher order gradients, general homogeneous elliptic operators with constant coefficients, and general trace type Borel measures.
We study topologically monotone surjective $W^{1,n}$-maps of finite distortion $f \colon Ω\to Ω'$, where $Ω, Ω' $ are domains in $\mathbb{R}^n$, $n \geq 2$. If the outer distortion function $K_f \in L_{\mathrm{loc}}^{p}(Ω)$ with $p \geq n-1$, then any such map $f$ is known to be homeomorphic, and hence the fibers $f^{-1}\{y\}$ are singletons. We show that as the exponent of integrability $p$ of the distortion function $K_f$ increases in the range $1/(n-1) \leq p < n-1$, then the fibers $f^{-1}\{y\}$ of $f$ start satisfying increasingly strong homological limitations. We also give a Sobolev rea…
We prove the Lewy-Stampacchia inequalities for the two obstacles problem in abstract form for T-monotone operators. As a consequence for a general class of quasi-linear elliptic operators of Ladyzhenskaya-Uraltseva type, including p(x)-Laplacian type operators, we derive new results of $C^{1,α}$ regularity for the solution. We also apply those inequalities to obtain new results to the N-membranes problem and the regularity and monotonicity properties to obtain the existence of a solution to a quasi-variational problem in (generalized) Orlicz-Sobolev spaces.
We study extremal functions for a family of Poincaré-Sobolev-type inequalities. These functions minimize, for subcritical or critical $p\geq 2$, the quotient ${\|\nabla u\|_2}/{\|u\|_p}$ among all $u \in H^1(B)\setminus\{0\}$ with $\int_{B}u=0$. Here $B$ is the unit ball in $\mathbb{R}^N$. We show that the minimizers are axially symmetric with respect to a line passing through the origin. We also show that they are strictly monotone in the direction of this line. In particular, they take their maximum and minimum precisely at two antipodal points on the boundary of $B$. We also prove that, for…
It is known that functions in a Sobolev space with critical exponent embed into the space of functions of bounded mean oscillation, and therefore satisfy the John-Nirenberg inequality and a corresponding exponential integrability estimate. While these inequalities are optimal for general functions of bounded mean oscillation, the main result of this paper is an improvement for functions in a class of critical Sobolev spaces. Precisely, we prove the inequality \[\mathcal{H}^β_{\infty}(\{x\in Ω:|I_αf(x)|>t\})\leq Ce^{-ct^{q'}}\] for all $\|f\|_{L^{N/α,q}(Ω)}\leq 1$ and any $β\in (0,N]$, where $Ω…
We are concerned about the coarse and precise aspects of a priori estimates for Green's function of a regular domain for the Laplacian-Betrami operator on any $3\le n$-dimensional complete non-compact boundary-free Riemannian manifold through the square Sobolev/Nash/logarithmic-Sobolev inequalities plus the rough and sharp Euclidean isoperimetric inequalities. Consequently, we are led to evaluate the critical limit of an induced monotone Green's functional using the asymptotic behavior of the Lorentz norm deficit of Green's function at the infinity, as well as the harmonic radius of a regular …
For kernels $ν$ which are positive and integrable we show that the operator $g\mapsto J_νg=\int_0^x ν(x-s)g(s)ds$ on a finite time interval enjoys a regularizing effect when applied to Hölder continuous and Lebesgue functions and a "contractive" effect when applied to Sobolev functions. For Hölder continuous functions, we establish that the improvement of the regularity of the modulus of continuity is given by the integral of the kernel, namely by the factor $N(x)=\int_0^x ν(s)ds$. For functions in Lebesgue spaces, we prove that an improvement always exists, and it can be expressed in terms of…