[論文レビュー] Fractional-order boundary value problem with Sturm-Liouville boundary conditions

Douglas R. Anderson, Richard I. Avery|arXiv (Cornell University)|Nov 20, 2014

Fractional Differential Equations Solutions参考文献 20被引用数 39

ひとこと要約

本稿は、コンフォーマブル分数マージン導関数を用いて分数マージン境界値問題を調査し、この新しい枠組みにおいて2階共役問題を再定式化する。正のグリーン関数を構築し、関数的圧縮拡張不動点定理を適用することで、特定の条件下で少なくとも1つの正の解の存在を証明する。リーマン＝リウヴィル導関数に基づく結果と比較して、解の境界や適用可能性の面で優位性を示す。

ABSTRACT

Using the new conformable fractional derivative, which differs from the Riemann-Liouville and Caputo fractional derivatives, we reformulate the second-order conjugate boundary value problem in this new setting. Utilizing the corresponding positive fractional Green's function, we apply a functional compression-expansion fixed point theorem to prove the existence of a positive solution. We then compare our results favorably to those based on the Riemann-Liouville fractional derivative.

研究の動機と目的

• コンフォーマブル分数マージン導関数を用いて、リーマン＝リウヴィル導関数やカプート導関数とは異なる分数マージン境界値問題における正の解の存在を調査すること。
• 2階共役境界値問題をコンフォーマブル分数マージン微積分の枠組みに再定式化すること。
• 適切なパラメータ制約下で、対応する分数マージングリーン関数の正の性質を導出し、証明すること。
• 関数的圧縮拡張不動点定理を適用して、少なくとも1つの正の解の存在を確立すること。
• 得られた存在結果を、リーマン＝リウヴィル導関数に基づく先行研究と比較し、特に解の境界や条件の面で優位性を示すこと。

提案手法

• 次数 $\alpha$ のコンフォーマブル分数マージン導関数は、$D^{\alpha}f(t) = t^{1-\alpha}f'(t)$ として定義され、従来のリーマン＝リウヴィルまたはカプート定義に置き換える。
• 問題は、$[0,1]$ 上で $-D^{\beta}D^{\alpha}x(t) = f(t,x(t))$ と定式化され、スターミュン＝リウヴィル境界条件 $\gamma x(0) - \delta D^{\alpha}x(0) = 0 = \eta x(1) + \zeta D^{\alpha}x(1)$ を満たす。ここで $\alpha, \beta \in (0,1]$ であり、パラメータは $d = \eta\delta + \gamma\zeta + \gamma\eta/\alpha > 0$ を満たす。
• $\beta$-分数マージン積分は $\int_a^b f(s) d_\beta s = \int_a^b f(s)s^{\beta-1} ds$ として定義され、コンフォーマブル枠組みにおける積分を可能にする。
• グリーン関数 $G(t,s)$ は区分的形で明示的に導出され、与えられたパラメータ制約下で正であることが保証される。
• 作用素 $Ax(t) = \int_0^1 G(t,s)f(s,x(s)) d_\beta s$ に対して関数的圧縮拡張不動点定理を適用し、正の関数の錐内での不動点の存在を証明する。
• 例として、$\alpha=1$, $\beta=1/2$, $f(s,x)=1 + \frac{1}{4}\sin s + x^2$ を用いた比較例を提示し、指定された最小値と最大値の境界を満たす正の解が存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 コンフォーマブル分数マージン導関数の枠組みは、スターミュン＝リウヴィル条件を満たす2階共役境界値問題において、正の解の存在を許容するか？
• RQ2 コンフォーマブル分数マージン共役問題に対して、正のグリーン関数を明示的に構築できるか？また、どのようなパラメータ条件下で正であるか？
• RQ3 コンフォーマブル導関数に基づく存在結果は、リーマン＝リウヴィル導関数に基づく結果と定量的および定性的にどのように比較できるか？
• RQ4 非線形関数 $f(t,x)$ にどのような条件を課すと、関数的圧縮拡張不動点定理を用いて少なくとも1つの正の解の存在が保証されるか？
• RQ5 リーマン＝リウヴィルの場合と比較して、コンフォーマブル設定では正の解の最小値と最大値に対するより鋭い境界を確立できるか？

主な発見

• コンフォーマブル分数マージン導関数により、2階共役境界値問題が再定式化され、不動点理論を用いた新たな存在証明が可能になった。
• スターミュン＝リウヴィル問題のグリーン関数 $G(t,s)$ は明示的に導出され、$\gamma,\delta,\eta,\zeta \geq 0$ および $d > 0$ の条件下で正であることが証明され、その後続の不動点解析の有効性が保証される。
• 共役問題（$x(0)=x(1)=0$）の場合、グリーン関数は $G(t,s) = \frac{1}{\alpha} \min(t^\alpha, s^\alpha) \cdot (1 - \max(t^\alpha, s^\alpha))$ に簡略化され、$[0,1]^2$ 上で正である。
• 問題 $-D^{0.5}x'(t) = 1 + \frac{1}{4}\sin t + x(t)^2$, $x(0)=x(1)=0$ に対して、正の解が存在し、$\min_{t\in[1/4,3/4]}x^*(t) \geq \frac{11}{1000}$ および $\max_{t\in[0,1]}x^*(t) \leq \frac{9}{25}$ を満たす。
• リーマン＝リウヴィルに基づく結果 [3] と比較して、本手法により解の最小値に対するより鋭い境界が得られた。[3] では $\max x^\dagger \geq \frac{1}{14}$ および $\max x^\dagger \leq 1$ のみが示され、最小値に関する情報は得られなかった。
• 関数的圧縮拡張不動点定理により、正の関数の錐内での正の解の存在が成功裏に確立された。作用素 $A$ はその錐を自身に写し、必要な圧縮および拡張条件を満たしている。