Path: news.ccsf.jp!news.heimat.gr.jp!goblin1!goblin.stu.neva.ru!feeder.eternal-september.org!eternal-september.org!not-for-mail
From: chiaki@kit.ac.jp (Tsukamoto Chiaki)
Newsgroups: fj.sci.math
Subject: Re: ∫[0..πi/2]f(z)dz=∫［y=0,π/2］(-v(0,y)+iu(0,y))dyの変形
Date: Sun, 26 Jul 2009 02:00:08 +0900
Organization: Kyoto Institute of Technology
Lines: 42
Message-ID: <090726020008.M0230153@cs2.kit.ac.jp>
References: <fa4627ad-039f-4e98-9ad8-e241655edf8f@x6g2000prc.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-2022-jp
X-Trace: news.eternal-september.org U2FsdGVkX18k/af/bGufgVUDfX8kC9Pt4kEIw15OwYgljkXdty5Kyb4XQWMxW5BKr5/2xL1R2lPWu7nogLBXVE+JYFuJp1y8zgqupdAppUDVeFWUzNwu529eV530XqPm/VOx6BQgXalVBQRwavefCA==
X-Complaints-To: abuse@eternal-september.org
NNTP-Posting-Date: Sat, 25 Jul 2009 17:07:01 +0000 (UTC)
X-Newsreader: mnews [version 1.22PL5] 2001-02/07(Wed)
X-Auth-Sender: U2FsdGVkX19EVk3TMpGcWMvlpSbR7hg4akksLKxkrD0=
Cancel-Lock: sha1:HR/3cZnJN8OKDfiMy/VcWmtFtsc=
Xref: news.ccsf.jp fj.sci.math:2973

工繊大の塚本です.

In article <fa4627ad-039f-4e98-9ad8-e241655edf8f@x6g2000prc.googlegroups.com>
KyokoYoshida <kyokoyoshida123@gmail.com> writes:
> f(z)=sin(2z)
> ={1/(2i)}{exp(2iz)-exp(-2iz)}
> =(1/2){exp(y)+exp(-2y)}sin(2x)+i(1/2){exp(y)-exp(-2y)}cos(2x)
> より
> u(x,y)=(1/2){exp(y)+exp(-2y)}sin(2x)
> v(x,y)=(1/2){exp(y)-exp(-2y)}cos(2x)
> とすると

いや, f(z) = f(x + iy) = u(x, y) + i v(x, y) が
何であろうと,

> ∫[0..πi/2]f(z)dz=∫［y=0,π/2］(-v(0,y)+iu(0,y))dy
> と書けるのは何故でしょうか?

線積分の定義から明らかではありませんか.
 
> 積分範囲は実方向には0から0で虚方向には0からπi/2というのは分かるのですが
> ∫[0..πi/2]f(z)dzの時,z=0ならx=y=0,z=πi/2ならx=0,y=π/2なので
> ∫[0..πi/2]-v(0,y)+iu(0,u)d(x+iy)
> と書け

 z = 0 + iy  (y ∈ [0, π/2]) が積分路ですから,
書くなら d(0 + iy) ですね.
中身は u(0, y) + i v(0, y) です.

> これからどうして
> ∫［y=0,π/2］(-v(0,y)+iu(0,y))dy
> と変数変換できるのでしょうか?
> dz=?dyはどのように書けますでしょうか?

  ∫_0^{π/2} (u(0, y) + i v(0, y)) d(0 + iy)
  = ∫_0^{π/2} (u(0, y) + i v(0, y)) i dy
  = ∫_0^{π/2} (i u(0, y) - v(0, y)) dy

となるというだけです.
-- 
塚本千秋@応用数学.基盤科学部門.京都工芸繊維大学
Tsukamoto, C. : chiaki@kit.ac.jp