[论文解读] Minimizers for the Hardy-Sobolev-Maz'ya inequality

Achilles Tertikas, K. Tintarev|arXiv (Cornell University)|Aug 24, 2005

Nonlinear Partial Differential Equations参考文献 15被引用 1

一句话总结

该论文通过变分法和泛函分析技术，证明了当 m > 2 且 n ≥ 1，或 m = 1 且 n ≥ 3 时，在 R^{m+n} 中 Hardy-Sobolev-Maz'ya 不等式存在极小化函数。其主要贡献在于，在这些维数条件下，证明了能够实现不等式最佳常数的极值函数的存在性。

ABSTRACT

We show existence of minimizers for the Hardy-Sobolev-Maz’ya inequality in Rm+n Rn when either m > 2, n ≥ 1 or m = 1, n ≥ 3. The authors expresses their gratitude to the faculties of mathematics department at Technion Haifa Institute of Technology and of the University of Cyprus for their hospitality. A.T. acknowledges partial support by the RTN European network Fronts–Singularities, HPRN-CT-2002-00274. K.T acknowledges support as a Lady Davis Visiting Professor at Technion and partial support from University of Crete and Swedish Research Council. Mathematics Subject Classifications: 35J65, 35J20, 35J70.

研究动机与目标

• 在混合维数的欧几里得空间中，建立 Hardy-Sobolev-Maz'ya 不等式极小化函数存在的证明。
• 解决在特定维数约束下，该不等式是否存在极值函数的问题。
• 将已知的极小化函数存在性结果，推广至具有奇异权函数的加权 Sobolev 不等式情形。
• 分析在满足给定条件的 m 和 n 下，R^{m+n} 中该不等式的变分结构。
• 为临界情形下极值函数的存在性，提供一个严格的泛函分析框架。

提出的方法

• 应用变分法，最小化与 Hardy-Sobolev-Maz'ya 不等式相关的 Rayleigh 商。
• 在加权 Sobolev 空间中使用紧致性论证，从极小化序列中提取收敛子列。
• 采用对称化技术，将问题约化为径向对称函数的情形。
• 分析极小化序列的渐近行为，以排除测度消失或分裂的可能性。
• 利用不等式中奇异权函数的结构，确保相关函数空间中的强制性。
• 利用加权 Sobolev 空间中的嵌入定理，建立相对紧致性。

实验结果

研究问题

• RQ1 在何种维数条件下，Hardy-Sobolev-Maz'ya 不等式在 R^{m+n} 中存在极小化函数？
• RQ2 当 m > 2 且 n ≥ 1 时，能否证明该不等式存在极值函数？
• RQ3 当 m = 1 且 n ≥ 3 时，极小化函数的存在性是否得到保证？
• RQ4 哪些泛函分析技术足以建立极小化序列的紧致性？
• RQ5 问题的对称性如何影响极小化函数的存在性？

主要发现

• 当 m > 2 且 n ≥ 1 时，Hardy-Sobolev-Maz'ya 不等式在 R^{m+n} 中存在极小化函数。
• 当 m = 1 且 n ≥ 3 时，极小化函数的存在性也得以确立。
• 该证明依赖于在具有奇异权函数的加权 Sobolev 空间中应用变分法。
• 通过对称化和渐近分析，实现了极小化序列的紧致性。
• 在给定条件下，不等式中的最佳常数由一个正的、径向对称函数实现。
• 该结果将已知的临界 Sobolev 不等式中具有奇异权函数的极小化函数存在性理论进一步推广。