跳到主要内容

東京大学 新領域創成科学研究科 先端エネルギー工学専攻 2019年度 第1問(数学)

Author​

祭音Myyura (refined with GPT 6 Astra)

Description​

問1​

次の積分

∫01x(1+x)sin⁡(log⁡x)log⁡x dx(1)\int_0^1\frac{x(1+x)\sin(\log x)}{\log x}\,dx \tag{1}

に関する以下の問に答えよ。ただし log⁡x\log x は自然対数関数,ee は自然対数の底である。

(a) x=e−tx=e^{-t} として式 (1) を tt に関する積分式に変換せよ。

(b) 三角関数 sin⁡t\sin t のラプラス変換 ∫0∞sin⁡t e−st dt\int_0^\infty\sin t\,e^{-st}\,dt を計算せよ。計算の過程も示せ。

(c) 上の (a),(b) の結果を用い,式 (1) で表される積分の値を求めよ。

問2​

以下の微分方程式の一般解をそれぞれ求めよ。ただし log⁡x\log x は自然対数関数,ee は自然対数の底である。

(a)

xdydx−3y=3.x\frac{dy}{dx}-3y=3.

(b)

x3d3ydx3−4x2d2ydx2+8xdydx−8y=x3log⁡x.x^3\frac{d^3y}{dx^3}-4x^2\frac{d^2y}{dx^2} +8x\frac{dy}{dx}-8y=x^3\log x.

(c)

d3ydx3−6d2ydx2+12dydx−8y=6e−x.\frac{d^3y}{dx^3}-6\frac{d^2y}{dx^2} +12\frac{dy}{dx}-8y=6e^{-x}.

题目描述​

问1 对积分

∫01x(1+x)sin⁡(log⁡x)log⁡x dx\int_0^1\frac{x(1+x)\sin(\log x)}{\log x}\,dx

回答下列问题。log⁡\log 表示自然对数,ee 为自然对数的底。

(a) 令 x=e−tx=e^{-t},将原积分化为关于 tt 的积分。

(b) 计算 sin⁡t\sin t 的拉普拉斯变换 ∫0∞sin⁡t e−st dt\int_0^\infty\sin t\,e^{-st}\,dt,并写出计算过程。

(c) 利用 (a)、(b) 的结果求原积分的值。

问2 分别求下列微分方程的一般解,其中 log⁡\log 表示自然对数:

(a)xy′−3y=3,(b)x3y′′′−4x2y′′+8xy′−8y=x3log⁡x,(c)y′′′−6y′′+12y′−8y=6e−x.\begin{aligned} \text{(a)}\quad &xy'-3y=3,\\ \text{(b)}\quad &x^3y'''-4x^2y''+8xy'-8y=x^3\log x,\\ \text{(c)}\quad &y'''-6y''+12y'-8y=6e^{-x}. \end{aligned}

Kai​

問1​

(a)​

x=e−tx=e^{-t} とおくと dx=−e−t dtdx=-e^{-t}\,dt,log⁡x=−t\log x=-t であり,x:0→1x:0\to1 に対して t:∞→0t:\infty\to0 となる。したがって,

∫01x(1+x)sin⁡(log⁡x)log⁡x dx=∫0∞(e−2t+e−3t)sin⁡tt dt.\boxed{ \int_0^1\frac{x(1+x)\sin(\log x)}{\log x}\,dx =\int_0^\infty(e^{-2t}+e^{-3t})\frac{\sin t}{t}\,dt }.

(b)​

s>0s>0 とし,

I(s)=∫0∞e−stsin⁡t dt,J(s)=∫0∞e−stcos⁡t dtI(s)=\int_0^\infty e^{-st}\sin t\,dt, \qquad J(s)=\int_0^\infty e^{-st}\cos t\,dt

とおく。部分積分により

I(s)=[−e−stcos⁡t]0∞−sJ(s)=1−sJ(s),J(s)=[e−stsin⁡t]0∞+sI(s)=sI(s).\begin{aligned} I(s)&=[-e^{-st}\cos t]_0^\infty-sJ(s)=1-sJ(s),\\ J(s)&=[e^{-st}\sin t]_0^\infty+sI(s)=sI(s). \end{aligned}

よって I(s)=1−s2I(s)I(s)=1-s^2I(s) であるから,

