[论文解读] Semigroups of Operators on Spaces of Fuzzy-Number-Valued Functions with Applications to Fuzzy Differential Equations

Ciprian G. Gal, Sorin G. Gal|arXiv (Cornell University)|Jun 17, 2013

Fuzzy Systems and Optimization参考文献 9被引用 15

一句话总结

本文引入了在模糊数值函数空间上的算子半群，将经典算子理论扩展至模糊微分方程。通过使用模糊算子指数，建立了参数变易公式，从而能够显式求解模糊柯西问题和模糊波动方程，其解推广了经典解并引入了额外的模糊项。

ABSTRACT

In this paper we introduce and study semigroups of operators on spaces of fuzzy-number-valued functions, and various applications to fuzzy differential equations are presented. Starting from the space of fuzzy numbers, many new spaces sharing the same properties are introduced. We derive basic operator theory results on these spaces and new results in the theory of semigroups of linear operators on fuzzy-number kind spaces. The theory we develop is used to solve classical fuzzy systems of differential equations, including, for example, the fuzzy Cauchy problem and the fuzzy wave equation. These tools allow us to obtain explicit solutions to fuzzy initial value problems which bear explicit formulas similar to the crisp case, with some additional fuzzy terms which in the crisp case disappear. The semigroup method displays a clear advantage over other methods available in the literature (i.e., the level set method, the differential inclusions method and other "fuzzification" methods of the real-valued solution) in the sense that the solutions can be easily constructed, and that the method can be applied to a larger class of fuzzy differential equations that can be transformed into an abstract Cauchy problem.

研究动机与目标

• 开发模糊数值函数空间上算子半群的一致理论，克服模糊空间的非线性问题。
• 将经典半群理论扩展至模糊环境，其中由于标量乘法不满足分配律，标准线性代数失效。
• 通过抽象柯西问题的表述，求解模糊微分方程——特别是模糊柯西问题和模糊波动方程。
• 提供类似于经典情形的显式、可构造的解，其中包含在经典极限下消失的额外模糊项。
• 建立模糊算子半群中稳定性分析和初始数据连续依赖性的框架。

提出的方法

• 定义模糊数值函数空间，如 $C([a,b];\mathbb{R}_F)$、$L^p([a,b];\mathbb{R}_F)$ 和 $C^p([a,b];\mathbb{R}_F)$，并赋予适当的度量。
• 引入模糊算术运算 $\oplus$（模糊加法）和 $\odot$（模糊标量乘法），以定义算子作用。
• 使用 $\oplus$-和构造模糊指数 $e^{t \odot A}(u_0) = \sum_{k=0}^\infty \frac{t^k}{k!} A^k(u_0)$，以定义半群 $T(t)$。
• 应用参数变易公式 $u(t) = T(t)(u_0) \oplus \int_0^t T(t-s)g(s)\,ds$ 求解抽象模糊柯西问题。
• 利用 Hukuhara 导数和广义可微性处理模糊偏微分方程，包括模糊波动方程。
• 建立部分级数逼近 $u_m(t,x) = \sum_{p=0}^m \frac{t^{2p}}{(2p)!} \odot u_1^{(2p)}(x) \oplus t \odot u_2(x)$ 在 $t$ 的紧区间上的一致收敛性，用于波动方程的解。

实验结果

研究问题

• RQ1 尽管模糊数值函数空间具有非线性结构，能否将半群理论扩展至此类空间？
• RQ2 参数变易公式 $u(t) = T(t)(u_0) \oplus \int_0^t T(t-s)g(s)\,ds$ 是否能为模糊柯西问题提供有效解？
• RQ3 模糊微分方程的解与经典解有何不同？出现了哪些额外的模糊项？
• RQ4 能否通过 Hukuhara 导数和级数逼近的一致收敛性，利用算子半群求解模糊波动方程？
• RQ5 模糊柯西问题的解是否唯一？其是否对初始数据连续依赖？

主要发现

• 半群 $T(t)(u_0) = e^{t \odot A}(u_0) = \sum_{k=0}^\infty \frac{t^k}{k!} A^k(u_0)$ 使用 $\oplus$-和，为模糊柯西问题提供了可构造的解。
• 对于模糊波动方程，解为 $u(t,x) = \cosh(t \odot A)(u_1(x)) \oplus t \odot u_2(x)$，其中 $\cosh(t \odot A)$ 是度量空间中的收敛级数。
• 序列 $u_m(t,x) = \sum_{p=0}^m \frac{t^{2p}}{(2p)!} \odot u_1^{(2p)}(x) \oplus t \odot u_2(x)$ 在 $t$ 的紧区间上一致逼近精确解。
• 当初始函数为实数值时，模糊解退化为经典解，确认了与经典情形的一致性。
• 解中包含额外的模糊项，如 $E(u_0,v_0) \odot h(t)$，其中 $h(t) = \frac{1}{4}[\cosh(t\sqrt{2}) - t^2 - 1]$，这些项在经典极限下消失。
• 该方法允许构建 $\{T(t)\}_{t \geq 0}$ 的李雅普诺夫稳定性定理，将经典稳定性分析推广至模糊半群。