[论文解读] Integration by parts and vector differential forms in higher order variational calculus on fibred manifolds

Roman Matsyuk|arXiv (Cornell University)|Jun 12, 2014

Algebraic and Geometric Analysis参考文献 2被引用 4

一句话总结

本文提出了一种基于向量丛值微分形式的纤维丛上高阶变分法的几何框架，通过非线性格林公式重新表述分部积分法。该框架以拉回标准形式表达作用量的一阶变分、欧拉-拉格朗日方程以及格林算子，实现内在的、坐标无关的表达，完全消除对特定场构型的依赖。

ABSTRACT

Infinitesimal variation of Action functional in classical (non-quantum) field theory with higher derivatives is presented in terms of well-defined intrinsic geometric objects independent of the particular field which varies. 'Integration by parts' procedure for this variation is then described in purely formal language and is shown to consist in application of nonlinear Green formula to the vertical differential of the Lagrangian. Euler-Lagrange expressions and the Green operator are calculated by simple pull-backs of certain vector bundle valued differential forms associated with the given variational problem.

研究动机与目标

• 为经典场论中具有高阶导数的作用量泛函的一阶变分提供一种坐标无关、内在的表述形式。
• 通过识别内在几何对象，消除转置算子与格林算子对场构型的隐含依赖。
• 证明向量丛值微分形式在经典场论变分法表达中具有理想适用性。
• 将科拉尔分解公式以几何对象的形式重新表述，从而简化变分导数及其相关算子的计算。

提出的方法

• 本文使用逆像函子处理基替换态射下向量丛值微分形式的拉回操作。
• 引入以垂直丛取值的半基本微分形式，以内在方式表示拉格朗日量及其变分。
• 通过此类形式的李导数，以几何一致的方式计算作用量泛函的无穷小变分。
• 通过将非线性格林公式应用于拉格朗日量的垂直微分，推导出分部积分公式。
• 通过拉回标准向量丛值微分形式计算转置算子与格林算子，使其对场构型的依赖关系显式且几何化。
• 该框架基于整体分析原理，利用诱导丛与自然变换，确保协变性与内在有效性。

实验结果

研究问题

• RQ1 如何使用与特定场无关的内在几何对象，表达高阶场论中作用量泛函的一阶变分？
• RQ2 在高阶变分法中，分部积分过程的内在几何意义是什么？
• RQ3 能否通过统一的几何程序计算转置算子与格林算子，而无需显式依赖于场构型？
• RQ4 向量丛值微分形式如何促进对纤维丛上变分法的统一处理？
• RQ5 非线性格林公式在以标准几何对象表达一阶变分中起什么作用？

主要发现

• 作用量的一阶变分通过拉格朗日量的李导数与垂直微分，利用以垂直丛取值的半基本形式实现内在表达。
• 分部积分被重新表述为对拉格朗日量垂直微分应用非线性格林公式，为该过程提供了几何基础。
• 欧拉-拉格朗日方程被表示为与拉格朗日量相关的标准向量丛值微分形式的拉回。
• 格林算子与转置算子通过拉回通用几何形式计算，使其构造过程与特定场构型无关。
• 该框架为纤维丛上的高阶变分法提供了一致、内在且计算透明的方法。
• 使用向量丛值微分形式与逆像函子，使经典场论中变分法的表述自然且协变。