Galerkin-Methode

Die Galerkin-Methode (auch Galerkin-Verfahren bzw. Galerkin-Ansatz, nach Boris Galerkin, 1915) ist ein numerisches Verfahren zur näherungsweisen Lösung von Operatorgleichungen, wie beispielsweise partiellen Differentialgleichungen. Sie stellt die gebräuchlichste Variante der „Methode der gewichteten Residuen“ dar, bei der das resultierende Residuum einer Näherungslösung minimiert wird.

Kurzfassung

John William Strutt und Walter Ritz haben die in Variationsproblemen gesuchte Funktion als Linearkombination von Basisfunktionen angesetzt und damit das Variationsproblem auf ein gewöhnliches Problem der Optimierung einer Funktion von endlich vielen Parametern zurückgeführt.<ref>Zienkiewicz: The Finite Element Method. 4. Auflage, Band 1, S. 35.</ref>

Für eine Operatorgleichung

<math>T\left(f(x)\right)=0, \quad x \in I , </math>

kann die gesuchte Funktion <math>f</math> ebenso angesetzt werden, etwa als

<math> f\left(x\right)=\sum_{i}c_{i}\Phi_{i}\left(x\right), \quad x \in I ,</math>

was substituiert in die Operatorgleichung auf der linken Seite des Gleichheitszeichens eine von den Koeffizienten <math>c_{i}</math> abhängige Funktion ergibt. Nach der Methode der gewichteten Residuen wählt man die freien Koeffizienten <math>c_{i}</math> so, dass diese Funktion im Testraum, der von gewissen Basisfunktionen <math>\Psi_{j}(x)</math> aufgespannt wird, verschwindet, d. h. orthogonal zu diesen Basisfunktionen wird. Damit erhält man folgende Gleichungen für alle Kombinationen <math>i,j</math>

<math>\int_I\Psi_{j}(x) \, T\left(\sum_{i}c_{i}\Phi_{i}(x)\right)dx = 0,</math>

zur Bestimmung der <math>c_{i}</math>. Diese Bedingung wird auch Galerkin-Orthogonalität genannt. Falls der Operator linear ist, lassen sich diese Gleichungen als ein lineares Gleichungssystem <math>A \, c = 0</math> darstellen mit <math> A_{j,i} := \int_I\Psi_{j}(x) \, T\left(\Phi_{i}(x)\right)dx .</math>

Für <math>\Psi_{j}(x) = \phi(x-x_{j})</math>, wobei <math> \phi </math> eine feste Funktion ist (häufig eine Radiale Basisfunktion), erhält man ein Punkt-Kollokationsverfahren. Für <math>\Psi_{j}(x) = \Phi_{j}(x)</math> erhält man das Galerkin-Verfahren, das vor allem in russischen Büchern auch Iwan Grigorjewitsch Bubnow (1911, 1913) zugeschrieben wird, dort also Bubnov-Galerkin-Verfahren heißt.<ref>Zienkiewicz: The Finite Element Method. 4. Auflage, Band. 1, S. 215.</ref>

Herleitung

Ausgangspunkt für die Galerkin-Methode ist eine sogenannte „variationelle“ Formulierung der Anfangswertaufgabe.<ref name="Rannacher9">Rolf Rannacher: Numerik 1. Numerik gewöhnlicher Differentialgleichungen. Heidelberg 2017, S. 9–10.</ref>

Sei also die Anfangswertaufgabe (AWA) gegeben mit <math> u'(t) = f(t,u(t)), u(t_0) = u_0 </math> auf einem Intervall <math>I = [t_0, t_0+T]</math>

Außerdem nehmen wir die AWA als (global) Lipschitz-stetig an. D. h., dass eindeutige Lösungen existieren. (Satz von Picard-Lindelöf)

Dann wird die Differentialgleichung der Anfangswertaufgabe nun zunächst mit einer „Testfunktion“ <math>\phi </math> multipliziert und über das Lösungsintervall <math>I</math> integriert. Wir erhalten aus der AWA

<math> u'(t) = f(t,u(t))

\Rightarrow u'(t) \phi(t) = f(t,u(t)) \phi(t) \Rightarrow \int_I u'(t) \phi(t) dt = \int_I f(t,u(t)) \phi(t) dt</math>

