Análisis complejo: integración de contornos

Question

Evaluar por integral de contorno:

$$\int_0^1{ dx\over (x^2-x^3)^\frac 13}$$

¿Debería optar por algún tipo de sustitución para que el límite cambie a $0$ a $\pi/2$ ?

Answer 1

Dibuja el contorno de una mancuerna $C$ sobre el corte de la rama $z \in [0,1]$ . Es decir, dos pequeños segmentos circulares alrededor de los puntos de bifurcación, y un camino superior e inferior que los conecta por encima y por debajo del eje real, respectivamente, como se ilustra a continuación:

Consideramos la integral

$$\oint_C dz \, f(z) = i 2 \pi \text{Res}_{z=0} \left [\frac{1}{z^2} f\left(\frac{1}{z}\right) \right ]$$

donde

$$f(z) = z^{-2/3} (1-z)^{-1/3}$$

y el término de la derecha en la primera ecuación es el residuo en el infinito. Este residuo se puede calcular viendo que

$$\frac{1}{z^2} f\left(\frac{1}{z}\right) = \frac{(z-1)^{-1/3}}{z}$$

para que

$$\text{Res}_{z=0} \left [\frac{1}{z^2} f\left(\frac{1}{z}\right) \right ] = (-1)^{-1/3}$$

En un momento dado me explayaré sobre este tema.

Ahora, definimos

$$z^{-2/3} = e^{-(2/3) \log{z}}$$

tal que $\arg{z} \in [-\pi,\pi)$ . Esta definición es el resultado de que el corte original de la rama de este factor sea $(-\infty,0]$ . Defina además

$$(1-z)^{-1/3} = e^{-(1/3) \log{(1-z)}}$$

tal que $\arg{(1-z)} \in [0,2\pi)$ . Esta definición es el resultado de que el corte original de la rama de este factor sea $[1,\infty)$ .

Para resumir, en las líneas por encima y por debajo del eje real, $z=x \in [0,1]$ y por lo tanto $\arg{z} = 0$ . Sin embargo, en la línea sobre el eje real, $\arg{(1-z)} = 2 \pi$ . Por lo tanto, por encima del eje real, $z^{-2/3} (1-z)^{-1/3} = x^{-2/3} (1-x)^{-1/3} e^{-i 2 \pi/3}$ Por debajo del eje real, $z^{-2/3} (1-z)^{-1/3} = x^{-2/3} (1-x)^{-1/3}$ porque allí, $\arg{(1-z)} = 0$ .

Además, debe quedar claro que las integrales sobre los pequeños arcos circulares de radio $\epsilon$ alrededor de los puntos de ramificación desaparecen como $\epsilon^{1/3}$ .

Por lo tanto, podemos escribir

$$\left ( 1-e^{-i 2 \pi/3}\right) \int_0^1 dx \: x^{-2/3} (1-x)^{-1/3} = i 2 \pi (-1)^{-1/3}$$

Porque ese residuo se calculó a partir del $1-z$ término, entonces $-1=e^{i \pi}$ y tenemos

$$\int_0^1 dx \: x^{-2/3} (1-x)^{-1/3} = i 2 \pi \frac{e^{-i \pi/3}}{1-e^{-i 2 \pi/3}} = \frac{\pi}{\sin{(\pi/3)}} = \frac{2 \pi}{\sqrt{3}}$$

Answer 2

$\newcommand{\+}{^{\dagger}} \newcommand{\angles}[1]{\left\langle\, #1 \,\right\rangle} \newcommand{\braces}[1]{\left\lbrace\, #1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, #1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, #1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\down}{\downarrow} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\floor}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\half}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\isdiv}{\,\left.\right\vert\,} \newcommand{\ket}[1]{\left\vert #1\right\rangle} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\pars}[1]{\left(\, #1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\root}[2][]{\,\sqrt[#1]{\vphantom{\large A}\,#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\, #1 \,\right\vert} \newcommand{\wt}[1]{\widetilde{#1}}$ $\ds{\large\tt\mbox{Just another complex contour integration}}$ :

\begin{align}&\color{#c00000}{\int_{0}^{1}{\dd x \over \pars{x^{2} - x^{3}}^{1/3}}} =\int_{0}^{1}\pars{{1 \over x} - 1}^{2/3}\,{\dd x \over 1 - x} =\int_{\infty}^{1}{\pars{x - 1}^{2/3} \over 1 - 1/x}\,\pars{-\,{\dd x \over x^{2}}} \\[3mm]&=\int_{1}^{\infty}{\pars{x - 1}^{2/3} \over \pars{x - 1}x}\,\dd x =\color{#c00000}{\int_{0}^{\infty}{x^{2/3} \over x\pars{x + 1}}\,\dd x} =2\pi\ic\,{\expo{2\pi\ic/3} \over -1} -\int_{\infty}^{0}{x^{2/3}\expo{4\pi\ic/3} \over x\pars{x + 1}}\,\dd x \\[3mm]&=-2\pi\ic\,\expo{2\pi\ic/3} + \expo{4\pi\ic/3} \color{#c00000}{\int_{0}^{\infty}{x^{2/3} \over x\pars{x + 1}}\,\dd x} \end{align}

\begin{align}&\color{#c00000}{% \int_{0}^{1}{\dd x \over \pars{x^{2} - x^{3}}^{1/3}}} =\color{#c00000}{\int_{0}^{\infty}{x^{2/3} \over x\pars{x + 1}}\,\dd x} =-2\pi\ic\,{\expo{2\pi\ic/3} \over 1 - \expo{4\pi\ic/3}} =\pi\,{-2\ic \over \expo{-2\pi\ic/3} - \expo{2\pi\ic/3}} \\[3mm]&={\pi \over \sin\pars{2\pi/3}} \end{align}

$$ \color{#66f}{\large% \int_{0}^{1}{\dd x \over \pars{x^{2} - x^{3}}^{1/3}} ={2\pi \over \root{3}}} \approx {\tt 3.6276} $$

Answer 3

Aquí hay una forma sin integración de contornos. $$I = \int_0^1 \dfrac{dx}{(x^2-x^3)^{1/3}} = \int_0^1 \dfrac{dx}{x^{2/3}(1-x)^{1/3}}$$ Dejemos que $x=\sin^2(a)$ . Entonces obtenemos que $$I = \int_0^{\pi/2} \dfrac{2 \sin(a) \cos(a) da}{\sin^{4/3}(a) \cos^{2/3}(a)} = 2 \int_0^{\pi/2} \sin^{-1/3}(a) \cos^{1/3}(a) da = \beta(1/3,2/3) = \dfrac{2 \pi}{\sqrt3}$$