[論文レビュー] Hausdorff-Young type theorems for the Laplace transform restricted to a ray or to a curve in the complex plane

Anatoli Merzon, Sergey Sadov|arXiv (Cornell University)|Sep 28, 2011

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

ひとこと要約

本稿は、複素右半平面上の線および曲線に制限されたラプラス変換について、一様なハウスドルフ＝ユング型不等式を確立する。$ 1 \leq p \leq 2 $ に対して $ L^p \to L^{p'} $ の有界性を、凸曲線や双曲線を含む曲線族に対して一様な定数で示し、$ p > 2 $ に対してはローレンツ空間への拡張を行い、最大関数技法とよく投影された測度を用いて鋭い推定を得る。

ABSTRACT

Let p and q be conjugate exponents, with p in [1,2]. It is shown that the Laplace transform acts boundedly between the Lp space with unit weight on the positive real semiaxis and the Lq space weighted by a well-projected measure (a term defined in the paper) in the right complex half-plane. The operator norm is uniformly bounded over classes of measures with the same "projection constants". Particular cases are arclength measures on some classes of rectifiable curves. In addition, an analog of the Hausdorff-Young inequality in Lorentz spaces is obtained in the case of "wrong" exponents p>2.

研究の動機と目的

• 複素右半平面上の線 $ \mathrm{arg}\,z = \theta $ に制限されたラプラス変換の $ L^p \to L^{p'} $ 有界性を、$ 1 \leq p \leq 2 $ に対して一様に確立すること。
• 特に凸曲線および双曲的弧を含む、$ \mathbb{C}_+ $ 内の rectifiable 曲線 $ \gamma $ に対して、弧長測度を用いてこれらの推定を拡張すること。
• $ p > 2 $ における $ L^p \to L^{p'} $ 有界性の失敗を分析し、ローレンツ空間 $ L^{p,r} \to L^{p',r} $ における正の結果を提供すること。
• 「よく投影された」測度の理論を構築し、ポissonおよびコーシー積分の重み付き推定に応用することで、曲線に基づくラプラス変換のためのマスターテーレムを導出すること。
• エルミート対称核をもつ積分作用素のスペクトル分解を用いて、$ L^2 $ ノルムの鋭い推定を証明すること。

提案手法

• 核 $ k(x,y) = (x e^{-i\theta} + y e^{i\theta})^{-1} $ をもつ作用素 $ \mathcal{L}_\theta^* \mathcal{L}_\theta $ のスペクトル分解を用いて、$ |\theta| < \pi/2 $ の場合の正確な $ L^2 $ ノルムを計算する。
• リース＝トールンの補間定理を応用し、$ p=2 $ における $ L^p \to L^{p'} $ 有界性を $ 1 \leq p \leq 2 $ に拡張し、$ \theta $ を通して一様な定数を得る。
• $ \mathbb{C}_+ $ 上の「よく投影された」測度の導入。これは曲線上の弧長測度を一般化し、ポissonおよびコーシー積分の重み付き $ L^p $ 推定を可能にする。
• 準三角不等式と、非中心化ハーディー＝リトルウッド最大関数 $ U(x) $ を含む重要な補題を用いて、縦方向のレベル集合 $ Y_n(\lambda) $ と横方向のレベル集合 $ E_U(\mu) $ を関連付ける。
• 最大関数と減少関数 $ F(t) $ を用いて $ v_r $ の弱 $ L^1 $ ノルムを推定し、曲線に沿ったラプラス変換の弱型 $ (1,1) $ 界を得る。
• 主結果の証明は、最大関数推定への還元に依拠し、$ |(u * P_h)(x_0 + iy)| \leq F(h/y) U(x) $ という境界により、縦方向と横方向のレベル集合を結びつける。

実験結果

リサーチクエスチョン

• RQ1 $ |\theta| < \pi/2 $ の場合、線 $ \mathrm{arg}\,z = \theta $ に制限されたラプラス変換の正確な $ L^2 $ 演算子ノルムは何か？
• RQ2 $ \mathbb{C}_+ $ 内のどの曲線族 $ \gamma \subset \mathbb{C}_+ $ に対して、$ 1 \leq p \leq 2 $ において、$ L^p(\mathbb{R}_+) \to L^{p'}(\gamma, ds) $ の有界性が $ \gamma $ に関して一様に成り立つか？
• RQ3 $ p > 2 $ において、なぜラプラス変換は $ L^p(\mathbb{R}_+) \to L^{p'}(\mathbb{R}_+) $ に有界でないのか、そしてこの失敗はより大きな関数空間で是正可能か？
• RQ4 よく投影された測度の理論を用いて、曲線に沿ったラプラス変換のための一様な $ L^p $ 推定を得ることは可能か？また、そのために必要な・十分な条件は何か？
• RQ5 曲線に沿ったラプラス変換の弱型 $ (1,1) $ 構造は何か？最大関数推定とどのように関係するか？

主な発見

• 核 $ (x e^{-i\theta} + y e^{i\theta})^{-1} $ をもつ積分作用素のスペクトル分解を用いて、$ \theta $ の関数としてノルムの明確な表現を得ることで、$ \mathcal{L}_\theta $ の正確な $ L^2 $ 演算子ノルムを計算した。
• $ 1 \leq p \leq 2 $ に対して、$ \mathcal{L}_\theta $ は $ L^p(\mathbb{R}_+) \to L^{p'}(\mathbb{R}_+) $ に有界であり、$ \theta \in (-\pi/2, \pi/2) $ に対して一様な定数 $ K $ をもつ。これはリース＝トールン補間定理の結果である。
• $ p > 2 $ に対しては、$ \mathcal{L}_\theta $ は $ L^p \to L^{p'} $ に有界でないが、$ r \geq 1 $ に対して $ L^{p,r} \to L^{p',r} $ に有界であり、ローレンツ空間における正の結果を得た。
• 本稿では、曲線に沿ったラプラス変換に対して弱型 $ (1,1) $ 推定を確立し、$ \| \mathcal{L}_\gamma f \|_{L^{1,\infty}(\gamma, ds)} \leq C(b) \|f\|_{L^1} $ を示した。ここで $ C(b) \leq 3b $ であり、曲線の適切な幾何的条件が満たされている。
• よく投影された測度のための「マスターテーレム」（定理6）を確立し、凸曲線や有界なボックスの水平列にある曲線を含む広範なクラスの曲線に対して、一様な $ L^p \to L^{p'} $ 界を示した。
• 証明技法は、減少関数 $ F(t) $ を用いた最大関数推定を通じて、縦方向のレベル集合 $ Y_n(\lambda) $ と横方向のレベル集合 $ E_U(\mu) $ を結ぶ新しい関係に依拠し、鋭い弱型界に至る。