[論文レビュー] A sharp weighted Wirtinger inequality

Tonia Ricciardi|ArXiv.org|Jan 4, 2005

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

ひとこと要約

本稿は、$2\pi$-周期関数に対して、ゼロ平均制約のもとで重み$\gamma^p$に関して鋭い重み付きWirtinger不等式を確立する。ここで$\gamma$は0および無限大から離れている。主な結果として、不等式$\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)$を用いて一般の推定値$C(a,b)$を導出する。ここで$\tau(\theta) = \frac{1}{c} \int_0^\theta \sqrt{a(\tilde{\theta})/b(\tilde{\theta})} \, d\tilde{\theta}$であり、$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)$のとき鋭い推定が得られることを示す。
• 一般不等式を、PiccininiとSpagnoloの既知の極値ケースに還元する。そのために、$a(\theta(\tau))b(\theta(\tau)) = \bar{a}^2(\tau + \varphi)$ almost everywhere となるように要請する。ここで$\bar{a}$は値$1$および$L$をとる段階関数である。
• 変換により元の問題を標準形に写像し、極値関数$\bar{w}$が既知であることを用い、変換を逆にすることで元の変数における極値$w$を回復する。
• 条件$a = \gamma^p$, $b = \gamma^q$を適用し、極値$\gamma = \bar{\gamma}_{p,q}$の明示的形を導出する。これは値$1$および$M$をとる区分的定数関数であり、$c_{p,q} = \frac{2}{1 + M^{-(p-q)/2}}$に比例する長さの区間で定義される。
• 極値関数$w = \bar{w}_{p,q}$の明示的形を導出する。これは位相シフトと振幅スケーリングが$p,q,M$に依存する区分的三角関数であり、正弦および余弦成分を含む。

実験結果

リサーチクエスチョン

• RQ1 重み付きWirtinger不等式$\int_0^{2\pi} \gamma^p w^2 \leq C \int_0^{2\pi} \gamma^q w'^2$において、制約$\int_0^{2\pi} \gamma^p w = 0$のもとで、最良定数$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)$の鋭い上界は、$M = \sup \gamma / \inf \gamma$として、$$\left( \frac{ \frac{1}{2\pi} \int_0^{2\pi} \gamma^{(p-q)/2} }{ \frac{4}{\pi} \arctan(M^{-(p+q)/4}) } \right)^2$$で与えられる。
• 等号が成立するのは、$\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$のとき、極値$\gamma$および$w$は、問題を既知のPiccinini-Spagnoloの極値ケースに還元する変数変換により明示的に構成される。
• $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)$の形である場合に限る。
• 古典的Wirtinger不等式は$p = q = 0$のとき、$C(1,1) = 1$を導き、$p = q \neq 0$のときPiccinini-Spagnoloの不等式に一致し、彼らの鋭い推定が回復される。