[论文解读] Euclidean submanifolds with incompressible canonical vector field

Bang‐Yen Chen|arXiv (Cornell University)|Jan 22, 2018

Geometric Analysis and Curvature Flows参考文献 3被引用 8

一句话总结

本文证明了任一欧几里得子流形上的规范向量场始终是保守的，并给出了其无散的充要条件：平均曲率向量必须恒满足 ⟨H, x⟩ = −1。研究对平面曲线、旋转面及超柱面中具有无散规范向量场的情形进行了分类，导出了显式的微分方程并构造了相关例子，包括单位球面作为解。

ABSTRACT

For a submanifold M in a Euclidean space, the tangential component x^T of the position vector field x of M is the most natural vector field tangent to the Euclidean submanifold, called the canonical vector field of M. In this article, first we prove that the canonical vector field of every Euclidean submanifold is always conservative. Then we initiate the study of Euclidean submanifolds with incompressible canonical vector fields. In particular, we obtain the necessary and sufficient conditions for the canonical vector field of a Euclidean submanifold to be incompressible. Further, we provide examples of Euclidean submanifolds with incompressible canonical vector field. Moreover, we classify planar curves, surfaces of revolution and hypercylinders with incompressible canonical vector fields.

研究动机与目标

• 研究欧几里得子流形上规范向量场的几何性质。
• 确定规范向量场无散的必要与充分条件。
• 对特定类别的子流形——平面曲线、旋转面及超柱面——进行分类，以识别其规范向量场无散的情形。
• 通过微分方程与几何积分法，构造此类子流形的显式例子。
• 将先前关于共点、共向及扭张向量场的研究推广至无散情形。

提出的方法

• 通过证明其为 f = ½⟨x, x⟩ 的梯度，证明规范向量场始终是保守的。
• 利用Levi-Civita联络与第二基本形式，推导规范向量场的散度。
• 通过Laplacian与平均曲率向量，确立 ⟨H, x⟩ = −1 为无散性的必要且充分条件。
• 对平面曲线的曲率函数求解二阶微分方程，以构造满足无散性条件的解。
• 利用 E⁴ 中旋转面与乘积面的参数化，推导并求解关于 r(s) 与曲率函数的常微分方程。
• 通过直接计算验证解，包括单位球面是旋转面常微分方程的解。

实验结果

研究问题

• RQ1 欧几里得子流形的规范向量场无散的必要与充分条件是什么？
• RQ2 哪些平面曲线具有散度为零的规范向量场？
• RQ3 E³ 中的旋转面在何种条件下其规范向量场无散？
• RQ4 能否构造出在 E⁴ 中具有无散规范向量场的显式曲面例子？
• RQ5 E³ 中的单位球面是否满足其规范向量场的无散性条件？

主要发现

• 每个欧几里得子流形的规范向量场始终是保守的，因为它是 f = ½⟨x, x⟩ 的梯度。
• 规范向量场无散当且仅当在子流形上恒有 ⟨H, x⟩ = −1。
• 具有无散规范向量场的平面曲线是如下常微分方程的解：κ(κ′′ − 3κ′²) = (n−1)κ⁴（n ≥ 2），并通过积分得到显式参数化。
• E³ 中具有无散规范向量场的旋转面满足如下二阶常微分方程：(1 + r′²)(r + s r′ + 2r r′²) + r(r − s r′) r′′ = 0，当 r(s) = √(1 − s²) 时，单位球面是其解。
• 若平面曲线满足 ⟨γ, γ′′⟩ = −n，则其对应的超柱面具有无散规范向量场，且已导出显式参数化。
• 由两条满足 ⟨β, β′′⟩ = −a 与 ⟨γ, γ′′⟩ = −(2−a) 的平面曲线构成的 E⁴ 中的乘积面，当 a = 1 时，其规范向量场无散，从而在 E⁴ 中提供了显式例子。