境界要素法のソースを表示

'''境界要素法'''（きょうかいようそほう、{{lang-en-short|boundary element method}}、BEM）とは、汎用性の高い離散化解析手法の1つで<ref name="ta">境界要素法 ―基本と応用―、2004年10月、978-4-254-23104-5、J.T.カチカデーリス 著／田中正隆 ・荒井雄理 訳、朝倉書店。</ref><ref name="wa">Wrobel, L. C.; Aliabadi, M. H. (2002), The Boundary Element Method, New York: John Wiley & Sons, p. 1066, ISBN 978-0-470-84139-6 (in two volumes).</ref><ref name="cc">Cheng, Alexander H.-D.; Cheng, Daisy T. (2005), "Heritage and early history of the boundary element method", Engineering Analysis with Boundary Elements, 29 (3): 268–302.</ref>、[[有限差分法]]<ref name="fdm">Strikwerda, J. C. (2004). Finite difference schemes and partial differential equations. SIAM.</ref><ref name="smith">Smith, G. D. (1985). Numerical solution of partial differential equations: finite difference methods. Oxford University Press.</ref>、[[有限体積法]]<ref name="fvm">LeVeque, Randall (2002), Finite Volume Methods for Hyperbolic Problems, Cambridge University Press.</ref>、[[有限要素法]]<ref name="mori">森正武. (1986) 有限要素法とその応用. 岩波書店.</ref><ref name="kikuchi1999">菊池文雄. (1999). 有限要素法概説 [新訂版]. サイエンス社.</ref><ref name="kikuchi1994">菊池文雄. (1994). 有限要素法の数理. 培風館.</ref><ref name="freefem">有限要素法で学ぶ現象と数理―[[FreeFem++]]数理思考プログラミング―, 日本応用数理学会 監修・大塚 厚二・高石 武史著, 共立出版.</ref>と並び、汎用離散化解析手法の主要3解法の1つとして理工学の分野で受け入れられている。電子計算機の発明・発展以前から進められてきた、[[応用数学]]における[[積分方程式]]の研究<ref>[[吉田耕作]]『積分方程式論』岩波全書、1950</ref><ref>[[溝畑茂]]. 積分方程式入門. 朝倉書店.</ref><ref>Kondo, J. Integral Equations. Oxford, England: Clarendon Press, 1992.</ref><ref>Wazwaz, A. M. (2011). Linear and nonlinear integral equations. Berlin: Springer.</ref>に端を発していることもあり、境界積分方程式法（Boundary Integral Equation Method、略してBIEM）と呼ばれることもある<ref>Budreck, D. E., & Achenbach, J. D. (1988). Scattering from three-dimensional planar cracks by the boundary integral equation method.</ref><ref>Dehghan, M., & Mirzaei, D. (2008). Numerical solution to the unsteady two‐dimensional Schrödinger equation using meshless local boundary integral equation method. International journal for numerical methods in engineering, 76(4), 501-520.</ref>。

[[電磁気学]]では、この境界要素法をもちいた[[電磁界解析]]を'''モーメント法'''（Method of Moments、MOM）と呼んでいる<ref name="mom1">Gibson, W. C. (2014). The method of moments in electromagnetics. CRC Press.</ref><ref name="mom2">Harrington, R. F. (1987). The method of moments in electromagnetics. Journal of Electromagnetic waves and Applications, 1(3), 181-200.</ref><ref name="mom3">Newman, E. H. (1988). Simple examples of the method of moments in electromagnetics. IEEE Transactions on Education, 31(3), 193-200.</ref><ref name="mom4">Lezar, E., & Davidson, D. B. (2010). GPU-accelerated method of moments by example: Monostatic scattering. IEEE Antennas and Propagation Magazine, 52(6), 120-135.</ref>。

== 解法の基本的な考え方<ref name="ta"/><ref name="wa"/><ref name="cc"/>==
解析手法は、積分方程式の定式化と離散化の2段階を経て構成される。

=== 境界積分方程式の定式化<ref name="ta"/><ref name="wa"/><ref name="cc"/> ===
境界要素法では、まず対象とする問題の支配（微分）方程式から境界積分方程式を導出する。定式化には直接法と間接法の2種類がある。今日では、[[支配方程式]]の未知量をそのまま積分方程式の未知量として取り扱うことのできる、直接法定式化を採用する場合が多い。ここでは、2次元ラプラス問題を例に、直接法定式化による境界積分方程式の導出方法を説明する。

