Namespaces
Variants
Actions

Difference between revisions of "Galerkin method"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (fixing comma)
(trying to use label and eqref)
 
(One intermediate revision by the same user not shown)
Line 20: Line 20:
 
To solve the equation
 
To solve the equation
  
$$ \tag{1 }
+
\begin{equation}\label{e:1}
F ( x) = h
+
F(x) = h
$$
+
\end{equation}
  
 
by the Galerkin method one chooses a linearly independent system  $  \{ \phi _ {i} \} _ {1}  ^  \infty  $
 
by the Galerkin method one chooses a linearly independent system  $  \{ \phi _ {i} \} _ {1}  ^  \infty  $
Line 30: Line 30:
 
of equation (1) is sought for in the form
 
of equation (1) is sought for in the form
  
$$ \tag{2 }
+
\begin{equation}\label{e:2}
 
x _ {n}  = \  
 
x _ {n}  = \  
 
\sum _ {i = 1 } ^ { n }  c _ {i} \phi _ {i} .
 
\sum _ {i = 1 } ^ { n }  c _ {i} \phi _ {i} .
$$
+
\end{equation}
  
 
The numerical coefficients  $  c _ {1}, \dots, c _ {n} $
 
The numerical coefficients  $  c _ {1}, \dots, c _ {n} $
 
are found from the system of equations
 
are found from the system of equations
  
$$ \tag{3 }
+
\begin{equation}\label{e:3}
 
\langle  F \left ( \sum _ {i = 1 } ^ { n }  c _ {i} \phi _ {i} \right ) ,\  
 
\langle  F \left ( \sum _ {i = 1 } ^ { n }  c _ {i} \phi _ {i} \right ) ,\  
 
\psi _ {j}  \rangle  =  \langle  h, \psi _ {j} \rangle ,\ \  
 
\psi _ {j}  \rangle  =  \langle  h, \psi _ {j} \rangle ,\ \  
 
j = 1, \dots, n.
 
j = 1, \dots, n.
$$
+
\end{equation}
  
When the problem is posed in this general manner, (3) need not have any solutions. If (3) has a unique solution, for each  $  n = 1, 2, \dots $, the approximate solution (2) need not converge, not even weakly, to the exact solution of equation (1) as  $  n \rightarrow \infty $.  
+
When the problem is posed in this general manner, \eqref{e:3} need not have any solutions. If (3) has a unique solution, for each  $  n = 1, 2, \dots $, the approximate solution \eqref{e:2} need not converge, not even weakly, to the exact solution of equation (1) as  $  n \rightarrow \infty $.  
 
Nevertheless, Galerkin's method is a powerful tool not only for finding approximate solutions, but also for proving existence theorems of solutions of linear and non-linear equations, especially so in problems involving partial differential equations.
 
Nevertheless, Galerkin's method is a powerful tool not only for finding approximate solutions, but also for proving existence theorems of solutions of linear and non-linear equations, especially so in problems involving partial differential equations.
  
Line 107: Line 107:
  
 
Galerkin's method has found widespread use after the studies of B.G. Galerkin [[#References|[1]]]; it was formerly used by I.G. Bubnov in solving specific problems in elasticity theory. There is a general approach to approximate methods, which includes projection methods, finite-difference methods (cf. [[Projection methods|Projection methods]]; [[Difference methods|Difference methods]]) and other approximate methods which are generalizations of Galerkin's method.
 
Galerkin's method has found widespread use after the studies of B.G. Galerkin [[#References|[1]]]; it was formerly used by I.G. Bubnov in solving specific problems in elasticity theory. There is a general approach to approximate methods, which includes projection methods, finite-difference methods (cf. [[Projection methods|Projection methods]]; [[Difference methods|Difference methods]]) and other approximate methods which are generalizations of Galerkin's method.
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  B.G. Galerkin,  "On electrical circuits for the approximate solution of the Laplace equation"  ''Vestnik Inzh.'' , '''19'''  (1915)  pp. 897–908  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  S.G. [S.G. Mikhlin] Michlin,  "Variationsmethoden der mathematischen Physik" , Akademie Verlag  (1962)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  M.M. Vainberg,  "Variational methods and methods of nonlinear operators in the theory of nonlinear equations" , Wiley  (1973)  (Translated from Russian)</TD></TR></table>
 
  
 
