Problema 1 (3,5 puntos)

a) Determinar todos los puntos z ∈ C tales que ez = 1 + i.

b) Dada h(z) la rama CONTINUA del logaritmo, con corte de ramifi-
cación la semirrecta x = −y, x ≥ 0, tal que Im(h(1)) = −4π. Determinar la
imagen del plano complejo bajo h.
c) Determinar h(i) y h(−2i).
d) Calcular los lı́mites direccionales (siguiendo trayectorias rectas) de h
en los puntos −2i y 1 − i.
2+z
e) Determinar el dominio de la composición h ◦ f donde f (z) = 1−2z .

Solución.

a) Se podrı́a tomar z = x + iy, con x, y ∈ R, y replantear la pregunta de

la forma

√  π π
ex (cos y + i sin y) = 2 cos + i sin ,
4 4

o recurrir directamente al logaritmo multivaluado, que es lo mismo. Se

obtiene como solución

√
 
ln(2) π
z = x + iy, x = ln 2 = , y = + 2kπ, k ∈ Z .
2 4

b) El logaritmo es una función multivaluada. Veamos primero las imágenes

bajo el logaritmo del corte de ramificacion, que delimitarán las regiones de
las distintas ramas.
Todos los puntos de la semirrecta x = −y tienen como posible argumento
− π4 , y también todos los argumentos − π4 +2kπ, k ∈ Z. Además, tiene puntos
de todos los módulos posibles. Por lo que la imagen de la semirrecta bajo
la función multivaluada logaritmo serán las rectas

n π o
z = x + iy, x ∈ R, y = − + 2kπ, k ∈ Z .
4
1
2

Cada rama continua, dado ese corte de ramificacion, transformará el plano

complejo en una de las franjas delimitadas por esas rectas (estas excluı́das).
La rama que estamos estudiando, h, toma como valor h(1) = −4πi (la parte
real de todos los posibles logaritmos de 1 es 0), por lo que la región que
estamos buscando es la franja
n  π π o
h(C) = z = x + iy, x ∈ R, y ∈ − − 4π, − − 2π .
4 4

c) Los logaritmos de i son los puntos

n π o
z = 0 + iy, y = + 2kπ, k ∈ Z ,
2
 3

de los cuales el único que está en la región indicada es

7 πi
h(i) = − πi = − 4πi, .
2 2
Los logaritmos de −2i son los puntos
 
−π
z = ln 2 + iy, y = + 2kπ, k ∈ Z ,
2
de los cuales el único que está en h(C) es
5 −π
h(−2i) = ln 2 − πi = ln 2 + i − 2πi .
2 2
d) En el punto −2i la función h es continua (−2i no está en el corte de
ramificación), por lo que el lı́mite será el mismo en cualquier dirección, ya
que existe el lı́mite en el punto, y tomará ese valor:
5
lim h(z) = h(−2i) = ln 2 − πi .
z→−2i 2
El punto 1 − i sı́ está en el corte de ramificación, y el valor de cada lı́mite
direccional dependerá del lado de la recta x = y por el que nos acerquemos
al punto, y será siempre uno de los logaritmos calculados en a). Si nos
acercamos a 1 − i por cualquier dirección contenida en el semiplano y > −x,
digamos por un camino γ(t) con γ(0) = 1 − i y γ([0, 1]) ⊂ {z = x + iy, y >
−x}, tendremos
ln 2  π  ln 2 17π
lim h(γ(t)) = + − − 4π i = − i.
t→0 + 2 4 2 4
Sin embargo, si nos acercamos por cualquier camino β(t) contenido en el
semiplano y < x, digamos con β(t) = 0 y β([0, 1]) ⊂ {z = x + iy, y < x},
tendremos el lı́mite direccional
ln 2  π  ln 2 9π
lim h(β(t)) = + − − 2π i = − i.
t→0 + 2 4 2 4

Observación: el dibujo de las imágenes de las trayectorias es únicamente

cualitativo; nótese que estas imágenes no deberı́an ser trayectorias rectas.
4

