[论文解读] 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

一句话总结

本文建立了拉普拉斯变换在复右半平面内射线和可求长曲线上的统一Hausdorff-Young型不等式。它证明了当 $ 1 \leq p \leq 2 $ 时，$ L^p \to L^{p'} $ 有界性，且在包括凸曲线和双曲线在内的曲线族中具有统一的常数；并进一步将结果推广至 $ p > 2 $ 时的Lorentz空间，通过极大函数技术与良投影测度提供了精确估计。

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}_+ $ 中的可求长曲线 $ \gamma $，特别是凸曲线和双曲线弧。
• 分析当 $ p > 2 $ 时 $ L^p \to L^{p'} $ 有界性的失效原因，并在Lorentz空间 $ L^{p,r} \to L^{p',r} $ 中提供正向结果。
• 发展‘良投影’测度的理论，并将其应用于泊松与柯西积分的加权估计，从而导出基于曲线的拉普拉斯变换的主定理。
• 通过积分算子的谱分解，证明沿射线的拉普拉斯变换在 $ L^2 $ 范数下的精确估计，其核具有Hermite对称性。

提出的方法

• 利用核为 $ k(x,y) = (x e^{-i\theta} + y e^{i\theta})^{-1} $ 的算子 $ \mathcal{L}_\theta^* \mathcal{L}_\theta $ 的谱分解，计算当 $ |\theta| < \pi/2 $ 时的精确 $ L^2 $ 范数。
• 应用Riesz-Thorin插值定理，将 $ p=2 $ 时的 $ L^p \to L^{p'} $ 有界性扩展至 $ 1 \leq p \leq 2 $，并保持关于 $ \theta $ 的统一常数。
• 在 $ \mathbb{C}_+ $ 上引入‘良投影’测度，其推广了曲线上的弧长测度，使得泊松与柯西积分的加权 $ L^p $ 估计成为可能。
• 使用拟三角不等式及一个涉及非中心Hardy-Littlewood极大函数 $ 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}_+ $，拉普拉斯变换 $ \mathcal{L}_\gamma $ 在 $ 1 \leq p \leq 2 $ 时关于 $ \gamma $ 一致有界，且映射 $ L^p(\mathbb{R}_+) \to L^{p'}(\gamma, ds) $？
• 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} $ 的积分算子的谱分解，精确计算了 $ \mathcal{L}_\theta $ 的 $ L^2 $ 算子范数，得到了以 $ \theta $ 表示的精确表达式。
• 算子 $ \mathcal{L}_\theta $ 从 $ L^p(\mathbb{R}_+) \to L^{p'}(\mathbb{R}_+) $ 在 $ 1 \leq p \leq 2 $ 时有界，且常数 $ K $ 关于 $ \theta \in (-\pi/2, \pi/2) $ 一致，这是Riesz-Thorin插值的直接推论。
• 当 $ p > 2 $ 时，$ \mathcal{L}_\theta $ 不从 $ L^p \to L^{p'} $ 有界，但其在Lorentz空间 $ L^{p,r} \to L^{p',r} $ 中有界，且 $ r \geq 1 $，从而在更大空间中提供了正向结果。
• 本文建立了沿曲线的拉普拉斯变换的弱型 $ (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) $ 联系起来，从而导出精确的弱型估计。