コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

パデ近似

出典: フリー百科事典『ウィキペディア(Wikipedia)』
アンリ・パデ

数学においてパデ近似(パデきんじ、: Padé approximant)とは、関数を近似する「最良」の有理関数のこと。たとえば log(1 + x) のパデ近似のひとつである:

パデ近似のテイラー級数は関数のテイラー級数と与えられた次数まで一致する。この近似法は1890年頃にアンリ・パデ英語版が発展させたが、冪級数の有理関数による近似という考えを始め、その特徴を研究したのはゲオルク・フロベニウスにまで遡る。

多くの場合、パデ近似は、 テイラー級数を有限項で切り捨てるより良い近似を与えるが、テイラー級数が収束しない場合でも機能する。 これらの理由から、パデ近似はコンピューター計算で広く使用されている。 また、パデ近似は ディオファントス近似および超越数論において補助関数英語版として使用されるが、より正確な評価のためにはパデ近似を応用したアドホックな手法を使うことが一般的である。

また、有理関数であるがために近似として人工的な特異点が発生するおそれがあるが、これはボレル・パデ解析によって回避することができる。

パデ近似がマクローリン展開より良い近似になりやすい理由は、多点総和法の観点から見れば明らかである。それは無限遠での漸近展開が0や定数になる例が多いため、「不完全な2点パデ近似」として、通常のパデ近似がマクローリン展開を改良しているものと解釈出来るからである。

定義

[編集]

滑らかな関数 f(x) と非負整数 m, n に対して f(x) の [m/n] 次パデ近似とは有理関数

であって

を満たすものをいう。(特に n = 0 のときは原点における mテイラー多項式に他ならない。)

有理関数 R(x) の原点におけるテイラー級数は先頭の m + n + 1 項が f(x) のそれと相殺され、

となる。

パデ近似は与えられた非負整数 m, n に対して(存在すれば)一意的に決まる——つまり係数 は一意的に決まる。パデ近似 R(x) における分母の定数項として 1 を選ぶのはこの一意性のためであり、この正規化をしないとき分母と分子の一意性は定数倍の違いを除いてしか成り立たない。

このように定義されたパデ近似 R(x) を

と表し(関数 f や変数 x は省略されることもある)、これらを並べた表をパデ表英語版という。

指数関数 exp(x) のパデ表 [m/n](x)の一部
m \ n 0 1 2 3
0
1
2
3

たとえば指数関数 exp(x) の [m/n] 次パデ近似は一般化された超幾何関数を用いて

と表される。

計算

[編集]

指定されたxに対して 、パデ近似はWynnのイプシロン・アルゴリズム[1]によって計算できるが、fテイラー級数の部分和

から数列の変形によって計算することもできる[2]。ここで

f形式的なべき級数としてもよく、そのため、パデ近似を発散級数の総和をとるという目的で使用することもできる。

パデ近似を計算する1つの方法は、 多項式最大公約数の拡張ユークリッドアルゴリズムを使用することである。 [3] 関係

は、次のような因子K(x) の存在と同値である:

これは、 の最大公約数を求める計算における1つのステップのベズー恒等式として解釈できる。

2つの多項式 pq の最大公約数を計算するには、筆算によって余りの列

となるまで計算したことを思い出す。 拡張最大公約数のベズー恒等式では、2つの多項式列

を同時に計算する。これによって、各ステップでベズー恒等式

を得る。

[m/n]近似の場合、次の拡張ユークリッドアルゴリズムを実行する。

そしての次数がn以下である最後の段階にそれを停止する。

次に、多項式 [ m / n ]パデ近似を与える。拡張最大公約数計算のすべてのステップを計算すると、 パデ表の対角線が得られる。

リーマン・パデゼータ関数

[編集]

発散級数の再足し上げ(resummation)、すなわち

を調べるには、パデまたは単に有理ゼータ関数を次のように導入すると便利である。

ここで、

は関数f(x)の次数 (m,n) のパデ近似である。 s = 0での ゼータ正則化値は、発散級数の和と見なされる。

このパデゼータ関数の関数方程式は次のとおりである。

ここで、a jb jはパデ近似の係数である。下付き文字「0」は、パデが次数[0/0]であることを意味する。したがって、この場合リーマンゼータ関数となる。

DLogPadéメソッド

[編集]

パデ近似を使用すると、関数の臨界点と指数を抽出できる。熱力学では、関数 f(x) が点x = rの近くで のように非解析的にふるまうとき、 x=rを臨界点、 pfの関連する臨界指数と呼ぶ。fの級数展開の十分な項が分かっている場合、パデ近似の極と残差から臨界点と臨界指数をそれぞれ見積もることができる。 ここで、 である。

一般化

[編集]

パデ近似は、1つの変数で関数を近似する。2つの変数による近似は、チザム近似(J.S.R.チザムにちなむ) [4]と呼ばれ、複数の変数による近似はカンタベリー近似(カンタベリーにあるケント大学にいたグレイブス゠モリスにちなむ) [5] と呼ばれる。

2点パデ近似

[編集]

従来のパデ近似は、マクローリン展開を与えられた次数まで再現するように決定されている。そのため、展開点から離れた箇所での値での近似が悪くなることがある。これを回避するのが多点総和法の1種である2点パデ近似である[6]で、関数がある漸近関数を用いて、

