[论文解读] A generalised Joyce construction for a family of nonlinear partial differential equations

Simon Donaldson|ArXiv.org|May 1, 2008

Mathematical and Theoretical Analysis被引用 7

一句话总结

本文通过Legendre型变换将Joyce的自对偶黎曼度量构造推广至二维非线性四阶PDE的广泛族，方法是将其约化为线性二阶方程。关键结果表明，非线性PDE（2）的局部解与线性PDE（3）的解对之间存在一一对应关系，从而对所有由光滑严格凸函数ψ定义的此类方程实现线性化。

ABSTRACT

We explain a simple construction of solutions to a family of PDE's in two dimensions which includes that defining zero scalar curvature Kahler metrics, with two Killing fields, and the affine maximal equation.

研究动机与目标

• 将Dominic Joyce关于具有两个Killing场的自对称度量的构造推广至二维非线性四阶PDE的广泛类。
• 证明由泛函∫ψ(J)dx₁dx₂导出的Euler-Lagrange方程，其中J为Hessian行列式，可局部约化为线性PDE。
• 通过涉及函数ψ及其导数的变换，建立非线性PDE（2）的解与线性PDE（3）的解之间的对应关系。
• 将已知结果（如仿射极大曲面方程ψ(J) = J^{1/4}）作为该广义框架的特例恢复。
• 表明该构造统一了多种几何PDE，包括与零标量曲率和Ricci平坦度量相关的方程，均受同一线性化机制支配。

提出的方法

• 定义泛函F = ∫ψ(J)dx₁dx₂，其中u为凸函数，J = det(uᵢⱼ)，并导出Euler-Lagrange方程（2）：∑∂²/∂xᵢ∂xⱼ(Jψ′(J)u^{ij}) = 0。
• 引入函数f(t) = t^{1/2}ψ′′(t)，定义其反函数r = f(J)，并在此反变换下令p(r) = J^{-1/2} = r^{-1/2}。
• 构造一个线性二阶PDE（3）：∂²ξ/∂H² + (1/p(r)) ∂/∂r(p(r) ∂ξ/∂r) = 0，其中ξ为(H, r)的函数。
• 利用（3）的两个独立解ξ₁, ξ₂，定义闭的1-形式ε₁, ε₂，以及ε = ξ₁ε₁ + ξ₂ε₂，确保局部有ε₁ ∧ ε₂ ≠ 0。
• 通过积分这些1-形式，得到坐标x₁, x₂, u，使得u为二维原非线性PDE（2）的解。
• 证明逆向构造：在普通点附近，任何（2）的解均可按此方式构造，且ξ₁, ξ₂在H-平移与常数平移下唯一。

实验结果

研究问题

• RQ1 Joyce关于自对称度量的构造能否推广至二维更广泛的非线性四阶PDE类？
• RQ2 在何种条件下，Monge-Ampère型非线性四阶PDE可约化为线性二阶PDE？
• RQ3 ψ(J)的选择如何影响关联线性PDE（3）的结构，其几何意义为何？
• RQ4 非线性PDE（2）的解与变换变量(H, r)中调和函数之间存在何种关系？
• RQ5 已知的几何PDE（如仿射极大曲面方程或零标量曲率方程）如何嵌入此广义框架？

主要发现

• 非线性四阶PDE（2）在局部上等价于线性二阶PDE（3），即（2）的所有局部解均源自（3）的解。
• 当ψ(J) = -log J（Joyce的原始情形）时，线性PDE（3）变为R³中的Laplace方程，对应轴对称调和函数。
• 当ψ(J) = J^{1/4}时，所得PDE描述R³中的仿射极大曲面，且该构造通过调和函数恢复了Chern-Terng参数化。
• 变换中定义p(r) = r²（当ψ(J) = J^{1/4}时），系统（13）通过变量替换重现了Chern-Terng的一阶系统（12）。
• 对于Trudinger-Wang方程，当ψ(J) = -J^α（0 < α < 1/2）时，对应的p(r)为r^{1/(1-2α)}，显示出对α的直接依赖。
• 该构造在unimodular仿射变换下保持不变，且2-形式J^{1/4}dx₁dx₂是R³中u的图的仿射不变量。