[論文レビュー] Mean value property associated with the Dunkl Laplacian

Kods Hassine|arXiv (Cornell University)|Jan 9, 2014

Mathematical Analysis and Transform Methods参考文献 5被引用数 6

ひとこと要約

この論文は、ℝᵈ の W-不変な開集合 D ⊂ ℝᵈ 上の局所有界関数が、Dunkl ラプラシアン Δₖ に関して調和的であるための必要十分条件として、関連する確率測度 σₓ,ᵣᵏ に関する平均値性質を同定する。この特徴付けは、Δₖ の超弱解性の証明と、Δₖ-調和関数の収束性の性質に依拠しており、結果が成り立つために D の W-不変性はほとんど最良の条件である。

ABSTRACT

Let $Δ_k$ be the Dunkl Laplacian on $\mathbb{R}^d$. The main goal of this paper is to characterize $Δ_k$-harmonic functions by means of a mean value property

研究の動機と目的

• W-不変な ℝᵈ の開部分集合上で Δₖ-調和関数を平均値性質を用いて特徴付けること。
• 局所有界関数について、Δₖ-調和性と平均値性質の同値性を確立すること。
• Δₖ-ラプラシアンが超弱解的であることを証明し、平均値性質を満たす関数が無限回微分可能であることを保証すること。
• 領域 D の W-不変性が、結果が成り立つためにほぼ最良であることを示すこと。非 W-不変領域では反例が存在する。

提案手法

• 反射と多重度関数 k を含む第二階微分作用素として、Dunkl ラプラシアン Δₖ を定義する。
• 関数 f が平均値性質を満たすための必要十分条件として、球面 S(x,r) 上での f の σₓ,ᵣᵏ に関する平均値が f(x) に等しくなるような確率測度 σₓ,ᵣᵏ を導入する。
• Δₖ-調和関数の収束性の性質を用いて、D 上で平均値性質を満たす任意の局所有界関数が D 上で無限回微分可能であることを証明する。
• f が平均値性質を満たすならば f は C∞ であることを示し、これにより Δₖf = 0 が導かれる。このことから Δₖ の超弱解性を確立する。
• 間隔作用素 Vₖ と Dunkl 核を用いて、Δₖ を積分表現を通じて古典的ラプラシアンに関連付ける。
• 非 W-不変領域に対して、次元 d=1 における反例を構成し、Δₖ-調和関数が平均値性質を満たさない場合があることを示す。

実験結果

リサーチクエスチョン

• RQ1 局所有界関数が領域 D ⊂ ℝᵈ 上で、Δₖ-調和性を特徴付ける平均値性質を満たすための条件は何か？
• RQ2 領域 D の W-不変性は、平均値性質が Δₖ-調和関数を特徴付けるために必要か？
• RQ3 Δₖ-調和関数の収束性の性質を用いて、Dunkl ラプラシアン Δₖ の超弱解性を確立できるか？
• RQ4 測度 σₓ,ᵣᵏ に関する平均値性質は、調和関数の古典的平均値性質とどのように関係するか？
• RQ5 領域 D が W-不変でない場合、特に 1 次元の場合、平均値性質はどのように変化するか？

主な発見

• ℝᵈ の W-不変な開集合 D ⊂ ℝᵈ 上の局所有界関数 f が、任意の x ∈ D および B̅(x,r) ⊂ D を満たす r > 0 に対して f(x) = ∫_{ℝᵈ} f(y) dσₓ,ᵣᵏ(y) を満たすならば、f は Δₖ-調和的である。
• Dunkl ラプラシアン Δₖ は超弱解的であり、Δₖf = 0 を満たす任意の分布的解は C∞ である。
• 平均値性質は f の無限回微分可能性を示し、Δₖf = 0 と組み合わせることで Δₖ-調和性が確認される。
• 1 次元の場合、任意の非対称（非 W-不変）な開集合 U ⊂ ℝ に対して、平均値性質を満たさない Δₖ-調和関数が存在する。
• 測度 σₓ,ᵣᵏ は x の W-軌道の凸包上に台を持つ。この定義により、平均値性質は Dunkl 移動 τₓ を含む積分表現と整合する。
• d=1 における反例は、t ∈ (0,r) に対して Mₓ,ₜ(Δₖh) > 0 であることを示し、d/dt Mₓ,ₜ(h) > 0 となるため、Mₓ,ₜ(h) ≠ h(x) となり、平均値性質が破られる。