|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。
数学におけるリッシュのアルゴリズムとは不定積分を行う （すなわち、ある式の原始関数を求める）アルゴリズムであり、数学者ロバート・H・リッシュに因む。 その鍵は不定積分の問題を微分代数の問題へと変換することである。 代数学の一分野である微分代数においては、抽象的な微分操作の下での関数の振る舞いが考察される。 このことは、不定積分を困難にしている指数関数、対数関数およびべき乗をブラックボックスとして扱う上で都合が良い。 リッシュは1968年にこのアルゴリズムを発明したが、それを決定手続きと呼んでいた。 このアルゴリズムは与えられた関数が初等関数を不定積分として持つかどうかを決定するものだからである。 そして存在するならば、それを具体的に求める。 1976年には高速だが一般性の低いリッシュ＝ノーマンのアルゴリズムが発明されている。 == 概説 == リッシュのアルゴリズムが不定積分を実行できる対象は初等関数すなわち、 四則演算（＋ － × ÷）、指数関数、そしてこれらの逆関数の組み合わせで得られる関数である。 特に指数関数の逆関数として得られる対数関数や、 複数回の乗算の逆関数として得られる有理数によるべき乗も初等関数に含まれる。 複素数の範囲で考えることで、三角関数も指数関数として扱うことができる。 ピエール＝シモン・ラプラスは、対象が有理関数に限られた場合について不定積分を行うアルゴリズムを得ていた。 すなわち有理関数の不定積分は、有理関数と、有理関数の対数関数との有限個の線形結合で書けることを示した。 このアルゴリズムは解析学の教科書にもしばしば載っているが、 コンピュータ上で実装されたのは1960年代に入ってからである。 ジョゼフ・リウヴィルは、後にリッシュのアルゴリズムによって解決される問題を初めて厳密に定式化した。 リウヴィルは解析学の手法により以下の定理を証明した。方程式 ''g''′ = ''f'' に初等関数の解 ''g'' が存在すれば、 ''n'' 個（有限個）の定数 α''i'' と ''n'' + 1 個の初等関数 ''ui'' および ''v'' が存在し、''f'' を : の形に書き直せる。 そしてリッシュのアルゴリズムによれば、 ''ui'' および ''v'' の候補として考慮すべき初等関数の数は有限個となる。 リッシュのアルゴリズムを直感的に理解するには、指数関数および対数関数が微分演算に対しどう振舞うかを見ればよい。 例えば関数 ''f'' e''g'' （ここで ''f'' および ''g'' は微分可能な関数）について : なので、 e''g'' が不定積分の結果に含まれていたならば、 原始関数の中にも含まれていなければならない。 さらに : なので、 ln''n''''g'' が不定積分の結果に含まれていたならば、 原始関数の中にも ln''m''''g'' （''m'' は ''n'' 以下）が含まれていなければならない。 なおこのアルゴリズムから、 ガウス関数の原始関数（ガウスの誤差関数 erf の定数倍）は初等関数では書けないという事実が従う。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「リッシュのアルゴリズム」の詳細全文を読む スポンサード リンク
|