[論文レビュー] A Remark on the Kelvin Transform for a Quasilinear Equation

Peter Lindqvist|arXiv (Cornell University)|Jun 8, 2016

Scientific Research and Discoveries参考文献 6被引用数 5

ひとこと要約

この論文は、$ p \neq 2 $ かつ $ p \neq n $ のとき、p-調和関数に対してケルビン型変換が存在するかを調査する。p = 2（ラプラス方程式）および p = n（臨界ケース）を除き、球面における反転のもとでp-調和性を保つような径数スケーリング関数 $ \rho(|x|) $ は存在しないことを証明し、一般のp-調和設定における自己同型不変性の根本的な障害を示している。

ABSTRACT

The p-harmonic functions are preserved under reflections in spheres only if the exponent p > 1 is equal to the dimension of the underlying Euclidean space. In the linear case p = 2 the Kelvin transform corrects this lack of invariance. We shall show that the Kelvin transform has no reasonable counterpart for general values of the exponent p.

研究の動機と目的

• 球面反転の下でp-調和関数に対して一般化されたケルビン変換が存在するかを特定すること。
• 径数スケーリング係数 $ \rho(|x|) $ が反射領域におけるp-調和性を保つことができるかを調査すること。
• $ p = 2 $ および $ p = n $ を超えてp-調和関数がモビウス型不変性を示すかどうかという長年の未解決問題を解明すること。
• 既知のケースを除き、一般の $ p \in (1, \infty) $ に対してそのような変換が存在しないことを確立すること。
• 自己同型不変性の技術を非線形p-ラプラシアン枠組みに拡張する際の制限を明確にすること。

提案手法

• 球面反転 $ x^* = x / |x|^2 $ におけるp-調和関数の挙動を分析し、径数スケーリング変換に注目する。
• 既知の径数p-調和解 $ u(x) = |x|^{(p-n)/(p-1)} $（$ p \neq n $ の場合）をテストケースとして用い、$ \rho(|x|) $ の必要形式を導出する。
• 変換 $ v(x) = \rho(|x|) u(x / |x|^2) $ を適用し、$ \mathrm{div}(|\nabla v|^{p-2} \nabla v) $ を計算してp-調和性をテストする。
• 関数 $ v(x) = |x|^\alpha x_1 $ を分析する技術的補題を適用し、それがp-調和であるための条件を導出する。
• 関数 $ v(x) = |x|^\alpha x_1 $ に対する発散表現の明示的計算を行い、p-調和方程式を満たすのは4つの場合に限ることを特定する。
• 一般化された反転 $ x^* = x / |x|^\beta $ に拡張し、$ \beta $ が可変であってもそのような変換が存在しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 一般の $ p \in (1, \infty) $ に対して、$ v(x) = \rho(|x|) u(x / |x|^2) $ がp-調和関数であるような径数関数 $ \rho(|x|) \not\equiv 0 $ が存在するか？
• RQ2 p = 2 および p = n で動作するケルビン変換が、すべての $ p \neq 2, n $ に拡張可能か？
• RQ3 p ≠ 2, n のとき、径数スケーリング係数を用いて球面反転のもとでp-調和方程式が保たれるか？
• RQ4 p および $ \alpha $ に対して、$ v(x) = |x|^\alpha x_1 $ がp-調和であるような非自明な $ \alpha $ が存在するか？
• RQ5 p ≠ 2, n のとき自己同型不変性が成立しないことは、p-調和関数論における反転技術の使用を排除するのか？

主な発見

• p = 2 または p = n でない限り、$ v(x) = \rho(|x|) u(x / |x|^2) $ が反射領域でp-調和関数であるような径数関数 $ \rho(|x|) \not\equiv 0 $ は存在しない。
• 変換 $ v(x) = |x|^{(p-n)/(p-1)} u(x / |x|^2) $ がp-調和性を保つのは、p = 2 および p = n の場合に限る。これは、既知のケルビン変換および自己同型不変性のケースと一致する。
• 関数 $ v(x) = |x|^\alpha x_1 $ がp-調和であるのは、$ \alpha = 0 $、$ \alpha = -2 $ かつ $ p = n $、$ \alpha = -n $ かつ $ p = 2 $、および $ \alpha = -1 $ かつ $ p = 3 - n $ の4つの場合に限る。後者は $ 1 < p < \infty $ に対して有効でない。
• 関数 $ v(x) = \rho(|x|) u(x / |x|^2) $ に対する $ \mathrm{div}(|\nabla v|^{p-2} \nabla v) $ の直接計算は、複雑な表現を生じるが、その発散が消えるのは既知のケースに限る。
• 一般化された反転 $ x^* = x / |x|^\beta $ に対しても、p ≠ 2, n のとき有効なp-調和変換は得られないため、変換の代替形は排除される。
• そのような変換が存在しないことは、p-調和解析における非有界領域を有界領域に写像する反転技術の使用を著しく制限する。