ボレル・パデ解析のソースを表示

== 概要 ==
ボレル・パデ解析(またはボレル・パデ総和)<ref>{{Cite journal|last=Deeb|first=Ahmad|last2=Hamdouni|first2=Aziz|last3=Razafindralandy|first3=Dina|date=2016-04|title=Comparison between Borel-Padé summation and factorial series, as time integration methods|url=https://hal.archives-ouvertes.fr/hal-02086772|journal=Discrete and Continuous Dynamical Systems - Series S|volume=9|issue=2|pages=393–408|doi=10.3934/dcdss.2016003}}</ref>とは、収束半径が0である場合を含む発散級数の有限個の漸近項しか得られていない場合に、[[パデ近似]]と[[ボレル総和]]を共に用いることで近似的に総和をとる手法である。

== 総和を近似的に取る手順 ==
次のように発散級数<math>f(x)</math>が有限次までしかわかっていないとする。

:<math>f(x)\sim a_0+a_1x+\dots+a_n x^n +O(x^n) \quad (x\rightarrow 0)</math>

このとき、この発散級数の収束半径は０でもよいとする。

まず、<math>f(x)</math>のボレル変換<math>\mathcal{B}f(t)</math>を

:<math>\mathcal{B}f(t)\equiv \sum_{k=0}^n \frac{a_k}{k!}t^n</math>

と計算する。このとき、変換された級数の収束半径が有限であるとしてよいのならば、パデ近似により、<math>f(x)</math>のボレル変換<math>\mathcal{B}f(t)</math>を

:<math>\mathcal{B}f(t)\approx [n/m](t)</math>

と近似できる。ここで、[[パデ近似]]が<math>\mathcal{B}f(t)</math>の良い近似を与えていると考える。最後に、この近似関数のラプラス変換

:<math>f(x)\approx \int_0^\infty e^{-t/x}[n/m](t)dt</math>

を計算したものが、<math>f(x)</math>のボレル・パデ解析またはボレル・パデ総和と呼ばれる<math>f(x)</math>の近似関数である。部分分数分解を用いると、この積分は、[[指数積分]]によって表されることがわかるので、右辺を<math>x</math>について再び展開すると、収束半径0の関数となる。

== 2点ボレル・パデ解析 ==
<math>f(x)</math>の<math>x\rightarrow 0</math>での漸近級数に加えて、<math>x \rightarrow \infty</math>での漸近級数が

:<math>f(x)\sim b_0+b_1/x+\dots+b_m/x^m+o(1/x^m) \quad (x\rightarrow \infty)</math>

と与えられている時、ボレル・パデ解析を拡張することで、<math>x\rightarrow 0</math>での漸近級数と<math>x \rightarrow \infty</math>での漸近級数を同時に再現するような近似的関数を求められることが知られている。この手法を2点ボレル・パデ解析と呼ぶ。2点ボレル・パデ解析のはじめての適用例は、[[アンダーソン転移]]の[[臨界指数]]の解析的見積もりで行われた<ref>{{Cite journal|last=Ueoka|first=Yoshiki|last2=Slevin|first2=Keith|date=2014-07-24|title=Dimensional Dependence of Critical Exponent of the Anderson Transition in the Orthogonal Universality Class|url=https://journals.jps.jp/doi/10.7566/JPSJ.83.084711|journal=Journal of the Physical Society of Japan|volume=83|issue=8|pages=084711|doi=10.7566/JPSJ.83.084711|issn=0031-9015}}</ref>。2点ボレル・パデ解析を行うための手順は、2点パデ近似と同様である<ref>{{Cite book|title=多点総和法入門 高校生でもわかる！！ココと無限のかなたをつなぐ現代応用数学: テイラー展開から微分方程式の応用まで|url=https://www.amazon.co.jp/dp/B08DV9TZVD/|first=良季|last=上岡}}</ref>。

<math>x \rightarrow \infty</math>での漸近級数が、対数関数で

:<math>f(x)\sim A\ln (x) +o(\ln x) \quad (x\rightarrow \infty)</math>

のように与えられる場合も、<math>x\rightarrow 0</math>での漸近級数と<math>x \rightarrow \infty</math>での漸近級数を同時に再現するような近似的関数を求められる手法が存在する<ref>{{Cite journal|last=Ueoka|first=Yoshiki|last2=Slevin|first2=Keith|date=2017-08-28|title=Borel–Padé Re-summation of the β-functions Describing Anderson Localisation in the Wigner–Dyson Symmetry Classes|url=https://journals.jps.jp/doi/abs/10.7566/JPSJ.86.094707|journal=Journal of the Physical Society of Japan|volume=86|issue=9|pages=094707|doi=10.7566/JPSJ.86.094707|issn=0031-9015}}</ref>。

== 参考文献 ==
<references />
[[Category:数値解析]]
[[Category:総和法]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]
{{DEFAULTSORT:ほれる・ぱでかいせき}}