Serie de Laurent $\sin\left(\frac{z}{z+1}\right)$

Question

Busco la serie de Laurent de $\sin(\frac{z}{z+1})$ en el punto $z_0=-1$. Lo que hice es escribir la expansión de taylor

$$\sin\Big(\frac{z}{z+1}\Big)=\sum_{n=0}^\infty(-1)^n\frac{\Big(\frac{z}{z+1}\Big)^{2n+1}}{(2n+1)!}$$

Pero esto no puede ser correcto, ya que no tomo $z_0$ en cuenta. ¿Cómo puedo hacer en este caso la expansión de Laurent?

Answer 1

$$\frac z{z+1}=1-\frac1{z+1}$ $ que $$ \sin\left(\frac z{z+1}\right)=\sin\left(1-\frac1{z+1}\right) =\sin 1\cos\left(\frac1{z+1}\right)-\cos1\sin\left(\frac1{z+1}\right).$$ Can you take it from here?

Answer 2

Una solución mediante el "camino difícil". Para algunos $f\in C^\omega(\Bbb C\setminus\{z_0\},\Bbb C)$ el de Laurent de expansión alrededor de $z_0$ está definido por

$$f(z)=\sum_{n=1}^\infty c_{-n}(z-z_0)^{-n}+\sum_{n=0}^\infty c_n(z-z_0)^n\tag1$$

Y es sabido que

$$c_n=\frac1{2\pi i}\oint_{|z-z_0|=r}\frac{f(z)}{(z-z_0)^{n+1}}\, dz,\quad n\in\Bbb Z,\, r>0\tag2$$

También tenemos la de Cauchy derivado de la fórmula

$$f^{(k)}(z_0)=\frac{k!}{2\pi i}\oint_{|z-z_0|=r}\frac{f(z)}{(z-z_0)^{k+1}}\, dz,\quad k\in\Bbb N_{\ge 0},\,r>0\tag3$$

Por eso, para los de Laurent de expansión de $g(z):=\sin\left(\frac{z}{z+1}\right)$ $z_0=-1$ tenemos que

$$\begin{align}c_n&=\frac1{2\pi i}\oint_{|z+1|=1}\frac{g(z)}{(z+1)^{n+1}}\, dz\\ &=\frac1{2\pi i}\oint_{|z+1|=1}\sum_{k=0}^\infty\frac{(-1)^k z^{2k+1}}{(2k+1)!(z+1)^{2k+n+2}}\, dz\\ &=\sum_{k=0}^\infty\frac{(-1)^k}{2\pi i(2k+1)!}\oint_{|z+1|=1}\frac{ z^{2k+1}}{(z+1)^{2k+n+2}}\, dz\\ &=\sum_{k=0}^\infty\frac{(-1)^k}{(2k+n+1)!(2k+1)!}\partial^{2k+n+1}[z^{2k+1}]_{z=-1}[2k+1\ge 2k+n+1\ge 0]\\ &=(-1)^n\sum_{k=0}^\infty\frac{(-1)^k}{(2k+1)!}\cdot\frac{(2k+1)^\underline{2k+n+1}}{(2k+n+1)!}[2k+1\ge -n\ge 0]\\ &=\frac{(-1)^n}{(-n)!}\sum_{k=0}^\infty\frac{(-1)^k}{(2k+n+1)!}[2k+1\ge-n\ge 0]\\ &=\displaystyle\begin{cases}\frac{(-1)^n}{(-n)!}\sin (1),&-n\ge 0\text{ and }n\text{ is even}\\\frac{(-1)^n}{(-n)!}\cos (1),&-n\ge0\text{ and }n\text{ is odd}\\0,&-n<0\end{casos}\end{align}$$

donde $[\cdots]$ es una Iverson soporte, y $a^\underline b$ es una caída factorial. Por lo tanto auxiliares como parte de la serie de Laurent $g$$-1$, pero $c_0$, es cero.