[论文解读] Second-order equations and local isometric immersions of pseudo-spherical surfaces

Nabil Kahouadji, Niky Kamran+1 more|arXiv (Cornell University)|Aug 29, 2013

Geometric Analysis and Curvature Flows参考文献 17被引用 10

一句话总结

本文研究了伪球面在 ℝ³ 中局部等距嵌入时，第二基本形式系数是否依赖于二阶偏微分方程 u_t = F(u, u_x, u_xx) 或 u_xt = F(u, u_x) 的解 u 的有限阶微分。研究证明，除正弦-Gordon 方程（此时系数为常数）外，所有其他此类方程在嵌入存在的条件下，其第二基本形式系数均为仅依赖于 x 和 t 的通用函数，而与 u 及其导数无关。

ABSTRACT

We consider the class of differential equations that describe pseudo-spherical surfaces of the form $u\\_t=F(u,u\\_x,u\\_{xx})$ and $u\\_{xt}=F(u, u\\_x)$ given in Chern-Tenenblat \\cite{ChernTenenblat} and Rabelo-Tenenblat \\cite{RabeloTenenblat90}. We answer the following question: Given a pseudo-spherical surface determined by a solution $u$ of such an equation, do the coefficients of the second fundamental form of the local isometric immersion in $\\mathbb{R}^3$ depend on a jet of finite order of $u$? We show that, except for the sine-Gordon equation, where the coefficients depend on a jet of order zero, for all other differential equations, whenever such an immersion exists, the coefficients are universal functions of $x$ and $t$, independent of $u$.

研究动机与目标

• 确定伪球面在 ℝ³ 中局部等距嵌入时，第二基本形式系数是否依赖于解 u 的有限阶微分。
• 对描述伪球面的二阶偏微分方程类进行分类，以确定其在有限阶微分依赖下存在嵌入的条件。
• 识别出第二基本形式系数为仅依赖于 x 和 t 的通用函数（与 u 无关）的条件。
• 解决正弦-Gordon 方程的特殊情况，此时系数仅依赖于零阶微分（即在 x 和 t 上为常数）。

提出的方法

• 研究通过 Cartan 结构方程描述伪球面的二阶偏微分方程，形式为 u_t = F(u, u_x, u_xx) 和 u_xt = F(u, u_x)。
• 利用存在满足 dωⁱ = ωʲ ∧ ωᵏ (i≠j≠k) 的一阶微分形式 ω¹, ω², ω³，定义解定义域上常曲率为 -1 的度量。
• 在假设有限阶微分依赖的前提下，通过高斯方程与 Codazzi 方程分析第二基本形式的系数 (a, b, c)。
• 通过引理与命题证明：除非 λ = ξ = τ = 0，否则系数 a, b, c 必须是仅依赖于 x 和 t 的通用函数，与 u 无关。
• 分析区分两种情形：λ ≠ 0（ηx + (λ/η ∓ ζ)t 的指数依赖）与 λ = 0（ηx 的指数依赖），并施加对实参数 l 和 γ 的约束。
• 证明依赖于对高斯-Codazzi 系统关于辅助参数 z₀, z₁, z₂ 的微分，以推导出 a, b, c 的通用形式。

实验结果

研究问题

• RQ1 在伪球面局部等距嵌入中，第二基本形式系数依赖于解 u 的有限阶微分的条件是什么？
• RQ2 正弦-Gordon 方程是否是该类方程中唯一使得嵌入系数与 u 及其导数无关的方程？
• RQ3 对于形式为 u_xt = λu + ξu_x + τ 的方程，何时嵌入系数成为仅依赖于 x 和 t 的通用函数？
• RQ4 参数 l 和 γ 需满足何种约束，才能保证存在具有有限阶微分依赖性的局部等距嵌入？
• RQ5 结构方程与一阶微分形式的选择如何影响嵌入系数对解阶微分的依赖性？

主要发现

• 对于所有描述伪球面的方程类 u_t = F(u, u_x, u_xx) 或 u_xt = F(u, u_x)，除正弦-Gordon 方程外，第二基本形式的系数 a, b, c 均为仅依赖于 x 和 t 的通用函数，与 u 及其导数无关。
• 当 λ ≠ 0 时，系数为 a = √(lL(x,t) − γ²L²(x,t) − 1)，b = γL(x,t)，c = (b² − 1)/a，其中 L(x,t) = e^{±2[ηx + (λ/η ∓ ζ)t]} 且 l² > 4γ²。
• 当 λ = 0 且 ξ² + τ² ≠ 0 时，系数为 a = √(le^{2ηx} − γ²e^{4ηx} − 1)，b = γe^{2ηx}，c = (b² − 1)/a，其中 l² > 4γ²，且定义在 ℝ² 中的一个带形区域内。
• 当 λ = ξ = τ = 0 时，嵌入不存在，因为这会与有限阶微分依赖下的高斯方程产生矛盾。
• 仅当参数 λ, ξ, τ 不全为零时，系数才为通用函数，且嵌入仅在 (x,t)-平面上的特定带形区域内定义，其中根号内的表达式为正。
• 正弦-Gordon 方程是该类方程中唯一使得嵌入系数依赖于零阶微分（即在 x 和 t 上为常数）的方程。