VARIABLE COMPLEJA - GRADO DE MATEMÁTICAS - UNIVERSIDAD DE ZARAGOZA

FUNCIONES HOLOMORFAS/Armónicas

Ejercicio 1. Verificar que la función f (x + iy) = x(x2 + y 2 )≠1 ≠ iy(x2 + y 2 )≠1 es

holomorfa en C \ {0}.
Ejercicio 2. Sean un abierto de C y c œ . Sea f una función cuya restricción a dos
rectas distintas que pasan por c es real. Demostrar que, si f es derivable en c, entonces
f Õ (c) = 0.
Ejercicio 3. Determinar en qué puntos satisfacen las condiciones de Cauchy-Riemann
las siguientes funciones:
a) f (z) = z.
b) g(z) = |z|2 .
c) h(z) = z Re z.
Ejercicio 4. Demostrar que la función f (z) = |Re z Im z|1/2 satisface en 0 las condi-
ciones de Cauchy-Riemann, pero no es derivable en ese punto.
Ejercicio 5. Verificar que la función f dada por f (z) = |z|≠2 (1 + i) Im(z 2 ) si z ”= 0 y
f (0) = 0 satisface las condiciones de Cauchy-Riemann en 0. ¿Es derivable en 0?
Ejercicio 6. Hallar todas las funciones enteras f de la forma f (x + iy) = u(x) + iv(y),
con u, v œ C (1) (R).
Ejercicio 7. Sea un dominio simétrico respecto del eje real. Probar que la función
f (z) es holomorfa en si y solo si la función f (z) lo es.
Ejercicio 8. Sea f : C æ C definida mediante
1 1
f (x + iy) = x3 + xy 2 + y + i(x2 y ≠ y 3 ≠ x), x = Re z, y = Im z.
3 3
Determinar en qué valores de z es derivable la función f y calcular la derivada.
Ejercicio 9. Hallar una constante C œ R tal que la función
u(x, y) = xex cos y ≠ Cyex sen y ≠ 2xy
es armónica. Para esa constante C, hallar una función f (z) entera cuya parte real sea u.
Expresar la función f (z) en términos de z (es decir, no de Re z e Im z por separado).
Ejercicio 10. Determinar las funciones holomorfas que tienen como parte real
u(x, y) = sen x senh y + 2 cos x cosh y + x2 ≠ y 2 + 4xy.
Ejercicio 11. Sea f holomorfa con f (z) ”= 0 para todo z de su dominio. Demostrar
que la función h(x, y) = log |f (x + iy)| es armónica (puede suponerse que f œ C (2) ).
Ejercicio 12. Sea = {z; Re z > 0} y u(x, y) = log(x2 + y 2 ), x + iy œ . Probar que
u es armónica y hallar una función holomorfa que tenga a u como parte imaginaria.
Ejercicio 13. Estudiar el dominio de definición y decir dónde son derivables las si-
guientes funciones:
Ô Ò
a) z2 ≠ 1 b) Log z≠1
z
c) z≠1
z+1
gextig)
- -g=Ei* holomorfa en Diob
-
a) f(z) E x
iyU(x,y) xyV(x,y)
=

y
-
= = -
=

Ux 17 1 vy No holomorfa
=
= =
-

Uy 0
= -
= Vx

b)
q(z) 1z x y e
2
+
U(x,y) x yz v(x,y) 0
=
= = + =

0)
ux 2x 0
vy 0x 0
=
= = =
=

Holomorfa en zo 0=

k
Vy zy 0
y
=
0
=
= =
=
-

ch(z) x
=

2 +

ixyU(x,y) x2V(x,y) =

xy
=

3
Ux
2xyVy x bx 0
=
=
=
=

Holomorfa en Zo 0 =

Vy 0y k
y 0y
0
=

-
=
- =
=
 f(x+iy) (xy =

x, yeRUCy) Kyp =
V(x,y) 0
=

Ux (0,0) Lim =

++ 0
0

t
0
=

Vy 0
=

him -UC0,0

y
Uy(0,0) 4y Vx 0
= =

0
=

Cumple las conciones de C-R

0) vy(0,0)(y 0)
-(x(0,0)(x
- + -

Lim U(x,y) -

UC0,07-8010,03
(x,y) (0,0)
-
11X,y11

Lincas e Gin=
no a 0
=

-
f(z)
y (1+i)2xy 2xy i2xy
=

= +

2
x yz
+

f
zxy
(x,y) (0,0)

3
=

yz
2
x
V(x,y)
+

I ⑧ x,y) (0,0)
=

continuas
fi
x,y) = (0,0) No son en el 10,0) lo
por
veries =

tanto derivable
x,y) (0,0) no
puede ser 0
=

en

