Sobolev inequality

Short description: Theorem about inclusions between Sobolev spaces

In mathematics, there is in mathematical analysis a class of Sobolev inequalities, relating norms including those of Sobolev spaces. These are used to prove the Sobolev embedding theorem, giving inclusions between certain Sobolev spaces, and the Rellich–Kondrachov theorem showing that under slightly stronger conditions some Sobolev spaces are compactly embedded in others. They are named after Sergei Lvovich Sobolev.

Sobolev embedding theorem

Graphical representation of the embedding conditions. The space

W 3,p

, represented by a blue dot at the point

(1/ p, 3)

, embeds into the spaces indicated by red dots, all lying on a line with slope

n

. The white circle at

(0,0)

indicates the impossibility of optimal embeddings into

L \infty

.

Let $W k,p (R n)$ denote the Sobolev space consisting of all real-valued functions on $R n$ whose first $k$ weak derivatives are functions in $L p$ . Here $k$ is a non-negative integer and $1 \leq p < \infty$ . The first part of the Sobolev embedding theorem states that if $k > ℓ$ , $p < n$ and $1 \leq p < q < \infty$ are two real numbers such that

[math]\displaystyle{ \frac{1}{p}-\frac{k}{n} = \frac{1}{q} -\frac{\ell}{n}, }[/math]

then

[math]\displaystyle{ W^{k,p}(\mathbf{R}^n)\subseteq W^{\ell,q}(\mathbf{R}^n) }[/math]

and the embedding is continuous. In the special case of $k = 1$ and $ℓ = 0$ , Sobolev embedding gives

[math]\displaystyle{ W^{1,p}(\mathbf{R}^n) \subseteq L^{p^*}(\mathbf{R}^n) }[/math]

where $p *$ is the Sobolev conjugate of $p$ , given by

[math]\displaystyle{ \frac{1}{p^*} = \frac{1}{p} - \frac{1}{n}. }[/math]

This special case of the Sobolev embedding is a direct consequence of the Gagliardo–Nirenberg–Sobolev inequality. The result should be interpreted as saying that if a function [math]\displaystyle{ f }[/math] in [math]\displaystyle{ L^p(\mathbb R^n) }[/math] has one derivative in [math]\displaystyle{ L^p }[/math], then [math]\displaystyle{ f }[/math] itself has improved local behavior, meaning that it belongs to the space [math]\displaystyle{ L^{p^*} }[/math] where [math]\displaystyle{ p^*\gt p }[/math]. (Note that [math]\displaystyle{ 1/p^*\lt 1/p }[/math], so that [math]\displaystyle{ p^*\gt p }[/math].) Thus, any local singularities in [math]\displaystyle{ f }[/math] must be more mild than for a typical function in [math]\displaystyle{ L^p }[/math].

If the line from the picture above intersects the y-axis at s = r + α, the embedding into a Hölder space

C r, α

(red) holds. White circles indicate intersection points at which optimal embeddings are not valid.

The second part of the Sobolev embedding theorem applies to embeddings in Hölder spaces $C r,α (R n)$ . If $n < pk$ and

[math]\displaystyle{ \frac{1}{p}-\frac{k}{n} = -\frac{r + \alpha}{n}, \mbox{ or, equivalently, } r + \alpha = k - \frac{n}{p} }[/math]

with $α \in (0, 1)$ then one has the embedding

[math]\displaystyle{ W^{k,p}(\mathbf{R}^n)\subset C^{r,\alpha}(\mathbf{R}^n). }[/math]

This part of the Sobolev embedding is a direct consequence of Morrey's inequality. Intuitively, this inclusion expresses the fact that the existence of sufficiently many weak derivatives implies some continuity of the classical derivatives. If [math]\displaystyle{ \alpha = 1 }[/math] then [math]\displaystyle{ W^{k,p}(\mathbf{R}^n)\subset C^{r,\gamma}(\mathbf{R}^n) }[/math] for every [math]\displaystyle{ \gamma \in (0,1) }[/math].

