跳到主要内容

東京大学 工学系研究科 2020年8月実施 数学1

Author

Miyake, 祭音Myyura

Description

2021年度大学院入学試験問題 数学 1 ( 主に微分積分・微分方程式)

题目描述

原 Description 仅提供 2021 年“数学 1”原卷链接,具体题干缺失。根据本地 Kai,能够唯一确认以下内容:

  1. 第一部分包括三项计算:

    • y(x)=(arccosx)logxy(x)=(\arccos x)^{\log x} 的导数;

    • 对实参数 pp,分别在 p=0p=0p0p\ne0 时计算

      x2+x+2x3px2dx;\int\frac{x^2+x+2}{x^3-px^2}\,\mathrm dx;
    • 0θ<π/20\le\theta<\pi/2,计算

      I=0sinθarctan(arcsinx)1x2dx.I=\int_0^{\sin\theta} \frac{\arctan(\arcsin x)}{\sqrt{1-x^2}}\,\mathrm dx.
  2. 第二部分涉及由复函数 p(x),q(x)p(x),q(x) 构造的 f(x),g(x)f(x),g(x)。Kai 使用

    f=iafibg,g=ibfiagf' = iaf-ibg,\qquad g'=-ibf-iag

    并要求证明 f(x)2+g(x)2|f(x)|^2+|g(x)|^2xx 无关;最后在 a=0.8,b=0.6,f(0)=1,g(0)=0a=0.8,b=0.6,f(0)=1,g(0)=0 下求解该方程组。

Kai

I.

1.

y(x)=(arccosx)logx=elogxlog(arccosx)\begin{aligned} y(x) &= (\arccos x)^{\log x} \\ &= e^{\log x \cdot \log (\arccos x)} \end{aligned}

なので、

dy(x)dx=(arccosx)logxddx(logxlog(arccosx))=(arccosx)logx(1xlog(arccosx)+logx11x2arccosx)=(arccosx)logx(log(arccosx)xlogxarccosx1x2)\begin{aligned} \frac{dy(x)}{dx} &= (\arccos x)^{\log x} \cdot \frac{d}{dx} \left( \log x \cdot \log (\arccos x) \right) \\ &= (\arccos x)^{\log x} \left( \frac{1}{x} \cdot \log (\arccos x) + \log x \cdot \frac{-\frac{1}{\sqrt{1-x^2}}}{\arccos x} \right) \\ &= (\arccos x)^{\log x} \left( \frac{\log (\arccos x)}{x} - \frac{\log x}{\arccos x \sqrt{1-x^2}} \right) \end{aligned}

解説: 関数 y(x)y(x)

y(x)=f(x)g(x)y(x)=f(x)^{g(x)}

という形をしているので,対数微分を行うことにより導関数を求めることができます.

2.

積分定数を CC で表す。

p=0p=0 のときは、

x2+x+2x3dx=(1x+1x2+2x3)dx=logx1x1x2+C\begin{aligned} \int \frac{x^2+x+2}{x^3} dx &= \int \left( \frac{1}{x} + \frac{1}{x^2} + \frac{2}{x^3} \right) dx \\ &= \log |x| - \frac{1}{x} - \frac{1}{x^2} + C \end{aligned}

であり、 p0p \ne 0 のときは、

x2+x+2x3px2dx=x2+x+2x2(xp)dx=1p2(p+2x2px2+p2+p+2xp)dx=1p2((p+2)logx+2px+(p2+p+2)logxp)+C\begin{aligned} \int \frac{x^2+x+2}{x^3-px^2} dx &= \int \frac{x^2+x+2}{x^2(x-p)} dx \\ &= \frac{1}{p^2} \int \left( - \frac{p+2}{x} - \frac{2p}{x^2} + \frac{p^2+p+2}{x-p} \right) dx \\ &= \frac{1}{p^2} \left( - (p+2) \log |x| + \frac{2p}{x} + (p^2+p+2) \log |x-p| \right) + C \end{aligned}

である。

3.

x=sinϕ  (0ϕθ<π/2)x = \sin \phi \ \ (0 \leq \phi \leq \theta \lt \pi/2) とすると、 dx=cosϕdϕdx = \cos \phi d \phi なので、