Ux(0,0) 1 V(+,0),-V(0,0) Vy
=

0
=
=

Uy(0,0) 0
=
=-

vy

Lim U(x,x) V10,03 L

= c No diferenciable
-

=
+

(x,y) (0,0)
-

*
x yz
y
=
 Set(()

U(x,y) u(x)
=

y V(x,y) V(y)
=

Uxxx, y) ux)
=

Vyxx,y) vcy)
=

Uy(x,y) 0yVx(x,y) 0
=
=

Por lo tanto UC) vCy)

=

Xx,yse R2

vsy)
Entonces uc = < =

d d id cz
...f(z) (x
ixy d) ((x
iy) aack
=
+ = =
+ +
+ + + +
Demostrar f(z) holomorfa en ni TE) holomorfa e
que es es
en en

=>
f(z) u iv
=
+

0f(x+iy) U(x,y) iV(x,y)

=
=

f(x-iy) u(x, y) iv(x, y)

=

- -
-

Veamos sise cumplen las conciones de c-R

ux(x, y)
-

4x(x,y) Vyxx,y) vy(x, y)V

=
= =
-

-Uy(x, -y)
=
-
Uyxx,y) Xx(x,y) vxxx,y)V
= =

·.
IE) es holomorfa en e

Idem
=
que antes, f(z) ITE)
=
1-0 F(z) f(E)
=

y
7w EEK
=
=1

=>
FTw)=f(W) y
se
aplica lo de antes.
Veamos
que
es
holomorfa.
Tenemos k(x,y) 1
=

x
xy2+y
+

V(x,y) xy
=
-

