[论文解读] Nonsolvability of the asymptotic Dirichlet problems for some quasilinear elliptic PDEs on Hadamard manifolds

Ilkka Holopainen, Jaime Ripoll|arXiv (Cornell University)|Dec 21, 2013

Geometric Analysis and Curvature Flows参考文献 18被引用 6

一句话总结

本文证明了在截面曲率 ≤ −1 的三维 Cartan-Hadamard 流形上，对于一类拟线性椭圆 PDE（包括极小图方程），渐近 Dirichlet 问题不可解。通过改进 Borbély 的构造，作者给出了显式例子，表明对于任意连续的边界数据，均不存在连续的非平凡解，从而填补了极小图方程理论中长期存在的空白。

ABSTRACT

We show, by modifying Borbély's example, that there are $3$-dimen\-sional Cartan-Hadamard manifolds $M$, with sectional curvatures $\le -1$, such that the asymptotic Dirichlet problem for a class of quasilinear elliptic PDEs, including the minimal graph equation, is not solvable.

研究动机与目标

• 在截面曲率 ≤ −1 的 Cartan-Hadamard 流形上，建立一大类拟线性椭圆 PDE 的渐近 Dirichlet 问题不可解性。
• 通过提供极小图方程的首个反例，填补文献中的空白，此前该方程尚无已知此类反例。
• 将此前关于 Laplace 方程和 p-Laplace 方程不可解性的结果推广至极小图方程的情形。
• 构造显式例子，展示在三维 Cartan-Hadamard 流形中，对于连续非平凡边界数据，渐近 Dirichlet 问题失败。

提出的方法

• 将 Borbély 构造具有曲率 ≤ −1 的 Cartan-Hadamard 流形的方法加以改进，使其成为极小图方程的反例。
• 定义一族连续、正定的 Q-上解 ψ_{a,c} = c − v_{a,c}，其中 v_{a,c} = c tanh(δρ_a)，ρ_a 表示到凸集 V_{a−b} 的距离。
• 利用曲率上界及算子 A(t) 的增长条件，推导出 Q[v] = div(A(|∇v|²)∇v) 的下界，证明其非负。
• 在 Fermi 坐标系中应用散度定理与比较论证，验证 ψ_{a,c} 在整个流形 M 上为 Q-上解。
• 证明族 {ψ_{a,c}} 满足定理 2.3 所需条件，从而推出渐近 Dirichlet 问题的不可解性。
• 确认极小图方程满足所需的增长与正则性条件 (A) 与 (B)，确保理论框架适用。

实验结果

研究问题

• RQ1 在截面曲率 ≤ −1 的三维 Cartan-Hadamard 流形上，极小图方程的渐近 Dirichlet 问题是否不可解？
• RQ2 能否为极小图方程构造显式反例，使得对于非平凡连续边界数据，不存在连续解？
• RQ3 在这些流形上，极小图方程是否满足增长与正则性条件 (A) 与 (B)，从而确保理论框架有效？
• RQ4 是否存在一个与 B₀ 有关的统一常数 δ = δ(B₀)，使得所构造的上解 ψ_{a,c} 在无穷远处趋于零且保持正值？
• RQ5 该构造能否从 p-Laplace 和 Laplace 情形推广至极小图方程，后者超出了标准 p-Laplace 框架？

主要发现

• 在截面曲率 ≤ −1 的三维 Cartan-Hadamard 流形上，极小图方程的渐近 Dirichlet 问题不可解。
• 作者构造了此类流形的显式例子，表明对于任意连续边界数据，均不存在连续非平凡解。
• 该构造依赖于一族 Q-上解 ψ_{a,c} = c − c tanh(δρ_a)，其中 δ = 1/(2(1 + 2B₀))，其在无穷远处趋于零，并在凸集上为常数。
• 证明了这些上解满足弱意义下的 Q[ψ_{a,c}] ≤ 0，意味着不存在连续的 Q-解能与无穷远处的非平凡边界数据匹配。
• 极小图方程满足所需的增长条件 (1.3)–(1.5) 以及正则性假设 (A) 与 (B)，确认了理论框架的适用性。
• 该结果通过提供曲率 ≤ −1 下极小图方程的首个反例，解决了长期悬而未决的开放问题，将先前关于 Laplace 和 p-Laplace 方程的结果推广至该情形。