[论文解读] On the local structure of the Euler-Lagrange mapping of the calculus of variations

Demeter Krupka|ArXiv.org|Mar 18, 2002

Geometric Analysis and Curvature FlowsMathematics参考文献 10被引用 22

一句话总结

本文通过刻画其核与像，建立了纤维丛上高阶变分法中欧拉-拉格朗日映射的局部结构，并给出了一个偏微分方程组作为欧拉-拉格朗日方程的显式必要与充分条件。主要贡献在于利用喷丛几何与欧拉-拉格朗日算子，对任意阶偏微分方程组的变分性条件提供了完整的局部描述。

ABSTRACT

The purpose of this paper is to announce some new results on the structure of the higher order Euler-Lagrange mapping of the multiple-integral variational calculus on fibered manifolds,namely a description of its kernel and its image,and an explicit characterization of the conditions under which a system of partial differential equations (of arbitrary order)is a system of the Euler--Lagrange equations.

研究动机与目标

• 理解纤维丛上高阶变分法中欧拉-拉格朗日映射的局部结构。
• 在喷从空间形式下刻画欧拉-拉格朗日算子的核与像。
• 确定给定任意阶偏微分方程组为变分方程（即作为某拉格朗日的欧拉-拉格朗日方程）的显式必要与充分条件。
• 为多积分变分法背景下识别变分型偏微分方程组提供几何框架。

提出的方法

• 利用喷丛理论描述纤维丛截面的高阶喷从延拓。
• 应用变分双复形框架，将欧拉-拉格朗日算子视为喷从空间之间的映射进行分析。
• 以喷从坐标与喷从微分表示欧拉-拉格朗日算子的局部公式。
• 分析欧拉-拉格朗日映射的核，以识别局部变分形式。
• 将欧拉-拉格朗日算子的像表征为所有形式变分型偏微分方程组的集合。
• 通过使用卡坦的同伦公式及变分双复形的分解，建立该映射的局部结构。

实验结果

研究问题

• RQ1 在纤维丛上高阶变分法中，欧拉-拉格朗日映射的局部结构是什么？
• RQ2 任意阶偏微分方程组在何种精确条件下可作为某拉格朗日的欧拉-拉格朗日方程？
• RQ3 在喷从空间形式下，欧拉-拉格朗日算子的核与像如何从几何上刻画？
• RQ4 变分双复形在确定欧拉-拉格朗日算子的局部形式中起什么作用？
• RQ5 如何通过喷从坐标中的局部计算，算法性地判断给定偏微分方程组是否为变分型？

主要发现

• 欧拉-拉格朗日映射的核由所有局部恰当的变分形式组成，即在欧拉-拉格朗日算子下消失的微分形式。
• 欧拉-拉格朗日算子的像被表征为所有形式变分型偏微分方程组的集合，即作为某拉格朗日的欧拉-拉格朗日方程所导出的方程组。
• 任意阶偏微分方程组为变分型当且仅当其满足一组局部的、显式可计算的条件，这些条件源于喷从坐标中赫尔姆霍茨型条件的消失。
• 本文以喷从微分与变分双复形为基础，提供了欧拉-拉格朗日算子的完整局部描述。
• 所得结果适用于任意阶系统与纤维丛，将经典结果推广至高阶与几何设定。
• 该框架允许通过喷从空间中的局部计算，实现对给定偏微分方程组变分性的算法验证。