Demostraciones de teoremas de Clculo III 1) Teorema de De Moivre

Demostracin:

2) Lmites complejos

Demostracin:

3) Derivabilidad

Demostracin:

Ya que por hiptesis existe f (z) , implica que el lmite existe para todos los valores de h. Tomando h = h1:

Tomando h = i h2

Como el lmite es nico, (1) = (2)

4) Regla de LHopital

Demostracin: Dado que f(z0) = g(z0) = 0 se puede expresar el cociente de la siguiente manera:

5) Series complejas

Demostracin

b) Una sucesin infinita de nmeros complejos converge a z0 si para cada nmero positivo existe un nmero positivo n0 tal que:

(2) es vlida si y slo si

(3)

Para probarlo se supone primero que la condicin (2) es vlida:

Como:

Se obtiene que:

Es decir, se cumplen las condiciones (3).

Asumiendo ahora que (3) son vlidas:

Considerando que n0 es el mayor de los enteros n1 y n2:

Como

Se obtiene que:

Es decir:

En el caso de la serie:

El teorema queda demostrado anlogamente al de sucesiones.

6) Derivada de una serie geomtrica

7) Teorema de Cauchy-Goursat

Demostracin:

Entonces:

Como f(z) es analtica, se cumplen las condiciones de Cauchy-Riemann, es decir:

Nota: Para que esta demostracin sea vlida, deben existir las derivadas de primer orden de la funcin. En el caso de Cauchy-Goursat generalizado esta condicin no es necesaria.

8) Desigualdad de Cauchy

Entonces:

Siendo n un nmero entero y M>0 Demostracin: Por la frmula integral de Cauchy se sabe que:

Por lo tanto:

Para resolver la integral, se utiliza la parametrizacin z(t): Entonces:

Entonces:

Finalmente reemplazando en (1):

9) Residuos y Polos

Demostracin:

Tomando el lmite:

10) Coeficientes trigonomtricos de Fourier La serie trigonomtrica de Fourier se expresa de la siguiente forma:

Deduccin de los coeficientes:

11) Coeficientes exponenciales de Fourier La serie exponencial de Fourier se expresa de la siguiente forma:

Relacin entre los coeficientes de las series trigonomtricas y exponenciales:

Entonces la serie trigonomtrica se puede expresar como:

12) Transformada de Laplace

10