「二重指数関数型数値積分公式」の版間の差分
表示
削除された内容 追加された内容
タグ: モバイル編集 モバイルウェブ編集 |
編集の要約なし |
||
35行目: | 35行目: | ||
ここで、<math>N</math>は被積分関数<math>f(x)</math>の関数値を評価する回数である。<math>N_-</math>と<math>N_+</math>は、離散化誤差(<math>\Delta I=I-I_h</math>)と打ち切り誤差(<math>\varepsilon=I_h-I_h^{(N)}</math>)がほぼ等しくなるように決める。 |
ここで、<math>N</math>は被積分関数<math>f(x)</math>の関数値を評価する回数である。<math>N_-</math>と<math>N_+</math>は、離散化誤差(<math>\Delta I=I-I_h</math>)と打ち切り誤差(<math>\varepsilon=I_h-I_h^{(N)}</math>)がほぼ等しくなるように決める。 |
||
==特殊関数への応用== |
==特殊関数への応用== |
||
二重指数関数型積分公式は、[[ガンマ関数]]<ref>Yamanaka |
二重指数関数型積分公式は、[[ガンマ関数]]<ref>{{Cite journal |author=Yamanaka, Naoya; Okayama, Tomoaki; Oishi, Shin’ichi |year=2016 |title=Verified error bounds for the real gamma function using double exponential formula over semi-infinite interval |url=https://doi.org/10.1007/978-3-319-32859-1_19 |journal=Mathematical Aspects of Computer and Information Sciences: 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers 6 |pages=224-228 |publisher=Springer International Publishing |doi=10.1007/978-3-319-32859-1_19 |isbn=978-3-319-32859-1}}</ref>や[[ベッセル関数#変形ベッセル関数|変形ベッセル関数]]<ref>Yamanaka N., Okayama T., Oishi S. (2017) Verified error bounds for the modified Bessel function of the second kind using double exponential formula over semi-infinite interval, |
||
⚫ | International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), Miyakojima, Okinawa, Japan (Mar. 14–18, 2017).</ref>、[[行列値関数]]<ref>{{cite journal|和書|author=立岡文理, 曽我部知広, 宮武勇登, 張紹良 |year=2018 |url=https://doi.org/10.11540/jsiamt.28.3_142 |title=二重指数関数型数値積分公式を用いた行列実数乗の計算 |journal=日本応用数理学会論文誌 |ISSN=2424-0982 |publisher=日本応用数理学会 |volume=28 |issue=3 |pages=142-161 |doi=10.11540/jsiamt.28.3_142 |CRID=1390282763047834624}}</ref><ref>{{Cite journal |author=Fuminori Tatsuoka; Tomohiro Sogabe; Yuto Miyatake; Shao-Liang Zhang |year=2020 |title=Algorithms for the computation of the matrix logarithm based on the double exponential formula |journal=Journal of Computational and Applied Mathematics |volume=373 |page=112396 |ISSN=0377-0427 |doi=10.1016/j.cam.2019.112396 |url=https://doi.org/10.1016/j.cam.2019.112396 |quote=Numerical Analysis and Scientific Computation with Applications}} arXiv:1901.07834.</ref>などの特殊関数の高精度計算・[[精度保証付き数値計算]]に応用されている。 |
||
Verified error bounds for the modified Bessel function of the second kind using double exponential formula over semi-infinite interval, |
|||
⚫ | International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), Miyakojima, Okinawa, Japan (Mar. 14–18, 2017).</ref>、[[行列値関数]]<ref>立岡文理 |
||
== 関連項目 == |
== 関連項目 == |
||
52行目: | 52行目: | ||
== 参考文献 == |
== 参考文献 == |
||
{{参照方法|date=2018年6月|section=1}} |
{{参照方法|date=2018年6月|section=1}} |
||
*{{Cite book|和書|author=[[森正武]]|title=[[数値解析]] (第2版)|publisher=[[共立出版]]|year=2002}} |
|||
*{{Cite book|和書 |
|||
|author=[[森正武]] |
|||
|title=[[数値解析]] (第2版) |
|||
|publisher=[[共立出版]] |
|||
|year=2002 |
|||
}} |
|||
* 高橋秀俊:「数値積分法の迷信」、数学セミナー、1971年3月号、[[日本評論社]]。また高橋秀俊:「数理と現象」,[[岩波書店]](1975年1月10日)、頁157–168にも再録。 |
* 高橋秀俊:「数値積分法の迷信」、数学セミナー、1971年3月号、[[日本評論社]]。また高橋秀俊:「数理と現象」,[[岩波書店]](1975年1月10日)、頁157–168にも再録。 |
||
* {{Cite journal |author=Takahasi, Hidetosi; Mori, Masatake |year=1974 |url=https://doi.org/10.2977/prims/1195192451 |title=Double exponential formulas for numerical indefinite integration |journal=Publications of the Research Institute for Mathematical Sciences |ISSN=0034-5318 |volume=9 |issue=3 |pages=721-741 |doi=10.2977/prims/1195192451 |CRID=1390001204957327360 |publisher=国立大学法人 京都大学数理解析研究所}} |
|||
*{{Cite journal |
|||
* {{Cite book|和書|author=Davis, Philip J.; Rabinowitz, Philip; 森正武 |title=計算機による数値積分法 |publisher=日本コンピュータ協会, 科学技術出版社 (発売) |date=1981-02 |series=コンピュータ・サイエンス研究書シリーズ |id={{NDLJP|12623382}} |doi=10.11501/12623382 |CRID=1130000795362154368 |url=https://id.ndl.go.jp/bib/000001708932 |ref=harv}} |
|||
|title=Double exponential formulas for numerical integration |
|||
* {{cite journal|和書|author=森正武 |date=1998-04 |url=https://hdl.handle.net/2433/62026 |title=二重指数関数型変換のすすめ(数値計算アルゴリズムの研究) |journal=数理解析研究所講究録 |ISSN=1880-2818 |publisher=京都大学数理解析研究所 |volume=1040 |pages=143-153 |hdl=2433/62026 |CRID=1050001202061919360 |ref=harv}} |
|||
|author=Takahasi, H. and Mori, M. |
|||
⚫ | |||
|journal=Publications of the Research Institute for Mathematical Sciences |
|||
* {{cite journal|和書|author=渡辺二太 |year=1990 |url=https://doi.org/10.1585/jspf1958.63.397 |title=二重指数関数型数値積分公式について |journal=核融合研究 |ISSN=04512375 |publisher=プラズマ・核融合学会 |volume=63 |issue=5 |pages=397-411 |doi=10.1585/jspf1958.63.397 |CRID=1390282681489156480 |ref=harv}} |
|||
|volume=9 |
|||
|number=3 |
|||
|pages=721–741 |
|||
|year=1974 |
|||
|publisher=[[京都大学]] |
|||
}} |
|||
* P. Rabinowitz, [[森正武]] (翻訳):「計算機による数値積分法」、日本コンピュータ協会(コンピュータ・サイエンス研究書シリーズ 37)、 (1981年2月)。※原著の内容に、訳者による二重指数関数型数値積分法の解説を追加。 |
|||
* [[森正武]]:{{PDFlink|[http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1040-20.pdf 二重指数関数型変換のすすめ]}},[[京都大学数理解析研究所]]講究録、第1040巻(1998),pp. 143–153. |
|||
⚫ | |||
* 渡辺二太(研究論文):{{PDFlink|[http://jasosx.ils.uec.ac.jp/JSPF/JSPF_TEXT/jspf1990/jspf1990_05/jspf1990_05-397.pdf 「二重指数関数型数値積分公式について」]}} (Comment on Double Exponential Formula), (1990年3月). |
|||
==外部リンク== |
==外部リンク== |
||
*[https://www.sat.t.u-tokyo.ac.jp/first/nonlinia/index.php?title=DE-Sinc%E6%95%B0%E5%80%A4%E8%A8%88%E7%AE%97%E6%B3%95&setlang=ja DE-Sinc数値計算法] |
*[https://www.sat.t.u-tokyo.ac.jp/first/nonlinia/index.php?title=DE-Sinc%E6%95%B0%E5%80%A4%E8%A8%88%E7%AE%97%E6%B3%95&setlang=ja DE-Sinc数値計算法] |
||
{{integral}} |
{{integral}} |
||
{{デフォルトソート:にしゆうしすうかんすうかたすうちせきふんこうしき}} |
{{デフォルトソート:にしゆうしすうかんすうかたすうちせきふんこうしき}} |
||
[[Category:数値積分]] |
[[Category:数値積分]] |
2024年1月12日 (金) 00:32時点における最新版
二重指数関数型数値積分公式(にじゅうしすうかんすうがたすうちせきぶんこうしき、英: double exponential formula, 略してDE公式)とは変数変換に基づく数値積分の公式の一つである。この公式は森正武、高橋秀俊によって提案された。変換後の被積分関数が端点で二重指数関数的に減衰することが特徴である。数値積分の効率性の観点で、この公式がいろいろな点で使いやすく、非常に応用が利くと言われている。また、この公式は変換前の被積分関数が端点で特異性を持つときにも有効である。ただし、被積分関数によって適用できない場合があるので注意が必要である。
具体例
[編集]以下、いろいろな積分と、それに対応する二重指数関数型の変換を示す(森 (1998))。
台形公式への適用例
[編集]積分
の場合、変数変換
によって積分は次のような形になる。
これに、きざみ幅が等間隔である台形公式を適用すると、
を得る。さらに、この和を有限項までで打ち切ると、以下の数値積分公式が得られる:
- 。
ここで、は被積分関数の関数値を評価する回数である。とは、離散化誤差()と打ち切り誤差()がほぼ等しくなるように決める。
特殊関数への応用
[編集]二重指数関数型積分公式は、ガンマ関数[1]や変形ベッセル関数[2]、行列値関数[3][4]などの特殊関数の高精度計算・精度保証付き数値計算に応用されている。
関連項目
[編集]脚注
[編集]- ^ Yamanaka, Naoya; Okayama, Tomoaki; Oishi, Shin’ichi (2016). “Verified error bounds for the real gamma function using double exponential formula over semi-infinite interval”. Mathematical Aspects of Computer and Information Sciences: 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers 6 (Springer International Publishing): 224-228. doi:10.1007/978-3-319-32859-1_19. ISBN 978-3-319-32859-1 .
- ^ Yamanaka N., Okayama T., Oishi S. (2017) Verified error bounds for the modified Bessel function of the second kind using double exponential formula over semi-infinite interval, International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), Miyakojima, Okinawa, Japan (Mar. 14–18, 2017).
- ^ 立岡文理, 曽我部知広, 宮武勇登, 張紹良「二重指数関数型数値積分公式を用いた行列実数乗の計算」『日本応用数理学会論文誌』第28巻第3号、日本応用数理学会、2018年、142-161頁、CRID 1390282763047834624、doi:10.11540/jsiamt.28.3_142、ISSN 2424-0982。
- ^ Fuminori Tatsuoka; Tomohiro Sogabe; Yuto Miyatake; Shao-Liang Zhang (2020). “Algorithms for the computation of the matrix logarithm based on the double exponential formula”. Journal of Computational and Applied Mathematics 373: 112396. doi:10.1016/j.cam.2019.112396. ISSN 0377-0427 . "Numerical Analysis and Scientific Computation with Applications" arXiv:1901.07834.
参考文献
[編集]- 森正武『数値解析 (第2版)』共立出版、2002年。
- 高橋秀俊:「数値積分法の迷信」、数学セミナー、1971年3月号、日本評論社。また高橋秀俊:「数理と現象」,岩波書店(1975年1月10日)、頁157–168にも再録。
- Takahasi, Hidetosi; Mori, Masatake (1974). “Double exponential formulas for numerical indefinite integration”. Publications of the Research Institute for Mathematical Sciences (国立大学法人 京都大学数理解析研究所) 9 (3): 721-741. CRID 1390001204957327360. doi:10.2977/prims/1195192451. ISSN 0034-5318 .
- Davis, Philip J.; Rabinowitz, Philip; 森正武『計算機による数値積分法』日本コンピュータ協会, 科学技術出版社 (発売)〈コンピュータ・サイエンス研究書シリーズ〉、1981年2月。doi:10.11501/12623382。NDLJP:12623382 。
- 森正武「二重指数関数型変換のすすめ(数値計算アルゴリズムの研究)」『数理解析研究所講究録』第1040巻、京都大学数理解析研究所、1998年4月、143-153頁、CRID 1050001202061919360、hdl:2433/62026、ISSN 1880-2818。
- 森正武「数値解析における二重指数関数型変換の最適性」『数学』第50巻第3号、日本数学会、1998年、248-264頁、CRID 1390001205066239872、doi:10.11429/sugaku1947.50.248、ISSN 0039470X。
- 渡辺二太「二重指数関数型数値積分公式について」『核融合研究』第63巻第5号、プラズマ・核融合学会、1990年、397-411頁、CRID 1390282681489156480、doi:10.1585/jspf1958.63.397、ISSN 04512375。