[论文解读] On multilinear oscillatory integrals, nonsingular and singular

Michael Christ, Xiaochun Li+2 more|ArXiv.org|Nov 4, 2003

Advanced Harmonic Analysis Research参考文献 5被引用 5

一句话总结

本文建立了具有多项式相位 $e^{i\lambda P(x)}$ 的多重线性振荡积分的 $L^p$ 有界性与幂次衰减估计，证明了相位 $P$ 相对于给定子空间 $V_j$ 的非退化性是此类衰减的必要且充分条件。关键结果是多重线性泛函 $\Lambda_\lambda$ 的一致 $O(|\lambda|^{-\varepsilon})$ 衰减界，将经典振荡积分理论推广至多重线性情形，并在非退化条件下实现了最优衰减速率。

ABSTRACT

Basic questions concerning nonsingular multilinear operators with oscillatory factors are posed and partially answered. Lebesgue space norm inequalities are established for multilinear integral operators of Calderon-Zygmund type which incorporate oscillatory factors exp(iP), where P is a real-valued polynomial with large coefficients. A related problem concerning upper bounds for measures of sublevel sets is solved.

研究动机与目标

• 刻画多重线性振荡积分在参数 $\lambda$ 下呈现一致幂次衰减的条件。
• 确定相位 $P$ 相对于子空间 $\{V_j\}$ 的非退化性是否等价于 $L^\infty$ 函数的幂次衰减性质。
• 将经典振荡积分理论推广至多重线性情形，建立具有振荡因子的多重线性 Calderón-Zygmund 型算子的 $L^p$ 有界性与衰减估计。
• 解决一个关于多项式相位子水平集测度上界的关联问题。

提出的方法

• 引入了相对于子空间 $V_j$ 的多项式 $P$ 的非退化性概念，定义为 $P$ 不能表示为与正交投影 $\pi_j$ 复合的函数之和。
• 基于函数 $f_1$ 的 $\lambda$-一致性进行分解，将分析分为 $f_1$ 是 $\lambda$-一致或不是 $\lambda$-一致的两种情形。
• 应用傅里叶分析与基于 $L^2$ 的估计，将振荡积分转化为涉及 $f_j$、$G$、$\tilde{G}$ 与 $g$ 的傅里叶变换的多重线性形式，并利用 $\widehat{\eta}$ 的快速衰减。
• 通过在 $L^1 \times L^\infty \times \cdots \times L^\infty$ 与 $L^2 \times L^2 \times \cdots \times L^2$ 估计之间进行插值，推导出混合指数下的 $L^p$ 估计。
• 通过部分导数的非退化性应用子水平集界（推论 8.2），表明一致非退化性蕴含一致衰减。
• 利用一般位置假设以确保拉回映射 $\pi^*$、$\tilde{\pi}^*$ 与 $\pi_1^*$ 的单射性，从而控制傅里叶支撑与积分的衰减。

实验结果

研究问题

• RQ1 多重线性振荡积分的幂次衰减性质是否等价于相位多项式 $P$ 相对于子空间 $V_j$ 的非退化性？
• RQ2 最优幂次 $\varepsilon > 0$ 是什么，使得 $|\Lambda_\lambda(f_1,\dots,f_n)| \leq C(1+|\lambda|)^{-\varepsilon} \prod \|f_j\|_{L^\infty}$ 成立？
• RQ3 基于 $L^\infty$ 的衰减估计能否推广至混合勒贝格范数 $\|f_j\|_{p_j}$，其中 $p_j \in (1,\infty]$？
• RQ4 衰减行为如何与子空间 $V_j$ 的几何结构及其张成子空间的余维数相关联？
• RQ5 何种条件可确保在一组一致非退化多项式族上实现一致衰减？

主要发现

• 相对于子空间 $V_j$ 的多项式相位 $P$ 的非退化性，是幂次衰减性质 $|\Lambda_\lambda(f_1,\dots,f_n)| \leq C(1+|\lambda|)^{-\varepsilon} \prod \|f_j\|_{L^\infty}$ 的必要且充分条件。
• 在假设对 $j > 1$ 有 $V_j$ 余维数为一的条件下，本文建立了统一的衰减估计 $|\Lambda_\lambda(f_1,\dots,f_n)| \leq C|\lambda|^{-\varepsilon}\|f_1\|_2 \prod_{j>1}\|f_j\|_\infty$。
• 对于一组一致非退化的多项式族，衰减速率 $\varepsilon$ 是一致的，且隐含常数 $C$ 仅依赖于 $\eta$ 的 $C^1$ 范数。
• 证明依赖于将情形分解为 $\lambda$-一致与非 $\lambda$-一致两类，前者通过傅里叶限制与 $\eta$ 的傅里叶变换的快速衰减来处理。
• 通过部分导数 $\partial P/\partial x_m$ 的非退化性，建立了子水平集界 $|\{x : |P(x)| \leq \delta\}| \leq C\delta^\varepsilon$，从而蕴含一致衰减。
• 通过插值，该结果可推广至混合勒贝格范数，得到形如 $|\Lambda_\lambda| \leq C(1+|\lambda|)^{-\varepsilon} \prod \|f_j\|_{q_j}$ 的估计，其中 $q_j > p_j$，且当积分绝对收敛时成立。