Sobolev embedding proof without Gagliardo–Nirenberg–Sobolev inequality or Morrey's inequality - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T12:45:19Z http://mathoverflow.net/feeds/question/88813 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/88813/sobolev-embedding-proof-without-gagliardonirenbergsobolev-inequality-or-morrey Sobolev embedding proof without Gagliardo–Nirenberg–Sobolev inequality or Morrey's inequality Uday 2012-02-18T07:31:46Z 2012-02-18T16:25:56Z <p>Hello Everybody, </p> <p>Is there a proof of Sobolev embedding theorem without using the GNS or Morrey inequalities? If so, can you provide me with some references? </p> <p><strong>Background:</strong> I happened to attened a talk on Computational PDEs and Sobolev spaces. The speaker made a reference to a proof by S. L. Sobolev using polynomials. But, unfortunately he does not remember any references. </p> <p>Thank you in advance. </p> http://mathoverflow.net/questions/88813/sobolev-embedding-proof-without-gagliardonirenbergsobolev-inequality-or-morrey/88833#88833 Answer by Deane Yang for Sobolev embedding proof without Gagliardo–Nirenberg–Sobolev inequality or Morrey's inequality Deane Yang 2012-02-18T15:14:46Z 2012-02-18T15:14:46Z <p>I have no idea what Sobolev's proof using polynomials is, but I can suggest the following two proofs:</p> <p>a) If all you want are the embedding theorms of a Sobolev space into an $L^p$ or $L^\infty$ space and do not need the sharp constant, then by far the easiest proof is using the original Gagliardo-Nirenberg inequality $$\|f(x)\| _ \infty \le c\left(\Pi_{i=1}^n \|\partial_if\|_1\right)^{1/n} \le c\|\partial f\|_n$$ which can be proved using the fundamental theorem of calculus and the Fubini theorem.</p> <p>Any other Sobolev inequality can be derived from this using the power rule for differentiation and the H\"older inequality.</p> <p>This proof <em>does</em> use the simplest and original case of the Gagliardo-Nirenberg inequality, but the isoperimetric inequality plays no role at all.</p> <p>b) A beautiful proof of the sharp first order Sobolev inequality using the Brenier map from mass transportation was given by Cordero-Erausquin, Nazaret, and Villani. The isoperimetric inequality is never used explicitly, but mass transportation is in a more general and powerful tool, one that implies the isoperimetric inequality.</p> http://mathoverflow.net/questions/88813/sobolev-embedding-proof-without-gagliardonirenbergsobolev-inequality-or-morrey/88839#88839 Answer by Anatoly Kochubei for Sobolev embedding proof without Gagliardo–Nirenberg–Sobolev inequality or Morrey's inequality Anatoly Kochubei 2012-02-18T16:24:14Z 2012-02-18T16:24:14Z <p>There is an English translation of Sobolev's book containing his original proof:</p> <p>Sobolev, S. L. Some applications of functional analysis in mathematical physics. Translated from the third Russian edition by Harold H. McFaden. With comments by V. P. Palamodov. Translations of Mathematical Monographs, 90. American Mathematical Society, Providence, RI, 1991.</p> http://mathoverflow.net/questions/88813/sobolev-embedding-proof-without-gagliardonirenbergsobolev-inequality-or-morrey/88840#88840 Answer by Liviu Nicolaescu for Sobolev embedding proof without Gagliardo–Nirenberg–Sobolev inequality or Morrey's inequality Liviu Nicolaescu 2012-02-18T16:25:56Z 2012-02-18T16:25:56Z <p>Sobolev's original proof is different from the two approaches described by Deane. He uses certain integral formulae. You can read about this approach in the classic monograph</p> <blockquote> <p>C. Morrey: Multiple Integrals in the Calculus of Variations, Springer </p> </blockquote>