Variable compleja

Funciones Armónicas

Sea F: UcC →C / F=u+iv entonces existen

u x , u y , v x , v y en cualquier punto (x , y )∈ U y
{u x =v y (1)
u y =−v x (2)

De (1)

( ) ( )
2 2
∂ ∂u ∂ ∂v ∂u ∂ v
= → 2=
∂x ∂ x ∂x ∂ y ∂x ∂x ∂ y
De (2)

( ) ( )
2 2
∂ ∂ u −∂ ∂ v ∂ u −∂ v
= → 2=
∂ y ∂ y ∂y ∂x ∂ y ∂ y ∂x
∂2 u ∂2 u ∂2 v ∂2 v
→ 2 + 2= − =0
∂ x ∂ y ∂ y ∂ x ∂ y ∂x
2 2
∂ v ∂ v
Analogamente 2
+ 2 =0
∂x ∂ y
Luego

{
∂2 u ∂ 2 u
+ =0
∂ x2 ∂ y2
(Ecuaciones de Laplace con dos variables)
∂2 v ∂ 2 v
+ =0
∂ x2 ∂ y2

Definición.- Toda función que satisface las ecuaciones de Laplace se denominan “Funciones
armónicas”

Si F=u+iv es analitica→ u y v son llamadas funciones conjugadas armónicas

Prob(1) Dado u ( x , y )=3 x 2 y+ 2 x 2− y 3−2 y 2

a) Verificar que u es armónica

b) Halle v : R2 → R tal que F=u+iv es analítica

C) Expresar F en términos de z

Solución

a) u x =6 xy +4 x →u x x =6 y+ 4
2 2
u y =3 x −3 y −4 y →u y y =−6 y −4
u x x + u y y =0 → u es armónica
b) u x =v y =6 xy +4 x → v y =6 xy + 4 x

integrando respecto a “y” manteniendo “x” constante

2
→ v=3 xy +4 xy+ h(x )
Derivando respecto a “x”

2 '
v x =3 y +4 y+ h ( x ) pero u y =−v x ó v x =−u y
2 '
→−u y =3 y + 4 y + h ( x )
2 2 2 ' ' 2
−3 x +3 y + 4 y=3 y +4 y+ h ( x ) →h ( x )=−3 x
3
h ( x )=−x +k
2 3
→ v ( x , y )=3 xy +4 xy −x + k
c) f ( z )=(3 x ¿ ¿2 y +2 x2 − y 3−2 y 2)+i(3 xy 2+ 4 xy −x3 + k) ¿ (θ )

z+ z z −z
Haciendo x= , y= , entonces reemplazando en (θ ) se hace engorroso
2 2i
Usemos el método practico que consiste en x=z , y=0 → f ( z )=2 z 2 +i(−z 3+ k )
3 2
¿−iz +2 z +ik
Prob(2) Dado u ( x , y )=−4 x 3 y+ 4 xy 3−3 x 2 +3 y 2+ x +2

a) Verificar que u es armónica

b) Halle v : R2 → R tal que F=u+iv es analítica

c) Expresar F en términos de z

Solución
2 3
a) u x =−12 x y +4 y −6 x+ 1→ ux x =−24 xy−6

u y =−4 x 3 +12 xy 2+6 y → u y y =24 xy +6

→ ux x +u y y =0 →u es armónica
2 3
b) u x =v y =−12 x y+ 4 y −6 x+1 → v=−6 x 2 y 2 + y 4 −6 xy + y +h( x )
2
→ v x =−12 x y −6 y +h ' ( x )=−u y

→−12 xy 2−6 y+ h' ( x )=4 x 3−12 xy 2−6 y → h' ( x ) =4 x 3 →h ( x )=x 4 + k

2 2 4 4
→ v ( x , y )=−6 x y + y −6 xy + y + x + k

c) F ( z )=( −4 x 3 y+ 4 xy 3−3 x 2 +3 y 2+ x+2 ) +i(−6 x2 y 2+ y 4−6 xy + y+ x 4 + k )

Haciendo x=z , y=0

→ F ( z )=(−3 z 2+ z+2 ) + i( z 4+ k )

¿ iz4 −3 z 2+ z +2+ik
Prob(3) Encontrar una función analítica f(z) tal que
2
ℜ [ f ' ( z ) ]=3 x −4 y−3 y 2 , f ( 0 )=6−2 i y f ( 1+i )=0

Solución

*) Considere f ’ ( z ) =u ( x , y ) +iv(x , y )

→ ℜ [ f ( z ) ]=u ( x , y )=3 x −3 y −4 y
' 2 2

*) Por probar que u es armónica

En efecto u x =6 x → u x x =6

u y =−6 y−4 →u y y =−6