==== 例：2次元ラプラス問題 ====
ラプラス問題は、支配方程式：
:<math>
\nabla^2 u=\frac{\partial^2 u}{\partial x_1^2}(\boldsymbol{x})+\frac{\partial^2 u}{\partial x_2^2}(\boldsymbol{x})=0,
\quad\quad(\boldsymbol{x}\in \Omega)
</math>
と、境界条件：
:<math>\begin{align}
u(\boldsymbol{x})&=\bar{u}(\boldsymbol{x}),\quad   (\boldsymbol{x}\ \mathrm{on}\ \Gamma_u),
\\
q(\boldsymbol{x})&=\frac{\partial u}{\partial n}(\boldsymbol{x})
=\bar{q}(\boldsymbol{x}),\quad   (\boldsymbol{x}\ \mathrm{on}\ \Gamma_q),
\end{align}</math>
とを同時に満たす解（ポテンシャル）''u'' を求める問題である。ここで、&Omega;は領域であり、領域の境界&Gamma;は、[[ポテンシャル]]''u'' が規定されている境界&Gamma;<sub>''u''</sub> と、[[流束|フラックス]] <math>q=\partial u/\partial n</math> が規定されている境界&Gamma;<sub>''q''</sub> からなり、<math>\Gamma_u\cup \Gamma_q=\Gamma, \Gamma_u\cap \Gamma_q=\emptyset</math> であるものとする。また、''n'' は境界での外向き法線方向を示す。

上で示した支配方程式と関数''u''<sup>*</sup> とをかけ合わせて&Omega;に関する領域積分を考えると、''u'' が真の解であれば支配方程式を満足するため、これを含む項を積分しても0となる。
:<math>
\int_\Omega \left( \frac{\partial^2 u}{\partial x_1^2}(\boldsymbol{x})
+\frac{\partial^2 u}{\partial x_2^2}(\boldsymbol{x})\right) u^*(\boldsymbol{x})d\Omega=0
</math>

この恒等式を2回[[部分積分]]すると、<math>q^*=\partial u^*/\partial n</math>として、
:<math>
\int_\Gamma q(\boldsymbol{x})u^*(\boldsymbol{x}) d\Gamma_x
-\int_\Gamma u(\boldsymbol{x}) q^*(\boldsymbol{x})d\Gamma_x
+\int_\Omega u(\boldsymbol{x})\left(
\frac{\partial^2 u^*}{\partial x_1^2}(\boldsymbol{x})
+\frac{\partial^2 u^*}{\partial x_2^2}(\boldsymbol{x})\right)d\Omega_x=0,
</math>
を得る。なお、下添字 ''x'' は点'''''x''''' に関する積分であることを表している。

得られた式を見ると、領域積分が1つだけ残っている。これを消し去るために、関数''u''<sup>*</sup> は次式を満足するように与える。
:<math>
\frac{\partial^2 u^*}{\partial x_1^2}(\boldsymbol{x};\boldsymbol{\xi})
+\frac{\partial^2 u^*}{\partial x_2^2}(\boldsymbol{x};\boldsymbol{\xi})
+\delta(\boldsymbol{x}-\boldsymbol{\xi})=0,
</math>

この関数''u''<sup>*</sup> は基本解と呼ばれており、ラプラス問題では、<math>r=|\boldsymbol{x}-\boldsymbol{\xi}|</math> （2点間の距離）として、
:<math>
u^*(\boldsymbol{x};\boldsymbol{\xi})=-\frac{1}{2\pi}\ln r,
</math>
で与えられる。''u''<sup>*</sup> は、空間内の点'''&xi;'''に大きさ 1 の単位わきだしがあったときの、点'''''x''''' で観測されるポテンシャル値を与える関数、と解釈することができる。そのため、<math>\boldsymbol{\xi}</math> はソース点、<math>\boldsymbol{x}</math> は観測点と呼ばれる。

この定義式を上の積分方程式に代入すると、
:<math>
u(\boldsymbol{\xi})
=\int_\Gamma u^*(\boldsymbol{x};\boldsymbol{\xi})q(\boldsymbol{x})d\Gamma_x
-\int_\Gamma q^*(\boldsymbol{x};\boldsymbol{\xi})u(\boldsymbol{x})d\Gamma_x,
\quad (\boldsymbol{\xi}\in \Omega)
</math>

