跳到主要内容

千葉大学 融合理工学府 数学情報科学専攻 数学・情報数理学コース 2019年8月実施 専門 B7

Author

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

Description

X=C([0,1];R)X=C([0,1];\mathbb R) に一様ノルムを入れる。φX\varphi\in X に対し Tf(t)=φ(t)f(t)Tf(t)=\varphi(t)f(t) とし、Y={fX:Tnf が X で収束する}Y=\{f\in X:T^nf\text{ が }X\text{ で収束する}\} とおく。

(1) TfTgMfg\|Tf-Tg\|\le M\|f-g\| となる M>0M>0 の存在を示せ。(2) φ<1\|\varphi\|<1 ならば Y=XY=X を示せ。(3) φ(t)=t\varphi(t)=t ならば Y={f:f(1)=0}Y=\{f:f(1)=0\} を示せ。(4)

φ(t)={2t0t1/2,11/2t1\varphi(t)=\begin{cases}2t&0\le t\le1/2,\\1&1/2\le t\le1\end{cases}

のとき YY が閉集合であることを示せ。

题目描述

在区间连续函数的 Banach 空间中定义乘法算子,以 YY 表示迭代在一致范数下收敛的函数集合。(1) 证明有界性。(2) 乘子范数小于一时证明所有函数都收敛。(3) 乘子为 tt 时刻画 YY。(4) 乘子按上式分段线性时证明 YY 闭。

Kai

(1) Tf(t)Tg(t)φfg|Tf(t)-Tg(t)|\le\|\varphi\|\|f-g\|。上限をとればよく、M=max{1,φ}M=\max\{1,\|\varphi\|\} とできる。

(2) Tnf=φnfφnf0\|T^nf\|=\|\varphi^nf\|\le\|\varphi\|^n\|f\|\to0。従って Y=XY=X

(3) 各点極限は t<1t<100t=1t=1f(1)f(1)。一様極限は連続なので、収束するなら f(1)=0f(1)=0 が必要である。

逆に f(1)=0f(1)=0 ならば、任意の ε>0\varepsilon>0 に対し、ある a<1a<1a<t1a<t\le1 なら f(t)<ε|f(t)|<\varepsilon。従って

tnf(t)max{anf,ε},lim supntnf(t)ε.\|t^nf(t)\|\le\max\{a^n\|f\|,\varepsilon\},\qquad\limsup_{n\to\infty}\|t^nf(t)\|\le\varepsilon.

ε\varepsilon は任意なので一様に零へ収束する。

(4) 各点極限は

h(t)={0t<1/2,f(t)t1/2.h(t)=\begin{cases}0&t<1/2,\\f(t)&t\ge1/2.\end{cases}

一様収束なら連続性から f(1/2)=0f(1/2)=0 が必要。逆にこの条件があれば、(3) を [0,1/2][0,1/2] に尺度変換して適用すると左半区間で一様に零へ収束する。右半区間では Tnf=fT^nf=f だから全体で hh へ一様収束する。従って

Y={fX:f(1/2)=0}.Y=\{f\in X:f(1/2)=0\}.

評価写像 ff(1/2)f\mapsto f(1/2) は連続線形写像なので、その核 YY は閉集合である。