<p>In this paper we formulate and analyze a least squares boundary element method for the weakly singular boundary integral equation which is related to the solution of a Dirichlet boundary value problem for a second order partial differential equation, with the Laplacian as model problem. In particular we may assume less regular boundary data <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(g \not \in H^{1/2}(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∉</mo> <msup> <mi>H</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> but <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(g \in L^2(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. For this we consider the single layer boundary integral operator <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(V: H^{-1}(\Gamma ) \rightarrow L^2(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>:</mo> <msup> <mi>H</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, i.e., we will solve the boundary integral equation <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(Vw=f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mi>w</mi> <mo>=</mo> <mi>f</mi> </mrow> </math></EquationSource> </InlineEquation> by minimizing <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\frac{1}{2} \, \Vert V w - f \Vert _{L^2(\Gamma )}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mspace width="0.166667em" /> <msubsup> <mrow> <mo stretchy="false">‖</mo> <mi>V</mi> <mi>w</mi> <mo>-</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> <mn>2</mn> </msubsup> </mrow> </math></EquationSource> </InlineEquation>. This results in a mixed variational formulation where we use piecewise constant approximations to discretize both the primal unknown <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(w \in H^{-1}(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>∈</mo> <msup> <mi>H</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and the adjoint <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(p:=f-Vw \in L^2(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>:</mo> <mo>=</mo> <mi>f</mi> <mo>-</mo> <mi>V</mi> <mi>w</mi> <mo>∈</mo> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Using nested boundary element spaces <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(S_H^0(\Gamma ) \subseteq S_h^0(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>S</mi> <mi>H</mi> <mn>0</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊆</mo> <msubsup> <mi>S</mi> <mi>h</mi> <mn>0</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> we can prove stability and related error estimates for both the primal and adjoint approximations, <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(w_H\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>w</mi> <mi>H</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(p_h\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>p</mi> <mi>h</mi> </msub> </math></EquationSource> </InlineEquation>, respectively. When considering the approximate adjoint <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(p_h\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>p</mi> <mi>h</mi> </msub> </math></EquationSource> </InlineEquation> on a finer mesh than the primal <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(w_H\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>w</mi> <mi>H</mi> </msub> </math></EquationSource> </InlineEquation>, we can use <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\Vert p_h \Vert _{L^2(\Gamma )}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>p</mi> <mi>h</mi> </msub> <msub> <mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> as a posteriori error indicator for the error <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\Vert w-w_H \Vert _{H^{-1}(\Gamma )}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">‖</mo> <mi>w</mi> <mo>-</mo> </mrow> <msub> <mi>w</mi> <mi>H</mi> </msub> <msub> <mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>H</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> to drive an adaptive mesh refinement. Note that this defines an adaptive boundary element method also for regular boundary data <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(g \in H^{1/2}(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <msup> <mi>H</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Numerical examples confirm the theoretical results.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

An adaptive least squares boundary element method for elliptic boundary value problems

  • Olaf Steinbach

摘要

In this paper we formulate and analyze a least squares boundary element method for the weakly singular boundary integral equation which is related to the solution of a Dirichlet boundary value problem for a second order partial differential equation, with the Laplacian as model problem. In particular we may assume less regular boundary data \(g \not \in H^{1/2}(\Gamma )\) g H 1 / 2 ( Γ ) but \(g \in L^2(\Gamma )\) g L 2 ( Γ ) . For this we consider the single layer boundary integral operator \(V: H^{-1}(\Gamma ) \rightarrow L^2(\Gamma )\) V : H - 1 ( Γ ) L 2 ( Γ ) , i.e., we will solve the boundary integral equation \(Vw=f\) V w = f by minimizing \(\frac{1}{2} \, \Vert V w - f \Vert _{L^2(\Gamma )}^2\) 1 2 V w - f L 2 ( Γ ) 2 . This results in a mixed variational formulation where we use piecewise constant approximations to discretize both the primal unknown \(w \in H^{-1}(\Gamma )\) w H - 1 ( Γ ) and the adjoint \(p:=f-Vw \in L^2(\Gamma )\) p : = f - V w L 2 ( Γ ) . Using nested boundary element spaces \(S_H^0(\Gamma ) \subseteq S_h^0(\Gamma )\) S H 0 ( Γ ) S h 0 ( Γ ) we can prove stability and related error estimates for both the primal and adjoint approximations, \(w_H\) w H and \(p_h\) p h , respectively. When considering the approximate adjoint \(p_h\) p h on a finer mesh than the primal \(w_H\) w H , we can use \(\Vert p_h \Vert _{L^2(\Gamma )}\) p h L 2 ( Γ ) as a posteriori error indicator for the error \(\Vert w-w_H \Vert _{H^{-1}(\Gamma )}\) w - w H H - 1 ( Γ ) to drive an adaptive mesh refinement. Note that this defines an adaptive boundary element method also for regular boundary data \(g \in H^{1/2}(\Gamma )\) g H 1 / 2 ( Γ ) . Numerical examples confirm the theoretical results.