Misplaced Pages

Agmon's inequality

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

In mathematical analysis, Agmon's inequalities, named after Shmuel Agmon, consist of two closely related interpolation inequalities between the Lebesgue space L ∞ {\displaystyle L^{\infty }} and the Sobolev spaces H s {\displaystyle H^{s}} . It is useful in the study of partial differential equations.

Let u ∈ H 2 ( Ω ) ∩ H 0 1 ( Ω ) {\displaystyle u\in H^{2}(\Omega )\cap H_{0}^{1}(\Omega )} where Ω ⊂ R 3 {\displaystyle \Omega \subset \mathbb {R} ^{3}} . Then Agmon's inequalities in 3D state that there exists a constant C {\displaystyle C} such that

‖ u ‖ L ∞ ( Ω ) ≤ C ‖ u ‖ H 1 ( Ω ) 1 / 2 ‖ u ‖ H 2 ( Ω ) 1 / 2 , {\displaystyle \displaystyle \|u\|_{L^{\infty }(\Omega )}\leq C\|u\|_{H^{1}(\Omega )}^{1/2}\|u\|_{H^{2}(\Omega )}^{1/2},}

and

‖ u ‖ L ∞ ( Ω ) ≤ C ‖ u ‖ L 2 ( Ω ) 1 / 4 ‖ u ‖ H 2 ( Ω ) 3 / 4 . {\displaystyle \displaystyle \|u\|_{L^{\infty }(\Omega )}\leq C\|u\|_{L^{2}(\Omega )}^{1/4}\|u\|_{H^{2}(\Omega )}^{3/4}.}

In 2D, the first inequality still holds, but not the second: let u ∈ H 2 ( Ω ) ∩ H 0 1 ( Ω ) {\displaystyle u\in H^{2}(\Omega )\cap H_{0}^{1}(\Omega )} where Ω ⊂ R 2 {\displaystyle \Omega \subset \mathbb {R} ^{2}} . Then Agmon's inequality in 2D states that there exists a constant C {\displaystyle C} such that

‖ u ‖ L ∞ ( Ω ) ≤ C ‖ u ‖ L 2 ( Ω ) 1 / 2 ‖ u ‖ H 2 ( Ω ) 1 / 2 . {\displaystyle \displaystyle \|u\|_{L^{\infty }(\Omega )}\leq C\|u\|_{L^{2}(\Omega )}^{1/2}\|u\|_{H^{2}(\Omega )}^{1/2}.}

For the n {\displaystyle n} -dimensional case, choose s 1 {\displaystyle s_{1}} and s 2 {\displaystyle s_{2}} such that s 1 < n 2 < s 2 {\displaystyle s_{1}<{\tfrac {n}{2}}<s_{2}} . Then, if 0 < θ < 1 {\displaystyle 0<\theta <1} and n 2 = θ s 1 + ( 1 − θ ) s 2 {\displaystyle {\tfrac {n}{2}}=\theta s_{1}+(1-\theta )s_{2}} , the following inequality holds for any u ∈ H s 2 ( Ω ) {\displaystyle u\in H^{s_{2}}(\Omega )}

‖ u ‖ L ∞ ( Ω ) ≤ C ‖ u ‖ H s 1 ( Ω ) θ ‖ u ‖ H s 2 ( Ω ) 1 − θ {\displaystyle \displaystyle \|u\|_{L^{\infty }(\Omega )}\leq C\|u\|_{H^{s_{1}}(\Omega )}^{\theta }\|u\|_{H^{s_{2}}(\Omega )}^{1-\theta }}

See also

Notes

  1. Lemma 13.2, in: Agmon, Shmuel, Lectures on Elliptic Boundary Value Problems, AMS Chelsea Publishing, Providence, RI, 2010. ISBN 978-0-8218-4910-1.

References


Stub icon

This mathematical analysis–related article is a stub. You can help Misplaced Pages by expanding it.

Categories: