跳到主要内容

京都大学 理学研究科 数学・数理解析専攻 2017年度 専門科目 問題7

标签：

Author​

祭音Myyura (co-authored with GPT 6 Astra)

Description​

L2(R)L^2(\mathbb R) を R\mathbb R 上の2乗可積分関数全体の Hilbert 空間とする。

(i) g∈L2(R)g\in L^2(\mathbb R) とし、z∈Cz\in\mathbb C に対して

F(z)=∫−∞∞e−x2+zxg(x) dxF(z)=\int_{-\infty}^{\infty}e^{-x^2+zx}g(x)\,dx

と定める。FF が C\mathbb C 上正則であることを示せ。

(ii) 正の整数 nn に対して fn(x)=e−x2+x/nf_n(x)=e^{-x^2+x/n} とおく。{fn}n≥1\{f_n\}_{n\ge1} の線型結合全体が L2(R)L^2(\mathbb R) で稠密であることを示せ。

题目描述​

(i) 对 g∈L2(R)g\in L^2(\mathbb R)，证明 F(z)=∫Re−x2+zxg(x) dxF(z)=\int_{\mathbb R}e^{-x^2+zx}g(x)\,dx 是整函数。

(ii) 令 fn(x)=e−x2+x/nf_n(x)=e^{-x^2+x/n}，证明这些函数的有限线性组合在 L2(R)L^2(\mathbb R) 中稠密。

Kai​

(i)​

任意の R>0R>0 と整数 k≥0k\ge0 に対して、Cauchy–Schwarz の不等式より

∫R∣x∣ke−x2+R∣x∣∣g(x)∣ dx≤∥g∥2(∫R∣x∣2ke−2x2+2R∣x∣ dx)1/2<∞.\int_{\mathbb R}|x|^ke^{-x^2+R|x|}|g(x)|\,dx \le \|g\|_2\left(\int_{\mathbb R}|x|^{2k}e^{-2x^2+2R|x|}\,dx\right)^{1/2}<\infty.

これは ∣z∣≤R|z|\le R における被積分関数とその zz 微分の可積分な共通優関数を与える。したがって積分の下で微分でき、

F′(z)=∫Rxe−x2+zxg(x) dx.F'(z)=\int_{\mathbb R}xe^{-x^2+zx}g(x)\,dx.

RR は任意だから FF は整関数である。

(ii)​

h∈L2(R)h\in L^2(\mathbb R) がすべての fnf_n と直交するとする。(i) の gg に h‾\overline h を用いると、整関数 FF は F(1/n)=0F(1/n)=0 を満たす。零点列 1/n1/n は C\mathbb C 内の 00 に集積するので、恒等定理から F≡0F\equiv0。

q(x)=e−x2h(x)‾q(x)=e^{-x^2}\overline{h(x)} は Cauchy–Schwarz の不等式より L1(R)L^1(\mathbb R) に属し、任意の ξ∈R\xi\in\mathbb R について

q^(ξ)=∫Rq(x)e−iξx dx=F(−iξ)=0.\widehat q(\xi)=\int_{\mathbb R}q(x)e^{-i\xi x}\,dx=F(-i\xi)=0.

L1L^1 関数の Fourier 変換の一意性から q=0q=0、したがって h=0h=0 がほとんど至る所で成り立つ。直交補空間が {0}\{0\} なので、求める稠密性が従う。

Reference​

本页目录