と表され、更に、では、ある漸近関数を用いて、

と表される場合を考える。適切にの主要なふるまいを選び出すことで、パデ近似を拡張して用いることにより、これらの漸近的振舞いを同時に再現する近似関数を様々な場合に見つけることができる。これにより、通常のパデ近似で近似の精度が最も悪くなる恐れのあるで、精度が良くなることが保証される。そのため、2点パデ近似はで大域的に良い近似を与える手法となりうる。

が多項式や負べきの級数で表される場合や、指数関数、対数関数で表される場合、と表される場合などに適用可能である。これを用いて微分方程式の近似解を精度よく与える方法が存在する[6]。また、リーマンゼータ関数の非自明な零点についても実軸上の漸近的ふるまいから、最初の非自明な零点をある程度の精度で見積もることができる[6]

多点パデ近似

[編集]

2点パデ近似をさらに拡張したものが多点パデ近似である[6]。これは、において、近似したい関数がは指数で表される特異点

を持つ場合に、2点パデ近似のに加えて、これらの点で発散するという性質を再現するように近似する方法である。これにより、関数の特異性の情報を取り込むため、さらに良い精度で関数の近似が可能となる。

また、区間をいくつかの有限または半無限区間に分割することで、その区間を変数変換により、通常の2点パデ近似が適用可能な形式にすることができる。そのようにして、各区間ごとに得られた2点パデ近似を繋ぎ合わせたものを多点パデ近似と呼ぶこともある。

[編集]
sin(x)[7]
exp(x)[8]
ヤコビの楕円関数 sn(z|3)[9]
ベッセル関数 J5(x)
erf(x)
フレネル積分 C(x)

脚注

[編集]

出典

[編集]
  1. ^ Theorem 1 in Wynn, Peter (Mar 1966), “On the Convergence and Stability of the Epsilon Algorithm”, SIAM Journal on Numerical Analysis 3 (1): 91–122, Bibcode1966SJNA....3...91W, doi:10.1137/0703007, JSTOR 2949688, https://jstor.org/stable/2949688 
  2. ^ Brezenski, C. (1996), “Extrapolation algorithms and Padé approximations”, Applied Numerical Mathematics 20 (3): 299–318, doi:10.1016/0168-9274(95)00110-7 
  3. ^ Problem 5.2b and Algorithm 5.2 (p. 46) in Bini, Dario; Pan, Victor (1994), Polynomial and Matrix computations - Volume 1. Fundamental Algorithms, Progress in Theoretical Computer Science, Birkhäuser, ISBN 978-0-8176-3786-6 
  4. ^ Chisholm, J. S. R. (1973). “Rational approximants defined from double power series”. Mathematics of Computation 27 (124): 841–848. doi:10.1090/S0025-5718-1973-0382928-6. ISSN 0025-5718. 
  5. ^ Graves-Morris, P.R.; Roberts, D.E. (1975). “Calculation of Canterbury approximants”. Computer Physics Communications 10 (4): 234–244. Bibcode1975CoPhC..10..234G. doi:10.1016/0010-4655(75)90068-5. 
  6. ^ a b c d 上岡, 良季. 多点総和法入門 高校生でもわかる!!ココと無限のかなたをつなぐ現代応用数学: テイラー展開から微分方程式の応用まで. https://www.amazon.co.jp/dp/B08DV9TZVD/ 
  7. ^ sin(x)のパデ近似”. Wolfram Alpha. 2022年1月16日閲覧。
  8. ^ exp(x)のパデ近似”. Wolfram Alpha. 2022年1月16日閲覧。
  9. ^ sn(x|3)のパデ近似”. Wolfram Alpha. 2022年1月16日閲覧。

参考文献

[編集]
  • Baker, G. A., Jr.; and Graves-Morris, P. Padé Approximants. Cambridge U.P., 1996
  • Baker, G. A., Jr. Padé approximant, Scholarpedia, 7(6):9756. doi:10.4249/scholarpedia.9756
  • Brezinski, C.; and Redivo Zaglia, M. Extrapolation Methods. Theory and Practice. North-Holland, 1991
  • Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), “Section 5.12 Padé Approximants”, Numerical Recipes: The Art of Scientific Computing (3rd ed.), New York: Cambridge University Press, ISBN 978-0-521-88068-8, http://apps.nrbook.com/empanel/index.html?pg=245 
  • Frobenius, G.; Ueber Relationen zwischen den Näherungsbrüchen von Potenzreihen, [Journal für die reine und angewandte Mathematik (Crelle's Journal)]. Volume 1881, Issue 90, Pages 1–17
  • Gragg, W.B.; The Pade Table and Its Relation to Certain Algorithms of Numerical Analysis [SIAM Review], Vol. 14, No. 1, 1972, pp. 1–62.
  • Padé, H.; Sur la répresentation approchée d'une fonction par des fractions rationelles, Thesis, [Ann. \'Ecole Nor. (3), 9, 1892, pp. 1–93 supplement.
  • Wynn, P. (1966), “Upon systems of recursions which obtain among the quotients of the Padé table”, Numerische Mathematik 8 (3): 264–269, doi:10.1007/BF02162562 

関連項目

[編集]

外部リンク

[編集]