Diese Beziehung ist sinnvoll für jede stetige und stückweise stetig differenzierbare Funktion <math>u</math>. Der Vektorraum all dieser Funktionen sei ab hier mit <math>V</math> benannt. „Stückweise“ bedeutet hier, dass die Differenzierbarkeit nur bis auf endlich viele Ausnahmestellen in <math>I</math> gefordert wird. Das linke Integral ist stückweise als Summe von Teilintegralen zu verstehen.<ref name="Rannacher9" />

Jede Funktion <math>u</math>, die die Anfangsbedingungen des Startwertes erfüllt und der integralen Beziehung für jede Testfunktion <math>\phi</math> genügt, ist auch Lösung der Anfangswertaufgabe.

Die Galerkin-Methode bestimmt eine Näherungslösung <math>u_h</math> in einem endlich dimensionalen Teilraum <math>V_h \subset V </math> durch die Vorschriften des Startpunktes <math> u_h (t_0) = u_0 </math> und der Integralgleichung im Teilraum: <math>\int_I u_h'(t) \phi_h(t) dt = \int_I f(t,u_h(t)) \phi_h(t) dt</math> für ein beliebiges <math>\phi_h \in W_h</math>.

Der diskrete Testraum <math>W_h</math> ist in der Regel anders als <math>V_h</math> zu wählen. Wähle bspw.

<math>V_h := \{ v_h : I \rightarrow \R : v_h \in C[I], v_{h |(t_{n-1},t_n)} \in P_1 , n = 1, \dots, N \},</math>

<math>W_h := \{ \phi_h : I \rightarrow \R : \phi_{h|(t_{n-1},t_n)} \in P_0, n = 1, \dots, N \}</math>

Man kann die integrale Bestimmungsgleichung auf jedes einzelne Teilintervall <math>[t_{n-1},t_n]</math> einschränken, da die Testfunktionen nur stückweise stetig sein müssen.<ref name="Rannacher9" />

<math>u_h(t_n) - u_h(t_{n-1}) = \int_{t_{n-1}}^{t_n} u_h'(t)dt = \int_{t_{n-1}}^{t_n} f(t,u(t)) dt</math>

<math>\Rightarrow u_h(t_n) = u_h(t_{n-1}) + \int_{t_{n-1}}^{t_n} f(t,u(t)) dt</math>

Das bedeutet: Die Galerkin-Methode ist ein „Zeitschrittverfahren“.<ref name="Rannacher9" /> Wertet man bspw. das Integral auf der rechten Seite mit der Trapezregel aus, dann erhalten wir für die Werte <math>y_n := u_h(t_n),</math>

<math>y_n = y_{n-1} + \frac{1}{2} h_n (f(t_n,y_n) + f(t_{n-1},y_{n-1}))</math>

Zur „variationellen“ Formulierung der Anfangswertaufgabe

Ausgangspunkt sind, wie im Abschnitt der Herleitung, die AWA mit Lipschitz-Bedingung und <math>I = [t_0,t_0+T]</math>. Auftretende Funktionen können auch vektorwertig sein und <math><.,.> </math> bezeichnet das euklidische Skalarprodukt. Für eine Funktion <math> u \in C^1 (I)^d </math>, also eine einmal komplexwertig-differenziertere Funktion mit Dimension d (da jeder Fall höhere Ordnung auf den Fall erster Ordnung zurückgeführt werden kann) mit dem Anfangswert <math>u(t_0) = u_0 </math> ist die AWA und die äquivalente Formulierung in der Herleitung äquivalent zu:

<math>\int_I \langle u' - f(t,u), \phi \rangle dt = 0 , \quad \forall \phi \in C(I)^d</math>

Da die Funktionen <math>\phi</math> beliebig variieren dürfen, wird diese Formulierung der AWA „variationell“ genannt.<ref name="Rannacher151">Rolf Rannacher: Numerik 1. Numerik gewöhnlicher Differentialgleichungen. Heidelberg 2017, S. 151 f.</ref>

Geometrisch ausgedrückt besagt die variationelle Formulierung der AWA, dass das Residuum der Lösungsfunktion <math>u </math>:

