与えられた複素関数 $f(z)$ が微分可能(正則)であるかどうかをコーシー・リーマンの関係式を用いて判定し、微分可能であれば導関数 $f'(z)$ を求めよ。ただし、$z = x + iy = r(\cos \theta + i \sin \theta)$ とする。与えられた関数は以下の通りです。 (1) $f(z) = (x^2 - y^2 + 2y + 3) + i(2xy - 2x)$ (2) $f(z) = \frac{z - \bar{z}}{2i}$ (3) $f(z) = |z|^2$ (4) $f(z) = \bar{z}$ (5) $f(z) = z + \bar{z}$ (6) $f(z) = e^x (\cos y + i \sin y)$ (7) $f(z) = \frac{y + ix}{x^2 + y^2}$, ただし $(x, y) \neq (0, 0)$ (8) $f(z) = \frac{x - iy}{x + iy}$, ただし $(x, y) \neq (0, 0)$ (9) $f(z) = \frac{|z|^2}{z}$, ただし $(x, y) \neq (0, 0)$ (10) $f(z) = r \cos \theta$ (11) $f(z) = r^2 (\cos 2\theta + i \sin 2\theta)$ (12) $f(z) = x^2 + iy$ (13) $f(z) = r^3 (\cos 3\theta + i \sin 3\theta)$ (14) $f(z) = (x^2 - y^2 - 2xy) + i(x^2 - y^2 + 2xy)$

解析学複素関数正則性コーシー・リーマンの関係式偏微分
2025/6/20
## 問題の解答

1. **問題の内容**

与えられた複素関数 f(z)f(z) が微分可能(正則)であるかどうかをコーシー・リーマンの関係式を用いて判定し、微分可能であれば導関数 f(z)f'(z) を求めよ。ただし、z=x+iy=r(cosθ+isinθ)z = x + iy = r(\cos \theta + i \sin \theta) とする。与えられた関数は以下の通りです。
(1) f(z)=(x2y2+2y+3)+i(2xy2x)f(z) = (x^2 - y^2 + 2y + 3) + i(2xy - 2x)
(2) f(z)=zzˉ2if(z) = \frac{z - \bar{z}}{2i}
(3) f(z)=z2f(z) = |z|^2
(4) f(z)=zˉf(z) = \bar{z}
(5) f(z)=z+zˉf(z) = z + \bar{z}
(6) f(z)=ex(cosy+isiny)f(z) = e^x (\cos y + i \sin y)
(7) f(z)=y+ixx2+y2f(z) = \frac{y + ix}{x^2 + y^2}, ただし (x,y)(0,0)(x, y) \neq (0, 0)
(8) f(z)=xiyx+iyf(z) = \frac{x - iy}{x + iy}, ただし (x,y)(0,0)(x, y) \neq (0, 0)
(9) f(z)=z2zf(z) = \frac{|z|^2}{z}, ただし (x,y)(0,0)(x, y) \neq (0, 0)
(10) f(z)=rcosθf(z) = r \cos \theta
(11) f(z)=r2(cos2θ+isin2θ)f(z) = r^2 (\cos 2\theta + i \sin 2\theta)
(12) f(z)=x2+iyf(z) = x^2 + iy
(13) f(z)=r3(cos3θ+isin3θ)f(z) = r^3 (\cos 3\theta + i \sin 3\theta)
(14) f(z)=(x2y22xy)+i(x2y2+2xy)f(z) = (x^2 - y^2 - 2xy) + i(x^2 - y^2 + 2xy)

2. **解き方の手順**

コーシー・リーマンの関係式を用いて、各関数が微分可能であるかを判定し、微分可能な場合は導関数を求める。
関数 f(z)=u(x,y)+iv(x,y)f(z) = u(x, y) + iv(x, y) が与えられたとき、コーシー・リーマンの関係式は以下の通りです。
ux=vy\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} かつ uy=vx\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}
これらの関係式が成り立つとき、f(z)f(z) は微分可能です。微分可能な場合、導関数は以下のように求められます。
f(z)=ux+ivx=vyiuyf'(z) = \frac{\partial u}{\partial x} + i \frac{\partial v}{\partial x} = \frac{\partial v}{\partial y} - i \frac{\partial u}{\partial y}
各関数について、偏微分を計算し、コーシー・リーマンの関係式が成り立つかどうかを検証します。

3. **最終的な答え**

