[論文レビュー] Lipschitz type spaces and Landau-Bloch type theorems for harmonic functions and Poisson equations

S-H Chen, Mateljević, M.+2 more|arXiv (Cornell University)|Jul 27, 2014

Analytic and geometric function theory参考文献 28被引用数 3

ひとこと要約

本稿は、ℝⁿにおける単位球体内の調和関数およびポアソン方程式の解について、リプシッツ型空間とランダウ＝ブロッハ定理の関係を確立する。調和関数に対してシュバルツ＝ピック補題を証明し、ハーディー空間におけるブロッハ型定理を導出し、正規族の議論を用いてポアソン方程式の解へランダウ＝ブロッハ定理を拡張する。主な結果として、主要化関数を介した勾配の上限とホルダー型連続性の関係が示される。

ABSTRACT

In this paper, we investigate some properties on harmonic functions and solutions to Poisson equations. First, we will discuss the Lipschitz type spaces on harmonic functions. Secondly, we establish the Schwarz-Pick lemma for harmonic functions in the unit ball $\IB^n$ of $\IR^n$, and then we apply it to obtain a Bloch theorem for harmonic functions in Hardy spaces. At last, we use a normal family argument to extend the Landau-Bloch type theorem to functions which are solutions to Poisson equations.

研究の動機と目的

• 調和関数およびリプシッツ型空間の文脈におけるポアソン方程式の解の性質を調査すること。
• 単位球体 𝔹ⁿ における調和関数に対してシュバルツ＝ピック補題を確立し、古典的結果を高次元へ拡張すること。
• シュバルツ＝ピック補題を用いて、ハーディー空間における調和関数のブロッハ型定理を導出すること。
• 正規族の議論を用いて、ポアソン方程式の解へランダウ＝ブロッハ型定理を拡張すること。
• 条件 (2) および (3) を満たす主要化関数 ω を介した勾配の上限とホルダー型連続性の関係を特定すること。

提案手法

• Ω 内のすべての x, y に対して |f(x)−f(y)| ≤ Cω(|x−y|) を満たすことで定義されるリプシッツ型空間 Λω(Ω) を導入する。
• 𝔹ⁿ 内の調和関数に対するシュバルツ＝ピック補題を適用し、歪み推定および正規族の技法を導出する。
• δ < δ₀ に対して ∫₀^δ ω(t)/t dt ≤ Cω(δ) および δ∫δ^∞ ω(t)/t² dt ≤ Cω(δ) を満たす正則な主要化関数 ω の条件を用いる。
• 曲線 γ が ∫γ ω(dG(ζ))/dG(ζ) ds(ζ) ≤ Cω(|x−y|) を満たす G 内の Λω拡張領域の概念を適用する。
• ポアソン方程式の解の列を分析し、正則性および被覆定理を導出するために正規族の議論を用いる。
• ヤコビアン JF(0) および勾配の上限 M(r) を含む積分推定を用いて、調和写像の像内に単価な球体が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 リプシッツ型空間は、Λω拡張領域における調和関数の勾配の上限とどのように関係するか？
• RQ2 単位球体 𝔹ⁿ 内の調和関数に対するシュバルツ＝ピック補題の明確な形は何か？
• RQ3 シュバルツ＝ピック補題から、ハーディー空間における調和関数のブロッハ型定理を導出可能か？
• RQ4 ポアソン方程式の解へランダウ＝ブロッハ型定理をどのように拡張できるか？
• RQ5 主要化関数 ω にどのような条件を課すと、勾配の上限が調和関数およびポアソン方程式の解のホルダー連続性を保証するか？

主な発見

• Ω が Λω拡張領域であるとき、調和関数 f が Λω(Ω) に属するための必要十分条件は、すべての x ∈ Ω に対して |∇f(x)| ≤ C ω(dΩ(x))/dΩ(x) が成り立つことである。
• 𝔹ⁿ 内の調和関数に対するシュバルツ＝ピック補題は、|F′(ζ)−F′(0)| ≤ M(r) × 係数の径方向減衰要因を示し、半径 ρ(r) の球体内で単価性を導く。
• 調和写像に対して、f(𝔹ⁿ) は半径 R ≥ max₀<r<1 {1 / [2nK(r)]²ⁿ⁻²M(r)[(1+√2)ⁿ−¹+√2−1]} の単価な球体 𝔹ⁿ(0,R) を含む。
• ℒfᴹ におけるポアソン方程式の解に対して、ヤコビアンが正であり、関数が 0 から離れているならば、像は半径 c₁/2 の球体を含む。
• ポアソン解に対するランダウ＝ブロッハ型定理の証明は、次数論および ℒfᴹ 内の極限関数への部分列の一様収束に依存する。
• ヤコビアンの正の有界性および ∂𝔹ⁿ(0,r₀) 上の |g(x)| に対する下界により、像内に単価な球体の存在が保証される。