In particular, as long as [math]\displaystyle{ pk\gt n }[/math], the embedding criterion will hold with [math]\displaystyle{ r=0 }[/math] and some positive value of [math]\displaystyle{ \alpha }[/math]. That is, for a function [math]\displaystyle{ f }[/math] on [math]\displaystyle{ \mathbb R^n }[/math], if [math]\displaystyle{ f }[/math] has [math]\displaystyle{ k }[/math] derivatives in [math]\displaystyle{ L^p }[/math] and [math]\displaystyle{ pk\gt n }[/math], then [math]\displaystyle{ f }[/math] will be continuous (and actually Hölder continuous with some positive exponent [math]\displaystyle{ \alpha }[/math]).

Generalizations

The Sobolev embedding theorem holds for Sobolev spaces $W k,p (M)$ on other suitable domains $M$ . In particular (Aubin 1982, Chapter 2; Aubin 1976), both parts of the Sobolev embedding hold when

$M$ is a bounded open set in $R n$ with Lipschitz boundary (or whose boundary satisfies the cone condition; Adams 1975, Theorem 5.4)
$M$ is a compact Riemannian manifold
$M$ is a compact Riemannian manifold with boundary and the boundary is Lipschitz (meaning that the boundary can be locally represented as a graph of a Lipschitz continuous function).
$M$ is a complete Riemannian manifold with injectivity radius $δ > 0$ and bounded sectional curvature.

If $M$ is a bounded open set in $R n$ with continuous boundary, then $W 1,2 (M)$ is compactly embedded in $L 2 (M)$ (Nečas 2012, Section 1.1.5, Theorem 1.4).

Kondrachov embedding theorem

On a compact manifold $M$ with $C 1$ boundary, the Kondrachov embedding theorem states that if $k > ℓ$ and[math]\displaystyle{ \frac{1}{p}-\frac{k}{n} \lt \frac{1}{q} -\frac{\ell}{n} }[/math]then the Sobolev embedding

[math]\displaystyle{ W^{k,p}(M)\subset W^{\ell,q}(M) }[/math]

is completely continuous (compact).^[1] Note that the condition is just as in the first part of the Sobolev embedding theorem, with the equality replaced by an inequality, thus requiring a more regular space $W k,p (M)$ .

Gagliardo–Nirenberg–Sobolev inequality

Assume that $u$ is a continuously differentiable real-valued function on $R n$ with compact support. Then for $1 \leq p < n$ there is a constant $C$ depending only on $n$ and $p$ such that

[math]\displaystyle{ \|u\|_{L^{p^*}(\mathbf{R}^n)}\leq C \|Du\|_{L^{p}(\mathbf{R}^n)}. }[/math]

with [math]\displaystyle{ 1/p* = 1/p - 1/n }[/math]. The case [math]\displaystyle{ 1\lt p \lt n }[/math] is due to Sobolev^[2] and the case [math]\displaystyle{ p =1 }[/math] to Gagliardo and Nirenberg independently.^[3]^[4] The Gagliardo–Nirenberg–Sobolev inequality implies directly the Sobolev embedding

[math]\displaystyle{ W^{1,p}(\mathbf{R}^n) \sub L^{p^*}(\mathbf{R}^n). }[/math]

The embeddings in other orders on $R n$ are then obtained by suitable iteration.

Hardy–Littlewood–Sobolev lemma

Sobolev's original proof of the Sobolev embedding theorem relied on the following, sometimes known as the Hardy–Littlewood–Sobolev fractional integration theorem. An equivalent statement is known as the Sobolev lemma in (Aubin 1982). A proof is in (Stein 1970).

Let $0 < α < n$ and $1 < p < q < \infty$ . Let $I α = (-Δ) - α /2$ be the Riesz potential on $R n$ . Then, for $q$ defined by

[math]\displaystyle{ \frac 1 q = \frac 1 p - \frac \alpha n }[/math]

there exists a constant $C$ depending only on $p$ such that

[math]\displaystyle{ \left \|I_\alpha f \right \|_q \le C \|f\|_p. }[/math]

If $p = 1$ , then one has two possible replacement estimates. The first is the more classical weak-type estimate:

[math]\displaystyle{ m \left \{x : \left |I_\alpha f(x) \right | \gt \lambda \right \} \le C \left( \frac{\|f\|_1}{\lambda} \right )^q, }[/math]

