[论文解读] Radial symmetry and symmetry breaking for some interpolation inequalities

Jean Dolbeault, Maria J. Esteban+2 more|arXiv (Cornell University)|Sep 11, 2010

Nonlinear Partial Differential Equations被引用 5

一句话总结

本文研究了Caffarelli-Kohn-Nirenberg不等式与加权对数Hardy不等式中极值函数的径向对称性及其对称性破缺。通过变分法与Emden-Fowler变换，作者在参数空间中识别出一个连续曲面，该曲面将径向对称区域与对称性破缺区域分隔开来，证明即使径向解为局部极小值时，对称性破缺仍可能发生——这一发现挑战了既往基于线性不稳定性假设的结论。

ABSTRACT

We analyze the radial symmetry of extremals for a class of interpolation inequalities known as Caffarelli-Kohn-Nirenberg inequalities, and for a class of weighted logarithmic Hardy inequalities which appear as limiting cases of the first ones. In both classes we show that there exists a continuous surface that splits the set of admissible parameters into a region where extremals are symmetric and a region where symmetry breaking occurs. In previous results, the symmetry breaking region was identified by showing the linear instability of the radial extremals. Here we prove that symmetry can be broken even within the set of parameters where radial extremals correspond to local minima for the variational problem associated with the inequality. For interpolation inequalities, such a symmetry breaking phenomenon is entirely new.

研究动机与目标

• 确定Caffarelli-Kohn-Nirenberg插值不等式极值函数的对称性特征。
• 分析加权对数Hardy不等式中极值函数的对称性，该类不等式是Caffarelli-Kohn-Nirenberg不等式的极限情形。
• 识别径向对称性破缺发生的条件，特别是在径向极值函数为局部极小值的区域。
• 通过证明对称性破缺可在无线性不稳定性的情况下发生，挑战传统上依赖线性不稳定性作为对称性破缺判据的观念。
• 在参数空间中建立一个连续曲面，用以分隔对称与对称性破缺的区域。

提出的方法

• 利用Emden-Fowler变换将变分问题重新表述为以Λ(a) = (a − a_c)^2为参数的径向对称形式。
• 通过显式计算径向极值函数的最优常数C_CKN*(θ,p,Λ)与C_WLH*(γ,Λ)，并与全局最优常数进行比较。
• 在p = 2与θ = ϑ(p,d)附近进行渐近分析，证明严格不等式C_CKN*(θ,p,Λ) < C_CKN(θ,p,Λ)成立，表明对称性破缺。
• 通过比较C_WLH*(γ,Λ)与C_LS（对数Sobolev常数）建立参数空间中对称性破缺阈值的连续性。
• 利用Kelvin变换将结果推广至a < a_c的限制之外。
• 借助DE2010与DDFT中已知的存在性结果，将对称性破缺与极值存在性联系起来进行语境化分析。

实验结果

研究问题

• RQ1 在参数(a, b, p, θ, γ)满足何种条件下，Caffarelli-Kohn-Nirenberg不等式的极值函数不再具有径向对称性？
• RQ2 对称性破缺是否可能发生在径向极值函数为局部极小值的区域，而不仅限于不稳定区域？
• RQ3 加权对数Hardy不等式中对称性破缺的阈值与对数Sobolev不等式相比如何？
• RQ4 在参数空间中是否存在一个连续曲面，可将两类不等式中对称与对称性破缺的区域分隔开？
• RQ5 参数Λ(a) = (a − a_c)^2在决定极值函数对称性特征方面起何作用？

主要发现

• 在参数空间中存在一个连续曲面，将极值函数具有径向对称性的区域与对称性破缺的区域分隔开来，该曲面由Λ(a) = Λ_SB(γ,d)定义，适用于对数Hardy不等式。
• 即使径向极值函数为局部极小值，对称性破缺仍会发生，这与先前认为对称性破缺仅源于线性不稳定的假设相矛盾。
• 对于Caffarelli-Kohn-Nirenberg不等式，当θ = ϑ(p,d)且a = a_−(p)时，在p ∈ (2, 2+η)（η > 0极小）范围内，严格不等式C_CKN*(θ,p,Λ) < C_CKN(θ,p,Λ)成立，证明在p ≈ 2附近存在对称性破缺。
• 对于加权对数Hardy不等式，当Λ(a) > Λ_SB(γ,d)时发生对称性破缺，其中Λ_SB(γ,d)被显式定义，并在d = 2,3,4,5,6时通过数值方法验证。
• 当d ≥ 3且γ = d/4时，若a > a_*，或当d = 2且γ → (1/2)+时，不等式C_WLH*(γ,Λ) < C_LS成立，表明在这些区域中发生对称性破缺。
• 阈值Λ_SB(γ,d)在d ≥ 5时比DE2010的存在性条件更严格，但在小d值及特定γ区间内则更宽松，揭示了存在性与对称性之间错综复杂的相互作用。