proof of Sobolev inequality for
Step 1: is smooth and
First suppose is a compactly supported smooth function, and let denote a basis of . For every ,
Therefore,
Note that does not depend on .One also has
The integration of this inequality yields,
Since does not depend on , we can apply the generalized Hölder inequality with for the integration with respect to in order to obtain:
The repetition of this process for the variables gives
By the arithmetic-geometric means inequality, one obtains
One finally concludes
Step 2: general and
In general if . It can be approximated by a sequence of compactly supported smooth functions . By step 1, one has
therefore is a Cauchy sequence in . Since it converges to in , the limit of is in and one has
Step 3: and is smooth
Suppose and is a smooth compactly supported function.Let
and
Since is smooth, (It is however not necessarily smooth), and its weak derivative is
One has, by the Hölder inequality,
Therefore, the Sobolev inequality yields
This yields
Step 4: and
This is done as step 2.
This proof is due to Gagliardo and Nirenberg, who were the first to prove the inequality for . This proof can be also found in [1, 2, 3].
References
- 1 Haïm Brezis, Analyse fonctionnelle, Théorie et applications, Mathématiques appliquées pour la maîtrise, Masson, Paris, 1983. http://www.ams.org/mathscinet-getitem?mr=0697382[MR85a:46001]
- 2 Jürgen Jost, Partial Differential Equations
, Graduate Texts in Mathematics, Springer, 2002, http://www.ams.org/mathscinet-getitem?mr=1919991[MR:2003f:35002].
- 3 Michel Willem, Analyse fonctinnelle élémentaire, Cassini, Paris, 2003.