[论文解读] Remarks on functions with bounded Laplacian

Tarek M. Elgindi|arXiv (Cornell University)|May 17, 2016

Nonlinear Partial Differential Equations参考文献 4被引用 14

一句话总结

本论文证明：若函数 ψ 关于旋转 2π/m（m ≥ 3）不变，且其拉普拉斯算子局部有界，则 |∇ψ(x)|/|x| 在原点附近有界。该结果是精确的，因为当 m = 2（例如旋转 π）时存在反例，此时梯度可能出现对数奇点。本研究为当 Δψ 是若干扇形区域的特征函数时，给出了 Hessian 算子 D²ψ 局部有界的必要与充分条件，并将其应用于二维不可压缩欧拉方程中的奇点形成问题。

ABSTRACT

$Δψ:=\frac{\partial^2 ψ}{\partial x_1^2}+\frac{\partial^2 ψ}{\partial x_2^2}$ being locally bounded does not imply that $D^2ψ$ is locally bounded. However, we prove that if $ψ$ is invariant under rotation by $\frac{2π}{m}$, for some $m\geq 3$, and $Δψ$ is locally bounded, then $$\sup_{x\in B_1(0)}\frac{| abla ψ(x)|}{|x|}

研究动机与目标

• 研究当 f 属于 L∞ 时，Δψ = f 的解的正则性，特别是当 f 具有跳跃间断时的情况。
• 解决 Δψ ∈ L∞ 但 D²ψ 仍可能无界的临界情形，尤其在奇点附近的情形。
• 确定 f 的等值集在何种几何条件下，Hessian 算子 D²ψ 保持局部有界。
• 为当 Δψ 是从原点出发的若干扇形区域的特征函数时，给出 ψ 属于 W^{2,∞} 的精确判别准则。
• 将上述结果应用于二维不可压缩欧拉方程中奇异解的研究。

提出的方法

• 利用旋转对称性（即关于 2π/m 旋转不变，m ≥ 3）来控制原点附近 ∇ψ 的增长。
• 通过牛顿势表示式 ψ(x) = (1/2π)∫ log|x−y| f(y) dy 分析 D²ψ 的行为。
• 应用 Riesz 变换将 D²ψ 与 f 的奇异积分（特别是 R₁²f、R₂²f 和 R₁R₂f）联系起来。
• 利用傅里叶级数与调和多项式分解，推导出当 Δψ = χ_A（A 为若干扇形的并集）时，ψ 的显式渐近展开式。
• 通过计算 log|·| 的反导数来确定解的非光滑部分，表明仅当对称性被破坏时才会出现对数奇点。
• 通过余切与三角函数表达式的和恒为零，建立 D²ψ 属于 L∞ 的必要与充分条件。

实验结果

研究问题

• RQ1 在何种条件下，f ∈ L∞ 且 Δψ = f 蕴含 D²ψ 局部有界？
• RQ2 当 f 具有跳跃间断时，旋转对称性（如 m 重对称，m ≥ 3）是否能恢复 D²ψ 的有界性？
• RQ3 当 Δψ 有界且 ψ 关于 2π/m 旋转对称（m ≥ 3）时，|∇ψ(x)|/|x| 在原点附近的精确渐近行为是什么？
• RQ4 当 Δψ = χ_A 且 A 为从原点出发的若干扇形时，A 的何种几何条件可保证 D²ψ ∈ L∞_loc？
• RQ5 f 的 Riesz 变换为何在 L∞ 上不有界？何种结构假设（如对称性）可弥补这一缺陷？

主要发现

• 若 ψ 关于 2π/m 旋转（m ≥ 3）不变，且 Δψ 局部有界，则 sup_{x∈B₁(0)} |∇ψ(x)|/|x| < ∞，且该结果是精确的。
• 当旋转为 π（即 m = 2）时，存在函数满足 Δψ ∈ L∞，但 |ψ(x) − ψ(0)| ≈ |x|²|log|x|| 当 |x| → 0，表明该有界性不成立。
• 当 Δψ = χ_A 且 A 为从原点出发的 m 个扇形的并集时，D²ψ ∈ L∞_loc 当且仅当一个涉及角度与余切函数的特定三角函数和恒为零。
• D²ψ 有界的条件等价于在极坐标下 Hessian 展开中三个二次型的消失。
• 该结果被应用于说明：当 A 为三瓣花形（三个 120° 扇形）时，D²ψ 有界；但当 A 为两个相对的 180° 扇形时，D²ψ 无界。
• 本文基于角度几何与对称性，对满足 ψ_A ∈ W^{2,∞} 的集合 A 给出了在原点附近的完整分类。