La transformación de la integral de contorno $\int \frac{z^2}{e^{2\pi i z^3}-1} \operatorname dz$ sobre el circulo $|z|=\sqrt[3]{n+\frac{1}{2}}$

Question

Me gustaría resolver el siguiente:

$$\int\limits_{|z|=\sqrt[3]{n+\frac{1}{2}}} \frac{z^2}{e^{2\pi i z^3}-1}\operatorname dz$$

Me ha dado una pista: "el uso de una transformación $w=z^3$"

Me gustaría hacer uso de la siguiente teorema:

Si $w$ holomorphic en $\Gamma$ $f$ continua en $w(\Gamma)$ $$\int\limits_{w(\Gamma)} f(w) \operatorname dw = \int\limits_\Gamma f(w(z)) w'(z) \operatorname dz$$

Pero estoy un poco confundida como para el contorno de la misma. Es la siguiente a la derecha?

($\Gamma_1$ es el círculo con un radio de $\sqrt[3]{n+\frac{1}{2}}$ y el centro de la $O$, mientras que $\Gamma_2$ tenía un radio de $n+\frac{1}{2}$)

$$\begin{align} \int_{\Gamma_1} \frac{z^2}{e^{2\pi i z^3}-1}\operatorname dz &= \int_{\Gamma_2} \frac{w^{\frac{2}{3}}}{e^{2\pi i w}-1} \cdot \frac{1}{3}\cdot w^{-\frac{2}{3}}\operatorname dw\\ &= \frac{1}{3} \int_{\Gamma_2} \frac{\operatorname dw}{e^{2\pi i w}-1}\\ \end{align}$$

Utilizando el teorema de los residuos ($\operatorname*{res}_{w=k} f(w) = \frac{-i}{2\pi}$)

$$\int_{\Gamma_1} \frac{z^2}{e^{2\pi i z^3}-1}\operatorname dz = 1$$

Pregunta

Esto parece bueno para ser verdad ;)

Puede alguien comprobar? He aplicado el teorema de derecho?

Answer 1

Deje $w=z^3$. Entonces a partir de la $\frac1{e^{2\pi iw}-1}$ tiene un residuo de $\frac1{2\pi i}$ a cada número entero, obtenemos $$ \begin{align} \int_{|z|=\left(n+\frac12\right)^{1/3}}\frac{z^2\,\mathrm{d}z}{e^{2\pi iz^3}-1} &=\frac13\cdot3\int_{|w|=n+\frac12}\frac{\mathrm{d}w}{e^{2\pi iw}-1}\\ &=2\pi i(2n+1)\frac1{2\pi i}\\ &=2n+1 \end{align} $$ desde allí se $2n+1$ enteros dentro de $|w|=n+\frac12$. El factor de $3$ es debido a que para cada tiempo de $z$ traza el círculo, $w=z^3$ círculos se $3$ veces.

Answer 2

$\newcommand{\ángulos}[1]{\left\langle\, nº 1 \,\right\rangle} \newcommand{\llaves}[1]{\left\lbrace\, nº 1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, nº 1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, nº 1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\dsc}[1]{\displaystyle{\color{red}{#1}}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\piso}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\mitad}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\Li}[1]{\,{\rm Li}_{#1}} \newcommand{\norm}[1]{\left\vert\left\vert\, nº 1\,\right\vert\right\vert} \newcommand{\pars}[1]{\left (\, nº 1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\parcial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\raíz}[2][]{\,\sqrt[#1]{\vphantom{\large Un}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\ul}[1]{\underline{#1}} \newcommand{\verts}[1]{\left\vert\, nº 1 \,\right\vert}$ $\ds{\oint_{\verts{z}\ =\ \pars{n + 1/2}^{1/3}} {z^{2} \\expo{2\pi\ic z^{3}} - 1}\,\dd z:\ {\large ?}}$.

---

Voy a realizar la evaluación sin modificar el contorno original. Se utilizará el conocido expansión $\ds{{1 \over \expo{w} - 1}=\sum_{n\ =\ -\infty}^{\infty}{1 \over w - 2n\pi\ic}}$.

\begin{align}&\color{#66f}{\large% \oint_{\verts{z}\ =\ \pars{n + 1/2}^{1/3}}{z^{2} \over \expo{2\pi\ic z^{3}} - 1} \,\dd z} =\oint_{\verts{z}\ =\ \pars{n + 1/2}^{1/3}}z^{2}\sum_{m\ =\ -n}^{n} {1 \over 2\pi\ic z^{3} -2\pi m\ic}\,\dd z \\[5mm]&={1 \over 2\pi\ic}\oint_{\verts{z}\ =\ \pars{n + 1/2}^{1/3}} \bracks{{1 \over z} + 2\sum_{m\ =\ 1}^{n}{z^{5} \over z^{6} - m^{2}}}\,\dd z \\[5mm]&=1 + {1 \over \pi\ic}\sum_{m\ =\ 1}^{n} \oint_{\verts{z}\ =\ \pars{n + 1/2}^{1/3}}{z^{5} \over z^{6} - m^{2}}\,\dd z \\[5mm]&=1 + 2\sum_{m\ =\ 1}^{n} \sum_{k\ =\ 0}^{5}\lim_{\atop z\ \to\ m^{1/3}\expo{k\pi\ic/3}} \bracks{\pars{z - m^{1/3}\expo{k\pi\ic/3}}{z^{5} \over z^{6} - m^{2}}} =1 + 2\sum_{m\ =\ 1}^{n}\sum_{k\ =\ 0}^{5}{1 \over 6} \\[5mm]&=1 + 2\sum_{m\ =\ 1}^{n}1=1 + 2\times n=\color{#66f}{\LARGE 2n + 1} \end{align}