(y -

ambas son(" (K)

Mx) 1x
=
y xy =
=

3
Uy(x,y) 2xy
=

1
+

02xy 1 1
2xy 1x
=
-
+ = =

Vx(x,y) 2xy =
-
1

z
es derivate en x
Zo= y su derivada es

f(zo) =

ux(X0,y0) iVx(X0,z0) x +
= -
i

f((z) x
=
2
y2 i(zxy
+
+
-
1)

Preguntar MVAO
por
el resultado
4x(x,y) excosy xexcosy-cyetsery-zy
=

Uxx(x,y) eCosy excory

=

+ +
xosy-reny
Uy(x,y) xexeny (efery cyccosy 2x
=

- -
- -

Uyy(x, y)
=
-

xtoxy -

cetcosy -

(excosy +
ery
Uxx
Uyy 0
ZexCosy-2Cecosy 0 bc 1
=
= = = =
+

Hay que
hallar v
tqUx=Vy y -My k =

Vy(x,y) excosy
=

+
xexcory-yexsery-zy
vx(x,y) xeseng+ exseny yecosy
=

+ -
2x

Hallamos por Milney Thomeon

f1(z) 4 (z,0) e ze
iny(z,0) ziz
=
= +
- +

(f(z)dz ((e ze izzdz e +iz (zetdz e

=

+ +
=

+
=

+ iz ze
+

e)
-
+

1
=

/zezdz dv=etz
zet-/edt=zet-ez
u z
=

- -

du dz
=

v ez =

f(z) izz ze cc k
=

=>
+
+

f(x+iy) x
excosy-yetsery Y i yexcosy C)
(xeseny
=
+
+ +

en -
u(x,y) V(x,y)
 Ux Cos=
x
senhy-2 senxcoshy + 2x
y
+

By senxcoshy
=

+
2cosenhy -2y + 4x

fr(z) 4x(z,0)
=
-

iUy(z,0)
=

- 2xenz +
2z -

i(xenz 4z)
+

f(z) (fn(z)dz (t- zenz 27 isenz-inz)dz 20Z z +icon z-izz til

=

=
= - +
+

f(z) 22017
=
+
z i((01z
+
-
zz c) +

conek

f(z) (2 i)(0nz
=
+
+

(1 -
zi)z2

f(x iy) (2 i)(os(x+iy) (1

+
=

+
+ -
zi)(x iy)
+
=

=+
i)KoxCosiy -senxseniy) (1 zi)(x2 yz izxy) + - - +

=(2 i)(cosxcoshy-isenxsenky) (1-2i)(x2 y2 izxy)

+
+
-
+

=Zconcophy+senxenhy txy2 4xy+ixenhy

+2x-zy+2xy 1) +
+

en V(x,y)
u(x,y)
En derivar aplicar c-R con cuidado
y
Vy(x,y)
yz
=

Vyy(x,y) 2xxr y)
=
+ -

44
=
x2 +

yz)2
vx(x,y)
y
=

xxx(x,y) 2(xr yz) 4x2

t
= -
+
=

(x2 yz)z
+

xxx(x,y) Vyy(x,y)
+

0
=

fr(z) vy(z,0)
=

iVx(z,0)
+
i
=

= iE
(21(z) iz (n(z)
=

+
C

f(z) iz(n(z)
=

c
+

zi((niz1+iarg(z)) zinzl-zarg(z)
= =

= -

zarctg(E) inky)
+
Clase

->
f(x iy)
1

rE I
+
x(xn yy iy(x yy) holomorfa
-

+
=

+ -
= = =
=
 ·
z

al k zx
¢ E
iy iy
-
x
IR
+ = -
=

z
ItE E
.

↓Donde es derivatle?

y u
=

iv
+

0y(x,y)
= (x,
= -

y)

U(x,y) x
y V(x,y) y
...
=
=
-

1 vy(x,y) 1 1 F-1
Ux(x,y) 1
pero
=
=
-

...A(x,y) 04 (x,y) vy(x,y)...y

=
x
=

no es derivable en ningun punto

P(x,y) 0(z,
=

z - E No holomorfa

x
zy =
= =

Ejemplos de
holomorfas
cte, zz, polinomios P(z), Racionales
el con
que a

b)
E
z 1z1ets corolario C-R

d
Comoes real
Imf=0, tiene
parte Imate feste pero de
aqui no es

=>
o no es
holomorfa
↓Derivable en
algún punto?
M
8 =
a ir + con

fucx,y)
v(x,y)
x
=

0
=
y
=I wice ene
0Froy2452
re
ce
*
=

Por lo tanto z101EI no es derivable en

ningun punto
 -
funcion holomorfa en R

Claramente a,V, son

diferenciables 12 ser c (R) cada
por
en una

Planteamos las ecuaciones de C-R

Sea (x,y), entonces 4xxx, y) n's) a(x) Vex,y) el"

y vy(xy) vicy) t
vicy)
=
=
=
=

ay(x,y) 0
vx(x,y)
=
=
-

En particular n(x) v
= (1) c
=

(cte), luego vx = cx d
+
con c,deRR

Analogamente con V, Vays c'y+d'

=
con c', de R

Ademas ( ux)
=

vicy) c.
=
=

En d icy id ((x+iy) d id
f(xy)
ack
resumen, cx cz a
=

con
= = + +
+ + + +
 (Lamof(z) fE) =

=>
Sea
f u+iv
=

I
z x
=

iy(x,y)=
+
x - f(x,y) 0(x,y) iV(x,y) =
+

de donde se saca

Por construcción:f(x,y) (x,y)

= -
U(x,
= -

y) -
iV(x, y),-

que W(x,y) a(x,

= -

y) y V(x,y) = -

V(x, -

y).

Entonces, U, V son
diferenciables por composición
de
diferenciables.
A demas, F(x,y) e n tenemos:
c R
*
-

Ux(x,y) 4x(x,
= -

y) vy(x, y)
=
-

Ux(x,y)
.
Vy(x,y)
=

Vy(x,y) =
-

Vy(x, -

y).( 1) -

vy(x, y)
=
-

CR

Uy(x,y) = vx(x, y)
uy(x, y)
=
- -
-

..Uy(x,y)
·
=
-
Vx(x,y)
=(x,y) =
- V (x,
x
-

y)
(zc1)

Basta
* observar
que
F(z) =

GE) 1= Ez) f(E). =

Como el simétrico, Wer, J!z-w E, =

luego (w) f(w) =

Ahora la
"

aplicanos 1
parte -5
"y ya
esta
 ↓(x,y) =IR

c
u = (1)

df a
=
+

iv? Queremos =

a V
porque ya tenemos
a u

Metodo de Thompeon ("crea")

serry-en seryen
ux
=
cosxsenhy -
2
senxcoshy + 2x+
4y
-L
-

my= senxcoshy 2coexsenhy -zy 4x

+ +

fr(z)
=>
4x(2,0)
=
-

ing(z,0)
=
-
21enz 2z
+ -

i(renz 4z)
+
=

=( -

2 +

i)benz +
zz(1 -

2i)

f(z) (fdz (2 i)coz (1 zi)z i) con ce

+
= = + - +

Calculemos la parte imaginaría de f

Cosh(y)
- =- en

I
f(x,y) (2 i)(0s(x
= +

iy) (2 i)(osx-ce(iy)
+
=
+ -

benxsensig) +
(1-2i)(x2y2+i2xy)
+(1 -
2i)(x iy) ic
+ +

=>
hy+
senxsenbyty-zsenxeenhy)
+r
4xy+2x
xy) C
+
+

La familia funciones conjugadas de U

.

.
de armonicas

es V(x,y) cosxcoshy-2senxenky
=
+
2y2 -
2x +

2xy +
 No
al En se
puede de momento