[論文レビュー] Harmonic functions on compact sets in $\mathbb{R}^n$

Tony L. Perkins|arXiv (Cornell University)|Apr 30, 2010

Advanced Mathematical Modeling in Engineering被引用数 1

ひとこと要約

この論文は、コンパクト集合 $K \subset \mathbb{R}^n$ におけるDirichlet問題を解くために、Jensen測度および次亜調和ピーク点（記号 $\mathcal{O}_K$ で表される）の理論を展開する。$K$ 上の細い調和関数の空間が $C_b(\mathcal{O}_K)$ に等長同型であることが示され、滑らかでないコンパクト集合に対しても、連続解が存在しない場合でも、古典的調和関数論を一般化する。

ABSTRACT

For any compact set $K\subset \mathbb{R}^n$ we develop the theory of Jensen measures and subharmonic peak points, which form the set $\mathcal{O}_K$, to study the Dirichlet problem on $K$. Initially we consider the space $h(K)$ of functions on $K$ which can be uniformly approximated by functions harmonic in a neighborhood of $K$ as possible solutions. As in the classical theory, our Theorem 8.1 shows $C(\mathcal{O}_K)\cong h(K)$ for compact sets with $\mathcal{O}_K$ closed. However, in general a continuous solution cannot be expected even for continuous data on $ O_K$ as illustrated by Theorem 8.1. Consequently, we show that the solution can be found in a class of finely harmonic functions. Moreover by Theorem 8.7, in complete analogy with the classical situation, this class is isometrically isomorphic to $C_b(\mathcal{O}_K)$ for all compact sets $K$.

研究の動機と目的

• 滑らかでない境界や正則性を欠く可能性のあるコンパクト集合 $K \subset \mathbb{R}^n$ に対しても、古典的調和関数論を拡張すること。
• 連続境界データに対しても、連続解が存在しない場合がある、そのような集合におけるDirichlet問題の失敗を扱うこと。
• Dirichlet問題を解く中心的対象として、次亜調和ピーク点の集合 $\mathcal{O}_K$ を導入し、その特徴づけを行うこと。
• 連続解が失敗する場合に、より広い関数族である「細い調和関数」に解が存在することを示すこと。

提案手法

• コンパクト集合 $K \subset \mathbb{R}^n$ に関連するJensen測度を導入し、次亜調和関数およびピーク点を分析する。
• $\mathcal{O}_K$ を $K$ に対する次亜調和ピーク点の集合として定義し、調和拡張に関連する $K$ の細かい構造を捉える。
• $K$ の近傍で調和関数により一様近似可能な関数の空間 $h(K)$ を研究し、これを候補解として扱う。
• $\mathcal{O}_K$ が閉集合であるとき、$h(K)$ と $C(\mathcal{O}_K)$ の間に双対性を確立し、古典的Dirichlet問題の解空間を一般化する。
• 連続解が失敗する場合の自然な解空間として、細い調和関数のクラスを導入する。
• すべてのコンパクト集合 $K$ に対して、$K$ 上の細い調和関数の空間が $C_b(\mathcal{O}_K)$ に等長同型であることを証明し、古典的同型を一般化する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト集合 $K \subset \mathbb{R}^n$ に対して、連続解を有するための条件は何か？
• RQ2 次亜調和ピーク点の集合 $\mathcal{O}_K$ の構造は、$K$ 上のDirichlet問題の可解性とどのように関係するか？
• RQ3 $\mathcal{O}_K$ が連続解に十分でない場合、連続関数が解空間として置き換わる関数空間は何か？
• RQ4 古典的同型（調和関数と境界上の連続関数の間）を滑らかでないコンパクト集合へ一般化できる範囲はどの程度か？
• RQ5 $C_b(\mathcal{O}_K)$ に等長同型である自然な関数空間が $K$ 上に存在するか？

主な発見

• $\mathcal{O}_K$ が閉集合であるコンパクト集合 $K$ に対して、一様近似可能な調和関数の空間 $h(K)$ は $C(\mathcal{O}_K)$ に等長同型であり、古典的双対性が拡張される。
• Theorem 8.1 により、$\mathcal{O}_K$ 上に連続データが与えられても、$K$ 上のDirichlet問題に連続解が存在しない場合がある。
• 連続解が失敗する場合、$K$ 上のDirichlet問題の解は「細い調和関数」のクラスに属する。
• Theorem 8.7 により、すべてのコンパクト集合 $K$ に対して、$K$ 上の細い調和関数の空間は $C_b(\mathcal{O}_K)$ に等長同型である。
• Jensen測度および次亜調和ピーク点の理論は、一般のコンパクト集合における調和拡張を分析する強固な枠組みを提供する。
• Theorem 8.7 の同型は、すべてのコンパクト集合 $K \subset \mathbb{R}^n$ に対して成り立つため、古典的Dirichlet問題の解空間への完全な一般化である。