質問: [問]∫_c exp(-2πz)dzの値を求めよ 曲線cを図の通りとする。 積分路変形の原理 「複素関数f(z)が単連結領域dで正則ならば,d内の任意の2点α,βを結ぶ曲線cに沿った ∫_c f(z)dzは積分路cの採り方によらず,常に一定の値を採る」 [問]∫_c exp(-2πz)dz, where c is the contour. という積分を求める問題です。 cよりも簡単な直線c_1:z_1(t):=πt-it+i (但し,0≦t≦1)とするとdz_1(t)/dt=π-iなので ∫_c exp(-2πz)dz=∫_c exp(-2πz_1)dz_1 (∵複素平面は単連結で複素平面上の任意の点zに於いて関数exp(-2πz)は正則。 よって,積分路変形の原理が使える) =∫_0^1 exp(-2πz_1(t))dz_1(t)/dt・dt =∫_0^1 exp(-2πz_1(t))(π-i)dt =∫_0^1 πexp((-2π^2+2πi)t-2πi)-iexp((-2π^2+2πi)t-2πi))dt =π/(-2π^2+2πi)[exp(-2π^2+2πi)t-2πi)]_0^1-i/(-2π^2+2πi)[exp(-2π^2+2πi)t-2πi)]_0^1 =(π-i)/(-2π^2+2πi) ・exp(-2π^2)-exp(-2πi) となったのですがこれで正しいでしょうか?
回答: 書く際に忘れたものと思いますが、最後の所で、 >=(π-i)/(-2π^2+2πi) ・exp(-2π^2)-exp(-2πi) exp(-2π^2)-exp(-2πi)を括弧でくくるように。 それと、exp(-2πi)はもう少し簡単にできます。 今回は簡単な1直線の経路を選びましたが、次のような経路も使えます。 i→0を虚数軸上で積分して、0→πを実数軸上で積分して足す。 非積分関数の形によってはこのとり方をしたほうが楽な場合もあります。 ご参考まで。