偏微分方程式の数値解法

提供: testwiki
ナビゲーションに移動 検索に移動

テンプレート:Differential equations テンプレート:計算物理学 偏微分方程式の数値解法 (へんびぶんほうていしきのすうちかいほう、テンプレート:Lang-en-short) は、数値解析において偏微分方程式を数値的に解く技術の総称である[1][2]。 テンプレート:Seealso

背景

数値解法の必要性

これまで様々な自然現象 (物理現象など) を記述するために多くの偏微分方程式が作られ、多くの数学者たちがその解法を探求してきたが、ソリトン方程式に対する広田の方法[3]やen:inverse scattering transform[4] などを除いて、偏微分方程式を手計算だけで厳密に解く技術はほとんどないに等しい。そのため多くの研究者たちが偏微分方程式を数値的に解く技術について研究をしてきた[1][2]。

差分法とその問題点

テンプレート:Main 偏微分方程式を数値的に解く技術の中で最も初歩的なものは差分法である。これは微分を差分で近似して解くというものである[1][2]。

f′(x)≃f(x+h)−f(x)h,h<<1.

この方法で精度良く解けるということは少なからずあるが、万能な解法ではない。例えば

などは非線形性によって差分法では精度の良い計算ができず、数値実験結果だけを見ていると間違った結論 (幻影解) にたどり着く危険がある。そのため、有限要素法・有限体積法などのように差分法以外の方法が追求されると同時に[1][2]、よりよい差分化を模索する動きが始まった。

差分法の進化

ここで言う「よりよい差分化」とは、元の方程式が持つ何らかの性質を保存した差分化のことである。着目する性質によって流派が異なる。

可積分差分スキーム

テンプレート:Main 広田良吾[A 1][A 2][A 3][A 4][A 5]やAblowitzたち[4][A 6][A 7][A 8][A 9]は可積分性 (テンプレート:Lang-en-short, 可積分系で最も重要視される性質) を保存する差分化スキームを開発した。これは今日では可積分差分スキームとして知られており、差分法などの標準的手法と比べて精度がよくなることもわかっている[A 10][A 11][A 12][A 13]。差分間隔を自動で調整する可積分差分スキームも開発されている[A 14]。

構造保存型数値解法

一方で、多くの偏微分方程式は物理現象に由来しているので、保存則・散逸則など何らかの物理的性質を保存した差分化も考えられる。このような差分解法は構造保存型数値解法 (テンプレート:Lang-en-short) と総称される[A 15][A 16]。代表的なものとして、

などがある。数値線形代数との関連も研究されている[A 26][A 27]。

汎用解法

可積分差分スキーム・構造保存型数値解法は高精度な解法だが、与えられた方程式の性質に依存するため、汎用性が低いという弱点がある。そのため現代でも、可積分差分スキーム・構造保存型数値解法の研究と並行して、高精度で汎用性のある差分法が研究されている。例えば、

等がある。

解の存在検証

テンプレート:Seealso ここまで高精度に解く技術について説明したが、それと並行して「計算機で解の存在を検証する」という研究もおこなわれている[8][9][10][11][B 1]。このような研究が必要となるのは、近似解が求まったとしてもそれが幻影解である危険性があるからである。実際、すでに幻影解は報告されている[8][B 2][B 3]。解の存在検証に関する研究は活発に行われており[8][9][10][11][B 4][B 5][B 6][B 7]、2012年度日本数学会秋季賞や2011年度日本応用数理学会論文賞[B 8]を受賞している。

固有値評価

解の一意存在性検証など、偏微分方程式に関連する多くの問題は微分作用素の固有値評価と密接に関係している[8]。そのため、偏微分方程式の近似解法・誤差評価の研究と並行して、固有値問題の近似解法[A 36][A 37][A 38][A 39][A 40][A 41]・誤差評価[B 4][B 9]について様々な研究がなされている。

関連する関数解析学の概念

関連ライブラリ・ソフトウェア

有限要素法

これまで解の存在検証・計算機援用証明が行われた方程式

主な研究者

日本

海外

出典

テンプレート:Reflist

離散化・近似解法に関する論文

テンプレート:Reflist