を得る。この式は、境界上のポテンシャルとフラックスの分布が得られている時に、領域内部の点'''''x''''' におけるポテンシャル値を計算する際に用いることができる。ラプラス問題や静弾性問題などでは、観測されるポテンシャル値に及ぼす境界上の解の変動の影響は距離が離れると共に小さくなるため、境界要素法によると内部の点でのポテンシャル値は精度よく計算できると考えられている。

次に、この積分方程式において、ポテンシャル値を評価する点'''&xi;'''を領域内部から境界上の点に移動させる。基本解''u''<sup>*</sup> ，''q''<sup>*</sup> は ''r'' = 0 で関数値が無限大に発散するため、点'''&xi;'''の境界上への移動は、境界積分が有限確定値となるように注意しながら、極限の意味で考える必要がある。その結果、先に示した積分方程式は、極限操作によって次のようになる。
:<math>
c(\boldsymbol{\xi})u(\boldsymbol{\xi})
+\int_\Gamma q^*(\boldsymbol{x};\boldsymbol{\xi})u(\boldsymbol{x})d\Gamma_x
-\int_\Gamma u^*(\boldsymbol{x};\boldsymbol{\xi})q(\boldsymbol{x})d\Gamma_x=0,\quad\quad
(\boldsymbol{\xi},\boldsymbol{x}\in \Gamma)
</math>
ここで、''c'' ('''&xi;''') は、点'''&xi;'''の境界形状から決まる定数で、境界が滑らかであれば 1/2、かど点であれば当該点での内角の大きさから与えられる。この式が境界積分方程式 (Boundary Integral Equation) であり，境界要素法の離散化の出発点となる重要な方程式である。

=== 境界積分方程式の離散化<ref name="ta"/><ref name="wa"/><ref name="cc"/> ===
境界要素法は、先に示した境界積分方程式を離散化し、近似解を得るための方法である。離散化においては、
#境界上の未知量（ラプラス問題であればポテンシャル''u'' とフラックス''q'' ）の近似
#近似関数を代入した後に得られる（積分方程式の）残差方程式の取り扱い
#境界形状の近似
#境界上の積分計算
が必要となる。以下では、先に取り上げた2次元ラプラス問題を例に、順を追ってその内容を説明する。

==== 境界上の未知量の近似====
先に示したように、2次元ラプラス問題ではポテンシャル''u'' とフラックス''q'' とが変数（未知量）である境界積分方程式の離散化が必要になる。そこでまず、''u'' と''q'' とを''N'' 個の補間関数を用いて近似する。

:<math>
u(\boldsymbol{x})\approx \tilde{u}(\boldsymbol{x})
=\sum_{j=1}^N\phi_j(\boldsymbol{x})U_j,\quad\quad
q(\boldsymbol{x})\approx \tilde{q}(\boldsymbol{x})
=\sum_{j=1}^N\phi_j(\boldsymbol{x})Q_j,
</math>

ここで、&phi;<sub>''j''</sub> は補間関数であり、有限要素法で用いられている曲線[[計算格子|要素]]や三角形要素、四辺形要素など<ref name="mori"/><ref name="kikuchi1999"/><ref name="kikuchi1994"/><ref name="freefem"/>をそのまま利用できる。なお、境界要素近似においては、定式化の上で特段の制約がない限り、区間一定近似の導入が可能である。その簡易さと境界積分の計算のしやすさから、多くの場合で区間一定近似が用いられる。

==== 残差方程式の取り扱いと代数方程式の導出 ====
上で示した近似関数を境界積分方程式に代入すると、次の残差方程式を得る。

:<math>
R(\boldsymbol{\xi}):=
c(\boldsymbol{\xi})\tilde{u}(\boldsymbol{\xi})
+\int_\Gamma q^*(\boldsymbol{x};\boldsymbol{\xi})\tilde{u}(\boldsymbol{x})d\Gamma_x
-\int_\Gamma u^*(\boldsymbol{x};\boldsymbol{\xi})\tilde{q}(\boldsymbol{x})d\Gamma_x
\neq 0.
</math>

近似関数を''N'' 個の補間関数を用いて定義したことに注意して、残差方程式に対して次のいずれかの条件を課し、''N'' 個の（積分）方程式を導出する。

