跳到主要内容

筑波大学 理工情報生命学術院 システム情報工学研究群 社会工学学位プログラム・サービス工学学位プログラム 共通 2024年1月実施 数学 II

Author​

思齐塾, 祭音Myyura

Description​

以下の問 (1) 及び (2) に答えよ.

(1) 実数関数 f(x)=exp⁡(x2/2)(x∈R)f(x) = \exp(x^2/2) (x \in \mathbb{R}) とする. f(n)(x)(n=1,2,...)f^{(n)}(x) (n = 1,2,...) は f(x)f(x) の nn 階導関数である. ただし, f(0)(x)=f(x)f^{(0)}(x) = f(x) とする. 以下の問いに答えよ.

(a) 次式を示せ.

i) f(1)(x)=xf(x)f^{(1)}(x) = xf(x) ,

ii) f(2)(x)=xf(1)(x)+f(x)f^{(2)}(x) = x f^{(1)}(x) + f(x) .

(b) 任意の自然数 nn について、次式を示せ.

f(n+1)(x)=xf(n)(x)+nf(n−1)(x).f^{(n+1)}(x) = x f^{(n)}(x) + n f^{(n-1)}(x).

(c) 次の値を求めよ.

i) f(2023)(0)f^{(2023)}(0) ,

ii) f(2024)(0)f^{(2024)}(0) .

(d) 次の極限を求めよ.

i) lim⁡x→0f(x)−1−x2/2x4\lim_{x \to 0} \frac{f(x) - 1 - x^2/2}{x^4} ,

ii) lim⁡x→0f(x)−1−x2/2−x4/8x6\lim_{x \to 0} \frac{f(x) - 1 - x^2/2 - x^4/8}{x^6} .

(2) 実数関数 g(x)g(x) は以下のように定義される.

g(x)={12πxexp⁡(−12(ln⁡x)2)(x>0),0(x≤0).g(x) = \begin{cases} \frac{1}{\sqrt{2\pi}x} \exp(-\frac{1}{2} (\ln x)^2) & (x > 0), \\ 0 & (x \leq 0). \end{cases}

以下の問いに答えよ. ただし、 ∫−∞∞exp⁡(−x2/2)dx=2π\int_{-\infty}^{\infty} \exp(-x^2/2) dx = \sqrt{2\pi} を証明なしで使ってもよい.

(a) ∫−∞∞g(x)dx\int_{-\infty}^{\infty} g(x) dx を求めよ.

(b) ∫−∞∞xg(x)dx\int_{-\infty}^{\infty} x g(x) dx を求めよ.

(c) ∫−∞∞xng(x)dx\int_{-\infty}^{\infty} x^n g(x) dx を求めよ. ただし、 nn は自然数である.

题目描述​

完成以下两题。

  1. 定义

    f(x)=ex2/2(x∈R),f(x)=e^{x^2/2}\qquad(x\in\mathbb R),

    以 f(n)(x)f^{(n)}(x) 表示 nn 阶导数,其中 n=1,2,…n=1,2,\ldots,并约定 f(0)(x)=f(x)f^{(0)}(x)=f(x)。

    1. 证明

      (i) f(1)(x)=xf(x),(ii) f(2)(x)=xf(1)(x)+f(x).\text{(i)}\ f^{(1)}(x)=xf(x),\qquad \text{(ii)}\ f^{(2)}(x)=xf^{(1)}(x)+f(x).
    2. 对任意自然数 nn,证明递推式

      f(n+1)(x)=xf(n)(x)+nf(n−1)(x).f^{(n+1)}(x) =xf^{(n)}(x)+nf^{(n-1)}(x).
    3. 分别求

      (i) f(2023)(0),(ii) f(2024)(0).\text{(i)}\ f^{(2023)}(0),\qquad \text{(ii)}\ f^{(2024)}(0).
    4. 分别求极限

      (i)lim⁡x→0f(x)−1−x2/2x4,\text{(i)}\quad \lim_{x\to0} \frac{f(x)-1-x^2/2}{x^4},
      (ii)lim⁡x→0f(x)−1−x2/2−x4/8x6.\text{(ii)}\quad \lim_{x\to0} \frac{f(x)-1-x^2/2-x^4/8}{x^6}.
  2. 定义实函数

    g(x)={12π xexp⁡ ⁣(−12(ln⁡x)2),x>0,0,x≤0.g(x)= \begin{cases} \dfrac{1}{\sqrt{2\pi}\,x} \exp\!\left(-\dfrac12(\ln x)^2\right),&x>0,\\[6pt] 0,&x\leq0. \end{cases}

    可以不加证明地使用

    ∫−∞+∞e−x2/2 dx=2π.\int_{-\infty}^{+\infty}e^{-x^2/2}\,dx=\sqrt{2\pi}.

    计算:

    1. ∫−∞+∞g(x) dx\displaystyle\int_{-\infty}^{+\infty}g(x)\,dx;
    2. ∫−∞+∞xg(x) dx\displaystyle\int_{-\infty}^{+\infty}xg(x)\,dx;
    3. 对自然数 nn,求 ∫−∞+∞xng(x) dx\displaystyle\int_{-\infty}^{+\infty}x^ng(x)\,dx。

Kai​

(1) (a) i) f(x)=ex22f(x)=e^{\frac{x^2}{2}} とする。 このとき

f′(x)=ex22⋅x=xf(x)f'(x) =e^{\frac{x^2}{2}}\cdot x =xf(x)

ii)

