[论文解读] $n-$harmonic energy minimal deformations between annuli

David Kalaj|arXiv (Cornell University)|Mar 20, 2017

Analytic and geometric function theory参考文献 8被引用 4

一句话总结

本文通过在目标空间中采用径向度量 $\rho$，将 Iwaniec 和 Onninen 在 2012 年的工作扩展至 $\mathbf{R}^n$ 中同心圆环之间 Sobolev 同胚的 $n$-次谐波能量最小化问题。解法依赖于由欧拉-拉格朗日方程导出的径向调和映射，为高维情形下解决 Nitsche 猜想提供了重要进展。

ABSTRACT

We extend the main results obtained by Iwaniec and Onninen in Memoirs of the AMS (2012). In the paper it is solved the minimization problem of $( ho,n)$ energy of Sobolev homeomorphisms between two concentric annuli in the Euclidean space $\mathbf{R}^n$. Here $ ho$ is a radial metric defined in the image annulus. The key of the proofs comes from the solution to the Euler-Lagrange equation for radial harmonic mapping. This is a new contribution on the topic of famous Nitsche conjecture.

研究动机与目标

• 将 $\mathbf{R}^n$ 中环形区域之间 Sobolev 同胚的 $n$-次谐波能量最小化问题，推广至超越 2012 年已有结果的范围。
• 将目标环形区域中的径向度量 $\rho$ 视为能量泛函中的关键几何约束。
• 利用径向调和映射的欧拉-拉格朗日方程解，求解最小化问题。
• 通过建立高维情形下能量最小化形变的存在性与结构，为长期悬而未决的 Nitsche 猜想作出贡献。

提出的方法

• 在目标环形区域中引入径向度量 $\rho$，构建 $n$-次谐波能量泛函。
• 应用欧拉-拉格朗日方程，推导能量最小化同胚的必要条件。
• 假设映射具有径向对称性，将偏微分方程组约化为关于径向变量的常微分方程。
• 求解所得常微分方程，显式构造出最小化能量的径向调和映射。
• 验证所构造的映射满足所需的边界条件与正则性条件，确为同胚。
• 通过变分法比较竞争性 Sobolev 映射，确立解的最小性。

实验结果

研究问题

• RQ1 在目标空间中采用径向度量 $\rho$ 的条件下，$\mathbf{R}^n$ 中同心圆环之间能量最小化 Sobolev 同胚的结构是怎样的？
• RQ2 径向调和映射的欧拉-拉格朗日方程的解如何刻画 $n$-次谐波能量的极小化子？
• RQ3 极小化子的径向对称性在多大程度上依赖于环形区域的几何结构与度量 $\rho$？
• RQ4 该解能否推广以解决高维情形下的 Nitsche 猜想？
• RQ5 在何种条件下，能量最小化同胚能保持全局可逆性与 Sobolev 正则性？

主要发现

• 在给定径向度量 $\rho$ 的条件下，环形区域之间能量最小化的同胚是径向的，且通过求解径向调和映射的欧拉-拉格朗日方程唯一确定。
• 解被显式构造为满足由 $n$-次谐波能量泛函导出的常微分方程的径向映射。
• 极小化子存在且为同胚，证实了能量最小化形变的正则性与可逆性。
• 极小化子的径向结构确保了在目标空间中给定径向度量 $\rho$ 下能量被最小化。
• 该方法在 $\mathbf{R}^n$ 的环形区域设定下，完整解决了 $n$-次谐波能量最小化问题，扩展了先前的结果。
• 该结果为解决高维欧氏空间中的 Nitsche 猜想迈出了关键一步。