where $1/ q = 1 - α / n$ . Alternatively one has the estimate[math]\displaystyle{ \left \|I_\alpha f \right \|_q \le C \|Rf\|_1, }[/math]where [math]\displaystyle{ Rf }[/math] is the vector-valued Riesz transform, c.f. (Schikorra Spector ). The boundedness of the Riesz transforms implies that the latter inequality gives a unified way to write the family of inequalities for the Riesz potential.

The Hardy–Littlewood–Sobolev lemma implies the Sobolev embedding essentially by the relationship between the Riesz transforms and the Riesz potentials.

Morrey's inequality

Assume $n < p \leq \infty$ . Then there exists a constant $C$ , depending only on $p$ and $n$ , such that

[math]\displaystyle{ \|u\|_{C^{0,\gamma}(\mathbf{R}^n)}\leq C \|u\|_{W^{1,p}(\mathbf{R}^n)} }[/math]

for all $u \in C 1 (R n) \cap L p (R n)$ , where

[math]\displaystyle{ \gamma=1-\frac{n}{p}. }[/math]

Thus if $u \in W 1, p (R n)$ , then $u$ is in fact Hölder continuous of exponent $γ$ , after possibly being redefined on a set of measure 0.

A similar result holds in a bounded domain $U$ with Lipschitz boundary. In this case,

[math]\displaystyle{ \|u\|_{C^{0,\gamma}(U)}\leq C \|u\|_{W^{1,p}(U)} }[/math]

where the constant $C$ depends now on $n, p$ and $U$ . This version of the inequality follows from the previous one by applying the norm-preserving extension of $W 1, p (U)$ to $W 1, p (R n)$ . The inequality is named after Charles B. Morrey Jr.

General Sobolev inequalities

Let $U$ be a bounded open subset of $R n$ , with a $C 1$ boundary. ( $U$ may also be unbounded, but in this case its boundary, if it exists, must be sufficiently well-behaved.)

Assume $u \in W k,p (U)$ . Then we consider two cases:

$k < n / p$

In this case we conclude that $u \in L q (U)$ , where

[math]\displaystyle{ \frac{1}{q}=\frac{1}{p}-\frac{k}{n}. }[/math]

We have in addition the estimate

[math]\displaystyle{ \|u\|_{L^q(U)}\leq C \|u\|_{W^{k,p}(U)} }[/math],

the constant $C$ depending only on $k, p, n$ , and $U$ .

$k > n / p$

Here, we conclude that $u$ belongs to a Hölder space, more precisely:

[math]\displaystyle{ u \in C^{k-\left[\frac{n}{p}\right]-1,\gamma}(U), }[/math]

where

[math]\displaystyle{ \gamma = \begin{cases} \left[\frac{n}{p}\right]+1-\frac{n}{p} & \frac{n}{p} \notin \mathbf{Z} \\ \text{any element in } (0, 1) & \frac{n}{p} \in \mathbf{Z} \end{cases} }[/math]

We have in addition the estimate

[math]\displaystyle{ \|u\|_{C^{k-\left[\frac{n}{p}\right]-1,\gamma}(U)}\leq C \|u\|_{W^{k,p}(U)}, }[/math]

the constant $C$ depending only on $k, p, n, γ$ , and $U$ . In particular, the condition [math]\displaystyle{ k\gt n/p }[/math] guarantees that [math]\displaystyle{ u }[/math] is continuous (and actually Hölder continuous with some positive exponent).

Case $p = n, k =1$

If [math]\displaystyle{ u\in W^{1,n}(\mathbf{R}^n) }[/math], then $u$ is a function of bounded mean oscillation and

[math]\displaystyle{ \|u\|_{BMO} \leq C \|Du\|_{L^n(\mathbf{R}^n)}, }[/math]

for some constant $C$ depending only on $n$ .^[5]^:§I.2 This estimate is a corollary of the Poincaré inequality.

Nash inequality

The Nash inequality, introduced by John Nash (1958), states that there exists a constant $C > 0$ , such that for all $u \in L 1 (R n) \cap W 1,2 (R n)$ ,

