直觉模糊微分方程的水平集方法：从端点传播到可容许重构与类型-I水平可微性

《Examples and Counterexamples》：A level-set approach to intuitionistic fuzzy differential equations

　　

摘要专业翻译 通过隶属度与非隶属度水平区间，研究了一类初值具有不确定性的直觉模糊微分方程（IFDE）。标量端点传播与可容许直觉模糊数的重构被分别处理。建立了充分的重构条件，并给出一个反例证明紧致的嵌套双参数区间未必能定义直觉模糊数。对于在状态变量上全局Lipschitz连续的实值场，标量流同时传播两类截族，并保持紧致性、嵌套性、水平连续性与Atanassov相容性。该传播产生连续的直觉模糊轨迹，且无需场的单调性。若场同时非递减，则轨迹是类型-I水平可微的，满足IFDE，并在截度量下满足Gronwall估计。非递增与非单调场需要不同的端点处理方式。一个具有已知流的非线性有界方程展示了重构、端点收敛、嵌套性、相容性与连续依赖性。四阶Runge–Kutta方法达到了其预期的收敛阶。

论文解读文章

一、研究背景与问题提出

模糊微分方程通过Hukuhara导数、Seikkala导数、微分包含或水平传播等途径，对不精确的初值、参数或强迫项进行建模。强广义与广义Hukuhara导数扩展了经典Hukuhara导数所不能容纳的端点序。直觉模糊集在隶属度基础上引入了非隶属度与犹豫度，直觉模糊微分方程（IFDE）的研究通常采用预先给定的参数化直觉模糊数或系统，或针对特定方程类建立存在性，或发展解析与数值逼近方法。然而，既有方法大多从可容许直觉模糊数或固定参数化出发，一个反向问题始终未获解决：即使所有联合区间均紧致且嵌套，传播后的端点也未必能重构满足μ+ν≤1的函数。换言之，端点方程的可解性与直觉模糊轨迹的存在性之间存在根本性断裂，而这一断裂恰恰源于隶属度与非隶属度两个截族之间的相容性约束。现有研究关注模糊轨迹的微分与计算，却未处理隶属度与非隶属度截族之间的相容性问题。

二、研究内容与主要结论

研究人员将标量端点可解性、可容许直觉模糊轨迹的重构以及指定端点序下的可微性三者分离处理。研究给出了两个截族相互关联的重构条件，并构造了一个反例证明嵌套的联合截集未必能分解为两个单参数截族。进一步证明，标量Lipschitz流在无需单调性的条件下即可保持重构性质；非递减性仅在类型-I水平导数与IFDE的满足中才被需要。这些结果补充了既有存在性与数值方法，同时指出了独立端点传播的精确局限性。具体而言，研究建立了四个主要结果：关联的隶属度与非隶属度截族及其双参数交集；充分重构条件与一个不可重构的嵌套联合截族反例；保持重构的Lipschitz流传播，并区分于类型-I水平可微性所需的非递减条件；以及非线性水平网格验证、收敛计算与扰动测试。

三、关键技术方法

研究采用水平截集方法，将直觉模糊数分解为隶属度截族与非隶属度截族，通过标量流对每个端点独立传播。核心方法包括：定义可容许截对并建立重构定理，从截族反演隶属度与非隶属度函数；利用标量微分方程流在同胚意义下的保序性与交集保持性，证明传播过程保持截族的可容许性；在非递减场假设下建立类型-I水平导数与IFDE的存在唯一性；数值验证采用经典四阶Runge–Kutta方法，在21×21水平网格上检验截族可容许性、相容性与联合截集重构等式，并以平移扰动检验连续依赖性上界。

四、研究结果

重构定理与反例

研究建立了充分重构条件：若一对区间族满足非空紧致、嵌套、水平连续性（左连续或右连续）以及Atanassov相容性条件M_α?N_1?α，则由sup与inf定义的函数对构成直觉模糊数，且其截集恰好还原为给定的截族。反例表明，联合截族K_α,β=[α, 2?α+β]虽满足双参数嵌套性，却无法由任何直觉模糊数生成，因为相容性约束与联合截集等式在特定参数处产生矛盾。

流传播的保重构性

在全局Lipschitz条件下，标量流Φ(t,0,·)是递增同胚，保持区间包含关系、交集运算与闭包运算。将初始截族逐点传播后，紧致性、嵌套性、水平连续性与Atanassov相容性全部保持，从而重构出唯一的直觉模糊轨迹，且该轨迹在d_IF度量下连续。此结论不要求场单调，仅依赖一维流解的唯一性。

类型-I水平可微解的存在唯一性

当场f(t,·)非递减时，传播轨迹的四个端点函数分别满足标量微分方程，导数截族满足全部可容许条件，故轨迹是类型-I水平可微的且满足IFDE。唯一性由标量初值问题的唯一性逐端点传递得到。

连续依赖性

通过Gronwall不等式，得到d_IF(u(t), v(t)) ≤ e^Lt d_IF(u₀, v₀)的稳定性估计。

结构推论

研究进一步给出三个推论：截可容许性的保持、清晰坍缩（初值退化为单点则轨迹始终为单点）、以及线性场f(t,x)=a(t)x+b(t)（a(t)≥0）下的变分常数公式与唯一可微解。

非线性数值验证

以?=κ tanh x（κ=0.12，0≤t≤10）为模型，其精确流为arsinh(e^κt sinh x₀)。初始直觉模糊数的隶属度截族为[0.20+0.15α, 0.50?0.15α]，非隶属度截族为[0.35?0.25β, 0.35+0.25β]。数值结果表明：代表性联合截集在传播中保持正确序与嵌套；Runge–Kutta方法的观测收敛阶接近4；全部截族可容许性检验的最大数值违例低于2×10^?15；平移扰动δ=10^?3的实测距离为3.1648×10^?3，低于理论界e^1.2×10^?3=3.3201×10^?3。

五、讨论与结论

讨论部分指出，非递减假设并非为获得标量端点解或保持状态截序而设置，而是因为类型-I水平导数下的IFDE恒等式要求f(t,[x^?,x⁺])=[f(t,x^?), f(t,x⁺)]。非递增场产生反向端点序，对应强广义或广义Hukuhara可微性中的类型-II端点序，可描述宽度递减的情形；非单调场的区间像由区间上的最小值和最大值确定，极值点可能位于区间内部，固定的解耦端点系统一般不等价于模糊微分方程，需采用耦合极值系统、微分包含或更一般的导数概念。

研究结论为：标量端点可解性并不保证直觉模糊存在性，端点族必须重构相容的隶属度与非隶属度函数；定理3.2给出充分条件，例3.3表明紧致嵌套联合截集单独不足；标量Lipschitz流在无需单调性的条件下保持可容许性并产生唯一连续轨迹与稳定性估计；该传播结果与可微性截然不同，只有非递减场才给出定义2.2的类型-I水平导数并满足方程(15)；非递增与非单调场需要第5节的替代表述；数值计算确认了重构检验与四阶收敛。