f′′(x)=(xf(x))′=f(x)+xf′(x)=f(x)+x(xf(x))f''(x) =(xf(x))' =f(x)+x f'(x) =f(x)+x(xf(x))

(b) 次を示す:

f(n+1)(x)=xf(n)(x)+nf(n−1)(x)f^{(n+1)}(x) = x f^{(n)}(x) + n f^{(n-1)}(x)

(数学的帰納法による証明)

基底: n=1n=1 のとき,

f(2)(x)=xf′(x)+f(x)f^{(2)}(x) = x f'(x) + f(x)

であり,(a)ii) より成り立つ。

帰納法の仮定として,

f(k+1)(x)=xf(k)(x)+kf(k−1)(x)f^{(k+1)}(x) = x f^{(k)}(x) + k f^{(k-1)}(x)

が成り立つと仮定する。

このとき

f(k+2)(x)=(f(k+1)(x))′=(xf(k)(x)+kf(k−1)(x))′=f(k)(x)+xf(k+1)(x)+kf(k)(x)=xf(k+1)(x)+(k+1)f(k)(x)\begin{aligned} f^{(k+2)}(x) &= (f^{(k+1)}(x))' \\ &= (x f^{(k)}(x) + k f^{(k-1)}(x))' \\ &= f^{(k)}(x) + x f^{(k+1)}(x) + k f^{(k)}(x) \\ &= x f^{(k+1)}(x) + (k+1) f^{(k)}(x) \end{aligned}

となり,帰納法が完了する。

(c) i) f(2023)(0)f^{(2023)}(0) , ii) f(2024)(0)f^{(2024)}(0) を求める。

漸化式

f(n+1)(x)=xf(n)(x)+nf(n−1)(x)f^{(n+1)}(x) = x f^{(n)}(x) + n f^{(n-1)}(x)

より,

f(n+1)(0)=nf(n−1)(0)f^{(n+1)}(0) = n f^{(n-1)}(0)

が成り立つ。

これより, nn が奇数のとき f(n)(0)=0f^{(n)}(0)=0 , nn が偶数のとき f(n)(0)≠0f^{(n)}(0)\neq 0 である。

実際,

f′(0)=0,f′′(0)=1,f′′′(0)=0,f(4)(0)=3f'(0)=0,\quad f''(0)=1,\quad f'''(0)=0,\quad f^{(4)}(0)=3

であり, 一般に

