Vous êtes sur la page 1sur 32

AO DE LA CONSOLIDACIN DEL MAR DE

GRAU
UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

(Universidad del Per, Decana de Amrica)


FACULTAD DE INGENIERA ELECTRNICA Y ELCTRICA

INTEGRACIN DE
NMEROS COMPLEJOS
PROFESOR

:
Ral Pedro Castro Vidal

ALUMNOS

:
Novoa Vera Rene Gabriel
Palomino Ccallisaya Sal Geovanni
Cermeo Torres Jhorman Adrin

CURSO

:
Funciones Analticas

2016

INTEGRACIN COMPLEJA
Un aspecto esencial de la teora de las funciones analticas es la forma en
que la integral compleja interviene en ella. Como ya hemos comentado, fueron C.
F. Gauss, que no public sus resultados, y A. L. Cauchy quienes, a comienzos del
siglo XIX, desarrollaron la teora de la integracin compleja y la utilizaron para
demostrar que la analiticidad de una funcin en un dominio implica la existencia de
todas las derivadas superiores en un entorno de dicho dominio.
Definiremos la integral de una funcin compleja continua sobre una curva del
plano, mostrando su relacin con las integrales de lnea en

R2

estudiadas en la

asignatura anterior. En este contexto y haciendo uso del teorema de Green


probaremos el resultado fundamental de esta leccin: el Teorema de la Integral de
Cauchy para funciones analticas que nos dice que si f es analtica en un dominio
simplemente conexo, entonces la integral de f sobre una curva cerrada
contenida en

es cero. El resto de los resultados de esta leccin sern,

esencialmente, consecuencias de ste.


Esta leccin es muy terica, pero los resultados que presentaremos son
esenciales en las aplicaciones que estudiaremos en las siguientes lecciones.

Integrales de funciones de variable compleja


Si

es un dominio en el plano complejo y

f : C

es una funcin de

entre dos puntos

variable compleja. Cmo podramos definir la integral de


z2

z1

z2

de , digamos

f (z)dz
z1

x2

Cuando se define la integral

f (x) dx
x1

de una funcin de variable real, nos

valemos de la nocin intuitiva de rea construyendo aproximaciones cada vez


mejores del rea de la regin comprendida entre la curva de ecuacin y=f ( x) y
el intervalo

[x 1 , x 2 ]

del eje

OX

mediante sumas finitas de la forma

f (x n) x n
n

[x 1 , x 2 ]

cada una de las cuales corresponde a una particin del intervalo

. Para extender este proceso a integrales de funciones complejas nos

encontramos con dos dificultades. La primera es que ahora no tenemos la nocin


z1
z2
intuitiva de integral como rea y la segunda es que para ir de
a
podemos seguir muchas curvas (sin salirnos del dominio

) y cada curva

podra proporcionar (tras el proceso de hacer particiones, construir las sumas y


tomar lmites) un valor diferente de la integral.
Sabemos que la integral de lnea de un campo vectorial real plano
entre dos puntos

(x 1 , y 1)

( x 2 , y 2)

F ( x , y)

no depende del camino utilizado para ir

desde el primer punto hasta el segundo cuando el campo es conservativo. En


consecuencia, podremos definir integrales de funciones de variable compleja que
slo dependan de los puntos entre los que integremos, y no del camino usado
para ir de uno a otro, cuando, al realizar la identificacin de una funcin de
variable compleja con un par de funciones reales de dos variables, el campo
vectorial que aparezca en la integral de lnea sea conservativo. Fueron C. F.
Gauss y A. L. Cauchy quienes descubrieron que las funciones de variable
compleja que cumplen esta condicin son, precisamente, las funciones analticas.

Curvas en el plano complejo:


Una curva parametrizada en el plano complejo

funcin continua con valores complejos


puntos

funcin

z (t)

de un intervalo

[t 1 ,t 2 ]R

C es la imagen de una

z (t)=x (t)+ jy(t )

definida para los

. La variable independiente
z (t)

se llama parmetro de la curva y la propia funcin

nombre de parametrizacin de la curva. Los puntos


llaman extremos de la curva;

z1

z 1=z ( t 1 )

es el extremo de partida y

y
z2

de la

recibe el

z 2=z (t 2 ) se
es el extremo

de llegada (por eso en algunos textos no se habla de curvas en el plano complejo,


sino de caminos). Naturalmente, una curva z (t) en el plano complejo C se

(x (t), y(t))

identifica con la curva

en el plano real, lo que nos permite trasladar

