テイラー展開についてどなたかご指導ください。
ある関数f(x)を多項式に当てはめてその係数を解析的に求める証明は理解できるのですが、
テイラー展開の幾何学的意味がよくわかりません。質問は以下のとおりです。
x軸上で、ある点aからh進んだ点をxとして、aからxの区間を考えます。
f(x)は以下のようにaにおける勾配f'(a)を使って以下のように近似できるのは理解できます。
f(x) = f(a) + f'(a)*h ・・・(1)
次に、f'(a)を以下のようにf'(a)とf'(x)の平均に置き換えれば、近似精度がよくなるのも理解できます。
f'(a) → (f'(a)+f'(x))/2 ・・・(2)
式(2)のf'(x)を以下のように近似して
f'(x) = f'(a) + f''(a)*h ・・・(3)
式(2)を書き直すと
f'(a) → f'(a) + f''(a)*h/2 ・・・(4)
となることもわかります。
ここで式(1)のf'(a)を式(4)のものに置き換えると
f(x) = f(a) + f'(a)*h + f''(a)*h*h/2 ・・・(5)
が得られ、テイラー展開の公式と一致しますが、これ以降がわかりません。
式(2)、式(3)、式(4)と同様に
f''(a) → (f''(a)+f''(x))/2 ・・・(6)
f''(x) = f''(a) + f'''(a)*h ・・・(7)
f''(a) → f''(a) + f'''(a)*h/2 ・・・(8)
として式(5)のf''(a)を式(8)のものに置き換えると
f(x) = f(a) + f'(a)*h + f''(a)*h*h/2 + f'''(a)*h*h*h/4 ・・・(9)
となり最後の項が公式と一致しません。
公式と一致させるためには式(6)を
f''(a) → (2*f''(a)+f''(x))/3 ・・・(10)
にしなければいけません。これが引っかかっているところで、なぜ単純な平均ではなくて
2:1の重み付けをしなければならないのか理解できません。
これ以降
f'''(a) → (3*f'''(a)+f'''(x))/4 ・・・(10)
のように、xよりもaでの微係数に大きな重みを付けて平均することになると思います。
この重みが幾何学的に何を意味しているのかどなたか教えていただけないでしょうか。
No.1ベストアンサー
- 回答日時:
とても面白い解釈をなさってますが、ちょっと違う。
「→」でお書きの「置き換える」って操作をどういう意味だと考えるかです。実は平均を取ってる訳じゃありません。で、以下のような意味だと思えば話が合うんです。ホントは
f(a+h) = f(a)+ ∫{t=0~h}f'(a+t)dt
である。それを1次近似では、
f'(a+t) ≒ f'(a)
と近似する。従って、
f(a+h) ≒ f(a)+f'(a)∫{t=0~h}dt = f(a)+f'(a)h
です。
2次近似では、ホントは
f'(a+t) = f'(a)+ ∫{s=0~t}f''(a+s)ds
であるものを
f''(a+s) ≒ f''(a)
と近似する。なので
f'(a+t) ≒ f'(a)+ f''(a)∫{s=0~t}ds = f'(a)+f''(a)t
である。
この近似を使って
f(a+h) = f(a)+ ∫{t=0~h}f'(a+t)dt
≒ f(a)+ ∫{t=0~h}(f'(a)+f''(a)t)dt
= f(a)+ f'(a)h + f''(a)∫{t=0~h}t dt
= f(a)+ f'(a)h + f''(a)((h^2)/2)
ここで1/2の因子が出てきたのは 関数tを積分したからです。三角形の面積に出てくる「てーへんかけるたかさわる 2」の2ですね。
3次近似ではホントは
f''(a+s) = f''(a)+ ∫{u=0~s}f'''(a+u)du
であるものを
f'''(a+u)≒f'''(a)
と近似する。なので
f''(a+s)≒ f''(a)+ f'''(a)s
これを使って
f'(a+t) ≒f'(a)+ f''(a)t + f'''(a)((t^2)/2)
さらにこれを使って
f(a+h) = f(a)+ ∫{t=0~h}f'(a+t)dt
≒ f(a)+ f'(a)h+ f''(a)((h^2)/2) + f'''(a)((h^3)/6)
って具合です。1/6 の因子は、関数((t^2)/2)を積分した結果出てきた。放物線の曲線下面積です。
簡単な例、たとえば多項式
f(x) = A[0]+A[1]x+A[2](x^2)+A[3](x^3)+A[4](x^4)
のテイラー展開を丁寧に正直に計算して、その途中結果の式をグラフにしてみたりしながらお考えになれば、さらに見通しが良くなるかも知れません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 多変数関数の微分とテイラー展開について 5 2022/04/24 16:55
- 数学 「f(z)=1/(z^2-1)に関して ローラン展開を使う場合、マクローリン展開を使う場合、テイラー 3 2022/08/27 19:56
- 数学 tan(z)をローラン展開して tan(z)=-1/(z-π/2)+(1/3)(z-π/2)+… と 14 2023/01/17 10:33
- 数学 集合と論理について 2 2023/01/08 05:52
- 数学 複素関数と実関数のテーラー展開の違いについて 1 2022/08/09 06:18
- 工学 画像はテイラー展開の公式です。 <マクローリン展開> f(z)=Σ_{n=-∞~∞}a(n)(z-a 1 2022/09/01 22:56
- 数学 微分の意味ついて質問が有ります 4 2023/04/05 23:17
- 数学 テイラー展開版は以下であっているでしょうか? 間違いがある場合は、どこが間違っているか教えて下さい。 1 2022/09/01 23:44
- 物理学 物理の惑星の問題 2 2023/03/21 18:51
- 物理学 水平な床に敷いたじゅうたんの上に質量M, 半径aの球をおく。 ある瞬間から 一定の加速度αでじゅうた 5 2022/10/24 20:23
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
テイラー展開 1/(1-x^3), 1/(1-...
-
e^0.1 の評価
-
お茶碗の展開図ってどう書くの?
-
テイラー展開とべき級数展開の...
-
1/x^2のような近似曲線の求め方
-
微少量の近似について
-
「多様体の基礎」松本幸夫先生...
-
パソコンで行列はどう書けばいい?
-
数学の関数極限の問題を教えて...
-
固有値の値について
-
3x3行列の固有値の求め方
-
0≦θ≦2πのとき、sin2θ+cosθ=0の...
-
積に関して可換な行列
-
行列の積の固有値
-
日本数学オリンピック2000年予...
-
sinθ―√3cosθ=a(θ+α)の形にした...
-
対称行列Aの2乗A^2は対称行列で...
-
行列の2分の1乗の計算の仕方
-
A^3= E の問題。
-
三角関数
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
極限limは近似ですか?
-
テイラー展開 1/(1-x^3), 1/(1-...
-
テイラー展開とべき級数展開の...
-
お茶碗の展開図ってどう書くの?
-
e^0.1 の評価
-
1/sinh xの近似
-
テイラー展開の幾何学的意味に...
-
1/x^2のような近似曲線の求め方
-
x=√2+√3+√5+√7の整数部分aは?
-
数値微分の近似公式について
-
テイラー展開とローラン展開は...
-
テイラー展開とマクローリン展...
-
どの参考書にも一次近似式で、...
-
ピカールの逐次近似について。
-
テーラー展開の根本が分かってない
-
確定特異点を決める時のテイラ...
-
この関数の最大最小、またその...
-
楕円の短径算出の公式
-
なぜテイラー展開をするとイコ...
-
逆三角関数
おすすめ情報