f(n)(0)={0(n が奇数)(n−1)!!(n が偶数)f^{(n)}(0) = \begin{cases} 0 & (n\text{ が奇数}) \\ (n-1)!! & (n\text{ が偶数}) \end{cases}

したがって

f(2023)(0)=0,f(2024)(0)=2023!!f^{(2023)}(0)=0,\qquad f^{(2024)}(0)=2023!!

(d) 指数関数の展開

ex=1+x+x22!+x33!+⋯e^x =1+x+\frac{x^2}{2!} +\frac{x^3}{3!}+\cdots

より

ex22=1+x22+x48+x648+⋯e^{\frac{x^2}{2}} =1+\frac{x^2}{2} +\frac{x^4}{8} +\frac{x^6}{48}+\cdots

i)

lim⁡x→0f(x)−1−x22x4=lim⁡x→0x48+x648+⋯x4=18\begin{aligned} \lim_{x\to 0} \frac{f(x)-1-\frac{x^2}{2}}{x^4} &= \lim_{x\to 0} \frac{\frac{x^4}{8} +\frac{x^6}{48}+\cdots}{x^4} \\ &=\frac18 \end{aligned}

ii)

lim⁡x→0f(x)−1−x22−x48x6=lim⁡x→0x648+⋯x6=148\begin{aligned} \lim_{x\to 0} \frac{f(x)-1-\frac{x^2}{2}-\frac{x^4}{8}}{x^6} &= \lim_{x\to 0} \frac{\frac{x^6}{48}+\cdots}{x^6} \\ &=\frac{1}{48} \end{aligned}

(2) 実数関数 g(x)g(x) を

g(x)={12πxexp⁡ ⁣(−12(ln⁡x)2)(x>0),0(x≤0)g(x)= \begin{cases} \dfrac{1}{\sqrt{2\pi}x} \exp\!\left(-\dfrac12(\ln x)^2\right) & (x>0),\\ 0 & (x\le 0) \end{cases}

で定義する。

(a)

∫−∞∞g(x) dx=∫0∞12πxexp⁡ ⁣(−12(ln⁡x)2) dx\int_{-\infty}^{\infty} g(x)\,dx = \int_{0}^{\infty} \dfrac{1}{\sqrt{2\pi}x} \exp\!\left(-\dfrac12(\ln x)^2\right)\,dx

u=ln⁡xu=\ln x とおくと dx=eududx=e^u du であるから,

=∫−∞∞12πe−12u2 du=1= \int_{-\infty}^{\infty} \dfrac{1}{\sqrt{2\pi}} e^{-\frac12 u^2}\,du =1

(b)

∫−∞∞xg(x) dx=∫0∞12πexp⁡ ⁣(−12(ln⁡x)2) dx=∫−∞∞12πe−12u2eu du\begin{aligned} \int_{-\infty}^{\infty} x g(x)\,dx &= \int_{0}^{\infty} \dfrac{1}{\sqrt{2\pi}} \exp\!\left(-\dfrac12(\ln x)^2\right)\,dx \\ &= \int_{-\infty}^{\infty} \dfrac{1}{\sqrt{2\pi}} e^{-\frac12 u^2}e^u\,du \end{aligned}

平方完成より

=e12∫−∞∞12πe−12(u−1)2 du=e= e^{\frac12} \int_{-\infty}^{\infty} \dfrac{1}{\sqrt{2\pi}} e^{-\frac12 (u-1)^2}\,du = \sqrt{e}

(c)

∫−∞∞xng(x) dx=∫0∞xn−112πexp⁡ ⁣(−12(ln⁡x)2) dx=∫−∞∞12πenue−12u2 du\begin{aligned} \int_{-\infty}^{\infty} x^n g(x)\,dx &= \int_{0}^{\infty} x^{n-1} \dfrac{1}{\sqrt{2\pi}} \exp\!\left(-\dfrac12(\ln x)^2\right)\,dx \\ &= \int_{-\infty}^{\infty} \dfrac{1}{\sqrt{2\pi}} e^{nu} e^{-\frac12 u^2}\,du \end{aligned}

平方完成により

=en22∫−∞∞12πe−12(u−n)2 du=en22= e^{\frac{n^2}{2}} \int_{-\infty}^{\infty} \dfrac{1}{\sqrt{2\pi}} e^{-\frac12 (u-n)^2}\,du = e^{\frac{n^2}{2}}

となる。