The lemma of Céa or the Céa lemma is a mathematical theorem from functional analysis . It is fundamental for the error estimation of finite element approximations of elliptic partial differential equations . The lemma is named in honor of the French mathematician Jean Céa , who proved it in his dissertation in 1964.
formulation
requirements
Let be a real Hilbert space with the norm . Be a bilinear form that
-
bounded (equivalent to continuous), d. H. for a constant and all
- and coercive (often also strongly positive, V-elliptical), d. H. for a constant and all
is. Let further be a bounded linear operator .
Problem
Consider the problem, one with
-
for all
to find. Now consider the same problem in a subspace , i. H. there is one to find with
-
for everyone .
According to Lax-Milgram's lemma, there is a clear solution to both problems.
Statement of the lemma
If the above conditions are met, then Céa's lemma says :
-
.
This means that the approximation of the solution from the subspace is at most by the constant worse than the best approximation for in the space , it is quasi-optimal .
Remarks
With a symmetrical bilinear form the constant decreases to , the proof is given below.
Céa's lemma also applies to complex Hilbert spaces by using a sesquilinear form instead of the bilinear form. The coercivity then becomes for everyone , note the symbols around .
The approximation quality of the approach space strongly determines the approximation error .
Special case: symmetrical bilinear form
The energy standard
In many applications the bilinear form is symmetrical, i.e. for all in . With the assumptions of the Céa lemma it follows that is a scalar product of . The implied norm is called the energy norm because it represents an energy in many physical problems . This norm is equivalent to the norm of the vector space .
Céa's lemma in the energy norm
The Galerkin orthogonality of mit and the Cauchy-Schwarz inequality results
-
for everyone in .
Thus Céa's lemma in the energy norm reads :
-
for everyone in .
Note that the constant on the right has disappeared.
This means that the subspace solution is the best approximation of the solution with respect to the energy norm. Geometrically can be a projection with respect of to the subspace interpret.
Inferences
This shows the sharper bound for symmetric bilinear forms for the normal norm of vector space . Out
-
for everyone in
follows
-
for everyone in .
proof
The proof is not long and shows the necessity of the premises.
Galerkin orthogonality
The equations for all and for all given in the problem are subtracted from each other, which is possible because of . The resulting equation reads for all and is called Galerkin orthogonality.
appraisal
The bilinear form is coercive
Addition of 0, let
With bilinearity of
The second term is 0 because of the Galerkin orthogonality, da
The bilinear form is continuous
The equation can be divided by. Since arbitrary is chosen, the infimum can also be chosen, which gives us the statement.
literature
- D. Braess: Finite element theory, fast solvers and applications in elasticity theory . 4th edition. Springer, 2007, ISBN 978-3-540-72449-0 (Chapter II §4.2 and Chapter III §1.1).
- Jean Céa, Approximation variationnelle des problemèmes aux limites, Annales de l'institut Fourier, Volume 14, No. 2, 1964, pp. 345–444, PDF, 5 MB (original work by J. Céa)
Individual evidence
-
↑ a b
E. Emmrich: Ordinary and Operator Differential Equations - An integrated introduction to boundary value problems and evolution equations for students . 1st edition. Vieweg + Teubner, 2004, ISBN 978-3-528-03213-5 , page 112