[论文解读] Necessary optimality conditions for the calculus of variations on time scales

Rui A. C. Ferreira, Delfim F. M. Torres|ArXiv.org|Apr 4, 2007

Nonlinear Differential Equations Analysis参考文献 13被引用 3

一句话总结

本文通过在拉格朗日函数中以 $ y $ 代替 $ y^\sigma $，提出了时间尺度上变分法的一种更自然的表述方式，从而实现了对高阶 delta 导数的系统性推广。主要贡献在于推导出适用于高阶问题及时间尺度上拉格朗日问题的必要最优性条件——包括欧拉-拉格朗日方程和哈密顿形式，且该条件对正常和异常极值均成立。

ABSTRACT

We study more general variational problems on time scales. Previous results are generalized by proving necessary optimality conditions for (i) variational problems involving delta derivatives of more than the first order, and (ii) problems of the calculus of variations with delta-differential side conditions (Lagrange problem of the calculus of variations on time scales).

研究动机与目标

• 为解决时间尺度上高阶变分问题缺乏系统表述的问题，特别是当拉格朗日函数依赖于高阶 delta 导数时。
• 将现有必要最优性条件（此前仅限于一阶问题）推广至时间尺度上的基本变分法。
• 将理论扩展至时间尺度上的拉格朗日问题，纳入 delta-微分约束条件。
• 提供一个统一框架，通过在拉格朗日函数中使用 $ y $ 而非 $ y^\sigma $，简化欧拉-拉格朗日方程和横截条件的推导。
• 为时间尺度上高阶及约束变分问题的正常和异常极值建立必要条件。

提出的方法

• 提出一种新的变分问题表述，即在拉格朗日函数中使用 $ y(t) $ 而非 $ y^\sigma(t) $，论证其更自然，并有助于推广。
• 推导出涉及 $ y^{\Delta^r} $ 的问题的高阶欧拉-拉格朗日方程的 $ \Delta $-积分形式（定理 4），边界条件位于 $ a $ 和 $ \rho^{r-1}(b) $。
• 为基本问题（2）中的自由端点（自然边界条件）建立横截条件，表明其形式比以往表述更简洁。
• 提出时间尺度上的一般最优控制问题（16），推导出哈密顿形式的必要条件（定理 3），包括伴随方程和最大值原理。
• 利用公式（1）与（2）之间的相互作用进行推广，特别是利用关系式 $ y(t) = y^\sigma(t) - \mu(t)y^\Delta(t) $。
• 将结果应用于离散情形 $ \mathbb{T} = [a,b] \cap \mathbb{Z} $，恢复经典离散欧拉-拉格朗日方程的 delta-微分形式。

实验结果

研究问题

• RQ1 为何时间尺度上变分法的标准表述使用 $ y^\sigma $ 而非 $ y $？这一选择是否最优？
• RQ2 经典欧拉-拉格朗日方程如何推广至时间尺度上的高阶 delta 导数？
• RQ3 时间尺度上带 delta-微分约束的拉格朗日问题的必要最优性条件是什么？
• RQ4 新表述（2）与经典表述（1）在自由端点的横截条件有何比较？
• RQ5 哈密顿形式能否推广至时间尺度上的高阶及约束变分问题？

主要发现

• 使用 $ y(t) $ 而非 $ y^\sigma(t) $ 的表述（2）可导出更简洁、更自然的高阶欧拉-拉格朗日方程，其形式与经典形式高度相似。
• 本文推导出高阶欧拉-拉格朗日方程的 $ \Delta $-积分形式（定理 4），适用于含 $ r $ 阶 delta 导数且边界条件位于 $ a $ 和 $ \rho^{r-1}(b) $ 的问题。
• 为自由端点推导出横截条件，并表明当 $ y(b) $ 自由时，其形式比以往表述更简洁，且与经典情形更相似。
• 对于带 delta-微分约束的时间尺度拉格朗日问题，本文以哈密顿形式建立了必要最优性条件（定理 3），包括伴随方程和最大值原理。
• 在离散情形 $ \mathbb{T} = [a,b] \cap \mathbb{Z} $ 下，所推导的高阶欧拉-拉格朗日方程退化为标准离散欧拉-拉格朗日方程的 delta-微分形式。
• 本文证明新表述（2）与经典表述（1）等价，但在清晰度和推广至高阶及约束问题方面具有显著优势。