A sharp inequality of J. Moser for higher order derivatives (Q1120029): Difference between revisions
From MaRDI portal
Set profile property. |
Created claim: Wikidata QID (P12): Q106358103, #quickstatements; #temporary_batch_1714830594367 |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2307/1971445 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2331391341 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q106358103 / rank | |||
Normal rank |
Latest revision as of 15:50, 4 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A sharp inequality of J. Moser for higher order derivatives |
scientific article |
Statements
A sharp inequality of J. Moser for higher order derivatives (English)
0 references
1988
0 references
Let m, n be two integers with \(n\geq 2\) and \(1\leq m<n\). Let us set \(p=n/m\) and denote by q the conjugate exponent. For a function \(u\in C^ m({\mathbb{R}}^ n)\) with support in a domain \(\Omega\) of finite Lebesgue measure say \(| \Omega |\), we denote by \(\| \nabla^ mu\|_ p\) the \(L_ p\) norm of the m-th order gradient of u. Then the author proves the following Theorem: There exists constants c(m,n) and \(\beta_ 0(m,n)\) such that for any \(u\in C^ m({\mathbb{R}}^ n)\) with \(\| \nabla^ mu\|_ p\leq 1\) one has: \[ \int_{\Omega}\exp (\beta | u(x)|^ q)dx\leq c(m,n)| \Omega | \] for all \(\beta \leq \beta_ 0(m,n)\). If \(\beta >\beta_ 0(m,n)\) then one can find u for which the above integral can be made as large as desired. Moreover the exact value of \(\beta_ 0(m,n)\) is explicitely computed. This theorem extends a result of J. Moser proved in the particular case \(m=1\). The key is to write the function u as a Riesz potential and first prove the theorem in this situation. Then the general case follows.
0 references
exponential integrability
0 references
Lebesgue measure
0 references
Riesz potential
0 references