[论文解读] The convergence of boundary expansions and the analyticity of minimal surfaces in the hyperbolic space

Qing Han, Xumin Jiang|arXiv (Cornell University)|Jan 25, 2018

Advanced Mathematical Modeling in Engineering参考文献 22被引用 5

一句话总结

该论文证明了若边界为解析集且图在边界上光滑，则双曲空间中的极小图在边界上为解析函数，从而解决了F.-H. Lin的猜想。通过在边界法坐标系中使用加权Schauder估计与渐近展开，作者建立了边界展开的收敛性，并在奇数维中识别出对数项。

ABSTRACT

We study expansions near the boundary of solutions to the Dirichlet problem for minimal graphs in the hyperbolic space and prove the local convergence of such expansions if the boundary is locally analytic. As a consequence, we prove a conjecture by F.-H. Lin that the minimal graph is analytic up to the boundary if the boundary is analytic and the minimal graph is smooth up to the boundary.

研究动机与目标

• 解决F.-H. Lin的猜想：当边界为解析集且图在边界上光滑时，双曲空间中的极小图在边界上为解析函数。
• 建立双曲空间中极小图方程解的边界展开收敛性。
• 分析边界附近渐近展开的结构，特别是识别奇数维中的对数项。
• 为双曲空间中的极小图提供改进的正则性理论，将已知的$C^{k,eta}$和$C^ u$正则性结果推广至解析类。

提出的方法

• 在边界法坐标系中将极小图方程转化为退化的椭圆型PDE，其中$ y_n $为法向方向，$ x' $为切向坐标。
• 在加权Hölder空间中使用加权Schauder估计，控制边界附近导数的增长，特别关注$ y_n \to 0 $的极限情形。
• 在边界附近以$ y_n $和$ y_n \tan^{-1}(y_n) $的幂次构造解$ u $的渐近展开，系数依赖于$ x' $。
• 通过利用极小曲面方程的结构，推导系数的递推估计，证明这些展开的收敛性。
• 通过研究展开中解的行为，分析奇数维中对数项的作用，并证明$ y_n \to y_n \tan^{-1}(y_n) $在展开中自然出现。
• 使用归纳法与展开系数的递推估计，证明该级数在边界邻域内收敛，从而推出解析性。

实验结果

研究问题

• RQ1 若图在边界上光滑，双曲空间中极小图方程的解在解析边界附近是否具有收敛的渐近展开？
• RQ2 为何在奇数维中解的展开会出现对数项？它们如何影响解的解析性？
• RQ3 在额外假设图在边界上光滑的前提下，能否证明F.-H. Lin关于双曲空间中极小图在边界上解析性的猜想？
• RQ4 极小图在双曲空间中的边界展开的精确结构是什么？其在偶数维与奇数维之间有何不同？
• RQ5 加权Schauder估计与递推系数估计如何确保边界展开的收敛性？

主要发现

• 若$ n $为偶数且边界为解析集，则双曲空间的上半空间模型中极小图方程的解$ u $在$ (y', y_n) $上为解析函数，且在边界上解析。
• 在奇数维中，$ u $为$ y', y_n $与$ y_n \tan^{-1}(y_n) $的解析函数，其中对数型项$ y_n \tan^{-1}(y_n) $在展开中自然出现。
• 若在奇数维情形下解$ u $在边界上光滑，则展开中不出现对数项，且$ u $为$ y', y_n $的解析函数。
• 作者证明了边界展开在每个边界点附近局部收敛，从而确立了极小图渐近级数的收敛性。
• 本文证实了Lin的猜想：当边界为解析集且图在边界上光滑时，双曲空间中的极小图在边界上为解析函数。
• 分析表明，奇数维中$ y_n \tan^{-1}(y_n) $的出现是极小曲面方程结构与边界处第二基本形式行为的直接结果。