ボレル・パデ解析 – Wikipedia
ボレル・パデ解析(またはボレル・パデ総和)[1]とは、収束半径が0である場合を含む発散級数の有限個の漸近項しか得られていない場合に、パデ近似とボレル総和を共に用いることで近似的に総和をとる手法である。
総和を近似的に取る手順[編集]
次のように発散級数
f(x){displaystyle f(x)}が有限次までしかわかっていないとする。
- f(x)∼a0+a1x+⋯+anxn+O(xn)(x→0){displaystyle f(x)sim a_{0}+a_{1}x+dots +a_{n}x^{n}+O(x^{n})quad (xrightarrow 0)}
このとき、この発散級数の収束半径は０でもよいとする。
まず、
f(x){displaystyle f(x)}のボレル変換
Bf(t){displaystyle {mathcal {B}}f(t)}を
- Bf(t)≡∑k=0nakk!tn{displaystyle {mathcal {B}}f(t)equiv sum _{k=0}^{n}{frac {a_{k}}{k!}}t^{n}}
と計算する。このとき、変換された級数の収束半径が有限であるとしてよいのならば、パデ近似により、
f(x){displaystyle f(x)}のボレル変換
Bf(t){displaystyle {mathcal {B}}f(t)}を
- Bf(t)≈[n/m](t){displaystyle {mathcal {B}}f(t)approx [n/m](t)}
}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d40077c636d4cc54d4df556443bc56435e92484)
と近似できる。ここで、パデ近似が
Bf(t){displaystyle {mathcal {B}}f(t)}の良い近似を与えていると考える。最後に、この近似関数のラプラス変換
- f(x)≈∫0∞e−t/x[n/m](t)dt{displaystyle f(x)approx int _{0}^{infty }e^{-t/x}[n/m](t)dt}
dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b202dda11c6f13d70cec4bb69d814756ffa42089)
を計算したものが、
f(x){displaystyle f(x)}のボレル・パデ解析またはボレル・パデ総和と呼ばれる
f(x){displaystyle f(x)}の近似関数である。部分分数分解を用いると、この積分は、指数積分によって表されることがわかるので、右辺を
x{displaystyle x}について再び展開すると、収束半径0の関数となる。
2点ボレル・パデ解析[編集]
f(x){displaystyle f(x)}
の
x→0{displaystyle xrightarrow 0}での漸近級数に加えて、
x→∞{displaystyle xrightarrow infty }
での漸近級数が
- f(x)∼b0+b1/x+⋯+bm/xm+o(1/xm)(x→∞){displaystyle f(x)sim b_{0}+b_{1}/x+dots +b_{m}/x^{m}+o(1/x^{m})quad (xrightarrow infty )}
と与えられている時、ボレル・パデ解析を拡張することで、
x→0{displaystyle xrightarrow 0}での漸近級数と
x→∞{displaystyle xrightarrow infty }での漸近級数を同時に再現するような近似的関数を求められることが知られている。この手法を2点ボレル・パデ解析と呼ぶ。2点ボレル・パデ解析のはじめての適用例は、アンダーソン転移の臨界指数の解析的見積もりで行われた[2]。2点ボレル・パデ解析を行うための手順は、2点パデ近似と同様である[3]。
x→∞{displaystyle xrightarrow infty }
での漸近級数が、対数関数で
- f(x)∼Aln(x)+o(lnx)(x→∞){displaystyle f(x)sim Aln(x)+o(ln x)quad (xrightarrow infty )}
のように与えられる場合も、
x→0{displaystyle xrightarrow 0}での漸近級数と
x→∞{displaystyle xrightarrow infty }での漸近級数を同時に再現するような近似的関数を求められる手法が存在する[4]。
参考文献[編集]
- ^ Deeb, Ahmad; Hamdouni, Aziz; Razafindralandy, Dina (2016-04). “Comparison between Borel-Padé summation and factorial series, as time integration methods”. Discrete and Continuous Dynamical Systems – Series S 9 (2): 393–408. doi:10.3934/dcdss.2016003. https://hal.archives-ouvertes.fr/hal-02086772.
- ^ Ueoka, Yoshiki; Slevin, Keith (2014-07-24). “Dimensional Dependence of Critical Exponent of the Anderson Transition in the Orthogonal Universality Class”. Journal of the Physical Society of Japan 83 (8): 084711. doi:10.7566/JPSJ.83.084711.
ISSN 0031-9015. https://journals.jps.jp/doi/10.7566/JPSJ.83.084711.
- ^ 上岡, 良季. 多点総和法入門 高校生でもわかる！！ココと無限のかなたをつなぐ現代応用数学: テイラー展開から微分方程式の応用まで. https://www.amazon.co.jp/dp/B08DV9TZVD/
- ^ Ueoka, Yoshiki; Slevin, Keith (2017-08-28). “Borel–Padé Re-summation of the β-functions Describing Anderson Localisation in the Wigner–Dyson Symmetry Classes”. Journal of the Physical Society of Japan 86 (9): 094707. doi:10.7566/JPSJ.86.094707. ISSN 0031-9015. https://journals.jps.jp/doi/abs/10.7566/JPSJ.86.094707.
Recent Comments