[论文解读] The Riemann-Stieltjes integral on time scales

Dorota Mozyrska, Ewa Pawłuszewicz+1 more|arXiv (Cornell University)|Mar 6, 2009

Nonlinear Differential Equations AnalysisMathematics参考文献 15被引用 22

一句话总结

本文引入了时间尺度上的黎曼-斯蒂尔杰斯积分，通过使用方框符号（□）统一了δ和∇积分，建立了一个共同的框架。它确立了存在性、线性性及分部积分等基本性质，证明了函数f关于g的黎曼-斯蒂尔杰斯□-积分等于f乘以g□的黎曼□-积分，从而推广了经典不等式，并为时间尺度上的亨克斯托克-库尔茨韦尔-斯蒂尔杰斯积分奠定了基础。

ABSTRACT

We study the process of integration on time scales in the sense of Riemann-Stieltjes. Analogues of the classical properties are proved for a generic time scale, and examples are given.

研究动机与目标

• 为了在文献中正式建立时间尺度上的黎曼-斯蒂尔杰斯积分，填补此前斯蒂尔杰斯积分未被系统研究的空白。
• 通过为δ和∇积分使用统一的符号（□），统一两者，减少证明中的冗余。
• 建立时间尺度上有界区间上黎曼-斯蒂尔杰斯□-积分的基本性质，如存在性、线性性及有界性。
• 为δ和∇黎曼-斯蒂尔杰斯积分证明分部积分公式，通过被积函数导数的性质将其与标准黎曼积分联系起来。
• 为时间尺度上现有积分理论的扩展奠定基础，包括潜在推广至时间尺度上的亨克斯托克-库尔茨韦尔-斯蒂尔杰斯积分。

提出的方法

• 本文定义了时间尺度区间I=[a,b]𝕋的分划，并利用子区间上f的下确界与上确界构造上、下达布-斯蒂尔杰斯□-和。
• 引入I上严格递增函数g的概念，并定义Δgⱼ = g(tⱼ)−g(tⱼ₋₁)以对和进行加权。
• 一个关键技术工具是引理2.1，它确保对任意δ>0，存在一个分划，使得每个子区间的g增量≤δ，或对应于跳跃（ρ(tⱼ)=tⱼ₋₁）。
• 当上积分与下积分相等时，黎曼-斯蒂尔杰斯□-积分被定义为它们的公共值，类似于经典黎曼-斯蒂尔杰斯积分。
• 主要结果（定理4.3）表明∫_a^b f □g = ∫_a^b f g□ □t，证明了黎曼-斯蒂尔杰斯积分与加权黎曼□-积分之间的等价性。
• 通过□-版本的中值定理及σ和ρ算子的性质推导出分部积分公式，得到δ情形下∫f □g = [fg]_a^b − ∫g^σ □f，∇情形下∫f □g = [fg]_a^b − ∫g^ρ □f。

实验结果

研究问题

• RQ1 经典的黎曼-斯蒂尔杰斯积分能否推广到任意时间尺度，同时保持存在性与分部积分等关键性质？
• RQ2 如何通过统一符号，使黎曼-斯蒂尔杰斯积分在时间尺度上对δ和∇积分均一致定义？
• RQ3 在何种条件下，f关于g的黎曼-斯蒂尔杰斯□-积分等于f乘以g□的黎曼□-积分？
• RQ4 这种等价性对时间尺度上不等式与动态方程的推广有何影响？
• RQ5 该框架能否扩展至更一般的积分，如时间尺度上的亨克斯托克-库尔茨韦尔-斯蒂尔杰斯积分？

主要发现

• 对于有界函数f和严格递增函数g，在闭时间尺度区间I=[a,b]𝕋上，黎曼-斯蒂尔杰斯□-积分存在且定义良好。
• 本文证明了∫_a^b f(t) □g(t) = ∫_a^b f(t)g^□(t) □t，表明黎曼-斯蒂尔杰斯□-积分与加权黎曼□-积分等价。
• 分部积分公式成立：δ情形下∫_a^b f □g = [fg]_a^b − ∫_a^b g^σ □f，∇情形下∫_a^b f □g = [fg]_a^b − ∫_a^b g^ρ □f。
• 存在一个分划P_δ，使得子区间满足Δgⱼ ≤ δ，或Δgⱼ > δ且ρ(tⱼ)=tⱼ₋₁，从而确保积分的统一逼近。
• 结果将经典黎曼-斯蒂尔杰斯理论推广至时间尺度，使不等式从ℝ推广至任意时间尺度成为可能。
• 该框架为未来研究时间尺度上的亨克斯托克-库尔茨韦尔-斯蒂尔杰斯积分提供了基础。