以下に各問題に対する解答を示します。
(1) f(z)=(x2y2+2y+3)+i(2xy2x)f(z) = (x^2 - y^2 + 2y + 3) + i(2xy - 2x)
u(x,y)=x2y2+2y+3u(x, y) = x^2 - y^2 + 2y + 3
v(x,y)=2xy2xv(x, y) = 2xy - 2x
ux=2x\frac{\partial u}{\partial x} = 2x
vy=2x\frac{\partial v}{\partial y} = 2x
uy=2y+2\frac{\partial u}{\partial y} = -2y + 2
vx=2y2\frac{\partial v}{\partial x} = 2y - 2
コーシー・リーマンの関係式が成り立つので、微分可能である。
f(z)=2x+i(2y2)=2(x+iy)2i=2z2if'(z) = 2x + i(2y - 2) = 2(x + iy) - 2i = 2z - 2i
(2) f(z)=zzˉ2if(z) = \frac{z - \bar{z}}{2i}
z=x+iyz = x + iy, zˉ=xiy\bar{z} = x - iy
f(z)=(x+iy)(xiy)2i=2iy2i=yf(z) = \frac{(x + iy) - (x - iy)}{2i} = \frac{2iy}{2i} = y
f(z)=0+iyf(z) = 0 + iy
u(x,y)=0u(x, y) = 0
v(x,y)=yv(x, y) = y
ux=0\frac{\partial u}{\partial x} = 0
vy=1\frac{\partial v}{\partial y} = 1
uy=0\frac{\partial u}{\partial y} = 0
vx=0\frac{\partial v}{\partial x} = 0
コーシー・リーマンの関係式が成り立たないので、微分不可能である。
(3) f(z)=z2=x2+y2f(z) = |z|^2 = x^2 + y^2
u(x,y)=x2+y2u(x, y) = x^2 + y^2
v(x,y)=0v(x, y) = 0
ux=2x\frac{\partial u}{\partial x} = 2x
vy=0\frac{\partial v}{\partial y} = 0
uy=2y\frac{\partial u}{\partial y} = 2y
vx=0\frac{\partial v}{\partial x} = 0
コーシー・リーマンの関係式は、x=0x = 0 かつ y=0y = 0のときのみ成り立つので、微分不可能である。
(4) f(z)=zˉ=xiyf(z) = \bar{z} = x - iy
u(x,y)=xu(x, y) = x
v(x,y)=yv(x, y) = -y
ux=1\frac{\partial u}{\partial x} = 1
vy=1\frac{\partial v}{\partial y} = -1
uy=0\frac{\partial u}{\partial y} = 0
vx=0\frac{\partial v}{\partial x} = 0
コーシー・リーマンの関係式が成り立たないので、微分不可能である。
(5) f(z)=z+zˉ=(x+iy)+(xiy)=2xf(z) = z + \bar{z} = (x + iy) + (x - iy) = 2x
u(x,y)=2xu(x, y) = 2x
v(x,y)=0v(x, y) = 0
ux=2\frac{\partial u}{\partial x} = 2
vy=0\frac{\partial v}{\partial y} = 0
uy=0\frac{\partial u}{\partial y} = 0
vx=0\frac{\partial v}{\partial x} = 0
コーシー・リーマンの関係式が成り立たないので、微分不可能である。
(6) f(z)=ex(cosy+isiny)=excosy+iexsinyf(z) = e^x (\cos y + i \sin y) = e^x \cos y + i e^x \sin y
u(x,y)=excosyu(x, y) = e^x \cos y
v(x,y)=exsinyv(x, y) = e^x \sin y
ux=excosy\frac{\partial u}{\partial x} = e^x \cos y
vy=excosy\frac{\partial v}{\partial y} = e^x \cos y
uy=exsiny\frac{\partial u}{\partial y} = -e^x \sin y
vx=exsiny\frac{\partial v}{\partial x} = e^x \sin y
コーシー・リーマンの関係式が成り立つので、微分可能である。
f(z)=excosy+iexsiny=ex(cosy+isiny)=f(z)f'(z) = e^x \cos y + i e^x \sin y = e^x (\cos y + i \sin y) = f(z)
(7) f(z)=y+ixx2+y2f(z) = \frac{y + ix}{x^2 + y^2}
u(x,y)=yx2+y2u(x, y) = \frac{y}{x^2 + y^2}
v(x,y)=xx2+y2v(x, y) = \frac{x}{x^2 + y^2}
ux=2xy(x2+y2)2\frac{\partial u}{\partial x} = -\frac{2xy}{(x^2 + y^2)^2}
vy=2xy(x2+y2)2\frac{\partial v}{\partial y} = -\frac{2xy}{(x^2 + y^2)^2}
uy=x2y2(x2+y2)2\frac{\partial u}{\partial y} = \frac{x^2 - y^2}{(x^2 + y^2)^2}
vx=y2x2(x2+y2)2\frac{\partial v}{\partial x} = \frac{y^2 - x^2}{(x^2 + y^2)^2}
コーシー・リーマンの関係式が成り立つので、微分可能である。
f(z)=2xy(x2+y2)2+iy2x2(x2+y2)2f'(z) = -\frac{2xy}{(x^2 + y^2)^2} + i\frac{y^2 - x^2}{(x^2 + y^2)^2}
(8) f(z)=xiyx+iy=(xiy)2(x+iy)(xiy)=x2y22ixyx2+y2f(z) = \frac{x - iy}{x + iy} = \frac{(x - iy)^2}{(x + iy)(x - iy)} = \frac{x^2 - y^2 - 2ixy}{x^2 + y^2}
u(x,y)=x2y2x2+y2u(x, y) = \frac{x^2 - y^2}{x^2 + y^2}
v(x,y)=2xyx2+y2v(x, y) = -\frac{2xy}{x^2 + y^2}
ux=2x(x2+y2)2x(x2y2)(x2+y2)2=4xy2(x2+y2)2\frac{\partial u}{\partial x} = \frac{2x(x^2 + y^2) - 2x(x^2 - y^2)}{(x^2 + y^2)^2} = \frac{4xy^2}{(x^2 + y^2)^2}
vy=2x(x2+y2)2y(2xy)(x2+y2)2=2x32xy2(x2+y2)2\frac{\partial v}{\partial y} = -\frac{2x(x^2 + y^2) - 2y(-2xy)}{(x^2 + y^2)^2} = -\frac{2x^3 -2xy^2}{(x^2 + y^2)^2}
コーシー・リーマンの関係式が成り立たないので、微分不可能である。
(9) f(z)=z2z=x2+y2x+iy=(x2+y2)(xiy)(x+iy)(xiy)=(x2+y2)(xiy)x2+y2=xiy=zˉf(z) = \frac{|z|^2}{z} = \frac{x^2+y^2}{x+iy} = \frac{(x^2+y^2)(x-iy)}{(x+iy)(x-iy)} = \frac{(x^2+y^2)(x-iy)}{x^2+y^2} = x-iy = \bar{z}
これは問題4と同じなので、微分不可能である。
(10) f(z)=rcosθ=xf(z) = r \cos \theta = x
f(z)=x+i0f(z) = x + i0
u(x,y)=xu(x,y) = x, v(x,y)=0v(x,y) = 0
ux=1\frac{\partial u}{\partial x} = 1, uy=0\frac{\partial u}{\partial y} = 0
vx=0\frac{\partial v}{\partial x} = 0, vy=0\frac{\partial v}{\partial y} = 0
コーシー・リーマンの関係式が成り立たないので、微分不可能である。
(11) f(z)=r2(cos2θ+isin2θ)=z2/r2r2=z2=(x+iy)2=x2y2+2ixyf(z) = r^2 (\cos 2\theta + i \sin 2\theta) = z^2 / r^2 * r^2 = z^2 = (x+iy)^2 = x^2 - y^2 + 2ixy
u(x,y)=x2y2u(x, y) = x^2 - y^2
v(x,y)=2xyv(x, y) = 2xy
ux=2x\frac{\partial u}{\partial x} = 2x
vy=2x\frac{\partial v}{\partial y} = 2x
uy=2y\frac{\partial u}{\partial y} = -2y
vx=2y\frac{\partial v}{\partial x} = 2y
コーシー・リーマンの関係式が成り立つので、微分可能である。
f(z)=2x+i2y=2(x+iy)=2zf'(z) = 2x + i2y = 2(x + iy) = 2z
(12) f(z)=x2+iyf(z) = x^2 + iy
u(x,y)=x2u(x, y) = x^2
v(x,y)=yv(x, y) = y
ux=2x\frac{\partial u}{\partial x} = 2x
vy=1\frac{\partial v}{\partial y} = 1
uy=0\frac{\partial u}{\partial y} = 0
vx=0\frac{\partial v}{\partial x} = 0
コーシー・リーマンの関係式が成り立たないので、微分不可能である。
(13) f(z)=r3(cos3θ+isin3θ)=(rcosθ+irsinθ)3=(x+iy)3=x33xy2+i(3x2yy3)f(z) = r^3 (\cos 3\theta + i \sin 3\theta) = (r\cos\theta + ir\sin\theta)^3 = (x + iy)^3 = x^3 - 3xy^2 + i(3x^2y - y^3)
u(x,y)=x33xy2u(x, y) = x^3 - 3xy^2
v(x,y)=3x2yy3v(x, y) = 3x^2y - y^3
ux=3x23y2\frac{\partial u}{\partial x} = 3x^2 - 3y^2
vy=3x23y2\frac{\partial v}{\partial y} = 3x^2 - 3y^2
uy=6xy\frac{\partial u}{\partial y} = -6xy
vx=6xy\frac{\partial v}{\partial x} = 6xy
コーシー・リーマンの関係式が成り立つので、微分可能である。
f(z)=3x23y2+i6xy=3(x2y2+i2xy)=3(x+iy)2=3z2f'(z) = 3x^2 - 3y^2 + i6xy = 3(x^2 - y^2 + i2xy) = 3(x+iy)^2 = 3z^2
(14) f(z)=(x2y22xy)+i(x2y2+2xy)f(z) = (x^2 - y^2 - 2xy) + i(x^2 - y^2 + 2xy)
u(x,y)=x2y22xyu(x, y) = x^2 - y^2 - 2xy
v(x,y)=x2y2+2xyv(x, y) = x^2 - y^2 + 2xy
ux=2x2y\frac{\partial u}{\partial x} = 2x - 2y
vy=2y+2x\frac{\partial v}{\partial y} = -2y + 2x
uy=2y2x\frac{\partial u}{\partial y} = -2y - 2x
vx=2x+2y\frac{\partial v}{\partial x} = 2x + 2y
コーシー・リーマンの関係式が成り立つので、微分可能である。
f(z)=(2x2y)+i(2x+2y)=2(xy)+i2(x+y)f'(z) = (2x - 2y) + i(2x + 2y) = 2(x - y) + i2(x + y)

