[论文解读] The Delta-nabla Calculus of Variations for Composition Functionals on Time Scales

Monika Dryl, Delfim F. M. Torres|arXiv (Cornell University)|Nov 19, 2012

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

一句话总结

本文在任意时间尺度上为由delta和nabla积分构成的泛函，发展了一套统一的变分法微积分，推导出Euler–Lagrange方程、横截性条件以及等周问题的最优性准则。其核心贡献是一个统一delta与nabla微积分的通用框架，使混合域上的变分分析成为可能，适用于商问题与连续及离散时间尺度上的约束问题。

ABSTRACT

We develop the calculus of variations on time scales for a functional that is the composition of a certain scalar function with the delta and nabla integrals of a vector valued field. Euler-Lagrange equations, transversality conditions, and necessary optimality conditions for isoperimetric problems, on an arbitrary time scale, are proved. Interesting corollaries and examples are presented.

研究动机与目标

• 在任意时间尺度上，为由delta与nabla积分组成的泛函，发展一个全面的变分法微积分框架。
• 推导出必要最优性条件，包括Euler–Lagrange方程与横截性条件，适用于初始或终端边界条件未指定的变分问题。
• 为涉及时间尺度上delta与nabla积分的等周问题，建立必要条件。
• 在单一变分框架中统一delta与nabla微积分，适用于连续与离散域。
• 提供具体例子与推论，包括商变分问题与在特定时间尺度（如ℝ与{0, ½, 1}）上的约束优化问题。

提出的方法

• 将变分问题表述为标量函数H与时间尺度区间[a,b]上向量值函数的多个delta与nabla积分的复合。
• 应用delta与nabla微积分的Dubois–Reymond引理，推导极值曲线的必要条件。
• 利用rho与sigma算子建立delta与nabla导数和积分之间的关系，以统一微积分框架。
• 通过扰动容许函数x并令第一变分为零，推导Euler–Lagrange方程。
• 在边界值未固定时，通过端点变分推导横截性条件。
• 应用拉格朗日乘子法，为涉及delta与nabla积分约束的等周问题推导必要条件。

实验结果

研究问题

• RQ1 如何将变分法扩展至由任意时间尺度上delta与nabla积分复合而成的泛函？
• RQ2 当边界条件自由或部分指定时，此类复合泛函的必要Euler–Lagrange方程是什么？
• RQ3 在delta-nabla变分法中，当初始或终端值未固定时，横截性条件如何产生？
• RQ4 涉及时间尺度上delta与nabla积分的等周问题的必要最优性条件是什么？
• RQ5 在具体变分问题中，连续时间（ℝ）与离散时间（如{0, ½, 1}）下的结果有何不同？

主要发现

• 本文为由delta与nabula积分构成的泛函建立了适用于任意时间尺度的一般Euler–Lagrange方程。
• 对于自由边界问题，推导出依赖于泛函结构与时间尺度的横截性条件。
• 通过推论3.6求解了商变分问题，得到一个特定的极值函数，其依赖于一个三次方程的根。
• 在时间尺度ℝ上，特定等周问题的极值为x(t) = 3t² - 2t，满足约束条件∫₀¹ t x∇(t) ∇t = 1。
• 在时间尺度{0, ½, 1}上，极值为分段常数函数：x(t) = 0（当t ∈ {0, ½}），x(1) = 1，其中Q = 4，λ = 6。
• 等周问题的解在很大程度上依赖于时间尺度，δ与∇导数及积分的表达形式显著不同。