[math]\displaystyle{ \|u\|_{L^2(\mathbf{R}^n)}^{1+2/n} \leq C\|u\|_{L^1(\mathbf{R}^n)}^{2/n} \| Du\|_{L^2(\mathbf{R}^n)}. }[/math]

The inequality follows from basic properties of the Fourier transform. Indeed, integrating over the complement of the ball of radius $ρ$ ,

[math]\displaystyle{ \int_{|x|\ge\rho} \left |\hat{u}(x) \right |^2\,dx \le \int_{|x|\ge\rho} \frac{|x|^2}{\rho^2} \left |\hat{u}(x) \right |^2\,dx\le \rho^{-2}\int_{\mathbf{R}^n}|D u|^2\,dx }[/math]

(1)

because [math]\displaystyle{ 1\le|x|^2/\rho^2 }[/math]. On the other hand, one has

[math]\displaystyle{ |\hat{u}| \le \|u\|_{L^1} }[/math]

which, when integrated over the ball of radius $ρ$ gives

[math]\displaystyle{ \int_{|x|\le\rho} |\hat{u}(x)|^2\,dx \le \rho^n\omega_n \|u\|_{L^1}^2 }[/math]

(2)

where $ω n$ is the volume of the $n$ -ball. Choosing $ρ$ to minimize the sum of (1) and (2) and applying Parseval's theorem:

[math]\displaystyle{ \|\hat{u}\|_{L^2} = \|u\|_{L^2} }[/math]

gives the inequality.

In the special case of $n = 1$ , the Nash inequality can be extended to the $L p$ case, in which case it is a generalization of the Gagliardo-Nirenberg-Sobolev inequality (Brezis 2011, Comments on Chapter 8). In fact, if $I$ is a bounded interval, then for all $1 \leq r < \infty$ and all $1 \leq q \leq p < \infty$ the following inequality holds

[math]\displaystyle{ \| u\|_{L^p(I)}\le C\| u\|^{1-a}_{L^q(I)} \|u\|^a_{W^{1,r}(I)}, }[/math]

where:

[math]\displaystyle{ a\left(\frac{1}{q}-\frac{1}{r}+1\right)=\frac{1}{q}-\frac{1}{p}. }[/math]

Logarithmic Sobolev inequality

Main page: Logarithmic Sobolev inequalities

The simplest of the Sobolev embedding theorems, described above, states that if a function [math]\displaystyle{ f }[/math] in [math]\displaystyle{ L^p(\mathbb R^n) }[/math] has one derivative in [math]\displaystyle{ L^p }[/math], then [math]\displaystyle{ f }[/math] itself is in [math]\displaystyle{ L^{p^*} }[/math], where

[math]\displaystyle{ 1/p^*=1/p-1/n. }[/math]

We can see that as [math]\displaystyle{ n }[/math] tends to infinity, [math]\displaystyle{ p^* }[/math] approaches [math]\displaystyle{ p }[/math]. Thus, if the dimension [math]\displaystyle{ n }[/math] of the space on which [math]\displaystyle{ f }[/math] is defined is large, the improvement in the local behavior of [math]\displaystyle{ f }[/math] from having a derivative in [math]\displaystyle{ L^p }[/math] is small ([math]\displaystyle{ p^* }[/math] is only slightly larger than [math]\displaystyle{ p }[/math]). In particular, for functions on an infinite-dimensional space, we cannot expect any direct analog of the classical Sobolev embedding theorems.

There is, however, a type of Sobolev inequality, established by Leonard Gross (Gross 1975) and known as a logarithmic Sobolev inequality, that has dimension-independent constants and therefore continues to hold in the infinite-dimensional setting. The logarithmic Sobolev inequality says, roughly, that if a function is in [math]\displaystyle{ L^p }[/math] with respect to a Gaussian measure and has one derivative that is also in [math]\displaystyle{ L^p }[/math], then [math]\displaystyle{ f }[/math] is in "[math]\displaystyle{ L^p }[/math]-log", meaning that the integral of [math]\displaystyle{ |f|^p\log|f| }[/math] is finite. The inequality expressing this fact has constants that do not involve the dimension of the space and, thus, the inequality holds in the setting of a Gaussian measure on an infinite-dimensional space. It is now known that logarithmic Sobolev inequalities hold for many different types of measures, not just Gaussian measures.

