Gårding's inequality

Gårding's inequality

In mathematics, Gårding's inequality is a result that gives a lower bound for the bilinear form induced by a real linear elliptic partial differential operator. The inequality is named after Lars Gårding.

tatement of the inequality

Let Ω be a bounded, open domain in "n"-dimensional Euclidean space and let "H""k"(Ω) denote the Sobolev space of "k"-times weakly-differentiable functions "u" : Ω → R with weak derivatives in "L"2. Assume that Ω satisfies the "k"-extension property, i.e., that there exists a bounded linear operator "E" : "H""k"(Ω) → "H""k"(R"n") such that ("Eu")|Ω = "u" for all "u" in "H""k"(Ω).

Let "L" be a linear partial differential operator of even order "k", written in divergence form

:(L u)(x) = sum_{0 leq | alpha |, | eta | leq k} (-1)^ mathrm{D}^{alpha} left( A_{alpha eta} (x) mathrm{D}^{eta} u(x) ight),

and suppose that "L" is uniformly elliptic, i.e., there exists a constant "θ" > 0 such that

:sum_ int_{Omega} A_{alpha eta} (x) mathrm{D}^{alpha} u(x) mathrm{D}^{eta} v(x) , mathrm{d} x

is the bilinear form associated to the operator "L".

Application: the Laplace operator and the Poisson problem

As a simple example, consider the Laplace operator Δ. More specifically, suppose that one wishes to solve, for "f" ∈ "L"2(Ω) the Poisson equation

:egin{cases} - Delta u(x) = f(x), & x in Omega; \ u(x) = 0, & x in partial Omega; end{cases}

where Ω is a bounded Lipschitz domain in R"n". The corresponding weak form of the problem is to find "u" in the Sobolev space "H"01(Ω) such that

:B [u, v] = langle f, v angle mbox{ for all } v in H_{0}^{1} (Omega),

where

:B [u, v] = int_{Omega} abla u(x) cdot abla v(x) , mathrm{d} x,:langle f, v angle = int_{Omega} f(x) v(x) , mathrm{d} x.

The Lax-Milgram lemma ensures that if the bilinear form "B" is both continuous and elliptic with respect to the norm on "H"01(Ω), then, for each "f" ∈ "L"2(Ω), a unique solution "u" must exist in "H"01(Ω). The hypotheses of Gårding's inequality are easy to verify for the Laplace operator Δ, so there exist constants "C" and "G" ≥ 0

:B [u, u] geq C | u |_{H^{1} (Omega)}^{2} - G | u |_{L^{2} (Omega)}^{2} mbox{ for all } u in H_{0}^{1} (Omega).

Applying the Poincaré inequality allows the two terms on the right-hand side to be combined, yielding a new constant "K" > 0 with

:B [u, u] geq K | u |_{H^{1} (Omega)}^{2} mbox{ for all } u in H_{0}^{1} (Omega),

which is precisely the statement that "B" is elliptic. The continuity of "B" is even easier to see: simply apply the Cauchy-Schwarz inequality and the fact that the Sobolev norm is controlled by the "L"2 norm of the gradient.

References

* cite book
author = Renardy, Michael and Rogers, Robert C.
title = An introduction to partial differential equations
series = Texts in Applied Mathematics 13
edition = Second edition
publisher = Springer-Verlag
location = New York
year = 2004
pages = 356
isbn = 0-387-00444-0
(Theorem 8.17)


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Lars Gårding — (born 1919) is a Swedish mathematician. He has made notable contributions to the study of partial differential operators. He is a professor emeritus of mathematics at Lund University in Sweden. Together with Marcel Riesz, he was a thesis advisor… …   Wikipedia

  • List of mathematics articles (G) — NOTOC G G₂ G delta space G networks Gδ set G structure G test G127 G2 manifold G2 structure Gabor atom Gabor filter Gabor transform Gabor Wigner transform Gabow s algorithm Gabriel graph Gabriel s Horn Gain graph Gain group Galerkin method… …   Wikipedia

  • List of inequalities — This page lists Wikipedia articles about named mathematical inequalities. Inequalities in pure mathematics =Analysis= * Askey–Gasper inequality * Bernoulli s inequality * Bernstein s inequality (mathematical analysis) * Bessel s inequality *… …   Wikipedia

  • List of Lund University people — This is a list of notable people affiliated with Lund University, either as students or as researchers and academic teachers (or both). Lund University, located in the town of Lund in Skåne, Sweden, was founded in 1666.Nobel laureates affiliated… …   Wikipedia

  • Scania — This article is about the southernmost of the 25 traditional non administrative provinces of Sweden. For other uses, see Scania (disambiguation) and Skåne (disambiguation). Scania …   Wikipedia

  • FBI transform — In mathematics, the FBI transform or Fourier Bros Iaglonitzer transform is a non linear version of the Fourier transform developed by the French mathematical physicists Jacques Bros and Daniel Iagolnitzer in order to characterise the local… …   Wikipedia

  • Compact operator — In functional analysis, a branch of mathematics, a compact operator is a linear operator L from a Banach space X to another Banach space Y, such that the image under L of any bounded subset of X is a relatively compact subset of Y. Such an… …   Wikipedia

  • Séminaire Nicolas Bourbaki (1960–1969) — Continuation of the Séminaire Nicolas Bourbaki programme, for the 1960s.1960/61 series*205 Adrien Douady, Plongements de sphères, d après Mazur et Brown (embeddings of spheres) *206 Roger Godement, Groupes linéaires algébriques sur un corps… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”