e) Como h no está definida en la semirrecta r ≡ {z = x + iy, −y = x ≥

0}, tenemos que calcular qué puntos del plano complejo tienen su imagen
contenida en esa recta
dom (h ◦ f ) = {z, f (z) 6∈ r} .
Como f es una transformación racional lineal, podemos ver qué conjunto
se transforma bajo f en la recta x = y con estudiar únicamente tres puntos
de ella. Por ejemplo f (z1 ) = 0, f (z2 ) = 1 − i, f (z3 ) = 2 − 2i, y la recta o
circunferencia determinada por z1 , z2 y z3 será la que se transforme bajo f
en la recta x = −y. Sin embargo, como queremos estudiar sólo la semirrecta,
vamos a elegir tres puntos que determinan esa semirrecta, f (z1 ) = 0, f (z2 ) =
1 − i y, informalmente, f (z3 ) = ∞ (o, formalmente, limz→z3 f (z) = ∞).
Obtenemos como solución los puntos z1 = −2, z2 = −1−5i 13 y z3 = 1/2.
Como no están alineados, determinarán una circunferencia. Esta se puede
calcular con la ecuación general de la circunferencia, (x − a)2 + (y − b)2 = r2 ,
donde a+bi es el centro de la circunferencia y r su radio, de donde obtenemos
(x + 3/4)2 + (y − 5/4)2 = 25/8. Como sólo estamos buscando el conjunto
que se transforma en la semirrecta, sólo nos interesa el arco de circunferencia
determinado, en este orden, por z1 , z2 y z3 , que es el arco de circunferencia
s ≡ {z = x + iy, (x + 3/4)2 + (y − 5/4)2 = 25/8, y ≤ 0}.
Por tanto, el dominio buscado es
dom (h ◦ f ) = C − s .

Observación. Los apartados b) a e) también se pueden hacer con la

fórmula de los k’s, aunque es esencialmente lo mismo. Tan sólo hay que
tener cuidado y escoger una determinación inicial continua para el argu-
mento, dado el corte de ramificacion. Es decir, si expresamos los números
del dominio de forma
 
iθz −π 7π
z = |z|e , con θ ∈ , ,
4 4
la rama viene marcada por k = −2 (ya que 1 = 1e−4πi , con −4π ∈
−π 7π


4 − 4π, 4 − 4π , y h(1) = −4πi = 0 + 2kπi.

Problema 2 (2 puntos)
Demostrar que si f y g son enteras y las restricciones de f y g a la
circunferencia unidad S1 = {z, |z| = 1} coinciden, entonces f y g también
coinciden.

Solución.
Usaremos el principio de prolongacion analı́tica. Pero para usarlo según
lo tenemos en el texto debemos conseguir tener dos funciones que coincidan
en un dominio o en un segmento recto. Para ello, consideramos una trans-
formación de Móbius h(z) que transforme la recta y = 0 en la circunferencia
unidad. Entonces las funciones f ◦ h y g ◦ h coinciden en todo el eje real
 5

excepto un punto. Por tanto, ambas deben coincidir al menos en un do-

minio que incluya uno de los semiejes. Por tanto, f y g han de coincidir en
un dominio que incluya cierto arco de la circunferencia unidad; y por estar
definidas en todo el plano complejo (dominio simplemente conexo) han de
coincidir en todo el plano complejo.

Problema 3 (1,5 puntos)

Dada la ecuación diferencial
dy
(1 + x3 y) + (x4 + x3 y) = 0,
dx
decidir el conjunto máximo de puntos en que podemos garantizar con crite-
rios sencillos que la ecuación tiene una única solución (0,5 puntos). Hallar
su solución general sabiendo que tiene un factor integrante que sólo depende
de x (0,5 puntos). Determinar las soluciones que cumplen y(1) = 1 y dar
una expresión simplificada (0,5 puntos).

Solución.
Si expresamos la ecuación como:

1 + x3 y
y0 = − = f (x, y),
x4 + x3 y
podemos ver cuándo las funciones f y ∂f /∂y son continuas, lo que garan-
tizarı́a la existencia y unicidad de solución para los correspondientes prob-
lemas de valor inicial. Ambas ecuaciones son continuas siempre y cuando
x 6= 0 y y 6= −x, por tanto fuera de estas dos rectas los correspondientes
problemas de valor inicial tienen una única solución. Nótese que este criterio
no dice que en las dos rectas no haya solucion, o que no sea única si la hay.
Tan sólo garantiza para la región dada la existencia y unicidad de solución.
Habrı́a también que considerar si una única solución se refiere a la solución
en forma explı́cita o implı́cita; en este caso, se refiere a la forma implı́cita.

Si llamamos g(x) al factor integrante, entonces la ecuación

dy
(1 + x3 y)g(x) + (x4 + x3 y)g(x) =0
dx
∂ ∂
es exacta si ∂y ((1 + x3 y)g(x)) + ∂x ((x
4 + x3 y)g(x)) = 0, es decir si

−3x3 − 3x2 y 3
g 0 (x) = 4 3
g(x) = − g(x).
x +x y x
Por tanto el factor integrante será g(x) = x13 .
dy
Tenemos ahora la ecuación exacta 1/x3 + y + (x + y) dx , con solución
2 1
y + 2xy − x2 = C.
6

Ya sabemos que con la condición inicial y(1) = 1 debe haber una única
solución. Si imponemos la condición, tenemos que C = 2 y la ecuación
(y + x)2 = 2 + x12 + x2 , que tiene como soluciones:
r
1 2
y = −x ± (x + ) .
x
De donde obtenemos dos posiblidades: y = 1/x e y = −2x − (1/x). Sólo
la primera de ellas cumple la condición inicial.
Problema 4 (1 punto)
Dada la ecuación diferencial
y 0 = −3y + 3ty 2/3 ,
determinar su solución general (0,5 puntos), y todas las soluciones posibles
con valores iniciales
a) y(1) = 0, (0,4 puntos)
b) y(0) = 1. (0,1 puntos)

