[论文解读] V.A. Steklov and the Problem of Sharp (Exact) Constants in Inequalities of Mathematical Physics

Alexander I. Nazarov, Nikolay Kuznetsov+1 more|arXiv (Cornell University)|Jul 30, 2013

Spectral Theory in Mathematical Physics参考文献 23被引用 4

一句话总结

本文综述了 V.A. 斯特科夫在建立数学物理不等式中精确常数方面的基础性作用，特别聚焦于索博列夫不等式和庞加莱型不等式中最优界限的精确常数。文章分析了在涉及梯度的 $ L^p $-范数不等式中精确常数的可达性，将其与狄利克雷问题和斯特科夫问题的谱性质联系起来，并确立了在各种区域和临界指数下这些常数被实现的条件。

ABSTRACT

The 150th anniversary of the birth of the outstanding Russian mathematician Vladimir Andreevich Steklov falls on January 9, 2014. In this paper (it is a part of survey to be published in January 2014), we describe advances in one of several areas influenced by Steklov's work.

研究动机与目标

• 追溯由 V.A. 斯特科夫发起的数学物理不等式中精确常数的历史与数学发展。
• 分析在 $ L^p $-索博列夫和庞加莱型不等式中精确常数被实现的条件。
• 建立迹不等式中精确常数与半空间迹不等式中基本常数之间的关系。
• 研究区域几何与正则性在临界与次临界情形下最优常数可达性中的作用。

提出的方法

• 将正交系的闭合方程作为推导精确常数不等式的基础工具。
• 应用变分法与谱理论，将不等式中的精确常数与狄利克雷和斯特科夫拉普拉斯算子的特征值联系起来。
• 采用质量传输方法，证明半空间中临界迹不等式的极值函数。
• 通过特殊函数与贝塔函数推导迹不等式中精确常数的显式表达式。
• 通过与半空间情形的比较，分析有界 $ C^2 $-区域中精确常数的可达性。
• 确立在临界指数条件下（$ p < \frac{n+1}{2} + \beta $）精确常数被实现的条件。

实验结果

研究问题

• RQ1 在有界 $ C^2 $-区域中，索博列夫–庞加莱不等式中的精确常数在何种条件下被实现？
• RQ2 区域上迹不等式的精确常数与半空间迹不等式中基本常数之间的精确关系是什么？
• RQ3 斯特科夫问题的特征值如何与边界迹不等式中精确常数相关联？
• RQ4 对于 $ p > 1 $，临界迹不等式中的极值函数与精确常数的精确值是什么？
• RQ5 在哪些 $ p $ 和 $ n $ 的范围内，$ C^2 $-区域中迹不等式的精确常数是可达的？

主要发现

• 当 $ 1 < p < \frac{n+1}{2} + \beta $（$ \beta > 0 $）时，任何有界 $ C^2 $-区域中索博列夫–庞加莱不等式的精确常数均可被实现。
• 在 $ \rm I m I m I m I m R^n_+ $ 上的临界迹不等式中，精确常数为 $ C_3(n,p) = \bigl( \frac{p-1}{n-p} \bigr)^{1/p'} \bigl[ \frac{\rho_{n-2}}{2} \beta\bigl( \frac{n-1}{2}, \frac{n-1}{2(p-1)} \bigr) \bigr]^{-1/((n-1)p')} $，且 $ C_3(n,1) = 1 $。
• 临界迹不等式的极值函数为 $ |x - x^*|^{-(n-p)/(p-1)} $（$ x^* \notin \rm I m I m I m I m R^n_+ $），该结果对一般 $ p > 1 $ 在 [38] 中已证明。
• 对于边界迹不等式 (8)，精确常数等于 $ \bigl( \frac{1}{\text{斯特科夫问题的最小特征值}} \bigr)^{1/2} $，其中特征值问题涉及诺伊曼与斯特科夫边界条件。
• 当 $ n=2 $ 时，对于一条直角边为 $ a $ 的 $ 45^\text{th} $ 直角三角形，最小斯特科夫特征值为 $ \frac{z_1^{(1)} \tanh(z_1^{(1)})}{a} \to \frac{2.3236}{a} $，当 $ G $ 为斜边时。
• 若 $ C > C_3(n,p) $，则在 $ \rm I m I m I m I m R^n $ 中任意有界 $ C^2 $-区域（$ n \neq 2 $）中，当 $ 1 < p < \frac{n+1}{2} + \beta $ 时，迹不等式的精确常数均可被实现。