[论文解读] Difference equations and pseudo-differential operators on $\mathbb{Z}^n$

Linda N. A. Botchway, P. Gaël Kibiti+1 more|arXiv (Cornell University)|May 22, 2017

Spectral Theory in Mathematical Physics参考文献 25被引用 6

一句话总结

本文在整数格点 ℤⁿ 上构建了伪微分算子的全局微积分（称为伪差分算子），使用环面 𝕋ⁿ 上的傅里叶分析作为频率域。建立了符号微积分、有界性、紧致性及施瓦茨类成员资格的标准，并将该框架应用于推导 ℤⁿ 上差分方程的可解性、正则性估计及 Gårding 型不等式。

ABSTRACT

In this paper we develop the calculus of pseudo-differential operators on the lattice $\mathbb{Z}^n$, which we can call pseudo-difference operators. An interesting feature of this calculus is that the phase space is compact so the symbol classes are defined in terms of the behaviour with respect to the lattice variable. We establish formulae for composition, adjoint, transpose, and for parametrix for the elliptic operators. We also give conditions for the $\ell^2$, weighted $\ell^2$, and $\ell^p$ boundedness of operators and for their compactness on $\ell^p$. We describe a link to the toroidal quantization on the torus $\mathbb{T}^n$, and apply it to give conditions for the membership in Schatten classes on $\ell^2(\mathbb{Z}^n)$. Furthermore, we discuss a version of Fourier integral operators on the lattice and give conditions for their $\ell^2$-boundedness. The results are applied to give estimates for solutions to difference equations on the lattice $\mathbb{Z}^n$. Moreover, we establish Garding and sharp Garding inequalities, with an application to the unique solvability of parabolic equations on the lattice $\mathbb{Z}^n$.

研究动机与目标

• 建立 ℤⁿ 上伪微分算子的完整微积分体系，类似于经典伪微分算子理论，但适配于离散设置。
• 解决频率空间 𝕋ⁿ 为紧致所带来的挑战：无需频率导数的衰减条件，需基于格点差分构建新的符号微积分。
• 提供 ℓ²、加权 ℓ² 及 ℓᵖ 有界性（1 < p < ∞）的充分条件，以及 ℓ²(ℤⁿ) 上算子的紧致性与施瓦茨类成员资格。
• 通过变量角色对偶，将格点微积分与 𝕋ⁿ 上的环面伪微分算子联系起来，实现已知结果的转移。
• 将理论应用于推导差分方程的正则性估计与唯一可解性准则，包括抛物型与椭圆型方程。

提出的方法

• 通过符号 σ(k,x) ∈ S^m(ℤⁿ × 𝕋ⁿ) 定义 ℤⁿ 上的伪差分算子，其中 k ∈ ℤⁿ 为空间变量，x ∈ 𝕋ⁿ 为频率变量，利用傅里叶乘子表示。
• 基于在 k 上多项式增长、在 x 上一致光滑的符号类，使用差分代替导数，建立符号微积分（复合、伴随、转置）公式。
• 利用 ℤⁿ 上的傅里叶变换及其逆变换，通过对偶变换将 ℓ²(ℤⁿ) 上的算子与 𝕋ⁿ 上的环面伪微分算子联系起来。
• 引入带有振荡相位 φ(k,x) 的傅里叶级数算子 T_{ℤⁿ}(φ,σ)，在 φ 和 σ 满足非退化与光滑性条件时，证明其在 ℓ²(ℤⁿ) 上有界。
• 应用 Gårding 不等式框架，推导正算子的下界，从而获得 ℤⁿ 上抛物型差分方程的唯一可解性。
• 利用 Gohberg 引理与 Schatten-von Neumann 迹类准则，刻画 ℓ²(ℤⁿ) 上算子属于施瓦茨类的条件。

实验结果

研究问题

• RQ1 鉴于频率空间 𝕋ⁿ 为紧致，伪微分算子在格点 ℤⁿ 上的合适符号微积分为何？
• RQ2 在何种条件下，伪差分算子在 ℓ²(ℤⁿ)、加权 ℓ²(ℤⁿ) 及 ℓᵖ(ℤⁿ)（1 < p < ∞）上有界？
• RQ3 如何通过变量角色对偶，将 𝕋ⁿ 上环面伪微分算子的理论适配于 ℤⁿ 上算子的定义与分析？
• RQ4 在何种条件下，伪差分算子在 ℓ²(ℤⁿ) 上为紧致算子或属于施瓦茨类？
• RQ5 如何在 ℤⁿ 上建立 Gårding 与精确 Gårding 不等式，以确保抛物型差分方程的唯一可解性？

主要发现

• 本文构建了 ℤⁿ 上伪差分算子的完整符号微积分，包括复合、伴随与转置公式，符号类 S^m(ℤⁿ × 𝕋ⁿ) 定义为在 k 上多项式增长、在 x 上光滑。
• 当 Re(a) ≠ 0 或 Im(a) ∉ [−2n, 2n) 时，由 (6.1) 定义的算子 T⁻¹ 在 ℓ²_s(ℤⁿ) 上有界，对所有 s ∈ ℝ 成立，确保当 g ∈ ℓ²_s(ℤⁿ) 时必有 f ∈ ℓ²_s(ℤⁿ)。
• 例 (3) 中算子 T 的逆显式给出为 T⁻¹g(k) = ∫_{𝕋ⁿ} e^{2πk·x} / (2i∑_{j=1}^n sin(2πx_j) + a) ⋅ ̂g(x) dx，证明了差分方程 (6.1) 的可解性。
• 若 σ 一致有界且 φ 满足非退化条件 |∇ₓφ(k,x) − ∇ₓφ(l,x)| ≥ C|k−l|，并具有额外光滑性，则傅里叶级数算子 T_{ℤⁿ}(φ,σ) 在 ℓ²(ℤⁿ) 上有界。
• 在例 (2) 中，若 ν ≥ μ，则算子 B_j 为 ν 阶椭圆算子，且当 g ∈ ℓ²_s(ℤⁿ) 时，方程 |k|^μ(f(k+v_j)+1) − |k|^ν(f(k−v_j)+2) = g(k) 的解 f 满足 f ∈ ℓ²_{s+ν}(ℤⁿ)。
• 在 ℤⁿ 上成立 Gårding 不等式：若符号 σ(k,x) 为实值且非负，则相应算子满足 ⟨Tf, f⟩ ≥ −C‖f‖²_{ℓ²}，从而保证 ℤⁿ 上抛物型方程的唯一可解性。