[論文レビュー] Sharp Riesz-Fej\'er inequality for harmonic Hardy spaces

Petar Melentijević, Vladimir Božin|arXiv (Cornell University)|Nov 15, 2019

Advanced Harmonic Analysis Research参考文献 11被引用数 7

ひとこと要約

本稿は、すべての $ 1 < p < \infty $ に対して単位円板上の調和ハーディー空間 $ h^p(\mathbb{D}) $ における鋭いリース＝フェイジャー不等式を確立し、最良の定数が $ \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $ であることを証明する。証明は、ポアソン拡張作用素にシュールテストを適用し、凸性およびベータ関数を用いた積分恒等式を活用して、鋭い $ L^p $ 評価を導出する。重み関数 $ h(z) = \Re(1 - z^2)^{-1/p} $ を巧みに選定することで実現される。

ABSTRACT

We prove sharp version of Riesz-Fej\'er inequality for functions in harmonic Hardy space $h^p(\mathbb{D})$ on the unit disk $\mathbb{D}$, for $p>1,$ thus extending the result from \cite{KPK} and resolving the posed conjecture.

研究の動機と目的

• 調和ハーディー空間 $ h^p(\mathbb{D}) $ におけるリース＝フェイジャー不等式の最良定数に関するカユモフらの予想を解決すること。
• $ p \in (1,2] $ で既知の鋭い不等式を、全範囲 $ 1 < p < \infty $ に拡張すること。
• すべての $ p > 1 $ に対して定数 $ \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $ が最良であることを確立し、予想を確認すること。

提案手法

• ポアソン拡張作用素 $ T $ にシュールテストを適用する。$ T $ は $ L^p(\partial\mathbb{D}) $ から $ L^p([-1,1]) $ への作用素であり、核関数は $ K(r, \theta) = \frac{1 - r^2}{1 - 2r\cos\theta + r^2} $ である。
• 境界値が単位円上で明示的に計算可能なテスト関数 $ h(z) = \Re(1 - z^2)^{-1/p} $ の構成。
• 不等式 $ T^*((Th)^{p-1}) \leq C \cdot h^{p-1} $ が almost everywhere で成り立つことを確認する。ここで $ C = \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $ であり、不等式を1次元積分に還元することで証明する。
• 置換 $ \frac{1+r}{1-r} = y \cot(\theta/2) $ を用いて積分を変形し、三角関数および超幾何関数の恒等式を用いた解析に適した形に変換する。
• 変形後の関数 $ F(\theta) $ が区間 $ [0, \pi] $ 上で凸であることを証明し、$ F(0) = F(\pi) = \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $ であることから、最大値が端点で達成されることを示す。
• ベータ関数の恒等式 $ B(a,b) = \int_0^{\pi/2} \sin^{2a-1}x \cos^{2b-1}x \, dx $ を用いて $ F(0) $ を正確に評価し、等式 $ F(0) = \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $ を確認する。

実験結果

リサーチクエスチョン

• RQ1 すべての $ 1 < p < \infty $ に対して、調和ハーディー空間 $ h^p(\mathbb{D}) $ におけるリース＝フェイジャー不等式の定数 $ \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $ は鋭いか？
• RQ2 シュールテストは、ポアソン拡張作用素に効果的に適用可能であり、調和関数の鋭い $ L^p $ 評価を導出できるか？
• RQ3 変換後の積分から得られる関数 $ F(\theta) $ は、端点 $ \theta = 0 $ および $ \theta = \pi $ で最大値をとるか？ その最大値は $ \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $ に等しいか？
• RQ4 重み関数 $ h(z) = \Re(1 - z^2)^{-1/p} $ は、この文脈におけるシュールテストのテスト関数として適切であり、正しい鋭い定数を導くか？
• RQ5 関数 $ F(\theta) $ の凸性は、2階微分の分析を用いて厳密に確立可能であり、その結果、望ましい不等式が得られるか？

主な発見

• すべての $ 1 < p < \infty $ に対して、調和ハーディー空間 $ h^p(\mathbb{D}) $ における鋭いリース＝フェイジャー不等式が成り立ち、最良の定数は $ \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $ である。カユモフらの予想が解決された。
• 置換後の正規化積分を表す関数 $ F(\theta) $ は区間 $ [0, \pi] $ 上で凸であり、その最大値は $ \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $ であり、$ \theta = 0 $ および $ \theta = \pi $ で達成される。
• ベータ関数の恒等式 $ B(a,b) = \int_0^{\pi/2} \sin^{2a-1}x \cos^{2b-1}x \, dx $ を用いて、$ F(0) $ を正確に計算し、等式 $ F(0) = \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $ を確認した。
• 構成された重み $ h(z) = \Re(1 - z^2)^{-1/p} $ に対して、シュールテストの条件が等号で成り立つことから、定数の鋭さが確認された。
• ポアソン拡張作用素の $ L^p $ 作用素ノルムは正確に $ \left( \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) \right)^{1/p} = \frac{1}{2^{1/p}} \cos\left(\frac{\pi}{2p}\right) $ に等しく、鋭い定数と一致する。
• $ h^p $ ノルムの回転対称性により、解析を $ s = 0 $ に制限しても一般性を失わず、証明が簡略化される。