東京大学 工学系研究科 2020年8月実施 数学1
Author
Miyake, 祭音Myyura
Description
公式原題
- 0<x<1、0<arccosx<π/2 における y=(arccosx)logx の導関数を求める。
- 実定数 p に対し ∫(x2+x+2)/(x3−px2)dx を計算する。
- 0<θ<π/2 に対し
∫0sinθ1−x2arctan(arcsinx)dx
を求める。
II.
実定数 a,b と複素数値関数 p,q が
p′=−ibqe−2iax,q′=−ibpe2iax
を満たす。
- f=peiax、g=qe−iax と変換して f,g の連立微分方程式を導く。
- ∣f∣2+∣g∣2 が x に依存しないことを示す。
- a=0.8,b=0.6,f(0)=1,g(0)=0 の場合の f,g を求める。
题目描述
-
第一部分包括三项计算:
-
在 0<x<1、0<arccosx<π/2 内求 y(x)=(arccosx)logx 的导数;
-
对实参数 p,分别在 p=0 与 p=0 时计算
∫x3−px2x2+x+2dx;
-
对 0<θ<π/2,计算
I=∫0sinθ1−x2arctan(arcsinx)dx.
-
第二部分设 a,b 为实常数,复函数满足 p′=−ibqe−2iax、q′=−ibpe2iax。令 f=peiax、g=qe−iax,先导出
f′=iaf−ibg,g′=−ibf−iag
并要求证明 ∣f(x)∣2+∣g(x)∣2 与 x 无关;最后在 a=0.8,b=0.6,f(0)=1,g(0)=0 下求解该方程组。
Kai
y(x)=(arccosx)logx=elogx⋅log(arccosx)
なので、
dxdy(x)=(arccosx)logx⋅dxd(logx⋅log(arccosx))=(arccosx)logx(x1⋅log(arccosx)+logx⋅arccosx−1−x21)=(arccosx)logx(xlog(arccosx)−arccosx1−x2logx)
解説:
関数 y(x) は
y(x)=f(x)g(x)
という形をしているので,対数微分を行うことにより導関数を求めることができます.
積分定数を C で表す。
p=0 のときは、
∫x3x2+x+2dx=∫(x1+x21+x32)dx=log∣x∣−x1−x21+C
であり、 p=0 のときは、
∫x3−px2x2+x+2dx=∫x2(x−p)x2+x+2dx=p21∫(−xp+2−x22p+x−pp2+p+2)dx=p21(−(p+2)log∣x∣+x2p+(p2+p+2)log∣x−p∣)+C
である。
x=sinϕ (0≤ϕ≤θ<π/2) とすると、
dx=cosϕdϕ なので、
I=∫0sinθ1−x2arctan(arcsinx)dx=∫0θcosϕarctanϕ⋅cosϕdϕ=∫0θarctanϕdϕ=[ϕarctanϕ]0θ−∫0θ1+ϕ2ϕdϕ=θarctanθ−21[log(1+ϕ2)]0θ=θarctanθ−21log(1+θ2)
を得る。
II.
dxdf(x)dxdg(x)=dxdp(x)exp(iax)+iap(x)exp(iax)=−ibq(x)exp(−iax)+iap(x)exp(iax)=iaf(x)−ibg(x)=dxdq(x)exp(−iax)−iaq(x)exp(−iax)=−ibp(x)exp(iax)−iaq(x)exp(−iax)=−ibf(x)−iag(x)
複素数 A の複素共役を Aˉ で表す。
dxd∣f(x)∣2dxd∣g(x)∣2=dxdf(x)⋅f(x)+f(x)⋅dxdf(x)=(−iaf(x)+ibg(x))f(x)+f(x)(iaf(x)−ibg(x))=dxdg(x)⋅g(x)+g(x)⋅dxdg(x)=(ibf(x)+iag(x))g(x)+g(x)(−ibf(x)−iag(x))
なので、
dxd(∣f(x)∣2+∣g(x)∣2)=0
がわかる。つまり、
∣f(x)∣2+∣g(x)∣2
は x に依存しない。
u=(f,g)T とおくと
u′=i(4/5−3/5−3/5−4/5)u.
右辺の実行列の二乗は単位行列なので、初期条件より
f(x)g(x)=cosx+54isinx,=−53isinx.