<math> R(u) := u' - f\langle \cdot,u \rangle </math> bzgl. des Skalarproduktes von <math>L^2(I)^d </math> orthogonal zu allen Testfunktionen <math> \phi \in C(I)^d</math><ref name="Rannacher151" />

Detailliertere Darstellung

Vorgehensweise

Das Residuum ist in dem betrachteten Gebiet verteilt. Es wird mit geeigneten Wichtungsfunktionen gewichtet, daher der Ausdruck „gewichtete Residuen“. Das Integral des über dem Gebiet gewichteten Residuums soll möglichst klein sein oder besser noch ganz verschwinden. Die Wichtungsfunktionen haben Parameter, deren Anzahl der Zahl der Freiheitsgrade des Systems entspricht. Diese führen zu genauso vielen Gleichungen und damit zu dem gleichen großen Gleichungssystem, das aus der Finite-Elemente-Methode bekannt ist. Bei der Galerkin-Methode sind die Wichtungsfunktionen identisch mit den Ansatzfunktionen in den Elementen.

Beispiel

Sei <math>D</math> ein Differentialoperator. Gesucht ist die Lösung <math>u(x)</math> der Differentialgleichung:

<math>D(u)(x) + f(x)= 0</math> (Gleichung 1)

mit einer vorgegebenen Funktion <math>f(x)</math> und zusätzlich Randbedingungen für <math>u</math>. Dazu wird eine Näherungslösung <math>v</math> für <math>u</math> angesetzt als Linearkombination von Basisfunktionen <math>\Phi_i (x)</math> aus einem Funktionenraum <math>V</math>:

<math> v (x)= \sum_{i=1}^N c_i \Phi_i (x)</math>

mit noch zu bestimmenden Koeffizienten <math>c_i</math>. Für die Wahl der Basis eignen sich zum Beispiel B-Splines. Die Funktion <math>v</math> erfüllt im Allgemeinen noch nicht die Differentialgleichung (1), es bleibt ein Residuum

<math>r(x)=D(v)(x) + f(x).</math>

In dem Raum <math>V</math> sei ein inneres Produkt <math>\langle h,g \rangle</math> definiert, für das gilt, dass <math>g=0</math> ist, falls <math>\langle h,g \rangle=0</math> für alle Funktionen <math>h</math> aus <math>V</math> ist. Das innere Produkt ist häufig definiert als

<math>\langle h,g \rangle = \int h(x) g(x) dx.</math>

Häufig kann man nicht die exakte Lösung bestimmen, für die <math>\langle w, r\rangle</math> für jede Testfunktion <math>w</math> verschwindet (und damit das Residuum auch), sondern nur eine Näherungslösung, für die das innere Produkt des Residuums mit einer Menge ausgewählter linear unabhängiger „Gewichtsfunktionen“ <math>w</math> verschwindet:

<math>\langle w, r \rangle =0. </math>

Beim Galerkin-Verfahren werden als Gewichtsfunktionen gerade die Basisfunktionen <math>\Phi_j</math>, <math>j=1,\dots, N</math> von <math>V</math> gewählt, so dass sich ein Gleichungssystem für die Koeffizienten <math>c_i</math> ergibt:

<math>\left\langle \Phi_j, D \left( \sum_{i=1}^N c_i \Phi_i \right) + f \right\rangle = 0</math>

Anwendungsgebiet

Die Galerkin-Methode ist anwendbar, wenn kein natürliches Extremalprinzip für die Lösung der Differentialgleichung existiert. Sie ist somit eine Grundlage der Finite-Elemente-Methode und dehnt deren Anwendbarkeit auf weitere physikalische Problemstellungen (Kontinuumsprobleme) aus, die ein solches natürliches Extremalprinzip nicht besitzen. Beispiele dafür sind stationäre oder instationäre Strömungen. Ein natürliches Extremalprinzip (natürliches Variationsprinzip) existiert dagegen z. B. bei mechanischen Problemen der Festkörpermechanik, bei denen der Energieinhalt ein Minimum haben muss.

