[论文解读] On sharp constants in one-dimensional embedding theorems of arbitrary order

Alexander I. Nazarov|arXiv (Cornell University)|Aug 9, 2013

Mathematical Approximation and Integration参考文献 3被引用 5

一句话总结

本文通过分析 $ H^r(-T,T) \to L_q(-T,T) $ 嵌入中的最优常数，建立了任意阶数的一维嵌入定理的精确常数。结果表明，当且仅当 $ q \leq \left(\frac{\pi}{T}\right)^{2r} + 2 $ 时，常数函数 $ c(x) \equiv 1 $ 最小化比值 $ \|y\|_{H^r} / \|y\|_{L_q} $；否则，非平凡周期函数可给出更小的比值。精确常数通过变分法和欧拉-拉格朗日方程的相平面方法推导得出。

ABSTRACT

We discuss the problem where the extremal function in embedding theorem of some (generally speaking, non-integer) order is the constant function. We obtain the necessary and sufficient conditions of this.

研究动机与目标

• 确定任意 $ r > 0 $ 和 $ 2 < q < \infty $ 下嵌入 $ H^r(-T,T) \to L_q(-T,T) $ 的精确（尖）常数。
• 确定常数函数 $ c(x) \equiv 1 $ 停止最小化嵌入比值 $ \|y\|_{H^r} / \|y\|_{L_q} $ 的精确阈值 $ q $。
• 通过证明当 $ q \leq \left(\frac{\pi}{T}\right)^{2r} + 2 $ 时常数函数最小化该比值，解决一个猜想并纠正文献中先前的错误。
• 通过变分方法和关联欧拉-拉格朗日方程的相平面分析，确立嵌入常数的精确性。

提出的方法

• 将嵌入问题表述为在 $ H^r(-T,T) $ 上最小化比值 $ \|y\|_{H^r} / \|y\|_{L_q} $，由此导出泛函 $ J_{q,r}(y) $，并分析其临界点。
• 通过在常数函数处对 $ J_{q,r} $ 进行二阶变分，证明当 $ q > \left(\frac{\pi}{T}\right)^{2r} + 2 $ 时，该函数不是局部极小值。
• 将 $ r = 1 $ 的问题约化为求解非线性常微分方程 $ -y'' + y = \frac{q}{2}\mu y^{q-1} $，并通过相平面分析研究其周期解。
• 引入积分 $ I_q(\alpha) = \int_{x_0}^{x_1} \frac{dt}{\sqrt{t^2 - 1 - \alpha t^q}} $，表示振荡解的周期，并证明当 $ \alpha \in (0, \alpha^*(q)) $ 时有 $ dI_q/d\alpha < 0 $。
• 通过缩放和斯泰克洛夫–维尔廷格不等式，将 $ r = 1 $ 的结果推广至 $ r > 1 $，将高阶情形约化为一阶情形。
• 运用数值与解析技术验证 $ I_q(\alpha) $ 的单调性及相平面分析中分母的正性，确保仅当 $ q \leq \left(\frac{\pi}{T}\right)^{2r} + 2 $ 时存在周期解。

实验结果

研究问题

• RQ1 在空间 $ H^r(-T,T) $ 中，常数函数 $ c(x) \equiv 1 $ 最小化比值 $ \|y\|_{H^r} / \|y\|_{L_q} $ 的 $ q $ 值为何？
• RQ2 对于任意 $ r > 0 $ 和 $ 2 < q < \infty $，嵌入 $ H^r(-T,T) \to L_q(-T,T) $ 的精确常数是什么？
• RQ3 为何 $ r = 1 $ 时的标准论证无法推广至一般 $ T $？如何修正？
• RQ4 在何种条件下，该最小化问题的欧拉-拉格朗日方程存在非平凡周期解？
• RQ5 先前工作中提出的猜想 $ dI_q/d\alpha < 0 $，在 $ 2 < q \leq 4 $ 范围内是否可严格证明？

主要发现

• 当且仅当 $ q \leq \left(\frac{\pi}{T}\right)^{2r} + 2 $ 时，嵌入 $ H^r(-T,T) \to L_q(-T,T) $ 的精确常数为 $ \lambda_{q,r}(T) = (2T)^{1/2 - 1/q} $。
• 当 $ q > \left(\frac{\pi}{T}\right)^{2r} + 2 $ 时，常数函数 $ c(x) \equiv 1 $ 不再最小化该比值，且精确常数严格小于 $ (2T)^{1/2 - 1/q} $。
• 证明表明，当 $ q > \left(\frac{\pi}{T}\right)^{2r} + 2 $ 时，泛函 $ J_{q,r}(y) $ 在常数函数处无局部极小值，原因在于二阶变分呈负值。
• 当 $ r = 1 $ 时，若 $ q \leq \left(\frac{\pi}{T}\right)^2 + 2 $，则欧拉-拉格朗日方程不存在非平凡周期解，从而确认了常数函数的最小性。
• 周期积分 $ I_q(\alpha) $ 的单调性，即 $ dI_q/d\alpha < 0 $，已在 $ 2 < q \leq 4 $ 范围内严格证明，确认了先前工作的猜想。
• 建立了极限 $ \lim_{\alpha \to \alpha^*(q)} I_q(\alpha) = \pi / \sqrt{q - 2} $，该极限对应于相平面中同宿轨道的周期，即解趋近退化情形时的极限行为。