[论文解读] Remarks on the calculus of variations on time scales

Rui A. C. Ferreira, Delfim F. M. Torres|ArXiv.org|Jun 21, 2007

Numerical methods for differential equations参考文献 7被引用 18

一句话总结

本文批判性地审视了时间尺度上变分法的基础性结果，指出了近期文献中关键引理和证明中存在的未解决技术问题。文章揭示了在孤立点或边界点处对基本引理、横截性条件及分部积分法应用中的缺陷，认为由于对时间尺度上混合稠密与离散点的 delta 导数和连续性假设处理不当，许多结果缺乏严格的数学依据。

ABSTRACT

The calculus of variations is a classical subject which has gain throughout the last three hundred years a level of rigor and elegance that only time can give. In this note we show that, contrary to the classical field, available formulations and results on the recent calculus of variations on time scales are still at the heuristic level.

研究动机与目标

• 识别并澄清时间尺度上变分法基础性结果中未解决的技术问题。
• 挑战现有证明的严谨性，特别是那些依赖于一般时间尺度上基本引理和分部积分法的证明。
• 突出在左散点或右稠点处对 delta 导数处理不一致的问题。
• 质疑在函数定义域和可微性假设存在疑问的情况下推导出的横截性条件和欧拉-拉格朗日方程的有效性。
• 倡导未来时间尺度上变分法的表述应具备更高的数学严谨性。

提出的方法

• 对文献[2]中引理2.1的分析性批判，重点关注在离散时间尺度上 ρ(a) 和 b 点处的积分域及函数行为。
• 对文献[8]中横截性条件的考察，表明在左散点 b 处（其中 σ(b) ≠ b）欧拉-拉格朗日方程不成立。
• 在离散时间尺度（例如 𝕋 = {1,2,3,4,5}）上构造反例，以证明所提出的引理在孤立点处失效。
• 应用 delta 积分的分部积分公式推导最优性必要条件，强调定义域限制的重要性。
• 分析文献[5]中引理5.1的假设，特别是格林公式所需的偏 delta 导数连续性。
• 重构欧拉-拉格朗日方程的推导过程，表明在变分函数缺乏更强正则性条件时，基本引理无法适用。

实验结果

研究问题

• RQ1 为何在文献[8]中，当 b 为左散端点且 σ(b) ≠ b 时，横截性条件不成立？
• RQ2 当 b 为左散点时，为何在 [a, ρ(b)] 上定义欧拉-拉格朗日方程，且向 b 的延拓无效？
• RQ3 当测试函数 η 在孤立点（如 ρ(a) 或 b）处恒为零时，时间尺度上变分法的基本引理是否仍可适用？
• RQ4 为何格林公式要求偏 delta 导数连续？这如何影响文献[5]中引理5.1的有效性？
• RQ5 假设 C_rd^1 函数具有连续的二阶偏 delta 导数是否合理？该假设是否支持基本引理的应用？

主要发现

• 在文献[8]中，横截性条件在左散端点处无效，因为欧拉-拉格朗日方程在 b 点（其中 σ(b) ≠ b）未定义。
• 文献[2]中的基本引理未在离散时间尺度的 t = ρ(a) 和 t = b 处得到证明，反例表明当测试函数 η 恒为零时，该引理不成立。
• 在文献[5]中，引理5.1无效，因为构造的测试函数 η 在 Ω = [1, σ₁(1)) × [1, σ₂(1)) 上为零，而该集合退化为单点，导致积分为零，无法产生矛盾。
• 文献[5]中格林公式的应用要求偏 delta 导数连续，但 C_rd^1 类函数无法保证这一点，从而削弱了欧拉-拉格朗日方程证明的可靠性。
• 假设 C_rd^1 函数具有连续的二阶偏 delta 导数未被明确陈述也未得到证明，导致推导过程中存在逻辑断层。
• 本文结论认为，时间尺度上变分法的许多现有结果尚未得到严格确立，尤其在边界行为和函数空间假设方面，亟需修订。