跳到主要内容

九州大学 システム情報科学府 情報理工学専攻・電気電子工学専攻 2021年8月実施 解析学・微積分

Author

Miyake

Description

(1) Rm\mathbb{R}^m 上で微分可能な実数値関数 f(x)f(x) (x=(x1,x2,...,xm))(x = (x_1, x_2, ..., x_m)) について、xi=vi(t)x_i = v_i(t) (i=1,2,...,m)(i = 1, 2, ..., m) とおく。ただし、各 viv_iR\mathbb{R} 上で微分可能な関数とする。次の各問いに答えよ。

  • (a) dfdt\frac{df}{dt}fxi\frac{\partial f}{\partial x_i}dvidt\frac{dv_i}{dt} (i=1,2,...,m)(i = 1, 2, ..., m) で表せ。
  • (b) m=2m = 2, f(x)=x12+x1x2+2x22f(x) = x_1^2 + x_1x_2 + 2x_2^2, v1(t)=sintv_1(t) = \sin t, v2(t)=etv_2(t) = e^t のとき、dfdt\frac{df}{dt} を求めよ。

(2) 次の微分方程式の一般解を求めよ。

dydx2xy=ex2 \frac{dy}{dx} - 2xy = e^{x^2}

(3) 閉曲線 CC に沿った複素積分

Ccosz(2zπ)3dz \oint_C \frac{\cos z}{(2z - \pi)^3} dz

を求めよ。ただし、CC は円 z=2|z| = 2 とする。

Kai

(1)

(a)

dfdt=i=1mfxidvidt \begin{aligned} \frac{df}{dt} = \sum_{i=1}^m \frac{\partial f}{\partial x_i} \frac{dv_i}{dt} \end{aligned}

(b)

dfdt=(2x1+x2)cost+(x1+4x2)et \begin{aligned} \frac{df}{dt} = (2x_1+x_2) \cos t + (x_1+4x_2)e^t \end{aligned}

あるいは、 x1,x2x_1, x_2 は使わず tt のみで表すと、

dfdt=sin2t+etcost+etsint+4e2t \begin{aligned} \frac{df}{dt} = \sin 2t + e^t \cos t + e^t \sin t + 4 e^{2t} \end{aligned}

(2)

まず、与えられた微分方程式の右辺を 00 とした方程式

dydx2xy=0 \begin{aligned} \frac{dy}{dx} - 2xy = 0 \end{aligned}

を考えると、これは

dyy=2xdx \begin{aligned} \frac{dy}{y} = 2x dx \end{aligned}

と変形できるので、一般解は、AA を任意定数として、次のように求まる:

y=Aex2. \begin{aligned} y = A e^{x^2} . \end{aligned}

そこで、 AAxx の関数と考えて、 y=A(x)ex2y = A(x)e^{x^2} を与えられた微分方程式に代入すると、

dA(x)dx=1  A(x)=x+C \begin{aligned} \frac{dA(x)}{dx} &= 1 \\ \therefore \ \ A(x) &= x + C \end{aligned}

を得るので、求める一般解は

y=(x+C)ex2 \begin{aligned} y = (x+C) e^{x^2} \end{aligned}

である。 ただし、 CC は任意定数である。

(3)

w=zπ/2w=z-\pi/2 として、次のように w=0w=0 においてローラン展開できる:

cosz(2zπ)3=18sinww3=18w3(w16w3+)=18(1w216+). \begin{aligned} \frac{\cos z}{(2z - \pi)^3} &= - \frac{1}{8} \frac{\sin w}{w^3} \\ &= - \frac{1}{8w^3} \left( w - \frac{1}{6} w^3 + \cdots \right) \\ &= - \frac{1}{8} \left( \frac{1}{w^2} - \frac{1}{6} + \cdots \right) . \end{aligned}

よって、

Ccosz(2πz)2=0 \begin{aligned} \oint_C \frac{\cos z}{(2 \pi - z)^2} = 0 \end{aligned}

がわかる。