跳到主要内容

筑波大学 理工情報生命学術院 システム情報工学研究群 社会工学学位プログラム 2024年2月実施 微积分

Author

思齐塾, 祭音Myyura

Description

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

(1) 実数関数 f(x)=exp(x2/2)(xR)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(n1)(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) limx0f(x)1x2/2x4\lim_{x \to 0} \frac{f(x) - 1 - x^2/2}{x^4} ,

ii) limx0f(x)1x2/2x4/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(lnx)2)(x>0),0(x0).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(xR),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(n1)(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)limx0f(x)1x2/2x4,\text{(i)}\quad \lim_{x\to0} \frac{f(x)-1-x^2/2}{x^4},
      (ii)limx0f(x)1x2/2x4/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(lnx)2),x>0,0,x0.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}

    可以不加证明地使用

    +ex2/2dx=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)=ex22x=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(n1)(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(k1)(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(k1)(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(n1)(x)f^{(n+1)}(x) = x f^{(n)}(x) + n f^{(n-1)}(x)

より,

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

が成り立つ。

これより, nn が奇数のとき f(n)(0)=0f^{(n)}(0)=0nn が偶数のとき 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 が奇数)(n1)!!(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)

limx0f(x)1x22x4=limx0x48+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)

limx0f(x)1x22x48x6=limx0x648+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(lnx)2)(x>0),0(x0)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=012πxexp ⁣(12(lnx)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=lnxu=\ln x とおくと dx=eududx=e^u du であるから,

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

(b)

xg(x)dx=012πexp ⁣(12(lnx)2)dx=12πe12u2eudu\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}

平方完成より

=e1212πe12(u1)2du=e= e^{\frac12} \int_{-\infty}^{\infty} \dfrac{1}{\sqrt{2\pi}} e^{-\frac12 (u-1)^2}\,du = \sqrt{e}

(c)

xng(x)dx=0xn112πexp ⁣(12(lnx)2)dx=12πenue12u2du\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}

平方完成により

=en2212πe12(un)2du=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}}

となる。