Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ANGEL PARDO
aapardo@dim.uchile.cl
𝑔𝑢 (ℎ) = 𝑢 − 𝐺(ℎ).
Claramente k 𝑔𝑢 (ℎ) − 𝑔𝑢 (𝑘)k = k𝐺(ℎ) − 𝐺(𝑘)k ≤ 21 k ℎ − 𝑘 k, de modo
¯ 𝛿), k 𝑔𝑢 (ℎ)k ≤ k𝐺(ℎ)k + k𝑢k ≤ 𝛿,
que 𝑔𝑢 es contractante y si ℎ ∈ 𝐵(0,
de modo que 𝑔𝑢 satisface las hipotesis del Teorema del punto fijo de
Banach y existe un único ℎ ∈ 𝐵(0, 𝛿) tal que ℎ = 𝑔𝑢 (ℎ). Pero
𝑔𝑢 (ℎ) = 𝑢 − 𝐺(ℎ) = 𝑢 − 𝐹(ℎ) + ℎ.
Es decir, para todo 𝑢 ∈ 𝐵(0, 𝛿/2) existe un único ℎ ∈ 𝐵(0, 𝛿) tal que
𝐹(ℎ) = 𝑢, de modo que 𝐹 es invertible en 𝑈 ˆ = 𝐹 −1 (𝐵(0, 𝛿/2)) ∩ 𝐵(0, 𝛿).
Así, 𝐹˜ = 𝐹|𝑈ˆ : 𝑈ˆ → 𝑓 (𝑈)
ˆ es invertible, con 𝑈 ˆ abierto y 0 ∈ 𝑈. ˆ En
particular, 𝐹 es localmente invertible en 0.
5
y 𝐹˜ −1 es 2-Lipschitz.
˜ × 𝑉)
de clase 𝐶 1 . Por definición de 𝐹, se tiene que para (𝑤, 𝑧) ∈ 𝐹(𝑈
𝑤 𝜑(𝑤, 𝑧)
= 𝐹(𝐹˜ −1 (𝑤, 𝑧)) = 𝐹(𝜑(𝑤, 𝑧), Φ(𝑤, 𝑧)) = .
𝑧 𝑔(𝜑(𝑤, 𝑧), Φ(𝑤, 𝑧))
Es decir, 𝜑(𝑤, 𝑧) = 𝑤 y 𝑔(𝜑(𝑤, 𝑧), Φ(𝑤, 𝑧)) = 𝑧 para (𝑤, 𝑧) ∈ 𝐹(𝑈 ˜ ×𝑉).
˜ × 𝑉) y como
Ahora, como 𝑔(𝑥0 , 𝑦0 ) = 0𝑚 , se tiene que (𝑥0 , 0𝑚 ) ∈ 𝐹(𝑈
𝐹(𝑈˜ × 𝑉) es abierto (𝐹˜ −1 es continua y 𝑈
˜ × 𝑉 es abierto), se tiene que
existe 𝑈 × 𝑊 ⊂ 𝐹(𝑈 ˜ × 𝑉) con 𝑈 ⊂ R𝑛 y 𝑊 ⊂ R𝑚 abiertos, 𝑥 0 ∈ 𝑈 y
0𝑚 ∈ 𝑊.
En particular, para todo (𝑤, 𝑧) ∈ 𝑈 × 𝑊 existe un único par (𝑥, 𝑦) ∈
˜
𝑈 × 𝑉 tal que 𝐹(𝑥, 𝑦) = (𝑤, 𝑧). Es más, se tiene que 𝑥 = 𝜑(𝑤, 𝑧) = 𝑤,
𝑦 = Φ(𝑤, 𝑧) y 𝑔(𝑥, 𝑦) = 𝑧.
Fijando 𝑧 = 0𝑚 ∈ 𝑊, se obtiene entonces que para todo 𝑥 ∈ 𝑈,
existe un único 𝑦 = Φ(𝑥, 0𝑚 ) ∈ 𝑉 tal que 𝑔(𝑥, 𝑦) = 0. Notando que
𝜙 : 𝑈 → R𝑚 definida por 𝜙(𝑥) = Φ(𝑥, 0𝑚 ) es de clase 𝐶 1 , se obtiene
lo deseado.
Como 𝑔(𝑥, 𝜙(𝑥)) = 0 para 𝑥 ∈ 𝑈, aplicando la regla de la cadena
(Capítulo 3, Teorema 4.1) se obtiene que
𝐽𝑥 𝑔(𝑥, 𝜙(𝑥)) + 𝐽𝑦 𝑔(𝑥, 𝜙(𝑥))𝐽𝜙(𝑥) = 0.
En particular, para 𝑥0 ∈ 𝑈, 𝜙(𝑥0 ) = 𝑦0 y, como 𝐽𝑦 𝑔(𝑥0 , 𝑦0 ) es invertible,
se obtiene que
𝐽𝜙(𝑥0 ) = −𝐽𝑦 𝑔(𝑥 0 , 𝑦0 )−1 𝐽𝑥 𝑔(𝑥0 , 𝑦0 ).
■
Ejemplo 2.1. Consideremos el sistema de ecuaciones dado por
𝑧𝑦 + 3𝑥𝑦 + 𝑥𝑧 2 − 𝑦 + 1 = 0
(4)
4 + 8𝑥 + 3𝑥𝑧 2 − 4𝑦 = 0
descrito por 𝑔(𝑥, 𝑦, 𝑧) = (0, 0), con 𝑔 : R3 → R2 definida por el la-
do izquierdo del Sistema (4). Notemos que (𝑥0 , 𝑦0 , 𝑧 0 ) = (0, 1, 0) es
solución al Sistema (4). Veamos que localmente entorno a (0, 1, 0) es
posible parametrizar (implícitamente) soluciones del Sistema (4) en
función de la variable 𝑥. El Jacobiano de 𝑔 es
3𝑦 + 𝑧 2 𝑧 + 3𝑥 − 1 𝑦 + 2𝑥𝑧
𝐽 𝑔(𝑥, 𝑦, 𝑧) = .
8 + 3𝑧 2 −4 6𝑥𝑧
10
Y, en particular,
−1 1
𝐽(𝑦,𝑧) 𝑔(0, 1, 0) = ,
−4 0
que es claramente invertible (columnas l.i., det = 4, etc.). Así, existe
una función 𝜙 : (−𝜔, 𝜔) → R2 tal que 𝑔(𝑥, 𝜙(𝑥)) = 0. Si escribimos
𝜙(𝑥) = (𝑦(𝑥), 𝑧(𝑥)), obtenemos que 𝑔(𝑥, 𝑦(𝑥), 𝑧(𝑥)) = 0 y por lo tanto
obtenemos una familia de soluciones del sistema parametrizado por
𝑥 ∈ (−𝜔, 𝜔), con 𝑦(0) = 1 y 𝑧(0) = 0.
Notemos además que podemos calcular las derivadas de 𝑦(𝑥) y
𝑧(𝑥) en 𝑥 0 = 0. En efecto, usando la Fórmula (3) del Teorema de la
función implícita, se obtiene que
𝑦 0(0)
𝐷𝜙(0) = 0 = −𝐽(𝑦,𝑧) 𝑔(0, 1, 0)−1 𝐽𝑥 𝑔(0, 1, 0)
𝑧 (0)
−1
−1 1 3 1 0 1 3 1 8 2
=− = = = .
−4 0 8 4 −4 1 8 4 −4 −1
Es decir, 𝑦 0(0) = 2 y 𝑧 0(0) = −1.
inversa local, 1
localmente invertible, 1
12