Calcule a integral I=\int_{C} \frac{d z}{2 \sqrt{z}}, no ramo principal onde \arg \sqrt{z} \in 0 \leq \theta<2 \pi e sendo C o quadrado orientado no sentido anti-horário de: \quad(1, i) \rightarrow(-1, i) \rightarrow(-1,-i) \rightarrow(1,-i).
Passo 1
O enunciado pede para calcular a integral
I=\int_{C}\frac{dz}{2\sqrt{z}}
no ramo principal indicado, sendo C o quadrado orientado no sentido anti-horário que passa pelos vértices (1,i)\to(-1,i)\to(-1,-i)\to(1,-i) e volta ao ponto inicial (1,i). As informações relevantes são:
\begin{aligned} &\text{1. O integrando é } \frac{1}{2\sqrt{z}}.\\\ &\text{2. O caminho } C \text{ é um laço fechado que envolve a origem } z=0.\\\ &\text{3. Foi escolhido um ramo principal de } \sqrt{z} \text{ (determinando um valor de } \sqrt{z}\text{ em cada ponto,}\\\ &\quad\text{com a convenção do enunciado).}\\\ &\text{4. O ponto inicial e final do contorno é } z_0=1+i. \end{aligned}
Passo 2
Uma observação chave (fórmula de derivada) que vamos usar é que, para uma determinação contínua da função raiz quadrada \sqrt{z} num domínio onde ela é analítica, vale
Explicando devagar: escrevemos \sqrt{z} como função de z. A derivada dessa função, quando a determinação de \sqrt{z} é contínua, é exatamente \dfrac{1}{2\sqrt{z}}. Isso significa que, em tal domínio, o diferencial satisfaz
d\big(\sqrt{z}\big)=\frac{dz}{2\sqrt{z}}.
Isto é útil porque integrais de diferenciais exatos se transformam em diferenças de valores da função primitiva.
Passo 3
Se o caminho C estivesse em um domínio simplesmente conectado onde \sqrt{z} é analítica (sem envolver o ponto singulare/ramificação z=0), então
pois o ponto final e inicial de z coincidem. Mas aqui C envolve z=0, que é ponto de ramificação da raiz; ao percorrermos uma volta completa ao redor de 0 e voltarmos ao mesmo ponto z_0, a continuação analítica da raiz sofre uma mudança de sinal: a raiz quadrada é uma função com monodromia de ordem 2. Mais claramente, escrevendo z=re^{i\theta}, temos
\sqrt{z}=\sqrt{r}\,e^{i\theta/2},
e se aumentamos \theta em 2\pi (volta completa), e^{i(\theta+2\pi)/2}=e^{i\theta/2}e^{i\pi}=-e^{i\theta/2}. Ou seja, após uma volta completa a \sqrt{z} troca de sinal.
Passo 4
Vamos integrar ao longo de C seguindo a continuação analítica da determinação de \sqrt{z} que foi escolhida no ponto inicial z_0=1+i. Pela relação do Passo 2,
Mostrando passo a passo: |z_0|=\sqrt{1^2+1^2}=\sqrt{2}. Tomando a raiz quadrada do módulo dá \sqrt{|z_0|}=(\sqrt{2})^{1/2}=2^{1/4}. O argumento de z_0 é \pi/4, então o argumento da raiz é metade, \pi/8.