[論文レビュー] $L^{p}$ estimates for the bilinear Hilbert transform for $1/2

Wei Dai, Guozhen Lu|arXiv (Cornell University)|Sep 12, 2014

Advanced Harmonic Analysis Research被引用数 11

ひとこと要約

本稿は、全範囲 $1/2 < p < \infty$ における非滑らかシンボルをもつ二重線形フーリエマルチプライヤーの $L^p$ 評価を確立し、臨界範囲 $p \in (1/2, 2/3]$ における二重線形ハーモニック変換の有界性について未解決の問題を解決する。古典的二重線形ハーモニック変換が $\mathcal{F}L^{p_1'} \times L^{p_2} \to L^p$ を有界に写さないことを示す反例を構成するが、シンボルが二重線形ハーモニック変換シンボルに限りなく近い非滑らかシンボルをもつ演算子について、$L^p$ 有界性が成り立つことを証明する。

ABSTRACT

M. Lacey and C. Thiele proved in [27] (Annals of Math. (1997)) and [28] (Annals of Math. (1999)) that the bilinear Hilbert transform maps $L^{p_1} imes L^{p_2} ightarrow L^{p}$ boundedly when $\frac{1}{p_1}+\frac{1}{p_2}=\frac{1}{p}$ with $1

研究の動機と目的

• 二重線形ハーモニック変換が $p \in (1/2, 2/3]$ に対して $L^p$ 評価をもつかどうかという未解決問題を解決すること。
• 入力関数の一つが $p_1 < 2$ のとき、$p \in (1/2, 2/3]$ 範囲で二重線形ハーモニック変換の $L^p$ 有界性が失敗することを調査すること。
• 滑らかでないが、二重線形ハーモニック変換シンボルに限りなく近いシンボルをもつ二重線形フーリエマルチプライヤー演算子の $L^p$ 評価を確立すること。
• 滑らかさに欠けるが1次元特異性をもつシンボルをもつ演算子への $L^p$ 評価の一般化を図ること、滑らかさの仮定を越えて拡張すること。

提案手法

• 確率変数の性質と時間周波数解析を用いて、$p_1 < 2$ かつ $p \in (1/2, 2/3)$ のとき、二重線形ハーモニック変換が $\mathcal{F}L^{p_1'} \times L^{p_2} \to L^p$ を有界に写さない反例を構成する。
• 関連する三重線形形式の大きさを制御するために、離散化された平方関数と最大関数の分解を適用する。
• 時間周波数解析における木選択と停止時刻の議論を用いて、周波数平面を dyadic 開区間へ分解し、各木の寄与を局所化する。
• 周波数アニュラスの dyadic 分解を実施し、平方関数および最大関数のレベル集合の大きさを制御するための停止集合 $\Omega^{i}_{n_i}$ を定義する。
• シンボル $m$ を $m_{\mathcal{A}}$ に錐型切断することで、dyadic モデル演算子の使用と、dyadic 世代ごとの一様推定が可能になる。
• $k$-添え字ブロックと $n$-添え字周波数スケールを用いた dyadic モデル演算子分解を実施し、指数的および多項式的減衰項によって演算子ノルムの減衰を制御する。

実験結果

リサーチクエスチョン

• RQ1 入力関数の一つが $p_1 < 2$ のとき、$\mathcal{F}L^{p_1'}$ に属する場合、$p \in (1/2, 2/3]$ における二重線形ハーモニック変換が $L^p$ 評価をもつか。
• RQ2 $p \in (1/2, \infty)$ の全範囲で、二重線形ハーモニック変換シンボルに限りなく近い非滑らかシンボルをもつ二重線形フーリエマルチプライヤー演算子に対して $L^p$ 評価が確立可能か。
• RQ3 シンボルが1次元特異性をもち、完全な滑らかさを欠く場合、二重線形ハーモニック変換の有界性はどのように変化するか。
• RQ4 特に臨界範囲 $p \in (1/2, 2/3]$ において、限られた正則性をもつシンボルへの $L^p$ 有界性理論を拡張可能か。
• RQ5 $p \in (1/2, 2/3]$ 範囲における $L^p$ 評価の失敗が、モジュレーション空間を用いた反例によって正確に特徴づけられるか。

主な発見

• $p_1 < 2$ かつ $p \in (1/2, 2/3)$ のとき、二重線形ハーモニック変換は $\mathcal{F}L^{p_1'} \times L^{p_2} \to L^p$ を有界に写さないことが示され、臨界範囲における鋭い反例が得られる。
• $p_2 < 2$ かつ $p \in (1/2, 2/3)$ のとき、二重線形ハーモニック変換は $L^{p_1} \times \mathcal{F}L^{p_2'} \to L^p$ を有界に写さないことが確認され、両方のモジュレーション空間入力において失敗が成立する。
• $m$ が二重線形ハーモニック変換シンボルに $L^p$-近似でいくらでも近い非滑らかシンボルであっても、すべての $p \in (1/2, \infty)$ に対して $L^p$ 評価が成り立つ。
• 切断された二重線形マルチプライヤー $T_{m_{\mathcal{A}}}$ の $L^p$ 演算子ノルムは、$p_1, p_2, p, \delta$ に依存する定数によって有界であり、$\delta \to 0$ のとき定数が発散することから、減衰条件の鋭さが示される。
• dyadic モデル演算子分解により一様な評価が確立され、演算子ノルムの和が $e^{-\delta \sqrt{n}} + n^{-3}$ のように減衰し、収束級数を形成するため有界性が得られる。
• 一般の二重線形フーリエマルチプライヤーに対して、$|\partial^\alpha m| \lesssim \text{dist}(\xi, \Gamma)^{-|\alpha|}$ を満たすシンボルについても、滑らかさに欠けても $p > 1/2$ に対して $L^p$ 評価が成り立つことが証明される。