Ahlfors
https://mccuan.math.gatech.edu/courses/6321/lars-ahlfors-complex-analysis-third-edition-mcgraw-hill-science_engineering_math-1979.pdf
引き続き。1部1, 2章はこちら。
2 COMPLEX FUNCTION
1. INTRODUCTION TO THE CONCEPT OF ANALYTIC FUNCTION
複素関数の理論は、微積分を複素数領域に拡張することを目的としている。微分も積分も新たな深みと重要性を獲得すると同時に、その適用範囲は根本的に制限されることになる。実際、自由に微分・積分できるのは、解析関数や正則関数のみである。これらは、フランス語の「Theorie des functions」やドイツ語の「Funktionen theorie」の意味での唯一の真の「関数」である。
とはいえ、ここでは「関数」という用語を現代的な意味で使うことにする。したがって、複素数にステップアップする際には、実変数の実関数、複素変数の実関数、実変数の複素関数、複素変数の複素関数という4種類の関数を考えなければならない。したがって、複素変数の複素関数を示すには、という表記を使う。 という表記は、とは実数でも複素数でもよいという理解のもと、中立的な意味で使う。ある変数が確実に実数値に限定されることを示したいときは、通常と表記する。
これらの取り決めによって、という表記が自動的にとが実数であることを意味するという、以前の慣例を取り消したいわけではない。
関数が定義される法則は、明確で曖昧さのない言葉で定式化されることが不可欠である。言い換えれば、すべての関数は明確に定義され、その結果、追って通知があるまで、単一値でなければならない。
独立変数のすべての値に対して関数を定義する必要はない。現時点では、点集合論の役割をあえて強調しないことにする。つまり、が定義されているならば、はに十分に近いすべてのに対して定義されている、ということである。
1.1. Limits and Continuity.
以下の基本定義を採用する。
「定義1 」関数はがに近づくとき、極限、を持つ。ただし、以下が成り立つときに限る。任意のに対して、次の性質を持つ数が存在する。がとであるのすべての値に対して成り立つ。
この定義は絶対値を決定的に利用している。絶対値の概念は実数だけでなく複素数に対しても意味を持つので、変数と関数が実数か複素数かに関係なく、同じ定義を使うことができる。
より簡単な表記法として、に対してと書くこともある。
この定義には、またはが無限である場合に対応する、よく知られた変形がいくつかある。実数の場合は極限とを区別できるが、複素数の場合は無限極限は1つしかない。我々は、読者がすべての可能性をカバーする正しい定義を立てることを信じている。
和、積、商の極限に関するよく知られた結果は、複素数の場合にも引き続き成り立つ。実際、その証明は、次の式で表される絶対値の性質にのみ依存する。
条件は明らかに以下と同値である。, から、以下を得る。逆に、はの帰結である。
関数がにおいて連続であるといえるのは、のときだけである。連続的な関数は、それ以上の修飾を必要とせず、定義されたすべての点で連続である関数のことである。
二つの連続関数の和および積も連続関数である。商はとなるにおいてのみ定義され、連続である。が連続であるとき、およびも連続である。
関数の微分は特定の極限として定義され、変数が実数か複素数かに関係なく考えることができる。正式な定義はである。
和の導関数、積の導関数、商の導関数を作る通常のルールはすべて有効である。合成関数の導関数は連鎖律によって決定される。
しかし、独立変数が実数の場合と複素数の場合では、根本的な違いがある。この点を説明するために、をに微分が存在する複素変数の実関数とする。すると、)はがに近づくにつれて一面実数である。もう一方は、次の商の極限でもある。こちらは純虚数である。したがって、はでなければならない。したがって、複素変数の実関数は、導関数がゼロであるか、導関数が存在しないかのどちらかである。
実変数の複素関数のケースは、実数のケースに還元することができる。と書くと、次のようになる。の存在はとの同時存在と等価である。それにもかかわらず、複素数表記法には、あきらめるのは賢明ではない、ある種の形式的な利点がある。これとは対照的に、複素変数の複素関数の導関数の存在は、関数の構造的性質に対して広範囲に及ぶ結果をもたらす。これらの結果を調べることは、複素関数論の中心的なテーマである。
1.2. Analytic Functions.
解析的関数のクラスは、関数が定義されている場所ならどこでも微分を持つ複素変数の複素関数によって形成される。同形関数という用語も同じ意味で使われる。この予備調査では、読者は主に平面全体で定義される関数を考えてもよい。
2つの解析的関数の和と積もまた解析的である。2つの解析関数の商についても、が消えない限り、同じことが言える。一般的なケースでは、となる点を除外する必要がある。厳密に言えば、この非常に典型的なケースは、我々の考察には含まれないが、明らかな修正を除けば、結果が有効であることは明らかであろう。
微分の定義は次のように書き換えることができる。最初の結果として、は必然的に連続である。実際、から、次のようになる。
と書けば、とはともに連続である。
差分商の極限は、がどのようにゼロに近づいても同じでなければならない。に実数を選ぶと、虚部は一定に保たれ、微分はに関する偏微分になる。こうして我々はを得る。
同様に、に純虚数を代入すると、以下のようになる。次のように、は偏微分方程式を満足しなければならない。これは、以下のような実数方程式に分解される。これらがCauchy-Riemann方程式 であり、あらゆる解析関数の実部と虚部が満足する必要がある。
の4つの偏導関数の存在は、の存在を意味する。を使って、について形式的に異なる4つの式を書くことができる。最も単純な形はである。
という量については、例えば次のようになる。最後の式は、はのに関するJacobianであることを表している。
解析的関数の導関数がそれ自体解析的であることは後で証明する。この事実により、とはすべての次数の連続偏導関数を持つことになり、特に混合導関数は等しくなる。この情報を用いると、から次のようになる。Laplaceの方程式を満たす関数は調和的(harmonic)であると言われる。解析関数の実部と虚部はこのように調和的である。2つの調和関数とがCauchy- Riemann方程式を満たす場合、はの共役調和関数であるという。実際には、は加法定数までしか決まらないので、定冠詞の使用は伝統的ではあるが、正確ではない。同じ意味で、はの共役調和関数である。
ここでは、調和関数に課すことのできる正則性の最も弱い条件について議論する場ではない。我々は、共役調和関数の組によって決定される関数が常に解析的であることを証明したい。微積分学では、まさにこのような正則性の条件下で、次のように書けることが証明されている。ここで、余りはよりも速くゼロになる傾向があり、これは に対して という意味である。と表記すれば、の関係から次のようになる。したがって、結論として、は解析関数である。
とが連続一階偏導関数を持ち、それがCauchy-Reimann微分方程式を満たす場合 、は連続微分で解析的である。
調和関数の共役関数は積分によって求めることができ、簡単な場合には計算を明示的に行うことができる。例えば、は調和的であり、である。したがって、共役関数は次の条件を満たさなければならない。最初の等式からを得る。ここで、はのみの関数である。二番目の方程式に代入すると、となる。したがっては定数であり、の最も一般的な共役関数はとなる。ここでは定数である。であることに注意する。実数部がである解析関数は、したがってである。
解析関数の性質にかなりの光を投げかける興味深い形式的手順がある。この手続きは、純粋に形式的なものであり、証明する力を持たないことを読者に明確に警告した上で紹介する。
2つの実数変数の複素関数を考える。複素変数とその共役を導入すると、と書くことができる。この変数の変更により、をとの関数として考えることができる(ここでこの2つは互いに共役であることを忘れている)。微積分のルールを適用すれば、次のようになる。
これらの式は極限として便利な定義を持たないが、それでもとに関する記号的導関数として導入することができる。と比較すると、解析関数はという条件によって特徴づけられることがわかる。そのため、解析的な関数はから独立しており、だけの関数であると言いたくなる。
この形式的な推論は、解析関数は複素変数の真の関数であり、2つの実変数の複素関数としてより適切に記述される関数とは対照的であるという視点を支持するものである。
同様の形式的な議論により、積分を用いずに、与えられた調和関数を実部とする解析関数を計算できる非常に簡単な方法を導くことができる。まず、共役関数はに関して微分ゼロであり、したがっての関数とみなすことができる。この関数をとする。この表記法で、恒等式を書き下すことができる。これは形式的な恒等式であり、とが複素数の場合でも成り立つと考えるのが妥当である。を代入すると、次のようになる。は純虚数定数までしか決まらないので、が実数であると仮定してよい(*注:の実部がであることしか関心がないので、虚部はを解析関数にするものであれば何でも良い(虚部を含めて定数を加えても解析性は変わらないということ))。つまり、である。関数は次の式で計算できる。純虚数の定数を自由に加えることができる。なぜなら、関数は引数の複素数値に対して意味を持たなければならないからである。この方法は一般的な場合にも拡張可能であり、完全な正当化が可能であることは言うまでもない。
EXERCISES
とが解析関数である場合、も解析関数であることを示せ。
関数についてCauchy-Riemannの方程式を検証せよ。
の最も一般的な調和多項式を求めよ。共役調和関数と対応する解析関数を、積分と形式的手法によって求めること。
解析関数の絶対値が定数であるとき、解析関数そのものが定数であることを示せ。
関数とが同時に解析的であることを厳密に証明せよ。
関数とが同時に調和的であることを証明せよ。
調和関数が以下の形式微分方程式を満たすことを示せ。
1.3. Polynomials.
すべての定数は微分がとなる解析関数である。最も単純な非定数の解析関数はで、その導関数はとなる。つの解析関数の和と積は再び解析的であるから、すべての多項式は解析関数である。この導関数はとなる。はであることを含有しており、この多項式の次元はであると言われる。定数は多項式とみなされるが、多くの点で例外的であるため、ここでは除外して考える(形式的な理由から、定数を多項式とみなした場合、その次数はと等しくなる)。の場合、方程式は少なくともつの根を有する。これはいわゆる代数学の基本定理で、後で証明する。であれば、であり、は次数の多項式であることが初等代数学で示されている。このプロセスを繰り返すことで、最終的に完全な因数分解が導かれる。ここで、上記のは必ずしも異なるわけではない。因数分解から、はと異なるの値に対してはとならないことが分かる。さらに、因数分解は因数の順序を除いて一意に決まる。
のちょうど個が一致する場合、それらの共通値は次数のの零点と呼ばれる。多項式の零点の次数の合計は、その多項式の次数に等しいことが分かる。もっと簡単に言えば、各零点をその次数が示す回数だけ数えると、次数の多項式はちょうど個の零点を持つ。
零点の次数は、に対するの連続導関数を考慮することによっても決定することができる。零点の次数をとする。すると、と書くことができる。順番に微分すると、となるが、である。言い換えれば、零点の次数は最初の非有限導関数の次数に等しい。次数の零点は単純零点と呼ばれ、という条件によって特徴づけられる。その応用として、以下の定理を証明する。
定理1 多項式のすべての零点が半平面にある場合、導関数のすべての零点は同じ半平面にある。
から、以下を得る。半平面がで定義されるものとする(第1章セクション2.3)。がにあり、がそうでないとき、以下を得る。しかし、逆数の虚部は符号が逆である。したがって、となる。これがすべてのに対して成り立つとき、からとなり、したがってとなる。この定理は、の零点を含む最小の凸多角形は、の零点も含むというものである。
1.4 Rational Functions
二つの多項式の商で与えられる以下の有理関数について考える。ここで、とには共通因子がなく、したがって共通の零点もない。はの零点でとなる。したがって、この関数は、拡大された平面に値を持つ関数として考えなければならない。の零点はの極と呼ばれ、極の次数は定義によりの対応する零点の次数に等しい。微分はであり、のときのみ存在する。しかし、の右辺で定義される有理関数として、はと同じ極を持ち、各極の次数はずつ増える。が複数の零点を持つ場合、式は縮小形では現れないことに注意すべきである。
変数と値を拡大平面上に範囲させると、より大きな単一性が得られる。をにおけるの極限として定義してもよいが、この定義ではにおける零点または極の次数を決定することはできない。従って、関数を考えるのが望ましく、これは有理関数として書き直すことができる。そして、とすれば良い。またはの場合、における零点または極の次数は、原点におけるの零点または極の次数と定義される。以下の表記、から、次を得る。ここでは分子または分母に属する。従って、の場合、はにの次数の零点を持ち、の場合、はの次数の極となり、の場合となる。
ここで、拡張平面上の零点と極の総数を数えることができる。このカウントは、を含む零点の数がとの大きい方と等しいことを示している。極の数も同じである。この零点と極の共通の数を有理関数の次数と呼ぶ。
を任意の定数とすると、関数はと同じ極を持ち、結果として同じ次数を持つ。の零点は、方程式の根であり、根を零点の次数の数だけ数えれば、次のような結果が得られる。次数の有理関数は、個の零点と個の極を持ち、すべての方程式は正確に個の根を持つ。
次数の有理関数は線形分数である。ここでである。このような分数、あるいは線形変換については、第3章第3節で詳しく説明する。とりあえず、方程式がちょうどつの根を持つことだけに注意しよう。変換とは互いに逆である。
線形変換は平行移動と呼ばれ、は反転である。前者はに固定点を持ち、後者はとを交換する。
すべての有理関数は、部分分数による表現を持っている。この表現を導くために、まずがに極を持つと仮定する。をで割るとき、余りの次数が最大でも分母の次数に等しくなるまで行う。結果は以下の形式で記述される。ここでは定数項を持たない多項式であり、はにおいて有限である。の次数はにおける極の次数であり、多項式はにおけるの特異部と呼ばれる。
の異なる有限な極をとする。関数はに極を持つの関数である。の分解を用いることで、以下のように書くことができる。あるいは変数を変換して、ここで、は定数項を有さないの多項式であり、におけるの特異部と呼ばれる。関数はにおいて有限である。以下の表現を考えてみる。
これは有理関数であり、そして以外の極を持たない。において、無限大になるつの項が有限極限を有する差を持つことがわかる。これはにおいても同様である。それ故は有限極もでの極も持たない。極のない有理関数は定数に還元されるはずであり、この定数をに吸収させると以下のようになる。この表現は微積分学でよく知られており、積分理論の技術的な工夫として使われている。しかし、この表現が完全に成功するのは、複素数を導入してからのことである。
EXERCISES
記載の方法を用いて、以下の部分分数分解を求めよ。および
が根を持つ多項式であり、が次数の多項式であるとき、以下を証明せよ。
先の練習問題の公式を使って、点において与えられた値を持つ次数の一意な多項式(ラグランジュの補間多項式)が存在することを証明せよ。
円上で絶対値を持つ有理関数の一般形を求めよ。特に、零点と極はどのように関係しているか。
有理関数がで実数である場合、零点と極はどのように配置されるか?
が次数の有理関数である場合、の次数はどのくらい大きく、どのくらい小さいか。
関連記事
Euler関数の和公式
コメント