[论文解读] On Two Kinds of Differential Operators on General Smooth Surfaces

Xilin Xie|arXiv (Cornell University)|Jun 16, 2013

Advanced Mathematical Modeling in Engineering参考文献 10被引用 3

一句话总结

本文在一般光滑曲面上引入并严格分析了两种微分算子：曲面梯度与Levi-Civita梯度。通过这些算子建立了内在的广义Stokes公式与微分恒等式，实现了曲面上连续介质力学的坐标无关表述，尤其适用于可变形或固定曲面上的流固耦合与涡度动力学。

ABSTRACT

Two kinds of differential operators that can be generally defined on an arbitrary smooth surface in a finite dimensional Euclid space are studied, one is termed as surface gradient and the other one as Levi-Civita gradient. The surface gradient operator is originated from the differentiability of a tensor field defined on the surface. Some integral and differential identities have been theoretically studied that play the important role in the studies on continuous mediums whose geometrical configurations can be taken as surfaces and on interactions between fluids and deformable boundaries. The definition of Levi-Civita gradient is based on Levi-Civita connections generally defined on Riemann manifolds. It can be used to set up some differential identities in the intrinsic/coordiantes-independent form that play the essential role in the theory of vorticity dynamics for two dimensional flows on general fixed smooth surfaces.

研究动机与目标

• 在嵌入欧几里得空间的任意光滑曲面上，定义并分析两种不同的微分算子——曲面梯度与Levi-Civita梯度。
• 推导出将曲面积分与边界积分关联的内在广义Stokes公式，且不依赖于周围空间的坐标系。
• 利用Levi-Civita梯度建立二维流体在固定光滑曲面上涡度动力学的基础微分恒等式。
• 纠正并澄清文献中关于曲面上形变梯度与应变张量表示的先前误解。
• 为连续介质力学在曲面上提供一个坐标无关、内在的框架，适用于薄板、壳体以及流体-可变形边界相互作用。

提出的方法

• 将曲面梯度算子定义为 $ \overset{\Sigma}{\boldsymbol{\nabla}} \equiv \boldsymbol{g}^{l} \frac{\partial}{\partial x^{l}_{\Sigma}} $，其由张量场关于曲面坐标偏导数导出。
• 利用曲面黎曼流形结构上的Levi-Civita联络定义Levi-Civita梯度，以保证度量相容性与无挠性。
• 通过将全维梯度与曲面梯度关联，推导出内在广义Stokes公式，实现在无需嵌入坐标系的情况下对曲面积分。
• 将曲面梯度应用于推导薄连续介质的动量与动量矩守恒定律，复现了Synge & Chien (1941) 的经典结果。
• 在交换高阶协变导数时，建立涉及黎曼-克里斯托费尔张量的微分恒等式，表明曲率项在拉普拉斯算子与双旋度算子中显式出现。
• 利用曲面上的内在张量微分几何方法表示应变与形变张量，纠正了早期表述中的错误（例如，Aris, 1962）。

实验结果

研究问题

• RQ1 如何在不依赖周围空间坐标系的前提下，为任意光滑曲面上张量场定义一致的曲面梯度算子？
• RQ2 哪些内在广义Stokes公式可将梯度的曲面积分与边界积分关联？它们在流体力学与固体力学中如何应用？
• RQ3 Levi-Civita梯度算子在几何与物理意义上的解释与曲面梯度有何不同，特别是在涡度动力学中？
• RQ4 当应用高阶协变导数时，会涌现出哪些微分恒等式？它们如何涉及高斯曲率与平均曲率等曲率项？
• RQ5 如何在任意光滑曲面上正确表述薄连续介质的形变与应变张量？先前表述中存在哪些错误？

主要发现

• 曲面梯度算子使得能够推导出对曲面上连续介质力学中守恒定律表述至关重要的内在广义Stokes公式。
• 本文纠正了Aris (1962) 在曲面上二维流动处理中的一个根本性错误，指出其对形变梯度张量对称性假设的错误。
• 通过曲面梯度以内在形式推导出可变形曲面上的应变张量，其结果与Wu et al. (2005a) 一致，但具有更清晰的几何基础。
• Levi-Civita梯度算子在导数顺序重排时产生涉及黎曼-克里斯托费尔张量的微分恒等式，表明曲率项如 $ K_G $ 显式出现在高阶算子中。
• 固定曲面上二维流动的动量与涡度控制方程显式包含几何项（如平均曲率与高斯曲率），表明几何因素直接影响曲面上的物理定律。
• 推导出恒等式 $ \boldsymbol{\nabla} \otimes (\boldsymbol{\nabla} \boldsymbol{\cdot} \boldsymbol{\Phi}) + K_G(\boldsymbol{\Phi} + \boldsymbol{\Phi}^*) - K_G(tr\boldsymbol{\Phi})\boldsymbol{I} $，揭示了曲率在张量微分恒等式中的作用。