Brezis–Gallouët inequality explained

In mathematical analysis, the Brezis–Gallouët inequality,^[1] named after Haïm Brezis and Thierry Gallouët, is an inequality valid in 2 spatial dimensions. It shows that a function of two variables which is sufficiently smooth is (essentially) bounded, and provides an explicit bound, which depends only logarithmically on the second derivatives. It is useful in the study of partial differential equations.

Let

\Omega\subset R ^{2} be the exterior or the interior of a bounded domain with regular boundary, or R ^{2} itself. Then the Brezis–Gallouët inequality states that there exists a real C only depending on \Omega such that, for all u\in H ^{2(\Omega)} which is not a.e. equal to 0,\displaystyle \|u\| _{L ^{infty(\Omega)}} \leq C \|u\| _{H ^{1(\Omega)}} \left( 1+ l ( log l ( 1+ (\|u\| _{H ^{2(\Omega)}})/(\|u\| _{H ^{1(\Omega)}}) r ) r ) ^{1/2} \right).

Noticing that, for any

v\in H ^{2(R} ^{2)} , there holds\int _{R ^{2}} l ( (\partial ^{2} _{11} v) ^{2} + 2 (\partial ^{2} _{12} v) ^{2} + (\partial ^{2} _{22} v) ^{2r)} = \int _{R ^{2}} l (\partial ^{2} _{11} v + \partial ^{2} _{22} v r ) ^{2,} one deduces from the Brezis-Gallouet inequality that there exists C> 0 only depending on \Omega such that, for all u\in H ^{2(\Omega)} which is not a.e. equal to 0,\displaystyle \|u\| _{L ^{infty(\Omega)}} \leq C \|u\| _{H ^{1(\Omega)}} \left( 1+ l ( log l ( 1+ (\|\Delta u\| _{L ^{2(\Omega)}})/(\|u\| _{H ^{1(\Omega)}}) r ) r ) ^{1/2} \right). The previous inequality is close to the way that the Brezis-Gallouet inequality is cited in.^[2]

See also

• Ladyzhenskaya inequality
• Agmon's inequality

References

1. H. Brezis and T. Gallouet. Nonlinear Schrödinger evolution equations. Nonlinear Anal. 4 (1980), no. 4, 677–681.
2. Book: Ciprian Foias

   . Foias . Ciprian . Ciprian Foias . Manley . O. . Rosa . R. . Temam . R. . Navier–Stokes Equations and Turbulence . Cambridge University Press . Cambridge . 2001 . 0-521-36032-3 . registration .