「解析学」の関連問題

$x$軸とのなす角が$\theta$($0 \leq \theta < 2\pi$)である方向を$l$とする。以下の関数$f(x,y)$について、$(0,0)$における方向微分係数$\frac{\pa...

多変数関数方向微分極限
2025/6/20

三角関数の合成により、$(\sqrt{6}-\sqrt{2})\sin\alpha + (\sqrt{6}+\sqrt{2})\cos\alpha$ を $r\sin(\alpha+\beta)$ と...

三角関数三角関数の合成加法定理三角比
2025/6/20

(1) 関数 $f(x, y) = \frac{e^y}{x^2 + y^2}$ の勾配 $\nabla f(1, 2)$ を求めよ。 (2) 関数 $f(x, y) = x^y$ の勾配 $\nab...

偏微分勾配多変数関数
2025/6/20

与えられた関数 $f(x, y)$ に対して、以下の問題を解きます。 (1) $f(x, y) = \frac{e^x}{x^2 + y^2}$ の $\nabla f(1, 2)$ を求めます。 (...

多変数関数勾配偏微分方向微分
2025/6/20

与えられた関数について、指定された点の勾配ベクトルを求めたり、特定の方向における方向微分を求めたりする問題です。具体的には、以下の3つの問題があります。 (1) $f(x, y) = e^y / (x...

偏微分勾配ベクトル方向微分多変数関数
2025/6/20

2重積分 $\iint_D (x+y)^2 dxdy$ を計算します。ここで、$D$ は $x^2 + y^2 \leq 2^2$ で定義される領域、つまり半径2の円板です。

重積分極座標変換積分
2025/6/20

与えられた積分 $\int (\sin x + \sin 2x)^2 dx$ を計算します。

積分三角関数積分の計算
2025/6/20

領域 $D = \{(x, y) | x^2 + y^2 \leq 2x, y \geq 0\}$ 上で、関数 $3y$ を2重積分する問題です。すなわち、 $$ \iint_D 3y\,dx\,dy...

2重積分極座標変換積分計算
2025/6/20

与えられた関数 $f(x, y) = x^3 + x^2y + y^2 + 2y$ に対して、どのような問題を解く必要があるのかが不明です。問題文が途切れているため、どのような操作をすべきか判断できま...

多変数関数関数極値
2025/6/20

$\int (\sin x + \cos x)^2 dx$ を計算してください。

積分三角関数定積分
2025/6/20