擬凸性
![]() | この項目では、多変数複素函数における概念について説明しています。凸解析における概念については「擬凸函数」をご覧ください。 |
数学の多変数複素函数の理論において、擬凸集合(ぎとつしゅうごう、英: pseudoconvex set)は n 次元複素空間 Cn 内のある特殊なタイプの開集合である。擬凸集合が重要となるのは、それらが正則領域の分類に有用となるからである。
今
を領域、すなわち、開連結部分集合とする。G が擬凸(あるいは、ハルトークス擬凸)であるとは、すべての実数 x に対して
が G の相対コンパクトな部分集合となるような、G 上のある連続多重劣調和函数 φ が存在することを言う。言い換えると、G が連続かつ多重劣調和なエグゾースチョン函数 (exhaustion function) を持つとき、その領域は擬凸である。
G が C2(二階連続的微分可能)級の境界を持つとき、この概念はより簡単に扱えるレヴィ擬凸性となる。より具体的に、C2 級の境界を持つ G には定義函数が存在することが示される。すなわち、G = {ρ < 0} および ∂G = {ρ = 0} を満たすような C2 級の ρ: Cn → R の存在が示される。今、G が擬凸であるための必要十分条件は、すべての p ∈ ∂G と、p での複素接空間内の w, すなわち
を満たすような w に対して、
が成立することである。
G の境界が C2 級でないなら、次の近似的な結果が有用となる。
命題1 G が擬凸であるなら、境界が C∞ 級(滑らか)で、G 内で相対コンパクトであるような有界強レヴィ擬凸領域 Gk ⊂ G で
を満たすものが存在する。
この命題がなぜ成立するかと言うと、定義におけるような φ に対して、実際に C∞ エグゾースチョン函数 (exhaustion function) を得ることが出来るからである。
n = 1 の場合
複素一次元において、すべての開領域は擬凸である。したがって擬凸性の概念は、より高次元の場合においてより有意義となる。
レヴィの問題
「擬凸領域は正則領域か?」と問う問題をレヴィの問題という[1]。1911年にエウジェーニオ・エリア・レヴィ(英語版)によって提出された。
多変数函数論の発展に大きな影響を与えたこの問題は1942年に岡潔によって2変数の場合にまず解かれた[2]。その後1953年に岡によって一般次元の場合にも解かれ、1954年にハンス=ヨアヒム・ブレメルマン(英語版)やフランソワ・ノルゲ(ドイツ語版)によっても独立に解かれた。なお、未公表ではあったが1943年に岡は一般次元の場合も解いていた[3]。一松信も1949年に公表された日本語の論文の中で一般次元の場合を解いていた[4]。
1958年にハンス・グラウエルト(英語版)は岡の証明を簡易化した[5]。1965年にラース・ヘルマンダーは 方程式を直接解く方法による別証明を得た。
岡潔だけはこの問題をフリードリヒ・ハルトークスにちなむハルトークスの逆問題という名前で呼んでいた[6]。レヴィの問題と異なり、ハルトークスの逆問題では境界の2回連続微分可能性を課さないので、その意味でより一般的なのだという[7]。
この問題の解決により、正則領域がはじめて境界局所的な概念によって特徴づけられた[8]。
出典
- ^ 酒井 1960, p. 157.
- ^ 酒井 1957, p. 26.
- ^ Noguchi 2019, p. 19.
- ^ Noguchi 2019, p. 22.
- ^ Noguchi 2019, p. 23.
- ^ 高瀬正仁「数学史における本質的連鎖と論理的連鎖 ---多変数函数論と虚数乗法論からの二つの例---」『19世紀数学史, 第1回数学史シンポジウム報告集』1号、津田塾大学数学・計算機科学研究所〈津田塾大学数学・計算機科学研究所報〉、1991年、11頁。https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo01/01takase.pdf。
- ^ Noguchi 2019, p. 20.
- ^ 倉田令二朗『多変数複素関数論を学ぶ』高瀬正仁 解説、日本評論社、2015年、169頁。
関連項目
参考文献
- Lars Hörmander, An Introduction to Complex Analysis in Several Variables, North-Holland, 1990. (ISBN 0-444-88446-7).
- Steven G. Krantz. Function Theory of Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992.
- Range, R. Michael (February 2012), “WHAT IS...a Pseudoconvex Domain?”, Notices of the American Mathematical Society 59 (2): 301–303, doi:10.1090/noti798, http://www.ams.org/notices/201202/rtx120200301p.pdf
レヴィの問題
- 酒井栄一「正則領域」『数学』第9巻第1号、1957年、17–44、doi:10.11429/sugaku1947.9.17。
- 酒井栄一「Leviの問題」『数学』第11巻第3号、1960年、157–162頁、doi:10.11429/sugaku1947.11.157。
- Noguchi, Junjiro (2019). “A brief chronicle of the Levi (Hartog’s inverse) problem, coherence and open problem”. Notices of the International Congress of Chinese Mathematicians 7 (2): 19–24. doi:10.4310/ICCM.2019.v7.n2.a2. https://content.intlpress.com/journal/ICCM/article/1744.