[论文解读] Existence of minimizers for generalized Lagrangian functionals and a necessary optimality condition - Application to fractional variational problems

Loïc Bourdin, Tatiana Odzijewicz+1 more|arXiv (Cornell University)|Jan 1, 2014

Fractional Differential Equations Solutions参考文献 25被引用 12

一句话总结

本文建立了涉及一般线性算子 $K$ 的广义拉格朗日泛函存在极小化子的充分条件，并推导出一种类似欧拉－拉格朗日的必要最优性条件，应用范围涵盖分数阶变分问题。核心贡献是一个统一框架，将存在性与最优性结果扩展至核算子，包括黎曼－利维维塔和哈达玛分数阶积分，从而解决了分数阶变分计算中的一个开放问题。

ABSTRACT

We study dynamic minimization problems of the calculus of variations with generalized Lagrangian functionals that depend on a general linear operator $K$ and defined on bounded-time intervals. Under assumptions of regularity, convexity and coercivity, we derive sufficient conditions ensuring the existence of a minimizer. Finally, we obtain necessary optimality conditions of Euler-Lagrange type. Main results are illustrated with special cases, when $K$ is a general kernel operator and, in particular, with $K$ the fractional integral of Riemann-Liouville and Hadamard. The application of our results to the recent fractional calculus of variations gives answer to an open question posed in [Abstr. Appl. Anal. 2012, Art. ID 871912; doi:10.1155/2012/871912].

研究动机与目标

• 建立确保在有界时间区间上涉及一般线性算子 $K$ 的广义拉格朗日泛函存在极小化子的充分条件。
• 为这类泛函推导出一种欧拉－拉格朗日型的必要最优性条件。
• 将先前关于分数阶变分问题的结果扩展至更广泛的算子类，包括黎曼－利维维塔和哈达玛分数阶积分。
• 解决分数阶变分计算中关于广义泛函极小化子存在性的开放问题。

提出的方法

• 构建一个依赖于线性算子 $K$ 和拉格朗日函数 $L$ 的广义拉格朗日泛函 $\mathcal{L}$，其中 $L$ 可能依赖于 $u$、$K[u]$、$\dot{u}$ 和 $K[\dot{u}]$。
• 应用一种类似托内利的定理，在 $L$ 满足正则性、凸性和强制性假设下，证明极小化子的存在性。
• 通过分析 $\mathcal{L}$ 在 $\mathscr{C}^\infty_{\mathrm{c}}$ 方向上的可微性，推导出广义欧拉－拉格朗日方程。
• 考虑 $K$ 为核算子的具体情形，包括固定阶与变阶的黎曼－利维维塔和哈达玛分数阶积分。
• 通过引入新的类 $\mathscr{P}^1_M$ 和 $\mathscr{P}^2_M$，提出更弱的凸性与强制性假设，以扩大适用范围。
• 通过证明该方法适用于非核算子（如通过 $\mathscr{C}^1$ 同胚实现的替换算子），展示其通用性。

实验结果

研究问题

• RQ1 在何种条件下，涉及线性算子 $K$ 的广义拉格朗日泛函在有界区间上存在极小化子？
• RQ2 在该类广义泛函的背景下，极小化子的必要最优性条件是什么？
• RQ3 是否存在极小化子与最优性理论可否扩展至涉及黎曼－利维维塔与哈达玛分数阶积分的分数阶变分问题？
• RQ4 如何在不破坏存在性与最优性结果的前提下，弱化对拉格朗日函数的假设？
• RQ5 该框架能否超越核算子，扩展至其他线性算子（如替换算子）？

主要发现

• 在拉格朗日函数 $L$ 满足正则性、凸性和强制性假设的前提下，建立了极小化子存在的充分条件，推广了经典的托内利型结果。
• 为涉及一般线性算子 $K$ 的广义拉格朗日泛函的极小化子，推导出一种欧拉－拉格朗日型的必要最优性条件。
• 本研究通过为包含黎曼－利维维塔与哈达玛分数阶积分的泛函提供极小化子的存在性，解决了分数阶变分计算中的一个开放问题。
• 通过引入类 $\mathscr{P}^1_M$ 和 $\mathscr{P}^2_M$，提出了更弱的凸性与强制性条件，使结果可应用于特定拉格朗日函数。
• 该框架被扩展至非核算子（如通过 $\mathscr{C}^1$ 同胚实现的替换算子），证明了方法的通用性。
• 该方法可适应高阶导数、多算子、多维情形及时间尺度，显示出广泛的推广潜力。