パデ近似

数学においてパデ近似（パデきんじ、）とは、関数を近似する「最良」の有理関数のこと。たとえば formula_1 は 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" に対して（存在すれば）一意的に決まる——つまり係数 formula_6 は一意的に決まる。パデ近似 "R"("x") における分母の定数項として 1 を選ぶのはこの一意性のためであり、この正規化をしないとき分母と分子の一意性は定数倍の違いを除いてしか成り立たない。
このように定義されたパデ近似 "R"("x") を
と表し（関数 "f" や変数 "x" は省略されることもある）、これらを並べた表をという。
たとえば指数関数 exp("x") の ["m"/"n"] 次パデ近似は一般化された超幾何関数を用いて
と表される。
計算.
指定された"x"に対して 、パデ近似はWynnのイプシロン・アルゴリズムによって計算できるが、"f"のテイラー級数の部分和
から数列の変形によって計算することもできる。ここで
"f" は形式的なべき級数としてもよく、そのため、パデ近似を発散級数の総和をとるという目的で使用することもできる。
パデ近似を計算する1つの方法は、 多項式最大公約数の拡張ユークリッドアルゴリズムを使用することである。 関係
は、次のような因子"K"("x") の存在と同値である：
これは、formula_13とformula_14 の最大公約数を求める計算における1つのステップのベズー恒等式として解釈できる。
2つの多項式 "p" と "q" の最大公約数を計算するには、筆算によって余りの列
をformula_16 となるまで計算したことを思い出す。 拡張最大公約数のベズー恒等式では、2つの多項式列
を同時に計算する。これによって、各ステップでベズー恒等式
を得る。
["m"/"n"]近似の場合、次の拡張ユークリッドアルゴリズムを実行する。
そしてformula_20の次数が"n"以下である最後の段階にそれを停止する。
次に、多項式formula_21 [ "m" / "n" ]パデ近似を与える。拡張最大公約数計算のすべてのステップを計算すると、 パデ表の対角線が得られる。
リーマン・パデゼータ関数.
発散級数の再足し上げ(resummation)、すなわち
を調べるには、パデまたは単に有理ゼータ関数を次のように導入すると便利である。
ここで、
は関数"f"("x")の次数 ("m","n") のパデ近似である。 "s" = 0での ゼータ正則化値は、発散級数の和と見なされる。
このパデゼータ関数の関数方程式は次のとおりである。
ここで、"a j"と"b j"はパデ近似の係数である。下付き文字「0」は、パデが次数[0/0]であることを意味する。したがって、この場合リーマンゼータ関数となる。
DLogPadéメソッド.
パデ近似を使用すると、関数の臨界点と指数を抽出できる。熱力学では、関数 "f"("x") が点"x" = "r"の近くでformula_26 のように非解析的にふるまうとき、 "x"="r"を臨界点、 "p"を"f"の関連する臨界指数と呼ぶ。"f"の級数展開の十分な項が分かっている場合、パデ近似formula_27の極と残差から臨界点と臨界指数をそれぞれ見積もることができる。 ここで、formula_28 である。
一般化.
パデ近似は、1つの変数で関数を近似する。2つの変数による近似は、チザム近似（J.S.R.チザムにちなむ） と呼ばれ、複数の変数による近似はカンタベリー近似（カンタベリーにあるケント大学にいたグレイブス゠モリスにちなむ） と呼ばれる。
2点パデ近似.
従来のパデ近似は、マクローリン展開を与えられた次数まで再現するように決定されている。そのため、展開点から離れた箇所での値での近似が悪くなることがある。これを回避するのが多点総和法の1種である2点パデ近似である。formula_29で、関数formula_30がある漸近関数formula_31を用いて、
formula_32
と表され、更に、formula_33では、ある漸近関数formula_34を用いて、
formula_35
と表される場合を考える。適切にformula_36の主要なふるまいを選び出すことで、パデ近似を拡張して用いることにより、これらの漸近的振舞いを同時に再現する近似関数formula_37を様々な場合に見つけることができる。これにより、通常のパデ近似で近似の精度が最も悪くなる恐れのあるformula_33で、精度が良くなることが保証される。そのため、2点パデ近似はformula_39で大域的に良い近似を与える手法となりうる。
formula_36が多項式や負べきの級数で表される場合や、指数関数、対数関数で表される場合、formula_41と表される場合などに適用可能である。これを用いて微分方程式の近似解を精度よく与える方法が存在する。また、リーマンゼータ関数の非自明な零点についても実軸上の漸近的ふるまいから、最初の非自明な零点をある程度の精度で見積もることができる。
多点パデ近似.
2点パデ近似をさらに拡張したものが多点パデ近似である。これは、formula_42において、近似したい関数formula_30がは指数formula_44で表される特異点
formula_45
を持つ場合に、2点パデ近似のformula_46に加えて、これらの点formula_47で発散するという性質を再現するように近似する方法である。これにより、関数の特異性の情報を取り込むため、さらに良い精度で関数formula_30の近似が可能となる。
また、区間をいくつかの有限または半無限区間に分割することで、その区間を変数変換により、通常の2点パデ近似が適用可能な形式にすることができる。そのようにして、各区間ごとに得られた2点パデ近似を繋ぎ合わせたものを多点パデ近似と呼ぶこともある。