Rasyonel kesirler serisi

Question

Gradshteyn I, Ryzhik I Table Of Integrals, Series And Products (7Ed, Elsevier, 2007) (Isbn 0123736374) (1220S) 'de aşağıdaki serileri okudum $$-\frac{x}{x-1}=\sum _{k=0}^{\infty } -\frac{x^{2^k}}{x^{2^{k+1}}-1}=\sum _{k=1}^{\infty } \frac{2^k x^{2^k-1}}{x^{2^k-1}+1}$$ seri $$\frac{2^k x^{2^k}}{x^{2^k}+1}$$ Van Wijngaarden'in hile pozitif serisini alternatif serideki kullanarak hesaplamak kolaydır, ancak ikinci seriden geldiğinde ??

Answer 1

Aşağıdakilerin | x | <1 için geçerli olduğunu gösteriyoruz: \begin{align*} \frac{x}{1-x}&=\sum_{k=0}^\infty\frac{2^kx^{2^{k}}}{1+x^{2^{k}}}\tag{1}\\ &=\sum_{k=0}^{\infty}\frac{x^{2^{k}}}{1-x^{2^{k+1}}}\tag{2}\\ \end{align*}

Sahip olduğumuzdan beri \begin{align*} \frac{2^{k+1}x^{2^{k+1}}}{1-x^{2^{k+1}}}=\frac{2^kx^{2^k}}{1-x^{2^k}}-\frac{2^kx^{2^k}}{1+x^{2^k}} \end{align*}

Biz teleskopik olarak elde {hizalama *} başlayacak \ \ renk {mavi} {\ sum_ {k = 0} ^ \ infty} \ renk {mavi} {\ frac {2 ^ kx ^ {2 ^ k}} {1+ x ^ {2 ^ k}}} \\ & = \ lim_ {N \ to \ infty} \ sum_ {k = 0} ^ N \ frac {2 ^ kx ^ {2 ^ {k}}} {1 + x ^ {2 ^ {k}}} \\ & = \ lim_ {N \ to \ infty} \ left (\ sum_ {k = 0} ^ N \ frac {2 ^ kx ^ {2 ^ {k}}} { 1-x ^ {2 ^ {k}}} - \ sum_ {k = 0} ^ N \ frac {2 ^ {k + 1} x ^ {2 ^ {k + 1}}} {1-x ^ { 2 ^ {k + 1}}} \ sağ) \\ & = \ lim_ {N \ ila \ infty} \ left (\ sum_ {k = 0} ^ N \ frac {2 ^ kx ^ {2 ^ {k} }} {1-x ^ {2 ^ {k}}} - \ sum_ {k = 1} ^ {N + 1} \ frac {2 ^ kx ^ {2 ^ {k}}} {1-x ^ { 2 ^ {k}}} \ sağ) \\ & = \ lim_ {N \ ila \ infty} \ left (\ frac {x} {1-x} - \ frac {2 ^ {N + 1} x ^ { 2 ^ {N + 1}}} {1-x ^ {2 ^ {N + 1}}} \ sağ) \ tag {$2^{N+1}x^{2^{N+1}}\to0$} \\ & \, \, \ color {blue} {= \ frac {x} {1-x}} \ end {hizala *} ve iddia (1) takip eder.

Sahip olduğumuzdan beri \begin{align*} \frac{x^{2^{k}}}{1-x^{2^{k+1}}}&=\frac{\left(1+x^{2^{k}}\right)-1}{1-x^{2^{k+1}}}=\frac{1}{1-x^{2^{k}}}-\frac{1}{1-x^{2^{k+1}}} \end{align*}

Biz teleskopik olarak tekrar elde edilir {hizalamak *} \ renk {mavi} başlar \ {\ sum_ {k = 0} ^ \ infty} \ renk {mavi} {\ frac {x ^ {2 ^ k}} {1 + x ^ {2 ^ {k + 1}}}} \\ & = \ lim_ {N \ to \ infty} \ sum_ {k = 0} ^ N \ frac {x ^ {2 ^ {k}}} {1+ x ^ {2 ^ {k + 1}}} \\ & = \ lim_ {N \ - \ infty} \ left (\ sum_ {k = 0} ^ N \ frac {1} {1-x ^ {2 ^ {k}}} - \ sum_ {k = 0} ^ N \ frac {1} {1-x ^ {2 ^ {k + 1}}} \ sağ) \\ & = \ lim_ {N \ - \ infty } \ left (\ sum_ {k = 0} ^ N \ frac {1} {1-x ^ {2 ^ {k}}} - \ sum_ {k = 1} ^ {N + 1} \ frac {1} {1-x ^ {2 ^ {k}}} \ sağ) \\ & = \ lim_ {N \ - \ infty} \ left (\ frac {1} {1-x} - \ frac {1} {1 -x ^ {2 ^ {N + 1}}} \ sağ) \ tag {$x^{2^{N+1}}\to0$} \\ & = \ frac {1} {1-x} -1 \\ & \, \, \ color {blue} {= \ frac {x} {1-x}} \ end {hizala *} ve iddia (2) takip etmektedir.

Not: IS Gradshteyn ve IM Ryzhik formül 1.121 (1.) 'E göre integraller, seriler ve ürünler tablosunun 07 baskısında :\begin{align*} \frac{x}{1-x}=\sum_{k=1}^\infty\frac{2^{k-1}x^{2^{k-1}}}{1+x^{2^{k-1}}}=\sum_{k=1}^\infty\frac{x^{2^{k-1}}}{1-x^{2^{k}}}\qquad\qquad[x^2<1] \end{align*}