跳到主要内容

九州大学 システム情報科学府 情報学専攻・情報知能工学専攻・電気電子工学専攻 共通 2011年度入学 数学 問4(複素関数論)

Author​

思齐塾, 祭音Myyura

Description​

複素変数 z=x+iyz = x + iy ( z≠0z \neq 0 )の対数を考える.

w(z)=ln⁡z=u(x,y)+iv(x,y)w(z) = \ln z = u(x, y) + iv(x, y)

ここで、 xx と yy は実数に値を取る変数, u(x,y)u(x,y) と v(x,y)v(x, y) は実数値関数である.

(1) 関数 u(x,y)u(x,y) と v(x,y)v(x,y) を求めよ。

(2) 偏導関数 ∂u∂x\frac{\partial u}{\partial x} , ∂u∂y\frac{\partial u}{\partial y} , ∂v∂x\frac{\partial v}{\partial x} , ∂v∂y\frac{\partial v}{\partial y} を求めよ.

(3) 導関数 dwdz\frac{dw}{dz} を求めよ.

题目描述​

令

z=x+iy≠0,w(z)=ln⁡z=u(x,y)+iv(x,y),z=x+iy\neq0,\qquad w(z)=\ln z=u(x,y)+iv(x,y),

其中 x,yx,y 为实变量,u(x,y),v(x,y)u(x,y),v(x,y) 为实值函数。这里的复对数是多值的;若把它作为单值函数讨论,须在不穿过所选支割的区域内固定一个连续的辐角分支。回答下列问题:

  1. 求 u(x,y)u(x,y) 与 v(x,y)v(x,y),并说明辐角带来的多值性。

  2. 在所选对数分支的定义域内,求

    ∂u∂x,∂u∂y,∂v∂x,∂v∂y.\frac{\partial u}{\partial x},\quad \frac{\partial u}{\partial y},\quad \frac{\partial v}{\partial x},\quad \frac{\partial v}{\partial y}.
  3. 求导数 dw/dzdw/dz。

Kai​

(1) z=x+iy=reiθz=x+iy=re^{i\theta} とおくと、複素対数は多価であり

log⁡z=log⁡r+i(arg⁡z+2πk),k∈Z\log z=\log r+i(\arg z+2\pi k),\qquad k\in\mathbb Z

と表される。したがって

u(x,y)=12log⁡(x2+y2),v(x,y)=arg⁡z+2πk.u(x,y)=\frac12\log(x^2+y^2),\qquad v(x,y)=\arg z+2\pi k.

一価の関数として扱う場合は、原点から延びる半直線を除いた領域で偏角の連続な一つの枝 Arg⁡z\operatorname{Arg}z を選び、

Log⁡z=12log⁡(x2+y2)+iArg⁡z\operatorname{Log}z=\frac12\log(x^2+y^2)+i\operatorname{Arg}z

とする。単なる arctan⁡(y/x)\arctan(y/x) では象限を区別できず、 x=0x=0 でも定義できない。

(2) 選んだ偏角の枝の領域内では

∂u∂x=xx2+y2,∂u∂y=yx2+y2,\frac{\partial u}{\partial x}=\frac{x}{x^2+y^2},\qquad \frac{\partial u}{\partial y}=\frac{y}{x^2+y^2},
∂v∂x=−yx2+y2,∂v∂y=xx2+y2.\frac{\partial v}{\partial x}=-\frac{y}{x^2+y^2},\qquad \frac{\partial v}{\partial y}=\frac{x}{x^2+y^2}.

これらは Cauchy--Riemann 方程式を満たす。

(3) 従って、任意の正則な対数の枝で

dwdz=∂u∂x+i∂v∂x=x−iyx2+y2=1z.\begin{aligned} \frac{dw}{dz} &=\frac{\partial u}{\partial x} +i\frac{\partial v}{\partial x}\\ &=\frac{x-iy}{x^2+y^2} =\frac1z. \end{aligned}

すなわち

ddzLog⁡z=1z.\boxed{\frac{d}{dz}\operatorname{Log}z=\frac1z}.

ただし、 C∖{0}\mathbb C\setminus\{0\} 全体では単価の正則な対数を定義できない。