[論文レビュー] Estimates for the maximal singular integral in terms of the singular integral:the case of even kernels

Joan Mateu, Joan Orobitg+1 more|arXiv (Cornell University)|Jul 31, 2007

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

ひとこと要約

本稿は、最大特異積分 $T^\star f$ が $Tf$ のハーディー＝リトルウッド maximal 関数によって点ごとの支配を受け、すなわち $T^\star f(x) \leq C\,M(Tf)(x)$ を満たすような、偶関数で滑らかな同次型のカレゾン＝ジグムンド作用素の特徴づけを確立する。主な結果は、この不等式が成り立つのは、作用素 $T$ が $T = R \circ U$ と分解可能であるとき、かつそのときに限ることであり、ここで $R$ は高階のリース変換、$U$ は恒等作用素と同様のカレゾン＝ジグムンド作用素で生成される代数の可逆元である。

ABSTRACT

The purpose of this paper is to describe the smooth homogeneous Calderon-Zygmund operators for which the maximal singular integral T*f may be controlled by the singular integral Tf. We consider two types of control. The first is the L2 estimate of T*f by Tf, namely the estimate of the L2 norm of T*f by a constant times the L2 norm of Tf. The second is the pointwise estimate of T*f(x) by a constant times M(Tf)(x), where M denotes the Hardy-Littlewood maximal operator. Notice that this is an improved variant of Cotlar's inequality, because the term Mf(x) is missing on the right hand side. Our main result states that, for even operators, both are equivalent to a purely algebraic condition formulated in terms of the expansion of the kernel in spherical harmonics. The condition holds by higher order Riesz transforms, which then satisfy an improved version of Cotlar's inequality

研究の動機と目的

• 最大特異積分 $T^\star f$ が点ごとに $M(Tf)$ によって支配される、すなわち $T^\star f \leq C\,M(Tf)$ となる条件を同定すること。
• 偶関数で滑らかな同次型のカレゾン＝ジグムンド作用素に対して、$T^\star$ の $L^2$ 有界性を $T$ の観点から特徴づけること。
• 球面調和関数展開を用いて、同次核 $\Omega(x)/|x|^n$ に対して、このような支配を保証する代数的条件を同定すること。
• 偶関数作用素に対して、点ごとの不等式と $L^2$ 評価が同値であることを示し、作用素の因数分解を通じて完全な特徴づけを提供すること。
• 支配が成立しない具体例を構成し、代数的条件の必要性を示すこと。

提案手法

• 球面 $S^{n-1}$ 上の 0 次同次核 $\Omega$ の球面調和関数展開 $\Omega = \sum P_j$ を用いる。ここで $P_j$ は次数 $j$ の調和多項式である。
• 恒等作用素と滑らかな同次型カレゾン＝ジグムンド作用素で生成される代数 $A$ を定義し、$A$ 内の可逆元 $U \in A$ を考察する。
• 偶関数作用素に対して、点ごとの不等式 $T^\star f \leq C\,M(Tf)$ と $L^2$ 評価 $\|T^\star f\|_2 \leq C\|Tf\|_2$ が同値であることを確立する。
• このような支配が成り立つのは、$T = R \circ U$ と分解可能であるとき、かつそのときに限ることを証明する。ここで $R$ は高階のリース変換、$U$ は代数 $A$ 内の可逆元であり、核の球面調和関数成分がある可除性条件を満たす必要がある。
• フーリエ乗数子解析と同次調和多項式の性質を用いて、因数分解と可逆性の条件を検証する。
• 次数 8 の多項式 $P$ を用いた具体例を構成し、$P_2$ が $P_4$ や $P_8$ を割り切らない場合に不等式が成立しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 核 $\Omega$ に対してどのような条件下で最大特異積分 $T^\star f$ が $M(Tf)$ によって点ごとに支配されるか。
• RQ2 偶関数のカレゾン＝ジグムンド作用素に対して、$T^\star$ の $L^2$ 有界性は、点ごとの不等式 $T^\star f \leq C\,M(Tf)$ と同値か。
• RQ3 核 $\Omega$ の球面調和関数展開を通じて、$T^\star f$ の $Tf$ による支配を代数的に特徴づけられるか。
• RQ4 核の偶関数性がこのような支配を可能にする役割は何か。非偶関数作用素ではなぜ成立しないのか。
• RQ5 代数的条件 $T = R \circ U$（$U$ が $A$ 内で可逆）はどれほど制限的か。実際に検証可能か。

主な発見

• 点ごとの不等式 $T^\star f(x) \leq C\,M(Tf)(x)$ は、偶関数の高階リース変換に対して成り立ち、コトラの不等式から $Mf$ 項を除去する鋭い改善をもたらす。
• 偶関数で滑らかな同次型カレゾン＝ジグムンド作用素に対して、$L^2$ 評価 $\|T^\star f\|_2 \leq C\|Tf\|_2$ は、点ごとの不等式 $T^\star f \leq C\,M(Tf)$ と同値である。
• $T^\star$ の $T$ による支配が成り立つのは、作用素 $T$ が $T = R \circ U$ と分解可能であるとき、かつそのときに限る。ここで $R$ は高階リース変換、$U$ は代数 $A$ 内の可逆作用素である。
• 因数分解条件は、核 $\Omega$ の球面調和関数成分 $P_j$ が、$R$ に対応する調和多項式 $P$ によってすべて割り切れるという条件と同値である。
• 具体的に、$P_2$ が $P_4$ や $P_8$ を割り切らない場合の反例を構成し、支配が成立しないことを示した。
• 次元 $n=2$ では、最初の非ゼロ球面調和関数成分 $P_{2j_0}$ が、定数項を除いてすべての高次成分を決定する。これは調和多項式の零点構造による。