[論文レビュー] A Higher Order Non--Linear Differential Equation and a Generalization of the Airy Function

Kazuyuki Fujii|arXiv (Cornell University)|Dec 15, 2007

Radio Wave Propagation Studies参考文献 3被引用数 5

ひとこと要約

本稿では、リッカティ型方程式を一般化する高階非線形微分方程式を導入し、コール・ホプフ変換によって高階エアリー方程式に写像されることを示す。偶数次の場合（n = 4m−2 および n = 4m）には、一般化された積分表現を用いた明示的積分解が構成され、メリン変換およびガンマ関数を用いて初期値が計算される。

ABSTRACT

In this paper a higher order non-linear differential equation is given and it becomes a higher order Airy equation (in our terminology) under the Cole-Hopf transformation. For the even case a solution is explicitly constructed, which is a generalization of the Airy function.

研究の動機と目的

• リッカティ型方程式 y′ + y² = x を高階非線形ODEへ一般化すること。
• コール・ホプフ変換を施すと高階エアリー方程式 u⁽ⁿ⁾ = xu が得られる非線形方程式を同定すること。
• 偶数次の場合（n = 4m−2 および n = 4m）に高階エアリー方程式の明示的解を構成すること。
• 一般化されたエアリー型解の初期値および漸近的挙動を計算すること。
• 数学的物理および量子光学分野における応用の基盤を提供すること。

提案手法

• リッカティ構造を一般化する再帰的列 fₙ = (d/dx + y)ⁿ⁻¹y を定義する。
• fₙ が y 及びその微分の非線形微分多項式であるとし、高階非線形ODE fₙ = x を提示する。
• 高階コール・ホプフ変換 y = u⁽ⁿ−¹⁾/u を適用し、非線形ODEを高階エアリー方程式 u⁽ⁿ⁾ = xu に写像する。
• 不完全積分を用いて明示的解を構成する：n = 4m−2 および n = 4m の場合に u(x) = (1/π)∫₀^∞ cos(tⁿ⁺¹/(n+1) ± xt) dt と表される。
• メリン変換技術およびガンマ関数の恒等式を用いて、0 ≤ k ≤ n−1 の範囲で初期値 u⁽ᵏ⁾(0) を計算する。
• 最急降下法および振動積分近似を用いて、x ≫ 0 および x ≪ 0 の場合の漸近的挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 非線形微分方程式として、リッカティ方程式 y′ + y² = x を高次の形に一般化できるものは何か？
• RQ2 コール・ホプフ変換は、高階系にどのように拡張され、高階エアリー方程式を導くのか？
• RQ3 偶数次の場合に高階エアリー方程式の明示的積分解を構成できるか？
• RQ4 これらの一般化されたエアリー型関数の初期条件および漸近的挙動は何か？
• RQ5 これらの解は数学的物理または量子光学において有用であるか？

主な発見

• fₙ₊₁ = (d/dx + y)fₙ および f₁ = y により再帰的に定義される fₙ を用いた高階非線形ODE fₙ = x は、リッカティ方程式を一般化する。
• コール・ホプフ変換 y = u⁽ⁿ−¹⁾/u の下で、非線形ODEは正確に高階エアリー方程式 u⁽ⁿ⁾ = xu に写像される。
• n = 4m−2 の場合、解は u(x) = (1/π)∫₀^∞ cos(t⁴ᵐ⁻¹/(4m−1) + xt) dt と与えられる。
• n = 4m の場合、解は u(x) = (1/π)∫₀^∞ cos(t⁴ᵐ⁺¹/(4m+1) − xt) dt と与えられる。
• 初期値は、0 ≤ k ≤ n−1 の範囲で v₊⁽ᵏ⁾(0) = (−1)ᵏ / [(n+1)⁽ⁿ⁻ᵏ⁾⁄⁽ⁿ⁺¹⁾ Γ((n−k)/(n+1))] × cos(π(k+1)/(2(n+1)) + kπ/2) / sin(π(k+1)/(n+1)) と計算される。
• x ≫ 0 の場合の漸近的挙動は、u(x) ∼ exp(−2m/(2m+1) x⁽²ᵐ⁺¹⁾⁄⁽²ᵐ⁾) / (√π √(4m) x⁽²ᵐ−¹⁾⁄⁽⁴ᵐ⁾) であり、x ≪ 0 の場合、単位根の m 個の位相寄与を伴う振動的減衰を示す。