[论文解读] The diamond-alpha Riemann integral and mean value theorems on time scales

Agnieszka B. Malinowska, Delfim F. M. Torres|ArXiv.org|Apr 28, 2008

Nonlinear Differential Equations Analysis参考文献 8被引用 39

一句话总结

本文通过达布方法引入时间尺度上的黎曼型钻石-α积分，建立了积分的基础定理，并利用钻石-α导数证明了新的中值定理。主要贡献是提出了适用于时间尺度上驻点的钻石-α费马定理，以及统一时标上δ和∇微积分的广义罗尔定理、拉格朗日中值定理和柯西中值定理。

ABSTRACT

We study diamond-alpha integrals on time scales. A diamond-alpha version of Fermat's theorem for stationary points is also proved, as well as Rolle's, Lagrange's, and Cauchy's mean value theorems on time scales.

研究动机与目标

• 通过达布方法在时间尺度上发展一种黎曼型钻石-α积分。
• 在时间尺度上建立钻石-α积分微积分的基本定理。
• 将经典的中值定理（罗尔、拉格朗日、柯西）推广至钻石-α框架。
• 提出时间尺度上新的局部极值概念，使其更贴近经典微积分。
• 通过组合导数证明时间尺度上钻石-α费马定理，用于驻点分析。

提出的方法

• 基于上、下钻石-α和的达布型构造，定义时间尺度上的钻石-α积分。
• 通过δ和∇积分的线性组合定义钻石-α积分，确保与时间尺度上现有微积分的一致性。
• 提出时间尺度上新的局部极值定义，使得在极值点处存在钻石-α导数为零。
• 通过证明：若函数在某点取得局部极值，则存在α ∈ [0,1]使得钻石-α导数在该点消失，从而证明钻石-α费马定理。
• 通过构造辅助函数并利用钻石-α导数推导等式条件，应用广义中值定理。
• 通过辅助函数和连续性论证，将钻石-α罗尔定理、拉格朗日定理和柯西定理约化为钻石-α费马定理，从而建立这些定理。

实验结果

研究问题

• RQ1 能否通过达布方法在时间尺度上严格定义黎曼型钻石-α积分？
• RQ2 时间尺度上是否存在费马定理的钻石-α版本用于驻点？其与δ/∇版本有何不同？
• RQ3 罗尔定理、拉格朗日定理和柯西定理能否在时间尺度的钻石-α微积分中推广？
• RQ4 时间尺度上新的局部极值概念与实分析中的经典概念有何关联？
• RQ5 在何种条件下钻石-α导数在局部极值处为零？α在此过程中起什么作用？

主要发现

• 通过达布方法成功在时间尺度上定义了黎曼型钻石-α积分，确立了其存在性及基本性质。
• 证明了时间尺度上钻石-α费马定理：若函数在某点取得局部极值，则存在α ∈ [0,1]使得该点的钻石-α导数为零。
• 建立了钻石-α罗尔中值定理：若f在[a,b]上连续，在(a,b)上δ和∇可微，且f(a) = f(b)，则存在α ∈ [0,1]和c ∈ (a,b)，使得f^{owtie_α}(c) = 0。
• 证明了钻石-α拉格朗日中值定理：若f在[a,b]上连续，在(a,b)上δ/∇可微，则存在α ∈ [0,1]和c ∈ (a,b)，使得f^{owtie_α}(c) = (f(b) - f(a))/(b - a)。
• 建立了钻石-α柯西中值定理：若f和g在[a,b]上连续，在(a,b)上δ/∇可微，且对所有t ∈ (a,b)和α ∈ [0,1]均有g^{owtie_α}(t) ≠ 0，则存在ᾱ ∈ [0,1]和c ∈ (a,b)，使得(f(b) - f(a))/(g(b) - g(a)) = f^{owtie_{ᾱ}}(c)/g^{owtie_{ᾱ}}(c)。
• 通过一个例子表明，钻石-α导数在所有局部极值点（如离散时间尺度上的t=0、t=1、t=3）处为零，而在非极值点（如t=2）处非零，从而验证了理论结果。