複素数を含む積分では、単純に展開して計算するよりも、複素関数の性質や円周上での平均値を利用すると簡潔に解ける場合があります。今回は、|a|<1<|b|を満たす複素定数a,bとz=e^{iθ}を用いた積分について、計算の考え方を詳しく解説します。
問題の式を整理する
考える値は次の積分です。
I=log(1/(2π)∫[0,2π]|(z-a)(z-b)|²dθ)
ここでz=e^{iθ}なので、zは複素平面上の単位円|z|=1を動きます。また、条件として|a|<1、|b|>1が与えられています。
この条件は、aが単位円の内側、bが単位円の外側にあることを意味します。この内外の位置関係が、今回の積分を簡単にする重要なポイントになります。
|z-a|²の平均値を求める
まず、積の絶対値を分けて考えます。
|(z-a)(z-b)|²=|z-a|²|z-b|²
したがって、単位円上での平均値を考えることになります。
ここで重要なのが、複素解析における平均値の性質です。|a|<1の場合、
(1/2π)∫[0,2π]|e^{iθ}-a|²dθ=1+|a|²
となります。
これは展開すると確認できます。
|z-a|²=(z-a)(\overline{z}-\overline{a})
z=e^{iθ}なので\overline{z}=e^{-iθ}となり、積分するとe^{iθ}やe^{-iθ}の項は平均0になります。その結果、定数項だけが残り、1+|a|²が得られます。
|z-b|²の平均値を求める
次にbについて考えます。条件は|b|>1です。
この場合、z-bを次のように変形します。
|z-b|²=|b|²|1-z/b|²
ここで|1/b|<1なので、1/bは単位円の内側にあります。そのため、先ほどと同じ平均値の性質を利用できます。
(1/2π)∫[0,2π]|1-z/b|²dθ=1+1/|b|²
したがって、
(1/2π)∫[0,2π]|z-b|²dθ=|b|²(1+1/|b|²)=1+|b|²
となります。
積の平均値を計算する
ここで注意が必要なのは、|z-a|²と|z-b|²の積の平均値は、それぞれの平均値を単純に掛ければよいわけではないという点です。
しかし、今回の条件ではフーリエ展開を考えることで、交差する項の平均が消えるため、結果として非常に簡単な形になります。
|(z-a)(z-b)|²を展開すると、
(z-a)(z-b)=z²-(a+b)z+ab
となります。
ここでw=(z-a)(z-b)と置くと、単位円上での平均二乗ノルムは、フーリエ係数の二乗和になります。
z²-(a+b)z+ab
の係数は、z²の係数が1、zの係数が-(a+b)、定数項がabです。
したがって、
(1/2π)∫[0,2π]|(z-a)(z-b)|²dθ=1+|a+b|²+|ab|²
となります。
条件|a|
さらに、問題ではa,bに特別な条件が与えられています。この条件は、単位円内部と外部の点を区別するために設定されています。
一般的な計算結果としては、
1+|a+b|²+|ab|²
を考えることになりますが、展開すると、
1+|a|²+|b|²+2Re(a\overline{b})+|a|²|b|²
となります。
このような形は、複素数の配置によって値が変化するため、a,bの具体的な値が与えられていない場合、この形が最終的な平均値になります。
求める積分値I
以上より、積分内部の平均値は、
(1/(2π))∫[0,2π]|(z-a)(z-b)|²dθ=1+|a+b|²+|ab|²
です。
したがって求める値は、
I=log(1+|a+b|²+|ab|²)
となります。
まとめ｜複素積分では円周平均と直交性が重要
今回のような単位円上の積分では、複素数を直接扱うよりも、z=e^{iθ}によるフーリエ展開の考え方を利用すると計算が整理できます。
|(z-a)(z-b)|²の平均値は、展開した多項式の係数の絶対値二乗の和として求めることができ、複素解析における重要な考え方につながります。
このような円周平均の計算は、複素解析だけでなく、フーリエ解析や信号処理など幅広い分野でも利用される基本的な手法です。
コメント