Friedrichs' inequality

In mathematics, Friedrichs' inequality is a theorem of functional analysis, due to Kurt Friedrichs. It places a bound on the Lp norm of a function using Lp bounds on the weak derivatives of the function and the geometry of the domain, and can be used to show that certain norms on Sobolev spaces are equivalent. Friedrichs' inequality is a general case of the Poincaré–Wirtinger inequality which deals with the case k=1.

Statement of the inequality

Let \Omega be a bounded subset of Euclidean space \mathbb R^n with diameter d. Suppose that u:\Omega\to\mathbb R lies in the Sobolev space W_{0}^{k, p} (\Omega), i.e., u\in W^{k,p}(\Omega) and the trace of u on the boundary \partial\Omega is zero. Then

\| u \|_{L^{p} (\Omega)} \leq d^{k} \left( \sum_{| \alpha | = k} \| \mathrm{D}^{\alpha} u \|_{L^{p} (\Omega)}^{p} \right)^{1/p}.

In the above

\mathrm{D}^{\alpha} u = \frac{\partial^{| \alpha |} u}{\partial_{x_{1}}^{\alpha_{1}} \cdots \partial_{x_{n}}^{\alpha_{n}} }.

See also


This article is issued from Wikipedia - version of the 4/29/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.