integración compleja

You are currently browsing articles tagged integración compleja.

Teorema de Laurent.

Definición (serie de Laurent): Sea $latex z_0 in mathbb{C}$. Una serie de Laurent en $latex z_0$ es formalmente una expresión de la forma:

$latex sum_{n in mathbb{Z}} a_n (z-z_0)^n$ con $latex a_n in mathbb{C}$.

Llamaremos parte analítica a $latex sum_{n=0}^infty a_n (z-z_0)^n$ y parte principal a $latex sum_{n=1}^infty a_n (z-z_0)^{-n}$. Diremos que la serie es convegente en $latex z$ si lo son su parte analítica y su parte principal.

Definición (anillo): Llamaremos anillo centrado en $latex z_0$ de radio menor $latex r$ y radio mayor $latex R$ a:

$latex A(z_0;r,R):= { z in mathbb{C}: r < |z-z_0| < R}$.

En el caso que $latex r=0$ entonces $latex A(z_0;0,R) = D(z_0,R)-{z_0} = D'(z_o,R)$ tenemos un disco perforado. Si $latex r=0 y R=infty$ entonces $latex A(z_o;0,infty) = mathbb{C}-{z_0}$. Finalmente, si $latex r neq 0$ y $latex R = infty$ entonces $latex A(z_0,r,infty = mathbb{C}-overline{D(z_o,r)}$.

Teorema (de Laurent): Si $latex f in mathcal{H}(A(z_0;r,R))$ entonces existe $latex a_n in mathbb{C}$ tal que:

$latex f(z)= sum_{n in mathbb{Z}} a_n(z-z_0)^n$ para todo $z in A(z_0;r,R)$.

demostración:

Clasificación de singularidades aisladas

Teorema de los residuos.

Definición (función meromorfa): Sea $latex f:U-A longrightarrow mathbb{C}$ una función analítica con $latex U subset mathbb{C}$ un abierto y $latex A$ el conjunto de singularidades aisladas de $latex f$. Diremos que $latex f$ es una función meromorfa en $latex U$.

Teorema (de los residuos)

Integrales tipo I, II, III, IV, V i VI

Tags: , , , , , , ,

Integración en el plano complejo.

Definición (Camino, camino opuesto y caminos equivalentes): Un camino es una aplicación

$latex gamma:[a,b] longrightarrow mathbb{C}$

de clase $latex C^1$ a trozos. Si además $latex gamma(a) = gamma(b)$ entonces tenemos un camino cerrado.

Se llama camino opuesto de $latex gamma$ a la aplicación

$latex (-gamma):[-b,-a] longrightarrow mathbb{C} ,/, t mapsto (-gamma)(t):=gamma(-t)$

o, de manera equivalente, para mantener el mismo dominio

$latex (-gamma):[a,b] longrightarrow mathbb{C} ,/, t mapsto (-gamma)(t):=gamma(a+b-t)$.

Dados dos caminos $latex alpha:[a,b] longrightarrow mathbb{C}$ y $latex beta:[c,d] longrightarrow mathbb{C}$ son equivalentes si existe $latex varphi:[c,d] longrightarrow [a,b]$ biyectiva de clase $latex C^1$a trozos creciente de manera que $beta = alpha circ varphi$.

Definición (Integración a lo largo de un camino): Sea $latex f:U subset mathbb{C} longrightarrow mathbb{C}$ una función continua y sea $latex gamma:[a,b] longrightarrow mathbb{C}$ un camino $latex C^1$ tal que $latex gamma^* := gamma([a,b]) subset U$. Entonces:

$latex int_gamma f(z) dz = int_a^b f(gamma(t)) gamma'(t) dt$

Propiedades: Dada $latex f:A subset mathbb{C} longrightarrow mathbb{C}$ es sencillo demostrar

  1. $latex int_gamma a f(z)+b g(z) dz = a int_gamma f(z)dz + b int_gamma f(z)dz$.
  2. Si $latex alpha$ y $latex beta$ son equivalentes en $latex A$ entonces $latex int_alpha f(z)dz = int_beta f(z)dz$.
  3. $latex int_gamma f(z)dz = -int_{-gamma} f(z)dz$.
  4. Si $latex gamma = alpha cup beta$ entonces $latex int_gamma f(z)dz = int_alpha f(z)dz + int_beta f(z)dz$.
  5. $latex |int_gamma f(z)dz| leq M L(gamma)$ donde $latex M:= max { |f(z)|: z in gamma^* }$ y $latex L(gamma)$ es la longitud de la curva $latex gamma$.
  6. Teorema fundamental de cálculo: $latex int_gamma f(z) dz = F(gamma(b)) – F(gamma(a))$, siendo $latex F$ una primitiva de $latex f$. En particular, si $latex gamma$ es cerrado y $latex gamma(a) = gamma(b)$ entonces $latex int_gamma f(z) dz = 0$.

Teorema de Cauchy.

Teorema (de Cauchy)

Corolario (Existencia de primitiva de una función analítica)

Teorema (de Morera)

Fórmula de Cauchy.

Fórmula integral de Cauchy: Sea $latex A$ un abierto, sea $latex overline{D(z_0,R)} subset A$ y $latex f in mathcal{H}(A)$. Entonces

$latex f(z) = frac{1}{2 pi i} int_{C(z_o,R)} frac{f(u)}{u-z} du$ siempre que $latex |z-z_0|<R$

Fórmula integral de Cauchy para derivadas: Sea $latex f in mathcal{H}(A)$, $latex overline{D(z_0,R)} subset A$. Entonces

$latex f^{n)}(z) = frac{n!}{2 pi i} frac{f(u)}{(u-z)^{n+1}}du,, forall z in D(z_0,R)$.

Teorema (de Liouville):

Teorema (fundamental del álgebra):

Teorema (de Weierstrass):

Definición (Indice de un punto respecto de un camino): Sea $latex gamma$ un camino y sea $latex A = mathbb{C} – gamma^*$. Entonces se define el índice de $latex z in A$ respecto de $latex gamma$ al número:

$latex ind_gamma(z) = frac{1}{2pi i} int_gamma frac{du}{u-z}$

Tags: , , , , , , ,