Nach Olgierd Cecil Zienkiewicz ist die Galerkin-Lösung identisch mit einer natürlichen Variationslösung oder lässt sich zumindest so interpretieren. Die Finite-Elemente-Methode (FEM) ist ein spezielles Ritz-Galerkin-Verfahren.<ref>Finite-Elemente-Methode. und Galerkin-Methode. In: Guido Walz (Hrsg.): Lexikon der Mathematik. Band 2: Eig bis Inn. Springer Spektrum, Mannheim 2017, ISBN 978-3-662-53503-5, S. 157 S. 227–228, {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}} (archive.org).</ref>

Weiterführende Literatur

• H. R. Schwarz: Methode der Finiten Elemente (= Leitfäden der angewandten Mathematik und Mechanik. Band 47). Teubner, Stuttgart 1984, ISBN 3-519-12349-5.
• Olgierd Cecil Zienkiewicz, Robert Lee Taylor: The Finite Element Method. 4. Auflage, Band 1: Basic Formulation and Linear Problems. McGraw-Hill Book Company, London 1989, ISBN 0-07-084174-8.
• Junuthula Narasimha Reddy: Energy Principles And Variational Methods In Applied Mechanics. 2. Auflage, John Wiley & Sons, New York 2002, ISBN 0-471-17985-X (Leseprobe, books.google.de).
• Daniel S. Weile, Raymond A. Wildman, Greeshma Pisharody, Anuraag Mohan: Galerkin Method (Rayleigh–Ritz Method). In: Encyclopedia of RF and Microwave Engineering. John Wiley, Hoboken, N.J. 15. April 2005, ISBN 0-471-65450-7, doi:10.1002/0471654507.eme142.
• {{#invoke:Vorlage:Literatur|f}}

Weblinks

• Galerkin method encyclopediaofmath.org
• Methode der gewichteten Residuen tuwien.ac.at
• {{#if:20140322023140

      | {{#ifeq: 20140322023140 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Galerkin’s Method | {{#invoke:WLink|getEscapedTitle|Galerkin’s Method}} | {{#invoke:Webarchiv|getdomain|http://mathfaculty.fullerton.edu/mathews/n2003/GalerkinMod.html}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20140322023140}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Datum
         | {{#if: Galerkin’s Method | {{#invoke:WLink|getEscapedTitle|Galerkin’s Method}} | {{#invoke:Webarchiv|getdomain|http://mathfaculty.fullerton.edu/mathews/n2003/GalerkinMod.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20140322023140}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Galerkin’s Method | {{#invoke:WLink|getEscapedTitle|Galerkin’s Method}} | {{#invoke:Webarchiv|getdomain|http://mathfaculty.fullerton.edu/mathews/n2003/GalerkinMod.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Galerkin’s Method | {{#invoke:WLink|getEscapedTitle|Galerkin’s Method}} | {{#invoke:Webarchiv|getdomain|http://mathfaculty.fullerton.edu/mathews/n2003/GalerkinMod.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Galerkin’s Method | {{#invoke:WLink|getEscapedTitle|Galerkin’s Method}} | {{#invoke:Webarchiv|getdomain|http://mathfaculty.fullerton.edu/mathews/n2003/GalerkinMod.html}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Galerkin’s Method | {{#invoke:WLink|getEscapedTitle|Galerkin’s Method}} | {{#invoke:Webarchiv|getdomain|http://mathfaculty.fullerton.edu/mathews/n2003/GalerkinMod.html}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20140322023140|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://mathfaculty.fullerton.edu/mathews/n2003/GalerkinMod.html}}
    || {{#if:  || }}
  }}{{#if: Galerkin’s Method
    | {{#if: {{#invoke:WLink|isBracketedLink|Galerkin’s Method}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://mathfaculty.fullerton.edu/mathews/n2003/GalerkinMod.html%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://mathfaculty.fullerton.edu/mathews/n2003/GalerkinMod.html%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://mathfaculty.fullerton.edu/mathews/n2003/GalerkinMod.html }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }} mathfaculty.fullerton.edu

Einzelnachweise

<references />

{{#ifeq: s | p | | {{#if: 4155831-5 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: s | p | {{#if: 4155831-5 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: s | p | {{#if: 4155831-5 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung