[论文解读] On the uniqueness and monotonicity of solutions of free boundary problems

Daniele Bartolucci, Aleks Jevnikar|arXiv (Cornell University)|Jan 1, 2022

Nonlinear Partial Differential Equations参考文献 52被引用 9

一句话总结

本文通过双势 variational 公式，建立了等离子体物理中一类自由边界问题的正解的唯一性与单调性。证明了对于任意光滑有界区域 Ω⊂ℝᴺ，解是唯一的，并在边界密度与能量上表现出普遍单调性，直至由 Sobolev 嵌入常数决定的精确阈值。该结果解决了关于变分解唯一性的长期悬而未决问题，并完整描述了二维球面上解分支的全貌。

ABSTRACT

For any smooth and bounded domain Ω⊂RN, we prove uniqueness of positive solutions of free boundary problems arising in plasma physics on Ω in a neat interval depending only by the best constant of the Sobolev embedding H01(Ω)↪L2p(Ω), [Formula presented] and show that the boundary density and a suitably defined energy share a universal monotonic behavior. At least to our knowledge, for p>1, this is the first result about the uniqueness for a domain which is not a two-dimensional ball and in particular the very first result about the monotonicity of solutions, which seems to be new even for p=1. The threshold, which is sharp for p=1, yields a new condition which guarantees that there is no free boundary inside Ω. As a corollary, in the same range, we solve a long-standing open problem (dating back to the work of Berestycki-Brezis in 1980) about the uniqueness of variational solutions. Moreover, on a two-dimensional ball we describe the full branch of positive solutions, that is, we prove the monotonicity along the curve of positive solutions until the boundary density vanishes.

研究动机与目标

• 解决等离子体物理中自由边界问题变分解唯一性的长期悬而未决问题。
• 建立解曲线上边界密度与能量的单调行为。
• 刻画二维球面上正解的完整分支。
• 识别 Ω 内部无自由边界存在的精确阈值。
• 将唯一性结果推广至 p=1 或径向对称的特殊情况之外。

提出的方法

• 通过在 L∞ 函数上进行约束最小化的对偶变分问题 (P)λ 来表述问题。
• 利用 (F)I 与 (P)λ 之间的对偶性，将两个公式之间的解性质相互转换。
• 应用谱理论与分支分析，研究参数 λ ↦ (αλ, ψλ) 的解曲线。
• 采用压缩映射与先验估计，证明小 λ 下的局部唯一性与正则性。
• 运用单调性论证与特征值估计，证明在区间 [0, 1/p Λ(Ω,2p)) 内有 dαλ/dλ < 0 且 dEλ/dλ > 0。
• 利用精确阈值 1/p Λ(Ω,2p) 来刻画最大存在区间与边界行为。

实验结果

研究问题

• RQ1 对于一般区域与 p > 1，是否存在一个普遍阈值，使得在此阈值以上，Ω 内部不再存在自由边界？
• RQ2 解曲线 (αλ, ψλ) 是否可被唯一参数化，并证明其为实解析且单调？
• RQ3 在非径向区域上，p > 1 时正解的唯一性是否成立？
• RQ4 解曲线与嵌入 H¹₀(Ω) ↪ L²ᵖ(Ω) 的最佳常数之间是否存在精确关系？
• RQ5 边界密度与能量沿解分支如何演化？这种行为是否在所有区域中具有普遍性？

主要发现

• 对于任意光滑有界区域 Ω⊂ℝᴺ 与 p ∈[1, pN)，问题 (P)λ 的解 (αλ, ψλ) 在所有 λ ∈[0, 1/p Λ(Ω,2p)) 内唯一。
• 解曲线为实解析的简单曲线，满足 dαλ/dλ < 0 与 dEλ/dλ > 0，表明 αλ 单调递减而能量 Eλ 单调递增。
• 当 p=1 时，阈值 λ = 1/p Λ(Ω,2p) 是精确的，此时与第一 Dirichlet 特征值 λ(1)(Ω) 重合，且标志着 αλ → 0 的点。
• 在二维球面 D₂ 上，正解的完整分支被完整描述：αλ 从 1 递减至 0，而 ψλ 随 λ 增加至 1/p Λ(D₂,2p) 而增加。
• 当 λ → 0+ 时，能量 Eλ 满足 Eλ = E₀(Ω) + O(λ)，其中 E₀(Ω) = ½ ∫∫ GΩ(x,y) dxdy ≤ |B₁|⁻²/ᴺ 4(N+2)。
• 对于 p > 1，该结果解决了关于变分解唯一性的长期悬而未决问题，表明此类解存在且唯一当且仅当 λ < λ∗∗(Ω,p) = (I∗∗(Ω,p))¹/𝑞。