Está en la página 1de 3

3.4. Integral de lnea El concepto de integral definida no es tan fcilmente generalizable.

Recordemos que en el caso real la integral definida real abf(x)dx se obtiene integrando en un intervalo de nmeros reales [a,b]. En el plano complejo hay diferentes trayectorias de aproximacin entre dos puntos, y el concepto equivalente al de intervalo de integracin es el de un arco de curva de trayectoria de integracin C.

Figura 19: Tres trayectorias para ir del punto 2 + 2i al punto 7 + 5i

La curva de trayectoria de integracin C a menudo se puede representar con una funcin de variable real que depende de un parmetro: C : z(t) = x(t) + iy(t)ambt,a,b ,a <t <b. Se dice que C es una curva suave si z'(t) = dz dt = dx dt + idy dt es continua. su derivada

PPor ejemplo, en la figura 19 la trayectoria C1 no es una curva suave porque hay un punto (7 + 2i) en el que no es derivable; en cambio, las otras dos s que son curvas suaves. La expresin paramtrica de la curva C2 (un segmento de recta) es la siguiente:
z(t) = (2+2i)+t[(7+5i)-(2+2i)] = 2+5t+i(2+3t),ambt ,0 <t <1.

Para introducir el concepto de integral de lnea, que es la generalizacin de integral definida real al caso de funciones complejas, supongamos que f(z) es una funcin compleja continua definida en cada punto de una trayectoria correspondiente a una curva suave C :z(t) = x(t) + iy(t), a <t <b. A la particin en n partes del intervalo [a,b] de nmeros reales
t0 = a,t1,...,tk-1,tk,...,tn = b

le corresponde en la curva C una subdivisin que viene dada por la particin


z0 = z(t0),...,zn = z(tn).

En cada subdivisin de C se toma un punto wk entre zk-1 y zk (para cada k = 1,..,n). Observad la figura 20.

Figura 20: Particin de la trayectoria de integracin

Ahora se define la suma: S n = k = 1 n f ( w k ) ( z k z k 1 ) El lmite de las sumas anteriores, cuando el nmero de subdivisiones de la curva C crece hacia infinito lim n S n = C f ( z ) dz se llama integral de lnea (o simplemente integral definida) de f(z)sobre la curva trayectoria de integracin C. Propiedades bsicas de la integracin compleja:

La integracin es lineal: C ( f ( z ) + g ( z ) ) dz = C f ( z ) dz + C g ( z ) dz . La trayectoria de integracin se puede descomponer: Cf(z)dz = C1f(z)dz + C2f(z)dz con C1 y C2 subdivisiones de C. La trayectoria de integracin se puede invertir: z0znf(z)dz = - znz0f(z)dz.

Si C s una trayectoria cerrada (el punto inicial coincide con el punto final), se utiliza tambin la notacin siguiente: C f ( z ) dz En general, una integral de lnea de una funcin compleja puede recorrer una curva cerrada (mismo punto origen y punto final) y ser diferente de 0 (veamos

el ejemplo 18). Pero tenemos el resultado siguiente que no demostraremos aqu:


Que un dominio D es simplement conexo significa que D es "sin agujeros". En la prctica los dominios que nosotros utilizaremos cumplen esta propiedad.

(Teorema de Cauchy). Si f(z) es derivable en un dominio simplemente conexo D, para toda trayectoria cerrada C en D la integral de lnea es nula: Cf(z)dz = 0.