de manera obvia a curvas complejas algunos conceptos dados para curvas planas
como los de curva simple (la que no se cruza consigo misma salvo, quizs, en los
extremos), curva cerrada (cuando sus extremos coinciden), curva regular o suave
[t 1 ,t 2 ]
(cuando las funciones x(t) e y(t) son derivables con derivada continua en
,
z ' (t)=x ' (t )+ jy ' (t) , curva regular o suave a trozos

en cuyo caso se define

x (t)

(cuando las funciones


[t 1 ,t 2 ]

y (t)

son derivables con derivada continua en

salvo en un nmero finito de valores del parmetro que corresponden a

esquinas de la curva) o curva de Jordan (una curva regular a trozos, cerrada y


simple).
Definicin:
Sea

continua. Sea
por

un dominio en el plano complejo y sea


C

f : C

una curva regular a trozos contenida en

z (t)=x (t)+ jy(t )

para

t 1 t t 2

. Se define la integral de

una funcin

y parametrizada
f

sobre

como:
t2

f (z)dz= f ( z (t))z '(t )dt


C

t1

Cuando la curva

es cerrada entonces habitualmente se escribe

f ( z)dz .
C

Una propiedad importante que utilizaremos a menudo es la siguiente:


Proposicin:
Sea

un dominio en el plano complejo y sea

funcin continua. Sea

f : C

una curva regular a trozos de longitud

una
L

. Sea

contenida en

M>0

tal que

f (z ) M

para todo

zC .

Entonces

| |

f (z)dz ML

Observacin:
Si no imponemos condiciones adicionales a la funcin
integral definida anteriormente s puede depender del camino
fijado; en otras palabras, si denotamos por

f (z)dz

C , entonces

z2

z1

z2

f , entonces la
C

que hayamos

los extremos de la curva

no sirve para definir la integral de

entre

z1

porque puede cambiar de valor si cambiamos el camino elegido para ir

desde

z1

hasta

es el segmento

z2

. Por ejemplo, sean

z (t)=t

para 0 t 1

z 1=0

que une

z 2=1

z1

con

f (z)=z . Si

z2

, entonces:

C1

f (z)dz= f ( z ( t ) ) z '(t )dt= tdt = 12


C1

Mientras que si

C2

es el arco de circunferencia
z1

t 0 que tambin une


0

con

z2

, entonces:

f (z)dz= f ( z ( t ) ) z ' (t )dt= 12 ( 1+ e jt ) 2j e jt dt= 12 + j 4


C2

Independencia del camino

1
z (t)= (1+ e jt )
2

para

Sea

un dominio en el plano complejo. Se dice que las integrales de una


f : C

funcin continua

dados dos puntos cualesquiera


C1

regulares a trozos
en

z1

y terminan en

son independientes del camino seguido en

C2

z2

z1

z2

contenidas en

entonces

si

del dominio y dadas dos curvas

y tales que ambas empiezan

f ( z) dz= f (z )dz
C1

C2

. En ese caso dicha

z2

f (z)dz

integral se escribe

, notacin que pone el nfasis en el hecho de que la

z1

integral slo depende de los puntos

z1

z2

y no del camino usado para ir de

uno a otro dentro de

Es fcil ver que las integrales de una funcin continua


independientes del camino seguido en

si, y slo si, la integral de

cualquier curva de Jordan contenida en

es cero.

son
sobre

Primitivas: Se sabe que la condicin necesaria y suficiente para que las


integrales de lnea de un campo vectorial real sean independientes del
camino es que dicho campo admita una funcin potencial. En el caso de las
funciones de variable compleja, esto se traduce en el concepto ms familiar
de funcin primitiva. Se dice que F es una funcin primitiva de f en
un dominio

si

es analtica en

F '( z )=f ( z)

para cada

z .

La Regla de Barrow para integrales complejas: Sea


C

y sea

en

f : C

un dominio en

una funcin continua que tiene una funcin primitiva

. Entonces las integrales de

son independientes del

z2

camino seguido en
cualesquiera

z1 , z2

f (z)dz=F ( z2 ) F ( z 1 )

y se tiene

para

z1

El Teorema Fundamental del Clculo para integrales complejas: Sea


un dominio en C y sea f : C una funcin continua cuyas
integrales son independientes del camino seguido en
tiene una funcin primitiva

. Entonces

en

El Teorema de la Integral de Cauchy


Si escribimos

f (x+ jy)=u(x , y)+ jv( x , y)

podemos obtener la expresin de la integral de


un par de integrales de lnea en

f (z)dz
C

):

f (z)dz= f ( z ( t ) ) z '(t )dt


t1

