[論文レビュー] Continuity of weighted estimates for sublinear operators

Michael Papadimitrakis, Nikolaos Pattakos|arXiv (Cornell University)|Jun 20, 2012

Advanced Harmonic Analysis Research参考文献 4被引用数 3

ひとこと要約

本稿は、重み付き$L^p$空間における非線形作用素の作用素ノルムの、$A_p$重み上の$d_*$位相に関する連続性を確立する。もし非線形作用素$T$が$A_p$特性にのみ依存する重み付きノルム不等式を満たすならば、$w \to w_0$の$d_*$位相において、その作用素ノルムは$w_0$で連続であることを示す。

ABSTRACT

In this note we prove that if a sublinear operator T satisfies a certain weighted estimate in the $L^{p}(w)$ space for all $w\in A_{p}$, $1

研究の動機と目的

• 線形作用素から非線形作用素への作用素ノルムの連続性を、重み付き$L^p$空間に拡張すること。
• 作用素ノルム$\|T\|_{L^p(w)\to L^p(w)}$が、$d_*$位相における重み$w$に関して連続に変化するかどうかを調査すること。
• 固定された重み$w_0$に対する小さな$d_*$-摂動において、$A_p$特性が有界のままであることを確立すること。
• 主要不等式における定数$c_{[w]_{A_p}}$が$[w]_{A_p}$に関して連続に変化することを示し、$w_0$の近傍で有界性を保証すること。

提案手法

• 文献[3]の鍵となる不等式を用いる：$\|T\|_{L^p(u)\to L^p(u)} \leq \|T\|_{L^p(v)\to L^p(v)}(1 + c_{[v]_{A_p}} d_*(u,v))$ は、非線形作用素および$d_*$位相で近い$u,v$に対して成り立つ。
• この不等式を$u = w$, $v = w_0$ として適用し、$d_*(w,w_0) \to 0$ のとき、$\|T\|_{L^p(w)\to L^p(w)}$ の上界を$\|T\|_{L^p(w_0)\to L^p(w_0)}$ に近づける。
• 逆不等式を導くために役割を入れ替える：$u = w_0$, $v = w$ とし、$w \to w_0$ のときの$c_{[w]_{A_p}}$ の制御を要する。
• ホルダーの不等式と共役指数$R, R' = 1+\epsilon$ を用いて、$w_0$に近い$w$に対して$[w]_{A_p}$ を一様に有界に抑える。
• $R$が十分に大きいとき、$\left(\frac{w}{w_0}\right)^R \in A_p$ で、その特性が一様に有界であること、および$\epsilon$が十分に小さいとき$w_0^{1+\epsilon} \in A_p$ であることを利用。
• 測度変換を伴うリース＝ソリン補間から導かれる$c_{[w]_{A_p}}$の$[w]_{A_p}$に関する連続性を活用し、定数の有界性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 非線形作用素に関して、作用素ノルム$\|T\|_{L^p(w)\to L^p(w)}$ は、$d_*$位相における重み$w$に関して連続に依存するか？
• RQ2 文献[3]における線形作用素の連続性結果が、同じ$A_p$ノルム仮定のもとで非線形作用素へ拡張可能か？
• RQ3 固定された$w_0 \in A_p$の近傍で、$A_p$特性$[w]_{A_p}$ は$d_*$位相に関して連続か？
• RQ4 $w \to w_0$ の$d_*$位相において、主要不等式における定数$c_{[w]_{A_p}}$ は有界のままであるか？
• RQ5 十分に$w_0$に近いすべての$w$に対して、$d_*$位相で$[w]_{A_p}$ を一様に有界にできるか？

主な発見

• 作用素ノルム$\|T\|_{L^p(w)\to L^p(w)}$ は、$d_*$位相において$w_0$で連続である：$\lim_{d_*(w,w_0)\to 0}\|T\|_{L^p(w)\to L^p(w)} = \|T\|_{L^p(w_0)\to L^p(w_0)}$。
• $w_0$に十分近い$d_*$位相における$w$に対して、$A_p$特性$[w]_{A_p}$ は、$[w_0]_{A_p}$ と距離$\delta = d_*(w,w_0)$ のみに依存する定数$C$で一様に有界である。
• $A_p$特性は$\limsup_{d_*(w,w_0)\to 0}[w]_{A_p} \leq [w_0]_{A_p}$ を満たし、逆に$[w_0]_{A_p} \leq \liminf_{d_*(w,w_0)\to 0}[w]_{A_p}$ も成り立つため、$d_*$位相で$[w]_{A_p}$ は連続であることが示された。
• 主要不等式における定数$c_{[w]_{A_p}}$ は$[w]_{A_p}$ に関して連続であり、したがって$w \to w_0$ の$d_*$位相においても有界のままである。
• 証明は、共役指数$R$と$R' = 1+\epsilon$ を用いたホルダーの不等式に依存し、$R$が大きいとき$\left(\frac{w}{w_0}\right)^R \in A_p$ でその特性が一様に有界であることに加え、$\epsilon$が小さいとき$w_0^{1+\epsilon} \in A_p$ であることを利用。
• 線形作用素への連続性結果を非線形作用素へ一般化し、従来の手法では失敗していたギャップを解消した。