- ベストアンサー
算術幾何平均の展開式
はじめまして。楕円関数論に興味を持って勉強しております。 ガウスが発見した算術幾何平均の展開式、 \frac{1}{M(1+x,1-x)} = 1 + frac{1}{2}^2 x^2 + frac{3}{8}^2 x^4 + ... の導出法をご存知の方教えてください。または、載っている本を教えて下さい。 よろしくお願い致します。
- みんなの回答 (3)
- 専門家の回答
関連するQ&A
- ガウスの超幾何微分方程式
ガウスの超幾何微分方程式 時弘哲治「工学における特殊関数」p.94 (3.69) (添付画像の式1)がガウスの 超幾何微分方程式である、と記載されています。 一方で、ガウスの超幾何微分方程式は添付画像の式(2)で与えられます。 式(2)のβ=式(1)の(α-β+1/2)とし、式(2)のγ=式(1)のβ+1/2としてみましたが、式1 と式2が同等であるとは自分では証明できませんでした。 どのような変数変換をすれば二つの式が同じであるかご教授お願いいたします。
- ベストアンサー
- 数学・算数
- テイラー展開の幾何学的意味について
テイラー展開についてどなたかご指導ください。 ある関数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での微係数に大きな重みを付けて平均することになると思います。 この重みが幾何学的に何を意味しているのかどなたか教えていただけないでしょうか。
- ベストアンサー
- 数学・算数
- 超幾何関数の初等関数表示について
F( , ; ; )はガウスの超幾何関数をあらわすものとして (1/2+√(1 - x))^(1-2a)=F(a, a - 1/2; 2a; x) がテーラー、ローラン展開など用いても証明できませんでした 論文などでよく見かけるのですが証明できないと理解した気になれません ヒントだけでもいいのでご教授ください
- ベストアンサー
- 数学・算数
- 論理式と算術式の混じった公式
ハッカーのたのしみ、と言う本を読んでいるのですが、例えば、 x + y = (x xor y) + 2(x & y) (x, yは32bit整数) や、 abs(x - y) <= (x xor y) (x、yは符号無し32bit整数) と言うように論理式と算術式の混じった公式が多数出ています。このような式を扱う数学の分野って、あるんでしょうか? 群論や体論で説明できる範囲の公式なんでしょうか? (なぜこんな質問をするのかと言うと、今読んでいる「ハッカーのたのしみ」では証明がほとんど省かれているため、入門書のような物があれば読んでみたいのです。群論や体論の範囲でOKなら、それらの入門書を読もうと思っています。) はるか昔、群論をかじった経験はありますがきれいさっぱり失念しています(涙)。そんな私にどなたかアドバイスを下さると幸いですm(_ _)m。
- ベストアンサー
- 数学・算数
- テイラー展開による導出
テイラー展開を使って導関数と差分式の関係を表す式を導出したいのですが、どうやってもうまくできません。 df(x)/dx={f(x+a)-f(x)}/a+O(a)という式を導きたいのですが、x=aのまわりでテイラー展開してみても全然うまくいきません。 どうやればいいのか教えてください!! ちなみにO(a)はどんな関数でもいいというやつです。
- 締切済み
- 数学・算数
- 式の級数展開
式の級数展開 時弘哲治「工学における特殊関数」p102において 2zeta / (zeta * zeta -1)のzeta=0まわりの展開は -2zeta - 2 (zetaの3乗) とありました。 自分で展開をしてみようと思い f(x) = sigma_{k=0}^{n} {f^k(a) * (x-a)^k}, x=0のテーラー展開をしたのですが、 得られたのは = -2 -2 + ... でした。 展開の式はテーラー展開でなく、ローラン展開をすることになるのでしょうか? -2zeta - 2 (zetaの3乗) を得るための式変形のヒントをお願いいたします。
- ベストアンサー
- 数学・算数
- 会話が成り立たない人と会話する必要があり、成り立たないから仕事に支障をきたしています。
- 聞いた質問に対して相手の反応がなく、無視されることが多いです。
- 私はパートで作業員であり、その方は責任者です。仕事を円滑に進めるためにも、コミュニケーションの改善が必要です。
お礼
siegmundさん、再度ご回答いただき誠にありがとうございます。 展開して係数を決めるというやり方でやればよいのですね。 私は \frac{1}{M(1+x,1-x)} = (1+t^2) \frac{1}{M(1+t^2,1-t-2)} を繰り返し適用するというやり方でやろうとしていました。 超幾何関数と対応関係もよくわかりました。 本当にどうもありがとうございました。