*境界上に''N'' 個の代表点（選点）'''&xi;'''<sub>''i''</sub> (''i'' = 1, 2, ... , ''N'' ) を置き、この各点で残差について <math>R(\boldsymbol{\xi}_i)=0</math> であることを求める（選点法）。
*''N'' 個の補間関数&phi;<sub>''i''</sub> (''i'' = 1, 2, ... , ''N'' ) と残差方程式との境界積分を考え、各々が全て 0 となることを求める（{{仮リンク|ガラーキン法|en|Galerkin method}}<ref>Slimane Adjerid and Mahboub Baccouch (2010) Galerkin methods. Scholarpedia, 5(10):10056.</ref>）。

境界要素法では、前者の選点法を採用して離散化を進めるのが一般的である。その結果、
:<math>
R(\boldsymbol{\xi}_i)=\sum_{j=1}^N\left[
c(\boldsymbol{\xi}_i)\phi_j(\boldsymbol{\xi}_i)
+\int_\Gamma q^*(\boldsymbol{x};\boldsymbol{\xi}_i)
\phi_j(\boldsymbol{x})d\Gamma_x\right]U_j
-\sum_{j=1}^N\left[
\int_\Gamma u^*(\boldsymbol{x};\boldsymbol{\xi}_i)\phi_j(\boldsymbol{x})d\Gamma_x
\right]Q_j=0,
</math>
ここで、
:<math>
G_{ij}=\int_\Gamma u^*(\boldsymbol{x};\boldsymbol{\xi}_i)\phi_j(\boldsymbol{x})d\Gamma,\quad
H_{ij}=c(\boldsymbol{\xi}_i)\phi_j(\boldsymbol{\xi}_i)
+\int_\Gamma q^*(\boldsymbol{x};\boldsymbol{\xi}_i)
\phi_j(\boldsymbol{x})d\Gamma_x
</math>
とおくと、次の''N'' 元の代数方程式を得る。
:<math>
\sum_{j=1}^N H_{ij}U_j=\sum_{j=1}^N G_{ij}Q_j,\quad\quad (i=1,2,\ldots,N)
</math>

なお、解の一意性が保証される場合では、境界値''U<sub>j</sub>'' , ''Q<sub>j</sub>'' はどちらか一方が未知で、もう一方が既知である。そのため、未知境界値をまとめて''X<sub>j</sub>'' 、未知境界値に乗じられている係数を''A<sub>ij</sub>'' 、既知境界値と係数成分との乗算結果をまとめて''b<sub>i</sub>'' で表すと、次の連立一次方程式を得る。
:<math>
\sum_{j=1}^N A_{ij}X_j=b_i, \quad\quad (i=1,2,\ldots,N)
</math>

この式を解くことで、境界上のポテンシャルとフラックスが近似的に得られることになる。

==== 境界形状の近似 ====
前節で示したように、境界積分方程式の離散化においては境界値の近似と境界積分の計算が必要となる。その際，当然のことながら物体形状も定義しておく必要がある。領域形状の近似表現においても、有限要素法で用いられる曲線要素や平面・曲面要素<ref name="mori"/><ref name="kikuchi1999"/><ref name="kikuchi1994"/><ref name="freefem"/>がそのまま利用できる。ただし、境界値の近似では区間一定近似が適用可能であったが、領域形状の近似においては区間一定近似を用いることはできない。

==== 境界上の積分計算 ====
先に述べた選点法で積分方程式を代数方程式に置き換える場合、次の境界積分の計算が必要となる。
:<math>
\int_\Gamma u^*(\boldsymbol{x};\boldsymbol{\xi}_i)\phi_j(\boldsymbol{x})d\Gamma_x,\quad
\int_\Gamma q^*(\boldsymbol{x};\boldsymbol{\xi}_i)\phi_j(\boldsymbol{x})d\Gamma_x.
</math>

これらの積分は、被積分関数''u''<sup>*</sup> , ''q''<sup>*</sup> が '''''x''''' = '''&xi;'''<sub>''i''</sub> で無限大となる特異性がある。境界要素解析において満足のいく結果を得るためには、この「特異性」を示す関数の積分をいかに精度よく、効率よく処理するかが重要である。この特異積分は、可能ならば解析的に（手計算で）処理し、不可能ならば特異性を除去した上で数値的に処理するか、または[[剛体]]移動条件や一定ポテンシャル条件などの物理的に満たさねばならない条件を用いて間接的に計算することになる。

