Practical tensor calculus on embedded submanifolds of arbitrary codimension

本文提出了一种适用于任意余维数嵌入子流形的完全外蕴、无参数化且无分量张量演算框架，该框架采用算法式递归记号，有助于流体力学、连续介质力学及演化几何中的理论分析与实际应用。

要点

想象一下，你试图描述一张在三维空间中漂浮的纸的形状和运动，或者一个肥皂泡，甚至是一个我们无法轻易想象的复杂高维形状。在数学中，这些形状被称为子流形。

长期以来，数学家们一直采用一种非常具体且僵化的方式，在这些形状上进行微积分（即关于变化与运动的数学）运算。这就像试图通过先将一张方格纸网格粘贴到该形状上，记录每个点的坐标，然后基于该网格进行复杂计算，来描述纸张的运动。这种方法虽然可行，但十分繁琐、难以计算，并且一旦纸张发生扭曲、转动或随时间改变形状，该方法就会失效。

论文的核心思想：“树形方法”
Vladimir Yushutin 提出了一种更简洁的新数学方法。他建议不要将网格粘贴到形状上，而是从“外部”（即形状漂浮所在的房间）观察该形状，并利用一种他称为**“行表示法”**的特殊递归结构。

将张量（一种包含方向和大小信息的复杂数学对象）想象成一棵完整的树，而不是一张巨大的数字电子表格：

• 树的顶部是主要对象。
• 分支分裂成更小的部分（行）。
• 叶子则是实际的数字。

这种“树”结构使得数学运算具有算法性。这意味着你可以编写一个计算机程序，只需遵循树的分支即可处理这些形状，无论形状多么复杂或具有多少维度。你无需关心形状的具体坐标，只需遵循树的规则即可。

三大主要发现
作者利用这种新的“树”方法，解决了三个此前困难或被误解的具体问题：

1. “净推力为零”规则（欧拉流）：
   想象一种流体（如水）在弯曲表面（如球体或马鞍面）上完美平滑地流动。旧有的数学理论认为，如果表面没有对称性（即没有完美的左右或上下平衡），流体可能会以奇怪的方式推动表面。

   • 发现： 利用这种新方法，作者证明，如果流体是不可压缩的（即不会受压变形），那么作用在整个表面上的总推力（动量）始终为零。即使流体剧烈旋转，力在整个形状上也会完美相互抵消。这就像一群人从四面八方推一艘船；即使他们随意推挤，只要所有人都在船上，整艘船就不会整体向前或向后移动。

2. “切割”的误解（柯西应力）：
   在工程学中，我们讨论材料内部的“应力”。通常，我们假设如果切开一块材料，力仅作用于切割表面。对于平面薄片，这很容易理解。但对于弯曲的三维形状（如扭曲的绳索或弯曲的壳体），数学家们一直争论力是否必须始终“平坦”地贴合表面，还是可以指向“上”或“下”。

   • 发现： 该论文指出，先前的模型过于受限。它们假设只能以特定的平面方式切割材料。作者证明，如果允许任何切割（甚至是奇怪或倾斜的切割），数学证明表明力不必保持与表面平坦贴合。它可以指向任何方向，而物理定律（牛顿定律）依然成立。这改变了我们建模复杂弯曲材料中应力的方式。

3. 追踪变化中的形状（演化的子流形）：
   想象一个正在膨胀、收缩和晃动的肥皂泡。当形状发生变化时，如何计算绘制在该泡上的图案的能量？

   • 发现： 作者建立了一个公式，用于精确计算当形状本身移动和变形时，图案“能量”的变化。这是通过“物质导数”实现的，它就像一台随形状移动的摄像机，从内部追踪变化，同时考虑形状在外部世界中的运动。这为模拟生长的生物组织或变形膜等提供了精确的工具。

为何这很重要
这篇论文不仅提供了一种新理论，更提供了一套实用工具包。通过将复杂形状视为数据的“树”，数学变得：

• 与坐标无关： 你无需选择特定的网格系统。
• 递归性： 你可以通过将大问题分解为更小的、相同的步骤（如同沿着树枝向下直到叶子）来解决。
• 普适性： 它适用于任何维度和任何“厚度”（余维数）的形状。

