3

複素解析:解析関数の零点の離散性

1530
0

今回の目標

複素解析の面白い部分のひとつである「解析接続」について紹介しようと思ったのですが、その準備として「一致の定理」が必要であることに気付きました。そこで一致の定理の記事を書こうとしていたのですが、証明を書いていたら長くなってしまったので、まずは準備の準備として、「零点の離散性」を紹介したいと思います。

今回の予備知識

用語について

  • 連結な開集合のことを領域といいます。
  • ΩCを領域とします。zΩが関数f:ΩC零点であるとは、f(z)=0をみたすことをいいます。
  • C内の集合Sと点zSに対して、zS孤立点であるとは、zのある近傍Uが存在して、US={z}が成り立つことをいいます。また、S離散的であるとは、任意のzSSの孤立点であることをいいます。

定義・性質について

今回は、解析関数と呼ばれる関数の性質を紹介します。解析関数の定義を見てみましょう。

解析関数

ΩCを領域(連結な開集合)とする。関数f:ΩC解析的であるとは、任意のz0Ωに対して、あるz0の近傍UapC (p=0,1,)が存在して、任意のzUに対して
f(z)=p=0+ap(zz0)p
が成り立つことをいう。

このように、無限級数として解析関数を表示することを、(z0を中心とする)テイラー展開と呼びます。右辺の無限級数は、c:=lim supp+|ap|1/pとおいたとき、z0を中心とする半径1/cの円の内部で収束することが知られています。この円のことを収束円とよび、収束円の半径1/c収束半径とよびます。このとき、収束円上に定まる関数もまた解析関数になることが知られています。また、解析関数は連続であることも知られています。

複素関数が解析的であることと、正則であること(複素微分可能であること)はじつは同値になることが知られています。これはとても重要な結果ですが、今回は使いません。

零点の離散性とその証明

今回紹介する定理は、次のようになります。

解析関数の零点の離散性

ΩCを領域とし、関数f:ΩCが解析的であるとする。fが恒等的に0でないならば、fの零点集合{zΩ:f(z)=0}Ω内で離散的である。

定理1の証明は、以下のような流れになっています。

  • (Step 1) z0fの零点としたとき、以下のいずれかの状況であることを示す:
    1. z0の近傍上にまったく零点がない
    2. z0のある近傍がすべて零点である
  • (Step 2) この結果とΩの連結性から、すべての零点が一斉に1.のパターンであるか、一斉に2.のパターンであるかのいずれかの状況しかないことを示す。

証明の前半

Step1

fの零点集合をZ(f)と書く。すなわち、
Z(f):={zΩ:f(z)=0}
とする。

z0Z(f)を任意にとる。まず次のことを示す:

  • (主張) 以下の1.か2.のいずれかが成り立つ。
    1. z0Z(f)の孤立点である。すなわち、あるz0の近傍Vが存在して、Z(f)V={z0}が成り立つ。
    2. z0のある近傍Uが存在して、U上で恒等的にf=0となる。

z0を中心にしてfをテイラー展開して、収束円U上で
f(z)=p=0+ap(zz0)p
と書く。f(z0)=a0なので、a0=0である。

すべてのap0であれば、U上でf=0である。
一方、apのうち0でないものが存在するならば、ap0をみたす最小のpが存在するので、それをp0とおく。a0=0だったから、p01である。
すると、
f(z)=(zz0)p0p=p0+ap(zz0)pp0
と書くことができる。無限和の部分を
g(z)=p=p0+ap(zz0)pp0
とおくと、これはU上の解析関数を定める(収束半径が変わらないことを確かめることができる)。g(z0)=ap00である。解析関数は連続なので、z0のある近傍VUが存在して、zVに対してg(z)0である。
したがって、V上でf(z)=(zz0)p0g(z)の零点はz0のみである。これで(主張)が示された。

以上が証明の前半になります。解析的なのでテイラー展開をして、係数のうち0でない最も低い次数のところを取り出し、「因数分解」のようなことをしたことになります。そうすると、出てきたgの部分もまた解析関数になるので、連続性から近くに零点が全くないことがわかります。

証明の後半

それでは証明の後半を見てみましょう。

prf Step2

fが恒等的に0でないとして、すべてのfの零点がZ(f)の孤立点であることを証明する。そのために、(主張)の2.のタイプの零点の集合を
Z^(f):={zZ(f):z()2.}
とおく。Z^(f)Ω内で開かつ閉であることを示そう。すると、Ωは連結なので、Z^(f)は空であるかΩと一致することになる。後者であればfは恒等的に0だということになるので仮定に反する。したがって前者が成り立ち、fのすべての零点がZ(f)の孤立点となることがわかる。

(Z^(f)Ωの開集合であること) zZ^(f)をとる。定義から、あるzの開近傍Uが存在して、UZ(f)となる。すると、U内の点はすべてZ^(f)にも含まれる。したがって、Z^(f)zの近傍となる。これは任意のzに対して成り立つので、Z^(f)は開集合である。

(Z^(f)Ωの閉集合であること) Z^(f)内の点列{zj}jNであって、zjzΩとなるものをとる。すべてのjについてzjzであるとしてよい。fの連続性から、f(z)=limj+f(zj)=0である。したがってzZ(f)であるから、zは(主張)の1.か2.をみたすことになる。zに収束する点列{zj}ですべてのjについてzjZ(f)となるものが存在しているので、1.とはなりえず、したがって2.である。よって、zZ^(f)となり、Z^(f)は閉集合である。

以上から、Z^(f)Ω内で開かつ閉であることが言え、証明が終わる。

後半は連結性を用いたよくある議論になっています。開集合であることは定義からほぼ自明で、閉集合であることにStep 1の結果を使っています。

次回以降、一致の定理や解析接続の紹介ができればと思います。それではまた!

投稿日:20201111
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

orca
orca
22
14835

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 今回の目標
  2. 今回の予備知識
  3. 用語について
  4. 定義・性質について
  5. 零点の離散性とその証明
  6. 証明の前半
  7. 証明の後半