跳到主要内容

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

Author​

思齐塾, 祭音Myyura

Description​

出典:九州大学公式問題。

複素関数 w(z)=z−1z+1w(z) = \frac{z-1}{z+1} を考える. ただし, z=x+iyz=x+iy , i=−1i = \sqrt{-1} , xx と yy は実数である. 次の各問に答えよ.

(1) w(z)=u(x,y)+iv(x,y)w(z) = u(x, y) + iv(x, y) で表されるとき, u(x,y)u(x,y) と v(x,y)v(x, y) を求めよ. ただし, u(x,y)u(x,y) と v(x,y)v(x, y) は実数値関数である.

(2) 以下の領域 AA の関数 w(z)w(z) による像 w(A)={w(z)∣z∈A}w(A) = \{w(z) | z \in A\} を複素平面上に図示せよ. (a) A={z∈C∣x=0}A = \{z \in \mathbb{C} | x = 0\} , (b) A={z∈C∣x=1}A = \{z \in \mathbb{C} | x = 1\} , (c) A={z∈C∣y=0,x≥0}A = \{z \in \mathbb{C} | y = 0, x \geq 0\}

题目描述​

考虑 Möbius 变换

w(z)=z−1z+1,z≠−1.w(z)=\frac{z-1}{z+1},\qquad z\ne-1.

令 z=x+iyz=x+iy,其中 x,yx,y 为实数,i=−1i=\sqrt{-1}。回答下列问题:

  1. 若

    w(z)=u(x,y)+iv(x,y),w(z)=u(x,y)+iv(x,y),

    其中 u,vu,v 为实值函数,求 u(x,y)u(x,y) 与 v(x,y)v(x,y)。

  2. 对下列三个集合 AA,分别在复平面上画出其像

    w(A)={w(z)∣z∈A},w(A)=\{w(z)\mid z\in A\},

    并准确说明像曲线中包含或不包含的端点:

    1. A={z∈C∣x=0}A=\{z\in\mathbb C\mid x=0\};
    2. A={z∈C∣x=1}A=\{z\in\mathbb C\mid x=1\};
    3. A={z∈C∣y=0, x≥0}A=\{z\in\mathbb C\mid y=0,\ x\ge0\}。

Kai​

(1) w(z)=z−1z+1=x+iy−1x+iy+1=(x−1)+iy(x+1)+iy=((x−1)+iy)((x+1)−iy)((x+1)+iy)((x+1)−iy)=(x−1)(x+1)+y2+iy(x+1)−iy(x−1)(x+1)2+y2=x2−1+y2+i(2y)(x+1)2+y2=x2+y2−1(x+1)2+y2+i2y(x+1)2+y2w(z) = \frac{z-1}{z+1} = \frac{x+iy-1}{x+iy+1} = \frac{(x-1)+iy}{(x+1)+iy} = \frac{((x-1)+iy)((x+1)-iy)}{((x+1)+iy)((x+1)-iy)} = \frac{(x-1)(x+1) + y^2 + iy(x+1) - iy(x-1)}{(x+1)^2 + y^2} = \frac{x^2 - 1 + y^2 + i(2y)}{(x+1)^2 + y^2} = \frac{x^2 + y^2 - 1}{(x+1)^2 + y^2} + i\frac{2y}{(x+1)^2 + y^2}

従って, u(x,y)=x2+y2−1(x+1)2+y2u(x,y) = \frac{x^2 + y^2 - 1}{(x+1)^2 + y^2} , v(x,y)=2y(x+1)2+y2v(x,y) = \frac{2y}{(x+1)^2 + y^2} .

(2) (a) A={z∈C∣x=0}A = \{z \in \mathbb{C} | x = 0\} , z=iyz = iy . Therefore w(z)=w(iy)=y2−1(0+1)2+y2+i2y(0+1)2+y2=y2−11+y2+i2y1+y2w(z) = w(iy) = \frac{y^2 - 1}{(0+1)^2 + y^2} + i\frac{2y}{(0+1)^2 + y^2} = \frac{y^2-1}{1+y^2} + i\frac{2y}{1+y^2} . Let w=u+ivw = u + iv , then u=y2−11+y2u = \frac{y^2-1}{1+y^2} , v=2y1+y2v = \frac{2y}{1+y^2} . u2+v2=(y2−1y2+1)2+(2yy2+1)2=(y2−1)2+4y2(y2+1)2=y4−2y2+1+4y2(y2+1)2=y4+2y2+1(y2+1)2=(y2+1)2(y2+1)2=1u^2 + v^2 = (\frac{y^2-1}{y^2+1})^2 + (\frac{2y}{y^2+1})^2 = \frac{(y^2-1)^2 + 4y^2}{(y^2+1)^2} = \frac{y^4 -2y^2 + 1 + 4y^2}{(y^2+1)^2} = \frac{y^4 + 2y^2 + 1}{(y^2+1)^2} = \frac{(y^2+1)^2}{(y^2+1)^2} = 1 . Thus, w(A)w(A) is the unit circle centered at the origin, except for w=1w = 1 . w(A)={w∈C∣∣w∣=1,w≠1}w(A) = \{w \in \mathbb{C} | |w|=1, w \neq 1\} .

(b) A={z∈C∣x=1}A = \{z \in \mathbb{C} | x = 1\} , z=1+iyz = 1+iy とする。このとき

w(z)=iy2+iy=y24+y2+i2y4+y2.w(z)=\frac{iy}{2+iy} =\frac{y^2}{4+y^2}+i\frac{2y}{4+y^2}.

従って w=u+ivw=u+iv とおけば

u=y24+y2,v=2y4+y2,u=\frac{y^2}{4+y^2},\qquad v=\frac{2y}{4+y^2},

であり、直接計算して

(u−12)2+v2=14\left(u-\frac12\right)^2+v^2=\frac14

を得る。 y=0y=0 では w=0w=0 なので原点は含まれる。一方、有限の実数 yy に対して u<1u<1 であり、 w=1w=1 は ∣y∣→∞|y|\to\infty の極限にすぎない。よって

w(A)={w=u+iv:(u−12)2+v2=14, w≠1}.w(A)=\left\{w=u+iv:\left(u-\frac12\right)^2+v^2=\frac14,\ w\ne1\right\}.

これは中心 1/21/2 、半径 1/21/2 の円から点 w=1w=1 を除いたものである。

(c) A={z∈C∣y=0,x≥0}A = \{z \in \mathbb{C} | y = 0, x \geq 0\} , z=xz = x . Then w(z)=x−1x+1w(z) = \frac{x-1}{x+1} . Since x≥0x \geq 0 , then −1≤x−1x+1<1-1 \leq \frac{x-1}{x+1} < 1 . Hence, w(A)={w∈R∣−1≤w<1}w(A) = \{w \in \mathbb{R} | -1 \leq w < 1 \} .

以下の図では、白丸は除外する点、黒丸は含む点を表す。

三つの集合の像と端点