Solución.
Se trata de una ecuación de tipo Bernoulli. Aplicamos el cambio de
variable z = y 1/3 , y la ecuación se nos tranforma en z 0 = −z + t, con
solución general z(t) = Ce−t + t − 1. Las correspondientes soluciones para
y son y(t) = (Ce−t + t − 1)3 , y hemos perdido además con el cambio de
variable una solución, la constante y(t) = 0.

a) Si imponemos la condición inicial a la solución general, obtenemos

0 = Ce−1 , con lo que C = 0. Tenemos, por tanto, la solución y(t) = (t − 1)3 .
Pero también la solución y(t) = 0. La falta de unicidad de solución se debe
a que y −1/3 = ∂y 2/3 /∂y no es continua en y = 0, y en particular para la
condición inicial y(1) = 0.

b) Imponiendo la condición inicial tenemos C = 2, y la solución única

y(t) = (2e−t + t − 1)3 .

Problema 5 (2 puntos)
Dibujar aproximadamente el campo de direcciones de la ecuación difer-
encial

cos(x)
x0 (t) = ,
25 − x2
(0.5)
y hacer un dibujo aproximado de las soluciones que verifican (0.25 c/u)
a) x(1) = 2,
b) x(1) = 4,
c) x(3) = 4,
d) x(3) = 2π.
 7

¿Cuál es el lı́mite cuando t → ∞ de cada una de las soluciones anteriores?

(0.5)

Solución.
La ecuación dada es una ecuación autónoma, por lo que el campo de
direcciones en el plano t − x sólo dependerá del valor de x . Empecemos
viendo dónde el campo de direcciones marca pendientes nulas: si x = π/2 +
kπ, k ∈ Z. Nótese que en el plano t − x, las x corresponden al eje vertical;
por tanto una recta x=c será una recta horizontal.

Las lı́neas discontinuas marcan aquellos puntos donde la ecuación diferencial

no está definida, ya que las pendientes de las soluciones se acercan a ±∞
cerca de esas rectas.
8

Veamos ahora cómo serı́a el plano completo de direcciones.

Nótese que las únicas direcciones totalmente horizontales son las descritas
anteriormente, xk (t) = kπ, k ∈ Z. El resto de las que puedan parecer
horizontales a la vista no lo son en realidad. Son casi horizontales, debido
a que |x0 (t)| es muy pequeño pero no nulo. Además, cerca de las rectas
y = ±5 el valor absoluto de la pendiente es tan grande que hace que las
”flechas” atraviesen la lı́nea, aunque las trayectorias (como funciones) no lo
hagan. De este campo se puede deducir que las gráficas de las soluciones de
los apartados a), b), c) y d) tendrán una forma parecida a

aunque mucho más achatadas.

 9

En los tres primeros casos, el lı́mite cuando t tiendo a infinito de las

soluciones es 3π/2. En el caso d), no hay lı́mite cuando t tiende a infinito,
ya que la solución (explı́cita) ”termina” antes. Podrı́a pensarse que las
tres primeras funciones crecen tan despacio que podrı́an quedarse a cierta
distancia de la recta lı́mite x = 3π/2 por mucho que avanzara el tiempo.
Sin embargo, eso implicarı́a la existencia de otra solución constante x = C
en lo que serı́a el lı́mite C de la trayectoria, y no hay tal solución constante.

Comentarios:
Un análisis cualitativo menos preciso se puede hacer con simplemente
fijarse en el signo de la derivada, junto con los lı́mites en los puntos en
que la derivada no estuviera definida o no fuera continua (marcado con
x0 = ±∞ sobre las correspondientes rectas). Ası́, se puede ve que en las
regiones azules del siguiente gráfico las soluciones serán decrecientes, y en
las rojas crecientes, en correspondencia con los intervalos en que xcos(x)
2 −25 es
negativa o positiva.

Esto da lugar a soluciones del tipo

donde no se está teniendo en cuenta la velocidad de crecimiento o decrec-

imiento, sino sólo si crecen o decrecen las soluciones. Estas podrán ser más
achatadas, menos, etc. El hacer un análisis más completo como el del ejer-
cicio o uno menos completo como este, dependerá del tipo de información
que queramos obtener.
10

Hay que tener también cuidado al hacer este análisis cualitativo con casos
como el de la figura 1.9. en la página 19 del libro. Un campo de direcciones
ası́ es muy parecido al que tiene como soluciones

en el que las trayectorias en ningún momento cortan la trayectoria constante

x(t) = 0. Las soluciones arriba dibujadas corresponden a una ecuación
diferencial del tipo x0 (t) = |x|, con soluciones exponenciales.