u x x + u y y =0 → u es armónica

*) pero u x =v y =6 x → v ( x , y )=6 xy + h( x) (α )

→ v x =6 y +h' ( x ) , pero u y =−v x → v x =−u y

' ' '
→−u y =6 y +h ( x ) → 6 y+ 4=6 y +h ( x ) → h ( x )=4

h( x )=4 x+ k
En (α ) v ( x , y ) =6 xy+ 4 x +k

*) f ' ( z )=( 3 x 2−4 y−3 y 2 ) +i (6 xy +4 x+ k)

Haciendo x=z , y=0

' 2
→ f ( z ) =3 z + 4 iz+ik
Integrando M.a.M
3 2
f ( z )=z +2 i z +ikz+ M
para z=0 → f ( 0 ) =M =6−2i → M =6−2 i

→ f ( z )=z 3 +2i z 2+ikz+ 6−2i

para z=1+i → f ( 1+i )=(1+i)3 +2 i¿

pero (1+i)3 =( 1+ i ) ( 1+i )2=( 1+i )( 2 i )=2i−2

2
→ f ( 1+i )=2 i−2+2i(1+i) +ik (1+i ) +6−2 i=0
2 i−2−4+ik−k +6−2i=0
( i−1 ) k =0 →k =0
 3 2
→ f ( z )=z +2i z +6−2 i

Funciones elementales

Función Exponencial

Definimos e z =exp z=¿ e x ( cosy +iseny ) ; z=x +iy ¿

Nota:

La función exponencial es una función entera. En efecto como u=e x cos y , v=e x sen y
x x
se tiene u x =e cos y=v y ,u y =−e sen y =−v x los cuales son continuas en todo C

Además
z x x z
(e )' ¿ u x +i v x =e cosy +ie seny =e
Propiedades

1) ‖e z‖=e x >0

2) e z e z =e z +z
1 2 1 2

ez 1
1 −z
3) z
=e z −z ,
1 2
en particular z
=e
e 2
e
4) ¿ ¿ , n es natural

5) e z =e z

6) ¿ ¿

Funciones trigonométricas complejas

Sabemos que e iy =cosy +iseny (1)

−iy
e =cosy −iseny (2), e=2,718281 …
iy −iy
( 1 ) + ( 2 ) : eiy +e−iy =2 cosy → cos y =¿ e + e , ∀ y ∈ R ¿
2
 iy −iy
( 1 )−( 2 ) :e iy−e−iy=2i sen y → sen y= e −e , ∀ y ∈ R
2i
Por definición
iz −iz iz −iz
e +e e −e
cosz= , senz= ambas funciones son enteras, además
2 2i
( senz )' =cosz , ( cosz )' =−senz
Por definición se tiene
senz cosz 1 1
tanz= , cotz= , secz= , cosecz=
cosz senz cosz senz
Bajo estas condiciones, se verifican

( tanz )' =sec 2 z , ( cotz )' =−cosec 2 z

( secz )' =secz tanz , ( cosecz )' =−cosecz cotz

Por otro lado
1 i (x+iy ) −i(x +iy) 1 − y+ix y−ix
cosz=cos ( x +iy )= [ e +e ]= [ e +e ]
2 2
1 1
¿ e− y ( cosx +i senx ) + e y (cosx−isenx)
2 2

e y + e− y e y −e− y
¿ cosx−i senx
2 2
¿ cosx cos h y−i sen x sen hy
analogamente senz=sen ( x+iy )=senx cos h y+ icos x sen h y

Funcion logaritmo complejo

Definicion.- ∀ z ∈C , z ≠ 0 , definimos la función logaritmo en la función

logz=ln ‖z‖+i ( θ+2 kπ ) , k ∈ Z , θ=arg ⁡( z )

La función log es multivariada (tiene infinidad de valores)

Si k = 0 entonces log z=ln‖ z‖+iθ

(Se llama valor o rama principal del logaritmo de z)

Observación f ( z )=lnz es analitica , ∀ z ≠ 0

Si z=x +iy ,‖z‖=√ x + y ,θ=arctan

2 2
( xy )
→ logz=ln √ x 2+ y 2+i arctan ( yx )
¿ ln ( x + y ) + iarctan ( )
1 2 2 y
2 x

1 2
donde u ( x , y )= ln ( x ¿ ¿ 2¿ + y ); v ( x , y )=arctan
2 ( xy ) ¿ ¿ es analítica ∀ z ∈C / z ≠ 0
En efecto:

1
1) u= ln(¿ x + y )¿
2
2 2
y v=arctan ( xy ) son continuas ∀ ( x , y ) ∈ R − {(0,0)}
2

