Diskontinuierliche Galerkin-Methode

Vorlage:Belege fehlen Die diskontinuierliche Galerkin-Methode (dG-Methode) benutzt im Gegensatz zur konformen Finite-Elemente-Methode unstetige Ansatzfunktionen. Deshalb greift man zur diskontinuierlichen Galerkin-Methode, wenn die Lösung eines Problems Unstetigkeiten, Singularitäten oder steile Gradienten aufweist.

Ähnlich wie bei der Finiten-Element-Methode (FEM) zerlegt man das gegebene Gebiet in Elemente $K$ und nennt die Triangulation z. B. ${𝒯}_{𝒽}$ (siehe Triangulierung offener Mengen in ${ℝ}^n$).

Während man konforme Finite-Elemente-Methoden mit Hilfe von Sobolev-Räumen beschreibt, nutzt man zur Beschreibung der diskontinuierlichen Galerkin-Methode gebrochene Sobolev-Räume. Man definiere

$H^k(\mathrm{\Omega },{𝒯}_{𝒽}\mathcal{)}\mathcal{=}\mathcal{\{}𝓋\mathcal{\in }{ℒ}^2\mathcal{(}\mathrm{\Omega }\mathcal{)}\mathcal{:}𝓋{\mathcal{|}}_{𝒦}\mathcal{\in }{\mathscr{H}}^{𝓀}\mathcal{(}𝒦\mathcal{)}\mathrm{\forall }𝒦\mathcal{\in }{𝒯}_{𝒽}\mathcal{\}}\mathcal{.}$

Das bedeutet: stückweise, auf jedem Element $K$ der Zerlegung ${𝒯}_{𝒽}$ des Gebietes, hat man Zugehörigkeit zu einem Sobolev-Raum $H^k$, aber nicht global auf dem Gebiet $\mathrm{\Omega }$.

Exemplarisch betrachte man die elliptische Randwertaufgabe in einem d-dimensionalen Gebiet.

$-\mathrm{△}u=f\mathrm{i}\mathrm{n}\mathrm{\Omega },u=0\mathrm{a}\mathrm{u}\mathrm{f}\partial \mathrm{\Omega }$

Ausgangspunkt für einen Zugang zu dG-Methoden ist eine gemischte Formulierung des Ausgangsproblems. Dazu führt man den Vektor $𝐪:=\mathrm{\nabla }u$ ein und das System

$\begin{array}{ccc}\mathrm{\nabla }u& =& 𝐪,\\ -\mathrm{\nabla }\cdot 𝐪& =& f.\end{array}$

Nun multipliziert man die erste Gleichung mit $𝐫\in H^1(\mathrm{\Omega },{𝒯}_{𝒽}{\mathcal{)}}^{𝒹}$, die zweite mit $v\in H^1(\mathrm{\Omega },{𝒯}_{𝒽}\mathcal{)}$ und erhält durch Anwendung des Greenschen Integralsatzes (partielle Integration)

$\begin{array}{ccc}\underset{K}{\int }𝐪\cdot 𝐫& =& -\underset{K}{\int }u\mathrm{\nabla }\cdot 𝐫+\underset{\partial K}{\int }u𝐫\cdot 𝐧,\\ \underset{K}{\int }𝐪\cdot \mathrm{\nabla }v& =& \underset{K}{\int }fv+\underset{\partial K}{\int }v𝐪\mathbf{\cdot }𝐧.\end{array}$

Im nächsten Schritt werden diskrete Räume eingeführt. Es sei

$S_{hk}=\{v\in L^2(\mathrm{\Omega }):v{|}_K\in P_p(K)\mathrm{\forall }K\in {𝒯}_{𝒽}\mathcal{\}}\mathcal{.}$

Das sind also stückweise Polynome vom Grad p, global unstetig. Ist nun

${\mathrm{\Sigma }}_{hk}=(S_{hk}{)}^d,$

so kann man das diskrete Problem folgendermaßen formulieren:

Finde $u_h\in S_{hk}$ und ${𝐪}_h\in {\mathrm{\Sigma }}_{hk}$, so dass

