次の複素関数が微分可能であれば、微分して導関数 $f'(z)$ を求めよ。 (1) $f(z) = x^2 + x - y^2 + i(2xy + y)$ (2) $f(z) = e^z$ (3) $f(z) = e^x \cos y - i e^x \sin y$ (4) $f(z) = z^3 - 2z$ (5) $f(z) = \frac{1+z}{1-z}$

解析学複素関数微分コーシー・リーマンの関係式導関数
2025/4/30
はい、承知しました。問題を解いていきます。

1. 問題の内容

次の複素関数が微分可能であれば、微分して導関数 f(z)f'(z) を求めよ。
(1) f(z)=x2+xy2+i(2xy+y)f(z) = x^2 + x - y^2 + i(2xy + y)
(2) f(z)=ezf(z) = e^z
(3) f(z)=excosyiexsinyf(z) = e^x \cos y - i e^x \sin y
(4) f(z)=z32zf(z) = z^3 - 2z
(5) f(z)=1+z1zf(z) = \frac{1+z}{1-z}

2. 解き方の手順

(1) f(z)=x2+xy2+i(2xy+y)f(z) = x^2 + x - y^2 + i(2xy + y) について。
f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + i v(x,y) とすると、
u(x,y)=x2+xy2u(x,y) = x^2 + x - y^2, v(x,y)=2xy+yv(x,y) = 2xy + y
コーシー・リーマンの関係式 ux=vyu_x = v_y, uy=vxu_y = -v_x を確認する。
ux=2x+1u_x = 2x + 1, uy=2yu_y = -2y
vx=2yv_x = 2y, vy=2x+1v_y = 2x + 1
ux=vyu_x = v_y は成り立つ。しかし、uy=vxu_y = -v_x2y=2y-2y = -2yとなり、常に成り立つ。
f(z)=ux+ivx=2x+1+i(2y)=2(x+iy)+1=2z+1f'(z) = u_x + iv_x = 2x + 1 + i(2y) = 2(x + iy) + 1 = 2z + 1.
(2) f(z)=ezf(z) = e^z について。
f(z)=ex+iy=ex(cosy+isiny)=excosy+iexsinyf(z) = e^{x+iy} = 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=excosyu_x = e^x \cos y, uy=exsinyu_y = -e^x \sin y.
vx=exsinyv_x = e^x \sin y, vy=excosyv_y = e^x \cos y.
コーシー・リーマンの関係式 ux=vyu_x = v_y, uy=vxu_y = -v_x を確認する。
excosy=excosye^x \cos y = e^x \cos y, exsiny=exsiny-e^x \sin y = -e^x \sin y が成り立つ。
f(z)=ux+ivx=excosy+iexsiny=ex(cosy+isiny)=ex+iy=ezf'(z) = u_x + iv_x = e^x \cos y + i e^x \sin y = e^x(\cos y + i \sin y) = e^{x+iy} = e^z.
(3) f(z)=excosyiexsinyf(z) = 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=excosyu_x = e^x \cos y, uy=exsinyu_y = -e^x \sin y.
vx=exsinyv_x = -e^x \sin y, vy=excosyv_y = -e^x \cos y.
コーシー・リーマンの関係式 ux=vyu_x = v_y, uy=vxu_y = -v_x を確認する。
excosy=excosye^x \cos y = -e^x \cos y は一般には成り立たない。
exsiny=exsiny-e^x \sin y = e^x \sin y は一般には成り立たない。
よって、微分不可能。
(4) f(z)=z32zf(z) = z^3 - 2z について。
f(z)=(x+iy)32(x+iy)=x3+3x2(iy)+3x(iy)2+(iy)32x2iy=x3+3ix2y3xy2iy32x2iy=(x33xy22x)+i(3x2yy32y)f(z) = (x+iy)^3 - 2(x+iy) = x^3 + 3x^2(iy) + 3x(iy)^2 + (iy)^3 - 2x - 2iy = x^3 + 3ix^2y - 3xy^2 - iy^3 - 2x - 2iy = (x^3 - 3xy^2 - 2x) + i(3x^2y - y^3 - 2y).
u(x,y)=x33xy22xu(x,y) = x^3 - 3xy^2 - 2x, v(x,y)=3x2yy32yv(x,y) = 3x^2y - y^3 - 2y.
ux=3x23y22u_x = 3x^2 - 3y^2 - 2, uy=6xyu_y = -6xy.
vx=6xyv_x = 6xy, vy=3x23y22v_y = 3x^2 - 3y^2 - 2.
コーシー・リーマンの関係式 ux=vyu_x = v_y, uy=vxu_y = -v_x を確認する。
3x23y22=3x23y223x^2 - 3y^2 - 2 = 3x^2 - 3y^2 - 2, 6xy=6xy-6xy = -6xy が成り立つ。
f(z)=ux+ivx=3x23y22+i(6xy)=3(x2y2+2ixy)2=3(x+iy)22=3z22f'(z) = u_x + iv_x = 3x^2 - 3y^2 - 2 + i(6xy) = 3(x^2 - y^2 + 2ixy) - 2 = 3(x+iy)^2 - 2 = 3z^2 - 2.
(5) f(z)=1+z1zf(z) = \frac{1+z}{1-z} について。
f(z)=1+z1z=(1+z)(1zˉ)(1z)(1zˉ)=1zˉ+zzzˉ1zzˉ+zzˉ=1(xiy)+(x+iy)(x2+y2)1(x+iy)(xiy)+(x2+y2)=1x+iy+x+iyx2y21xiyx+iy+x2+y2=1x2y2+2iy12x+x2+y2f(z) = \frac{1+z}{1-z} = \frac{(1+z)(1-\bar{z})}{(1-z)(1-\bar{z})} = \frac{1 - \bar{z} + z - z\bar{z}}{1 - z - \bar{z} + z\bar{z}} = \frac{1 - (x-iy) + (x+iy) - (x^2+y^2)}{1 - (x+iy) - (x-iy) + (x^2+y^2)} = \frac{1 - x + iy + x + iy - x^2 - y^2}{1 - x - iy - x + iy + x^2 + y^2} = \frac{1 - x^2 - y^2 + 2iy}{1 - 2x + x^2 + y^2}.
u(x,y)=1x2y212x+x2+y2u(x,y) = \frac{1 - x^2 - y^2}{1 - 2x + x^2 + y^2}, v(x,y)=2y12x+x2+y2v(x,y) = \frac{2y}{1 - 2x + x^2 + y^2}.
f(z)=(1z)(1+z)(1)(1z)2=1z+1+z(1z)2=2(1z)2f'(z) = \frac{(1-z) - (1+z)(-1)}{(1-z)^2} = \frac{1 - z + 1 + z}{(1-z)^2} = \frac{2}{(1-z)^2}.

