[論文レビュー] The General Solutions of Linear ODE and Riccati Equation

Yimin Yan|arXiv (Cornell University)|Jun 24, 2010

Fractional Differential Equations Solutions被引用数 15

ひとこと要約

本稿では、行列指数関数の一般化である積分級数作用素 𝒟(X) と ℱ(X) を導入し、変数係数をもつ線形常微分方程式およびリッカティ方程式に対して明示的な一般解を導出する。この手法により、反復積分を用いて収束性と可逆性を保証する解が得られ、定数係数でない系に対しても古典的な指数関数的解法を拡張する。

ABSTRACT

This paper gives out the general solutions of variable coefficients ODE and Riccati equation by way of integral series E(X) and F(X). Such kinds of integral series are the generalized form of exponential function, and keep the properties of convergent and reversible.

研究の動機と目的

• 標準的な固有値法や定数係数法が適用できない n 階の変数係数線形常微分方程式に対する一般解法の開発。
• 一般化された積分級数を用いて、行列指数関数の解法枠組みを定数でない係数系へ拡張すること。
• リッカティ方程式を高次元線形系に変換することで、統一的な解法アプローチを提供すること。
• 新しい積分級数作用素に対する収束性、可逆性、行列式の性質を確立すること。
• 特定解と行列変換を用いることでリッカティ方程式の解を簡略化し、実用的応用における複雑さを低減すること。

提案手法

• 2 つの積分級数を導入：𝒟[X(x)] = I + ∫₀ˣ X(t)dt + ∫₀ˣ X(t)∫₀ᵗ X(s)ds dt + ⋯ および ℱ[X(x)] = I + ∫₀ˣ X(t)dt + ∫₀ˣ ∫₀ᵗ X(s)ds X(t) dt + ⋯
• d/dx 𝒟[X] = X𝒟[X] および d/dx ℱ[X] = ℱ[X]X が成り立つことを確立し、行列指数関数の動的性質を一般化する。
• X(x) が区間 [0,b] 上で有界かつ可積分であるとき、𝒟[X] および ℱ[X] の収束性と可逆性を証明する。
• 線形常微分方程式の一般解を U = 𝒟[A]·C + 𝒟[A]·∫₀ˣ ℱ[-A(s)]·F(s)ds として導出する。
• ブロック行列を用いてリッカティ方程式を高次元線形系に変換し、𝒟 および ℱ 作用素を用いて解く。
• 特定解の代入を適用し、リッカティ方程式の解を行列逆行列と級数合成に還元することで簡略化する。

実験結果

リサーチクエスチョン

• RQ1 古典的手法が不適切となる変数係数線形常微分方程式に対して、一般解をどのように構成できるか？
• RQ2 非定数係数系において行列指数関数の代わりに用いるために、一般化された積分級数が満たすべき性質は何か？
• RQ3 特定解が既知である場合、リッカティ方程式を積分級数を用いて閉形式で解けるか？
• RQ4 新しい作用素 𝒟[X] と ℱ[X] は、収束性、可逆性、行列式関係といった重要な性質をどのように保っているか？
• RQ5 リッカティ方程式の一般解は、ブロック行列系と積分級数の観点からどのように構造化されるか？

主な発見

• 線形常微分方程式 dU/dx = AU + F の一般解は、U = 𝒟[A]·C + 𝒟[A]·∫₀ˣ ℱ[-A(s)]·F(s)ds で与えられ、A(x) が有界かつ可積分である場合に有効である。
• 作用素 𝒟[X] と ℱ[X] は収束性と可逆性を有し、det𝒟[X] = detℱ[X] = exp(∫₀ˣ tr X(t) dt) を満たす。これは行列指数関数の行列式恒等式を一般化する。
• リッカティ方程式 dW/dx + W P W + W B - A W - Q = 0 の解は W = W₁ W₂⁻¹ で与えられ、[W₁; W₂] = 𝒟[[A, Q; P, B]] · [W|₀; I] を満たす。
• 特定解 Y が存在し、Y|₀ = 0 を満たす場合、一般解は W = Y + 𝒟[A - YP]·W|₀·[I + ∫₀ˣ R(t) dt · W|₀]⁻¹·ℱ[-(B + PY)] に簡略化され、R = ℱ[-(B + PY)]·P·𝒟[A - YP] である。
• 係数行列が有界かつ可積分である限り、解の枠組みは一意性と可逆性を保証する。
• e^{Ax} を積分級数作用素に置き換えることで、この手法は定数係数系に限らない非定数係数系への古典的行列指数関数解法を一般化する。