UNIVERSIDAD NACIONAL DE INGENIERIA P.A.

2016 I
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

FUNCIONES ARMNICAS

Consideremos una funcin analtica f (z) = u + i v. Las funciones u y v

satisfacen entonces las ecuaciones de Cauchy Riemann:

u v
x = y (1)


u = v (2)
y x

Supongamos ahora que podemos diferenciar la ecuacin (1) respecto a x ,

y la ecuacin (2) respecto a y. Obtenemos

2u 2v
= ( 3)
x2 x y

2u 2v
= ( 4)
y2 y x

Se puede demostrar que si las segundas derivadas parciales de una funcin

son continuas, el orden de diferenciacin en las derivadas parciales
cruzadas no afecta dichas derivadas cruzadas. Teniendo en cuenta este
resultado sumamos las ecuaciones (3) y (4) y obtenemos

2 u 2 u
+ = 0
x2 y2

De manera alternativa, podramos haber diferenciado la ecuacin (1)

respecto a y, y la ecuacin (2) respecto a x. Suponiendo que las segundas
derivadas parciales de u son continuas sumamos las ecuaciones resultantes
para obtener

2 v 2v
+ = 0
x2 y2

As pues, tanto la parte real como la parte imaginaria de una funcin

analtica deben satisfacer una ecuacin diferencial de la siguiente forma:

46 Rosa ique Alvarez

PDF created with pdfFactory trial version www.pdffactory.com

 UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2016 I
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

2 2
ECUACIN DE LAPLACE 2 = + = 0
x2 y2

Esta ecuacin surge de la teora del potencial, flujo de fluidos, estudio de

campos elctricos y magnticos, conduccin del calor y propagacin de
onda.

DEFINICIN Funcin Armnica

Decimos que una funcin es armnica en un dominio si satisface la

ecuacin de Laplace en dicho dominio.

TEOREMA 1

Si una funcin es analtica en cierto dominio, su parte real y su parte

imaginaria son armnicas en dicho dominio.

TEOREMA 2

Dada una funcin real (x, y) armnica en un dominio simplemente

conexo D, existe una funcin analtica en D cuya parte real es igual a
(x, y). Tambin existe una funcin analtica en D cuya parte imaginaria
es (x, y).

Dada una funcin armnica (x, y).podramos buscar la funcin armnica

v(x , y) correspondiente talque f (z) = ( x , y). + i v ( x , y ) fuese
analtica. O bien dada (x, y).podramos querer determinar una funcin
u(x, y) talque f (z) = u(x, y) + i (x, y) fuese analtica. En cualquiera de los
dos casos, la funcin incgnita puede determinarse hasta una constante
aditiva.

EJEMPLO 1

Pruebe que (x, y).= x 2 - y 2 2xy 2x + 3y puede ser la parte real de

una funcin analtica. Determinar, adems, la parte imaginaria de la
funcin analtica.

DEFINICIN Funcin Armnica Conjugada

Dada una funcin armnica u(x, y), decimos que v(x, y) es la funcin
armnica conjugada de u(x, y) si f (z) = u(x, y) + i v(x, y) es analtica.

47 Rosa ique Alvarez

PDF created with pdfFactory trial version www.pdffactory.com

 UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2016 I
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

EJEMPLO 2

En el ejemplo 1 anterior v ( x, y ) = 2xy + x 2 y 2 - 2y 3x + k es la

armnica conjugada de u ( x, y ) .= x 2 - y 2 2xy 2x + 3y ya que
f (z) = ( x 2 - y 2 2xy 2x + 3y ) + i (2xy + x 2 y 2 - 2y 3x + k ) es
analtica.

Sin embargo v(x , y) .= x 2 - y 2 2xy 2x + 3y no es armnica

conjugada de u (x , y ) = 2xy + x 2 y 2 - 2y 3x + k porque
f (z) = (2xy + x 2 y 2 - 2y 3x + k) + i ( x 2 - y 2 2xy 2x + 3y )
no es analtica.

FAMILIA DE CURVAS ORTOGONALES

Si f (z) = u (x, y) + i v(x, y) es analtica; entonces las familias de curvas:

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

donde y son constantes reales, son ortogonales.

EJEMPLO 3 El flujo modelado por el potencial complejo es:

f ( z ) = u ( x, y ) + i v ( x, y) = z e i / 4

a) Determine las expresiones explcitas para las curvas

equipotenciales u(x, y) = C1 y las lneas de corriente v(x, y) = C2.

b) Demuestre que las lneas de corriente y las curvas equipotenciales

son ortogonales.

c) Grafique las curvas equipotenciales u(x, y)= C1 y las lneas de

corriente v(x, y) = C2 ; donde C1 y C2 son constantes reales.

48 Rosa ique Alvarez

PDF created with pdfFactory trial version www.pdffactory.com

 UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2016 I
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

CURVAS EQUIPOTENCIALES Y LINEAS DE CORRIENTE

4

0
Y

-1

-2

-3

-4
-4 -3 -2 -1 0 1 2 3 4
X

EJEMPLO 4 El flujo modelado por el potencial complejo es:

i
f ( z ) = u ( x, y ) + iv( x, y ) =
z
a) Determine las expresiones explcitas para las curvas equipotenciales
u(x, y) = C1 y las lneas de corriente v(x, y) = C2.

b) Demuestre que las lneas de corriente y las curvas equipotenciales

son ortogonales.

c) b) Grafique las curvas equipotenciales u(x, y)= C1 y las lneas de

corriente v(x, y) = C2; donde C1 y C2 son constantes reales
diferentes de cero.

CURVA EQUIPOTENCIAL Y LINEAS DE CORRIENTE

8

0
Y

-2

-4

-6

-8
-8 -6 -4 -2 0 2 4 6 8
X

49 Rosa ique Alvarez

PDF created with pdfFactory trial version www.pdffactory.com

 UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2016 I
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

ECUACIN DE LAPLACE EN COORDENADAS POLARES

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

Sea f (z) = u(r , ) + i v(r , ) una funcin analtica en un dominio D que

no incluye al origen ( z 0) , y supongamos que u y v tienen derivadas
parciales continuas. Entonces u y v satisfacen la ecuacin de Laplace. Es
decir:

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

2v 1 2v 1 v
+ + =0
r 2 r 2 2 r r

50 Rosa ique Alvarez

PDF created with pdfFactory trial version www.pdffactory.com