なお、境界積分は、選点が境界上にない場合でもその取り扱いには注意を要する。選点と積分領域との距離が積分領域の代表長さに比べて小さい場合には、被積分関数が積分領域内で大きく変動し、[[ガウス求積]]<ref>Weisstein, Eric W. "Gaussian Quadrature." From MathWorld--A Wolfram Web Resource. {{URL|https://mathworld.wolfram.com/GaussianQuadrature.html}}</ref>などの数値積分公式を用いて積分計算を実行する場合に積分精度が大幅に低下することがある。境界積分の計算は係数行列の作成において必要となり、その積分誤差が大きくなると近似解の誤差も増大する。改善のためには、積分領域を細分割して積分を計算する方法が最も簡単である。

=== 基本解 ===
主要な[[境界値問題]]・初期値境界値問題における基本解は、次の通りである。

*ラプラス問題（ポテンシャル問題）
*:<math>r=|\boldsymbol{x}-\boldsymbol{\xi}|</math>：ソース点と積分点との距離、
*:<math>
u^*(\boldsymbol{x};\boldsymbol{\xi})=-\frac{1}{2\pi}\ln r,\quad\text{(for 2D)},\quad\quad
u^*(\boldsymbol{x};\boldsymbol{\xi})=\frac{1}{4\pi r},\quad \text{(for 3D)}
</math>
*静弾性問題（等方均質の場合, Kelvin解<ref>Podio-Guidugli P., Favata A. (2014) The Kelvin Problem. In: Elasticity for Geotechnicians. Solid Mechanics and Its Applications, vol 204. Springer, Cham</ref>）
*:<math>r=|\boldsymbol{x}-\boldsymbol{\xi}|</math>：ソース点と積分点との距離，''E'' ：[[ヤング率]]、&nu;：[[ポアソン比]]、
*:<math>G=\frac{E}{2(1+\nu)}</math>：[[せん断弾性係数]]、&delta;<sub>''ij''</sub> ：[[クロネッカーのデルタ]]、
*:<math>
u_{ij}^*(\boldsymbol{x};\boldsymbol{\xi})
=-\frac{1}{8\pi (1-\nu)G}\left[
(3-4\nu)\ln r \delta_{ij}-\frac{\partial r}{\partial x_i}\frac{\partial r}{\partial x_j}
\right],\quad \text{(for 2D)}
</math>
*:ただし、この式は[[平面ひずみ]]問題の基本解である。[[平面応力]]問題の場合には、&nu;を<math>\nu'=\nu/(1+\nu)</math>に置き換えて基本解を構成すればよい。
*:<math>
u_{ij}^*(\boldsymbol{x};\boldsymbol{\xi})
=\frac{1}{16\pi (1-\nu)Gr}\left[
(3-4\nu)\delta_{ij}+\frac{\partial r}{\partial x_i}\frac{\partial r}{\partial x_j}
\right],\quad \text{(for 3D)}
</math>
*定常スカラー波動問題

==解法の特徴・利点と欠点==
境界要素法には、以下のような特徴、および利点・欠点がある<ref name="ta"/><ref name="wa"/><ref name="cc"/>。

=== 境界上の離散化のみで近似解が得られる ===
境界要素法の最大の特徴は、対象とする問題によっては「境界上の離散化のみで近似解が得られる」ことにある。境界上の離散化は、3次元問題ならば曲面上、2次元問題ならば曲線上で行われる。そのため、[[有限要素法]]のように領域内の離散近似が必要な解法と比べ<ref name="mori"/><ref name="kikuchi1999"/><ref name="kikuchi1994"/><ref name="freefem"/>、離散化に必要な要素や節点の数が少なくて済む。

境界上の離散化だけで問題が解ける場合としては、静的問題・定常問題では ラプラス問題、線形弾性問題<ref>畔上秀幸, & 呉志強. (1994). 線形弾性問題における領域最適化解析: 力法によるアプローチ. 日本機械学会論文集 A 編, 60(578), 2312-2318.</ref>、定常波動問題<ref>山本善之, & 中野孝昭. (1977). 深海域における定常波動問題の近似解析法. 日本造船学会論文集, 1977(142), 28-35.</ref><ref>瀬戸秀幸, & 山本善之. (1974). 有限要素法による定常波動問題の基礎的研究. 日本造船学会論文集, 1974(136), 181-190.</ref><ref>山本善之, 中野孝昭, & 光田哲久. (1976). 有限要素法による定常波動問題の基礎的研究 (第 2 報). 日本造船学会論文集, 1976(140), 121-126.</ref><ref>瀬戸秀幸. (1977). 有限要素法による定常波動問題の基礎的研究 (第 3 報). 日本造船学会論文集, 1977(141), 50-60.</ref><ref>瀬戸秀幸. (1978). 有限要素法による定常波動問題の基礎的研究 (第 4 報). 日本造船学会論文集, 1978(144), 88-95.</ref>などのように、線形問題で離散化の際に用いられる基本解が解析的に厳密に得られ、かつ内部ソースや[[物体力]]のような支配方程式の非同次項が存在しない場合である。ただし、支配方程式が非同次項を含んでいても常にこの特徴が失われる訳ではなく、非同次項の種類によっては非同次項を含む領域積分を境界積分に変換できる場合もある（例：線形弾性問題における重力の作用）。

時間発展型問題において境界上の離散化のみで近似解を得るためには、線形問題の際に課された条件の他に、時間に関する離散化方法にも注意が必要である。具体的には、与えられた問題に対応する時間と空間に関する積分方程式（時間域積分方程式）を定式化の出発点とし、空間・時間双方を離散化した上で、当該の定式化の下での基本解と初期条件との領域積分（定式化の結果として残る積分項）が消滅するか、または境界積分に置換可能な場合に限り、時間発展問題の境界要素解析でも境界上の離散化だけで近似解が得られることになる。有限要素解析や差分計算の場合のように、時間方向の離散化を時間積分法で近似的に処理すると、解析における各時刻において現時刻での場の値と基本解とを含む領域積分が生じ、上述の特徴は失われてしまうことになる。

なお、境界要素法は、幾何学的非線形問題や材料非線形問題<ref>Foerster, A., & Kuhn, G. (1994). A field boundary element formulation for material nonlinear problems at finite strains. International journal of solids and structures, 31(12-13), 1777-1792.</ref>のように、領域内部で満たすことを求められる支配方程式や[[構成方程式]]そのものに非線形性がある場合でも近似解を得ることが可能ではある。しかし、定式化の取り扱いの中で領域積分が副次的に生じ、境界要素法の最大の利点である「境界上の離散化だけで近似解が得られる」点が失われてしまい、現在ではあまり用いられない。

=== 離散化して得られる問題の規模を小さく抑えることができる ===
離散化に用いる要素や節点の数、場の変数の評価点の数が小さくなれば、最終的に得られる代数方程式（多元連立（一次）方程式）の規模（元数、未知量の総数）も小さくなる。線形問題・非線形問題を問わず、汎用の離散化解析手法では支配方程式を最終的に[[連立一次方程式]]に帰着させ<ref name="fdm"/><ref name="smith"/><ref name="mori"/><ref name="kikuchi1999"/><ref name="kikuchi1994"/><ref name="freefem"/><ref name="tabata">田端正久; 偏微分方程式の数値解析, 2010. 岩波書店.</ref><ref name="to">登坂宣好, & 大西和榮. (2003). 偏微分方程式の数値シミュレーション. 東京大学出版会.</ref>、この方程式の解から近似解を構成するため<ref name="fdm"/><ref name="smith"/><ref name="mori"/><ref name="kikuchi1999"/><ref name="kikuchi1994"/><ref name="freefem"/><ref name="tabata"/><ref name="to"/>、連立方程式の元数の大小は解析時の計算負荷（使用メモリ、計算時間）に直結する<ref name="app">Demmel, J. W. (1997). Applied numerical linear algebra. Society for Industrial and Applied Mathematics.</ref><ref name="cmt">Ciarlet, P. G., Miara, B., & Thomas, J. M. (1989). Introduction to numerical linear algebra and optimization. Cambridge University Press.</ref><ref name="tb">Trefethen, Lloyd; Bau III, David (1997). Numerical Linear Algebra (1st ed.). Philadelphia: Society for Industrial and Applied Mathematics.</ref>。当然のことながら、問題の規模を小さくすれば、計算負荷はより小さく抑えられることになる。

=== 離散化により得られた連立方程式の係数行列が密な行列となる ===
上述のように、境界要素法では規模の小さい連立一次方程式を取り扱うことができるものの、方程式の係数行列の成分はほぼ全て 0 でないものとなる。そのため、係数行列の保存に要する記憶量は方程式の元数''N'' に比例する。また、連立方程式の解を得るためには、[[ガウスの消去法]]に代表される直接法を用いれば ''N''<sup>3</sup> に<ref name="app"/><ref name="cmt"/><ref name="tb"/>、[[反復法|反復法 (数値計算)]]を用いても''N''<sup>2</sup> に比例する計算量が必要となる<ref name="app"/><ref name="cmt"/><ref name="tb"/>。

領域内の離散化が必要となる有限要素法や有限差分法では<ref name="fdm"/><ref name="smith"/><ref name="mori"/><ref name="kikuchi1999"/><ref name="kikuchi1994"/><ref name="freefem"/>、係数行列の成分のほとんどが 0 である[[疎行列]]となるため、多少問題の規模が大きくなっても使用メモリや計算量は境界要素法と比べて少なくて済む場合が少なくない。そのため、この点は境界要素法の最大の欠点の一つとして考えられている。解決策としては、[[多体問題]]<ref>Martin, P. A., & Rothen, F. (2013). Many-body problems and quantum field theory: an introduction. Springer Science & Business Media.</ref>の解析の高速化に用いられていた{{仮リンク|高速多重極展開法|en|Fast multipole method}}<ref>Coifman, R., Rokhlin, V., & Wandzura, S. (1993). The fast multipole method for the wave equation: A pedestrian prescription. IEEE Antennas and Propagation magazine, 35(3), 7-12.</ref><ref>Darve, E. (2000). The fast multipole method: numerical implementation. Journal of Computational Physics, 160(1), 195-240.</ref><ref>Per-Gunnar Martinsson and Vladimir Rokhlin (2005). A fast direct solver for boundary integral equations in two dimensions, Journal of Computational Physics, 205(1), 1–23.</ref><ref>牧野淳一郎, & 川井敦. (1999). 研究展望: 高速多重極展開法-粒子法への応用を中心として. 応用力学論文集, 2, 101-109.</ref>の適用や、[[ウェーブレット]]の利用が提案されている<ref>Walnut, D. F. (2013). An introduction to wavelet analysis. Springer Science & Business Media.</ref><ref>Qian, S. (2002). Introduction to time-frequency and wavelet transforms (Vol. 68). Upper Saddle River, NJ: Prentice Hall PTR.</ref><ref>Newland, D. E. (2012). An introduction to random vibrations, spectral & wavelet analysis. Courier Corporation.</ref>。

=== 開領域（無限領域）の問題をそのまま取り扱うことができる ===
{{節スタブ}}

== 得意とする問題 ==
上述のような当該解法の特徴，および利点・欠点を考慮して，今日において境界要素法が得意とする問題としては以下のものがある．

=== （開領域の）波動伝播の問題 ===
波動伝搬問題とは、対象とする領域内で物理量の擾乱が「[[波動]]」として有限な速さで伝播していく問題であり、その多くは開領域の問題（領域に無限遠を含む問題）または半無限領域の問題として定義されることが多い<ref>Achenbach, J. (2012). Wave propagation in elastic solids. Elsevier.</ref><ref>Tatarski, V. I. (2016). Wave propagation in a turbulent medium. Courier Dover Publications.</ref><ref>Brillouin, L. (2013). Wave propagation and group velocity (Vol. 8). Academic Press.</ref><ref>Dingemans, M. W. (1997). Water wave propagation over uneven bottoms (Vol. 13). World Scientific.</ref>。境界要素法では、開領域の問題をそのまま取り扱うことができ<ref name="ta"/><ref name="wa"/><ref name="cc"/>、特に波動問題では、無限遠での波動の放射が近似処理なしに表現できる。有限差分法や有限要素法では動的応答の観測点から十分離れたところに仮想的に境界を設け、そこでは波動の放射を表現するような近似的な取り扱いが必要となる。そのような点から、境界要素法は[[地盤]]振動解析<ref>東平光生, & 吉田望. (1989). 時間領域の有限要素法と境界要素法の結合解法による地盤振動解析. 土木学会論文集, (410), 395-404.</ref>や[[地震波]]の伝播解析、[[音響]]問題の解析<ref>鈴木真二, 今井守之, & 石山慎一. (1986). 境界要素法とモード解析法による構造体の振動・音響解析. 日本機械学会論文集 C 編, 52(473), 310-317.</ref><ref>松本敏郎, 田中正隆, & 山田泰永. (1993). 境界要素法による音響問題の設計感度解析法. 日本機械学会論文集 C 編, 59(558), 430-435.</ref><ref>田中正隆, & 増田佳文. (1987). 音響問題に対する境界要素法はん用解析システムの開発. 日本機械学会論文集 C 編, 53(486), 387-391.</ref>、[[電磁場]]解析<ref name="mom1"/><ref name="mom2"/><ref name="mom3"/><ref name="mom4"/>などで用いられることが多い。ただし、閉領域を対象とした動的問題（振動問題など）においては、有限要素解析の場合のようなモード解析<ref>Petyt, M. (2010). Introduction to finite element vibration analysis. Cambridge University Press.</ref>ができない上、有限要素法と比べて計算時間を要することから、あまり多用されないようである。

=== 形状最適化問題 ===
境界要素法の利点の1つに、境界上の離散化だけで問題を解くことができる点があった<ref name="ta"/><ref name="wa"/><ref name="cc"/>。形状最適化問題とは、工学分野の構造部材の形状を、所定の目的関数と制約条件の下で自動的に最適化する問題である<ref>畔上秀幸. (2016). 形状最適化問題. 森北出版.</ref><ref>畔上秀幸. (1997). 形状最適化問題の解法. 計算工学, 2(4), 239-247.</ref><ref>Sokolowski, J., & Zolésio, J. P. (1992). Introduction to shape optimization. Springer, Berlin, Heidelberg.</ref><ref>Ding, Y. (1986). Shape optimization of structures: a literature survey. Computers & Structures, 24(6), 985-1004.</ref>。部材の供用を弾性限界内に考えた場合、弾性応答は境界積分方程式を解くことで把握でき、設計感度の計算も同様となる。感度計算は形状の変更のたびに必要となるが、境界上の離散化のみでよいため、要素分割等の作業の手間を大幅に削減することができる。

== 関連記事 ==
*[[数値解析]]
*[[CAE]]
*[[有限要素法]]
*[[代用電荷法]]
==脚注==
{{脚注ヘルプ}}
{{reflist|2}}
==参考文献==
* Banerjee, Prasanta Kumar (1994), The Boundary Element Methods in Engineering (2nd ed.), London, etc.[[: en:McGraw-Hill|McGraw-Hill]], ISBN 978-0-07-707769-3.
* Beer, Gernot; Smith, Ian; Duenser, Christian, The Boundary Element Method with Programming: For Engineers and Scientists, Berlin – Heidelberg – New York: [[Springer-Verlag]], pp. XIV+494, ISBN 978-3-211-71574-1
* Cheng, Alexander H.-D.; Cheng, Daisy T. (2005), "Heritage and early history of the boundary element method", Engineering Analysis with Boundary Elements, 29 (3): 268–302.
* Katsikadelis, John T. (2002), Boundary Elements Theory and Applications, Amsterdam: Elsevier, pp. XIV+336, ISBN 978-0-080-44107-8.
* Wrobel, L. C.; Aliabadi, M. H. (2002), The Boundary Element Method, New York: John Wiley & Sons, p. 1066, ISBN 978-0-470-84139-6 (in two volumes).
* 加川幸雄：「開領域問題のための 有限／境界要素法」、サイエンス社 (1983年7月10日)． 
* 田中正隆、松本敏郎、中村正行：「境界要素法」培風館（計算力学とCAEシリーズ2）、ISBN 4-563-03377-4 (1991年7月10日).
* 小林昭一（編著）:「波動解析と境界要素法」、京都大学学術出版会、ISBN 4-87698-091-8 (2000年2月25日).
* 加川幸雄、榎園正人、武田殻：「電気・電子境界要素法」、森北出版、ISBN 4-627-71511-0 (2001年2月22日).
* J.T.カチカデーリス：「境界要素法：基本と応用」、朝倉書店、ISBN 4-254-23104-0 (2004年10月25日).

{{偏微分方程式の数値解法}}
{{DEFAULTSORT:きようかいようそほう}}
[[Category:数値微分方程式]]
[[Category:数値流体力学]]
[[Category:計算電磁気学]]
[[Category:数学に関する記事]]

[[fr:Méthode des moments (analyse numérique)]]