[論文レビュー] On the paper "All functions are locally s-harmonic up to a small error" by Dipierro, Savin, and Valdinoci

Н. В. Крылов|arXiv (Cornell University)|Oct 12, 2018

Advanced Mathematical Modeling in Engineering参考文献 2被引用数 7

ひとこと要約

本稿は、s-調和関数による近似に関する結果を拡張し、核が |x−y|ⁿ であるリーマン型作用素に対して、任意の s-調和的類似作用素について、Cᵏ(𝐵₁) 内の関数が、g が 𝐵₄⧵𝐵̄₃ で滑らかかつ compact に台を持つとき、Kₙg の形の関数により Cᵏ 範囲で任意に良く近似可能であることを示している。主な貢献は、n + d ∉ {2, 4, ...} を満たす広範な n ∈ (−d, 0) のクラスについて、Cᵏ(𝐵₁) 内での密度を示したことであり、これにより分数ラプラシアンに関する先行研究が一般化された。

ABSTRACT

We give an appropriate version of the result in the paper by Dipierro, Savin, and Valdinoci for different, not necessarily fractional, powers of the Laplacian.

研究の動機と目的

• 分数ラプラシアン（s ∈ (0,1)）に関する Dipierro, Savin, および Valdinoci の近似結果を、核が |x−y|ⁿ であるより一般のリーマンポテンシャルへ一般化すること。
• Cᵏ(𝐵₁) 内の関数が、g ∈ C∞₀(𝐵₄⧵𝐵̄₃) かつ n ∈ (−d, 0) で n + d ∉ {2, 4, ...} を満たすとき、Kₙg により Cᵏ 範囲で近似可能であることを確立すること。
• Kₙg がコンパクトに台を持たないが無限遠で減衰する場合でも、Cᵏ(𝐵₁) 内で稠密であることを示すこと。
• 畳み込み、ラプラシアンの反復、ガウス型カットオフを用いた新しい証明戦略を提案し、近似列を構成すること。

提案手法

• x ∈ 𝐵₄⧵𝐵̄₃ に対して、Kₙ(x, ⋅) を滑らかでコンパクトに台を持つ関数 g によるモリフィケーションで近似する。
• Kₙ(x, y) = |x−y|ⁿ に対して、ΔₓKₙ = n(n + d − 2)Kₙ₋₂ を利用し、ラプラシアン Δₓ を反復的に適用することで Kₙ₋₂ₘ を生成する。
• 収束する級数 ∑(1/m!)tᵐKₙ₋₂ₘ(x, ⋅) を構成し、Cᵏ(𝐵₁) 内で収束させることで、exp(−t/|x−y|²) のような関数が閉包内に属することを示す。
• 任意の f ∈ Cᵏ(𝐵₁) を近似するための熱核近似 fₜ(y) = t⁻ᵈᐟ²∫ f(x)exp(−|x−y|²/t)dx を用い、fₜ が 𝒮̄（Kₙg の集合の閉包）に属することを示す。
• ソボレフ埋没および Lᵖ 評価を用いて、Kₘ(x, ⋅) の Cᵏ 範囲を W²ʳᵖ 範囲およびその m 依存性によって制御する。
• Kₙ(x−⋅) がすべての実数 n に対して 𝒮̄ に属すること、および多項式とガウス関数が 𝒮̄ に属することを用い、Cᵏ(𝐵₁) 内で稠密な代数を生成する。

実験結果

リサーチクエスチョン

• RQ1 Dipierro, Savin, および Valdinoci が得た近似結果（すべての Cᵏ 関数が誤差を伴って局所的に s-調和的）は、s ∈ (0,1) を超えて、核が |x−y|ⁿ である一般のリーマンポテンシャル（n ∈ (−d, 0)）へ拡張可能か？
• RQ2 g ∈ C∞₀(𝐵₄⧵𝐵̄₃) である Kₙg の集合が Cᵏ(𝐵₁) 内で稠密であるための n に関する条件は何か？
• RQ3 コンパクトに台を持つ密度関数を持つリーマンポテンシャルのみを用いて、任意の f ∈ Cᵏ(𝐵₁) を近似する関数列をどのように構成できるか？
• RQ4 Kₙg がコンパクトに台を持たない場合でも、無限遠で減衰する性質を保ちつつ、Cᵏ(𝐵₁) 内で稠密にできるか？
• RQ5 ラプラシアンの反復およびガウス型カットオフを用いて、Cᵏ(𝐵₁) 内で稠密な近似関数の集合を構成可能か？

主な発見

• g ∈ C∞₀(𝐵₄⧵𝐵̄₃) である関数 f = Kₙg の集合 S は、すべての実数 n に対して、n + d ∉ {2, 4, ...} かつ n ∈ (−d, 0) を満たすとき、Cᵏ(𝐵₁) 内で稠密である。
• このような n に対して、Kₙg は ℝᵈ 上で有界かつ滑らかであり、すべての導関数が無限遠で減衰するが、g がコンパクトに台を持つにもかかわらずそうなる。
• 証明は、x ∈ 𝐵₄⧸𝐵̄₃ に対して Kₙ(x−⋅) ∈ 𝒮̄（S の閉包）であることを示すことに依拠し、モリフィケーションおよびラプラシアンの反復を用いる。
• ΔₓKₙ = n(n + d − 2)Kₙ₋₂ を用い、係数が非ゼロであることから、すべての Kₙ₋₂ₘ が 𝒮̄ に属することを示す。
• 多項式とガウス関数が両方とも 𝒮̄ に属することを示し、それらを組み合わせることで Cᵏ(𝐵₁) 内で稠密な代数を構成する。
• k ∈ {0,1,...} のすべての値に対して結果が成り立ち、適切な g の選択により、Cᵏ 範囲での近似誤差を任意に小さくできる。