21 votos

Una serie cotangente relacionada con la función zeta

$$\sin x = x\prod_{n=1}^\infty \left[1-\frac{x^2}{n^2\pi^2}\right]$$

Si aplica $\log$ a ambos lados y derivar:

$$\cot x = \frac{1}{x} - \sum_{n=1}^\infty \left[\frac{2x}{n^2\pi^2} \frac{1}{1-\frac{x^2}{n^2\pi^2}}\right]$$

Tengo que hacer la ampliación:

$$\frac{1}{1-\frac{x^2}{n^2\pi^2}} = 1 + {\left(\frac{x^2}{n^2\pi^2}\right)} + \left(\frac{x^2}{n^2\pi^2}\right)^2 + \left(\frac{x^2}{n^2\pi^2}\right)^3 + \cdots \tag{1}$$

Pero para esto, voy a ampliar la suma infinita:

$$\cot x = \frac{1}{x} - \left(\frac{2x}{1^2\pi^2} \frac{1}{1-\frac{x^2}{1^2\pi^2}} + \frac{2x}{2^2\pi^2} \frac{1}{1-\frac{x^2}{2^2\pi^2}} + \frac{2x}{3^2\pi^2} \frac{1}{1-\frac{x^2}{3^2\pi^2}}+\cdots\right)$$

Así que puedo entender los límites de esta expansión (porque la serie $\frac{1}{1-x}=1 + x + x^2 + x^3 + \cdots$ mientras $|x|<1$ .

Entonces, ¿tengo razón al decir que puedo hacer la expansión $(1)$ mientras $|x|<\pi$ ? Porque para $x=\pi$ que tenemos: $$\frac{1}{1-\frac{\pi^2}{1^2\pi^2}} = \frac{1}{1-1}$$ Y si $|x|<\pi$ los otros términos como:

$$\frac{1}{1-\frac{\pi^2}{2^2\pi^2}}$$ Puede ampliarse mediante $(1)$ también.

Así que..:

$$\cot x = \frac{1}{x} - \sum_{n=1}^\infty \left[\frac{2x}{n^2\pi^2} \left(1 + {\left(\frac{x^2}{n^2\pi^2}\right)} + \left(\frac{x^2}{n^2\pi^2}\right)^2 + \left(\frac{x^2}{n^2\pi^2}\right)^3 + \cdots \right)\right]\tag{$ |x|<\pi $}$$ $$x \cot x = 1 - 2\sum_{n=1}^\infty \left[\frac{x^2}{n^2\pi^2} + \frac{x^4}{n^4\pi^4} + \frac{x^6}{n^6\pi^6} + \frac{x^8}{n^8\pi^8} + \cdots\right]$$

Y finalmente el famoso: $$x \cot x = 1 - 2\sum_{n=1}^{\infty} \left[\zeta(2n)\frac{x^{2n}}{\pi^{2n}}\right]\tag{$ |x|<\pi $}$$

¿Estoy en lo cierto con los límites para $x$ ?

2voto

Nikos Bagis Puntos 11

En la actualidad (véase [1] pág. 75) $$ \cot(z)=\frac{1}{z}-\sum^{\infty}_{n=1}\frac{(-1)^{n-1}2^{2n}B_{2n}}{(2n)!}z^{2n-1}\textrm{, }|z|<\pi $$ y ([1] pg.807) $$ \zeta(2n)=\frac{(2\pi)^{2n}(-1)^{n-1}}{2(2n)!}B_{2n}\textrm{, }n\in\textbf{N} $$ donde $B_{2n}$ son los números de Bernoulli, es decir $$ \frac{x}{e^x-1}=\sum^{\infty}_{n=0}\frac{B_n}{n!}x^n\textrm{, }|x|<2\pi $$ Su ampliación es muy acertada. Pero desgraciadamente esto es bastante conocido. En [1] puedes encontrar más de estos resultados. Por ejemplo $$ \log\left(\frac{\sin(z)}{z}\right)=-\sum^{\infty}_{n=1}\frac{\zeta(2n)}{n}\frac{z^{2n}}{\pi^{2n}} $$

En realidad, para una función analítica en $(-1,1)$ que también es absolutamente convergente en 1 tenemos $$ \sum^{\infty}_{k=1}\left(f\left(\frac{x}{2\pi i k}\right)+f\left(\frac{-x}{2\pi i k}\right)-2f(0)\right)=2\sum^{\infty}_{k=1}\frac{f^{(2k)}(0)}{(2k)!}\frac{B_{2k}}{(2k)!}x^{2k}\textrm{, }|x|<2\pi $$

[1]: Milton Abramowitz e Irene A. Stegun. "Manual de funciones matemáticas. Dover publications, inc., Nueva York. (1972)

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X