[论文解读] Homogeneous variational complexes and bicomplexes

D.J. Saunders|ArXiv.org|Dec 16, 2005

Composite Material Mechanics参考文献 3被引用 9

一句话总结

本文引入了m-框架丛上的齐次变分复形与双复形，将变分双复形推广至齐次变分问题。通过一个典范的伪同伦算子，证明了这些复形的全局正合性（模拉回），并展示了相关双复形边序列的局部正合性，从而实现了对高阶齐次拉格朗日量及其欧拉-拉普拉斯形式的分析。

ABSTRACT

We present a family of complexes playing the same role, for homogeneous variational problems, that the horizontal parts of the variational bicomplex play for variational problems on a fibred manifold. We show that, modulo certain pullbacks, each of these complexes (apart from the first one) is globally exact. All the complexes may be embedded in bicomplexes, and we show that, again modulo pullbacks, the latter are locally exact. The edge sequence is an important part of such a bicomplex, and may be used for the study of homogeneous variational problems.

研究动机与目标

• 将变分双复形框架扩展至m-框架丛上的齐次变分问题，特别是针对高阶拉格朗日量。
• 通过向量值微分形式定义一组复形，其作用类似于标准喷层丛理论中水平变分复形的角色。
• 利用一个典范定义的伪同伦算子，证明这些复形（除第一个外）在模拉回意义下的全局正合性。
• 将复形嵌入双复形中，并证明边序列的局部正合性，从而促进齐次变分问题的研究。

提出的方法

• 本文在有限阶m-框架丛上，利用向量值微分形式构造齐次变分复形，其上同调算子为 $d_{\mathrm{T}}$。
• 引入一个伪同伦算子，作为 $d_{\mathrm{T}}$ 在模拉回意义下的典范逆算子，确保除第一个复形外所有复形的全局正合性。
• 将复形嵌入双复形中，其中垂直微分被标准外微分 $d$ 取代，同时保持局部正合性。
• 分析双复形的边序列，证明其在模拉回意义下是局部正合的，适用于齐次变分问题的研究。
• 定义了向量值希尔伯特形式与欧拉-拉普拉斯形式，其中 $\Theta_1 = PdL$ 且 $\varepsilon \otimes d^m t = d\Lambda - d_{\mathrm{T}}\Theta_1$，从而为等价类提供全局代表元。
• 引入Helmholtz-Sonin映射 $\mathcal{H}(\Phi) = d\Phi - d_{\mathrm{T}}P\Phi$，用于检测某形式是否为局部欧拉-拉普拉斯形式。

实验结果

研究问题

• RQ1 能否为m-框架丛上的齐次变分问题发展出类似于喷层丛上标准变分双复形的结构？
• RQ2 齐次变分复形在模拉回意义下对所有阶数（除第一阶外）是否均为全局正合？
• RQ3 齐次变分双复形的边序列如何用于刻画齐次变分问题的解？
• RQ4 能否构造一个标量m-形式 $\Theta_m$，使得其闭合当且仅当拉格朗日量为零，从而推广已知的一阶结果？
• RQ5 在高阶拉格朗日量的背景下，Helmholtz-Sonin映射与双复形的局部正合性之间存在何种关系？

主要发现

• 齐次变分复形在模拉回意义下对除第一个外的所有复形均为全局正合，且由一个典范定义的伪同伦算子提供了 $d_{\mathrm{T}}$ 的全局逆算子。
• 齐次变分双复形的边序列在模拉回意义下是局部正合的，从而可通过同调方法研究齐次变分问题。
• 映射 $\Xi^r_k \to \Omega^{r,m}_k$ 定义为 $p_r(\Phi) \mapsto \Phi - d_{\mathrm{T}}P\Phi$，对所有 $r \geq 1$ 是全局良定义的，为 $\Xi^r_k$ 中每个等价类提供典范代表元。
• 欧拉-拉普拉斯形式 $\varepsilon \otimes d^m t$ 是类 $p_1(dL)$ 的典范代表元，证实其与标准变分理论的一致性。
• Helmholtz-Sonin映射 $\mathcal{H}(\Phi) = d\Phi - d_{\mathrm{T}}P\Phi$ 可用于检测某形式是否为局部欧拉-拉普拉斯形式，且 $\mathcal{H}(\Phi) = 0$ 意味着其局部正合。
• 初步结果表明，对于两个自变量的二阶拉格朗日量，存在一个等价于零拉格朗日量的 $\Theta_2$，且其可投影至四阶框架丛。