面白い問題おしえて～な 28問目

面白い問題おしえて～ ..

235:１３２人目の素数さん
18/11/12 20:11:12.83 nrLLMPLB.net
証明の続き　次に、α ＝ (Σ(k＝1～m)λ_ka_k)^{－1} Σ(k＝1～m)λ_k ∫(x－a_k,x)f
と置く。α≦limsup(x→＋∞)f(x) かつ α≦limsup(x→－∞)f(x) を示す。
どちらもほぼ同じ議論なので、前者のみ示す。b＝max{a_1,…,a_m}と置いておく。
c＝limsup(x→＋∞)f(x)と置く。α≦cを示せばよい。c＝＋∞なら、明らか。
c＜＋∞のときは、c＜rを満たす実数rを任意に取る。
limsup(x→＋∞)f(x)＝c＜rより、あるδが存在して、x≧δのときf(x)＜rが成り立つ。
δ＋b＞δ＋b－a_k≧δ (1≦k≦m) であるから、
α＝(Σ(k＝1～m)λ_ka_k)^{－1} Σ(k＝1～m)λ_k ∫(δ＋b－a_k,δ＋b)f ≦ r
となる。すなわち、α≦rとなる。c＜rは任意だったから、r↓cとして、確かにα≦cとなる。
次に、α≧liminf(x→＋∞)f(x) かつ α≧liminf(x→－∞)f(x) を示す。
補題1のfとαに対して(-f)と(－α)を考えれば、補題1の条件が成り立つので、
同じ議論ができて－α≦limsup(x→＋∞)(－f)(x) かつ－α≦limsup(x→－∞)(－f)(x)
となる。よって、α≧liminf(x→＋∞)f(x), α≧liminf(x→－∞)f(x) である。□

次ページ

続きを表示

1を表示