Proposición

Si f (z) es analítica en z0 , prueba que g (z) = <f (z) es analítica en

z0 si y solo si g (z) es constante en alguna vecindad de z0 .

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Demostración:
=⇒) Si g (z) es analítica entonces cumple con las ecuaciones de
∂u ∂v ∂u ∂v
Cauchy-Riemann, es decir = y = − , pero como
∂x ∂y ∂y ∂x
∂u
g (z) = <f (z), g (z) tiene la forma u(x, y ), de esto tenemos que =0
∂x
∂u
y = 0, esto implica que g (z) es constante. Finalmente por ser
∂x
analítica en z0 , entonces existe algún r > 0 tal que g (z) ∈ Br (z0 ).
⇐=) Si la función g (z) es constante, es derivable en z0 , por lo tanto es
analítica en z0

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Problema
Usando las ecuaciones de Cauchy–Riemann, encontrar la función
entera más general tal que

<[f 0 (z)] = 0

en todo el plano complejo C.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas
 Solución: Sea f = u(x, y ) + iv (x, y ) una función entera. Entonces
esta tiene de derivada la función f 0 (z) = ux + ivx , donde ux = 0,
así u = ϕ(y ) y v = ω(x). Pero entonces f (z) = ϕ(y ) + iω(x) y
f 0 (z) = iω 0 (x) = −iϕ(y ), lo que muestra que <f 0 (z) = 0 y por lo
tanto, f 0 (z) es una función constante. De esto se tiene que
f (z) = az + b donde <(a) = 0.

Omar Carbajal Bonal Facultad de Matemáticas

Teoría de gráficas