I=0sinθarctan(arcsinx)1x2dx=0θarctanϕcosϕcosϕdϕ=0θarctanϕdϕ=[ϕarctanϕ]0θ0θϕ1+ϕ2dϕ=θarctanθ12[log(1+ϕ2)]0θ=θarctanθ12log(1+θ2)\begin{aligned} I &= \int_0^{\sin \theta} \frac{\arctan(\arcsin x)}{\sqrt{1-x^2}} dx \\ &= \int_0^\theta \frac{\arctan \phi}{\cos \phi} \cdot \cos \phi d \phi \\ &= \int_0^\theta \arctan \phi d \phi \\ &= \left[ \phi \arctan \phi \right]_0^\theta - \int_0^\theta \frac{\phi}{1+\phi^2} d \phi \\ &= \theta \arctan \theta - \frac{1}{2} \left[ \log \left(1 + \phi^2 \right) \right]_0^\theta \\ &= \theta \arctan \theta - \frac{1}{2} \log \left(1 + \theta^2 \right) \end{aligned}

を得る。

II.

1.

df(x)dx=dp(x)dxexp(iax)+iap(x)exp(iax)=ibq(x)exp(iax)+iap(x)exp(iax)=iaf(x)ibg(x)dg(x)dx=dq(x)dxexp(iax)iaq(x)exp(iax)=ibp(x)exp(iax)iaq(x)exp(iax)=ibf(x)iag(x)\begin{aligned} \frac{df(x)}{dx} &= \frac{dp(x)}{dx} \exp (iax) + iap(x) \exp (iax) \\ &= -ibq(x) \exp (-iax) + iap(x) \exp (iax) \\ &= iaf(x) - ibg(x) \\ \frac{dg(x)}{dx} &= \frac{dq(x)}{dx} \exp (-iax) - iaq(x) \exp (-iax) \\ &= -ibp(x) \exp (iax) - iaq(x) \exp (-iax) \\ &= -ibf(x) - iag(x) \end{aligned}

2.

複素数 AA の複素共役を Aˉ\bar{A} で表す。

ddxf(x)2=df(x)dxf(x)+f(x)df(x)dx=(iaf(x)+ibg(x))f(x)+f(x)(iaf(x)ibg(x))ddxg(x)2=dg(x)dxg(x)+g(x)dg(x)dx=(ibf(x)+iag(x))g(x)+g(x)(ibf(x)iag(x))\begin{aligned} \frac{d}{dx} \left| f(x) \right|^2 &= \frac{d \overline{f(x)}}{dx} \cdot f(x) + \overline{f(x)} \cdot \frac{df(x)}{dx} \\ &= \left( - ia \overline{f(x)} + ib \overline{g(x)} \right) f(x) + \overline{f(x)} \left( ia f(x) - ib g(x) \right) \\ \frac{d}{dx} \left| g(x) \right|^2 &= \frac{d \overline{g(x)}}{dx} \cdot g(x) + \overline{g(x)} \cdot \frac{dg(x)}{dx} \\ &= \left( ib \overline{f(x)} + ia \overline{g(x)} \right) g(x) + \overline{g(x)} \left( -ib f(x) - ia g(x) \right) \end{aligned}

なので、

ddx(f(x)2+g(x)2)=0\begin{aligned} \frac{d}{dx} \left( \left| f(x) \right|^2 + \left| g(x) \right|^2 \right) = 0 \end{aligned}

がわかる。つまり、 f(x)2+g(x)2\left| f(x) \right|^2 + \left| g(x) \right|^2xx に依存しない。

3.

u=(f,g)T\boldsymbol{u}=(f,g)^T とおくと

u=i(4/53/53/54/5)u.\boldsymbol{u}' =i\begin{pmatrix}4/5&-3/5\\-3/5&-4/5\end{pmatrix}\boldsymbol{u}.

右辺の実行列の二乗は単位行列なので、初期条件より

f(x)=cosx+4i5sinx,g(x)=3i5sinx.\begin{aligned} f(x)&=\cos x+\frac{4i}{5}\sin x,\\ g(x)&=-\frac{3i}{5}\sin x. \end{aligned}