t2
'
[ u ( x ( t ) , y ( t ) ) + jv( x ( t ) , y (t)) ] [ x ( t ) + jy '(t ) ] dt
t1

'
x ( t ) , y ( t ) y ( t )+ v (x ( t ) , y (t)) x '(t)
u dt

t2

[ u ( x ( t ) , y ( t ) ) x ' ( t )v (x ( t ) , y (t )) y ' (t)] dt + j


t1

t2


t1

sobre una curva

como

(la parte real e imaginaria del nmero

t2

z ' (t )=x ' (t )+ jy ' (t) , entonces

u ( x , y ) dxv ( x , y)dy + j v ( x , y ) dx+ u(x , y )dy


C

En resumen, usando la notacin habitual para integrales de lnea de campos


vectoriales, si r (t)=(x (t) , y (t)) denota una parametrizacin de la curva C
R

como curva en

f ( z ) dz = ( u ,v ) . d r

f ( z ) dz = ( v ,u ) . d r

, entonces tenemos:

Ahora, usando el Teorema de Green, estudiado en la asignatura Clculo, y


las ecuaciones de Cauchy-Riemann obtenemos el resultado fundamental de esta
leccin.
Teorema de la Integral de Cauchy
Sea

tal que

un dominio en
f'

y sea
. Sea

es continua en

y su regin interior estn contenidas en

f : C
C

una funcin analtica en

una curva de Jordan tal que ella

. Entonces:

f ( z ) dz=0
C

Corolario 1: Sean
analtica en
de

tal que

un dominio simplemente conexo y


f'

es continua en

una funcin

. Entonces las integrales

son independientes del camino seguido en

Corolario 2: Sean
analtica en

tal que

funciones primitivas en

un dominio simplemente conexo y


f'

una funcin

. Entonces

es continua en

tiene

La hiptesis de que la derivada de la funcin

sea continua en

, que

se usa para poder aplicar el Teorema de Green, no es realmente necesaria; basta


con que f ' exista para que la tesis del teorema se mantenga (y entonces se
conoce como Teorema de Cauchy-Goursat, cuya demostracin es mucho ms
complicada).
C

La hiptesis de que la regin interior a la curva


s es esencial. En principio, para calcular
est definida y sea continua en
interior a

f ( z) dz
C

est contenida en

slo necesitamos que

C , por lo que los valores de

en la regin

no desempean un papel visible; ste se pone de manifiesto

cuando, al usar el Teorema de Green, escribimos las integrales de lnea reales que
aparecen como integrales dobles sobre dicha regin. Veamos un ejemplo de que
dicha hiptesis no puede eliminarse.
Ejemplo: La funcin

f ( z)=1 /z

es analtica en

integral sobre la circunferencia unidad


con

usamos la parametrizacin

f ( z) dz=
0

1
z ' (t)dt= e jt j e jt dt= j 1 dt=2 j
z(t )
0
0

Sin embargo, el que la regin interior a la curva

z (t)=e jt

0 t 2 , que la recorre en el sentido positivo, obteniendo:


2

=C {0 } . Para calcular su

no est contenida en

no tiene por qu implicar que las integrales sean distintas de cero.

n=2, 3 , 4 ,.. .

Ejemplo: Para

, la funcin

f ( z)=1 /z

es analtica en

=C {0 } . Para calcular su integral sobre la circunferencia unidad


usamos otra vez la parametrizacin
2

jt

con 0 t 2

obteniendo:

f ( z)dz= ( z ( t ) )
C

z (t)=e

j e j(1n)t dt=
0

z ' (t) dt= e jt j e jt dt


0

1 ( j ( n1 ) 2 0)
e
e =0
1n

Observacin:
El dominio

=C {0 }

de

f (z)=1 /z , visto en el ejemplo anterior, no es

simplemente conexo. Podemos restringir el dominio de definicin dando un corte a


lo largo, por ejemplo, del eje real negativo. De esa manera f (z)=1 / z es una
funcin analtica en

C {eje real negativo }

que s es simplemente conexo y, por


z2

tanto, en este dominio s podemos definir

z2

z dz
z1

, obteniendo

z dz=log ( z 2 ) log (z 1)
z1

Esto nos muestra, entonces, que la eleccin del dominio en el que vayamos
a trabajar es esencial a la hora de aplicar los teoremas sobre funciones de variable
compleja.
Teorema de la Integral de Cauchy para Dominios Mltiplemente Conexos:
Sea
analtica en

un dominio en el plano complejo y sea

tal que

f'

es continua en

familia de curvas de Jordan contenidas en

f : C

. Sean

tales que:

una funcin

C0 , C1 , .. . , Cn

una

1. Las curvas

C1 , C2 , .. . ,C n

son todas interiores a

2. Las curvas

C1 , C2 , .. . ,C n

son todas exteriores entre s.

3. La regin que es interior a


C1 , C2 , .. . ,C n

est contenida en

C0

C0

y exterior a todas las curvas

Entonces se verifica:
z2

f ( z)dz= f ( z) dz
z1

k=1 C k

cuando todas las curvas se recorren en el mismo sentido.


Ejemplo: Combinando el caso en que

f (z)=z n

es entera

(n=0 ,1 , 2 , .. .) y los

ejemplos anteriores con este corolario, obtenemos la siguiente conclusin, que


aplicaremos algunas veces. Sea C una curva de Jordan que no pasa por el
origen y recorremos en el sentido positivo. Entonces:

z n dz=0
C

para todo

n=0 , 1 , 2 , .. . , salvo que

rodee al origen y

n=1 , en cuyo

caso

z1 dz =2 j
C

Las Frmulas Integrales de Cauchy


La Frmula Integral de Cauchy para una funcin analtica muestra que el
valor de dicha funcin en una regin est determinada en toda ella por los valores
sobre su frontera.

La Frmula Integral de Cauchy:

Sea
analtica en
rodea a

f : C

un dominio en el plano complejo y sea


z0

. Sean

z0

un punto de

una funcin

una curva de Jordan que


z0

y tal que ella y su regin interior estn contenidas en

Entonces:
f ( z0 ) =

f (z)
1
dz

2 j C zz 0

cuando la curva

se recorre en sentido positivo. En particular, si

circunferencia con centro

z0

para 0 t 2 , de forma que

y radio

parametrizada por

es una

z (t)=z 0 +r e

jt

z 0 (t)= jr e jt = j(z (t)z0 ) , entonces:

f (z )
1
1
f ( z0 ) =
dz= f (z 0r e jt ) dt

2 j |z z | z z0
2 0
0

frmula que se conoce como Teorema del Valor Medio de Gauss.

La integral de la frmula anterior:


f ( z0 )=

f (z)
1
dz

2 j C zz 0

podemos interpretarla como una integral que depende de un parmetro


Puesto que el integrando es derivable con respecto a
que

z0

no est en

obteniendo:

C , entonces podemos

z0

en la curva

z0

C , ya

derivar con respecto a

z0

f ' ( z 0 )=

f (z)
1
dz

2 j C ( zz 0 )2

f ' ' ( z0 ) =

2f (z)
1
dz

2 j C ( z z0 ) 3

'''

f ( z 0 )=

6 f (z)
1
dz

2 j C ( zz 0 )4
f

y as sucesivamente. Esto garantiza que

es derivable de todos los rdenes y

nos proporciona frmulas para calcular sus derivadas sucesivas en

z0

La Frmula Integral de Cauchy para las Derivadas:

Sea
analtica en

un dominio en el plano complejo y sea


. Entonces

una curva de Jordan que rodea a

contenidas en

una funcin

admite derivadas de todos los rdenes en

que, a su vez, sern funciones analticas. Adems, sean


C

f : C

z0

z0

un punto de

y tal que ella y su regin interior estn

. Entonces la derivada de orden

de

en

z0

viene

dada por:
f ( n ) ( z 0 )=

f ( z)
n!
dz

2 j C ( zz 0 )n+1

cuando la curva

se recorre en sentido positivo.

Del teorema anterior se deduce que el crecimiento de las derivadas de


en un punto

z0

est controlado por el crecimiento de la propia

f .

Funciones analticas y funciones armnicas


Ya sabemos que si una funcin
entonces su derivada
implica que
u( x , y )

f ''

f'

tambin es analtica en

existe y es analtica en

v (x , y)

es analtica en un dominio

. En particular, esto

o, en otros trminos, que

son dos veces diferenciables en

. Derivando en las

ecuaciones de Cauchy-Riemann y usando el teorema de Schwarz de igualdad de


las derivadas cruzadas, obtenemos:
2 u
2 v
2 u
2 v
=
,
=
x 2 x y x y x2
2 u
2 v 2 u 2 v
= 2 , 2=
x y y y x y
con lo cual
2 u 2 u
2 v 2 v
+
=0
,
+
=0
x2 y2
x2 y2

es decir,

son funciones armnicas en

. Como hemos comentado

antes, este hecho proporciona una conexin muy importante entre el estudio de
las funciones de variable compleja y la resolucin de la ecuacin de Laplace.
Naturalmente, en coordenadas polares
u

y v

verifican la ecuacin de Laplace en coordenadas polares:

2 u 1 2 u 1 u
+
+
=0
r 2 r 2 2 r r

e igual para

f (r e j )=u (r ,)+ jv(r , ) , las funciones

v .

Esto muestra que hay una relacin estrecha entre las partes real e imaginaria
de una funcin analtica f (x+ jy)=u(x , y)+ jv( x , y) y se dice que v es la
u . Dos advertencias: primera, la palabra

funcin armnica conjugada de

conjugada no tiene relacin con la conjugacin de nmeros complejos; segunda,


que v sea armnica conjugada de u no quiere decir que u sea armnica
conjugada de

porque las ecuaciones de Cauchy-Riemann no son simtricas;


u

de hecho lo que se cumple es que


la funcin definida por

jf ( x + jy)=v( x , y) ju(x , y )

Dada una funcin armnica


armnica conjugada de

es armnica conjugada de

porque

es analtica.

u , para encontrar una funcin

que sea

basta con resolver el sistema planteado por las

ecuaciones de Cauchy-Riemann: Integrando

u v
=
x y

con respecto a

obtenemos:
v ( x , y)=

donde

u
dy + (x )
x

(x)

depender de

es una constante de la integracin con respecto a

x . Para hallar

u v
=
y x , a

(x)

usamos la otra ecuacin

que puede

partir de la cual obtenemos una ecuacin diferencial de primer orden para

(x)

que debemos resolver.


Ejemplo: La funcin

u(x , y )= y 3 3 x 2 y

hallar la armnica conjugada de


con respecto a

y :

es armnica en todo el plano. Para

integramos la ecuacin

v u
= =6 xy
y x

v ( x , y )= (6 xy ) dy=3 x y + ( x)

u v
=
y x , tenemos:

Como debe cumplirse

3 y 23 x 2=( 3 y 2 + ' ( x ) )

luego

' ( x )=3 x 2

integracin. En definitiva
u

( x )=x 3 +c

donde

v (x , y)=3 x y 2+ x 3 +c

c R

es una constante de

es la armnica conjugada de

f ( z)=f (x + jy)= y 33 x 2 y + j(3 x y 2 x 3+ c)= j(x + jy)3 + jc= j z 3+ jc


es la funcin analtica compleja correspondiente.
Resolucin del problema de Dirichlet en el crculo unidad mediante la
teora de funciones analticas:
Vamos a empezar construyendo la Frmula Integral de Poisson para
funciones analticas en el disco unidad. Esta frmula es una extensin de la que
vimos en la Leccin 6, en el sentido de que la frmula para funciones armnicas
se obtendr tomando parte real en la versin para funciones analticas, y se
deduce a partir de la Frmula Integral de Cauchy.
Si f es una funcin analtica en un dominio que contiene al crculo unidad,
entonces la Frmula Integral de Cauchy nos dice que para un punto de dicho
z0 0
crculo
se tiene:

f ( z0 ) =

f ( z)
1
dz

2 j C zz 0

Sea

r= z 0

y consideremos el punto

z 1=1/ z0 =z 0 / r 2 exterior al crculo

unidad. El Teorema de la Integral de Cauchy nos dice que:

f ( z)
1
dz=0

2 j C zz 1
Restando estas expresiones obtenemos:
f ( z0 ) =

1
1
1

f ( z)dz

2 j C zz 0 zz 1

Ahora parametrizamos

mediante

z (t)=e

jt

con 0 t 2 , con lo que

obtenemos:
2

f ( z0 ) =

1
e jt
e jt

f (e jt ) dt

jt
jt
2 0 e z 0 e z 1

Ahora, escribiendo

z 0=r e j ,

z 1=r1 e j y operando, nos queda:

(1r 2 )f ( e jt )
1
f (r e )=
dt
2 0 |e jt r e jt|2
j

frmula que tambin es vlida para

r=0

(que es el Teorema del Valor Medio de

Gauss). Finalmente, separando en partes real e imaginaria obtenemos, como


hemos dicho antes, la Frmula Integral de Poisson para funciones armnicas que
vimos antes:
2

u ( r , )=

(1r 2) u(1, t)
1
dt

2 0 12 rCos ( t ) +r 2

Transformaciones de regiones
Otra propiedad de las funciones analticas es que cuando son
transformaciones conformes, es decir, con derivada no nula, conservan la
ecuacin
de
Laplace.
Concretamente,
supongamos
que
w=f ( z)=u (x , y )+ jv( x , y) es una funcin analtica en un dominio 1 que se

transforma mediante
Si

(u , v )

de manera conforme y biyectiva sobre el dominio


2

es una funcin armnica en

(x , y )=(u (x , y ), v( x , y))

, entonces la composicin

es tambin una funcin armnica en

. En

efecto, usando la regla de la cadena y las ecuaciones de Cauchy-Riemann, o bien


pasando a las correspondientes funciones analticas y tomando parte real, es fcil
probar que:
2
2 2 2 2
+
=
+ 2 |f ' ( z)| =0
2
2
2
x y
u v

de manera que

es armnica en

En la prctica, esto nos dice que si tenemos el problema de Dirichlet


1
planteado en un dominio
y podemos transformar conformemente este
dominio en un dominio

en el que s sabemos resolver el problema de


2

Dirichlet, entonces la solucin obtenida en

se convierte, mediante la

transformacin conforme, en una solucin del problema original.


Ejemplo: La circunferencia
100

C1

de ecuacin

mientras que la circunferencia

C2

z1/4 1/4
de ecuacin

se mantiene a

z1/2 1/2

se

mantiene a cero grados. Para hallar la distribucin estacionaria de temperaturas


en la regin comprendida entre ambas circunferencias, debemos calcular una
C1
C2
funcin armnica (x, y) tal que =100 en
y =0 en
. Si usamos
la transformacin conforme bilineal
transforma la circunferencia
en la recta
armnica

C1

w=

en la recta

1z
, podemos comprobar que
z
(w)=1

y la circunferencia

C2

(w)=0 , con lo cual el problema ahora es hallar una funcin


(u , v )

en la banda comprendida entre estas dos rectas tal que

=0

(w)=0

en

(u , v )=100 u=(100 w)
transformacin

u=

w=

=100

en

(w)=1 . Es fcil ver que

es la solucin. Haciendo los clculos en la

1z
, obtenemos:
z

x
y
1 y v= 2 2
2
x +y
x +y
2

con lo que la solucin del problema buscado es:


x
( x , y )=100 2 2 1
x +y

El problema de Dirichlet en el semiplano superior:


w=

La funcin bilineal
circunferencia unidad
z

w 1

jz
j+ z

transforma el eje real

(z)=0

en la

de forma que el semiplano superior del plano

se transforma de manera conforme en el interior del crculo unidad del plano

w . Si queremos hallar una funcin


a partir de sus valores

u( x , 0)

u( x , y )

armnica en el semiplano superior

en el eje real, podemos usar la transformacin

bilineal para llevarnos el problema al crculo unidad, usar ah la frmula de Poisson


y deshacer la transformacin. Haciendo las operaciones con cuidado se obtiene la
solucin, que adems es acotada:

u ( x , y )=

u(s , 0)
y
ds

(x s)2 + y 2

expresin que se conoce como Frmula Integral de Schwartz.


Aplicaciones a la Electrosttica:

Cuando tenemos un dominio plano

simplemente conexo (sin agujeros)

en el que no existen cargas elctricas, las ecuaciones del campo elctrico

E= ( Ex , E y )
se reducen a:
(
E )=.
E=0 rot (
E )=
E=0

de las que se deduce que

admite un potencial escalar

grad ()= =
E , que es armnico, o sea
armnica

conjugada

W ( z )= ( x , y ) + j ( x , y)

de

en

en

( )=0 . Sea
.

La

se llama potencial complejo de

Las curvas de nivel

la funcin

funcin

analtica

E . Observemos que

de las ecuaciones de Cauchy-Riemann se deduce que la funcin


llama funcin de Stokes, verifica

, es decir

, que se

grad ( )=(E y , E x ) .

( x , y )=c

se llaman lneas equipotenciales y forman

una familia uniparamtrica de curvas cuya familia ortogonal viene dada, segn
hemos visto, por las curvas de nivel ( x , y )=c de la funcin de Stokes. Puesto
que el campo

es tangente a estas curvas, reciben el nombre de lneas de

corriente del campo elctrico.


Segn lo que acabamos de describir, los problemas de clculo de
potenciales y campos elctricos planos se reducen a la determinacin del
Ex
Ey
potencial complejo, lo que exige conocer las componentes
y
del
campo o bien una cualquiera de las funciones

. Veamos un par de

casos interesantes que pueden usarse, mediante el principio de superposicin y


las transformaciones
conformes, para estudiar casos ms generales.

Ejemplo: El potencial de un campo uniforme


el eje de abscisas, o sea

E0

que forma un ngulo

E0=( E 0 cos ( ) ,E 0 Sen ( ))

con

, viene dado, imponiendo

W (0)=0 , por:
W (z )=E0 e j ( ) z

as que las lneas de corriente son la familia de rectas de pendiente


lneas equipotenciales son la familia de rectas de pendiente

tan ( )

y las

1 /tan( ) .

Ejemplo: Para calcular el potencial de una lnea cargada perpendicular al plano


en el origen se observa que las lneas equipotenciales slo dependen de la
j
distancia r de un punto z=r e
al origen, es decir =( r) . Como debe
ser armnica, se cumple

()=0 , con lo que

d
( r ' ( r ) ) =0 . Con lo cual
dr

obtenemos:
( r)=k log(r )

para alguna constante

k . Entonces, usando las ecuaciones de Cauchy-

Riemann en polares, la funcin de Stokes es, en este caso,


(r e j )=k
con lo que el potencial complejo es:
j
W ( r e )=k log (r )+ jk W (z)=k log (z )

o sea, la rama principal de la funcin logaritmo (salvo la constante de


proporcionalidad

que, como puede probarse es

k=

q
2 0 , siendo q la

densidad lineal de carga y

la constante dielctrica del medio). Las lneas de

corriente son la familia de rectas que pasan por el origen y las lneas
equipotenciales son la familia de las circunferencias con centro en el origen.
Ejemplo: Si tenemos una lnea cargada, con densidad lineal de carga q,
perpendicular al plano en el punto x=a del eje real y otra, con densidad
lineal de carga

perpendicular al plano en el punto

x=a

del eje real,

entonces los potenciales debidos a estas lneas son, respectivamente:


W 1 (z )=

q
q
log ( za ) , W 2 ( z )=
log ( z +a )
2 0
2 0

as que el potencial complejo total es:


W ( z )=W 1 ( z ) +W 2 ( z )=

q
log ( z + a )
2 0

En este caso, las lneas de corriente son arcos de circunferencias que tienen su
centro en el eje de ordenadas y pasan por los puntos (a , 0) y (a , 0) .

Consecuencias de la frmula de Cauchy


Varias son las consecuencias y aplicaciones que se pueden obtener de esta
frmula:
Si

es un camino de Jordan orientado positivamente, y si

es un

punto cualquiera que pertenece al interior de la regin rodeada por la traza


de

, entonces:

f ( z )=

f (w)
1
dw , mientras que si

2 i wz

la componente no acotada:

f (w)

wz dw=0

pertenece a

Una funcin holomorfa se puede representar por medio de una integral:

f ( z )=

f (w)
1
dw

2 i . I ( z) wz

Observando que el valor de la funcin en un punto interior al camino viene


determinado completamente por los valores que la funcin toma sobre su
traza, se puede asegurar que si dos funciones holomorfas coinciden sobre
una circunferencia, (o sobre un camino cerrado), deben coincidir tambin en
todos los puntos interiores.
Si se considera el camino determinado por la circunferencia de centro a
y radio r

recorrida una vez en sentido positivo, se obtiene que:


2

1
f ( a )= f (a+ r e it )dt
2 0

que puede interpretarse como que el valor de una funcin holomorfa


en un punto interior

es la media de los valores que toma

sobre la

|za|=r . De esta observacin se obtienen otras

circunferencia

importantes consecuencias como el teorema de mdulo mximo o el


principio mximo.

Aplicacin al clculo de integrales reales:

Se puede utilizar la frmula de Cauchy para calcular integrales reales. Basta


para ello calcular integrales complejas, por ejemplo a lo largo del contorno cerrado
que se descompone en el segmento real [ R , R ] y la semicircunferencia de
radio

R . Este procedimiento permite conocer el valor de ciertas integrales

reales trigonomtricas complicadas.

Ejemplo: Calcular

z
dz
z1

it

2 it

4 i( cos 2t +iSen2 t)
z
2e
4ie
dz= it
2 ie it dt= it
dt=
dt
z1

0 2 e 1
0 2 e 1
0 2 Cost +i 2 Sent1
2

4 Sen 2 t8 Sent
8 Cost 4 cos 2t

dt+i
dt
54 Cost
54 Cost
0
0
Por lo que:
2

2 t8 Sent
8 Cost 4 cos 2t
dt=0 ,
dt=2
4 Sen
54
Cost
54 Cost
0
0

z
dz=2 i

z1

Desarrollo en serie de potencias de una funcin holomorfa:


Una consecuencia fundamental de la frmula integral de Cauchy es:

Proposicin 1:
Si f

es holomorfa en

z0

entonces

es analtica en

z0

Demostracin:
Sea
con

B R ( z0 )

menor que

un disco en el cual

es holomorfa, y sea

R , entonces z B R ( z 0 ) se tiene:

f (w)
wz
f (w)
f (w)
1
1
1
0
f ( z )=
dw=
dw=
dw

2 i wz
2 i wz 0(zz 0 )
2 i
zz 0
1
wz 0

( t )=z 0 +r e it

z B R ( z 0 )

Como

|zz 0|<|wz 0|=r

, por lo que

, se tiene que

pertenece a la traza de

| |

zz 0
<1
wz 0

y se puede aplicar la frmula de la

suma de los infinitos trminos de una serie geomtrica:

zz 0
1
=
zz 0 n=0 wz 0
1
wz 0

que converge uniformemente sobre los conjuntos compactos contenidos en


B r ( z0 )
, se puede entonces integrar trmino a trmino:
n

f ( w) ( zz 0 )
f ( w) zz 0
1
1
f ( z )=
dw=
dw

2 i wz 0 n=0 wz 0
2 i n=0 ( wz 0 )n+1

f (w)
1
zz 0 )n
dw=
a n ( zz 0 ) n

n+1
2 i n=0
n=0
( wz 0 )

siendo
an =

f (w)
1
dw

2 i ( wz 0 )n +1

y por lo tanto
vlido en

B r ( z0 )

es desarrolarse en serie de potencias en


, por lo tanto que

es analtica en

z0

z0

y el desarrollo es

Esta proposicin justifica que en ocasiones se llame analtica a una funcin


holomorfa.
Proposicin 2:

Si

es holomorfa en
f

existe el lmite de
entonces f

cuando

es holomorfa en

Este punto

G/ { a } , y si
tiende a

lim ( za ) f ( z )=0

z a

entonces tambin

a , y si se define

f ( a )=lim f ( z )

z a

G .

se denomina singularidad evitable.

Otra consecuencia de la frmula de Cauchy es que toda funcin holomorfa


es indefinidamente derivable, y se puede encontrar una expresin similar para las
derivadas de la funcin f a la obtenida para la funcin f (z) mediante la
frmula integral de Cauchy, ya que por ser

holomorfa en un abierto

entonces van a existir las derivadas de todos los rdenes de


de dicho abierto

G , y todas ellas son holomorfas en

tambin una funcin holomorfa en cada punto de

en cada punto

G , es decir,

f (m)

es

para cualquier nmero

natural, m .

Derivadas de orden superior:

Proposicin 3:
f

Si

es holomorfa en

z0

entonces

es infinitamente derivable

z0

y:
f ( n ) ( z 0 )=

siendo
r

f (w)
n!
dw

2 i ( wz 0 )n+1

B r ( z0 )

menor que

un disco en el cual
R .

f es holomorfa, y siendo

( t )=z 0 +r e it

con

Demostracin:
Si
de

es una funcin holomorfa sobre un abierto

G , entonces

z0

es un punto

admite una representacin en serie de potencias en un


+

entorno de

z0

, representacin que es de la forma

f ( z )= an ( zz 0 )n
n=0

con

f (n ) ( z0 )
an =
.
n!
Al estudiar el desarrollo en serie de potencias de la funcin, y por ser nico
dicho desarrollo de Taylor, la expresin de la derivada queda probada.
Otra forma de hacer demostracin es buscando la expresin de la derivada,
y probar la expresin de la derivada n-sima mediante el principio de induccin
como un mero ejercicio.
La demostracin, utilizando la definicin de derivada, es:
f (w)
1
dw , entonces:
Como f ( z )= 2 i . I ( z)
wz

f ( z + z )=

f (w)
1
dw

2 i . I (z+ z) w(z + z )

f ( z+ z )f ( z)
f (w)
f (w)
1
=

dw

z
2 i . z . I (z+ z) w(z + z ) wz

f (w)(wz z+ z)
1
z
1
f (w)
dw=
dw

2 i. z . I ( z+ z)
( wz z )(wz)
2 i. z . I ( z+ z) (wz z)( wz)2

f (w)
f (w
1
1
z
1
1
f (w )
+
dw=
dw+

2
2
2
2 i . I ( z + z )
2 i. I (z ) ( wz )
2 i. I (z ) (wz
( wz ) (wz z )(wz)

Si en la segunda integral
circunferencia de centro

I2

se sustituye la curva
r ,

y radio

por una

r >2| z| , que se recorre una vez en

sentido positivo, entonces su valor no se modifica y se tiene la siguiente acotacin,


aplicando

la

propiedad:

Si

|f ( z ) M z ( )|

MR ,

entonces

| |

f M .long( )

La longitud de la curva es
compacto

2 r . Como

f (w)

es continua en el conjunto

|wz|r , se puede acotar y |f (w)|< M r . Se toma:

r
2

r
2

| z|< ,|wz|=r ,|wz z|||wz|| z||r =

r
2

Por lo que se acota:

I2 =

Mr
f ( w) z
| z|
1
2M
dw
.
. 2 r = 2 .| z|

2
2 i. I (z ) C (wz z )(wz)
2 .|I ( z )| r . r 2
r
2

y al calcular el lmite cuando

| z| tiende a cero se comprueba que vale cero.

Por tanto:
'

f ( z )=lim

z 0

f ( z + z ) f (z )
f (w)
1
=
dw

z
2 i . I ( z ) ( wz )2

Por induccin, derivando sucesivamente se prueba que una funcin


holomorfa en un punto z , tiene infinitas derivadas de la forma:

f ( m ) ( z )=

f (w)
m!
dw

2 i. I ( z ) ( wz )m +1

Como consecuencia se obtiene que si una funcin es holomorfa en un punto


z , su funcin derivada, f ' , es tambin una funcin holomorfa en ese punto,
z , sus funciones derivadas son tambin funciones holomorfas en ese punto,
z , y por tanto, basta que una funcin sea holomorfa en un punto
f

para que

( f C ( z)) .

tenga infinitas derivadas en dicho punto

Si una funcin es holomorfa en un abierto

entonces es de clase infinito

G .

en ese abierto

Como consecuencia, se tiene que si

f =u+iv

es holomorfa en un punto

entonces, necesariamente, existen las derivadas parciales de

de

cualquier orden y son continuas en dicho punto.

Desigualdad de Cauchy
En el caso de que

sea una circunferencia, aplicando la acotacin

anterior, se obtienen las llamadas desigualdades de Cauchy.


Proposicin:
Si

es holomorfa en el crculo de centro

{ z C :|za|r } , entonces
valor

|f (n )( a)| n ! . M (rn )
r

donde

a
M (r )

y radio

r ,

es el mximo

|f (z)| del mdulo de la funcin f sobre la circunferencia |za|=r .

Demostracin:

|f (z)| M ( r) sobre la circunferencia, acotando la integral:

Si

f (m ) ( a ) =

m ! M ( r)
f ( z)
dz

2 i. I (a) ( za )m+1

se obtiene que:

(r )
m! . M ( r )
|f (m ) ( a )| m! . Mm+1
.2 r=
m

|2 i|r

Y en particular, una consecuencia inmediata de


correspondiente a la primera derivada es el siguiente resultado:

|f ' (a)|

la

desigualdad

M (r )
r

Desigualdad de Liouville:

El teorema de Liouville es una consecuencia inmediata de la desigualdad de


Cauchy.
Proposicin:
Si

es entera y acotada en todo el plano complejo, entonces

una funcin constante en

Si

est acotada

f (z)

C .

M ( r ) =M

y se tiene

|f ' (a)|

M
r

para todo

a , por

lo que su mdulo se puede hacer tan pequeo como se quiera al hacer crecer
. Al ser
f ' (z)

entera es posible aplicar esta acotacin en todo punto

se anula para todo

Teorema de Morera:

es

z , y en consecuencia,

z , es decir,

es constante.

El teorema de Morera, debido a

E , tambin es una consecuencia

inmediata de lo anterior y se puede considerar recproco del teorema de Cauchy.


Proposicin:
Si

es continua en un dominio simplemente conexo


G

camino cerrado contenido en

las integrales de

GC , y para todo
a lo largo de esos

caminos son siempre nulas, entonces la funcin es holomorfa en

G .

Demostracin:
En efecto, la hiptesis del teorema implica que
primitiva

cuya derivada coincide con

en

G ,

G , y por tanto es holomorfa en

es derivable en
de orden

de

admite una funcin

F' =f , por lo que

G , con lo que las derivadas

son funciones holomorfas, y en particular su derivada

primera, f , es una funcin holomorfa en

G .

El teorema de Morera es til en numerosas ocasiones para demostrar la


holomorfa de funciones.
Una aplicacin sencilla es el principio de reflexin de Schwartz que dice as:
Proposicin:
Sea

+
G

un abierto del semiplano superior del plano complejo, cuya

frontera contiene al segmento


+
G

respecto del eje real. Sea

valores reales en

del eje real. Sea


f

el abierto simtrico de

una funcin holomorfa en

L . Entonces la funcin definida mediante:

+
G

que toma

f ( z ) z G f ( z ) z G
g ( z )=

es holomorfa en el abierto

L
+ G .
G