Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1.- Realizar un estudio, lo más exhaustivo posible, de las soluciones maximales de la ecuación
log x
(E) x0 = ,
t −1
y dibujar (esbozar) el aspecto de las gráficas de estas posibles soluciones.
¡Ojo! Se puede usar como referencia el que es una ecuación separable, pero el estudio de la ecuación debe hacerse
con las técnicas vistas en clase. Mencionar qué resultados se usan, así como aquellos que no se pueden usar, indicando
alguna de las hipótesis que fallan. Se pueden usar también resultados teóricos vistos en problemas, por ejemplo, el
resultado sobre soluciones maximales con gráficas en conjuntos cerrados.
Solución.
log x
Observamos que la función f (t , x) = t −1 está bien definida y de hecho es de clase C 1 en D = (R à{1})×(0, ∞), el cual
2
es abierto de R pero no puede ser, ni D ni ningun subconjunto suyo, una banda vertical, por lo que no se puede aplicar
ninguno de los teoremas globales vistos en teoría, ni el TEUG, ni el TEG.
Ahora definimos I 1 = (−∞, 1), I 2 = (1, ∞) y, para j ∈ {1, 2}, D j = I j × (0, ∞). Entonces D 1 y D 2 son abiertos, disjuntos y
su unión es D.
Dado que, para cada j ∈ {1, 2}, f ∈ C 1 (D j , R), se tiene que f ∈ C (D j , R) ∩ Liploc (x, D j ), por lo que, por el TUG, (E)
log x
satisface la PUG en D j , y por el TEUL, para cada (t 0 , x 0 ) ∈ D j , el problema (P) x 0 = t −1 ; x(t 0 ) = x 0 tiene solución
© ª
local única. Cada una de estas soluciones locales admiten, por tanto, una extensión a una solución maximal (única) con
gráfica en D j .
Dado que, para cada j ∈ {1, 2}, D j es abierto, cada solución maximal ϕ : I → R con gráfica en D j (como D j = I j ×
(0, ∞), es ϕ(t ) > 0 para todo t ∈ I ) está definida en un intervalo abierto I = (a, b) ⊆ I j , por el Teorema sobre soluciones
maximales con gráficas en abiertos. Además, si α es un extremo finito de I , entonces, o bien lı́mt →α ϕ(t ) = +∞ (deberia
ser lı́mt →α |ϕ(t )|, pero acabamos de ver que ϕ(t ) > 0 para todo t ∈ I ), o bien cada punto límite de la gráfica de ϕ para
t → α está en ∂ D j = (I j × {0}) ∪ ({1} × [0, ∞)).
lı́mt →b − ϕ(t ).
Como a ≥ 1 es finito y A no puede ser igual a +∞ (por ser ϕ acotada), ha de ser entonces (a, A) ∈ ∂ D 2 ∩ D 2,2 =
(I 2 × {0}) ∪ ({1} × [0, 1]). Como no puede ser A = 0 pues ϕ es estrictamente decreciente en I , entonces ha de ser a = 1 y
A ∈ (0, 1].
En cuanto a b, si fuera finito, dado que ϕ es acotada, no puede ser B = ∞ y entonces tendría que ser B = 0. Si b = +∞
entonces es B ∈ [0, 1). (No puede ser B = 1 pues ϕ es estrictamente decreciente).
D 1,1 D 2,1
γ1
γ1
D 1,2 D 2,2
t
1
El hecho de haber dibujado estas gráficas cóncavas se debe simplemente a que si ϕ : I → (0, ∞) es solución maximal
log(ϕ(t ))
de (E) entonces ϕ0 (t ) = t −1 , t ∈ I y, por tanto, ϕ es dos veces derivable con
Esta expresión es 0 si ϕ es constante, y si no, es siempre negativa, ya que, siendo ϕ(t ) > 0, se tiene que log(ϕ(t )) y 1−ϕ(t )
¡ ¢
ϕ0 (s)
Z t Z t ¯ t −1 ¯
1 h it t −1
(♣) ds = d s = log |s − 1| = log¯ ¯ = log .
¯ ¯
t 0 log(ϕ(s)) t0 s − 1 t0 t0 − 1 t0 − 1
La razón por la que hemos podido eliminar el valor absoluto en el lado derecho de (♣) se debe a que para t 0 , t ∈ I , ambos
se encuentran bien a la derecha del 1, bien a la izquierda del 1, por lo que t −1 y t 0 −1 tienen el mismo signo y, por tanto,
R ϕ(t ) d u
su cociente es positivo. Luego, para el lado izquierdo, tras el cambio de variables u = ϕ(t ), este se convierte en x0 log u,
que no se puede expresar de forma elemental y, por tanto, necesita un estudio más cualitativo.
Dado que la gráfica de ϕ se encuentra en una de las cuatro regiones antes detalladas, se tiene que ϕ(t ) > 1 para todo
t ∈ I , o ϕ(t ) ∈ (0, 1) para todo t ∈ I . Esto da lugar a definir las dos funciones siguientes:
L 1 : (1, ∞) → R L 2 : (0, 1) → R
Z x Z x
du du
L 1 (x) = , L 2 (x) = .
2 log u 1/2 log u
(El hecho de tomar 2 y 1/2 como extremos inferiores en las integrales de L 1 y L 2 es irrelevante ). Observamos que,
para cada j ∈ {1, 2}, L j es derivable y que L 0j (x) = log1 x , que es positiva cuando j = 1, y negativa cuando j = 2, por lo que
L 1 es estrictamente creciente en (1, ∞), y L 2 estrictamente decreciente en (0, 1).
log u R 1 du
Observamos ahora que como lı́mu→1 u−1 = 1 entonces la integral impropia log u tiene el mismo carácter que el
R 1 du u
de u−1 , o sea, no convergente. Por tanto, lı́mx→1 L 1 (x) = lı́mx→1 L 2 (x) = −∞. Por otro lado, como lı́mu→∞ log u = ∞
+ −
R ∞ du R ∞ du
y la integral impropia u no converge (= ∞), entonces lı́mx→∞ L 1 (x) = 2 log u = ∞ también. Finalmente, como
u 1/2
R 0 du R 1/2 d u
lı́mu→0 log u = 0 y la integral impropia 0 ud1/2
R u
converge, entonces lı́mx→0+ L 2 (x) = 1/2 log u = − 0 log u existe y es un
número finito y positivo, que llamaremos `. De este estudio se sigue que L 1 es una biyección creciente de (1, ∞) en R, y
L 2 es una biyección decreciente de (0, 1) en (−∞, `).
Seguimos ahora con el lado izquierdo de (♣). Si ϕ(t ) > 1 para todo t ∈ I , entonces (♣) se convierte en
Z ϕ(t ) du
Z t ϕ0 (s) t −1
L 1 (ϕ(t )) − L 1 (x 0 ) = = d s = log ,
x0 log u t0 log(ϕ(s)) t0 − 1
con lo que
³ t −1 ´
ϕ(t ) = L −1
1 L 1 (x 0 ) + log ,
t0 − 1
y así, cuando t → 1, obtenemos que ϕ(t ) tiende a L −1 1 (−∞) = 1. (Además, como L 1 está definida en todo R, entonces
−1
el otro extremo de I debe ser infinito: I = (−∞, 1) en el caso en que Graf(ϕ) ⊂ D 1,1 , y I = (1, +∞) en el caso en que
Graf(ϕ) ⊂ D 2,1 ).
Por otro lado, si ϕ(t ) < 1 para todo t ∈ I , entonces (♣) se convierte en
Z ϕ(t ) du
Z t ϕ0 (s) t −1
L 2 (ϕ(t )) − L 2 (x 0 ) = = d s = log ,
x0 log u t0 log(ϕ(s)) t0 − 1
con lo que
³ t −1 ´
ϕ(t ) = L −1
2 L 2 (x 0 ) + log ,
t0 − 1
y así, cuando t → 1, obtenemos que ϕ(t ) tiende a L −1 2 (−∞) = 1. (Además, como L 2 está definida solo en (−∞, `), enton-
−1
ces el otro extremo de I tiene que ser finito: I = (a, 1) en el caso en que Graf(ϕ) ⊂ D 1,2 con ϕ(a + ) = 0, y I = (1, b) en el caso
en que Graf(ϕ) ⊂ D 2,2 con ϕ(b − ) = 0).
De todo esto, el dibujo aproximado de las gráficas de las posibles soluciones de (E) es como sigue.
D 1,1 D 2,1
γ1
γ1
D 1,2 D 2,2
t
1
Puntos clave. • Estudio de ϕ cuando Graf(ϕ) ⊂ D 1,1 . Decreciente, I = (a, 1) con a ≥ −∞.
log x Estudio en a y en 1.
• Definición de f (t , x) = t −1 en D = D 1 ∪ D 2 , con D j = I j × (0, ∞),
y I 1 = (−∞, 1), I 2 = (1, ∞). Observar que f ∈ C 1 (D, R), luego f ∈ • Estudio de ϕ cuando Graf(ϕ) ⊂ D 1,2 . Creciente, I = (a, 1) con a ≥ −∞.
C (D, R) ∩ Liploc (x, D). Estudio en a y en 1.
• Imposibilidad de aplicar el TEUG o el TEG, por no estar trabajando con • Estudio de ϕ cuando Graf(ϕ) ⊂ D 2,1 . Creciente, I = (1, b) con b ≤ ∞. Es-
una banda vertical. Aplicabilidad del TUG, así como prueba de la exis- tudio en 1 y en b.
tencia y unicidad de soluciones locales, lo cual implica la existencia y • Estudio de ϕ cuando Graf(ϕ) ⊂ D 2,2 . Decreciente, I = (1, b) con b ≤ ∞.
unicidad de soluciones maximales. Estudio en 1 y en b.
• Solución constante: γ1 ≡ 1 en I 1 ∪ I 2 , dando lugar, por la PUG, a divi- • Esbozo de posibles soluciones.
dir D = D 1 ∪ D 2 en 4 regiones: D = D 1,1 ∪ D 1,2 ∪ D 2,1 ∪ D 2,2 , donde
D j ,1 = I j × (0, ∞), D j ,2 = I j × (0, ∞), j = 1, 2. Puntos extra.
• Si ϕ : I → (0, ∞) es solución maximal de (E) con gráfica en D j , en-
• Concavidad de ϕ.
tonces I = (a, b) por el Teorema sobre soluciones maximales con grá-
ficas en abiertos, y si α es un extremo finito de I entonces, o bien • Prueba de que lı́mt →1 ϕ(t ) = 1.
lı́mt →α |ϕ(t )| = ∞ (se pueden quitar los valores absolutos), o bien cada • Estudio del otro extremo de I . (±∞ cuando Graf(ϕ) ⊂ D j ,1 , y finito cuan-
punto límite de la gráfica de ϕ para t → α está en la frontera de D j . do Graf(ϕ) ⊂ D j ,1 ).