級数展開 剰余項 計算(評価)
e^xの巾級数展開について、
剰余項R(n+1)がlim[n→∞]R(n+1) = 0になれば、
e^x=Σ[n=0~∞]((x^n)/(n!))と表せることは理解できました。
Rの係数?は実際(1/((n+1)!))となるからe^xは巾級数展開可能
であると理解したのですが、e^xの場合lim[n→∞]R(n+1) は具体的に
どのように計算(評価)されるのでしょうか?
また、剰余項に関して、
R(n+1)やR(x^(n+1))などと表記されるようですが、なにか
違いはありますか?
それぞれの表現について教えて頂けないでしょうか?
また、C^ω級は級数展開可能である関数を表す場合に用いられると
理解したのですが、C^ω級は無限級数展開でも有限級数展開
(有限級数展開の例が思いつきませんが・・・)でもどちらでも
使用して良いのでしょうか?
また、C^ω級はテーラー展開の場合(x=0で級数展開できない場合)でも
使用して良いのでしょうか?
ご回答よろしくお願い致します。
No.1
- 回答日時:
あなたの持ってる教科書には
なんて書いてあるのですか?
すべて普通の教科書なら書いてありそうなことばかりが
質問されてます.
>e^xの巾級数展開について、
>剰余項R(n+1)がlim[n→∞]R(n+1) = 0になれば、
「なれば」ではなく「なるん」です.
これは重要な例ですから
大抵の教科書にでてるはずです.
e^xのTaylor展開の剰余項については
Taylor展開の定理で与えられている一般の剰余項を
e^xに適用すればでてきます.
また,
n次までのTaylor展開の剰余項は
(関数からでてくる部分)x^{n+1}
という形になることもTaylorの定理から分かります.
したがって,x^{n+1}を強調したければ
剰余項をR(x^{n+1)と書くだろうし
x^{n+1}であることは当たり前で次数だけで十分だと考えれば
R(n+1)とかくというだけで
こんなのは単なる表記の問題にすぎません.
C^ωに関して,有限級数が思いつかないって・・・
f(x)=x
は立派な「級数展開」であり,C^ωです.
>また、C^ω級はテーラー展開の場合(x=0で級数展開できない場合)でも
>使用して良いのでしょうか?
きちんと記号の定義を見直しましょう.
級数展開にはきちんと「条件」がついているはずです.
開区間Iでn階微分可能とか,何かが連続だとかときちんと書いてませんか?
ですので,そういうIで考えている場合は
厳密にはC^ω(I)とか書くのです.
実数Rの全ての点で級数展開可能であるなら
C^ω(R)です.
x=0で級数展開できないのであれば
x=0の近傍でC^ωではないのは自明です.
実際はほとんどの場合において,級数展開は
ある特定の一点aの近傍だけで考えることが多いので
aの近傍Iをとって
IでC^ωな関数の集合C^ω(I)を考え
C^ω_a = ∩ C^ω(I) (共通部分はaの全ての近傍Iに関するもの)
なんてものを考えるのですが,
これはおいおいでてくるでしょう(germ(芽)という概念).
No.2ベストアンサー
- 回答日時:
第一点:
その「なれば」は、已然形ですよね?
第二点:
剰余項の表示方法は、いろいろありますが…
テイラーによれば、
f(x) = Σ[k=0~n-1] (1/k!){ f^(k)(a) }(x - a)^k + R(n) について、
∃c, |c-a|<|x-a|, R(n) = (1/n!){ f^(n)(c) }(x - a)^n です。
f(x) = e^x, a = 0 のとき、R(n) = (1/n!)(e^c)(x^n) ですから、
任意の実数 M に対して、|x| < M の範囲では |R(n)| < (1/n!)(e^M)(M^n)。
この式より、n→∞ でハサミウチできますね。
第三点:
R(x^(n+1)) は、O(x^(n+1)) の見間違いかと思います。
O( ) は、「ランダウのビッグ・オー」です。
R(n+1) は、n+1 番目の剰余項という意味で添え字を付けているだけです。
第四点:
有限級数というのは、ある添え字の値以降の項が全て 0 であるような
無限級数のことです。特別なことは、何もありません。
第五点:
C^ω級か否かは、各点において判定されることです。
拡張として、ある集合の全ての点においてC^ω級であることを
その集合においてC^ω級とか言ったりもします。
f(x) が x=a を中心としてテイラー展開可能なら、
f は a においてC^ω級であるし、
不可能なら、C^ω級ではない。それだけです。
f(x) が x=a 中心ではテイラー展開可能で、
x=b 中心ではテイラー展開可能でないならば、
a を含み b を含まない区間においては、C^ω級であると言えます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 「f(z)=1/(z^2-1)に関して ローラン展開を使う場合、マクローリン展開を使う場合、テイラー 3 2022/08/27 19:56
- 数学 フーリエ級数展開の問題 1 2022/11/04 10:57
- 数学 素朴な疑問について 級数展開で、たとえば三角関数が、 a0+a1x+a2x^2+a3x^3+... 8 2022/03/28 16:27
- 数学 多変数関数の微分とテイラー展開について 5 2022/04/24 16:55
- 数学 複素関数と実関数のテーラー展開の違いについて 1 2022/08/09 06:18
- 数学 f(z)=(e^iz)/z^3について、 (1)f特異点の種類を述べよ(極みの場合は位数も述べる) 1 2022/08/01 12:01
- 数学 中3多項式置き換えによる展開と、因数分解について ①(x+y-2)^2 ②(x-y+5)(x-y-5 2 2022/04/21 00:00
- 工学 以前、線形代数からフーリエ級数展開を導く上で 式v=(v, e1)e1+(v, e2)e2+…+(v 6 2022/06/29 17:24
- 数学 『数は実在するのか』 6 2023/06/04 15:15
- 数学 これってテイラー展開で解けますかね? N次の剰余項が求められない気がして詰んでます 2 2023/06/21 16:08
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
なんで、等比数列の和で、r(公...
-
数Ⅰの問題について教えてくださ...
-
展開の問題で項の順番が逆でも...
-
漸化式 最後の式で公比を(n-1)...
-
高1 数学です (因数分解) a(b...
-
Cnの一般項を求めよ
-
等差数列、等比数列
-
等比数列
-
等比数列の一般項について この...
-
1日目は1円、2日目は2円・...
-
等比数列{a n}について a2+a3...
-
数2の二項定理の問題です!教え...
-
等差数列の証明
-
定数項は「0」か「なし」か?
-
数学の問題
-
y=a(x-p)2乗+qの形にする...
-
この数列の解き方を教えてください
-
数列(2)
-
数列½、¹∕₃、²/₃、¼、4/2、¾...
-
数列の一般項はどこまで簡単に?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
なんで、等比数列の和で、r(公...
-
定数項は「0」か「なし」か?
-
( )内に指定された項の係数を求...
-
等比数列の問題です。 第4項が2...
-
xの多項式(x+1)(x+2)(x+3)(x+4)...
-
展開の問題で項の順番が逆でも...
-
数列3,7,13,21,31,43,57,・・・の...
-
数学の数列において一般項Anに...
-
この数列の解き方を教えてください
-
【至急】 公文の数学です!中3...
-
数2の二項定理の問題です!教え...
-
高1 数学です (因数分解) a(b...
-
数学の問題
-
数学Bの等比数列の問題
-
(2x+3y+z)(x+2y+3z)(3x+y+2z)を...
-
等比数列の逆数の和について
-
いろいろな数列の和 n≧2のとき...
-
2x²-3xy-2y²-5x+5y+3 =2x...
-
等差数列の証明
-
(x-2y+3z)^2 を展開せよ。 これ...
おすすめ情報