[論文レビュー] Remarks on functions with bounded Laplacian

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

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

ひとこと要約

本稿では、関数 ψ が m ≥ 3 に対して 2π/m の回転で不変であり、局所的に有界なラプラシアンを持つ場合、原点付近で |∇ψ(x)|/|x| が有界のまま保たれることを確立している。この結果は鋭いものであり、反例が存在する m = 2（例えば π の回転）の場合には勾配に対数特異性が生じ得る。Δψ が原点から発するセクターの合併集合の特性関数であるとき、Hessian D²ψ が局所的に有界となるための必要十分条件を提示しており、2次元非圧縮性オイラー方程式における特異性形成への応用を含む。

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 の等高線集合の幾何的条件が D²ψ が局所的に有界となるかを決定する条件を同定すること。
• Δψ が原点から発するセクターの合併集合の特性関数である場合に、ψ が W^{2,∞} に属するための鋭い基準を提示すること。
• これらの結果を、2次元非圧縮性オイラー方程式における特異解の研究に応用すること。

提案手法

• m ≥ 3 の回転対称性（2π/m の回転による不変性）を用いて、原点付近における ∇ψ の成長を制御すること。
• ψ(x) = (1/2π)∫ log|x−y| f(y) dy として与えられるニュートンポテンシャル表現を分析し、D²ψ の挙動を研究すること。
• リース変換を用いて D²ψ を f の特異積分（特に R₁²f, R₂²f, R₁R₂f）と関連付けること。
• Fourier級数展開と調和多項式分解を用いて、Δψ = χ_A（A がセクターの合併）の場合の ψ に対する明示的漸近展開を導出すること。
• log|·| の原始関数を用いて非滑らか成分を計算し、対称性が破れた場合にのみ対数特異性が生じることを示すこと。
• D²ψ が L∞ に属するための必要十分条件を、正割関数および三角関数の和が消えることとして確立すること。

実験結果

リサーチクエスチョン

• RQ1 f ∈ L∞ のとき、Δψ = f が D²ψ が局所的に有界であることを保証するための f に関する条件は何か？
• RQ2 回転対称性（例：m ≥ 3 の m 重対称性）が、ジャンプ不連続を有する f に対しても D²ψ の有界性を回復させ得るか？
• RQ3 Δψ が有界で、ψ が m ≥ 3 の m 重対称性を持つとき、原点付近における |∇ψ(x)|/|x| の正確な漸近的挙動は何か？
• RQ4 Δψ = χ_A で A が原点から発するセクターの合併集合であるとき、A に課される幾何的条件は何か？ その条件下で D²ψ ∈ L∞_loc が成立する。
• RQ5 f のリース変換が L∞ 上で有界でないのはなぜか？ そして、その欠陥を補うためにどのような構造的仮定（例：対称性）が必要か？

主な発見

• ψ が m ≥ 3 に対して 2π/m の回転で不変であり、Δψ が局所的に有界ならば、sup_{x∈B₁(0)} |∇ψ(x)|/|x| < ∞ が成り立ち、これは鋭い結果である。
• π の回転（m = 2）の場合には、Δψ ∈ L∞ であるが |ψ(x) − ψ(0)| ≈ |x|²|log|x|| となる関数が存在し、このとき有界性が成立しないことが示される。
• Δψ = χ_A で A が原点から発する m 個のセクターの合併集合であるとき、D²ψ ∈ L∞_loc であるための必要十分条件は、角度と正割関数を含む特定の三角関数的和が恒等的に 0 に等しいことである。
• D²ψ の有界性の条件は、極座標におけるヘッセ行列展開から得られる3つの二次形式が消えることに同値である。
• この結果を応用して、A が3つの120°セクターからなる「3弁の花」の場合には D²ψ が有界であることが示され、一方 A が2つの反対方向の180°セクターからなる場合には D²ψ が無限大に発散することが示される。
• 本稿では、角幾何と対称性に基づいて、原点近傍で ψ_A ∈ W^{2,∞} となる集合 A の完全な分類を提示している。