[论文解读] A sharp weighted Wirtinger inequality

Tonia Ricciardi|ArXiv.org|Jan 4, 2005

Analytic Number Theory Research参考文献 3被引用 8

一句话总结

本文在关于权函数 $\gamma^p$ 的零均值约束下，为 $2\pi$-周期函数建立了精确的加权 Wirtinger 不等式，其中 $\gamma$ 有正下界和上界。关键结果给出了不等式 $\int_0^{2\pi} \gamma^p w^2 \leq C \int_0^{2\pi} \gamma^q w'^2$ 中最优常数 $C(\gamma^p, \gamma^q)$ 的显式表征，当 $p+q \geq 0$ 时，推广了 Piccinini 与 Spagnolo 的结果。

ABSTRACT

We obtain a sharp estimate for the best constant $C>0$ in the Wirtinger type inequality \[ \int_0^{2π}γ^pw^2\le C\int_0^{2π}γ^qw'^2 \] where $γ$ is bounded above and below away from zero, $w$ is $2π$-periodic and such that $\int_0^{2π}γ^pw=0$, and $p+q\ge0$. Our result generalizes an inequality of Piccinini and Spagnolo.

研究动机与目标

• 推导加权 Wirtinger 型不等式中最佳常数 $C(\gamma^p, \gamma^q)$ 的精确上界，适用于周期函数与零均值约束。
• 将经典不等式及 Piccinini-Spagnolo 不等式推广至权函数为有界、正定、$2\pi$-周期函数 $\gamma$ 的幂次的情形。
• 表征当 $p+q > 0$ 与 $p+q = 0$ 时不等式中等式成立的条件，识别出使不等式取等的权函数与测试函数 $w$ 的极值形式。
• 通过变量替换与最优传输型变换，建立变分估计，将问题约化为已知的极值情形。
• 提供实现不等式等号的极值权函数 $\gamma$ 与极值函数 $w$ 的显式表达式。

提出的方法

• 通过变量替换 $\theta = \theta(\tau)$ 定义的变换 $\tau(\theta) = \frac{1}{c} \int_0^\theta \sqrt{a(\tilde{\theta})/b(\tilde{\theta})} \, d\tilde{\theta}$，推导出 $C(a,b)$ 的一般估计，其中 $c = \frac{1}{2\pi} \int_0^{2\pi} \sqrt{a/b}$。
• 应用引理 2，将 $C(a,b)$ 用 $a/b$ 的几何平均与比值 $\inf(ab)/\sup(ab)$ 表示，当 $\sqrt{ab} \in \mathcal{B}(L)$ 时得到精确估计。
• 通过要求 $a(\theta(\tau))b(\theta(\tau)) = \bar{a}^2(\tau + \varphi)$ 几乎处处成立，将一般不等式约化为 Piccinini 与 Spagnolo 的已知极值情形，其中 $\bar{a}$ 为取值为 $1$ 与 $L$ 的阶梯函数。
• 利用变换将原问题映射到标准形式，此时极值函数 $\bar{w}$ 已知，再通过反变换恢复原变量下的极值函数 $w$。
• 将条件 $a = \gamma^p$，$b = \gamma^q$ 代入，导出极值 $\gamma = \bar{\gamma}_{p,q}$ 的显式形式，其为仅取值 $1$ 与 $M$ 的分段常数函数。
• 推导出极值函数 $w = \bar{w}_{p,q}$ 的显式形式，其为分段三角函数，具有相位移动与依赖于 $p,q,M$ 的振幅缩放。

实验结果

研究问题

• RQ1 在约束 $\int_0^{2\pi} \gamma^p w = 0$ 下，加权 Wirtinger 不等式 $\int_0^{2\pi} \gamma^p w^2 \leq C \int_0^{2\pi} \gamma^q w'^2$ 中，最佳常数 $C(\gamma^p, \gamma^q)$ 的精确上界是什么？
• RQ2 在何种 $\gamma$、$p$ 与 $q$ 条件下，不等式取等？极值函数 $w$ 的结构如何？
• RQ3 当 $\gamma$ 有界且 $2\pi$-周期时，最佳常数如何依赖于比值 $M = \sup \gamma / \inf \gamma$？
• RQ4 是否可通过变量替换将不等式约化为已知的 Piccinini-Spagnolo 情形？同胚映射 $\theta(\tau)$ 在此约化过程中起何作用？
• RQ5 当 $p + q = 0$ 时，极值常数与函数如何变化？此情形与 $p + q > 0$ 的情形有何不同？

主要发现

• 最佳常数 $C(\gamma^p, \gamma^q)$ 的精确上界为 $\left( \frac{ \frac{1}{2\pi} \int_0^{2\pi} \gamma^{(p-q)/2} }{ \frac{4}{\pi} \arctan(M^{-(p+q)/4}) } \right)^2$，其中 $M = \sup \gamma / \inf \gamma$。
• 等式成立当且仅当 $\gamma(\theta) = \bar{\gamma}_{p,q}(\theta + \varphi)$ 对某个 $\varphi \in \mathbb{R}$ 成立，其中 $\bar{\gamma}_{p,q}$ 为分段常数函数，在长度与 $c_{p,q} = \frac{2}{1 + M^{-(p-q)/2}}$ 成比例的区间上分别取值 $1$ 与 $M$。
• 实现等式的极值函数 $w$ 为 $w(\theta) = \bar{w}_{p,q}(\theta + \varphi)$，其为分段三角函数，包含正弦与余弦分量，具有相位移动与振幅缩放 $M^{-(p+q)/4}$。
• 当 $p + q > 0$ 时，通过将问题映射到已知的 Piccinini-Spagnolo 极值情形的变量替换，显式构造出极值 $\gamma$ 与 $w$。
• 当 $p + q = 0$ 时，最佳常数为 $C(\gamma^p, \gamma^{-p}) = \left( \frac{1}{2\pi} \int_0^{2\pi} \gamma^p \right)^2$，且等式成立当且仅当 $w(\theta) = C \cos\left( \frac{2\pi}{\int_0^{2\pi} \gamma^p} \int_0^\theta \gamma^p + \varphi \right)$。
• 当 $p = q = 0$ 时，结果退化为经典 Wirtinger 不等式，得 $C(1,1) = 1$；当 $p = q \neq 0$ 时，退化为 Piccinini-Spagnolo 不等式，恢复其最优估计。