3. 最終的な答え

(1) f(z)=2z+1f'(z) = 2z + 1
(2) f(z)=ezf'(z) = e^z
(3) 微分不可能
(4) f(z)=3z22f'(z) = 3z^2 - 2
(5) f(z)=2(1z)2f'(z) = \frac{2}{(1-z)^2}

「解析学」の関連問題

与えられた積分 $\int xe^{-2x} dx$ を計算します。

積分部分積分指数関数
2025/4/30

関数 $f(x)=(x-1)^2(x+1)^2$ について、以下の問いに答えます。 (1) 関数 $y=f(x)$ の増減および極値を調べて、そのグラフの概形を描きます。 (2) $t$ を定数とする...

関数の増減極値接線グラフ微分
2025/4/30

$\int x^2 e^x dx$ を計算せよ。つまり、$x^2 e^x$ の不定積分を求めよ。

積分不定積分部分積分
2025/4/30

$\int \frac{\cos x}{1 - \sin x} dx$ を計算せよ。

積分置換積分三角関数
2025/4/30

実数 $a, b$ を用いて定義される3次関数 $f(x) = x^3 + 3ax^2 + 3bx$ について、以下の問いに答える問題です。 (1) $f(x)$ が極大値と極小値を持つための $a,...

三次関数極大値極小値微分判別式グラフ
2025/4/30

与えられた積分 $\int x^2 e^{-x^3} dx$ を計算します。

積分置換積分指数関数
2025/4/30

次の和 $S$ を求めよ。 $S = 1 \cdot 1 + 2 \cdot 3 + 3 \cdot 3^2 + \cdots + n \cdot 3^{n-1}$

級数等比数列
2025/4/30

$y = x^2$ のグラフと2点で直交するような $x$ の2次関数を全て求めよ。ただし、2つの関数のグラフがある点で直交するとは、その点が2つのグラフの共有点であり、かつ接線同士が直交することを言...

微分直交二次関数導関数解と係数の関係
2025/4/30

曲線 $y = \log x$ について、次の接線の方程式を求める問題です。 (1) 傾きが $e$ である接線の方程式 (2) 原点を通る接線の方程式

対数関数微分接線微分法
2025/4/30

曲線 $y = e^x$ について、以下の条件を満たす接線の方程式を求める。 (1) 傾きが 1 である (2) 原点を通る

微分接線指数関数
2025/4/30