[论文解读] A Note on "Global solutions for nonlinear fuzzy fractional integral and integrodifferential equations"

Robab Alikhani, F. Bahrami|arXiv (Cornell University)|Dec 10, 2014

Fuzzy Systems and Optimization参考文献 3被引用 8

一句话总结

本文通過嚴謹地使用 α-水平集與模糊數的 L-U 表示法，證明了先前研究中關於模糊分數階積微分方程的兩個範例的精確解的正確性。它駁斥了另一項研究所提出的論點，即這些解因錯誤地使用 x − x = 0 對非實模糊數而無效；相反地，本文證明這些解在 α-截面上的區間運算中滿足方程，從而確認其在上下解框架內的有效性。

ABSTRACT

The authors in \cite{alikhani} have given two examples to illustrate their results in which they have been eliminated the technical details. However, the authors in \cite{salahshur} claimed that the examples are incorrect. In fact they conjectured that the authors in \cite{alikhani} have employed the incorrect statement $x-x=0$ for $x\in {\mathbb R}_{\mathcal F}\setminus \mathbb R$ to construct the examples. Here we intend to observe that the basic method used in \cite{alikhani} to prove the validity of the examples is the well-known L-U representation of a fuzzy-number valued function. In this sense, we will make use of the $α$-level sets and show that the examples are correct.

研究动机与目标

• 解決先前關於模糊分數階積微分方程（FFIDEs）研究中兩例精確解正確性的爭議。
• 證明儘管有其他研究聲稱存在錯誤，這些解在數學上仍為有效。
• 澄清原始論文並未在證明中錯誤地假設 x − x = 0 對非實模糊數成立。
• 表明解位於理論框架所要求的上下解定義的邊界之內。
• 確立基於 α-水平集的證明方法足以且正確地驗證模糊分數階微積分中的解。

提出的方法

• 本文使用 α-水平集表示模糊數，將每個模糊數 c 表示為 [c]α = [clα, crα]，其中 α ∈ [0,1]。
• 應用模糊數值函數的 L-U 表示法，分析解在各 α-截面上的行為。
• 透過檢查由分數階積微分方程導出的區間值表達式在每個 α-水平集上的等式關係，來驗證解的有效性。
• 使用區間運算計算範例中方程左側與右側的值，證明對所有 α ∈ [0,1] 均匹配。
• 證明依賴於模糊運算的性質，特別是引理 2.2 中的分配律與純量乘法規則，避免了對非實模糊數使用 x − x = 0 之類的無效運算。
• 引用原始研究中的定理 4.5–4.6，以確認解僅需對某些解位於上下解之間，而非所有解。

实验结果

研究问题

• RQ1 [1] 中例題 1 和 2 所提出的精確解是否在數學上有效，儘管有研究聲稱其存在錯誤？
• RQ2 原始作者是否錯誤地假設 x − x = 0 對不屬於 ℝ 的模糊數成立？
• RQ3 能否僅使用 α-水平集而非模糊運算恆等式來建立解的正確性？
• RQ4 在模糊分數階方程的背景下，是否所有解都必須嚴格位於上下解之間？
• RQ5 在給定模糊分數階導數定義下，解 u(t) = c 和 u(t) = c + ct^{q-1} 是否滿足初始值問題？

主要发现

• 解 u(t) = c 對例題 2.4 成立，因在應用區間運算後，方程兩側的 α-水平集完全匹配。
• 解 u(t) = c + ct^{q-1} 對例題 2.5 成立，透過區間運算在每個 α-截面上確認等式成立。
• [4] 中聲稱在證明中使用了 x − x = 0 的論點是錯誤的；本文表明證明僅依賴於 α-水平集的運算，而非模糊減法。
• 解 u(t) = c 滿足初始條件 lim_{t→0+} t^{1−q}u(t) = ˆ0，符合定義 2.3 的要求。
• 當 c ≥ ˆ0 時，解 u(t) = c + ct^{q−1} 位於下解 ct^{q−1} 與上解 10ct^{q−1} 的邊界之內，與 [1] 中定理 4.5 一致。
• 本文確認並非所有解都必須位於上下解之間——僅需部分解滿足此條件，從而澄清了 [4] 中的誤解。