TEMAS PARA EXAMENES FINALES (PARTE TEORICA-Demostraciones)
TEMAS PARA EXAMENES FINALES (PARTE TEORICA-Demostraciones)
TEMAS PARA EXAMENES FINALES (PARTE TEORICA-Demostraciones)
Para el examen final van TODOS los temas del programa. Les presentamos algunos de ellos y que
suelen tomarse con mayor frecuencia:
Teorema de la Unicidad del límite
TEOREMA
Sea 𝑓: 𝑈 ⊂ 𝑅𝑛 → 𝑅 y 𝕩0 un punto de acumulación de 𝑈. Si
lim 𝑓(𝕩)
𝕩→𝕩0
existe, este es único
Demostración
Para demostrar el teorema partiremos de que existen dos límites lim 𝑓 (𝕩) = 𝑏1 y lim 𝑓 (𝕩) = 𝑏2
𝕩→𝕩0 𝕩→𝕩0
con 𝑏1 ≠ 𝑏2 y llegaremos a probar que 𝑏1 = 𝑏2 . Para cualquier 𝜀 > 0 podemos encontrar por
hipótesis,
𝛿1 > 0 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑠𝑖 𝕩 ∈ 𝑈 ∧ 0 ≤ ‖𝕩 − 𝕩0 ‖ < 𝛿1 ⟹ |𝑓 (𝕩) − 𝑏1 | < 𝜀
𝛿2 > 0 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑠𝑖 𝕩 ∈ 𝑈 ∧ 0 ≤ ‖𝕩 − 𝕩0 ‖ < 𝛿2 ⟹ |𝑓 (𝕩) − 𝑏2 | < 𝜀
Tomando el mínimo entre 𝛿1 y 𝛿2 , 𝛿 = min{𝛿1 , 𝛿2 }, elegimos un 𝕩 ∈ 𝑈 talque ‖𝕩 − 𝕩0 ‖ < 𝛿. Tal 𝕩
existe porque 𝕩0 está en 𝑈 o es un punto frontera de 𝑈. Aplicamos ahora la desigualdad triangular:
|𝑏1 − 𝑏2 | = |𝑏1 − 𝑓 (𝕩) + 𝑓(𝕩) − 𝑏2 | ≤ |𝑏1 − 𝑓(𝕩)| + |𝑓 (𝕩) − 𝑏2 | < 𝜀 + 𝜀 = 2𝜀
|𝑏1 − 𝑏2 | < 2𝜀
|𝑏1 −𝑏2 |
para cualquier 𝜀 > 0 Eligiendo 𝜀 = se llega a que |𝑏1 − 𝑏2 | < |𝑏1 − 𝑏2 |.
2
Nota: esta demostración puede extenderse sin inconvenientes y con la misma estructura para funciones
de 𝑅 𝑛 → 𝑅𝑚 .
Propiedades de los limites
TEOREMA
Si 𝑓: 𝑈 ⊂ 𝑅𝑛 → 𝑅𝑚 , 𝑔: 𝑈 ⊂ 𝑅𝑛 → 𝑅𝑚 𝑦 𝕩0 𝑒𝑠𝑡𝑎 𝑒𝑛 𝑈 𝑜 𝑒𝑛 𝑙𝑎 𝑓𝑟𝑜𝑛𝑒𝑟𝑎 𝑑𝑒 𝑈, 𝒃 ∈ 𝑅𝑚 y el
número 𝑐 ∈ 𝑅, entonces,
a) Si lim 𝑓 (𝕩) = 𝒃 entonces, lim 𝑐 𝑓(𝕩) = 𝑐𝒃 donde 𝑐𝑓: 𝑈 → 𝑅𝑚 está definida por 𝕩 →
𝕩→𝕩0 𝕩→𝕩0
𝑐(𝑓(𝕩)).
b) Si lim 𝑓 (𝕩) = 𝒃1 y lim 𝑔(𝕩) = 𝒃2 entonces lim ( 𝑓 + 𝑔)(𝕩) = 𝒃1 + 𝒃2 donde
𝕩→𝕩0 𝕩→𝕩0 𝕩→𝕩0
(𝑓 + 𝑔): 𝑈 → 𝑅 𝑚 , 𝕩 → 𝑓 (𝕩) + 𝑔(𝕩).
c) Si 𝑚 = 1 y lim 𝑓 (𝕩) = 𝑏1 y lim 𝑔(𝕩) = 𝑏2 entonces lim (𝑓𝑔)(𝕩) = 𝑏1 𝑏2 donde
𝕩→𝕩0 𝕩→𝕩0 𝕩→𝕩0
(𝑓𝑔): 𝑈 → 𝑅, 𝕩 → 𝑓 (𝕩)𝑔(𝕩).
1 1
d) Si 𝑚 = 1 y lim 𝑓 (𝕩) = 𝑏 , 𝑏 ≠ 0 y 𝑓(𝕩) ≠ 0 para toda 𝕩 ∈ 𝑈 entonces lim =
𝕩→𝕩0 𝕩→𝕩0 𝑓(𝕩) 𝑏
donde 1⁄𝑓 : 𝑈 → 𝑅, 𝕩 → 1⁄𝑓(𝕩)
e) Si 𝑓 (𝕩) = (𝑓1 (𝕩), 𝑓2 (𝕩), … , 𝑓𝑚 (𝕩)) donde 𝑓𝑖 : 𝑈 → 𝑅, 𝑖 = 1,2, … , 𝑚 son las funciones
componentes de 𝑓 entonces lim 𝑓 (𝕩) = 𝒃 , 𝒃 = (𝑏1 , … , 𝑏𝑚 ) sí y solo si
𝕩→𝕩0
lim 𝑓𝑖 (𝕩) = 𝑏𝑖 para cada 𝑖 = 1, … , 𝑚.
𝕩→𝕩0
Nota: se le puede pedir al estudiante que pruebe la propiedad a) y b) que son sencillas de demostrar.
Algunas propiedades están demostradas en el Marsden-Tromba.
Continuidad de la función compuesta
TEOREMA
Sea 𝑓: 𝑈 ⊂ 𝑅𝑛 → 𝑅𝑚 y g: 𝑉 ⊂ 𝑅𝑚 → 𝑅 𝑝 . Supongamos que 𝑓(𝑈) ⊂ 𝑉 de tal manera que 𝑔 ∘ 𝑓
esta definida en 𝑈. Si 𝑓 es continua en 𝕩0 ∈ 𝑈 y 𝑔 es continua en 𝕪0 = 𝑓(𝕩0 ) entonces 𝑔 ∘ 𝑓
es continua en 𝕩0
Demostración
Para la demostración utilizaremos el criterio 𝜀 − 𝛿 de continuidad. Es decir, dado un 𝜀 > 0 debemos
encontrar un 𝛿 > 0 tal que para 𝕩 ∈ 𝑈
‖𝕩 − 𝕩0 ‖ < 𝛿 ⟹ ‖(𝑔 ∘ 𝑓 )(𝕩) − (𝑔 ∘ 𝑓 )(𝕩0 )‖ < 𝜀
Como 𝑔 es continua en 𝕪0 = 𝑓 (𝕩0 ) ∈ 𝑉 existe algún 𝛾 > 0 tal que para 𝕪 ∈ 𝑉
‖𝕪 − 𝕪0 ‖ < 𝛾 ⟹ ‖(𝑔)(𝕪) − (𝑔)(𝕪0 )‖ < 𝜀
Como 𝑓 es continua en 𝕩0 ∈ 𝑈 existe para esta 𝛾, un 𝛿 > 0 tal que para 𝕩 ∈ 𝑈
‖𝕩 − 𝕩0 ‖ < 𝛿 ⟹ ‖(𝑓 )(𝕩) − (𝑓)(𝕩0 )‖ < 𝛾
Lo que a su vez implica que
‖𝑔(𝑓(𝕩)) − 𝑔(𝑓(𝕩0 ))‖ < 𝜀
que es el resultado buscado.
Diferenciabilidad
TEOREMA
Supongamos que 𝑓: 𝑈 ⊂ 𝑅𝑛 → 𝑅𝑚 es diferenciable en 𝕩0 ∈ 𝑅𝑛 . Entonces todas las derivadas
parciales de 𝑓 existen en el punto 𝕩0 y la matriz 𝐿 de 𝑚𝑥𝑛 esta dada por
𝜕𝑓𝑖
(𝑙𝑖𝑗 ) = ( )
𝜕𝑥𝑗
esto es
𝜕𝑓1 𝜕𝑓1
⋯
𝜕𝑥1 𝜕𝑥𝑛
( )
𝐿 = 𝐷𝑓 𝕩0 = ⋮ ⋱ ⋮
𝜕𝑓𝑚 𝜕𝑓𝑚
⋯
[ 𝜕𝑥1 𝜕𝑥𝑛 ]
𝜕𝑓𝑖
donde 𝜕𝑥 está evaluada en 𝕩0 . En particular, esto implica que 𝐿 está determinada unívocamente;
𝑗
no hay otra matriz que satisfaga la condición general de diferenciabilidad dada por
‖𝑓 (𝕩) − 𝑓 (𝕩0 ) − 𝐿(𝕩 − 𝕩0 )‖
lim =0 (1)
𝕩→𝕩0 ‖𝕩 − 𝕩0 ‖
que puede escribirse como
con 𝕩 = 𝕩0 + 𝕙.
Demostración
Por la propiedad d) del límite de una función vectorial la condición (2) es la misma que:
|𝑓𝑖 (𝕩0 + 𝕙) − 𝑓𝑖 (𝕩0 ) − (𝐿𝕙)𝑖 |
lim =0 1≤𝑖≤𝑚
𝕙→𝟎 ‖𝕙‖
En la última expresión (𝐿𝕙)𝑖 es la i-ésima componente del vector columna 𝐿𝕙. Ahora sea 𝕙 = 𝑎𝒆𝑗
donde 𝑎𝑒𝑗 = (0, … , 𝑎, … ,0) con el número 𝑎 en el j-ésimo lugar y ceros los demás. Obtenemos
O bien
𝑓𝑖 (𝕩0 + 𝑎𝒆𝑗 ) − 𝑓𝑖 (𝕩0 )
lim = (𝐿𝒆𝑗 )𝑖
𝑎→0 𝑎
𝜕𝑓𝑖
Pero este límite no es otra cosa que la derivada parcial ⁄𝜕𝑥 valuada en el punto 𝕩0 . Así hemos
𝑗
𝜕𝑓𝑖
probado que ⁄𝜕𝑥 existe y es igual a (𝐿𝒆𝑗 )𝑖 . Pero (𝐿𝒆𝑗 )𝑖 = 𝑙𝑖𝑗 (elemento 𝑖𝑗 de la matriz jacobiana)
𝑗
quedando así probado el teorema.
Diferenciabilidad implica continuidad
El teorema que indica que diferenciabilidad implica continuidad puede demostrarse teniendo en cuenta
la siguiente definición relacionada con transformaciones lineales:
Definición: Sea 𝐴: 𝑅𝑛 → 𝑅𝑚 una transformación lineal dada por la matriz 𝐴 = (𝑎𝑖𝑗 ), así que 𝐴𝒙 tiene
1⁄
2
componentes 𝑦𝑖 = ∑ 𝑎𝑖𝑗 𝑥𝑖 . Sea 𝑀 = (∑ 𝑎𝑖𝑗 2 ) . A partir de la desigualdad de Schwars se prueba que
‖ 𝐴𝒙 ‖ ≤ 𝑀‖𝒙‖
Este resultado lo utilizaremos para demostrar el siguiente teorema:
TEOREMA
Sea 𝑓: 𝑈 ⊂ 𝑅𝑛 → 𝑅𝑚 diferenciable en 𝕩0 . Entonces 𝑓 es continua en 𝕩0 y además
‖𝑓(𝕩) − 𝑓(𝕩0 )‖ < 𝑀1 ‖𝕩 − 𝕩0 ‖ para alguna constante 𝑀1 y 𝕩 cerca de 𝕩0 , 𝕩 ≠ 𝕩0.
Demostración
Vamos a utilizar la definición anterior para la demostración; en base a dicha definición podemos
1⁄
escribir ‖ 𝐷𝑓(𝒙𝟎 ). 𝐡 ‖ ≤ 𝑀‖𝒉‖ donde 𝑀 = (∑ 𝑎𝑖𝑗 2 ) 2siendo 𝑎𝑖𝑗 los elementos de la matriz 𝐷𝑓(𝒙𝟎 ).
Elijamos 𝜀 = 1. Entonces por la definición de derivada hay un 𝛿1 > 0 tal que 0 < ‖𝒉‖ < 𝛿1 implica
que:
‖𝑓 (𝒙0 + 𝒉) − 𝑓 (𝒙0 ) − 𝐷𝑓(𝒙𝟎 ). 𝐡‖ < 𝜀‖𝒉‖ = ‖𝒉‖
Notemos que si ‖𝒉‖ < 𝛿1 entonces,
‖𝑓(𝒙0 + 𝒉) − 𝑓(𝒙0 )‖ = ‖𝑓(𝒙0 + 𝒉) − 𝑓 (𝒙0 ) − 𝐷𝑓(𝒙𝟎 ). 𝐡 + 𝐷𝑓 (𝒙𝟎). 𝐡‖
‖𝑓(𝒙0 + 𝒉) − 𝑓(𝒙0 )‖ ≤ ‖𝑓(𝒙0 + 𝒉) − 𝑓 (𝒙0 ) − 𝐷𝑓(𝒙𝟎 ). 𝐡‖ + ‖𝐷𝑓(𝒙𝟎 ). 𝐡‖
< ‖𝒉‖ + 𝑀‖𝒉‖ = (1 + 𝑀)‖𝒉‖
(esto último aplicando la desigualdad triangular)
Haciendo 𝑀1 = 1 + 𝑀 se prueba la segunda afirmación del teorema.
Ahora, sea 𝜀′ cualquier número positivo y sea 𝛿 el menor de 𝛿1 y 𝜀′⁄(1 + 𝑀). Entonces ‖𝒉‖ < 𝛿1
implica
′
‖𝑓(𝒙0 + 𝒉) − 𝑓(𝒙0 )‖ < (1 + 𝑀) 𝜀 ⁄(
1 + 𝑀) = 𝜀′
lo cual prueba que:
lim 𝑓(𝒙0 + 𝒉) = 𝑓(𝒙0 )
𝒉→𝟎
Demostración
En esta demostración utilizaremos el teorema del valor medio del calculo de una variable.
Consideraremos el caso en el que 𝑚 = 1; supongamos que 𝑓: 𝑈 ⊂ 𝑅𝑛 → 𝑅; debemos probar que:
𝜕𝑓
|𝑓 (𝒙 + 𝒉) − 𝑓 (𝒙) − ∑𝑛𝑖 ⁄𝜕𝑥 (𝒙) ℎ𝒊 |
𝑖
lim =0
𝒉→𝟎 ‖ 𝒉‖
Aplicaremos para esta demostración la llamada suma telescópica ya que cada termino se cancela con
el posterior o con el anterior excepto el primero y el último. Entonces escribimos:
𝑓(𝑥1 + ℎ1 , … , 𝑥𝑛 + ℎ𝑛 ) − 𝑓(𝑥1 , … , 𝑥𝑛 ) =
= 𝑓(𝑥1 + ℎ1 , … , 𝑥𝑛 + ℎ𝑛 ) − 𝑓(𝑥1 , 𝑥2 + ℎ2 … , 𝑥𝑛 + ℎ𝑛 ) + 𝑓(𝑥1 , 𝑥2 + ℎ2 … , 𝑥𝑛 + ℎ𝑛 ) −
−𝑓 (𝑥1 , 𝑥2 , 𝑥3 + ℎ3 , … , 𝑥𝑛 + ℎ𝑛 ) + ⋯ + 𝑓(𝑥1 , … , 𝑥𝑛−1 + ℎ𝑛−1 , 𝑥𝑛 + ℎ𝑛 ) −
−𝑓(𝑥1 , … , 𝑥𝑛−1 , 𝑥𝑛 + ℎ𝑛 ) + 𝑓 (𝑥1 , … , 𝑥𝑛−1 , 𝑥𝑛 + ℎ𝑛 ) − 𝑓 (𝑥1 , … , 𝑥𝑛 )
Por el teorema del valor medio, esta expresión puede escribirse como:
𝜕𝑓 𝜕𝑓 𝜕𝑓
𝑓 (𝒙 + 𝒉) − 𝑓 (𝒙 ) = (𝒚1 )ℎ1 + (𝒚2 )ℎ2 + ⋯ + (𝒚 )ℎ
𝜕𝑥1 𝜕𝑥2 𝜕𝑥𝑛 𝑛 𝑛
donde 𝒚1 = (𝑐1 , 𝑥2 + ℎ2 , … , 𝑥𝑛 + ℎ𝑛 ) y 𝑐1 esta entre 𝑥1 y 𝑥1 + ℎ1 , 𝒚2 = (𝑥1 , 𝑐2, 𝑥3 + ℎ3 , … , 𝑥𝑛 + ℎ𝑛 ),
𝒚𝑛 = (𝑥1 , 𝑥2 , … , 𝑥𝑛−1 , 𝑐𝑛 ) donde 𝑐𝑛 está entre 𝑥𝑛 y 𝑥𝑛 + ℎ𝑛 . De esta manera podemos escribir:
𝑛
𝜕𝑓
𝑓 (𝒙 + 𝒉 ) − 𝑓 (𝒙 ) − ∑ ⁄𝜕𝑥 (𝒙) ℎ𝒊
𝑖 𝑖
𝜕𝑓 𝜕𝑓 𝜕𝑓 𝜕𝑓
= |( (𝒚1 ) − (𝒙)) ℎ1 + ⋯ + ( (𝒚𝑛 ) − (𝒙)) ℎ𝑛 |
𝜕𝑥1 𝜕𝑥1 𝜕𝑥𝑛 𝜕𝑥𝑛
𝜕𝑓 𝜕𝑓 𝜕𝑓 𝜕𝑓
|( (𝒚1 ) − (𝒙)) ℎ1 + ⋯ + ( ( 𝒚𝑛 ) − (𝒙)) ℎ𝑛 |
𝜕𝑥1 𝜕𝑥1 𝜕𝑥𝑛 𝜕𝑥𝑛
𝜕𝑓 𝜕𝑓 𝜕𝑓 𝜕𝑓
≤ |( (𝒚1 ) − (𝒙)) |ℎ1 || + ⋯ + |( (𝒚 𝑛 ) − (𝒙)) |ℎ𝑛 ||
𝜕𝑥1 𝜕𝑥1 𝜕𝑥𝑛 𝜕𝑥𝑛
𝜕𝑓 𝜕𝑓 𝜕𝑓 𝜕𝑓
≤ {|( (𝒚1 ) − (𝒙))| + ⋯ + |( ( 𝒚𝑛 ) − (𝒙))|} ‖𝒉‖
𝜕𝑥1 𝜕𝑥1 𝜕𝑥𝑛 𝜕𝑥𝑛
Pero como las derivadas parciales son continuas por la hipotesis del teorema, el lado derecho de la
última desigualdad tiende a cero cuando 𝒉 → 𝟎 con lo cual el lado izquierdo tiende a cero quedando
probado así el teorema.
_________________________________________________________________________________
Además de estos teoremas, se piden los siguientes temas:
- Conceptos topológicos: definición de punto interior, exterior, frontera, aislado, de
acumulación.
- Limites iterados: definición. Existencia del límite.
- Derivadas parciales: definición. Plano tangente. Definición.
- Derivada direccional. Definición. Demostración del teorema que dice que si 𝑓: 𝑢 ⊂ 𝑅𝑛 → 𝑅
es diferenciable en 𝒙0 entonces la derivada direccional en dicho punto puede calcularse
como:𝛁𝑓. 𝒖, siendo 𝒖 el vector unitario que define la dirección.
- Teorema de la condición necesaria para la existencia de extremos libres (con demostración).
- Explicación y análisis de la condición suficiente para la existencia de máximos, mínimos y
puntos de ensilladura.
- Ecuaciones diferenciales de primer orden: a variables separables, lineales, exactas: indicar la
forma en que se presentan y como se obtiene la solución general de cada una de ellas.
- Ecuación de Bernoulli: presentación y deducción de la solución general.
- Ecuaciones diferenciales de segundo orden. Descripción general de cómo se presenta la
ecuación diferencial y como se escribe la solución general. Demostrar que si 𝑦1 (𝑥 ) 𝑒 𝑦2 (𝑥) son
soluciones de la ecuación homogénea, entonces 𝐶1 𝑦1 (𝑥 ) + 𝐶2 𝑦2 (𝑥) también es solución de la
ecuación diferencial. Ecuación diferencial de segundo orden homogénea a coeficientes
constantes: explicación completa de cómo se obtiene la solución general partiendo de 𝑦 = 𝑒 𝑚𝑥
como posible solución, analizando los tres casos según sean las raíces de la ecuación
característica. Explicación completa del método de los coeficientes indeterminados.
- Integrales dobles y triples: interpretación geométrica del teorema de Fubbini. Teorema del
cambio de variables: enunciado y demostración. Descripción del cambio de coordenadas
cartesianas a coordenadas polares, cilíndricas y esféricas.
- Curvas. Definición de curva. Demostración de cómo se obtiene la fórmula de la longitud de
arco. Definición y cálculo de los vectores unitarios principales (tangente, normal y binormal).
- Integrales de linea de campos escalares y vectoriales. Definición y fórmula de cálculo.
- Campos vectoriales: definición. Rotor y divergencia de un campo vectorial. Definición, cálculo
e interpretación geométrica. Demostración de las propiedades del rotor y la divergencia como
por ejemplo: 𝑎) 𝛁 𝑥 (𝛁𝑓 ) = 𝟎 y 𝑏) 𝛁. (𝛁𝑥𝑭) = 0. Campos vectoriales conservativos:
definición. Condiciones necesarias para que un campo vectorial sea conservativo. Función
potencial: definición. Demostración de cómo obtener la función vectorial a partir de un campo
vectorial conservativo. Enunciado y demostración del teorema fundamental de las integrales de
linea. Independencia de la trayectoria y campos vectoriales conservativos: demostración del
teorema.
- Enunciado y demostración del teorema de Green.