跳到主要内容

東京大学 新領域創成科学研究科 複雑理工学専攻 2025年8月実施 専門基礎科目 1 微分積分

Author

犬 (finalized by 祭音Myyura with assistance from GPT 6 Astra)

Description

以下の問に答えよ。ee は自然対数の底である。問1、問3、問4は導出を省略して答えのみ示せ。問2、問5は答えに加えて導出の過程も示せ。

問1

(1) f(x)=excosxf(x)=e^x\cos x の四次の導関数を求めよ。

(2) f(x)=excosxf(x)=e^x\cos xx=0x=0 のまわりで四次の項までテイラー展開せよ。

(3) limx0excosx1tanx\displaystyle\lim_{x\to0}\frac{e^x\cos x-1}{\tan x} を求めよ。

問2

f(x)=xsinxf(x)=x-\sin x とする。実数 x0x\ge0 に対して f(x)0f(x)\ge0 であることを証明せよ。

問3

実関数 f(t)f(t) が満たす微分方程式

d2fdt2+dfdt+sint=0\frac{d^2f}{dt^2}+\frac{df}{dt}+\sin t=0

の一般解を求めよ。また、初期値 f(0)=2,f(0)=0f(0)=2,f'(0)=0 に対する特解を求めよ。

問4

実関数 f(x,y)=exp((x2+y2)/2)f(x,y)=\exp(-(x^2+y^2)/2) を定義する。exp(t)=et\exp(t)=e^t である。

(1) x=rcosθ,y=rsinθ (r0, 0θ<2π)x=r\cos\theta,y=r\sin\theta\ (r\ge0,\ 0\le\theta<2\pi) で定義される変数変換のヤコビ行列とその行列式を求めよ。

(2) f(x,y)dxdy\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}f(x,y)\,dx\,dy を求めよ。

問5

自然数 NN に対して

TN+=j=1NjN2loge(1+jN),TN=j=1Nj1N2loge(1+j1N)T_N^+=\sum_{j=1}^N\frac j{N^2}\log_e\left(1+\frac jN\right),\qquad T_N^-=\sum_{j=1}^N\frac{j-1}{N^2}\log_e\left(1+\frac{j-1}N\right)

と定義する。

(1) limN(TN+TN)=0\lim_{N\to\infty}(T_N^+-T_N^-)=0 を証明せよ。

(2) 任意の自然数 NN に対して TN<01f(x)dx<TN+T_N^-<\int_0^1 f(x)\,dx<T_N^+ となる実関数 ff を考えることで、limNTN+\lim_{N\to\infty}T_N^+ を求めよ。導出の過程も示せ。

题目描述

ee 为自然对数的底。问1、问3、问4只写答案;问2、问5还須写出推导。

问1 (1) 求 f(x)=excosxf(x)=e^x\cos x 的四阶导数;(2) 将该函数在 x=0x=0 处展开至四次项;(3) 求 limx0(excosx1)/tanx\lim_{x\to0}(e^x\cos x-1)/\tan x

问2 设 f(x)=xsinxf(x)=x-\sin x,证明对所有实数 x0x\ge0,都有 f(x)0f(x)\ge0

问3 求 f(t)+f(t)+sint=0f''(t)+f'(t)+\sin t=0 的一般解,以及满足 f(0)=2,f(0)=0f(0)=2,f'(0)=0 的特解。

问4 设 f(x,y)=exp((x2+y2)/2)f(x,y)=\exp(-(x^2+y^2)/2)exp(t)=et\exp(t)=e^t。(1) 求变换 x=rcosθ,y=rsinθx=r\cos\theta,y=r\sin\thetar0,0θ<2πr\ge0,0\le\theta<2\pi)的 Jacobian 矩阵和行列式;(2) 求 f(x,y)dxdy\int_{-\infty}^{\infty}\int_{-\infty}^{\infty}f(x,y)\,dx\,dy

问5 对自然数 NN 定义

TN+=j=1NjN2loge(1+jN),TN=j=1Nj1N2loge(1+j1N).T_N^+=\sum_{j=1}^N\frac j{N^2}\log_e\left(1+\frac jN\right),\qquad T_N^-=\sum_{j=1}^N\frac{j-1}{N^2}\log_e\left(1+\frac{j-1}N\right).

(1) 证明 TN+TN0T_N^+-T_N^-\to0;(2) 选取对任意 NN 都满足 TN<01f(x)dx<TN+T_N^-<\int_0^1f(x)\,dx<T_N^+ 的实函数 ff,由此求出 limNTN+\lim_{N\to\infty}T_N^+ 并写出推导。

Kai

問1

(1)f(4)(x)=4excosx.\text{(1)}\quad f^{(4)}(x)=-4e^x\cos x.
(2)excosx=1+xx33x46+O(x5),(3)1.\text{(2)}\quad e^x\cos x=1+x-\frac{x^3}{3}-\frac{x^4}{6}+O(x^5), \qquad\text{(3)}\quad1.

問2

f(x)=1cosx0f'(x)=1-\cos x\ge0 より、ff は単調非減少である。したがって x0x\ge0 なら f(x)f(0)=0f(x)\ge f(0)=0

問3

一般解は

f(t)=C1+C2et+12(sint+cost),C1,C2R.f(t)=C_1+C_2e^{-t}+\frac12(\sin t+\cos t),\qquad C_1,C_2\in\mathbb R.

指定された初期値に対する特解は

f(t)=1+12et+12(sint+cost).f(t)=1+\frac12e^{-t}+\frac12(\sin t+\cos t).

問4

(1)J=(x,y)(r,θ)=(cosθrsinθsinθrcosθ),detJ=r.\text{(1)}\quad J=\frac{\partial(x,y)}{\partial(r,\theta)} =\begin{pmatrix}\cos\theta&-r\sin\theta\\\sin\theta&r\cos\theta\end{pmatrix}, \qquad\det J=r.
(2)2π.\text{(2)}\quad2\pi.

問5

(1) h(x)=xlog(1+x)h(x)=x\log(1+x) とおくと、和の差が望遠和となるため

TN+TN=1Nj=1N[h(jN)h(j1N)]=h(1)h(0)N=log2N0.T_N^+-T_N^-= \frac1N\sum_{j=1}^N\left[h\left(\frac jN\right)-h\left(\frac{j-1}N\right)\right] =\frac{h(1)-h(0)}N=\frac{\log2}N\longrightarrow0.

(2) hh[0,1][0,1] 上連続であり、x>0x>0 では

h(x)=log(1+x)+x1+x>0.h'(x)=\log(1+x)+\frac{x}{1+x}>0.

各小区間の左端・右端の値で積分を評価すれば TN<01h(x)dx<TN+T_N^-<\int_0^1h(x)\,dx<T_N^+ となる。(1) より

limNTN+=01xlog(1+x)dx=12log21201x21+xdx=12log212[x22x+log(1+x)]01=14.\begin{aligned} \lim_{N\to\infty}T_N^+ &=\int_0^1x\log(1+x)\,dx\\ &=\frac12\log2-\frac12\int_0^1\frac{x^2}{1+x}\,dx\\ &=\frac12\log2-\frac12\left[\frac{x^2}{2}-x+\log(1+x)\right]_0^1 =\boxed{\frac14}. \end{aligned}