複素積分について。

Z=e^it (0≦t≦π)のとき、∫Logz dzを計算する問題なのですが、
dz=ie^it dtまではわかるのですが、そこからどうすればいいのでしょうか？

No.1 ベストアンサー 回答者： A-Tanaka 回答日時： 2008/02/06 23:18

こんばんは。

多分、分かっているのに、質問されているのだろうと思いますが・・・。
あとは、Log zの値を求めます。Log z = it

よって、∫it*ie^（it ）dtの積分を解きます。ここからは、普通の部分積分と同じ方法によって求めることができます。

付録）さて、この式において、区間連続性について考えてみましょう。この式は、複素空間においては連続であるということが証明できます。なぜならば、この式をテーラ展開もしくはマクローリン展開してみてください。

この回答へのお礼

z dzを先に計算してしまい、混乱してしまいました。
先にLogzを計算して部分積分をしたら無事2-πiを得ました。
ありがとうございました！

お礼日時：2008/02/06 23:52

No.3 回答者： sanori 回答日時： 2008/02/06 23:43

LogZ = Log ｅ^(it) = ｉｔ

∫LogZ dz = ∫ｉｔ・ｉｅ^(it)　ｄｔ
　＝　∫ｔ・｛－ｅ^(it)｝ｄｔ

部分積分を用います。
∫ｕｖ’ｄｔ　＝　ｕｖ　－　∫ｕ’ｖｄｔ

ｕ＝ｔ、　ｖ’＝－ｅ^(it)、
　ｕ’＝１、　ｖ＝－ｅ^(it)／ｉ＝ｉｅ^(it)

∫ｔ・｛－ｅ^(it)｝ｄｔ　＝　ｔ・ｉｅ^(it)　－　∫１・ｉｅ^(it) ｄｔ
　＝　ｉｔ・ｅ^(it)　＋　ｅ^(it)　＋　Ｃ
　＝　（ｉｔ　＋　１）・ｅ^(it)　＋　Ｃ

ｔ＝０～π

・・・・・・・・・・・


計算不得意ゆえ、検算お願いします。

この回答へのお礼

ありがとうございます！無事解くことが出来ました。

お礼日時：2008/02/06 23:56

No.2 回答者： eringui 回答日時： 2008/02/06 23:20

単純に計算でいけると思います。

∫Logz dz = -∫te^it dt = -[-ite^it](π,0) + (-i)∫e^it dt

= πi - [e^it](π,0) = 1

この回答へのお礼

説明不足ですみません。答えは2-πiになるようです。

先にLogzを計算してから部分積分にかければいいのですね。
ありがとうございました！

お礼日時：2008/02/06 23:54