4

多変数複素解析:多変数の正則関数と正則領域

2022
3

(2020/11/17追記:証明中の積分と微分の順序交換について書き加えました)

今回の目標

こんにちは! 前回の記事 の続きでzの解析接続について書こうと思ったのですが、少々時間がかかりそうなので先にこちらの記事を書いています。

いくつかの複素数を変数にもつ関数を研究する分野が多変数複素解析、あるいは多変数関数論と呼ばれる分野です。一変数の複素解析と同様に、正則関数がその主役となります。多変数の正則関数は一変数の場合と振る舞いが大きく異なり、そこが難しいところでもあり面白いところでもあります。今回から数回にわたって、多変数複素解析ならではの現象について紹介してみたいと思います。
今回紹介するのは、多変数の正則関数の定義正則領域と呼ばれるタイプの領域についてです。

今回の予備知識

一変数の複素解析に関する知識をいくらか仮定します。例えば、正則関数の定義、コーシー・リーマンの方程式、コーシーの積分公式、 一致の定理 などです。

また、証明の途中で積分記号下の微分(積分と微分の入れ替え)を行います。積分記号下の微分に関しては、例えば こちらの記事 が参考になります。

多変数の正則関数

早速ですが、n変数の正則関数を定義します。

Cn内の領域上の正則関数、弱い版

ΩCnを領域とする。関数f:ΩC正則であるとは、各j=1,2,,nについて、zj以外の変数を固定したときにfzjに関する正則関数であることをいう。

各変数について正則であるような関数のことをn変数の正則関数と呼ぶわけですね。

この定義のみからfの連続微分可能性などを導くのは結構大変なので、もう少し強い定義にしておくと便利です。たとえば、次のようにです。

Cn内の領域上の正則関数、強い版

ΩCnを領域とする。関数f:ΩC正則であるとは、fC1級関数であって、j=1,2,,nについて、zj以外の変数を固定したときにfzjに関する正則関数であることをいう。

定義1と定義2は同値であることが知られています(ハルトークスの定理)。以下では、定義2の方を正則関数の定義だと思うことにします。

一変数のときと同様の議論を行うことにより、正則関数が解析的であること、すなわち局所的に
f(z)=αNncα(zz0)α
の形で記述できることがわかります。

ハルトークス現象

多変数の正則関数ではじめて発生する面白い現象として、解析接続に関する現象があります。定理の形で書くと、次のようになります。

ハルトークス現象

C2内のふたつの領域ΩΩ^であって、任意のΩ上の正則関数fΩ^上の正則関数f^に拡張できるようなものが存在する。

すなわち、領域Ω上の正則関数は、自動的にΩ^まで定義域を伸ばすことができるというわけです。

定理1の証明

C2の座標を(z,w)と表すことにして、
Ω:={|z|<1/2,|w|<1}{|z|<1,1/2<|w|<1}
Ω^:={|z|<1,|w|<1}
とおく。

(工事中……ここに図が入ります)

fΩ上の正則関数とする。このとき、Ω^上の正則関数f^であって、f^|Ω=fをみたすものを構成すればよい。
そこで、|z|<1, |w|<3/4に対して、
f^(z,w):=12πiCf(z,ζ)ζwdζ
によって定める。ただし、Cζ=34eit, 0t<2πという曲線を指す。

積分記号下の微分を行うことにより、f^は、z, wに関して正則であることが分かる。

2020/11/17追記:「積分記号下の微分」の議論を最初の版では端折ってしまっていました。詳しく書くと以下のようになります。

f^が(wを固定したときに)zに関して正則であることを確かめるためには、それと同値である次の条件を確かめればよい:zの実部と虚部をz=x+iyとおいて、コーシー・リーマン方程式
f^(z,w)z:=12f^x+i2f^y=0
が成り立つ(wに関する正則性も同じ議論です。また、f^C1級であることの証明も同様になされます)。
C上の点ζを固定したとき、被積分関数f(z,ζ)ζw|z|<1に関する正則関数になる。したがって、被積分関数は
zf(z,ζ)ζw=0
をみたす。そこで、f^/z=0を示すためには、積分と偏微分の順序を入れ替えることができれば十分である。

fC1級であることを仮定したので、f(z,ζ)ζwC1級である。したがって、xf(z,ζ)ζw, yf(z,ζ)ζwC上連続で、特に可積分である。これにより、Cxの入れ替えやCyの入れ替えは正当である。

以上の議論により、f^の正則性がしたがう。

証明の続き

そこで、定義域の共通部分Ω{|z|<1,|w|<3/4}上でf=f^が成り立つことを示せば、それらを貼り合わせることによってfΩ^への正則拡張が得られる。

コーシーの積分公式から、|z|<1/2, |w|<3/4に対してf^(z,w)=f(z,w)が成り立つ。
1/2<|w|<3/4となるwを固定する。|z|<1/2に対しては上記の通りf^(z,w)=f(z,w)であることを見た。zの正則関数とみて一致の定理を用いることにより、|z|<1に対してもf^(z,w)=f(z,w)が成り立つ。
したがって、定義域の共通部分でf=f^が成り立ち、欲しい拡張が得られた。

一方、このようなことは一変数では起こりません。

C内のふたつの領域ΩΩ^に対して、Ω上の正則関数fであって、Ω^上の正則関数f^に拡張できないようなものが存在する。

z0Ω^Ωをとり、f(z):=1/(zz0)とおけばよい。

ということで、一変数と多変数では正則関数の解析接続に関する状況が大きく違っているということが分かりました。多変数では定理2は常には成り立ちません。定理2の状況が常に成り立つような領域Ωのことを正則領域と呼んでいます。

領域ΩCn正則領域であるとは、任意の領域Ω^Ωに対して、あるΩ上の正則関数fであってΩ^上の正則関数に拡張できないようなものが存在することをいう。

例えば、定理2よりC内の領域は常に正則領域です。また、領域ΩCnが凸集合であれば正則領域であることが知られています。

領域がいつ正則領域になるかを調べることが多変数関数論の重要な問題でしたが、この問題は岡によって解決されました。その後、偏微分方程式論を駆使した別証明もヘルマンダーによって得られています。どのような条件になるかは今回は紹介しませんが、これらの証明もいずれ紹介できると良いですね……大変そうですが……

今回のまとめ

今回は、次の内容を紹介しました。

  • 多変数の正則関数の定義
  • ハルトークス現象と正則領域

今後多変数複素解析に関する記事も書いていきたいと思っています。それではまた!

投稿日:20201116
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

orca
orca
22
14819

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 今回の目標
  2. 今回の予備知識
  3. 多変数の正則関数
  4. ハルトークス現象
  5. 今回のまとめ