x y
2) u x = 2 2
, uy = 2 2
x +y x +y
−y x
v x= 2 2
, v y = 2 2 son continuas ∀ ( x , y ) ∈ R2− {(0,0) }
x +y x +y
3) Se cumple las ecuaciones de Cauchy – Riemann

u x =v y , u y =−v x , ∀ ( x , y ) ∈ R −{ (0,0) } → f ( z )=lnz es analítica ∀ z ≠ 0

2

De otro lado

' x y x−iy
→ f ( z ) =ux +i v x = 2 2
−i 2 2 = 2 2
x +y x +y x +y
z 1 1 1
¿ = → f ' ( z )= ; z ≠ 0 '
luego Si f ( z )=lnz → f ( z )= ; z ≠ 0
zz z z z

Problemas

1) Halle log ⁡(1+i)

Solución

log ( 1+i )=ln‖1+ i‖+i ( π4 +2 kπ )

¿ ln √ 2+i ( +2 kπ )
π
4

¿ ln 2+i ( +2 kπ );
1 π
∀k ∈Z
2 4
1 π
Si k =0 → log (1+i )= ln2+i
2 4
2) z=¿ por definición z w =ew log z , ∀ z,w ∈C , z≠ 0
1 π
(1−i)( ln 2+i )
2 4
¿e ;∀k ∈Z
 1 1 π π
ln2−i ln 2+i +
¿e2 2 4 4

( 12 ln 2+ π4 )+i(−12 ln 2+ π4 )
¿e

( 12 ln 2+ π4 ) i ( −12 ln 2 + π4 )
¿e ×e
¿ e ¿¿
2
3) Si ℜ [ F ' ' ( z ) ]=6 xy +3 x −3 y 2 , F' ' ( i )=−3+ 3i , F' ( 1+i ) =2i

y F ( 0 )=3 , halle F(z) en términos de z

Solución

*) considere F '' ( z ) =u ( x , y )+ iv( x , y )

→ ℜ [ F ( z ) ]=u ( x , y ) =6 xy +3 x −3 y
'' 2 2

*) Probaré que u es armónica

En efecto u x =6 y +6 x → u x x =6

u y =6 x−6 y →u y y =−6
→ ux x +u y y =0 →u es armónica
2
*) pero u x =v y =6 y +6 x → v ( x , y )=3 y +6 xy +h( x)

→ v x =6 y +h ' (x )

pero u y =−v x → v x =−u y

' '
→ v x =6 y +h ( x )=−6 x+6 y → h ( x )=−6 x

→ h ( x ) =−3 x2 +k

→ v ( x , y )=3 y 2 +6 xy−3 x 2 +k
'' 2 2 2 2
→ F ( z )=6 xy +3 x −3 y + i( 3 y +6 xy −3 x +k )
Haciendo x=z , y=0

→ F ' ' ( z )=3 z 2+ i(−3 z 2 +k )

2
¿ ( 3−3i ) z +ik

→ F ' ' ( i )=( 3−3 i ) (−1 ) +ik =−3+3 i

−3+3 i+ik=−3+3 i→ ik=0 → k=0

→ F ' ' ( z )=(3−3 i)z 2

z3
*) F ' ( z )=( 3−3i ) + H=( 1−i ) z 3+ H
3
 ' 3
→ F ( 1+i )=(1−i)(1+i) + H=2 i → 4 i+ H =2i → H =−2 i
(pero (1−i)¿ )
' 3
F ( z )=(1−i) z −2 i
4
(1−i) z
F ( z )= −2 iz+ M
4

→ F ( 0 )=M =3→ F ( z )= ( 1−i4 ) z −2 iz+3

4

4) Resolver la ecuación

2
tan z= i
5
Solución

sen z 2 eiz −e−iz

= i→
cos z 5 −iz 2
i(e ¿ ¿ iz+ e )= i ¿
5
eiz −e−iz −2 iz❑ −iz❑ iz❑ −iz❑
= ↔ 5 e −5 e =−2 e −2 e
iz
e +e −iz
5
iz −iz iz −iz
7 e −3 e =0 ↔ 7 e =3 e
2 iz 3
↔ e = ↔ 2 iz=log (3/7)
7
1
↔ z= log ( 3/7)
2i
5) cos z=2

Solución

eiz +e−iz iz 1
=2 ↔ e + iz =4
2 e
↔¿¿

4 ± √ 4 −4 (1)(1) 4 ± √12
2
↔ eiz = =
2 2
4 ± 2 √3
¿ =2 ± √ 3
2
1
↔ iz=log (¿ 2± √ 3)↔ z= log ⁡(2 ± √ 3) ¿ ∴ z1 =−i log ⁡(2+ √ 3)
i
z 2=−i log (¿ 2− √3)¿