跳到主要内容

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

Author

Miyake

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 无关;但 p,q,f,gp,q,f,g 在原题中的完整定义和参数条件未保存在本地,不能进一步补写。

考点

  • 对数求导:把变底变指数函数写成指数形式,求出 (arccosx)logx(\arccos x)^{\log x} 的导数。
  • 部分分式积分:按参数 pp 是否为零分类分解有理函数并积分。
  • 换元与分部积分:先令 x=sinϕx=\sin\phi 消去根式,再对 arctanϕ\arctan\phi 积分。
  • 复常微分方程的不变量:由耦合方程及其共轭式证明平方模之和的导数为零。

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+p2xp)dx=1p2((p+2)logx+2px+(p2+p2)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 に依存しない。