数学において、特異積分は調和解析の中心であり、偏微分方程式の研究と密接に関係している。大まかに言えば、特異積分は積分演算子である。
の核関数K : R n × R n → Rは対角線x = yに沿って特異です。具体的には、特異点は、| K ( x , y )| が | x − y | → 0 のときに漸近的にサイズ | x − y | − n になるようなものです。この よう な積分は一般に絶対積分可能ではない可能性があるため、厳密な定義では、ε → 0 のときの | y − x | > ε上の積分の極限として定義する必要がありますが、実際にはこれは技術的な問題です。通常、 L p ( R n )上の有界性などの結果を得るには、さらなる仮定が必要です。
ヒルベルト変換
典型的な特異積分演算子はヒルベルト変換 Hである。これは、 x がRにある場合の核K ( x ) = 1/(π x )に対する畳み込みによって与えられる。より正確には、
これらの最も直接的な高次元類似物はリース変換であり、K ( x ) = 1/ x を次のように 置き換える。
ここで、i = 1, ..., nであり、 R nにおけるxのi番目の成分である。これらの演算子はすべてL pで制限され、弱型(1, 1)推定値を満たす。[1]
畳み込み型の特異積分
畳み込み型の特異積分は、 R n \{0} 上で局所積分可能な核Kとの畳み込みによって定義される演算子Tであり、
カーネルが以下を満たすと仮定します。
- Kのフーリエ変換におけるサイズ条件
- 滑らかさの条件:あるC > 0に対して、
すると、 TはL p ( R n )上で有界であり、弱型(1, 1)推定を満たす ことが示されます。
性質1は、主値積分によって与えられる緩和分布pv Kとの畳み込み( 1)を保証するために必要である。
はL 2上の明確に定義されたフーリエ乗数である。1. または 2. の性質はどちらも必ずしも簡単に検証できるわけではなく、さまざまな十分条件が存在する。通常、応用においては、キャンセル条件 も存在する。
これは簡単に確認できます。例えば、Kが奇関数であれば自動的に確認できます。さらに、2.と次のサイズ条件を仮定すると、
すると、1. が成り立つことが示されます。
滑らかさの条件 2. も原理的には確認が難しいことが多いため、カーネルKの次の十分条件を使用できます。
これらの条件はヒルベルト変換とリース変換に対して満たされていることに注目してください。したがって、この結果はそれらの結果の拡張です。[2]
非畳み込み型の特異積分
これらはさらに一般的な演算子です。ただし、仮定が非常に弱いため、これらの演算子がL pに制限されるとは限りません。
カルデロン・ジグムント核
関数K : R n × R n → Rは、定数C > 0およびδ > 0に対して次の条件を満たす場合、カルデロン-ジグムンド核と呼ばれる。[2]
非畳み込み型の特異積分
Tは、カルデロン・ジグムント核Kに関連する非畳み込み型の特異積分演算子であるとは、
fとgが滑らかで互いに素な台を持つときはいつでも[2]、そのような作用素はL p
カルデロン・ジグムント演算子
カルデロン・ジグムント核Kに関連する非畳み込み型Tの特異積分は、 L 2で有界となるとき、つまりC > 0が存在して次の式 が成り立つとき、カルデロン・ジグムント作用素と呼ばれる。
すべての滑らかでコンパクトに支えられたƒ に対して。
このような演算子は、実際には、 1 < p < ∞ のすべてのL p上でも制限されることが証明できます。
のT(b) 定理
T ( b )定理は、特異積分演算子がカルデロン-ジグムント演算子となるための十分な条件、つまりカルデロン-ジグムント核に関連付けられた特異積分演算子がL 2上で有界となるための十分な条件を提供します。結果を述べるには、まずいくつかの用語を定義する必要があります。
正規化されたバンプは、半径1の球で支えられ、原点を中心とするR n上の滑らかな関数φであり、すべての多重添字 | α | ≤ n + 2に対して | ∂ α φ ( x )| ≤ 1 が成り立つ。R nのすべてのxとr > 0 に対して、 τ x ( φ )( y ) = φ ( y − x ) およびφ r ( x ) = r − n φ ( x / r ) と表記する。定数C が存在し、
すべての正規化されたバンプφとψに対して。Rのすべてのxに対してRe( b )( x ) ≥ c となる定数c > 0 が存在する場合、関数は増加的であると言われます。関数bによる乗算によって与えられる演算子をM bで表します。
T ( b )定理は、カルデロン・ジグムント核に関連付けられた特異積分作用素Tが、ある有界増加関数b1とb2に対して次の3つの条件をすべて満たす場合、L2上で有界になることを述べています。[3]
参照
注記
- ^ スタイン、エリアス(1993年)。「調和分析」。プリンストン大学出版局。
- ^ abc Grafakos, Loukas (2004)、「7」、Classical and Modern Fourier Analysis、ニュージャージー州:Pearson Education、Inc.
- ^ デビッド;セムズ。ジュルネ(1985)。 「Opérateurs de Calderón–Zygmund、fonctions para-accrétives et interpolation」(フランス語)。 Vol. 1. レヴィスタ・マテマティカ・イベロアメリカーナ。 1 ~ 56 ページ。
参考文献
- Calderon, AP ; Zygmund, A. (1952)、「特定の特異積分の存在について」、Acta Mathematica、88 (1): 85–139、doi : 10.1007/BF02392130、ISSN 0001-5962、MR 0052553、Zbl 0047.10201。
- Calderon, AP ; Zygmund, A. (1956)、「特異積分について」、American Journal of Mathematics、78 (2)、ジョンズホプキンス大学出版局: 289–309、doi :10.2307/2372517、ISSN 0002-9327、JSTOR 2372517、MR 0084633、Zbl 0072.11501。
- コイフマン、ロナルド、マイヤー、イヴ(1997)、「ウェーブレット: カルデロン-ジグムントと多重線型演算子」、ケンブリッジ高等数学研究、第 48 巻、ケンブリッジ大学出版局、pp. xx+315、ISBN 0-521-42001-6、MR 1456993、Zbl 0916.42023。
- ミクリン、ソロモン G. (1948)、「特異積分方程式」、UMN、3 (25): 29–112、MR 0027429(ロシア語)。
- ミクリン、ソロモン G. (1965)、「多次元特異積分と積分方程式」、国際純粋・応用数学モノグラフシリーズ、第 83 巻、オックスフォード–ロンドン–エディンバラ–ニューヨーク–パリ–フランクフルト:ペルガモン プレス、pp. XII+255、MR 0185399、Zbl 0129.07701。
- ミクリン、ソロモン G. ; プレスドルフ、ジークフリート (1986)、特異積分演算子、ベルリン–ハイデルベルク–ニューヨーク市:シュプリンガー出版社、p. 528、ISBN 0-387-15967-3、MR 0867687、Zbl 0612.47024(ヨーロッパ版:ISBN 3-540-15967-3)。
- スタイン、エリアス(1970)、特異積分と関数の微分可能性、プリンストン数学シリーズ、第30巻、プリンストン、ニュージャージー:プリンストン大学出版局、pp. XIV+287、ISBN 0-691-08079-8、MR 0290095、Zbl 0207.13501
外部リンク
- Stein, Elias M. (1998 年 10 月). 「特異積分: Calderón と Zygmund の役割」(PDF) .アメリカ数学会報. 45 (9): 1130–1140.
