[論文レビュー] Correlation of boundary behavior of conjugate harmonic functions

Vladimir Ryazanov|arXiv (Cornell University)|Oct 1, 2017

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

ひとこと要約

本稿は、単位円板上での調和関数が測度ゼロでない円周の部分集合上で有限な角境界極限を持つならば、その共役調和関数もその集合上でほとんど everywhere に有限な角極限を持つことを確立している。両境界関数は測度可測である。この結果は、共形写像と自然パラメータに基づく角極限を用いて、長年の未解決問題であった、$ h^p $ 現象を超えた境界挙動の相関関係の解明を、リクチフィエイブル境界を持つジョルダン領域へと拡張する。

ABSTRACT

It is established that if a harmonic function $u$ on the unit disk $\mathbb D$ in $\mathbb C$ has angular limits on a measurable set $E$ of the unit circle $\partial\mathbb D$, then its conjugate harmonic function $v$ in $\mathbb D$ also has angular limits a.e. on $E$ and both boundary functions are finite a.e. and measurable on $E$. The result is extended to arbitrary Jordan domains with rectifiable boundaries in terms of angular limits and of the natural parameter.

研究の動機と目的

• 古典的 $ h^p $ 現象を超えた共役調和関数の境界挙動の相関関係を解消すること。
• 測度ゼロでない集合上で調和関数の有限な角極限が成り立つならば、その共役関数もその集合上で almost everywhere に有限な角極限を持つことを確立すること。
• 単位円板から任意のリクチフィエイブル境界を持つジョルダン領域へ、共形写像と自然パラメータ化を用いてこの結果を拡張すること。
• 平面領域における共役調和関数を含む境界値問題の厳密な基礎を提供すること。

提案手法

• 角極限集合と測度ゼロでない境界集合のコンパクトな被覆を用いた、ルジン＝プリワロフの非接線的アプローチを利用する。
• 各 $ \zeta \in E $ に対して、境界への非接線的到達を制御するセクター $ S_\zeta $ を持つ領域 $ \mathfrak{D} \subset \mathbb{D} $ を構成する。
• エゴロフの定理を用いて、$ E $ のコンパクト部分集合上で境界トレース列 $ u(r_n \zeta) \to \varphi(\zeta) $ が一様収束すると仮定する。
• 上界の可測収束 $ \psi_n(\zeta) = \sup_{z \in S_\zeta \cap D^n_\zeta} |u(z) - \varphi(\zeta)| $ を用いて、境界トレースの可測性を保証する。
• リーマン写像定理とカラテオドリの定理を用いて、単位円板から一般のリクチフィエイブル境界を持つジョルダン領域への結果の移行を行う。
• リンドェルーフの定理と F. および M. リーマンの定理に依拠し、共形写像下でも角極限が保存され、almost everywhere に境界値が存在することを保証する。

実験結果

リサーチクエスチョン

• RQ1 単位円板上での調和関数 $ u $ が測度ゼロでない集合 $ E \subset \partial\mathbb{D} $ で有限な角極限を持つならば、その共役調和関数 $ v $ も $ E $ 上 almost everywhere に有限な角極限を持つだろうか？
• RQ2 共役調和関数の境界挙動の相関関係は、$ h^p $ 現象を超えて、特に $ u \in h^1 $ の場合に確立可能だろうか？
• RQ3 自然パラメータと角極限を用いて、この結果は単位円板からより一般的なリクチフィエイブル境界を持つジョルダン領域へ拡張可能だろうか？
• RQ4 元の関数が測度ゼロでない集合上で境界極限を持つとき、共役調和関数の境界トレースは可測だろうか？
• RQ5 共形写像は、単位円板から任意のリクチフィエイブルなジョルダン領域への境界挙動の結果の移行において、果たす役割は何か？

主な発見

• 単位円板上での調和関数 $ u $ が測度ゼロでない集合 $ E \subset \partial\mathbb{D} $ で有限な角極限を持つならば、その共役調和関数 $ v $ も $ E $ 上 almost everywhere に有限な角極限を持つ。
• 両関数 $ u $ と $ v $ の境界トレースは $ E $ 上で可測関数であり、収束 $ u(r_n \zeta) \to \varphi(\zeta) $ および $ v(r_n \zeta) \to \psi(\zeta) $ は可測極限である。
• この結果は、任意の複素平面内に存在するリクチフィエイブル境界を持つジョルダン領域 $ D \subset \mathbb{C} $ へと拡張可能である：$ u $ が自然パラメータに関して測度ゼロでない $ E \subset \partial D $ 上 almost everywhere に角極限を持つならば、$ v $ も同様に有限な角極限を持つ。
• 境界関数 $ \varphi $ と $ \psi $ は $ E $ 上で可測である。これは、連続関数 $ u(r_n \zeta) $ および $ v(r_n \zeta) $ の点ごとの極限として生じるためである。
• 共形写像 $ \omega: D \to \mathbb{D} $ は非接線的到達構造を保存するため、境界挙動の結果を単位円板から一般のリクチフィエイブルなジョルダン領域へ移行可能である。
• この結果は $ u \in h^1 $ であっても成り立つ。これは、$ h^p $ 理論が共役関数 $ v \in h^1 $ を保証しないクラスであるため、古典的可積分クラスを超えて拡張されている。