[论文解读] Diagonalization of the Linearized Non-Cutoff Radially Symmetric Boltzmann Operator

Nicolás Lerner, Yoshinori Morimoto+2 more|arXiv (Cornell University)|Nov 2, 2011

Gas Dynamics and Kinetic Theory参考文献 21被引用 1

一句话总结

本文推导出具有麦克斯韦分子的线性化非截断径向对称玻尔兹曼算子的显式表达式，表明其在埃尔米特基下对角化，并等价于谐振子的分数阶幂。该算子被确立为具有完整渐近符号展开式的伪微分算子，从而得到精确的强 coercive估计。

ABSTRACT

We provide some new explicit expressions for the linearized non-cutoff radially symmetric Boltzmann operator with Maxwellian molecules, proving that this operator is a simple function of the standard harmonic oscillator. In fact, that operator is shown to be diagonal in the Hermite basis and to be essentially a fractional power of the harmonic oscillator. We prove as well that this linearized operator is a pseudodifferential operator and we give a complete asymptotic expansion for its symbol whose leading part is a fractional harmonic oscillator. This provides sharp coercive estimates for the linearized non-cutoff radially symmetric Boltzmann operator.

研究动机与目标

• 推导具有麦克斯韦分子的线性化非截断径向对称玻尔兹曼算子的显式表达式。
• 证明该算子在埃尔米特基下对角化，并等价于标准谐振子的分数阶幂。
• 证明该算子为伪微分算子，并推导其符号的完整渐近展开式。
• 利用符号展开式，为线性化非截断玻尔兹曼算子建立精确的强 coercive 估计。

提出的方法

• 利用径向对称性及麦克斯韦分子的结构，简化玻尔兹曼碰撞算子。
• 通过变换至埃尔米特基函数，将线性化算子表示为标准谐振子的形式。
• 在埃尔米特基下的对角化揭示了其与谐振子分数阶幂的等价性。
• 应用伪微分算子理论分析算子的符号并推导其渐近展开式。
• 识别符号展开式中的首项为分数阶谐振子，从而实现精确的强 coercivity 估计。

实验结果

研究问题

• RQ1 如何显式表示具有麦克斯韦分子的线性化非截断径向对称玻尔兹曼算子？
• RQ2 该算子在何种意义下可对角化？其在埃尔米特基下的谱结构为何？
• RQ3 该算子与谐振子之间存在何种关系，特别是在分数阶幂的意义下？
• RQ4 该算子能否被表征为伪微分算子？若是，其符号的渐近结构如何？
• RQ5 能否从算子的符号展开式中导出精确的强 coercive 估计？

主要发现

• 线性化非截断径向对称玻尔兹曼算子在埃尔米特基下对角化，简化了其谱分析。
• 证明该算子等价于标准谐振子的分数阶幂。
• 严格证明该算子为伪微分算子，并推导出其符号的完整渐近展开式。
• 符号展开式的首项对应于分数阶谐振子，提供了关键近似。
• 符号展开式为线性化非截断玻尔兹曼算子提供了精确的强 coercive 估计。