[论文解读] Infinite dimensional oscillatory integrals with polynomial phase and applications to high order heat-type equations

Sonia Mazzucchi|arXiv (Cornell University)|May 18, 2014

Stochastic processes and financial applications参考文献 29被引用 4

一句话总结

本文将无限维菲涅耳积分推广至任意次数的多项式相位函数，实现了高阶热型方程解的泛函积分表示。研究证明，一类高阶偏微分方程的解可表示为具有多项式相位的无限维振荡积分，从而将费曼-卡公式扩展至二阶抛物型方程之外的范围。

ABSTRACT

The definition of infinite dimensional Fresnel integrals is generalized to the case of polynomial phase functions of any degree and applied to the construction of a functional integral representation of the solution of a general class of high order heat-type equations.

研究动机与目标

• 将无限维菲涅耳积分理论推广至任意次数的多项式相位函数。
• 为高阶热型方程（如涉及双调和算子的方程）的解提供泛函积分表示。
• 克服经典费曼-卡公式在非二阶算子下失效的局限性，原因在于缺乏正的转移密度。
• 构建一个严格的数学框架，用于处理无限维空间中相位为次数 p ≥ 2 的多项式的振荡积分。
• 建立高阶PDE的戴森级数解与具有多项式相位的无限维振荡积分之间的联系。

提出的方法

• 通过相位泛函 Φ_p(γ) = (−1)^p α ∫₀^t ẟγ(s)^p ds，将无限维菲涅耳积分的概念推广至任意次数 p 的多项式相位函数。
• 将高阶PDE的解定义为具有柱函数 f_{t,x}(η) = u₀(x + η(0)) exp(∫₀^t V(x + η(s)) ds) 的无限维振荡积分 I_{Φ_p}(f_{t,x})。
• 将指数项 ∫₀^t V(x + η(s)) ds 表示为巴拿赫空间 B_p 上复测度 μ_V 的傅里叶变换，其中 μ_V 通过时间积分特征函数构造而成。
• 将整个被积函数表示为测度的卷积：ν_{u₀} * μ_V^{*n}，其中 ν_{u₀} 和 μ_V 均为 B_p 上有限博雷尔测度的傅里叶变换。
• 利用级数 ∑_{n=0}^∞ (1/n!) μ_V^{*n} 在总 variation 范数下的收敛性，确保无限维积分的存在性。
• 应用引理3，证明柱函数 η ↦ u₀(x + η(0)) 属于有限测度的傅里叶变换空间，从而保证可积性。

实验结果

研究问题

• RQ1 能否将无限维振荡积分推广至二次相位函数之外，实现对任意次数 p ≥ 2 的多项式相位的推广？
• RQ2 此类推广后的积分能否为高阶热型方程（如 ∂ₜu = −Δ²u − Vu）的解提供泛函积分表示？
• RQ3 高阶PDE的解是否可表示为多项式相位振荡积分意义下的有限维近似序列的极限？
• RQ4 能否从具有多项式相位的无限维振荡积分中恢复出PDE的戴森级数解？
• RQ5 当标准勒贝格积分失效时，是否可在路径空间中使用具有无限总变差的复测度或符号测度，实现一致的泛函积分公式化？

主要发现

• 高阶热型方程 ∂ₜu = −Δ^p u − Vu（p ≥ 2）的解可表示为具有多项式相位函数 Φ_p(γ) = (−1)^p α ∫₀^t ẟγ(s)^p ds 的无限维振荡积分。
• 泛函 f_{t,x}(η) = u₀(x + η(0)) exp(∫₀^t V(x + η(s)) ds) 属于 B_q 上有限博雷尔测度的傅里叶变换空间，从而保证可积性。
• 无限维菲涅耳积分 I_{Φ_p}(f_{t,x}) 在总 variation 范数下收敛，且等于解的戴森级数展开。
• 级数表示 ∑_{n=0}^∞ ∫_{0≤s₁≤⋯≤sₙ≤t} ∫_{ℝ^{n+1}} u₀(x+x₀)V(x+x₁)⋯V(x+xₙ) G_{s₁}(x₁,x₀)⋯G_{t−sₙ}(0,xₙ) dx₀⋯dxₙ ds₁⋯dsₙ 与PDE的解完全一致。
• 与势能 V 相关的测度 μ_V 通过时间积分特征函数构造，满足 ||μ_V||_M ≤ t||ν||_M，确保有界性。
• 卷积测度 ν_{u₀} * μ_V^{*n} 定义良好且在总 variation 范数下收敛，且满足 ||ν_{u₀} * μ_V^{*n}|| ≤ e^{t||ν||_M}，从而保证整个级数的收敛性。