aula 5 - integrais complexas; teorema de cauchy. · aula 5 - integrais complexas; teorema de...

21
Aula 5 Integrais complexas; Teorema de Cauchy. Rafael Rabelo Departamento de Física da Matéria Condensada Instituto de Física “Gleb Wataghin”

Upload: others

Post on 14-Oct-2020

13 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Aula 5Integrais complexas;Teorema de Cauchy.

Rafael Rabelo

Departamento de Física da Matéria CondensadaInstituto de Física “Gleb Wataghin”

Page 2: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Conteúdo

1. Integrais complexas

2. Teorema de Cauchy

1

Page 3: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Integrais complexas

Page 4: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Integrais complexas

Se uma função f(z) é simplesmente valorada e contínua em algumaregião R do diagrama de Argand, podemos definir sua integral entredois pontos A e B em R.

Em geral, o valor da integral vai depender do caminho C entre A e B.

2

Page 5: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Diferentes caminhos entre A e B

3

Page 6: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Parametrização do caminho

Considere um caminho C parametrizado por t ∈ R, tal que x = x(t) ey = y(t), e t = α corresponde ao ponto A e t = β corresponde aoponto B. Então:∫

Cf(z)dz =

∫C(u+ iv)(dx+ idy)

=

∫Cudx−

∫Cvdy+ i

∫Cudy+ i

∫Cvdx

=

∫ β

α

udxdt dt−∫ β

α

vdydt dt+ i∫ β

α

udydt dt+ i∫ β

α

vdxdt dt.

4

Page 7: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Exemplo 1

Avalie a integral de f(z) = z−1 ao longo do círculo |z| = R, começandoe terminando em z = R.

z(t) = R cos(t) + iR sin(t), 0 ≤ t ≤ 2π.

5

Page 8: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Exemplo 1

f(z) = 1x+ iy =

x− iyx2 + y2 .

u =x

x2 + y2 =cos(t)R e v = −y

x2 + y2 =− sin(t)

R .

∫C1

1zdz =

∫ 2π

0

cos(t)R (−R sin(t))dt−

∫ 2π

0

− sin(t)R R cos(t)dt

+ i∫ 2π

0

cos(t)R R cos(t)dt+ i

∫ 2π

0

− sin(t)R (−R sin(t))dt

= 0+ 0+ iπ + iπ = 2πi.

6

Page 9: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Exemplo 2

Avalie a integral de f(z) = z−1 ao longo do caminho C2 consistindono semi-círculo |z| = R no semi-plano superior y ≤ 0.

∫C2

dzz = πi

7

Page 10: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Exemplo 3

Avalie a integral de f(z) = z−1 ao longo do caminho C3:

C3a : z = (1− t)R+ itR, 0 ≤ t ≤ 1;C3b : z = −sR+ i(1− s)R, 0 ≤ s ≤ 1.

8

Page 11: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Exemplo 3

∫C3

dzz =

∫ 1

0

−R+ iRR+ t(−R+ iR)dt+

∫ 1

0

−R− iRiR+ s(−R− iR)ds.

∫ 1

0

−R+ iRR+ t(−R+ iR)dt =

∫ 1

0

(−1+ i)(1− t− it)(1− t)2 + t2 dt

=

∫ 1

0

2t− 11− 2t+ 2t2dt+ i

∫ 1

0

11− 2t+ 2t2dt

=12[ln(1− 2t+ t2)

]10 + i [arctan(2t− 1)]10

= 0+ i[π4 +

π

4

]=

πi2 .∫ 1

0

−R− iRiR+ s(−R− iR)ds =

πi2 .

9

Page 12: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Exercício

Avalie a integral de f(z) = Re(z) ao longo dos caminhos C1, C2 e C3.

1. Caminho C1:∫C1Re(z)dz =

∫ 2π

0R cos(t)(−R sin(t) + iR cos(t))dt = iπR2;

2. caminho C2:∫C2Re(z)dz =

∫ π

0R cos(t)(−R sin(t) + iR cos(t))dt = iπR2

2 ;

3. caminho C3:∫C3Re(z)dz =

∫ 1

0(1− t)R(−R+ iR)dt+

∫ 1

0(−sR)(−R− iR)ds

=R22 (−1+ i) + R2

2 (1+ i) = iR2.

10

Page 13: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Resultado importante

TeoremaConsidere a integral de uma função f(z) ao longo de um caminho C.Se |f(z)| ≤ M em C, e o comprimento do caminho C é L, então∣∣∣∣∫

Cf(z)dz

∣∣∣∣ ≤ ∫C|f(z)| |dz| ≤ M

∫Cdl = ML.

11

Page 14: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Teorema de Cauchy

Page 15: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Teorema de Cauchy

TeoremaSe f(z) é uma função analítica e f′(z) é contínua em cada pontosobre e dentro de um contorno C, então∮

Cf(z)dz = 0.

12

Page 16: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Teorema de Green no plano

LemmaSe p e q são funções com primeiras derivadas contínuas sobre edentro de um contorno C, limitando uma região R do plano, então∫ ∫

R

(∂p∂x +

∂q∂y

)dxdy =

∮C(pdy− qdx).

13

Page 17: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Prova do Teorema de Cauchy

Prova

I =∮Cf(z)dz =

∮C(u+ iv)(dx+ idy)

=

∮C(udx− vdy) + i

∮C(udy+ vdx)

=

∫ ∫R

[∂(−u)∂y +

∂(−v)∂x

]dxdy+

∫ ∫R

[∂(−v)∂y +

∂u∂x

]dxdy.

Como f(z) é analítica, u e v satisfazem as condições deCauchy-Riemann. Então, ambos os termos entre colchetes são iguaisa zero, e I = 0.

14

Page 18: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Corolário

Sejam A e B dois pontos ligados por curvas c1 e C2, que juntaslimitam uma região fechada R. Se f(z) é analítica em R, a integral def(z) é a mesma ao longo de C1 e C2.∫

C1f(z)dz−

∫C2f(z)dz =

∮C1−C2

f(z)dz = 0.

Então, ∫C1f(z)dz =

∫C2f(z)dz.

15

Page 19: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Corolário

Sejam C e γ dois contornos fechados no diagrama de Argand, deforma que γ está completamente dentro de C. Se f(z) é analítica naregião fechada R entre C e γ, então a integral de f(z) é a mesma aolongo de C e de γ.

16

Page 20: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Teorema de Morera

TeoremaSe f(z) é contínua em uma região fechada R limitada por uma curvaC, e ∮

Cf(z)dz = 0,

então f(z) é analítica em R.

17

Page 21: Aula 5 - Integrais complexas; Teorema de Cauchy. · Aula 5 - Integrais complexas; Teorema de Cauchy. Author: Rafael Rabelo Created Date: 3/12/2018 5:23:33 PM

Próxima aula

• Fórmula Integral de Cauchy (24.10);• Séries de Taylor e Laurent (24.11).

18