简而言之，这篇论文提供了一种新的、更灵活且对计算机友好的语言，用于描述物体如何在弯曲表面上移动、推挤和变化，从而消除了对繁琐的旧式坐标网格的需求。

技术摘要

技术摘要：任意余维嵌入子流形上的实用张量微积分

问题陈述
许多科学问题涉及定义在嵌入于 $\mathbb{R}^n$ 中的子流形上的张量场。针对这些问题的传统数学工具，如微分算子和积分规则，通常通过局部坐标参数化或 Ricci 张量指标记号以内在方式引入。尽管这种形式体系功能强大，但它可能会阻碍计算，特别是在处理几何演化或任意维度和余维的子流形时。现有的外在方法往往局限于标量情形、二阶张量或余维为一的情形，缺乏针对任意余维中一般秩张量的统一框架。

方法论
本文提出了一种完全外在的、无参数化且无分量的张量微积分变体。该方法依赖于 $\mathbb{R}^n$ 中的环境笛卡尔导数以及子流形几何的外在水平集描述。

该框架的核心是张量的递归行表示。不使用矩阵指标或坐标分量，秩为 $q$ 的张量被表示为 $n$ 个行分量的列表，每个分量均为秩为 $q-1$ 的张量。这种结构类似于完全 $n$ 叉树，其中叶节点存储数值，内部节点通过递归点积引导求值。这种表示法允许：

• 算法递归性：投影、梯度、散度和旋度等运算在行分量上递归定义。
• 外在导数：子流形梯度 $\nabla_M$ 定义为投影到切空间上的环境梯度，从而避免了对内在联络的需求。
• 切向投影：一种递归算法将一般张量场投影到子流形的切子空间上。
• 积分：分量式积分定义将标准的斯托克斯定理推广到任意秩张量，得出了一个包含平均曲率向量 $\kappa$ 项的外在斯托克斯公式。

主要贡献与结果
本文通过三个不同的应用展示了该框架的实用性，推导出了针对任意维度和余维的新结果：

1. 欧拉方程与外在动量：
   作者推导出了黎曼流形上不可压缩欧拉流的新全局守恒原理。他们表明，对于任何切向不可压缩流，无论流形具有何种对称性，外在动量（速度协变矢量在流形上的积分）均为零。这导出了一个环境力平衡方程，其中杨 - 拉普拉斯力、边界反作用力和向心力之和为零。该结果推广了已知结论，即在 $\mathbb{R}^2$ 或 $\mathbb{R}^3$ 的固定域上净压力力为零的性质。

2. 子流形上的柯西应力：
   本文重新审视了具有正余维的嵌入子流形上的柯西应力概念。通过放宽应力张量必须仅作用于切向截面的假设，作者推导出了针对一般取向截面的平衡方程。他们证明，虽然角动量守恒意味着切向取向下的应力矢量的切向性，但这并不意味着应力张量本身必须是对称的或纯切向的。只要应力矢量的“法向 - 切向”分量相互抵消，应力张量可以是非对称且非切向的，而不违反牛顿定律。

3. 演化子流形上的狄利克雷能量：
   对于演化的子流形，作者为一般秩的张量场引入了外在物质导数。他们推导出了张量狄利克雷能量随时间变化率的表达式。该推导利用物质导数与子流形梯度之间的对易子，将先前针对标量和矢量场的结果推广到任意张量秩、维度和余维。

意义与主张
本文主张，所提出的框架提供了一套实用的记号和工具，可立即用于数学建模、几何感知偏微分方程（PDE）的分析以及嵌入子流形上的数值方法。

所强调的独特特征包括：

• 通用性：它适用于任意维度和余维的子流形，并处理任意秩的张量。
• 计算适用性：递归行表示反映了完全树的结构，使得该微积分适用于算法实现和理论分析。
• 外在清晰性：通过避免局部坐标并依赖环境导数，该框架简化了几何演化和边界条件的处理。

作者得出结论，这种方法促进了先前在一般设定中难以表述的新守恒律和平衡条件的推导，并建议利用所开发的工具在数值分析、变分 calculus 和形状分类方面进行未来探索。