$\begin{array}{ccc}\sum _K\underset{K}{\int }{𝐪}_{𝐡}\cdot {𝐫}_{𝐡}& =& -\sum _K\underset{K}{\int }{u}_h\mathrm{\nabla }\cdot {𝐫}_{𝐡}+\sum _K\underset{\partial K}{\int }\hat{u}{𝐫}_{𝐡}\cdot 𝐧\mathrm{\forall }{𝐫}_h\in {\mathrm{\Sigma }}_{hk},\\ \sum _K\underset{K}{\int }{𝐪}_{𝐡}\cdot \mathrm{\nabla }{v}_h& =& \underset{K}{\int }f{v}_h+\sum _K\underset{\partial K}{\int }{v}_h\widehat{𝐪}\mathbf{\cdot }𝐧\mathrm{\forall }{v}_h\in S_{hk}.\end{array}$

Dabei sind $\hat{u}=\hat{u}(u_h,{𝐪}_h)$ und $\widehat{𝐪}=\widehat{𝐪}(u_h,{𝐪}_h)$ Approximationen von $u_h$ und ${𝐪}_h$. Die genaue Festlegung dieser Größen unterscheidet verschiedene dG-Methoden. Dazu führt man nun Mittel- und Sprungoperatoren ein.

Auf jeder Kante der Triangulation ist jede Funktion $v\in H^1(\mathrm{\Omega },{𝒯}_{𝒽}\mathcal{)}$ im Allgemeinen unstetig.

$<v>$ sei der Mittelwert, $[v]$ der Sprung von v auf einer inneren Kante.

Eine wichtige Methode ist die lokale unstetige Galerkinmethode (LDG). Sie ist definiert durch

$\hat{u}=<u_h>-[u_h]\mathit{\beta }\cdot 𝐧$

und

$\widehat{𝐪}\cdot 𝐧=[{𝐪}_h]\cdot 𝐧+\mathit{\beta }[{𝐪}_h\cdot 𝐧]\cdot 𝐧-\alpha [u_h]$ auf inneren Kanten

bzw.

$\widehat{𝐪}\cdot 𝐧={𝐪}_h\cdot 𝐧-\alpha u_h$ auf Randkanten

$\alpha$ und der Vektor $\mathit{\beta }$ sind Parameter, für $\alpha >0$ besitzt das diskrete Problem eine eindeutige Lösung. Die LDG zeichnet sich dadurch aus, dass die Definition von $\hat{u}$ nicht von ${𝐪}_h$ abhängt. Das erlaubt, lokal ${𝐪}_h$ zu eliminieren. Diese Eigenschaft führte zum Namen LDG.

Für die LDG kann man eine ähnliche Fehlerabschätzung beweisen wie für Finite-Element-Methoden, wenn man eine quasiuniforme Triangulation voraussetzt (siehe Triangulierung offener Mengen in ${ℛ}^n$ ):

$\Vert u-u_h{\Vert }_{H^1(\mathrm{\Omega },{𝒯}_{𝒽}\mathcal{)}}\le C{h}^p|u{|}_{p+1}.$

Alternativ zu dem beschriebenen Zugang über eine gemischte Formulierung gibt es einen direkten Zugang zur dG-Methode. Dabei wird das Ausgangsproblem mit einer unstetigen Testfunktion multipliziert, partiell integriert, geschickt umgeformt und eventuell noch stabilisiert. In einer Arbeit von Brezzi u. a. 2000 wurde gezeigt, wie man eine direkte bzw. primale dG in eine gemischte bzw. duale umrechnen kann.

Quellen

• J. S. Hesthaven, T. Warburton: Nodal discontinuous Galerkin methods. Springer 2008
• G. Kanschat: Discontinuous Galerkin methods for viscous incompressible flow. Teubner 2008
• D. di Pietro, A. Ern: Mathematical aspects of discontinuous Galerkin methods. Springer, 2012, ISBN 978-3-642-22979-4.
• V. Dolejsi, M. Feistauer: Discontinuous Galerkin method. Springer, 2015, ISBN 978-3-319-19266-6.
• B. Riviere: Discontinuous Galerkin methods for solving elliptic and parabolic equations. SIAM. Philadelphia 2008

Einzelnachweise

• F. Brezzi u. a.: Discontinuous Galerkin approximations for elliptic problems. In: Numer. Meth. for part. diff. equ. Band 16, Nr. 4, 2000, S. 365–378.
• F. Brezzi u. a.: Unified analysis of discontinuous Galerkin methods for elliptic problems. SINUM, 39(5), 2002, 1749–1779