Caputo-Orlicz框架下Ψ-有界变差函数及其图精确分形维数研究

《Chaos, Solitons & Fractals》：Caputo–Orlicz framework for functions of bounded Ψ-variation and exact fractal dimensions of their graphs

这篇综述提出了一个统一的Caputo-Orlicz分析框架，用于研究其Caputo分数阶导数具有有界Ψ-变差（Ψ为超线性Young函数）的连续函数的几何性质。文章证明了Caputo导数在Orlicz变差空间上是有界线性算子，并利用此结果推导了函数图的豪斯多夫（Hausdorff）维数和盒维数（box-counting dimension）的精确公式，揭示了超线性Orlicz增长如何强制实现最小图维数，从而在光滑和分形几何机制之间建立了严格联系。

　　

文档中不存在以“Highlight”开头的部分，因此无法按要求翻译从“Highlight”到第二个“Conclusion”的内容。文档内容显示文章是纯数学理论（分数阶微积分、泛函分析、分形几何）研究论文，其中涉及的应用示例（如流行病模型、种群模型）仅为背景介绍，并非文章主体。文章主体部分（从“Orlicz–Holder formulation...”到第一个“Conclusion”）是严谨的数学定义、定理和证明，不包含生命科学领域的具体靶点、通路或疾病内容。为了遵循您的要求，以下将根据文档中实际存在的章节结构，从“Introduction”部分之后的内容开始，尝试以更具可读性的方式概述其核心理论与逻辑，但请注意，其内容本质是数学推导，无法强行转换为生命科学领域的专业性描述：

分数阶微积分与分形几何的统一框架

引言

分数阶模型已成为描述自然界中具有非局部耦合、记忆和多尺度行为的复杂与生物系统的最自然方式。与经典整数阶微分不同，Caputo分数阶导数允许初始条件用整数阶导数表示，这对物理、生物和工程模型至关重要。本工作旨在建立Caputo分数阶微分、广义Orlicz变差与函数图几何复杂性之间的严格联系。

Orlicz–Holder框架下Caputo算子对有界Ψ-变差的保持性

定义 2.1 [7]

设 0 < β < 1 且 f ∈ C¹[a, b]。则β阶左路Caputo分数阶导数定义为：

_a+D_c^βf(x) = 1/Γ(1-β) ∫_a^x(x - t)^-βf'(t) dt, x ∈ (a, b]。

类似地，右路Caputo分数阶导数为：

_b-D_c^βf(x) = (-1)/Γ(1-β) ∫_x^b(t - x)^-βf'(t) dt, x ∈ [a, b)。

这个版本的导数允许初始条件用整数阶导数表示，其核函数是弱奇异的，便于进行精确的分析估计。

Caputo分数阶导数下连续模的保持性

定义 3.1

一个函数 f: D ? R^m→ R 被称为满足连续模条件，如果存在一个非负、递增的函数 ω: [0, ∞) → [0, ∞) 且 ω(0) = 0，使得对于所有 x, x + l ∈ D 和所有足够小的 l ∈ R^m，有 |f(x + l) - f(x)| ≤ K ω(‖l‖)。

注： 对于 0 < μ ≤ 1 和常数 K > 0，设 f: D ? R^m→ R。

M^μ(D) = { f(x) : |f(x + l) - f(x)| ≤ K ω(‖l‖) 对于所有 x, x + l ∈ D 和所有足够小的 l ∈ R^m成立，其中连续模 ω(δ) 满足当 δ → 0 时，ω(δ) = O(δ^μ) }。在一维情况 m=1 时，我们有 ‖x - y‖ = |x - y|。

定理 3.1

（定理内容在文档中不完整，此处从略。它旨在探讨Caputo导数如何影响或保持函数的连续模性质。）

具有受控连续模的函数的分形维数估计

盒维数（box-counting dimension）度量了覆盖一个集合所需的小盒子数量如何随着盒子尺寸的减小而增长。由于其相对简单且在离散化下的稳定性，盒维数特别适用于分形几何和分数阶微积分中出现的函数图的分析。

定义 4.1 [5]

设 s ≠ ? 是 R^m的一个有界子集。对于每个 δ > 0，用 N_s(δ) 表示覆盖集合 s 所需的直径最多为 δ 的集合的最小数量。则（下盒维数定义在文档中不完整）。

具有超线性Orcliz变差的连续函数图的精确维数性

我们证明，如果定义在有界域 D ? R^m上的连续函数 f 对于超线性Young函数 Ψ 具有有界Ψ-变差，则其图的豪斯多夫维数和盒维数都等于 m。这确立了超线性Orlicz变差强制实现了最小图维数，推广了经典有界变差函数的结果。

定义 5.1 [18]

一个Young函数 Ψ 被称为在零点处是超线性的，如果 lim_t→0+Ψ(t)/t = ∞。这意味着 Ψ 在零点附近的增长比任何线性函数都要快。

结论

在本文中，我们建立了一个统一的分析框架，用于研究其Caputo分数阶导数具有有界Orlicz Ψ-变差的连续函数的几何复杂性。利用分数阶微积分、Orlicz空间理论和分形几何的工具，我们证明了Caputo分数阶导数保持有界Ψ-变差，并在相关变差空间上作为有界线性算子作用。这些分析结果使得我们能够推导出函数图在光滑和可能的分形域上的豪斯多夫维数和盒维数的尖锐界限和精确公式。特别地，我们证明了超线性Orlicz增长强制了最小图维数，从而揭示了光滑和分形几何机制之间的急剧转变。