I(s)=1s2+1(s>0).\boxed{I(s)=\frac{1}{s^2+1}\qquad(s>0)}.

(c)​

a>0a>0 に対し,(b) の結果を s=as=a から ∞\infty まで積分すると

∫0∞e−atsin⁡tt dt=∫a∞ ⁣∫0∞e−stsin⁡t dt ds=∫a∞dss2+1=π2−arctan⁡a.\begin{aligned} \int_0^\infty e^{-at}\frac{\sin t}{t}\,dt &=\int_a^\infty\!\int_0^\infty e^{-st}\sin t\,dt\,ds\\ &=\int_a^\infty\frac{ds}{s^2+1} =\frac{\pi}{2}-\arctan a. \end{aligned}

積分順序の交換は ∫0∞e−at∣sin⁡t∣/t dt<∞\int_0^\infty e^{-at}|\sin t|/t\,dt<\infty により正当化される。したがって求める値は

π−arctan⁡2−arctan⁡3.\pi-\arctan2-\arctan3.

arctan⁡2+arctan⁡3∈(π/2,π)\arctan2+\arctan3\in(\pi/2,\pi) であり,その正接が (2+3)/(1−2⋅3)=−1(2+3)/(1-2\cdot3)=-1 となるので,この和は 3π/43\pi/4 である。ゆえに

∫01x(1+x)sin⁡(log⁡x)log⁡x dx=π4.\boxed{\int_0^1\frac{x(1+x)\sin(\log x)}{\log x}\,dx=\frac{\pi}{4}}.

問2​

(a)​

x≠0x\ne0 の区間で,微分方程式は

ddx(y+1x3)=xy′−3(y+1)x4=0\frac{d}{dx}\left(\frac{y+1}{x^3}\right) =\frac{xy'-3(y+1)}{x^4}=0

と書ける。したがって一般解は

y=Cx3−1.\boxed{y=Cx^3-1}.

(b)​

x>0x>0 において t=log⁡xt=\log x,Y(t)=y(et)Y(t)=y(e^t),D=d/dtD=d/dt とおくと,

xy′=DY,x2y′′=D(D−1)Y,x3y′′′=D(D−1)(D−2)Y.xy'=DY,\qquad x^2y''=D(D-1)Y,\qquad x^3y'''=D(D-1)(D-2)Y.

したがって

(D3−7D2+14D−8)Y=te3t.(D^3-7D^2+14D-8)Y=te^{3t}.

特性方程式は

r3−7r2+14r−8=(r−1)(r−2)(r−4)=0r^3-7r^2+14r-8=(r-1)(r-2)(r-4)=0

であり,斉次解は Yh=C1et+C2e2t+C3e4tY_h=C_1e^t+C_2e^{2t}+C_3e^{4t} となる。

特解を Yp=e3t(at+b)Y_p=e^{3t}(at+b) とおく。p(r)=r3−7r2+14r−8p(r)=r^3-7r^2+14r-8 とすれば p(3)=−2p(3)=-2,p′(3)=−1p'(3)=-1 より

p(D)Yp=e3t{−2(at+b)−a}=te3t.p(D)Y_p=e^{3t}\{-2(at+b)-a\}=te^{3t}.

よって a=−1/2a=-1/2,b=1/4b=1/4 である。xx に戻すと,

y=C1x+C2x2+C3x4+x3(14−12log⁡x)(x>0).\boxed{ y=C_1x+C_2x^2+C_3x^4 +x^3\left(\frac14-\frac12\log x\right) \qquad(x>0) }.

(c)​

斉次方程式の特性方程式は

r3−6r2+12r−8=(r−2)3=0r^3-6r^2+12r-8=(r-2)^3=0

であるから,斉次解は (C1+C2x+C3x2)e2x(C_1+C_2x+C_3x^2)e^{2x} である。特解を yp=Ae−xy_p=Ae^{-x} とおけば

(−1−2)3Ae−x=6e−x(-1-2)^3Ae^{-x}=6e^{-x}

より A=−2/9A=-2/9 となる。したがって

y=(C1+C2x+C3x2)e2x−29e−x.\boxed{y=(C_1+C_2x+C_3x^2)e^{2x}-\frac29e^{-x}}.

Reference​