====Comments====
 
====Comments====
Line 115: Line 112:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  G.I. Marchuk,  "Methods of numerical mathematics" , Springer  (1982)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  A.R. Mitchel,  "The finite element method in partial differential equations" , Wiley  (1977)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  J. Stoer,  R. Bulirsch,  "Einführung in die numerische Mathematik" , '''II''' , Springer  (1973)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  C.A.J. Fletcher,  "Computational Galerkin methods" , Springer  (1984)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[1]</TD> <TD valign="top">  B.G. Galerkin,  "On electrical circuits for the approximate solution of the Laplace equation"  ''Vestnik Inzh.'' , '''19'''  (1915)  pp. 897–908  (In Russian)</TD></TR>
 +
<TR><TD valign="top">[2]</TD> <TD valign="top">  S.G. [S.G. Mikhlin] Michlin,  "Variationsmethoden der mathematischen Physik" , Akademie Verlag  (1962)  (Translated from Russian)</TD></TR>
 +
<TR><TD valign="top">[3]</TD> <TD valign="top">  M.M. Vainberg,  "Variational methods and methods of nonlinear operators in the theory of nonlinear equations" , Wiley  (1973)  (Translated from Russian)</TD></TR>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  G.I. Marchuk,  "Methods of numerical mathematics" , Springer  (1982)  (Translated from Russian)</TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top">  A.R. Mitchel,  "The finite element method in partial differential equations" , Wiley  (1977)</TD></TR>
 +
<TR><TD valign="top">[a3]</TD> <TD valign="top">  J. Stoer,  R. Bulirsch,  "Einführung in die numerische Mathematik" , '''II''' , Springer  (1973)</TD></TR>
 +
<TR><TD valign="top">[a4]</TD> <TD valign="top">  C.A.J. Fletcher,  "Computational Galerkin methods" , Springer  (1984)</TD></TR>
 +
</table>

Latest revision as of 12:55, 20 March 2023


method of moments

A method for finding the approximate solution of an operator equation in the form of a linear combination of the elements of a given linearly independent system.

Let $ F $ be a non-linear operator, with domain of definition in a Banach space $ X $ and range of values in a Banach space $ Y $. To solve the equation

\begin{equation}\label{e:1} F(x) = h \end{equation}

by the Galerkin method one chooses a linearly independent system $ \{ \phi _ {i} \} _ {1} ^ \infty $ of elements from $ X $ (a coordinate system) and a linearly independent system $ \{ \psi _ {j} \} _ {1} ^ \infty $ of functionals from the space $ Y ^ {*} $ dual to $ Y $ (a projection system). An approximate solution $ x $ of equation (1) is sought for in the form

\begin{equation}\label{e:2} x _ {n} = \ \sum _ {i = 1 } ^ { n } c _ {i} \phi _ {i} . \end{equation}

The numerical coefficients $ c _ {1}, \dots, c _ {n} $ are found from the system of equations

\begin{equation}\label{e:3} \langle F \left ( \sum _ {i = 1 } ^ { n } c _ {i} \phi _ {i} \right ) ,\ \psi _ {j} \rangle = \langle h, \psi _ {j} \rangle ,\ \ j = 1, \dots, n. \end{equation}

When the problem is posed in this general manner, \eqref{e:3} need not have any solutions. If (3) has a unique solution, for each $ n = 1, 2, \dots $, the approximate solution \eqref{e:2} need not converge, not even weakly, to the exact solution of equation (1) as $ n \rightarrow \infty $. Nevertheless, Galerkin's method is a powerful tool not only for finding approximate solutions, but also for proving existence theorems of solutions of linear and non-linear equations, especially so in problems involving partial differential equations.

