与えられた式 $(e^x - 1 - \sin x)(x - \sin x)$ を、ランダウの記号を用いて、$x^5$ のオーダーまで評価し、$\frac{x^5}{12} + o(x^5)$ となることを示す問題です。ここで、$o(x^n)$ は、$x \to 0$ のとき $\frac{o(x^n)}{x^n} \to 0$ を意味します。

解析学テイラー展開マクローリン展開ランダウの記号極限
2025/7/16

1. 問題の内容

与えられた式 (ex1sinx)(xsinx)(e^x - 1 - \sin x)(x - \sin x) を、ランダウの記号を用いて、x5x^5 のオーダーまで評価し、x512+o(x5)\frac{x^5}{12} + o(x^5) となることを示す問題です。ここで、o(xn)o(x^n) は、x0x \to 0 のとき o(xn)xn0\frac{o(x^n)}{x^n} \to 0 を意味します。

2. 解き方の手順

まず、exe^xsinx\sin x のマクローリン展開を求めます。
ex=1+x+x22+x36+x424+o(x4)e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \frac{x^4}{24} + o(x^4)
sinx=xx36+x5120+o(x5)\sin x = x - \frac{x^3}{6} + \frac{x^5}{120} + o(x^5)
これらを用いて、ex1sinxe^x - 1 - \sin xxsinxx - \sin x を計算します。
ex1sinx=(1+x+x22+x36+x424+o(x4))1(xx36+x5120+o(x5))=x22+x33+x424+o(x4)e^x - 1 - \sin x = (1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \frac{x^4}{24} + o(x^4)) - 1 - (x - \frac{x^3}{6} + \frac{x^5}{120} + o(x^5)) = \frac{x^2}{2} + \frac{x^3}{3} + \frac{x^4}{24} + o(x^4)
xsinx=x(xx36+x5120+o(x5))=x36x5120+o(x5)x - \sin x = x - (x - \frac{x^3}{6} + \frac{x^5}{120} + o(x^5)) = \frac{x^3}{6} - \frac{x^5}{120} + o(x^5)
次に、これらの積を計算します。ここではx5x^5の項まで考慮します。
(ex1sinx)(xsinx)=(x22+x33+x424+o(x4))(x36x5120+o(x5))(e^x - 1 - \sin x)(x - \sin x) = (\frac{x^2}{2} + \frac{x^3}{3} + \frac{x^4}{24} + o(x^4))(\frac{x^3}{6} - \frac{x^5}{120} + o(x^5))
=x22x36+x22o(x5)+x33x36+x33o(x5)+x424x36+x424o(x5)+o(x4)x36+o(x4)o(x5)= \frac{x^2}{2} \cdot \frac{x^3}{6} + \frac{x^2}{2} \cdot o(x^5) + \frac{x^3}{3} \cdot \frac{x^3}{6} + \frac{x^3}{3} \cdot o(x^5) + \frac{x^4}{24} \cdot \frac{x^3}{6} + \frac{x^4}{24} \cdot o(x^5) + o(x^4) \cdot \frac{x^3}{6} + o(x^4) \cdot o(x^5)
=x512+x618+x7144+o(x7)= \frac{x^5}{12} + \frac{x^6}{18} + \frac{x^7}{144} + o(x^7)
x5x^5 のオーダーまでなので、x6x^6 以降の項を無視すると、
(ex1sinx)(xsinx)=x512+o(x5)(e^x - 1 - \sin x)(x - \sin x) = \frac{x^5}{12} + o(x^5)

3. 最終的な答え

x512+o(x5)\frac{x^5}{12} + o(x^5)

「解析学」の関連問題

$k$ を正の定数として、以下の双曲線関数の導関数を求める。 (1) $sinh(kx)$ (2) $cosh(kx)$ (3) $tanh(kx)$

微分双曲線関数導関数連鎖律
2025/7/18

次の3つの広義積分を計算する問題です。 (1) $\int_{1}^{\infty} \frac{\log x}{x^2} dx$ (2) $\int_{0}^{\infty} \frac{dx}{(...

積分広義積分部分積分置換積分部分分数分解
2025/7/18

与えられた2つの関数について、連続性を調べます。 (1) $f(x) = \frac{x+1}{x^2+1}$ (2) $f(x) = \begin{cases} \frac{\sin x}{x} &...

連続性関数の極限三角関数
2025/7/18

与えられた関数 $f(x)$ と $g(x)$ のフーリエ変換を求めます。ここで、 $f(x) = \begin{cases} 2 & (-3 \leq x < 0) \\ 0 & (x < -3, ...

フーリエ変換積分複素数
2025/7/18

2変数関数 $f(x, y) = xe^{-xy}$ について、$\frac{\partial^2 f}{\partial x^2}$ を求めよ。

偏微分多変数関数偏微分方程式
2025/7/18

定積分 $\int_1^2 x^4 \log x \, dx$ の値を、$\frac{\text{ア}}{5} \log 2 + \frac{\text{イ}}{25}$ の形で求めます。

定積分部分積分積分
2025/7/18

周期 $2$ の関数 $f(x)$ が与えられています。 $f(x) = \begin{cases} 2 & (-1 \le x < 0) \\ 0 & (0 \le x < 1) \end{case...

フーリエ級数周期関数複素フーリエ級数積分
2025/7/18

問題は2つの不定積分を求める問題です。 * 1つ目は $\int xe^{2x} dx = \frac{1}{4} ( \text{ア} x + \text{イ} ) e^{2x} + C$ の ...

積分部分積分不定積分
2025/7/18

与えられた数列が単調増加することを示し、上に有界かどうかを調べる問題です。 (1) $\sum_{k=1}^{n} \frac{1}{k(k+1)}$ (2) $\sum_{k=1}^{n} \fra...

数列単調増加有界性級数調和数列部分分数分解
2025/7/18

与えられた3つの数列の和をそれぞれ求めます。 (1) $\frac{1}{1\cdot2} + \frac{1}{2\cdot3} + \cdots + \frac{1}{n(n+1)}$ (2) $...

級数部分分数分解調和数無限級数
2025/7/18