精度保証・計算機援用証明に関する論文

テンプレート:Reflist

参考文献

和書

テンプレート:Div col

  • 菊池文雄、斎藤宜一：数値解析の原理、岩波書店　(2016年）.
  • 山本哲朗：「境界値問題と行列解析」、朝倉書店（朝倉数学大系 7）、(2014年11月)。
  • 田端正久：「偏微分方程式の数値解析」、岩波書店 、ISBN 978-4-00-005979-4 (2010年).
  • 三井斌友 et. al.：「微分方程式による計算科学入門」、共立出版（2004年）。
  • 神谷紀生、北栄輔：「偏微分方程式の数値解法」、共立出版（工系数学講座 11）、テンプレート:ISBN2, (1998年)。
  • S. J. Farlow(著)、伊理正夫・伊理由美(訳)：「偏微分方程式：科学者・技術者のための使い方と解き方」, 朝倉書店、テンプレート:ISBN2（1996年12月）。
  • 登坂宣好、大西和榮：「偏微分方程式の数値シミュレーション」、東京大学出版会（2003年)。
  • 山崎郭滋(著) :「偏微分方程式の数値解法入門」、森北出版 (1993年).

テンプレート:Div col end

有限要素法

テンプレート:Div col

テンプレート:Div col end

境界要素法

スペクトル法

洋書

  • Iserles, A. (2009). A first course in the numerical analysis of differential equations. Cambridge University Press.
  • Computational Partial Differential Equations Using MATLAB, Jichun Li and Yi-Tung Chen, en:Chapman & Hall.
  • Ames, W. F. (2014). Numerical methods for partial differential equations. Academic Press.

有限要素法

テンプレート:Div col

  • Brenner, S., & Scott, R. (2007). The mathematical theory of finite element methods. Springer Science & Business Media.
  • Johnson, C. (2012). Numerical solution of partial differential equations by the finite element method. Courier Corporation.
  • Strang, G., & Fix, G. J. (1973). An analysis of the finite element method. Englewood Cliffs, NJ: Prentice-hall.
  • Boffi, D., Brezzi, F., & Fortin, M. (2013). Mixed finite element methods and applications. Heidelberg: Springer.
  • Braess, D. (2007). Finite elements: Theory, fast solvers, and applications in solid mechanics. Cambridge University Press.

テンプレート:Div col end

有限差分法

  • Smith, G. D. (1985). Numerical solution of partial differential equations: finite difference methods. Oxford University Press.
  • Strikwerda, J. C. (2004). Finite difference schemes and partial differential equations. SIAM.

有限体積法

テンプレート:Seealso

  • Eymard, R. Gallouët, T. R. Herbin, R. (2000) The finite volume method, in Handbook of Numerical Analysis, Vol. VII, 2000, p. 713–1020. Editors: P.G. Ciarlet and J.L. Lions.
  • LeVeque, Randall (2002), Finite Volume Methods for Hyperbolic Problems, Cambridge University Press.

境界要素法

テンプレート:Seealso テンプレート:Div col

  • Banerjee, Prasanta Kumar (1994), The Boundary Element Methods in Engineering (2nd ed.), London, etc.: en:McGraw-Hill, テンプレート:ISBN2.
  • 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, テンプレート:ISBN2
  • 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, テンプレート:ISBN2.
  • Wrobel, L. C.; Aliabadi, M. H. (2002), The Boundary Element Method, New York: John Wiley & Sons, p. 1066, テンプレート:ISBN2 (in two volumes).

テンプレート:Div col end

スペクトル法

テンプレート:Seealso テンプレート:Div col

  • Lloyd N. Trefethen (2000) Spectral Methods in MATLAB. SIAM, Philadelphia, PA.
  • D. Gottlieb and S. Orzag (1977) "Numerical Analysis of Spectral Methods : Theory and Applications", SIAM, Philadelphia, PA.
  • J. Hesthaven, S. Gottlieb and D. Gottlieb (2007) "Spectral methods for time-dependent problems", Cambridge UP, Cambridge, UK.
  • Canuto C., Hussaini M. Y., Quarteroni A., and Zang T.A. (2006) Spectral Methods. Fundamentals in Single Domains. Springer-Verlag, Berlin Heidelberg