In many cases the problem of determining the coefficients of (2) from the system (3) is equivalent to that of finding the minimum of some functional, and Galerkin's method becomes a variational (energy) method. The most important such method is the Ritz method. In certain cases it may be expedient to use topological methods in the investigation of (3).

If $ X $ and $ Y $ are Hilbert spaces, Galerkin's method is sometimes called the Petrov–Galerkin method. If, in addition, the coordinate and the projection systems are identical ($ X= Y= H $ and $ \psi _ {i} = \phi _ {i} $), one usually speaks of the Bubnov–Galerkin method. If $ X= Y= H $ is a Hilbert space, and also $ \psi _ {i} = F ( \phi _ {i} ) $, this special case is known as the method of least squares (cf. Least squares, method of).

In the linear case, when $ F( x) \equiv Ax $, with $ A $ a linear, generally unbounded, operator with domain $ D( A) \subseteq X $ and range $ R( A) \subseteq Y $, while the coordinate system has been selected in $ D( A) $, equation (1) assumes the form

$$ \tag{4 } A x = h. $$

Here, (3) is a system of $ n $ linear equations in $ n $ unknowns:

$$ \tag{5 } \sum _ {i = 1 } ^ { n } c _ {i} \langle A \phi _ {i} , \psi _ {j} \rangle = \ \langle h, \psi _ {j} \rangle ,\ \ j = 1, \dots, n. $$

If, under the conditions of the method of least squares, there exists a bounded inverse operator $ A ^ {- 1} $ on $ R( A) $, if $ h \in R( A) $ and if the system $ \{ A \phi _ {i} \} _ {1} ^ \infty $ is complete in $ H $, then the approximate solution of (2) converges as $ n \rightarrow \infty $ to the exact solution of equation (4). If under the conditions of the Petrov–Galerkin method the operator $ A $ is symmetric and positive definite, $ h \in R( A) $ and if the system $ \{ \phi _ {i} \} _ {1} ^ \infty $ is complete in the Hilbert space $ H _ {A} $ (the completion of $ D( A) $ in the metric generated by the scalar product

$$ [ x, y] = ( Ax, y),\ \ x, y \in D ( A) \textrm{ ) } , $$

then the approximate solution of (2) converges to the exact solution of (4) both in $ H _ {A} $ and in $ H $.

If $ A $ is a positive-definite self-adjoint operator on $ H $ and if $ \{ \phi _ {i} \} _ {1} ^ \infty $ is a complete orthonormal system of its eigen elements, then the Bubnov–Galerkin method and the method of least squares coincide with the Fourier method.

Galerkin's method is also employed in the approximate solution of eigen value and eigen element problems.

Galerkin's method has found widespread use after the studies of B.G. Galerkin [1]; it was formerly used by I.G. Bubnov in solving specific problems in elasticity theory. There is a general approach to approximate methods, which includes projection methods, finite-difference methods (cf. Projection methods; Difference methods) and other approximate methods which are generalizations of Galerkin's method.

Comments

The nowadays widely used "finite-element method" is also a special case of Galerkin's method [a2].

References

[1] B.G. Galerkin, "On electrical circuits for the approximate solution of the Laplace equation" Vestnik Inzh. , 19 (1915) pp. 897–908 (In Russian)
[2] S.G. [S.G. Mikhlin] Michlin, "Variationsmethoden der mathematischen Physik" , Akademie Verlag (1962) (Translated from Russian)
[3] M.M. Vainberg, "Variational methods and methods of nonlinear operators in the theory of nonlinear equations" , Wiley (1973) (Translated from Russian)
[a1] G.I. Marchuk, "Methods of numerical mathematics" , Springer (1982) (Translated from Russian)
[a2] A.R. Mitchel, "The finite element method in partial differential equations" , Wiley (1977)
[a3] J. Stoer, R. Bulirsch, "Einführung in die numerische Mathematik" , II , Springer (1973)
[a4] C.A.J. Fletcher, "Computational Galerkin methods" , Springer (1984)
How to Cite This Entry:
Galerkin method. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Galerkin_method&oldid=52430
This article was adapted from an original article by V.A. Trenogin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article