Although it might seem as if the [math]\displaystyle{ L^p }[/math]-log condition is a very small improvement over being in [math]\displaystyle{ L^p }[/math], this improvement is sufficient to derive an important result, namely hypercontractivity for the associated Dirichlet form operator. This result means that if a function is in the range of the exponential of the Dirichlet form operator—which means that the function has, in some sense, infinitely many derivatives in [math]\displaystyle{ L^p }[/math]—then the function does belong to [math]\displaystyle{ L^{p^*} }[/math] for some [math]\displaystyle{ p^*\gt p }[/math] (Gross 1975 Theorem 6).

References

↑ Taylor, Michael E. (1997). Partial Differential Equations I - Basic Theory (2nd ed.). p. 286. ISBN 0-387-94653-5.
↑ Sobolev, Sergeĭ L’vovich (1938). "Sur un théorème de l'analyse fonctionnelle". Comptes Rendus (Doklady) de l'Académie des Sciences de l'URSS, Nouvelle Série 20: 5–9.
↑ Gagliardo, Emilio (1958). "Proprietà di alcune classi di funzioni in più variabili". Ricerche di Matematica 7: 102–137.
↑ Nirenberg, Louis (1959). "On elliptic partial differential equations". Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie III 13: 115–162.
↑ Brezis, H.; Nirenberg, L. (September 1995). "Degree theory and BMO; part I: Compact manifolds without boundaries". Selecta Mathematica 1 (2): 197–263. doi:10.1007/BF01671566.

Adams, Robert A. (1975), Sobolev Spaces, Pure and Applied Mathematics, 65, Academic Press, ISBN 978-0-12-044150-1 .
Aubin, Thierry (1976), "Espaces de Sobolev sur les variétés riemanniennes", Bulletin des Sciences Mathématiques, 2e Série 100 (2): 149–173
Aubin, Thierry (1982), Nonlinear analysis on manifolds. Monge-Ampère equations, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 252, Springer-Verlag, doi:10.1007/978-1-4612-5734-9, ISBN 978-0-387-90704-8 .
Brezis, Haïm (1983), Analyse Fonctionnelle: théorie et applications, Paris: Masson, ISBN 0-8218-0772-2
Brezis, Haïm (2011), Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer Science & Business Media, ISBN 978-0-387-70913-0
Evans, Lawrence (1998), Partial Differential Equations, Providence RI: American Mathematical Society, ISBN 0-8218-0772-2
Gross, Leonard (1975), "Logarithmic Sobolev inequalities", American Journal of Mathematics 97 (4): 1061–1083, doi:10.2307/2373688
Leoni, Giovanni (2009), A First Course in Sobolev Spaces, Graduate Studies in Mathematics, American Mathematical Society, ISBN 978-0-8218-4768-8, http://bookstore.ams.org/gsm-105 MR 2527916, Zbl 1180.46001, MAA review
Maz'ja, Vladimir G. (1985), Sobolev Spaces, Springer Series in Soviet Mathematics, Springer-Verlag , Translated from the Russian by T. O. Shaposhnikova.
Nash, J. (1958), "Continuity of solutions of parabolic and elliptic equations", American Journal of Mathematics 80 (4): 931–954, doi:10.2307/2372841, Bibcode: 1958AmJM...80..931N .
Nečas, J. (2012), Direct Methods in the Theory of Elliptic Equations, Springer Monographs in Mathematics .
Hazewinkel, Michiel, ed. (2001), "Imbedding theorems", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=i/i050230
Schikorra, Armin; Spector, Daniel; Van Schaftingen, Jean (2017), "An [math]\displaystyle{ L^1 }[/math]-type estimate for Riesz potentials", Revista Matemática Iberoamericana 33 (1): 291–304, doi:10.4171/rmi/937
Stein, Elias (1970), Singular Integrals and Differentiability Properties of Functions, Princeton, NJ: Princeton University Press, ISBN 0-691-08079-8, https://archive.org/details/singularintegral0000stei

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Sobolev inequality. Read more

