SSブログ

お前らに質問 (近似値 1月15日) [お前らに質問]

お前らに質問 (近似値 1月15日)

 

 

YouTubeに、の近似値を求めよ、という動画があったので、お前ら、この近似値を求めるにゃ。

ただし、ネイピア数e=2.71828・・・って値を使っちゃ〜ダメだケロよ。

 

念のために言っておくけれど、これは常用対数じゃなく、自然対数だからね。

 

たとえば、

  

だから、中点公式

  

を用いると、

  

って感じになるわな〜。

だから、積分区間[1,2]2分割した[1,3/2][3/2,1]にそれぞれ中点公式を用いると、

  

とかね…。

 

シンプソン法

  

を使うと…。

 

さらに、被積分関数1/x

  

と変形し、

  

と無限級数にし、これを[1,2]で積分するとか(^^)

この無限級数は1≦x≦2のとき、

  

だから、に収束する!!

 

 

てなわけで、
さっ、張り切って、

  

この計算をしてもらいましょうか。

 

 

たぶん、この計算は、として、置換積分すると、ずっと楽になるはず!!

ちなみに、4次までしか取っていないけれど、これ、5次の項をとっても、値は変わらないケロよ。

何故だろうか?

 

さらに、6次の項まで計算すると

  

となって、

  

とほとんど一致する。

 

ネムネコの指示に従うなんてまっぴらゴメンだ。

だから、オレは

  

とし、区分求積法を用いて

  

と計算する!!

 

なるほどね〜。

でも、これは計算が大変な割に、先に中点公式を用いて求めた近似値0.667とさして変わらない。

下の図を見ると、この方法が賢明でないことがすぐにわかる。

 

sukasuka.png

 

その反骨精神、心意気は買うけれど…。

 

 

それはそれとして、

対数が発見されて間もなく対数表が作られたらしいけれど、昔の人はどうやって対数の値を求めたんだろうね。

 

 

(参考記事) ジョン・ネイピアが20年かけた対数表について
 https://is.gd/WuNPfi

 


nice!(2)  コメント(0) 
共通テーマ:音楽

第54回 一様収束する関数列の性質 [微分積分]

第54回 一様収束する関数列の性質

 

 

定理1 (連続性)

区間Iで連続な関数列is2-001.pngf(x)に一様収束するならば、f(x)Iで連続である。

【証明】

is2-001.pngf(x)に一様収束するので、任意の正数ε/3>0に対して、ある自然数が存在し、任意のx∈Iに関して、

  54s-001.png

a∈Iとすると、は点aで連続なので、任意の正数ε/3>0に対して、あるがあって、

  54s-002.png

したがって、任意のε>0に対して、にすると、

  

(証明終)

 

問1 次の関数列は各点で収束するが、一様収束でないことを示せ。

54s-004.png

【解】

(1) 任意の自然数nに対して[0,1]で連続だが、その極限関数

  54s-005.png

[0,1]で連続でないので、is2-001.pngは一様収束でない。

 

(2) 任意の自然数nに対して[0,∞)で連続であるが、その極限関数

  54s-006.png

[0,∞)で連続でないので、is2-001.pngは一様収束でない。

(解答終)

 

で定義される関数列is2-001.pngは定数関数f(x)=0に各点収束し、また、f(x)=0x≧0で連続であるが、f(x)=0に一様収束しない。

したがって、この定理の逆は成立しない!!

 

 

問2 で定義される関数列is2-001.pngは定数関数f(x)=0に各点収束するが、is2-001.pngf(x)=0に一様収束しないことを示せ。

【解】

x=0のとき、任意の自然数nに対して

また、x>0のとき

  

だから、is2-001.pngは定数関数f(x)=0に収束する。

関数の増減を調べるためにを微分すると、

  54s-007.png  

となるから、x=1/nのときに極大かつ最大。

また、

  54s-008.png

だから、

  54s-009.png

ゆえに、

  54s-010.png

よって、x≧0f(x)=0に一様収束でない。

(解答終)

 

 

 

定理2 (定積分)

有界閉区間I=[a,b]で連続な関数列is2-001.pngIf(x)に一様収束するならば、

  54s-011.png

【証明】

連続な関数列is2-001.png[a,b]f(x)に一様に収束するので、定理1より、f(x)[a,b]で連続であり、積分可能。

また、はf(x)に一様収束するので、任意の正数ε>0に対して、

  54s-012.png

したがって、

  

(証明終)

 

問3 とするとき、関数列is2-001.pngは定数関数f(x)=0に一様収束する。このとき、54s-014.pngが成り立つことを確かめよ。

【解】

  

したがって、

  54s-014.png

(解答終)

 

問4 関数列の極限関数をf(x)とするとき、次の関数列は54s-014.pngが成り立つか。

54s-016.png

【解】

(1)

  54s-017.png

また、極限関数は

  

だから、

  

よって、

  54s-014.png

 

(2)

  54s-018.png

また、極限関数はf(x)=0だから

  54s-019.png

(解答終)

 

したがって、一般に、この定理も逆が成立しないことがわかる。

 

 

問5 

  

で定められる関数列について、次の問に答えよ。

(1) 関数列は[0,∞)で一様収束であることを示せ。

(2) 54s-020.pngは成り立つか。

【解】

(1) x∈[0,∞)について

  54s-028.png

であるから、だから、ハサミ打ちの定理より

  s54-030.png

また、

  s54-029.png

だから、f(x)=0に一様に収束する。

   

(2)

  s54-031.png

一方、

 

だから、

  54s-023.png

(解答終)

 

 

定理3 (微分)

区間I級な関数列is2-001.pngI上でf(x)に各点収束し、さらに、s54-032.pngI上でg(x)に一様収束するならば、

  

【証明】

a∈Iとし、aを固定すると、Iで連続なので、

  54s-024.png

また、f(x)に各点収束し、s54-032.pngg(x)に一様収束するので、定理2より

  54s-025.png

g(x)Iで連続なので、

  54s-026.png

よって、f(x)I上で微分可能で

  54s-027.png

(証明終)

 

 


nice!(0)  コメント(0) 

この広告は前回の更新から一定期間経過したブログに表示されています。更新すると自動で解除されます。