[論文レビュー] Two-radii theorem for solutions of some mean value equations

Olga D. Trofimenko|arXiv (Cornell University)|Sep 16, 2013

Functional Equations Stability Results参考文献 4被引用数 3

ひとこと要約

この論文は、複素解析における球面平均を含む積分平均値方程式の解について、二つの半径に関する定理を確立する。多解析的方程式 $(\partial_z)^{m-s}(orall_{\bar{z}})^m f = 0$ の解は、ベッセル関数と整関数を用いた表現公式によって特徴づけられ、補助関数の零点集合が互いに素であるとき、そのような解は二つの異なる半径における平均値によって一意に決定されることを示している。

ABSTRACT

A description of solutions of some integral equations has been obtained. A two-radii theorem is obtained as well.

研究の動機と目的

• 複素平面上の球面平均を含むクラスの積分平均値方程式の滑らかな解を特徴づけること。
• 多解析的微分方程式の解と、二つの固定された半径における積分平均値を結ぶ二半径定理を確立すること。
• 二つの半径における平均値条件を満たす関数が特定の多解析的偏微分方程式の解であるための条件を同定すること。
• フーリエ・ベッセル級数と成長が制御された整関数を用いて、解の構造を分析すること。

提案手法

• 方程式 (1) の解について、フーリエ係数と特殊関数 $ \Phi_{\lambda,\eta,k}(\rho) $ を用いた表現公式を導出する。ここで $ \Phi_{\lambda,\eta,k}(\rho) $ はベッセル関数の導関数である。
• 解のスペクトル成分を決定する関数 $ g_r(z) $ を定義し、右半平面上で非負の虚部を持つ零点の集合 $ Z_r $ を導入する。
• パレ-・ウィーナー理論と、$ g_{r_1}, g_{r_2} $ に関連する compact な台を持つ分布 $ T_1, T_2 $ との畳み込み方程式を用いて、解空間を分析する。
• 畳み込み方程式および整関数の零点集合に関する定理を適用し、畳み込みの消滅と解の構造との関係を確立する。
• 条件 $ Z(r_1, r_2) = \emptyset $ を用いて、唯一の解が多解析的 PDE (2) を満たすものであることを導出する。
• もし $ Z(r_1, r_2) \neq \emptyset $ であるならば、反例を構成することで、二つの半径における平均値条件が PDE を満たすとは限らないことを示す。

実験結果

リサーチクエスチョン

• RQ1 二つの異なる半径における平均値方程式を満たす関数が、必然的に多解析的 PDE を満たすための条件は何か？
• RQ2 ベッセル関数と整関数を用いて、平均値方程式の解空間をどのように完全に特徴づけられるか？
• RQ3 零点集合 $ Z(r_1, r_2) $ が、二半径平均値条件が微分方程式を意味するかどうかを決定する役割を果たすのはどのような仕組みか？
• RQ4 滑らかな関数が二つの半径における平均値条件を満たすが、対応する多解析的 PDE の解でない例は存在するか？
• RQ5 積分平均値方程式 (1) の解の正確な構造は、フーリエ・ベッセル級数と特殊関数を用いてどのように記述できるか？

主な発見

• 固定された半径 $ r $ に対して、平均値方程式 (1) の解空間は、単項式項の有限線形結合と、$ \Phi_{\lambda,\eta,k}(\rho) $ を含む無限級数の和で完全に記述される。ここで係数は $ |\lambda| \to \infty $ のとき急速に減少する。
• もし $ Z(r_1, r_2) = \emptyset $ であれば、$ r_1 $ および $ r_2 $ における平均値条件を満たす任意の関数は滑らかであり、多解析的 PDE $ (\partial_z)^{m-s}(\partial_{\bar{z}})^m f = 0 $ を満たす。
• もし $ Z(r_1, r_2) \neq \emptyset $ であれば、PDE を満たさない非自明な滑らかな関数が二半径平均値条件を満たす例が存在し、零点集合の互いに素である条件の必要性を示している。
• 関数 $ \Phi_{\lambda,\eta,k}(\rho) $ は、$ J_k(z\rho) $ の導関数として定義され、多項式項と組み合わせることで解空間の完全な基底をなす。
• $ g_r(z) $ の零点の漸近的挙動、特に虚部の対数的評価および導関数の下界が、解表現の収束性と一意性を保証する。
• 証明は分布的畳み込みとパレ-・ウィーナー理論に依拠しており、$ f * T_1 $ および $ f * T_2 $ が重複領域で消えることから、$ f $ が PDE の解であることは $ Z(r_1, r_2) = \emptyset $ である場合に限り成り立つことが示されている。