跳到主要内容

お茶の水女子大学 人間文化創成科学研究科 理学専攻 数学コース 2017年2月実施 問題1

Author

祭音Myyura (co-authored with GPT 5.6 SOL)

Description

実変数 xx についての C2C^2 級関数 f(x)f(x) に対する操作

Lxf(x)=f(x)xf(x)L_xf(x)=f''(x)-xf'(x)

を考える。

(1)

関数

g(s,x)=esxs22g(s,x)=e^{sx-\frac{s^2}{2}}

について、

sg(s,x)s=Lxg(s,x)()s\frac{\partial g(s,x)}{\partial s}=-L_xg(s,x) \qquad (\spadesuit)

が成り立つことを示せ。

(2)

g(s,x)g(s,x)ss に関する 00 を中心とした Taylor 級数を

g(s,x)=k=0skk!Hk(x)g(s,x)=\sum_{k=0}^{\infty}\frac{s^k}{k!}H_k(x)

とする。式 ()(\spadesuit) の両辺における sks^k の係数の比較から、

LxHk(x)=kHk(x)-L_xH_k(x)=kH_k(x)

を導け。

(3)

再び式 ()(\spadesuit) の両辺における sks^k の係数の比較から、k2k\geq 2 について

Hk(x)=xHk1(x)(k1)Hk2(x)H_k(x)=xH_{k-1}(x)-(k-1)H_{k-2}(x)

が成り立つことを示せ。

题目描述

定义作用于实变量 xxC2C^2 函数的算子 Lxf=fxfL_xf=f''-xf',并令 g(s,x)=esxs2/2g(s,x)=e^{sx-s^2/2}

  1. 证明 sg/s=Lxgs\,\partial g/\partial s=-L_xg
  2. ggss 展开为 k0skHk(x)/k!\sum_{k\geq0}s^kH_k(x)/k!,比较系数证明 LxHk=kHk-L_xH_k=kH_k
  3. 再次比较系数,证明 Hk=xHk1(k1)Hk2H_k=xH_{k-1}-(k-1)H_{k-2}

Kai

(1)

g=g(s,x)g=g(s,x) と略記すると、

gs=(xs)g,gx=sg,2gx2=s2g.\frac{\partial g}{\partial s}=(x-s)g, \qquad \frac{\partial g}{\partial x}=sg, \qquad \frac{\partial^2g}{\partial x^2}=s^2g.

したがって

Lxg=(s2xs)g=s(xs)gL_xg=(s^2-xs)g=-s(x-s)g

であるから、

sgs=s(xs)g=Lxgs\frac{\partial g}{\partial s}=s(x-s)g=-L_xg

を得る。

(2)

級数を項別に微分すると、

sgs=k=0skk!kHk(x),s\frac{\partial g}{\partial s} =\sum_{k=0}^{\infty}\frac{s^k}{k!}\,kH_k(x),

一方、LxL_xxx のみに作用するので、

Lxg=k=0skk!{LxHk(x)}.-L_xg =\sum_{k=0}^{\infty}\frac{s^k}{k!}\{-L_xH_k(x)\}.

()(\spadesuit) における sk/k!s^k/k! の係数を比較して、

LxHk(x)=kHk(x)\boxed{-L_xH_k(x)=kH_k(x)}

を得る。

(3)

(1) より

Lxg=(xss2)g=(xss2)j=0sjj!Hj(x).-L_xg=(xs-s^2)g =(xs-s^2)\sum_{j=0}^{\infty}\frac{s^j}{j!}H_j(x).

k2k\geq2 とすると、右辺の sk/k!s^k/k! の係数は

kxHk1(x)k(k1)Hk2(x)kxH_{k-1}(x)-k(k-1)H_{k-2}(x)

である。(2) より左辺の同じ係数は kHk(x)kH_k(x) だから、kk で割って

Hk(x)=xHk1(x)(k1)Hk2(x)\boxed{H_k(x)=xH_{k-1}(x)-(k-1)H_{k-2}(x)}

を得る。なお、級数から H0(x)=1H_0(x)=1, H1(x)=xH_1(x)=x である。