テンプレート:Div col end

構造保存型数値解法

テンプレート:Div col

  • Leimkuhler, B. and Reich, S., Simulating Hamiltonian Dynamics, Cambridge University Press, Cambridge, 2004.
  • Sanz‐Serna, J. M. and Calvo, M. P., Numerical Hamiltonian Problems, Applied Mathematics and Mathematical Computation 7, Chapman & Hall, London, 1994.
  • Arnold, D. N., Bochev, P. B., Lehoucq, R. B., Nicolaides, R. A. and Shashkov, M. (eds.), Compatible Spatial Discretizations, in The IMA Volumes in Mathematics and Its Applications, Springer, New York, 2006.
  • Budd, C. and Piggott, M. D., Geometric integration and its applications, in Handbook of Numerical Analysis, XI, North‐Holland, Amsterdam, 2003, 35‐139.
  • Christiansen, S. H., Munthe‐Kaas, H. Z. and Owren, B., Topics in structure‐preserving discretization, en:Acta Numerica, 20 (2011), 1‐119.
  • Shashkov, M., Conservative Finite‐Difference Methods on General Grids, en:CRC Press, Boca Raton, 1996.
  • Jan S. Hesthaven: "Numerical Methods for Conservation Laws: From Analysis to Algorithms", SIAM, ISBN 978-1-611975-09-3 (2018).

テンプレート:Div col end

外部リンク

テンプレート:ウィキプロジェクトリンク テンプレート:ウィキポータルリンク

解説記事

研究グループ

精度保証付き数値計算

構造保存型数値解法

テンプレート:偏微分方程式の数値解法 テンプレート:数学

  1. ↑ 1.0 1.1 1.2 1.3 1.4 1.5 1.6 テンプレート:Cite book
  2. ↑ 2.0 2.1 2.2 2.3 森正武. 数値解析 第2版. 共立出版.
  3. ↑ 広田良吾. (1992). 直接法によるソリトンの数理. 岩波書店.
  4. ↑ 4.0 4.1 Ablowitz, M. J., & Segur, H. (1981). Solitons and the inverse scattering transform. SIAM.
  5. ↑ Hairer, E., Lubich, C., & Wanner, G. (2006). Geometric numerical integration: structure-preserving algorithms for ordinary differential equations. en:Springer Science & Business Media.
  6. ↑ 吉田春夫. (1995). シンプレクティック数値解法 (古典力学の輝き--未解決問題と新しい発見). 数理科学, 33(6), p37-46.
  7. ↑ Furihata, D., & Matsuo, T. (2010). Discrete variational derivative method: a structure-preserving numerical method for partial differential equations. Chapman and Hall/CRC.
  8. ↑ 8.0 8.1 8.2 8.3 8.4 8.5 8.6 精度保証付き数値計算の基礎』大石進一 編著、コロナ社、2018年。
  9. ↑ 9.0 9.1 9.2 テンプレート:Cite book
  10. ↑ 10.0 10.1 10.2 中尾充宏, & 山本野人. (1998). 精度保証付き数値計算 チュートリアル: 応用数理最前線.
  11. ↑ 11.0 11.1 11.2 中尾充宏, & 渡部善隆. (2011). 実例で学ぶ精度保証付き数値計算, サイエンス社.
  12. ↑ Logg, A., Mardal, K. A., & Wells, G. (Eds.). (2012). Automated solution of differential equations by the finite element method: The FEniCS book. en:Springer Science & Business Media.
  13. ↑ Langtangen, H. P., Logg, A., & Tveito, A. (2016). Solving PDEs in Python: The FEniCS Tutorial I. Springer International Publishing.
  14. ↑ Deuflhard, P., & Weiser, M. (2012). Adaptive numerical solution of PDEs. Walter de Gruyter.


引用エラー: 「A」という名前のグループの <ref> タグがありますが、対応する <references group="A"/> タグが見つかりません
引用エラー: 「B」という名前のグループの <ref> タグがありますが、対応する <references group="B"/> タグが見つかりません

「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=偏微分方程式の数値解法&oldid=12083」から取得