[Taylor-1] Taylor, Michael E. (1997). Partial Differential Equations I - Basic Theory (2nd ed.). p. 286. ISBN 0-387-94653-5.

[2] Sobolev, Sergeĭ L’vovich (1938). "Sur un théorème de l'analyse fonctionnelle". Comptes Rendus (Doklady) de l'Académie des Sciences de l'URSS, Nouvelle Série 20: 5–9.

[3] Gagliardo, Emilio (1958). "Proprietà di alcune classi di funzioni in più variabili". Ricerche di Matematica 7: 102–137.

[4] Nirenberg, Louis (1959). "On elliptic partial differential equations". Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie III 13: 115–162.

[5] Brezis, H.; Nirenberg, L. (September 1995). "Degree theory and BMO; part I: Compact manifolds without boundaries". Selecta Mathematica 1 (2): 197–263. doi:10.1007/BF01671566.

[1]

[2]

[3]

[4]

[5]

v t e Functional analysis (topics)
Topological vector spaces	Asplund Banach (list) Banach lattice Barrelled Bornological Brauner F-space Fréchet (tame) Hilbert (Inner product space Polarization identity) LF-space Locally convex (Seminorms/Minkowski functionals) Mackey Montel Nuclear Normed (norm) Quasinormed Reflexive Riesz Smith Stereotype Strictly convex Webbed Topological tensor product (of Hilbert spaces)
Topologies of function spaces	Dual Dual space (Dual norm) Operator Ultraweak Weak (polar operator) Mackey Strong (polar operator) Ultrastrong Uniform convergence
Linear operators	Adjoint Bilinear (form operator sesquilinear) (Un)Bounded Closed Compact (on Hilbert spaces) (Dis)Continuous Densely defined Fredholm Hilbert–Schmidt Functionals (positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary
Operator theory	Banach algebras C-algebras Spectrum (C-algebra radius) Spectral theory (of ODEs Spectral theorem) Polar decomposition Singular value decomposition
Theorems	Banach–Alaoglu Banach–Mazur Banach–Saks Banach–Schauder (open mapping) Banach–Steinhaus (Uniform boundedness) Bessel's inequality Cauchy–Schwarz inequality Closed graph Closed range Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Gelfand–Naimark Goldstine Hahn–Banach (hyperplane separation) Kakutani fixed-point Krein–Milman Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Riesz representation Parseval's identity Schauder fixed-point
Analysis	Abstract Wiener space Bochner space Differentiation in Fréchet spaces Derivatives (Fréchet Gateaux functional holomorphic) Integrals (Bochner Dunford Gelfand–Pettis regulated Paley–Wiener weak) Functional calculus (Borel continuous holomorphic) Inverse function theorem (Nash–Moser theorem) Measures (Lebesgue Projection-valued Vector) Weakly measurable function
Types of sets	Absolutely convex Absorbing Balanced Bounded Convex Convex cone (subset) Linear cone (subset) Radial Star-shaped Symmetric Zonotope
Subsets / set operations	Algebraic interior (core) Bounding points Convex hull Extreme point Interior Minkowski addition Polar

Anonymous

Search

Sobolev inequality

Namespaces

More

Page actions

Contents

Sobolev embedding theorem

Generalizations

Kondrachov embedding theorem

Gagliardo–Nirenberg–Sobolev inequality

Hardy–Littlewood–Sobolev lemma

Morrey's inequality

General Sobolev inequalities

$k < n / p$

$k > n / p$

Case $p = n, k =1$

Nash inequality

Logarithmic Sobolev inequality

References

Navigation

Navigation

Help

Translate

Wiki tools

Wiki tools

Anonymous

Search

Sobolev inequality

Sobolev embedding theorem

Generalizations

Kondrachov embedding theorem

Gagliardo–Nirenberg–Sobolev inequality

Hardy–Littlewood–Sobolev lemma

Morrey's inequality

General Sobolev inequalities

k < n/p

k > n/p

Case p=n, k=1

Nash inequality

Logarithmic Sobolev inequality

References

Navigation

Wiki tools

Page tools

Other projects

Categories

$k < n / p$

$k > n / p$

Case $p = n, k =1$