|WikiProject Mathematics||(Rated C-class, Low-priority)|
Hi Igny. I would like your help if possible on the GNS inequality. I am onaraighl and I am the one who edited your article, but I am an applied mathematician and not an expert here.
It's just I have a problem with the GNS inequality if you don't subtract off a constant term: taking u=constant\neq0 on the open unit disc would satisfy the conditions of the theorem, yet gives constant\leq0, which seems to be a contradiction. I have spoken to some of my professors about the GNS inequality and consulted the functional analysis book by Kantorovich, and they all say that you need to subtract off the mean of the function in the GNS inequality.
I would dearly like it if it were the case that you did not have to subtract off the mean, since then some estimates that I am working on for the Cahn--Hilliard equation would work out a lot nicer, yet I just don't see how you can do that.
Also, perhaps the article would benefit from a discussion on the optimal constants for the bound, which clearly depends on the domain in question.
Thanks.Onaraighl 17:57, 13 May 2007 (UTC)
- Actually, GNS is formulated for functions which are defined in whole R^n but have a compact support. By a standard 'lifting' argument GNS can be extended to functions from W^1_p(R^n). Next, if you have function defined in whole R^n, you'll have a lot of trouble defining its mean. You can substract the mean if you want GNS in bounded domain (equivalently, you get GNS for functions with zero mean), but this isn't the only case, for example, you can have GNS for functions with zero trace on the boundary (Dirichlet conditions).Endeavor 00 (talk) 20:53, 20 August 2009 (UTC)
There doesn't seem to be much explanation of how the various inequalities stated relate to each other or how they can be used to prove the general Sobolev imbedding theorem. Failing that I'll like to add the proof of the easy form of Sobolev imbedding only for estimates, that consists of strongly differentiable functions for , but that would be informative if someone could add more about the general theorem or a proof sketch based on the inequalities stated here. Compsonheir (talk) 20:58, 1 July 2009 (UTC)
- Well, general Sobolev embeddings are actually composed of several inequalities, Gagliardo-Nirenberg-Sobolev and Morrey being the main. There are several ways to prove them, but they all are quite involved (say, proof of GNS inequality takes about two pages in Evans' book). Furthermore, proofs are essentially different for different inequalities. Assuming doesn't simplify matters as far as I know. Next, consists not of strongly differentiable, but of Holder continuous functions - check the Morrey inequality.Endeavor 00 (talk) 20:24, 20 August 2009 (UTC)