Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Índice general
.1 Información de la asignatura . . . . . . . . . . . . . . . . . . . . . . . 3
I Preliminares 4
I.1 Bases del análisis matemático . . . . . . . . . . . . . . . . . . . . . . 4
I.1.1 Producto escalar, norma y distancia . . . . . . . . . . . . . . . 4
I.1.2 Topología . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
I.1.3 Funciones continuas, abiertos y cerrados . . . . . . . . . . . . 15
I.2 Aplicaciones lineales y matrices . . . . . . . . . . . . . . . . . . . . . 17
I.2.1 Aplicaciones lineales . . . . . . . . . . . . . . . . . . . . . . . 17
I.2.2 Norma de matrices . . . . . . . . . . . . . . . . . . . . . . . . 18
I.3 Límites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
I.4 Diferenciación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
I.4.1 Regla de la cadena . . . . . . . . . . . . . . . . . . . . . . . . 24
I.4.2 Extensiones del Teorema del Valor Medio . . . . . . . . . . . . 24
I.4.3 Derivada direccional . . . . . . . . . . . . . . . . . . . . . . . 27
I.4.4 Derivadas iteradas . . . . . . . . . . . . . . . . . . . . . . . . 28
I.4.5 Máximos y mínimos . . . . . . . . . . . . . . . . . . . . . . . 29
I.4.6 Máximos y mínimos absolutos . . . . . . . . . . . . . . . . . . 31
I.5 Desarrollo de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
A Resumen 154
B Ejercicios 158
B.1 Hoja 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
B.2 Hoja 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160
B.3 Hoja 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
B.4 Hoja 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
B.5 Hoja 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
B.6 Hoja 6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
B.7 Exámenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
B.7.1 Parcial 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
B.7.2 Enero 2013 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191
B.7.3 Junio 2013 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
B.8 Ejercicios de repaso . . . . . . . . . . . . . . . . . . . . . . . . . . . 200
B.8.1 Repaso de integración . . . . . . . . . . . . . . . . . . . . . . 200
2 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
3 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Capítulo I
Preliminares
Propiedades:
hλx, yi = λhx, yi
hx + y, zi = hx, zi + hy, zi
hx, yi = hy, xi
hx, xi ≥ 0
hx, xi = 0 =⇒ x = 0
Las tres primeras son la consecuencia de que el producto escalar tiene que ser
bilineal.
En general, un producto escalar es una matriz definida positiva y se opera de la
siguiente manera:
a1 1 · · · a1 N y1
.. . .. .
.. · ...
hx, yi = (x1 , x2 , ..., xN ) · .
aN 1 · · · aN N yN
4 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Propiedades:
kxk = 0 ⇐⇒ x = 0
1
Lema I.1. kxk = (x ∗ x) 2 para cualquier producto escalar ∗.
Norma Definición I.3 Norma. Cualquier operación que cumpla las 3 propiedades anteriores
es una norma.
En general se tiene k · kp , p ∈ N y se definen todas de la misma forma:
p1
N
X
kxkp = |xi |p
i=1
Vamos a demostrar que la norma p cumple las 3 propiedades de una norma. Para
ello, nos apoyaremos en dos teoremas previos:
Teorema I.2 (Desigualdad de Young). Sea p > 1 y tomamos p0 tal que p1 + p10 = 1
(exponente conjugado). Entonces:
1 1 0
|ab| ≤ · |a|p + 0 |b|p
p p
5 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
1 1 0 1 p 1 p0
· log|a|p + 0 · log|b|p ≤ log |a| + 0 |b|
p p p p
1 p 1 p0
log |a| + log |b| ≤ log |a| + 0 |b|
p p
1 p 1 p0
log |ab| ≤ log |a| + 0 |b|
p p
1 1 0
|ab| ≤ |a|p + 0 |b|p
p p
Demostración. Tomamos
|xi |
ai =
kxkp
|yi |
bi =
kykp0
Tenemos que
1 1 0
ai bi ≤ api + 0 bpi
p p
Sustituimos:
0
|yi | |xi |p |yi |p
f rac|xi |kxkp · ≤ +
kykp p · kxkpp p0 · kykpp0
1
Geométricamente, cóncava significa que si uno 2 puntos de la gráfica, la recta que los une queda
debajo de la gráfica.
6 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
N
1 X 1 X p 1 X p0 1 1
· |xi yi | ≤ p |x i | + p0 |yi | = + 0 = 1
kxkp kykp0 i=1 pkxkp p0 kykp0 p p
Una vez probadas las dos desigualdades anteriores, pasamos a probar la desigualdad
triangular:
N
X N
X
kx + ykpp = p
|xi + yi | = |xi + yi | · |xi + yi |p−1 =
1 1
N
X N
X
p−1
= |xi | · |xi + yi | + |yi | · |xi + yi |p−1
1 1
kx + ykpp ≤
X 1 X
p p
0 1 X
p−1 p p0
1 X
p p
0 1
p−1 p p0
|xi | · |xi + yi | + |yi | · |Xi + yi |
| {z } | {z }
∗ ∗
7 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Propiedades:
d(x, x) = 0
Distancia Definición I.5 Distancia. Cualquier operacion que cumpla las 3 propiedades anteriores
es una distancia.
Recapitulando Con un producto escalar puedo definir una norma y con esa norma
puedo definir una distancia. Pero... ¿Podemos definir una norma que no venga de un
producto escalar y/o alguna distancia que no provenga de una norma? Sí, por ejemplo
8 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Teorema I.4. Supongamos que tengo un producto escalar ∗ y una norma asociada
1
kxk = (x ∗ x) 2
. Entonces
kx + yk2 = kxk2 + kyk2 + 2(x ∗ y)
Demostración.
X N
X N
X
kxk = k xi e i k ≤ kx1 e1 k = |xi | · kei k
i=1 i=1
PN
Tenemos: kxk ≤ i=1 ci |xi | siendo ci = kei k. Aplicando Cauchy-Schwarz nos
queda
N
X 12 X 1
c2i · |xi |2 2
i=1
Es decir, puedo controlar cualquier norma con una constante y la norma euclídea:
|||x||| ≤ Ckxk2
9 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
3
Es decir, cualquier norma en Rn es continua respecto de la norma euclídea.
1
kx + yk2 − kx − yk2
x∗y = (I.2)
4
Queremos probar que, efectivamente, ∗ es un producto escalar, así que tenemos
que demostrar las siguientes propiedades:
1. x ∗ y = y ∗ x .
2. x ∗ x ≥ 0 ∀ x
3. (x ∗ x) = 0 ⇐⇒ x = 0
4. (λx) ∗ y = λ (x ∗ y)
5. (x + y) ∗ z = x ∗ z + y ∗ z
1
2|||x|||2 + 2|||x + y|||2 =
=
4
1
= 2 |||x + y|||2 − |||x − y|||2 = 2(x ∗ y)
4
3
Continua si la tomas como una función de RN en R
10 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
lı́m rn (x ∗ y) = α(x ∗ y)
n→∞
WTF es esto.
Demostración de la 5 propiedad:
1
|||x + y + z|||2 − |||x + y − z|||2
A = (x + y) ∗ z =
4
11 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
1
|||x + z|||2 − |||x − z|||2
B =x∗z =
4
1
|||y + z|||2 − |||y − z|||2
C =y∗z =
4
Demostraremos que A − B − C = 0
COMPLETAR la comprobación.
Observación: d(x, y) = |||x − y||| para alguna norma ||| · ||| ⇐⇒ (d(x + z) + d(y +
z) = d(x, y) ∧ d(λx, λy = |λ| d(x, y))
I.1.2. Topología
Bola Definición I.6 Bola. Se define la bola de radio R centrada en el punto x0 como
BR (x0 ) = {x ∈ RN d(x, x0 ) < R}
| {z }
=kx−x0 k
Para evitar jaleos, al tratar la distancia vamos a tomar la norma euclídea. Como
todas las normas son equivalentes, nos da igual tomar una que otra. Definición
12 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Punto de Definición I.9 Punto de acumulación. La idea intuitiva es aquellos puntos a los
acumula- que puedo llegar en el límite, es decir, puntos que a su alrededor a una distancia
ción arbitrariamente pequeña existen otros puntos del conjunto.
A ⊂ RN , a ∈ (A) ⇐⇒ ∀ε > 0 (Bε (a) \ {a}) ∩ A 6= ∅
Siendo (A) es el conjunto de los puntos de acumulación.
Frontera Definición I.10 Frontera. La frontera ∂A de un conjunto A son aquellos puntos para
los que en su entorno (para cualquier ε) hay puntos tanto del conjunto como puntos
de fuera del conjunto.
a ∈ ∂A ⇐⇒ ∀ε > 0 Bε (a) ∩ A 6= ∅ ∧ Bε (a) ∩ AC 6= ∅
Interior Definición I.11 Interior. El interior es el conjunto abierto más grande que está
contenido en el conjunto A. Definición I.12 Cierre. El cierre de un conjunto A
Cierre
es el conjunto cerrado más pequeño en el que está contenido A.
Observación: Cierre e interior no los vamos a definir formalmente porque se dan por
supuesto.
Conjunto Definición I.13 Conjunto compacto. Un conjunto que cumpla cualquiera de las 3
compacto propiedades siguientes.
a. K cerrado y acotado.
Demostración.
13 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
x2 x1 x5 x3 x6 ... x4
x2 x1 x5 x3 x6 ... x4
g1
En al menos una de las dos mitades del segmento habrá infinitos términos:
cogemos esa mitad y repetimos los mismos pasos. Finalmente, llegaremos a una
subsucesión de este estilo:
x2 x1 x5 x3 x6 x7 x9 x4
g1 g2 g3 g4
I4
I1 I2 I3
14 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
I.1.2.1. Conexión
Conexión Definición I.15 Conexión por abiertos. C es conexo por conjuntos si para cualquier
por par de abiertos A, B ⊂ RN C ⊂ A ∪ B se cumple que, si A ∩ C 6= ∅ ∧ B ∩ C 6= ∅
abiertos entonces A ∩ B 6= ∅.
Esto es equivalente a decir que C no puede ser expresado como unión de dos
conjuntos disjuntos.
Observación:
15 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Función Definición I.17 Función continua. Sea F : RN 7−→ RM . Se dice que F es continua
continua en a si y sólo si
A partir de aquí podemos extraer dos conclusiones que sí nos ayudarán a discernir
si un conjunto imagen es abierto y cerrado.
Este teorema nos sirve para decir fácilmente si un conjunto es abierto o cerrado.
Por ejemplo, consideremos
M = {(x, y, z) ∈ R3 x2 + cos x |y| − ez < 1}
16 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
L(λx) = λL(x)
L(x + y) = L(x) + L(y)
17 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
F : RN 7−→ R
x −→ F (x) = ||Ax||
| {z }
L(x)
Sabemos que existe C > 0 tal que ||Ax|| ≤ C||x||, es decir, ||Ax|| ≤ C si
||x|| = 1. Queremos saber cuál es la mejor constante que podemos encontrar, la que
más se ajuste. Consideramos el conjunto M de todos los vectores de la esfera unidad,
es decir
M = {||Ax|| ||x|| = 1} ⊂ R
Demostración. Hay que demostrar que esta norma que hemos definido cumple las
propiedades de una norma (I.2). Las dos primeras son triviales, demostremos la
desigualdad triangular
kA + Bk = máx
(A + B)x
=
(A + B)xA,B
18 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
donde xA,B es el vector que da el valor máximo para esa multiplicación. Usando
la propiedad asociativa
(A + B)xA,B
=
AxAB + BxA,B
≤
AxA,B
+
BxA,B
AxA,B
+
BxA,B
≤ kAxA k +kBxB k = kAk +kBk
Tenemos que coincide con el máximo de las posibles sumas de los valores
absolutos de las filas.
Queremos buscar ahora cuánto vale la norma de una matriz cuando usamos la
norma euclídea. Usaremos los dos lemas siguientes para apoyarnos.
Lema I.14.
hx, Ayi = hAT x, yi
| {z } | {z }
Producto en Rn Producto en RM
19 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Hemos definido una cota para kAxk. Ahora bien, esa cota se alcanza cuando x es
el autovector asociado a λmax , por lo tanto la cota es un máximo y la norma de la
matriz.
I.3. Límites
Límite Definición I.21 Límite. Dada una función F : RN 7−→ RM , definimos su límite
cuando x → a de la siguiente forma:
lı́m F (x) = L ⇐⇒ ∀ε > 0, ∃δ > 0 tal que 0 < ||x − a|| < δ =⇒ ||F (x) − L|| < ε
x→a
20 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
x · (mx)2 m 2 x3
f (x, y) = f (x, mx) = =
x2 + (mx)4 (1 + x2 m4 )x2
lı́m x → 0(f (x, mx)) → 0, ∀m ∈ R
y2y2 y4 1
f (x, y) = f (y 2 , y) = 4 4
= 4
= 6= 0
y +y 2y 2
Por lo tanto, el límite no existe a pesar de que existe cuando nos acercamos por
rectas.
∀ε > 0 ∃δ > 0 tal que ||x − a|| < δ =⇒ ||F (x) − F (a)|| < ε
Tomamos
A = Bε (F (a))
de tal forma que
F (a) ∈ A =⇒ a ∈ F −1 (A)
21 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
.Es decir,
I.4. Diferenciación
kF (a + h) − F (a) − Lhk
lı́m =0
h→0 ||h||
L ≡ DF (a)
Teorema I.17.
F diferenciable en a =⇒ F continua en a
Demostración.
kF (a + h) − F (a) − Lhk
lı́m =0
h→0 khk
Esta es la definición de diferenciable. Para que este límite sea 0, el numerador tiene
que tender a 0, por lo que F (a + h) − F (a) → 0
22 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
F (a + h) − F (a) − L1 h F (a + h) − F (a) − L2 h
0 = lı́m = lı́m
h→0 ||h|| h→0 ||h||
.
Sumando:
Matriz di- Definición I.24 Matriz diferencial. Matriz asociada a DF (a) ≡ Matriz de las
ferencial derivadas parciales de F.
∂ F1 ∂ F1
∂ x1
· ∂ xN
. ... ..
DF (a) ≡ .
. .
∂ FN ∂ FN
∂ x1
· ∂ xN
23 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Según las aplicaciones que tengamos, la diferencial se suele llamar de una u otra
forma. Con δ : R 7−→ RM utilizamos notación vectorial en vez de matricial porque
tendríamos una matriz columna. Por ejemplo: la velocidad (en un instante de tiempo,
un punto en el espacio).
Gradiente Definición I.25 Gradiente. Sea F : RN 7−→ R, entonces definimos el vector gradiente
como
∂F ∂F ∂F
∇F (x) = DF (x) = , ,...,
∂ x1 ∂ x2 ∂ xn
∂ Gi ∂ Fk
Siempre teniendo en cuenta que está evaluado en F (a) y está evaluado
∂ yk ∂ xj
en a.
24 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Teorema I.20 (Teorema del valor medio (una variable)). Dada f : R 7−→ R
diferenciable, se tiene que
σ(t) = tb + (1 − t)a
Siendo c un punto del segmento que une a y b en el que kDF (tb + (1 − t)a)k
alcanza su máximo.
Demostración.
Primero vamos a demostrar la siguiente desigualdad:
Z 1 Z 1
k F (t) dtk ≤ kF (t)k dt (I.3)
0 0
25 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Si tomamos Z 1
L= F (t) dt
0
entonces
Z 1 Z 1
2 2
kLk = k F (t) dtk = hL, F (t) dti
0 0
Z 1 Z 1 Z 1 Z 1
hL, F (t) dti = hL, F (t)i ≤ kLkkF (t)k = kLk kF (t)k
0 0 0 0
y por lo tanto
Z 1
2
kLk ≤ kLk kF (t)k
0
Z 1
kLk ≤ kF (t)k
0
Z 1 Z 1
k F (t) dtk ≤ kF (t)k
0 0
kF (b) − F (a)k
Z 1 h i Z 1 h i
kF (b)−F (a)k ≤ kDF a(1 − t) + tb (b−a)k dt ≤ kDF a(1 − t) + tb kkb−ak dt
0 0
h i
Nos fijamos en kDF a(1 − t) + tb k. Al ser continua y estar definida en un
conjunto compacto, entonces alcanza su máximo en algún punto c entre a y b, por
lo tanto
Z 1
kF (b) − F (a)k ≤ kDF (c)kk(b − a)k = kDF (c)kkb − ak
0
26 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Este teorema nos sirve, por ejemplo, para ver que si tenemos F : RN 7−→ RM , F ∈
C 1 , definida en un conjunto abierto y conexo y DF (x) ≡ 0 ∀x, entonces F es
constante.
Aplicación:
27 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
1
Contraejemplo de la no reciprocidad: f (x) = x2 sin x
Demostración. F : R2 7−→ R
F (a + a, b + k) − F (a, b) − dF (a, b)h − dF
(a, b)k
dx dy
(h, k)
−→ 0?
F (a + h, b + k) − F (a, b + k) − dF (a, b)h + F (a, b + k) − F (a, b) − dF (a, b)k
|
{z } dx | {z } dy
dF dF
dx
(a+h̃,b+k) para algún 0≤h̃≤h dx
(a+h,b+k̃) si 0≤k̃≤k
√
h2 + k 2
dF dF
dx (a + h̃, b + k) − · |h| + dF
(a, b) (a, b + k̃) − dF
(a, b) · |k|
dx dy dy
0≤ √ = (∗)
h2 + k 2
Aquí es donde aplicamos que las derivadas parciales son continuas: como h y k
son pequeños (por lo tanto h̃ < h también lo será) los puntos (a, b) y (a + h, b + k)
también están cerca, por lo que sus imágenes por la derivada estarán también cerca,
es decir, | dF
dx
(a, b) − dF
dx
(a + h̃, b + k)| → 0 y lo mismo con la otra.
Conclusión:
|h| + |k|
0 ≤ (∗) ≤ ε √ ≤ Cε → 0 cuando h, k → 0
h2 + k 2
↑
El numerdador es la norma 1 y el denominador la norma 2.
En RN todas las normas son equivalentes.
28 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Teorema I.23 (Euler (orden de las derivadas)). Si las derivadas segundas son
continuas, entonces:
d2 f d2 f
=
dxi ∂xj dxj ∂xi
1
F (x) = F (x0 ) + h∇F (x0 ), x − x0 i + (x − x0 )D2 F (x0 )(x − xo )T + ε
2
Dado que el gradiente es 0, el punto clave es el signo de 21 (x−x0 )D2 F (x0 )(x−xo )T .
Para ello, usamos las siguientes definiciones del álgebra lineal.
29 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Teorema I.24. Si una matriz es simétrica, existe una base en la cual la matriz es
diagonal.
30 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
c. Si algunos autovalores son mayores que cero y otros son menores que
cero, entonces x0 es un punto de silla.
I.4.5.2. Ejemplos
! ! !
2 1 1 0 2−λ 1
0 = det −λ = det = (2 − λ)2 − 1
1 2 0 1 1 2−λ
Por lo tanto, λ es 3 o 1. Dado que ambos autovalores son mayores que 0, entonces
2
D F es definida positiva y (0, 0) es un mínimo local.
31 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Demostración.
Como F es acotada, existe α = sup{F (x) x ∈ K}. Existe entonces
una sucesión {xn } tal que si n → ∞ entonces F (xn ) → α. Sabemos que
existe {xn } ⊂ K, por lo que existe una subsucesión{xnj } convergente tal que
xnj → x0 ∈ K
Como F es continua, F (xnk ) → F (x0 ), es decir F (xnj ) → α, por lo tanto el
supremo es el máximo.
I.4.6.1. Ejemplos
Operando, vemos que el punto (0, 0) es un punto de silla. Ahora sólo queda ver el
comportamiento en la frontera C, cuando x2 + y 2 = 1. F restringida a C quedaría de
la siguiente forma:
32 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
∇F = λ∇G
G=k
reduciendo así el cálculo a dimensión 1. Operamos ahora para calcular las derivadas:
N
0
X dF
g (t) = h∇F (a + th), hi = (a + th) · hi
i=1
dxi
N N N
00
X X d dF X d2 F
g (t) = (a + h) · hj hi =
(a + th)hi hj
i=1 j=1
dxj dxi i,j=1
dxi ∂xj
···
N
g s) (0) 1 X ∂ sF
=
s! s! i ,i ,...,i =1 ∂xi1 , xi2 , ..., xis
1 2 s
k N α
1 ∂ F
X X
TFk (x) = (xi1 − ai1 ) · · · (xiα − aiα ) (a) (I.4)
α=0
α! i ∂xi1 · · · ∂xiα
1 ,...,iα =0
33 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Por ejemplo, el desarrollo de Taylor de una función F (x, y) con a = (a, b) queda
∂ nF
lo siguiente (con Fxyz... = )
∂x∂y∂z · · ·
Existe una forma más compacta para el desarrollo de Taylor de orden dos usando el
producto escalar, el vector gradiente y la matriz hessiana (D2 F ) de derivadas segundas:
1 T
F (a + h) = F (a) + h∇F (a), hi + h D2 F (a)h
2
Además Ps,a (h) es el único polinomio de orden S que hace que el límite sea 0.
34 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Capítulo II
Vamos a intentar resolver este problema utilizando Taylor para aproximar al orden
lineal, pero tenemos que pagar un precio: para que taylor funcione tenemos que trabajar
cerca del punto. Esto significa que el resultado va a ser local.
F : RN 7−→ RN o
F : C 7−→ C, C ∈ RN , cerrado, o
F : K 7−→ K, K ∈ RN , compacto.
35 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Entonces
RN
∃!x0 ∈ C tal que F (x0 ) = x0 (Punto fijo)
K
n
X
kxn − xm k = kxn ± xn−1 ± · · · ± xm+1 − xm k ≤ kxi − xi−1 k (II.2)
i=m
36 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Operamos ahora con cada uno de esos sumandos. Por ejemplo, con i = n, vemos
que
Esa suma de α’s es la suma de una sucesión geométrica de razón α. Por lo tanto,
la podemos simplificar como
n−2
X 1 − αn−m αm−1
αk = αm−1 ≤
k=m−1
1−α 1−α
αm−1
kx2 − x1 k < ε
1−α
para un ε arbitrariamente pequeño. Con esto demostramos que la sucesión
de xn es de Cauchy y por lo tanto es convergente a un cierto límite x0 .
Tal y como habíamos construido la sucesión, tenemos que
xn = F (xn−1 ) (II.3)
x0 = F (x0 )
Hemos demostrado por lo tanto que el límite de esa sucesión que hemos
construido es un punto fijo de la función.
37 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Nos queda demostrar ahora que ese punto es único, y lo haremos por
reducción al absurdo:
Supongamos que existen dos puntos fijos:
a = F (a)
b = F (b)
ka − bk < ka − bk
Podemos definir:
Z x
y1 (x) = y0 + f (s, y0 )ds
Zx0x
y2 (x) = y0 + f (s, y1 (s))ds ≡ T (y1 )
x0
...
Z x
yn = T (yn−1 ) = y0 + f (s, yn−1 (s))ds
x0
T (y) = y?
38 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
El teorema nos daba un resultado local que asegura que existe la inversa, que es
diferenciable y además nos daba su fórmula.
Buscamos ahora lo que ocurre en dimensión N . Tomamos f : RN 7−→ RN y
supongamos que en algún abierto ∃F −1 y F, F −1 ∈ C 1 .
Entonces está claro que
G ◦ F (x) = x, ∀x ∈ U ⊂ Ω
F ◦ G(y) = y, ∀y ∈ V
G diferenciable
y = F (a) + z; z ∼ 0
y = a + s; s ∼ 0
F (a + s) = F (a) + z.
39 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Definimos además
F̃ (s) ≡ F (a + s) − F (a) = z
de tal forma que
F̃ (0) = 0
DF̃ (0) = Id
Df (x) = Id − DF (x) → Df (0) = Id − DF (0) = Id − Id = 0
40 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Observación: ε NO depende de y.
Tomaremos así x ∈ Bε (0), donde A es el cierre de A (I.12).
N
X
2
kf (s) − f (0)k = (fi (s) − fi (0))2
i=1
Aplicando el teorema del valor medio (I.21) con un punto 0 < s̃ < s, tenemos
que
Entonces
N N N N
X
2
X 2 X 2
X
(fi (s) − fi (0)) = Dfi (s̃) · s = (h∇fi (s̃), si) ≤ k∇fi (s̃)k2 ksk2
i=1 i=1 i=1 i=1
N
X 1
(fi (s) − fi (0))2 ≤ N ksk
i=1
4N 2
y por lo tanto
1
kf (s) − f (0)k2 ≤ ksk2
4N
41 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
X 2 12
kf (r) − f (s)k = fi (r) − fi (s)
Aplicando el teorema del valor medio
12
X N
hDfi (zi ), (r − s)2 i , zi ∈ Bε (0)
i=1
Sea y ∈ B 2ε . Entonces
Como f es contractiva
1
kf (x) − f (0)k + kf (0)k ≤ √ kxk + kyk
2 N
42 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
y por lo tanto
1 ε
kG(y)k ≤ √ ε + < ε
2 N 2
6: Continuidad de G Vamos a ver que pasa con diferencias del tipo ks − G(s)k.
Sea G(s) = t y s = F (t).
f (t) = t − F (t) + y
s − G(s) = −G(s) + F (G(s)) = F (t) − t = y − f (t) = y − f (G(s))
Consideramos ahora
ku − vk + f (G(u)) − y − [y − f (G(v))] =
= ku − vk + kf (G(u)) − f (G(v))k ≤
1 1
≤ √ kG(u) − G(v)k ≤ kG(u) − G(v)k
2 N 2
1
kG(u) − G(v)k ≤ ku − vk + kG(u) − G(v)k
2
kG(u) − G(v)k ≤ 2ku − vk
−1
kG(y + h) − G(y) DF (G(y)) hk
lı́m =0
h→0 khk
Vamos a intentar trabajar con las x0 s que es donde sabemos todo y no con y 0 s
que no tenemos ni idea de nada.
43 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Notación:
G(y) = x y = F (x)
G(y + h) − G(y) = ξ y + h = G(x + ξ)
↓ ↓
G(y + h) = x + ξ h = F (x + ξ) − F (x)
h → 0 ⇐⇒ ξ → 0
Sustituimos con esta notación en la definición:
−1
kG(y + h) − G(y) DF (G(y)) hk
lı́m =
h→0 khk
...
−1
kξk ξ − DF (G(y)) (F (x + ξ) − F (x)
lı́m ·
ξ→0 kF (x + ξ − F (x)k kξk
| {z } | {z }
A B
−1
k DF (G(y)) −{F (x + ξ) − F (x) − DF (x)ξ} k
B=
kξk
DF (x)ξ
k k = kDF (x) × vk, kvk = 1
kξk
Definimos M (v) = kDF (x) × vk, para v ∈ S 1
44 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
1
M (v) ≥ δ > 0 =⇒ ≥ δ > 0 =⇒ A ≤ C
A
) −1
A≤C kG(y + h) − G(y) DF (G(y)) hk
=⇒ lı́m =0
B→0 h→0 khk
Cuando el determinante sea 0, significa que no puedo aplicar el teorema, por tanto,
no sé si la función es invertible o no. Aplicamos los fundamentos. ¿Es inyectiva la
función?
No es inyectiva en ningún entorno del (0,0).
El hecho de que el teorema sea local nos puede llevar a confusiones. Por ejemplo,
sea
F (r, σ) = (rcos(σ), r sen(σ)), r ∈ [0, 1], σ ∈ [0, 4π]
Lo que hay que hacer es partir de un punto del conjunto de salida. El teorema
dice que escogido un punto del conjunto de salida, existe un entorno en el conjunto
de llegada en el que se puede definir la función inversa. Hay que acotar también el
conjunto de llegada.
(
x2 sin x1
si x 6= 0
Otro ejemplo es considerar g(x) = f (x)+εx siendo f (s) =
0 si x = 0
45 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
∂ ∂
[F (x, y, f (x, y)] = [F (x, y, f (x, y)] = 0
|∂x {z } |∂y {z }
∂F
∂x
+ ∂∂ Fz · ∂∂ fx ∂F
+ ∂∂ Fz · ∂∂ fy
∂y
Si f es diferenciable tenemos:
∂F
∂f (x, y, f (x, y))
(x, y) = − ∂∂ Fx
∂x ∂z
(x, y, f (x, y))
∂F
∂f ∂y
(x, y, f (x, y))
(x, y) = − ∂ F
∂y ∂z
(x, y, f (x, y))
∂F
Necesitamos entonces que x, y, f (x, y) 6= 0. Veamos cómo extrapolar esto de
∂z
forma general con tres variables.
F (a, b, c) = 0
y
∂F
(a, b, c) 6= 0
∂z
46 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
H −1 : V 7−→ U
Es decir
H −1 (u, v, w) = (u, v, g(u, v, w))
donde g es la función única que depende de (u, v, w), y no es más que la tercera
componente de la inversa que hemos construido. Demostremos que existe:
H ◦ H −1 = Id
H(H −1 (u, v, w)) = H(u, v, g(u, v, w)) = (u, v, w)
En particular si w = 0:
Conclusión: Hemos encontrado una única g, tal que F (u, v, g(u, v, 0)) = 0.
Notación: g(u, v, 0) = f (u, v)
F (u, v, f (u, v)) = 0, (u, v) ∈ Proyección sobre el plano horizontal de la superficie
47 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
RM × |{z}
F : Ω ⊂ |{z} RN 7−→ RN
x y
Tal que:
g(a) = b
F (x, g(x)) = 0, ∀x ∈ ω
−1
Dg(x) = − Dy F (x, g(x)) · Dx F (x, g(x))
Demostración.
Definimos: H(x, y) = (x, F (x, y)). Esta función H : Rm+n 7−→ Rn+m , H ∈ C 1 .
Además H(a, b) = (a, F (a, b)) = (a, 0)
!
Im×m 0m×n
DH(a,b) =
Dx Fn×m Dy Fn×n
48 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
F (x, g(x)) = 0
Dx [F (x, g(x))] = (0)
∂ F1 (x,g(x)) ∂ F1 (x,g(x))
···
∂ .x1 ..
∂ xn
..
Dx [F (x, g(x))] = .. . .
∂ Fn (x,g(x)) ∂ Fn (x,g(x))
∂ x1
··· ∂ xn
Donde:
∂g
n
∂ F1 (x, g(x)) ∂ F1 X ∂ F1 ∂ yk .. x1
∂
= + · ∼ (Dy F1 →) ·
.
∂ x1 ∂ x1 k=1 ∂ yk ∂ x1 ∂g
∂ xn
II.3.1. Ejemplos
Ejemplo: Hoja 3, problema 16
Demostrar que la ecuación anterior define DOS funciones z = f1 (x, y), z = f2 (x, y)
en un entorno de (x, y) = (1, 1).
Solución: Esto no contradice al teorema (que tiene unicidad) porque tenemos que
anclar los puntos con los que vamos a trabajar en los que F (x, y, z) = 0. Asíque vamso
49 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
∂ f1 ∂ f1
f1 (x, y) = f1 (1, 1) + (1, 1)(x − 1) + (1, 1)(y − 1) +err
∂x ∂y
| {z }
h∇f1 (1,1),(x−1,y−1)i
Ejemplo: Hoja 3, ejercicio 14 Demostrar que existe una ’unica f... con f (0, 0) = 0.
ef (x,y) = (1 + xef (x,y) )(1 + yef (x,y) )
¿Podemos despejar z = f (x, y)?. (Es lo mismo que demostrar que existe una función
ez = (1 + xez )(1 + yez )
50 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
F : R5 7−→ R2
! ! !
∂ F1 ∂ F1
∂u ∂v
xz 2yv 1 2
D(u,v) = ∂ F2 ∂ F2 = = ... =
∂u ∂v
3xyu − 2uv 2x − 2u2 v
2 2
3 0
∂u ∂v ∂v
, ,
∂x ∂x ∂z
.
Como el teorema garantiza que existe, derivamos implícitamente:
Vamos a derivar implícitamente respecto a x el sistema:
(
y 2 + zu + xzux + y2vvx = 0
yu3 + xy3u3 ux + 2v + 2xvx − 2uux v 2 − 2u2 vvx = 0
∂u
Donde ux = ∂x
.
Sabemos: si (x, y, z) = (1, 1, 1) =⇒ (u, v) = (1, 1)
Sustiuyendo: (
1 + 1 + ux + 2vx =0
1 + 3ux + 2 + 2vx − 2ux − 2vx = 0
(
ux (1, 1, 1) + 2vx (1, 1, 1) = −2
ux (1, 1, 1) = −3
∂v
Faltaría calcular ∂z
∂u
Ejercicio propuesto: Calcular ∂ x2
51 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
F : RN 7−→ RN (II.7)
F ∈ C1 (II.8)
F (a) = b (II.9)
det DF (a) 6= 0 (II.10)
52 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
F : Ω ⊂ RM × RN 7−→ RN
F ∈ C 1 , (a, b) ∈ Ω con a ∈ RM , b ∈ RN
Supongamos que DF (a, b) tiene rango n (máximo posible).
Entonces: ∃ un abierto ω con (a, b) ∈ ω y una función
G : ω ⊂ RM × RN 7−→ RM × RN , G ∈ C 1 (ω)
F ◦ G(u, v) = v, ∀(u, v) ∈ ω
Definimos
H(x, y) = (x, F (x, y))
Calculamos:
I
DH = Dx F Dy F
| {z } |{z}
m×n n×n
53 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
F : RN 7−→ RN × RM
F ∈ C 1, a ∈ Ω
Demostración.
∂ F1 ∂ F1
∂ x1
... ∂ xn
DF (a) = .. ... ..
. .
∂ Fn +m ∂ Fn +m
∂ x1
... ∂ xn
Definimos:
H : RN × RM −→ RN × RM
(x, y) −→ F (x) +(|{z}
0 , y ) = (F (x), y)
| {z } |{z}
N
RN R RM
F (x) = H(x, y) = (F1 (x), F2 (x), ..., Fn (x), Fn+1 (x) + y 1 , ..., Fn+m (x) + y m )
N columnas
z }| { 0 } n filas
DH = Dx F =⇒ det DH 6= 0
Id } m filas
54 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
F : RN 7−→ RK , F ∈ C 1
Hoja 3: Problema 21
(
F1 ≡ x2 + z 2 + 2xz − 2x − 2z + 1 =0
2 2 2
F2 ≡ x + 4y + 4z + 4xy + 4xz + 8xy = 0
Hoja 3: Problema 22
x3 + z 3 y 3 + z =0
cos(xyz) + sen(z) − 1 = 0
55 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
2) Definimos
F : R3 7−→ R2 , F ∈ C 1 , F (0, 0, 0) = (0, 0)
( )
[x(z)]3 + z 3 [y(z)]3 + z =0
→
cos(x(z)y(z)z) + sen(z) − 1 = 0
( )
3 0 2 2 3 0
3[x(z)] x (z) + 3z [y(z)] + z 2y(z)y (z) + 1 = 0
≡
−sen(x(z)y(z)z) · {...} + cos(z) =0
(
0+1 =0
0+1 =0
56 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Capítulo III
Superficies y variedades
diferenciales
φ : D ⊂ R2 7−→ R3
φ(u, v) = (x(u, v), y(u, v), z(u, v))
57 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
normal al plano:
∂x ∂y ∂z
Tu = , ,
∂u ∂u ∂u
∂x ∂y ∂z
Tv = , ,
∂v ∂v ∂v
→
−
n = Tu × Tv
→
−
Nos podemos encontrar el problema de que → −n = 0 . Para evitar ese caso,
estableceremos que el rango de la matriz de las 6 derivadas tiene que ser 2.
Conjunto de nivel Supongamos que nos dan una gráfica definida como un conjunto
de nivel F (x, y, z) = 0 .
Para calcular el plano tangente en este caso tenemos que →−
n = ∇F .
→
−
Nos puede ocurrir que F no sea derivable o que ∇F = 0 . Supongamos que sea
diferenciable, ¿cómo preveer que puede salir? Para evitarlo, debemos forzar de nuevo
que la matriz de las derivadas tenga rango máximo (en este caso 1).
Parametrizada:
σ(t) = (x(t), y(t), z(t))
Posibles enemigos que nos podemos encontrar: superficies cuya intersección sea
un plano. Si se da este caso, entonces tenemos que los vectores normales a las 2
superficies son paralelos. Para evitar esto, la matriz formada por los 2 vectores
normales debe tener rango máximo.
Vemos claramente que las condiciones para poder calcular superficies tangentes
llegan siempre a obligar a que la matriz tenga rango máximo (ver sección ??). A
partir de aquí, podemos crear nuestra definición de subvariedad diferenciable:
F : U ⊂ RN +K 7−→ RK
cuya diferencial DF tenga rango máximo (en este caso, rango k). De esta forma
podremos expresar U ∩ M como
F1 (x1 , ..., xn+k ) = 0
F2 (x1 , ..., xn+k ) = 0
U ∩M = ..
.
F (x , ..., x ) = 0
k 1 n+k
1) Superficie en R3
F : U ⊂ R3 7−→ R
{(x, y, z) F (x, y, z) = 0}
En este caso tenemos N = 2, K = 1. La condición de rango nos dice que ∇F (x) 6=
(0, 0, 0). Esto es, obliga a en cada punto existe un vector normal →
−
n , exactamente la
misma condición que habíamos visto antes.
2) Curvas en R3
σ(t) = (x(t), y(t), z(t)) ≡ S1 ∩ S2 =
= {F1 (x, y, z) = 0} ∩ {F2 (x, y, z) = 0}
Si tomamos U ∩ σ = {(x, y, z) ∈ R3 F1 = 0 ∧ F2 = 0}
Siendo
F : U ⊂ R3 7−→ R2 , N + K = 3, K = 2
F (x, y, z) = (F1 (x, y, z), F2 (x, y, z))
Veamos la condición de rango en este caso:
!
∂ F1 ∂ F1 ∂ F1
∂x ∂y ∂z
rango ∂ F2 ∂ F2 ∂ F2
∂x ∂y ∂z
Para que el rango sea máximo, los vectores tienen que ser no paralelos, es decir, S1 , S2
sean transversales, no paralelas. De nuevo, la misma condición que habíamos visto
antes.
59 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
F : RK 7−→ RK
x→x−a
M = {x ∈ RK F (x) = 0} = {a}
Tenemos DF = Id, que tiene rango máximo y por lo tanto {a} es una subvariedad
diferenciable (dimensión 0, codimensión k).
5)
F : R2 7−→ R
F (x, y) = x3 − y 6
M = {(x, y) x3 − y 6 = 0}
DF = (3x2 − 6y 5 )
DF (0, 0) = (0, 0)
La matriz diferencial tiene rango 0 en el punto (0, 0). ¿Quiere esto decir que M no es
una subvariedad diferenciable en el 0?
No. Lo que quiere decir que no hemos encontrado la función que cumpla las
hipótesis. Podemos operar
M = {x3 = y 6 } = {x = y 2 } = {x − y 2 = 0}
6)
M = {(x, y) ∈ R2 x2 − y 2 = 0}
F : R2 7−→ R
F (x, y) = x2 − y 2
60 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
∂G ∂G
rango DG(x, y) = 1, ∀(x, y) ∈ U =⇒ rango , =1
∂x ∂y
Ahí tenemos dos casos, o bien que la primera componente no sea 0 o que sea la
segunda la que no es nula. Supongamos primero que ∂∂ Gx (0, 0) 6= 0. Podemos aplicar
el Teorema de la unción implícita (II.4), que nos dice que podemos despejar x = x(y).
En este caso:
U ∩ M = {x(y)2 − y 2 = 0}.
Si fijamos y = ε, entonces x(ε) = ±ε No es una función, lo que contradice
el Teorema de la función implícita, y por lo tanto es imposible que ∂∂ Gx (0, 0) 6= 0.
Análogamente, tampoco puede cumplirse que ∂∂ Gy (0, 0) 6= 0.
Hemos demostrado por lo tanto que no puede existir una función que defina esto
como subvariedad diferencial. Este es el ejemplo de que cualquier objeto que tenga
autointersección no puede ser subvariedad.
7) M = {(x, y) ∈ R2 x2 − y 2 = 0, y ≥ 0}
Vamos a suponer que existe una función F ∈ C 1 que representa ese objeto (que
viene definido por 2 condiciones). M = {F (x, y) = 0} para alguna F .
Condición de rango: ∂∂ Fx , ∂∂ Fy 6= (0, 0). Condición de rango: ∂∂ Fx , ∂∂ Fy =
(0, 0), x = y = 0.
Vamos a ver si es subvariedad o no. En este caso intuimos que no debería serlo.
Volvemos a demostrar por reducción al absurdo:
Supongamos que M es subvariedad, entonces ∃G(x, y) tal que G : U ⊂ R2 7−→
R, U ∩ M = {G(x, y) = 0}
∂G
Supongamos 6= 0. Entonces tenemos
∂x
M ∩ U = {y(x)2 − y 2 = 0}
61 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
N = {(x, y) ∈ R2 x2 − y 2 = 0, y > 0}
La lógica nos dice que este caso si debería ser subvariedad diferencial: la definición
de la función es local, y siempre podremos encontrar un entorno que no incluya el 0,
que es el punto problemático.
Comprobamos que efectivamente el rango de ∇F es máximo ∀(x, y) ∈ R2 y por
lo tanto M es una subvariedad.
III.2.1.1. Ejemplos
Ejemplo 1
σ : [0, 2π) 7−→ R2
t → σ(t) = (cos(t), sen(t))
62 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Si tomamos
!
1 1
Pn = cos 2π − , sen 2π −
n n
Pn −−−→ (1, 0)
n→∞
1
Ψ(Pn ) = 2π − −−−→ 2π 6= Ψ(1, 0)
n n→∞
Ejemplo 2
f : (0, 1) ⊂ R 7−→ R2
t → f (t) = (t, g(t)), continua, con inversa continua
P = (x, g(x))
Ejemplo 3
σ3 : (0, 4π) 7−→ R2
t → σ(t) = (cos(t), sen(t))
No es inyectiva =⇒ @Ψ.
Ejemplo 4: Circunferencia
63 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
(1)
(2)
(3)
y
arctan
x
(x, y) ∈ 1
y
Ψ(x, y) = arctan x
+π (x, y) ∈ 2
y
arctan + 2π (x, y) ∈ 3
x
64 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
(3)
(2)
t=π t=0
(1)
∈ 3 si n es múltiplo de 3
Ψ(Pn ) ∈ 2 si n ≡ 2 mod 3
∈ 1
si n ≡ 1 mod 3
III.2.2. Parametrizaciones
Objetivo definir "parametrización".
65 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Queremos evitar:
!
Tu →
Cono, tienda de campaña Rango = 2 =⇒ Podemos calcular plano
Tv →
tangente
Ejemplos El helicoide es una función Φ de dos variables, que crea una superficie
helicoidal (escalera de caracol) en el espacio, tal que
Φ : R2 7−→ R3
(s, t) 7−→ Φ(s, t) = (s cos t, s sin t, t)
Φ : Ω ⊂ R2 7−→ R3
(s, t) 7−→ Φ(s, t) = (x(s, t), y(s, t), z(y, t))
Φ(x, y) = (x, y, x2 + y 2 )
.
Otro ejemplo es el cilindro de radio 2. Para parametrizarlo, usamos coordenadas
polares de la siguiente forma:
66 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Φ(θ, φ) = ((R2 + R1 cos φ) cos θ, (R2 + R1 cos φ) sin θ, R1 sin φ) θ, φ ∈ [0, 2π]
67 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
z(r, θ) = f (r)
x(r, θ) = r cos θ
y(r, θ) = r sin θ
x = r cos θ
y = r sin θ
z=z
x = ρ cos θ sin φ
y = ρ sin θ sin φ
z = ρ cos θ
68 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
III.2.2.2. Ejemplos
p
Esfera en R3 Φ1,2 (x, y) = (x, y, ± 1 − x2 − y 2 ). Esta "carta de
parametrización" nos deja sin definir el ecuador. Para ello tenemos que definir más
cartas de parametrización
Estas cartas son expresando x,y en función de las otras 2. En total hacen falta 3
parametrizaciones.
4, 32 , 0
P
X u, u−2
3
P̂ v
−2, −5
3
,0
u S
La imagen formada será la circunferencia que contenga la intersección (que ya no
he sabido dibujar) de cada línea roja con la esfera y las 2 intersecciones (que tampoco
he sabido dibujar) de la recta azul que es X u, u−23
.
P ≡ r ∩ S tenemos:
Imponiendo |{z}
r(t0 )
2R2
(t0 u)2 + (t0 v)2 + R2 (1 − t)2 = R2 → ... → t0 =
u2 + v 2 + R 2
Conclusión:
2R2 2R2 R(u2 + v 2 − R2 )
P = (tu, tv, R(1 − t) = u, v, = Φ(u, v)
u2 + v 2 + R2 u2 + v 2 + R2 u2 + v 2 + R 2
.
Vemos que Φ ∈ C 1 , Φ(R2 ) = SR − {(0, 0, R)} ¿Es una parametrización?
Hay que comprobar
69 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Si x ∈ V ∩ M =⇒
70 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Demostración. Esquema: 1 =⇒ 2, 2 =⇒ 3, 3 =⇒ 1
1 =⇒ 2
Sea a ∈ M, ∃U ⊂ RN +K abierto con a ∈ U y una función F : U ⊂ RN +K 7−→
RN +K , F ∈ C 1 (U ), tal que U ∩ M = {x ∈ U F (x) = 0}. Además DF tiene
rango máximo (K).
Queremos demostrar que existe una parametrización Φ.
!
Idn×n
DΦ = ... =
Dg
con rango máximo.
¿Homeomorfismo sobre su imagen? (x, y) ∈ M en un entorno de a ∈ ω × ω 0
En ese entonrno y = g(x).
Φ Φ−1
→)x −−→ (x, g(x)) = (x, y). También Φ−1 (x, y) =
Es decir, (x, y) = (x, g(x)) −
0
x, ∀(x, y) ∈ (ω × ω ) ∩ M Continua.
71 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
DΨ rango máximo.
α : ω × RK ⊂ RN × RK 7−→RN × RK
(u, v) −→α(u, v) = Ψ(u) + (0, v)
u ∈ RN , v ∈ RK , Φ(u) ∈ RN +K
Consecuencias:
72 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
3)
La prueba de este teorema se deja como ejercicio para el lector.
σ(t) ∈ M, ∀t ∈ (−1, 1)
N +K
∃σ (−1, 1) 7−→ R
: , σ tal que σ(0) = a Definición III.6
α0 (0) = v
Sea )
a∈Ω∩M
=⇒ Df (a)v ∈ Tf (a) N
v ∈ Ta M
74 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
F : U ∩ M 7−→ 0
Caracterización 2)
Corolario III.6. M dada por una parametrización Φ tal que Φ(u0 ) = a
Entonces Ta M = img DΦ(u0 )
Tp (M ) = {(u, v) ∈ RN × RK v = Df (a)u}
75 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Espacio tangente Ta M
{x ∈ RN +K x − a ∈ Ta M }
Ejemplos:
1) M = {(x, y) ∈ R2 x2 + y 2 = 1}.
Comprobación previa Es una subvariedad porque...
Vamos a calcular
T(a,b) M = ker{ 2x 2y } =
!
u
{(u, v) 2a 2b = 0} = ... = {(u, v) ∈ R2 h(a−0, b−0), (a, b)−(u, v)i = 0
v
.
El espacio tangente es el formado por todos los vectores perpendiculares al radio.
M = {(x, y, z, t) ∈ R4 x2 + y 2 = 1, z 2 + t2 = 1}
F (x, y, z, t) = (x2 + y 2 − 1, t2 + z 2 − 1)
!
2x 2y 0 0
DF =
0 0 2z 2t
En este caso tenemos rg(DF ) = 2, ∀(x, y, z, t) ∈ R4 . (El único punto que podría
dar rango 0 es el origen, que en este caso no pertenece a la subvariedad)
Vamos con el espacio tangente:
76 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
!
2 0 0 0
T(1,0,0,1) M = ker DF (1, 0, 0, 1) = ker =
0 0 0 2
! α1 ! (
2 0 0 0 α 0 2α1 = 0
2
{(α1 , α2 , α3 , α4 ) ∈ R4 = } =⇒
0 0 0 2 α3 0 2α4 = 0
α4
Hiperplano tangente:
1 0 0
0 1 0
+ α2 + α3 , α2 , α3 ∈ R
0 0 1
1 0 0
Y el hiperplano normal:
1 1 0
0 0 0
+ µ + λ , λ, µ ∈ R
0 0 0
1 0 1
Φ : D ⊂ R2 −→R4
(u, v) −→Φ(u, v) = (x, y, z, t) = cos(u), sen(u), cos(v), sen(v)
(u, v) ∈ (−π, π) × (0, 2π)
¿¿Por qué (u, v) ∈ (−π, π) × (0, 2π) y no (u, v) ∈ (0, 2π) × (0, 2π)??
Porque el punto que tenemos (1, 0, 0, 1) ∈
/ img.
Vamos a calcular la el hiperplano tangente. Como tenemos una parametrización,
calcularemos la imagen de la diferencial (III.6)
π
T(1,0,0,1) M = img DΦ 0,
2
−sen(u) 0
cos(u) 0
DΦ =
0 −sen(v)
0 cos(v)
0 0
π 1 0
DΦ 0, =
2 0 −1
0 0
77 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Φ(θ, φ) = ((R2 + R1 cos φ) cos θ, (R2 + R1 cos φ) sin θ, R1 sin φ) θ, φ ∈ (0, 2π)
78 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
y y
= tg(θ) =⇒ θ = arctg
x x
−π π
Esto no es suficiente, porque arcsen : (−1, 1) 7−→ ,
2 2
no toma todos los
posibles valores. Lo mismo con la arctg : R 7−→ −π ,π
2 2
Tenemos que repetir el argumento de (III.7) que ya hemos hecho para la arctg
vamos a repetirlo para el arcsen.
(1)
(2)
(3)
z
Si (x, y, z) ∈ 1 =⇒ arcsin r
z
α + arcsin
f (x, y, z) = Si (x, y, z) ∈ 2 r π
=⇒ =
Si (x, y, z) ∈ 3 2 z
2
=⇒ α = arcsin r
+ 2π
Ahora tenemos que estudiar la continuidad des esta función. (Ejercicio para el
lector)
Ta M En este caso (al tratarse de una diferencial) tendremos que hallar la imagen
de DΦ.
Ejercicio propuesto: T( π , π ) M .
2 2
Ejercicio 3.4.4: Sea σ(t) = cos t, sen t, t2 (2π − t)2 , t ∈ [0, 2π].
79 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Podríamos hacer los "límites laterales" y calcular el T(1− ,0,0) M, T(1+ ,0,0) por
decirlo de alguna manera y si coinciden, ese tiene que ser el hiperplano tangente
en el punto (1, 0, 0).
Definir otro intervalo en el que trabajar.
Con el sen y cos no tenemos problema porque son periódicas y podríamos
π π
trabajar en 2 , 2 pero con la tercera coordenada es más problemático porque
no es periódica. Es de la forma:
Idea:
• Escribir la extensión 2π periódica al intervalo [−2π, 2π].
• Tomar σ̃(t) = (cos(t), sen(t), z̃(t)), t ∈ (−π, π)
80 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ejemplos:
F continua
81 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
2) Continuidad F es continua.
Vamos con los multiplicadores:
2x = λ1 (2x + 2y) + λ2 2x
2y = λ1 (x + 2y) + λ2 2y
2z = λ1 (−2z)
x2 + xy + y 2 − z 2 =1
x2 + y 2 =1
Caso 1:
82 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
2x = λ1 (2x + 2y) + λ2 2x
2y = λ1 (x + 2y) + λ2 2y
2
x + xy + y2 =1
x2 + y 2 =1
Tenemos 4 puntos críticos P1 = {(1, 0, 0), (0, 1, 0), (−1, 0, 0), (0, −1, 0)} con
d[(x, y, z), (0, 0, 0)] = 1, ∀(x, y, z) ∈ P1
Caso 2: (Podría darse el caso de que nos saliera la misma solución que en el caso
1. No preocuparse, es posible.)
2x = −(2x + y) + λ2 2x
2y = −(x + 2y) + λ1 2y
x + xy + y 2 − z 2
2
=1
x2 + y 2 =1
( ) ( )
2xy = −(2x + y) + λ2 2x y 2xy + (2 − λ2 ) = −y 2
=
2xy = −(x + 2y) + λ2 2y x 2xy + (2 − λ2 ) = −x2
Llegamos a:
( )
1 1 1 −1 −1 1 1 1 −1 −1 −1 −1
P2 = √ ,√ ,√ , √ ,√ ,√ , √ ,√ ,√ , √ ,√ ,√
2 2 2 2 2 2 2 2 2 2 2 2
83 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
∇F (P ) − λ1 DG1 (P ) − · · · − λk DGk (P ) = 0
x ∈ M =⇒ H(x) = F (x)
∇H(P ) = 0
Para clasificar el punto crítico vamos a coger una curva dentro de la subvariedad
y a componerla con H. Pasaremos a tener una función de una variable y ahí veremos
en qué condiciones tenemos un máximo o un mínimo.
Tomamos una curva α ∈ C 1 tal que
α(0) = P
α(t) ∈ M ∀t
α0 (0) = v
y entonces
g 0 (0) = h∇H(P ), vi = 0
n
0 0
X ∂H
g (t) = h∇H(α(t)), α (t)i = (α(t)) · αi0 (t)
i=1
∂ xi
2 n
dg X d ∂H 0
(t) = (α(t)) · αi (t)
dt2 i=1
dt ∂ xi
84 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
n 2
d ∂H ∂H X ∂ H
(α(t)) · αi0 (t) = (α(t))αi00 (t) +αi0 (t) (α(t))αj0 (t)
dt ∂ xi ∂ xi j=1
∂x i x j
| {z }
=0 si t=0
Conclusión:
2 n n 2
dg X ∂ H X ∂ H
(t) = (α(t))αi00 (t) + αi0 (t) (α(t))αj0 (t)
dt2 ∂ xi ∂xi xj
i=1 j=1
Evaluando en t = 0
n n
d2 g X ∂ H 00
X ∂ 2H
(0) = (P ) αi (0) + (P )vi vj =
dt 2 ∂ xi ∂xi xj
i=1 | {z j=1
}
=0
n X
n
X ∂ 2H
= (P )vi vj = v · D2 H(P ) · v T
i=1 j=1
∂xi xj
III.4.1.1. Ejemplos
85 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
F (x, y) = (x + 1)2 + y 2
G(x, y) = y 2 − x3 = 0
, lo que es imposible.
86 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
¿Tiene sentido plantearse que esta función alcanze algún máximo o mínimo?
Demostrar que este conjunto es compacto
Dibujito
Hay que estudiar:
Frontera, distinguiendo:
• Circunferencia G1 (x, y) = x2 + y 2 − 2.
) 2 = 2λx √ √
∇F = λ∇G1
=⇒ 2y = λ2y =⇒ {( 2, 0), (− 2, 0), (1, 1), (1, −1)}
G1 = 0 2
x + y2 = 2
√
De estos 4 puntos, sólo nos interesa en (− 2, 0) que es el único que
pertenece al interior
• Parábola
G2 (x, y) = x − y 2
2 =λ
2y = λ(−2y) x = y = 0
x − y2 =0
• Puntos aislados
F (1, 1)
F (−1, 1)
F (0, 0)
87 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ejercicio 4.?:
a > 0, b > 0, ab(a + b) = 1.
Consideramos sólidos que tienen como base el triángulo de vértices
(0, 0), (a, 0), (b, 0) y tienen como sección al cortar por un plano x = cte lo
que sale son triángulos isósceles de altura 4.
Objetivo: Maximizar el volumen esos sólidos para cualquier (a, b) que cumplan
la propiedad.
Ejemplo 4 Fotito
Para calcular el área del mostruito vamos a aplicar el Principio de cavalier
Z a
V ol(a, b) = A(x)dx
0
La base viene dada por la recta que pasa por (a, 0, 0)y(b, 0, 0) y = b − ab x
b
b− a
x 4 2b
A(x) = = 2b − x
2 a
Sustituyendo:
Z a
2b
V ol(a, b) = 2b − xdx = ... = ab
0 a
y = λ(2xy + y 2 )
1 = λ(2x + y)
x = λ(x2 + 2xy) =⇒ 1 = λ(x + 2y)
xy · (x + y) =1 xy · (x + y) =1
1
Solución: x = y = √
3
2
88 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
89 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Capítulo IV
Teoría de la integración en
subvariedades diferenciales
Mi = sup{f (x) x ∈ Ii }
mi = ı́nf{f (x) x ∈ Ii }
k−1
X
U(f, P) = Mi (ti+1 − ti )
i=0
k−1
X
L(f, P) = mi (ti+1 − ti )
i=0
Esto nos da una aproximación al área debajo de la función como una suma de
rectángulos. Tal y como los hemos definido, está claro que
Z b
L(f, P) ≤ f ≤ U(f, P)
a
También parece obvio que, cuanto más pequeña sea la anchura de los intervalos,
más se aproximarán las sumas superiores e inferiores al valor real. Definimos entonces
90 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
α = lı́m U(f, P)
|P|→0
β = lı́m L(f, P)
|P|→0
, donde |P| = máx ti+1 − t − i, es decir, la anchura máxima de los intervalos que
formarn P. A partir de aquí podemos llegar a la definición de función integrable:
Función Definición IV.1 Función integrable. Se dice que f es integrable en [a, b] si y sólo si
integrable
La notación es Z b
f (x)dx = α = β
a
k−1
X Z b
lı́m f (si )(ti+1 − ti ) = f (x)dx
h→0 a
i=1
Z B Z g −1 B
f (x) dx = f (g(t))g 0 (t) dt
A g −1 (A)
91 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
92 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
γ : [a, b] ⊂ R 7−→ Rn
t → γ(t) = (x1 (t), . . . , xn (t))
y con γ ∈ C 1 .
También exigiremos que la curva sea un camino regular, es decir que
γ 0 (t) 6= 0 ∀t
Teorema IV.6 (Longitud de una curva). Dada una partición P = {a = t0 < t1 <
· · · < tk = b} definimos
|P| = máx |ti+1 − ti |
i
y la longitud L de la curva.
k−1
X
L(σ) = lı́m kσ(ti+1 ) − σ(ti )k
|P|→0
i=0
| {z }
=S(σ,P)
93 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Z b
L(σ) = kσ 0 (t)k dt
a
Este teorema responde a una idea con respecto al cambio de variable: si tomamos
Γ como la curva que queremos integrar, entonces se puede expresar
Z Z b
L(σ) = 1 dσ = kσ 0 (t)k dt
Γ a
k−1
X
S(σ, P) = kσ(ti+1 ) − σ(ti )k =
i=0
k−1 q
X 2 2
= x(ti+1 − x(ti ) + y(ti+1 − y(ti )
i=0
2
x(ti+1 − x(ti ) = x0 (s1i )2 (ti+1 − ti )2
2
y(ti+1 − y(ti ) = y 0 (s2i )2 (ti+1 − ti )2
Entonces
k−1
X q
S(σ, P) = (ti+1 − ti ) x0 (s1i )2 + y 0 (s2i )2
i=0
k−1
X p
S(σ, P) = x0 (ti )2 + y 0 (ti )2 (ti+1 − ti )
i=0
94 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
o también:
k−1
X p
S(σ, P) = x0 (ti+1 )2 + y 0 (ti+1 )2 (ti+1 − ti )
i=0
X
0 ≤ (1) − (2) ≤ ... ≤ G(s1i , s2i ) − G(t1i , t2i ) (ti+1 − ti )
i
Ejemplo:
σ : [0, 1] 7−→ R2
A di-
bujar! Descripción gráfica: entre 21k y 1
2k+1
y formo un triángulo isósceles con esos 2 puntos
y de altura hasta la bisectriz.
Sea el triangulo K:
Dibujo
r r
1 1 1 1
Longitud = Lk = ...???... = { 2
+1+ 2
+ 1} ≥
2k + 1 4k 4k + 4 2k + 1
X X 1
Longitud total = Lk ≥ =∞
k
2k + 1
95 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
σ : [a, b] 7−→ Rn
L0 (s) = kσ 0 (s)k
Al imponer que la curva sea regular, entonces σ 0 (s) 6= 0 y por lo tanto existe la
inversa L−1 . Si tenemos entonces un τ ∈ [0, L(b)], entonces S = L−1 (τ ) ∈ [a, b].(?)
Definimos
σ ∗ = σ ◦ L−1
σ ∗ = σ(L−1 (τ ))
1 1 σ 0 (s)
(σ ∗ )0 (τ ) = σ 0 (L−1 (tau))(L−1 (τ ))0 = σ 0 (L−1 (τ )) = σ 0 (s) =
L0 (L−1 (τ )) L0 (s) kσ 0 (s)k
96 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
1-variedad Longitud
N-variedad Volumen
k
X
Pk = λi v i λi ∈ [0, 1]
i=1
Definimos una
Ψ : RN 7−→ RN
x −→ (Ψ1 (x), ..., Ψn (x))
El paso que vamos a dar ahora es: Construir una aplicación L tal que L(ei ) = Ψ̃(v i )
Y aplicamos el cambio de variables:
Z Z
∂s
ds = det dt
Ψ̃(Pk ) [0,1]K ∂t
Tenemos:
L lineal, L : RK 7−→ RK
L(ej ) = Ψ̃(v j ).
97 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
!
Ψ̃(v 1 ) Ψ̃(v 2 ) ... Ψ̃(v k ) ds
L= .. =
↓ ↓ . ↓ dt
Conclusión:
!
Ψ̃(v 1 ) Ψ̃(v 2 ) ... Ψ̃(v k )
Area(Pk ) = |det L| = det ..
↓ ↓ . ↓
! !T 21
Ψ̃(v 1 ) Ψ̃(v 2 ) ... Ψ̃(v k ) Ψ̃(v 1 ) Ψ̃(v 2 ) ... Ψ̃(v k )
Area(Pk ) = det .. ..
↓ ↓ . ↓ ↓ ↓ . ↓
¿Qué ganamos?
hΨ̃(v 1 ), Ψ̃(v 1 )i hΨ̃(v 1 ), Ψ̃(v 2 )i ... hΨ̃(v 1 ), Ψ̃(v k )i
hΨ̃(v 2 ), Ψ̃(v 1 )i hΨ̃(v 2 ), Ψ̃(v 2 )i ... hΨ̃(v 2 ), Ψ̃(v k )i
1
. . . . = (∗) = det(hvi , vj i) 2
.. .. .. ..
hΨ̃(v k ), Ψ̃(v 1 )i hΨ̃(v k ), Ψ̃(v 2 )i ... hΨ̃(v k ), Ψ̃(v k )i
(∗) Hemos construido las cosas de tal manera que se mantiene el producto escalar.
Dibujo
Φ(s0 ) = x0 ∈ M
98 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Me he
per-
dido
! 12
porque det h ∂ Φ , ∂ Φ ihi hj
vi = ∂ s i ∂ sj
∂Φ
∂ sj
(s0 )·
hj Tomamos hi = h, ∀i
! 12
∂Φ ∂Φ
hk det h , i
|{z} ∂ si ∂ sj
Area(Qk )
| {z }
Area(Pk )
Conclusión:
! 12
X ∂Φ n ∂Φ n
Area(M ) = Area(Qnk ) det h (s ), (s )i + err(h)
n
∂ si 0 ∂ sj 0
12
Si llamamos F (sn0 ) = det h ∂∂ sΦi (sn0 ), ∂∂ sΦj (sn0 )i
Tenemos: Z
Riemann
X
Area(Qk )F (sn0 ) −−−−−→ F (s)ds
n→∞ D
n
12
∂Φ ∂Φ
R
Por tanto: Area(M ) = D det h ∂ si , ∂ sj i
Ejemplos
Ejemplo 1)
σ : [a, b] 7−→ RN
99 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Z Z b
1
f dA = f (σ(t))(hσ 0 , σ 0 i) 2
Γ a
Ejemplo 2)
Φ : D ⊂ R2 → R3
(s1 , s2 ) → (x(s1 , s2 ), y(s1 , s2 ), z(s1 , s2 ))
1
(det(hΦsi , Φsj i)) 2 ) = (∗) = kΦ1 × Φ2 k
(∗) visto anteriormente.
Integrales de campos sobre curvas y superficies en R3 .
→
−
1 Γ curva, F campo. Nos interesa la componente que sigue la tangente de la
recta (ya que en la dirección perpendicular no se realiza trabajo). Para ello
multiplicamos escalarmente por el vector director normalizado.
→
− − σ0
→
Z Z Z
F dσ ≡ Trabajo ≡ FT = h F , 0 i
Γ Γ Γ kσ k
Z b Z b
→
− σ 0 (t) 0 →
−
= h F (σ(t)), 0 ikσ (t)kdt = h F (σ(t)), σ 0 (t)idt
a kσ (t)k a
→
− →
−
Z Z
F = ... = h F (Φ(u, v)), Tu × Tv idudv
Φ(D) D
∂F1 ∂Fn
div F = + ··· +
∂x1 ∂xn
Rotacional Definición IV.6 Rotacional. El rotacional mide el giro interno de las partículas en un
campo, que se puede expresar como 2
rot F = ∇ × F
Teorema IV.9 (Teorema de Stokes). Dada Γ una curva cerrada simple en R3 que
es el borde de una superficie S, tenemos que
Z ZZ
F dσ = rot F dS
Γ+ S+
Esto indica que el flujo por una superficie depende sólo de la forma de su boca.
2
En realidad, ∇ no es un vector y esto es sólo una regla mnemotécnica
101 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Teorema IV.10 (Teorema de Gauss). Sea S una superficie cerrada que encierra
una región Ω, y F ∈ C 1 (Ω).
ZZ ZZZ
F dS = div F dx dy dz
S+ Ω
IV.2.3. Orientación
El tema de la orientación tiene que ver con tener cuidado con el orden. Vamos a
ver los ejemplos de pocas dimensiones:
Ejemplos:
Ejemplo 1) Bases en R2
Ejemplo 2) R3 . Sean
102 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
1 0 0
Si tomamos u = 0 = 1 = 1
0 0 0
B1 B2 B3
Ejemplo 3) (Importante)
En R3 , sean u, v independientes.
Construimos B = {u, v, u × v}. Queremos saber si esta base es de orientación
positiva u orientación negativa.
→
− →− →−
i j k
u2 v2 u1 v1 u1 v1
u×v = u1 u2 u3 = ... = u v , u v , − u v
3 3 3 3 2 2
v1 v2 v3
u2 v2
u1 v1
u3 v3
u v1
− 1
BB→C =
u 2 v 2
u3 v3
u1 v1
u 3 v 3
u2 v2
Cuyo determinante es
2 2 2
u v u v u v
2 2 1 1 1 1
+ + >0
u3 v3 u3 v3 u2 v2
103 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ejemplo 4) R2
Sean
C = {(1, 0), (0, 1)}
B = {(u1 , u2 ), (v1 , v2 )}
Aplicando un giro (de aquí salen λ...) podemos ver que el si el ángulo entre
u, v ∈ (0, π) + pero si el ángulo entre u, v ∈ (π, 2π) −. ¿Y en π? Entonces los
vectores no serían independientes.
Idea: Vamos a dedicarnos a jugar con los vectores de la base aplicandoles una
deformación continua para ver que pasa con la discontinuidad de la orientación en π a
ver que encontramos.
Sea la deformación (α(t), β(t)), t ∈ (0, 1) continua, donde (α(0), β(0)) = (e1 , e2 )
y (α(1), β(1)) = (e1 , e2 )
e2 v
e1 u
104 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
No hay ninguna manera de llevar e3 a w sin formar un único plano con los tres
vectores.
Aunque podríamos llevar e3 → u y e1 → w... ¿Entonces?
Mal! Porque no estamos manteniendo el orden, tendríamos la base C∗ =
6 C.
{w, v, u} =
Caracterización práctica
Tipico
dibujo Sea {e1 , e2 , . . . , ek } la base canónica en Rk , y Φ(u0 ) = a
de un
Como la variedad viene dada por una parametrización, tomamos img DΦ, es decir:
con-
junto Ta M = img DΦ(u0 ) = {DΦ(u0 )v, v ∈ RK }
en el
plano Tomando la base euclídea:
RK
k k
que la X X
DΦ(u0 ){ vi ei } ≡ vi [DΦ(u0 )ei ] ∈ RN
para- | {z }
metri-
zación
1) Es decir, la img DΦ está generada por los k vectores
Φ lo
lleva al {DΦ(u0 )e1 , . . . , DΦ(u0 )ek } (IV.1)
espa-
cio.
2) La condición de rango máximo nos asegura que los k vectores son linealmente
independientes.
Ejemplos:
105 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
σ : U 7−→ Γ, s → σ(s)
β : V 7−→ Γ, t → β(t)
Tenemos un teorema que nos garantiza que existe un difeomorfismo (??)g, tal
que
σ(s) = β(g(s)) ∧ σ 0 (s) = β 0 (g(s)) · g 0 (s)
En este caso, para que las dos parametrizaciones den la misma orientación, g 0 > 0.
106 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Análogamente:
(Φ1 )v (Ψ1 )r (Ψ1 )s !
(g1 )v
(Φ2 )v = (Ψ2 )r (Ψ2 )s
(g2 )v
(Φ3 )v (Ψ3 )r (Ψ3 )s
Φu × Φv = Ψr × Ψs · (det Dg)
Banda de Moebius
107 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
La parametrización es
θ θ θ
Φ(t, θ) = (R + t · sen )cosθ, (R + t · sen )senθ, tcos t ∈ (−1, 1), θ ∈ (0, 2π)
2 2 2
Regular (C 1 )
DΦ rango máximo (Fácil)
Homeomorfismo
1) Despejamos en función de x, y, z
y
x
= tgθ.
Definimos 3 :
θ = arctg xy (1)
θ = arctg xy + π (2)
θ = arctg xy + 2π (3)
Y comprobar que es continua
2) Escribimos este conjunto como un conjunto de nivel y ver que es una variedad,
por lo tanto no hace falta comprobar el homeomorfismo sobre la imagen.
p θ
x2 + y 2 = (R + t · cos )
2
p
2 2
z
x + y − R = ”arctg y ”
tg ? x
→
− t
n (t, θ) −−−− − −
→ (−R, )
θ→0+ →∞ 2
→
− t
n (t, θ) −−−−− −−→ (R, − )
−
θ→2π →∞ 2
Curioso: esta parametrización que no cubre el segmento con el que se empieza.
Esta parametrización tiene una propiedad curiosa, al empezar, el vector normal apunta
hacia dentro y al final, apunta hacia fuera. Es imposible cubrirla del todo con una
parametrización.
3
Utilizando: (??)
108 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ψ(s0 , 0) ∈ dM
σ (s0 ) →
−
!
0
v
DΨ|( s0 , 0) =
↓ ↓
109 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
! !
∂ Ψ1
Ψ1 (s0 , 0) ∂t
(s0 , 0)
Ψ(s0 , t) = +t ∂ Ψ2 +err
Ψ2 (s0 , 0) ∂t
(s0 , 0)
| {z }
v
!
Ψ1 (s0 , t)
= x0 + tv + err
Ψ2 (s0 , t)
| {z }
∈M t>0
Orientación
C = {e1 , e2 }
B = {DΨ(s0 , 0)e1 , DΨ(s0 , 0)e2 } = {σ 0 (s0 ), v}
Ejemplo
Φ : R2 7−→ R3
Orientación:
C = {e1 , e2 , e3 }
B = {σ 0 (s0 ), v, σ 0 (s0 ) × v}
110 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Con las cuentas vistas antes del ejemplo comprobamos que v apunta hacia el interior
de M .
Conclusión: La elección de σ 0 y del producto vecotiral deben ser compatibles.
Para esta elección aplicaríamos la regla del muñequito y la mano izquierda.
111 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Capítulo V
Teorema de Stokes
f : Ω ⊂ RN 7−→ R
Operaciones habituales:
Suma: sí
Producto: sí
n
X
Definimos y ∈ RN y= yi ei , con lo que
1
X
L(y) = yi L(ei )
Entonces )
vi = L(ei ) X
→ L(y) = vi Pi (y)
yi = Pi (y)
i
112 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
N
X N
X
L[y] = vi dxi [y] = vi yi
i i
Se evalúa en x ∈ R
Actúa sobre y ∈ RN
Es decir,
X X X
ω(x)[y] = Fi (x)dxi [y] = Fi (x)dxi [y] = Fi (x)yi
∂f
(x)dxi
∂ xi
A esta 1-forma en particular la llamaremos df (x).
¿Utilidad? Ya la veremos, pero es una forma de escribir el producto escalar.
h∇f (x), yi = df (x)[y]
113 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Φ : RN × RN 7−→ R
Que cumplen
Consecuencias:
Φ(u, v) = Φ(u1 e1 + u2 e2 + u3 e3 , v1 e1 + v2 e2 + v3 e3 )
Aplicando las propiedades anteriores obtenemos:
≡0
z }| {
u1 v1 Φ(e1 , e1 ) +u1 v2 Φ(e1 , e2 ) + u1 v3 + Φ(e1 , e3 )+
u2 v1 + Φ(e2 , e1 ) + u2 v2 + Φ(e2 , e2 ) + u2 v3 + Φ(e2 , e3 )+
u3 v1 Φ(e3 , e1 ) + u3 v2 + Φ(e3 , e2 ) + u3 v3 + Φ(e3 , e3 ) =
C
z }|1 {
(u1 v2 − u2 v1 ) Φ(e1 , e2 ) +(u1 v3 − u3 v1 )Φ(e1 , e3 ) + (u2 v3 − u3 v2 )Φ(e2 , e3 )
| {z }
u
1 u2
v
1 v2
114 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Se evalúan en puntos x ∈ RN
Es decir:
!
X X ui vi
β(x)[u, v] = Fij (x)dxi ∧ dxj [u, v] = Fij det
uj vj
Ojo El cambio del orden (en el determiante)es aposta por la segunda propiedad de
las 2 formas
K-forma Definición V.3 K-forma. Una k-forma es una expresión como la que sigue
N
X
Fi1 ,...,ik (x) dxi1 ∧ . . . ∧ dxik
i1 ,...,ik =1
ij = is =⇒ dxij ∧ dxis = 0
!
N
Esto nos dice que en RN , teniendo K-formas (con K < N ) tenemos
K
combinaciones distintas.
Ejemplos: En R3 .
0-forma f (x, y, z) = 0
115 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ojo Al cambio en la 2-forma, que es dzdx. Esto es para seguir el orden cíclico
(por temas de la orientación). Esto es x → y → z → x
Observación: Las funciones escalares las podemos interpretar como 0-formas y como
3-formas. Los campos vectoriales los podemos interpretar como 1-formas y también
como 2-formas.
V.1.3. Operaciones
Siempre se puede multiplicar por 0-formas y sumar formas del mismo orden. Estas
operaciones son triviales porque son operaciones internas.
Vamos a definir las operaciones externas:
Observación: Si K + S > N =⇒ ω ∧ β = 0
Vamos a por un ejemplo de producto exterior en R3 . Consideramos las dos siguientes
formas diferenciales:
116 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
ω ∧ β = f1 g1 dx ∧ dx + f1 g2 dx ∧ dy + f1 g3 dx ∧ dz + f2 g1 dy ∧ dx+
+ f2 g2 dy ∧ dy + f2 g3 dy ∧ dz + f3 g1 dz ∧ dx + f3 g2 dz ∧ dy + f3 g3 dz ∧ dz
Tachamos los que sean 0 ( dx ∧ dx = 0) y tenemos cuidado con el orden cíclico, y nos
queda
Partiendo de 2 campos vectoriales que eran 1-formas hemos llegado a una 2-forma.
Además, si nos fijamos, hemos llegado a la definición de producto vectorial en R3 :
→
− → −
F × G = (f2 g3 − f3 g2 ), (f3 g1 − f1 g3 ), (f1 g2 − f2 g1 )
Diferencial Definición V.5 Diferencial exterior. Definimos la diferencial exterior de una k-forma
exterior como
Prod. ext
X X z}|{
dω = d Fi (x) dxI = dFI ∧ dx
|{z}I
|{z}
I I 1-forma k-forma
donde
N
X ∂f
df = dxi
i
∂ x i
ω = g1 dy ∧ dz + g2 dz ∧ dx + g3 dx ∧ dy
117 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
dω = d (F1 dx + F2 dy + F3 dz) =
= dF1 ∧ dx + dF2 ∧ dy + dF3 ∧ dz =
∂ F1 ∂ F1 ∂ F1 ∂ F2 ∂ F2 ∂ F2
= dx + dy + dz ∧ dx + dx + dy + dz ∧ dy+
∂x ∂x ∂x ∂x ∂x ∂x
∂ F3 ∂ F3 ∂ F3
+ dx + dy + dz ∧ dz =
∂x ∂x ∂x
∂ F3 ∂ F 2 ∂ F 1 ∂ F3 ∂ F2 ∂ F1
= − dy ∧ dz + − dz ∧ dx + − dx ∧ dy
∂y ∂z ∂z ∂ dx ∂x ∂y
!
∂ F3 ∂ F2 ∂ F1 ∂ F3 ∂ F2 ∂ F 1
− , − , −
∂y ∂z ∂z ∂x ∂x ∂y
P
Diferencial del producto Siendo ω = I FI dxI una k-forma, f una 0-forma,
tenemos que
118 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
X
fω = f FI dxI
I
y entonces X
d(f ω) = d(f FI ) ∧ dxI
I
, donde
N N N
X ∂ f FI X ∂f X ∂ FI
d(f FI ) = dxj = FI dxj + f dxj = FI df + f dFI
j=1
∂ xj j=1
∂ x j j=1
∂ x j
X
d(f ω) = (FI df + f dFI ) ∧ dxI =
I
X X
= FI df ∧ dxI + f dFI ∧ dxI =
I I
X
= df ∧ FI dxI + f dω =
I
X
= df ∧ FI dxI + f dω =
I
= ω df + f dω
d(f ω) = ω df + f dω
119 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
N
X
d(ω ∧ β) = d fi gj dxy ∧ dxj =
i,j=1
N
X
= d(fi gj ) ∧ dxi ∧ dxj =
i,j=1
N N
X X ∂ (fi gj )
= dxk ∧ dxi ∧ dxj =
i,j=1 k=1
∂ xk
N
X ∂ fi ∂ gj
= gj + fi dxk ∧ ddxi ∧ ddxj =
i,j,k=1
∂ xk ∂ xk
N N
X ∂ fi X ∂ gj
= gj dxk ∧ ddxi ∧ ddxj + fi dxk ∧ ddxi ∧ ddxj
i,j,k=1
∂ xk i,j,k=1
∂ xk
N N
X ∂ fi X ∂ gj
d(ω ∧ β) = gj dxk ∧ dxi ∧ dxj + fi dxk ∧ ddxi ∧ ddxj
i,j,k=1
∂ x k
i,j,k=1
∂ x k
N N
X ∂ fi X ∂ gj
= dxk ∧ dxi ∧ (gj dxj ) + dxk ∧ fi dxi ∧ ddxj =
i,j,k=1
∂ xk i,j,k=1
∂ xk
X X ∂ fi X
= dxk ∧ dxi ∧ gj dxj
i k
∂ x k j
X X ∂ gj X
+ dxk ∧ fi dxi ∧ dxj =
j k
∂ x k i
X X
= dfi ∧ dxi ∧ β + dgj ∧ ω ∧ dxj =
i j
X X
= dfi ∧ dxi ∧ β − ω ∧ dgj ∧ dxj =
i j
= dω ∧ β − ω ∧ dβ
dω ∧ β + (−1)k ω ∧ dβ
120 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
d(dω) = 0
d(ω + β) = dω + dβ.
d(f ω) = ω df + f dω.
d(d ω) = 0.
¿Cómo tengo que interpretar los campos para conseguir un producto escalar?
V.1.3.4. Pull-back
121 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
∂ T1 ∂ T1
(s) ... v1
∂ s1.. ..
∂ sN
..
DT (s) = . · ↓
. .
∂ TM
... ∂ TM vN
∂ s1 ∂ sN
¿Que significa dxi [DT (s)v]? Vamos a ver que pasa con el producto de una de las
filas de la matriz.
∂ Ti ∂ Ti
dxi [DT (s)v] = v1 + ... + vn
∂ s1 ∂ sN
Podemos darnos cuenta de que v1 = ds1 [v]. Con esto tenemos:
∂ Ti ∂ Ti
dxi [DT (s)v] = ds1 + ... + dsN [v] = dTi [v]
∂ s1 ∂ sN
y por lo tanto
X
(T ∗ ω)(s)[v 1 , . . . , v k ] = ω(T (s))[DT (s)v] = fi (T (s)) dTi [v]
Ejemplos
Ej. 1) Sea f (x) dxi una 1-forma de la que queremos calcular el pull-back
P
Ej. 2) Sea ω = i fi dxi una 1-forma de la que queremos calcular el pull-back
X X X X
(T ∗ ω)(s)[v] = fi (T (s)) dxi [DT (s)v] = fi (T (s)) dTi [v] = T ∗ ( fi dxi ) = fi ◦T dTi
i i i i
122 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
X
T ∗ (ω ∧ β)(s)[u, v] = fi (T (s))gj (T (s)) dxi ∧ dxj [DT (s)u, DT (s), v]
i,j
| {z }
Calculado justo arriba
X
= (fi ◦ T ) = · · ·
i,j
X X
= (fi ◦ T ) dTi ∧ (gj ◦ T ) dTj = T ∗ ω ∧ T ∗ β
Conclusión: T ∗ (ω ∧ β) = T ∗ ω ∧ T ∗ β.
Esto es válido para multiíndices I, es decir, para ω k-forma y β s-forma.
X X
∗
d(T ω) = d fi (T (s)) dxi [DT (s)v] = d (fi ◦ T )(s) dTi [v]
i
X
= d(fi ◦ T ) ∧ dTi
i
X ∂ fi ◦ T
d(fi ◦ T ) = dsk
k
∂ sk
∂ fi ◦ T X ∂ fi ∂ xj
= (T (s)) ·
∂ sk j
∂ xj ∂ sk
123 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
X ∂ fi ∂ Tj (s) X ∂ fi X
d(T ∗ ω) = (T (s)) dsk ∧ dTi = (T (s)) dTj ∧ dTi = T ∗ (d( fi dxi ))
i,j,k
∂ x j ∂ s k i,j
∂ s j
T (ρ, θ) = T1 (ρ, θ), T2 (ρ, θ) = (ρ cos θ, ρ sen θ)
∂ T1 ∂ T1
T ∗ (dx) = dT1 = dρ + dθ = cos θ dρ − ρ sen θ dθ
∂ρ ∂θ
∂ T2 ∂ T2
T ∗ (dy) = dT2 = dρ + dθ = sen θ dρ + ρ cos θ dθ
∂ρ ∂θ
= ρ dρ ∧ dθ
3. T ∗ (ω ∧ β) = (T ∗ ω) ∧ (T ∗ β).
4. T ∗ (f ω) = (f ◦ T )(T ∗ ω) = (T ∗ f )(T ∗ ω)
5. T ∗ (ω + β) = T ∗ + T ∗ β.
6. (T ◦ S)∗ ω = S ∗ (T ∗ ω).
124 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ejemplo: Tenemos una aplicación ϕ(s, t) = (ϕ1 (s, t), ϕ2 (s, t)). Calculamos su
pullback y entonces
∂ ϕ1 ∂ ϕ1
ϕ∗ (dx) = dϕ1 = ds + dt
∂s ∂t
y de la misma forma
∂ ϕ2 ∂ ϕ2
ϕ∗ (dy) = dϕ2 = ds + dt
∂s ∂t
∗ ∂ ϕ1 ∂ ϕ1 ∂ ϕ2 ∂ ϕ2
ϕ (dx ∧ dy) = dϕ1 ∧ dϕ2 = ds + dt ∧ ds + dt =
∂s ∂t ∂s ∂t
∂ ϕ1 ∂ ϕ2 ∂ ϕ1 ∂ ϕ2
0+ ds ∧ dt + dt ∧ ds + 0
∂s ∂t ∂t ∂s
Los diferenciales están cambiados de orden así que seguimos pagando con un
cambio de signo:
∂ ϕ1 ∂ ϕ2 ∂ ϕ1 ∂ ϕ2
∂ ϕ1 ∂ ϕ1
∂ϕ
− ds ∧ dt = ∂∂ϕs2 ∂t = det ds ∧ dt
∂ ϕ2
∂s ∂t ∂t ∂s ∂s ∂t
∂ s, t
β = F1 dy ∧ dz + F2 dz ∧ dx + F3 dx ∧ dy
Φ∗ β = g(s, t) ds ∧ dt
Sin embargo, el producto vectorial de esos dos vectores parece el producto vectorial
de Ts × Tx , el factor que teníamos que poner para integrar un campo en una superficie.
Poderosa magia hombre blanco.
125 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
X X
(σ ∗ ω)(t)[λ] = Fi (σ(t)) dxi [Dσ(t)λ] = Fi (σ(t)) dxi [σ10 (t)λ, . . . , σN
0
(t)λ =
i i
X
= Fi (σ(t))σi0 (t) dt[λ] =
i
= hF ◦ σ, σ 0 i dt[λ]
Supongamos que tenemos una Φ : RK 7−→ RN , tal que Φ(s) = x. Para que lo de
la derecha sea una variedad tenemos que Φ tiene que ser regular, homeomorfismo y
rango máximo.
Supongamos ω ∈ RN , con ω una x-forma.
¿Qué pasaría si queremos integrar T ∗ ω?
Si queremos integrar T ∗ ω en Rk , ω tiene que ser una k-forma para poder aplicar la
definición.
126 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
→
−
Tenemos que σ ∗ ω = h F ◦ σ, σ 0 i dt
La integral quedaría:
→
−
Z Z
ω= h F ◦ σ, σ 0 i dt (V.1)
σ(I) I
→
−
Φ∗ β = h G ◦ Φ, Φs × Φt i ds ∧ dt
La integral sería:
→
−
Z ZZ
= h G ◦ Φ, Φs × Φt i ds dt (V.2)
Φ(D)
D
→
−
Es decir, integrar una 2-forma sobre Φ(D) es integrar el flujo del campo G a
través de Φ(D)
Por definición:
Z Z
ω= Φ∗ ω (V.3)
Φ(D) D
127 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Aplicando esto: Z Z
= g(t) dt1 ∧ . . . ∧ dtk
Φ(d)ω D
Vamos a fijarnos en dΦI = dΦi1 ∧ d... ∧ dΦik , que va a actuar sobre k-vectores,
es decir:
dΦi1 [v 1 ] · · · dΦi1 [v k ]
dΦI [v 1 , ..., v k ] = dΦi1 ∧ . . . ∧ dΦik [v 1 , . . . , v k ] = det .. .. ..
.
. .
dΦik [v 1 ] · · · dΦik [v k ]
Aplicando esto:
h∇Φi1 , v 1 i · · · h∇Φi1 , v k i
∇Φi1 →
!
.
.. . .. .
.. v1 · · · vk
dΦI [v 1 , ..., v k ] = det = det · · · · =
↓ ··· ↓
h∇Φik , v 1 i · · · h∇Φik , v k i ∇Φik →
∇Φi1 −→ ! ∇Φi1 −→
v · · · v k (1)
= det · · · · det 1 = det · · · dt1 ∧ . . . ∧ dtk [v 1 , . . . , v k ]
↓ ··· ↓
∇Φik −→ ∇Φik −→
(1): Aplicamos que dt1 (v) es la primera coordenada del vector v. Un paso
intermedio es
dt1 (v 1 ) · · · dt1 (v k )
det ... ..
.
..
.
dtk (v 1 ) · · · dtk (v k )
Conclusión:
Esta es la g que buscamos
z }|
{
X X ∇Φi1 −→
∗
Φω= fI ◦ Φ dΦI = fi ◦ Φ det · · · dt1 ∧ . . . ∧ dtk
I I ∇Φik −→
128 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Para nombrar las aristas usamos la notación Iij , donde i es la variable fija
(1 = x,2 = y) y j el valor que toma la variable fija.
La orientación está calculada con la regla de la mano izquierda. Me coloco en
la frontera mirando hacia la dirección en la que nos movemos. Si la mano izquierda
estirada apunta hacia el interior, la orientación es positiva. Si apunta hacia fuera, la
orientación es negativa.
Sea ω = f (x, y) dx + g(x, y) dy la forma diferencial que queremos integrar, cuyo
diferencial es
∂f ∂g ∂g ∂f
dω = dy ∧ dx + dx ∧ dy = − dx ∧ dy
∂y ∂x ∂x ∂y
129 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Z Z Z Z Z
ω= ω − ω − ω + ω=
C+ I 1 I2 0 I2 1 I1 0
Z 11 Z 1 Z 1 Z 1
= g(1, y) dy + f (x, 0) dx − f (x, 1) dx − g(0, y) dy =
0 0 0 0
Z 1 Z 1
= g(1, y) − g(0, y) dy − f (x, 1) − f (x, 0) dx =
Z0 1 Z 1 Z 10Z 1
∂g ∂f
= (x, y) dx dy − (x, y) dy dx =
0 0 ∂x 0 0 ∂x
ZZ
∂g ∂f
= − dx dy =
∂x ∂y
Q
ZZ
= dω
Q
130 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ty × Tz = (0, 0, 1)
Tx × Tz = (0, −1, 0)
Tx × Ty = (1, 0, 0)
cuyo diferencial es
∂ F1 ∂ F2 ∂ F3
dω = dx ∧ dy ∧ dz + dy ∧ dx ∧ dz + dz ∧ dx ∧ dy
∂x ∂y ∂z
∂ F1 ∂ F2 ∂ F3
= + + dx ∧ dy ∧ dz
∂x ∂y ∂z
Vamos a calcular Z
ω
dQ+
Z Z Z 1 Z 1 Z 1 Z 1
− ω+ ω= Φ∗11 ω − Φ∗10 ω =
I10 I11 0 0 0 0
1 1 1 1
→
− →
−
Z Z Z Z
= h F ◦ Φ11 , (1, 0, 0)i dy dz − h F ◦ Φ10 , (1, 0, 0)i dy dz =
0
Z 10 Z 1 0 0
ZZZ
∂ F1
= F1 (Φ11 (y, z)) − F1 (Φ10 (y, z))dydz = dx dy dz
0 0 ∂x
Q
Aplicando las mismas cuentas con las que faltan llegamos al teorema de la
divergencia para el cubo.
131 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Conclusión Z Z
ω= dω
dQ+ Q
Z ZZ Z Z
∂Q ∂Q
P dx + Q dy = d(P dx + Q dy) = − dx dy
∂D+ D D ∂x ∂y
∂Q ∂Q
Observación: Podemos elegir (P, Q) de tal modo que − = 1.
∂x ∂y
Z
Entonces el área de D sería (P, Q)dσ. Podemos aplicar esta idea para hallar
∂D+
el área de la hoja folium de Descartes (imagen V.1), cuya ecuación es
x3 + y 3 = mxy
mt
x=
1 + t3
mt2
y = xt =
1 + t3
Quedando por definir que valores toman los parámetros. En este caso es (0, ∞).
Estos valores parametrizan la región cerrada.
132 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Podríamos plantearnos para qué valores de t que recorren las ramas que se van a
infinito. En t = −1, se va a infinito, entonces una de las ramas será t ∈ (−1, 0) y la
otra será t ∈ (−∞, −1).
¿Que orientación nos da esta parametrización?
La idea es ver el vector tangente en el 0. Si es horizontal empezaremos por la rama
de abajo. Si es vertical, empezaremos por la rama de arriba
!
m(1 + t3 ) − 3mt3 2mt(1 + t3 ) − 3mt4
σ 0 (t) = ,
(1 + t3 )2 (1 + t3 )2
Podemos comprobar que σ 0 (t) −−−→ (m, 0). Además, σ 0 (t) −−−→ (0, m), quedando
+ t→0 t→∞
una orientación positiva.
!
+∞
2mt(1 + t3 ) − 3mt4
Z Z
mt
A(D) = (0, x)dσ = h 0, , ∗, idt = ...
∂D+ 0 1 + t3 (1 + t3 )2
2
Wolfram dice que el resultado de la integral es m6 y que el área encerrada por el
2
folium de Descartes es también m6 lo que nos hace pensar que está bien planteado y
bien resuelto el problema.
El teorema decía:
→
− →
−
Z Z Z
F dσ = rot F dS
Γ+ S+
Siendo S la superficie, Γ la ¿frontera?, tomando la orientación positiva con la normal
exterior.
Ejemplo )
z = x2 + y 2
≡Γ
z = mx
Z
Queremos calcular y dz
Γ
Esto es lo mismo que calcular la integral del campo (0, 0, y).
El primer paso es parametrizar Γ
Tenemos que la proyección en el plano xy es
2
m2
2 2 m
mx = x + y ≡ x − + y2 =
2 4
133 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Calculamos el vector tangente para ver en que orientación recorre la curva esta
parametrización:
σ 0 (θ) = ()
σ 0 (0) = (0, m, 0)
Suponemos (porque no me lo dicen, que m > 0) y nos da la orientación. Como en el
enunciado no nos hablan de hacerlo con ninguna orientación, la integral que calculemos
será de acuerdo con esta orientación.
Vamos con la integral:
Z Z π
2
(0, 0, y)dσ = h 0, 0, mcos(θ)sen(θ) , ∗idθ
−π |
Γ 2
{z }
−
→
F (σ(θ))
m2
Z Z Z Z
h(1, 0, 0), (−m, 0, 1)i = −mdxdy = −m · Area(C) = −m π
C 4
(1) : Tx = (1, 0, m); Ty = (0, 1, 0). Otra cosa aplicada es que el vector normal
(−m, 0, 1) como la tercera componente es positiva, tenemos que esta parametrización
induce la orientación positiva.
134 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Φ◦σ
σ < <
Φ
Q Φ(Q)
>
<
>
<
I
> >
∂Q+ Γ = Φ(∂Q+ )
Figura V.2: Esquema para la aplicación de Stokes en un cubo unidad
Z Z Z Z
∗ ∗
dω = Φ dω = d(Φ ω) = Φ∗ ω
Φ(Q) Q Q ∂Q+
Z Z Z Z Z Z
∗ ∗ ∗ ∗
Φ∗ ω
ω≡ Φ ◦ σ(I) = (Φ ◦ σ) ω = σ Φ (ω) = Φω=
Φ(dQ+ ) I I σ(I) ∂Q
135 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
θ
2π
Φ Φ(Q)
Q
0 1 r
Figura V.3: La frontera no es la misma en el cambio a polares: las partes verde y
azul forman parte de ∂Q pero no de ∂(Φ(Q)).
θ <
2π < Φ Φ(Q1 )
Q1
<
<
<
> Φ Φ(Q2 )
0 1r >
Figura V.4: Podemos dividir Q en dos celdas disjuntas
Figura V.5: ψ nos lleva P a un punto que no está en la frontera de la imagen por
ψ de su celda correspondiente (llamada de tipo I). En el caso de Q, ψ lo lleva a un
punto en la frontera de la imagen de su celda por ψ (de tipo II), por lo tanto sí es un
punto de la frontera.
136 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Paso 1: Compacidad Para todo puntoSP ∈ M existe una celda Cp tal que
P ∈ Cp . Por lo tanto, está claro que M ⊂ p∈M Cp . Tomamos el interior de las
celdas, para trabajar con conjuntos abiertos.
Hemos recubierto con infinitos abiertos la subvariedad, así que por compacidad
(I.8) existe un subrecubrimiento finito.
Sin embargo, no podemos garantizar que las celdas son disjuntas. Si lo fueran,
aplicaríamos el teorema a cada celda y listo. Hay que ver qué ocurre cuando las
celdas no son disjuntas.
Φ > 0 en Q
Φ = 0 en ∂Q
Φ = 0 en RN − Q
Φ ∈ C 1.
Consideramos Φi = Φ ◦ Ψpi ,
siendo Ψpi el difeomorfismo que
Figura V.6: La función Φ que buscamos sería
cubre la celda pi , con i =
algo así.
1, ..., k y la lleva al cubo unidad
(Q).
137 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Aunque parece una cosa imposible, vamos a ver que es algo perfectamente
factible:
Φi (x)
Φ̃(x) = P
i=1 kΦi (x)
Entonces
k
X k
X X X
dω = d(Φ̃i , ω) = dΦ̃i ∧ ω + Φ̃i dω = d Φ̃i ∧ ω + Φ̃i dω
i=1 i=1 i
P P
Dado que i Φ̃i = 1, d i Φ̃i = 0 y por lo tanto
X
dω = Φ̃i dω
Hemos conseguido definir la integral como una suma finita de integrales sobre
celdas en las que sí podemos aplicar el teorema de Stokes (V.2)
Entonces tenemos:
Z k Z
X
dω = Φ̃i ω
+
M i=1 ∂CP
i
Por como hemos definido Φ̃i tenemos que todas las celdas de tipo 1 valen 0. En
cambio en las celdas de tipo 2 (ver V.5 para los tipos de celda), tenemos una parte
sobre la que Φ̃i 6= 0 (ver figura V.7).
138 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
∂CPi ⇒ Φi = 0
Figura V.7: Sólo influyen a la integral los puntos de la frontera de la variedad, los
que llevan a celdas de tipo II.
139 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
1
Es decir, una circunferencia de radio 2
centrada en (0, 21 ).
R
Resolución de ∂M x dy
Z Z ZZ ZZ
Stokes
x dy = (0, x, 0) dσ = rot(0, x, 0) dS = (0, 0, 1) dS
∂M + ∂M +
M M
Para calcular esta integral (que es calcular el flujo) aplicamos la fórmula de siempre.
Para ello necesitamos parametrizar la superficie M :
p
Φ(x, y) = (x, y, 1 − x2 + y 2 ), (x, y) ∈ D = {x2 + y 2 ≤ y} (V.5)
x x
Calculamos Tx × Ty = √ , √ ,1
· ·
Z Z Z Z
1
(0, 0, 1)dS = − h(0, 0, 1), (∗, ∗, 1)i dx dy = − Area (D) = −π
M D 4
Z Z Z Z
Stokes
y dz = (0, 0, y) dσ = rot(0, 0, y) dS
∂M + ∂M + M+
Viendo que estamos integrando una función impar en una región simétrica, la
integral vale 0.
R
Resolución de ∂M z dx Pasamos ahora a calcular la integral de z. Tenemos lo
mismo que antes:
Z Z ZZ ZZ
Stokes
z dx = (z, 0, 0) dσ = rot(z, 0, 0) dS = (0, 1, 0) dS =
∂M + ∂M + + M+
ZZ M ZZ
x y y
− h(0, 1, 0), √ , √ , 1 i dx dy = − p dx dy
D ∗ ∗ D 1 − x2 − y 2
Vemos que esta integral es muy complicada y nos va a ganar, así que pasamos
a tratar de integrar como una curva. Deberemos parametrizar la curva, encontrar la
orientación correcta y aplicar la fórmula.
140 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
p p
Γ1 ≡( y − y 2 , y, 1 − y); y ∈ [0, 1]
p p
Γ2 ≡(− y − y 2 , y, 1 − y); y ∈ [0, 1]
!
1 Z 1
1 − 2y 1 − 2y
Z Z p
(z, 0, 0) dσ1 = − h( 1 − y, 0, 0), p , ∗, ∗ i dy = − √ dy =
Γ+
1 0 2 y−y 2
0 2 y
141 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
1 1
√
Z Z
1
= yy. − √ dy = · · ·
0 0 2 y
y tenemos que
Por otra parte, si pusiésemos los límites de integración en la región D pasaría algo.
Demostración.
i j k
∂ ∂ ∂
∂ F3 ∂ F2 ∂ F1 ∂ F3 ∂ F2 ∂ F1
rot F = ∂x ∂y ∂z = − , − , −
∂y ∂z ∂z ∂x ∂x ∂y
F1 F2 F3
142 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Z Z Z
F= F = F
Γ1 Γ2 Γ3
Entonces
Z Z x
F= h(F1 (t, 0, 0), F2 (t, 0, 0), F3 (t, 0, 0), (1, 0, 0)i dt
Γ1
Z 0y
+ h(F1 (x, s, 0), F2 (x, s, 0), F3 (x, s, 0), (0, 1, 0)i ds
0
Z x
+ h(F1 (x, y, r), F2 (x, y, r), F3 (x, y, r), (1, 0, 0)i dr
0
Z x Z y Z z
= F1 (t, 0, 0) dt + F2 (x, s, 0) ds + F3 (x, y, r) dr
0 0 0
Z Z y Z z Z x
F= F2 (0, t, 0) dt + F3 (0, y, s) ds + F1 (x, y, r) dr
Γ2 0 0 0
Z Z x Z z Z y
F= F1 (t, 0, 0) dt + F3 (x, 0, s) ds + F1 (x, r, z) dr
Γ3 0 0 0
143 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Las tres integrales son iguales, así que podemos derivar con respecto de la que
nos venga mejor para construir la función V , que es la que buscábamos.
La versión de este teorema vista en clase de prácticas (que es una versión más
práctica)
Existe un potencial
Las integrales por un camino o por otro para llegar a un punto son iguales
rot F = 0.
Z Z x Z y Z z
F= F1 (t, 0, 0) dt + F2 (x, s, 0) ds + F3 (x, y, r) dr
Γ1 0 0 0
Z Z y Z z Z x
F= F2 (0, t, 0) dt + F3 (0, y, s) ds + F1 (x, y, r) dr
Γ2 0 0 0
Z Z x Z z Z y
F= F1 (t, 0, 0) dt + F3 (x, 0, s) ds + F1 (x, r, z) dr
Γ3 0 0 0
V.5.1. Ejemplos
Ejemplo: Tenemos un cono de base D y altura h, y buscamos integrar el campo
F(x, y, z) = (x, y, z). Ω es el espacio del cono, y ∂Ω, su superficie, se divide en la
superficie lateral y la base.
Dibujito L1244
144 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Parametrizar S es sencillo:
S ≡ {(x, y, h) (x, y) ∈ D }
y entonces
ZZ ZZ ZZ
F dS = h(x, y, h), (0, 0, 1)i dx dy = h dx dy = h · Area (D)
Base D D
Finalmente
h · Area (D)
Volumen (Ω) =
3
x
F(x) = C
kxk3
Calculando las derivadas parciales
∂ F1 y 2 + z 2 − 2x2
= 5
∂x (x2 + y 2 + z 2 ) 2
∂ F2 x2 + z 2 − 2y 2
= 5
∂y (x2 + y 2 + z 2 ) 2
∂ F3 x2 + y 2 − 2z 2
= 5
∂z (x2 + y 2 + z 2 ) 2
145 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
div F = 0
Consideramos ahora una bola de radio R centrada en el origen, es decir, BR (0, 0, 0).
Integramos sobre su superficie:
ZZ ZZ ZZ
x y z 1
F dS = , , dS = 3 (x, y, z) dS =
R3 R3 R3 R
+ BR BR
∂BR
Dado que integrar el vector es integrar su componente escalar, la integral nos queda
ZZ
1 1
= 3 R dx dy = · Area esfera = 4π
R R2
BR
Φ(θ, ϕ) = (R cos θ sin ϕ, R sin θ sin ϕ, R cos ϕ); θ ∈ [0, 2π], ϕ ∈ [0, π]
i j k
Tθ = −R sin θ sin ϕ R cos θ sin ϕ 0 : Tθ × Tϕ = −R sin (R cos θ,
Tϕ = R cos θ cos ϕ R sin θ cos ϕ −R sin ϕ
ZZ
x y z
, , dS =
R3 R3 R3
x2 +y 2 +z 2 =R2
Z 2π Z π
R cos θ sin ϕ 3 3
− h , R sin θ sin ϕR , R cos ϕR , (, , )i = · · · Calculos aqui
0 0 R3
y al final sale lo mismo que antes pero con cuentas mucho más desagrable.
¿Por qué el teorema de Gauss no funciona? La divergencia es 0 y la superficie es
cerrada. Sin embargo, F no es C 1 en el origen (no existe en ese punto) así que no
podemos aplicarlo.
Pero, por otra parte, siempre hemos visto que la integral no se ve afectada por lo
que ocurra en un punto. ¿Por qué no funciona el teorema de Gauss sólo por lo que
pasa en el origen?
En realidad en el origen la divergencia vale 4π por la Delta de Dirac (δ).
146 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ωε = Ω − Bε
Demostración.
Con el lenguaje de las formas diferenciales es muy fácil esta demostración.
reescribir bien
G = (G1 , G2 , G3 )
rot G = (∗1 , ∗2 , ∗3 )
∂ ∂ ∂
div(rot G) = (∗1 ) + (∗2 ) + (∗3 )
∂x ∂y ∂z
Por la igualdad de las derivadas cruzadas (toerema de Euler) al ser G ∈ C 2 se
cancela todo.
147 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
∂ G3 ∂ G2
∂y
− ∂z
= F1
∂ G1 ∂ G3
∂z
− ∂x
= F2
∂ G2 ∂ G1
∂x
− ∂y
= F3
Rz
− ∂∂Gz2 = F1 −→ G2 = − 0 F1 (x, y, t)dt + A(x, y)
R2
∂ G1
∂z
− = F2 −→ G1 = 0 F2 (x, y, t)dt + B(x,
nR y) o
∂ G2 ∂ G1 ∂
z ∂ 2
− ∂ y = F3 −→ F3 =
R
∂x ∂x
− 0
F 1 (x, y, t)dt + A(x, y) − ∂y 0
F 2 (x, y, t)dt + B(x, y)
∂ F1 ∂ F2 ∂ F3
+ + =0
∂x ∂y ∂z
Z z
∂ F3 ∂A ∂B ∂A ∂B
= (x, y, t)dt + − = F3 (x, y, z) − F (x, y, z) + −
0 ∂z ∂x ∂y ∂x ∂y
Hemos llegado a
∂A ∂B
F3 (x, y, z) = F3 (x, y, z) − F (x, y, z) + −
∂x ∂y
Quedando entonces definidas A y B así:
∂A ∂B
− = F3 (x, y, 0)
∂x ∂y
Y aquí nuevamente tenemos muchas opciones. Tomamos B = 0 por tomar algo
Z x
A(x, y) = F3 (s, y, 0)ds + C(y)
0
148 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Vamos a ver ahora un ejemplo de cuándo se pueden meter las derivadas dentro de
una integral.
(El menos aparece porque queremos que la derivada sea negativa, porque el calor sale.)
Siguiendo la idea de Leibniz de que estamos en el mejor mundo posible ,porque
el calor se transmite de las zonas calientes a las zonas frías de la manera óptima, es
decir, en la dirección del −∇.
∂
Revisar que pasa con ∂t
ZZZ ZZ ZZ
∂
u(x, t)dx = − JdS =
∂t Bε (x0 ) ∂Bε (x0 ) ∂Bε (x0 )
ZZZ ZZZ
Gauss
= −∇x udS = div(∇x u) =
Bε (x0 ) Bε (x0 )
ZZZ
∂u
= − Au dx = 0, ∀ε
Bε (x0 ) ∂t
149 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Tenemos: ZZZ
1
mε ≤ f ≤ Mε
V ol(Bε )
ZZZ
Si ε → 0 entonces f = f (x0 )
Bε (x0 )
Para este ejemplo ha sido fundamental el meter dentro una derivada ( ∂∂t ) dentro
de la integral.
Ahora vamos a ver otro ejemplo en el que esto no se puede aplicar:
Dibujo Ejemplo: Z 1
1
fn (x)dx =
0 2
Z 1
1
lı́m fn (x)dx =
n→∞ 0 2
Z 1 Z 1
lı́m fn (x) = 0dx = 0
0 n→∞ 0
Estamos cometiendo un error... que no vamos a contar cuál es, que se verá en
teoría de la medida.
Nos podemos plantear en qué condiciones es cierto (en el ejemplo anterior es falso):
Convergencia puntual
∀x ∈ Ω, dado
un ε > 0
∃n0 tal que n > n0 =⇒ fn (x) − f (x) < ε
Ejemplo: 1) (
1 x ∈ [0, 1] ∩ Q
f (x) =
0 x ∈ [0, 1] ∩ {R − Q}
Este es el ejemplo de función no integrable por Riemman (las sumas superriores valen
1 y las sumas inferiores valen 0, debido a la numerabilidad de los Racionales)
150 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Demostración.
Z Z
0 ≤ fn (x) − f (x) dx ≤<
ε dx = ε |Ω| → 0
Ω Ω
Teorema V.8.
)
{fn } continua
=⇒ f continua
fn → f uniforme en Ω
151 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Demostración.
f (x) − f (y) = f (x) ± fn (x) ± fn (y) − f (y)
ε
Elegimos un subíndice n para el que se cumpla fn (t) − f (t) < 3
u(x,t+1/u)−u(x,t0 )
Aplicación Sea fn (x) = 1/u
∂u
f (x) = ∂u
(x, t0 )
Vamos a comprobar la convergencia uniforme:
u(x, t + 1/u) − u(x, t0 ) ∂ u ∂ u
(x, s) − ∂ u (x, t0 ) < ε∀x
TV M
0 ≤ fn (x) − f (x) ≤
− (x, t0 ) =
1/u ∂u ∂t ∂t
Donde s ∈ [t0 , t0 + n1 ]
En el último paso utilizamos la continudad de la derivada y la compacidad (que
nos da continuidad uniforme)
El último requisito es un verdadero dolor de cabeza, trabajar con sumas infinitas y con
uniones infinitas. Sería fácil (con la medida exterior) para conseguir un ≤ que no es
suficiente.
152 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Para solucionar todo estos problemas hay que definir una nueva teoría con la que
casi todo es medible (salvo unos cuantos monstruos, que para encontrarlos hay que
hablar del Axioma de elección)
Toda esta teoría de la integral de Lebesgue nos da resultados mucho más generales
para poder intercambiar el límite con la integral, con la convergencia monótona y la
convergencia domiante.
153 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Apéndice A
Resumen
−1
DG(y) = DF (F −1 (y))
, ∀y ∈ U
Teorema A.2 (Teorema de la función implícita (caso general)). (ver II.5) Dadas
n ecuaciones, n + m incógnitas, consideramos
RM × |{z}
F : Ω ⊂ |{z} RN 7−→ RN
x,y z
g : ω ⊂ RM 7−→ Θ ⊂ RN , g ∈ C 1 (ω)
que cumple
154 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Parametrización Definición A.3 Parametrización local. (ver III.3) Diremos que Ψ : ω ⊂ RN 7−→
local RN +K , Ψ ∈ C 1 (ω), es una parametrización local si y sólo si el rango de su diferencial
es máximo y es un homemorfismo sobre su imagen.
155 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Z Z
∂ y
f (y) dy = f (Φ(x)) det
dx
D∗ D ∂ x
Integral Definición A.5 Integral sobre una subvariedad. Dada una subvariedad M a través
sobre una de una parametrización Φ
subvarie- Z Z q
dad
f dA = f (Φ(s)) det hΦsi , Φsj i ds
Φ(D) D
Integración de campos
Z Z b
F dσ = hF(σ(t)), σ 0 (t)i dt
Γ a
Z ZZ
F dS = hF(Φ(u, v)), Tu × Tv i du dv
Φ(D)
D
Teorema A.7 (Teorema de Stokes). Dada Γ una curva cerrada simple en R3 que
es el borde de una superficie S, tenemos que
Z ZZ
Fdσ = rot FdS
Γ+
S+
Teorema A.8 (Teorema de Gauss). Sea S una superficie cerrada que encierra
una región Ω, y F ∈ C 1 (Ω).
Z Z ZZZ
= div F dx dy dz
S+
Ω
156 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
157 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Apéndice B
Ejercicios
B.1. Hoja 1
N
X
hx, yi = xi y i
i=1
Apartado a)
Sabiendo que kxk2 = hx, xi y usando las propiedades del producto escalar
(distributiva, multiplicación por constante, conmutativa), tenemos que
Apartado b)
Trivial usando los dos cálculos anteriores.
158 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Apartado a)
∞
[ 1
−1,
k=1
k
Es cerrado, porque es equivalente al conjunto [−1, 0] Demostración: (hay que
demostrar las inclusiones ⊆ y ⊇)
Apartado b)
No es ni cerrado ni abierto (R es el cierre de Q).
159 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
B.2. Hoja 2
Apartado c)
x3
si (x, y) 6= (0, 0)
f (x, y) = x2 + 7y 2
0 si (x, y) = (0, 0)
Continuidad:
x 3 x3
0≤ 2 ≤ ≤ |x| −−→ 0
x + 7y 2 x2 x→0
Si Df es constante (es de la forma Df = kij ), tenemos que cada una de las
componentes de f es de la siguiente forma:
N
X
fi = ki0 + kij xj
j=0
ya que cumple
160 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
∂ fi
= kij
∂ xj
Apartado a)
R
Sea ϕ(s) = g(s) ds. Entonces
∂f ∂ ∂ ϕ(x + y)
= ϕ(x + y) − ϕ(a) = = g(x + y)
∂x ∂x ∂x
∂f
Análogamente, ∂y
= g(x + y). Finalmente
Df (x, y) = g(x + y) g(x + y)
Apartado b)
Usando la misma notación del apartado anterior:
∂f ∂ ∂ ϕ(xy)
= ϕ(xy) − ϕ(a) = = y · g(xy)
∂x ∂x ∂x
∂f
y análogamente, ∂y
= x · g(xy), de tal forma que
Df (x, y) = y · g(xy) y · g(xy)
161 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Apartado a)
Calculamos h
y vemos que vale 0 en el origen, que es positiva cuando x > 0 y que es negativa
cuando −1 < x < 0, por lo tanto no alcanza ni un máximo ni un mínimo en el origen.
Apartado b)
Hallamos el vector gradiente:
Igualamos a cero
Este sistema tiene la solución (0, 0), que ya hemos visto antes que no es ni un
máximo ni un mínimo, y además las soluciones al sistema
) )
3x + 12y + 24x = 0 x2 + 4y 2 + 8x = 0
2 2
B.3. Hoja 3
Ejercicio 3.0: Sea F (x, y) = (x2 − y 2 , 2xy). Encontrar los puntos en los
que la siguiente aplicación es localmente inversible de clase C 1 .
162 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ejercicio 3.3:
a) Probar que si la derivada de f : R 7−→ R existe y no se anula entonces f
es inyectiva.
b) Probar que f : R2 7−→ R2 dada por f (x, y) = (ex cos(y) +
2ex sen(y), −ex cos(y)) cumple que el determinante de su Jacobiano es siempre
positivo pero sin embargo no tiene f no es inyectiva.
a) Trivial.
b) !
ex cos(y) + 2ex sen(y) ex cos(y) + 2ex sen(y)
DF =
−ex cos(y) ex sen(y)
tiene una inversa global. Si f (0) = 0 y f 0 (0) = 1, hallar las derivadas parciales
de dicha inversa en el origen.
Según el teorema de la función inversa (II.3), F tiene inversa en todo punto ya que
DF es invertible (f 0 no se anula). Sin embargo, sólo nos demuestra la existencia de
la inversa local en todo punto, que no es lo mismo1 . Hay que ver la inyectividad para
hablar de inversa global.
Para demostrar que F es inyectiva, tenemos que demostrar
1
Podemos ver un ejemplo de esto en 3.0.
163 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
F (x1 , y1 ) = F (x2 , y2 ) =⇒ x1 = x2 , y1 = y2
Tenemos que aplicar el teorema de la función inversa (II.3). Por un lado, tenemos
que u, v, w ∈ C 1 por ser suma de polinomios. Por otro, calculamos el determinante
del diferencial:
2 0 0
det DF = 1 1 0 = 2
4 1 1
164 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
b)
x(r, θ, ϕ) = r cos θ sin ϕ
y(r, θ, ϕ) = r cos θ sin ϕ
z(r, θ, ϕ) = r cos ϕ
Apartado a)
Hallamos el determinante del jacobiano:
cos ϕ −r sen ϕ 0
det sen ϕ r cos ϕ 0 = r cos2 ϕ + r sen2 ϕ = r
0 0 1
Por tanto, por el teorema de la función inversa, existe una inversa de clase
1
C , ∀(r, h, ϕ) si y sólo si r 6= 0.
165 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ejercicio 3.13:
Sea f : R2 7−→ R2 , f = (f1 , f2 ) ∈ C 1 (R2 ), satisfaciendo las ecuaciones de
Cauchy-Riemann:
∂ f1 ∂ f2 ∂ f1 ∂ f2
= , =−
∂x ∂y ∂y ∂x
g(x, y = (f1 (x, y)2 − f2 (x, y)2 , 2f1 (x, y)f2 (x, y)
Apartado a)
Según el teorema de la función inversa (II.3), si Df es invertible existe una inversa
local en (x0 , y0 ).
Apartado b)
! ! 2 2
∂ f1 ∂ f1 ∂ f1
− ∂∂fx2
∂x ∂y ∂x
∂ f1 ∂ f2 ∂ f 1 ∂ f2
det(J) = det ∂ f2 ∂ f2 = det ∂ f2 ∂ f1 = + =⇒ ,
∂x ∂y ∂x ∂x ∂x ∂x ∂x ∂x
Apartado c)
Queremos ver que g(x, y) = (f1 (x, y)2 − f2 (x, y)2 , 2f1 (x, y)f2 (x, y)) cumple las
ecuaciones de Cauchy-Riemman. Facilito.
Apartado d)
166 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Apartado a)
Sea F (x, y, z) = sen(xz) + sen(yz) + sen(xy). F ∈ C ∞ por ser todo senos.
Además, F (π, 0, 1) = 0 y como
∂F
= cos(yz)y + cos(xz)x
∂z
tenemos que
∂F
(π, 0, 1) = −π 6= 0
∂z
Se cumplen las condiciones del teorema de la función implícita (II.5), por lo tanto
∃f ∈ C 1 (R2 ) tal que z = f (x, y) en un entorno de (π, 0, 1).
Apartado b)
El polinomio de Taylor es de la forma
∂f ∂f
Tf1 (π, 0) = f (π, 0) + (π, 0)(x − π) + (π, 0)(y − π)
∂x ∂y
Calculamos el diferencial de F :
DF = z cos xz + y cos xy z cos yz + x cos xy x cos xz + y cos yz
−1
∂f ∂f
∂x ∂y = Df (x, y) = − Dz F (x, y, f (x, y)) · Dx,y F (x, y, f (x, y)
167 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
1
Df (π, 0) = −1 1 + π
π
y por lo tanto
∂f 1
(π, 0) = −
∂x π
∂f 1
(π, 0) = + 1
∂y π
1 1
Tf1 (π, 0) = 1 − (x − π) + +1 y =
π π
x y
=1− +1+ +y
π π
x+y
=2+
π
Sustituimos en la ecuación x = 1, y = 1:
z 3 log 1 + 2 + 2 + z 2 + 8z − z + 8 = z 2 + 7z + 12 = 0
Nos queda una ecuación de segundo grado, que resolvemos y nos quedan dos
soluciones: z = −4 ó z = −3. Con esto podríamos aplicar dos veces por separado
el teorema de la función implícita, una para una función f1 (1, 1) = −4 y otra para
otra función f2 (1, 1) = −3. Sin embargo, tenemos que ver antes que Dz F (1, 1) 6= 0,
siendo F (x, y, z) = z 3 log xy + 2x2 + 2y 2 + z 2 + 8xz − z + 8. Calculamos el diferencial
entonces
∂F
Dz F (x, y, z) = = log xy − 2z + 8x − 1
∂z
y tenemos que Dz (1, 1, −4) = 15 6= 0, Dz (1, 1, −3) = 13 6= 0, por lo tanto
podemos aplicar el teorema en ambos casos y las dos funciones f1 , f2 del enunciado
existen.
El siguiente paso es hallar sus desarrollos de Taylor, que son de la forma
168 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
∂f ∂f
Tf1 (x, y) = f (1, 1) + (x − 1) (1, 1) + (y − 1) (1, 1)
∂x ∂y
F ∈ C1
f1
∂x ∂y ∂z
2x − cos(uv) + y sen(uv)v + 2z =0
∂u ∂u ∂u
Evaluamos en el punto (1, 1, 1, π2 ).
∂x π ∂y π ∂z π
2 ( , 0) − ( , 0) + 2 ( , 0) = 0
∂u 2 ∂u 2 ∂u 2
f2
∂x ∂y ∂z
2x
+ 2y − cos(uv)v + 4z =0
∂u ∂u ∂u
Evaluamos en el punto:
∂x π ∂y π ∂z π
2 ( , 0) + 2 ( , 0) − 4 ( , 0) = 0
∂u 2 ∂u 2 ∂u 2
169 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
a) Admite
√ una √única solución y = f (x) diferenciable en un intervalo que
1
contiene a e y f ( e) = √e
√
b) f tiene un máximo local en el punto e.
Apartado a)
Aplicaremos el teorema de la función implícita a g(x, y) = xy − log xy . Vemos que
√
g ∈ C 1 , que g e, √1e = 0 y calculando su derivada
∂g y −1 1
=x− x 2 =x+
∂y x y y
√ √
∂g 1
e, √ =2 e
∂y e
Apartado b)
Para ver si f tiene un máximo local, tenemos que hallar su derivada. Primero
√ 1
hallamos la derivada de g con respecto a x y su valor en e, √e .
∂g 1
=y−
∂x x
∂g √ 1
e, √ =0
∂x e
170 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
∂g 1 f 0 (x)
= f (x) + f 0 (x)x − +
∂x x f (x)
1 √ √ 1 √ √
0 = √ + f 0 ( e) e − √ + f 0 ( e) e
e e
√ 0 √
0 = 2 ef ( e)
√
0 = f 0 ( e)
√
Hay un punto crítico √ en x = e. Para saber si es un máximo o mínimo, tenemos
que ver el valor de f 00 ( e), así que volvemos a derivar g con respecto de x para hallar
el valor de ∂∂ xg
∂ 2g 1
2
= 2
∂x x
∂ g √ 1
2
1
2
e, √ =
∂x e e
que usamos ahora para despejar f 00 (x) al derivar dos veces g con respecto a x
tomando y = f (x):
∂g 0 1 f 0 (x)
= f (x) + f (x)x − +
∂x x f (x)
2
∂ g 0 00 0 1 f 00 (x)f (x) − f 0 (x)f 0 (x)
= f (x) + f (x)x + f (x) + + =
∂x2 x2 f 2 (x)
√
1 00
√ √ 1 f 00 ( e)
= 0 + f ( e) e + 0 + +
e e √1
e
00
√ √ 00
√ √
0 = f ( e) e + f ( e) e
√
0 = f 00 ( e)
√
Ahí debería salir f 00 ( e) > 0, pero no sale y Mathematica me dice que todo está
bien así que ahí se queda, no pienso seguir derivando más.
B.4. Hoja 4
171 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
b) (
x2 sen x1 x 6= 0
g(x) =
0 x=0
c) (
x4 sen x1 x 6= 0
h(x) =
0 x=0
Apartado a)
f (x) no es rectificable. (visto en clase, en el ejemplo de curva no rectificable)
Apartado b)
g(h) − g(0) 1
g 0 (0) = lı́m = lı́m h sen = 0
h→0 h h→0 h
1 1 −1
g 0 (x) = 2x sen + x2 · cos · 2
x x x
0
Nos encontramos con que @ lı́mx→0 g (x).
Tenemos que no es continua y no podemos aplicar la definición (IV.3). ¿Entonces?
Idea: Sabemos calcular la longitud hasta un punto ε más o menos cercano al 0.
Vamos a proceder a calcular la longitud entre ε y 1 y tomar lı́mε→0
Llamamos a σ(x) = (x, g(x)), con σ ∈ C 1 [ε, 1].
Por el teorema tenemos que
Z 1
0
Z 1r
1 1 √ √
Lε = kσ (x)kdx = 1 + 2xsen − cos dx ≤ 10(1 − ε) ≤ 10
ε ε | x x
√
{z }
≤ 10
√
Si ε = n1 , Ln ≤ 10, Ln % =⇒ ∃ lı́mn→ı́nf Ln .
Apartado c)
Esta curva es C 1 , por lo que es rectificable.
172 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ejercicio 4.15.b:
f (x, y, z) = 2x2 + y 2 + z 2 − xy
x2 y 2 z 2
K = {(x, y, z) ∈ R3 : + + ≤ 1}
2 4 8
g(x, y, z) = Ax + By + Cz + D =⇒ ∇g = (A, B, C)
Definimos
f (x, y, z) = d2 = (x−a)2 +(y −b)2 +(z −c)2 =⇒ ∇f = (2(x−a), 2(y −b), 2(z −c))
−2(D + Cc + Bb + Aa)
λ=
A2 + B 2 + C 2
Sustituimos este λ:
173 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
(D + Cc + Bb + Aa)
x=a− A
A2 + B 2 + C 2
(D + Cc + Bb + Aa)
y =b− B
A2 + B 2 + C 2
(D + Cc + Bb + Aa)
z =c− C
A2 + B 2 + C 2
Y ahora reemplazamos en d2 :
2 2
2 (D + Cc + Bb + Aa) (D + Cc + Bb + Aa)
d = A + B +
A2 + B 2 + C 2 A2 + B 2 + C 2
2
(D + Cc + Bb + Aa)
C =
A2 + B 2 + C 2
2
(D + Cc + Bb + Aa)2
(D + Cc + Bb + Aa) 2 2 2
= · (A + B + C ) =
A2 + B 2 + C 2 A2 + B 2 + C 2
|D + Cc + Bb + Aa|
d= √
A2 + B 2 + C 2
Que es justamente la fórmula de la distancia de un plano a un punto.
f (x, y, z) = x4 + y 4 + z 4
sobre la variedad
Π = {(x, y, z) ∈ R3 x + y + z = 5 }
y resolvemos:
174 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
r
3 λ
x=y=z=
r 4
3 λ
3 =5
4
53 · 4
λ= 3
3
B.5. Hoja 5
Ejercicio 5.2: a)
√
kσ 0 (t)k = 2
Vamos con la integral:
Z π
0
√ Z π
f (σ(t))kσ (t)k dt = 2 sin t + cos t dt =
0 0
!π √
√ t2 2
= 2 − cos t + sen t + = 2
2 π +4
0
Ejercicio 5.3:
a) Dibujar y calcular la longitud del arco de cicloide descrito por
( )
x = R(t − sin t)
0 ≤ 2π
y = R(1 − cos t)
Apartado a)
175 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Z 2π p √ Z 2π √
l= 2 2 2 2
R (1 − cos t) + R sen tdt = ... = R 2 1 − cos tdt
0 0
√
√ Z 2π √
1 + cos t
1 − cos t · √
R 2 dt =
0 1 + cos t
√ Z 2π |sin t|
=R 2 √ dt = · · · =
0 1 + cos t
π 2π
√ √ √
= R 2 −2 1 + cos t + 2 1 + cos t = · · · = 8R
0 π
Apartado b)
Leo es demasiado rápido para mí...
Apartado c)
El área (razonando un poco y con otro poco de fe) sabemos que
1 θ1 1 2π 1 2π 1 + cos(2θ)
Z Z Z
2 2
A= f (θ) dθ = (1 + cos θ) dθ = ... = π + = ...
2 θ2 2 0 2 0 2
Ejercicio 5.4:
→
− →
Z
F ·−s
a) α no se como
b) α2 no se como
Apartado a)
La integral que resolver es:
Z Z 1 Z 2
F = () · (1, 1)dt + (t2 + (2 − t)2 , t2 − (2 − t)2 ) · (1, −1)dt
α 0 1
176 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Y da como resultado: 2
3
2 t
+2 4t − 2t2 +
3 3
1
Apartado b)
Z 1
2
La parametrización es σ(t) = (t, t ), t ∈ [−2, 1]. La integral quedaría F (σ(t)) ·
−2
σ 0 (t)dt
Apartado c)
Aquí tenemos
x(t) = a cos(t)
, t ∈ [0, 2π]
y(t) = b sen(t)
Z 1
La integral quedaría F (σ(t)) · σ 0 (t)dt
−2
Ejercicio 5.5:
x = sen(t)
y = cos(t) , 0 ≤ t ≤ log(7)
z = cosh(t)
F (x, y) = (x2 − y, x + xy + y 2 )
177 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Z Z Z Z Z 2π Z 1
∂Q ∂P
− dxdy = (2+y)dxdy = r(2+rsen(θ))drdθ = ... = 2π
D ∂x ∂y D 0 0
Ejercicio 5.8: Z
...
{Gamma
r(θ))cos(θ)
σ(θ) =
r(θ))cos(θ)
Z Z Z π Z π
2 2
0
dxdy = F ds = F (σ(θ))σ (θ)dθ = sen(2θ)cos(θ)·(2cos(2θ))sen(θ)+sen(2θ)cos(θ)dθ
Ω σ 0 0
178 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Calcular la integral Z Z 1
F = F (σ(t))σ 0 (t)dt
σ 0
Apartado a)
La base va a estar inscrita en una circunferencia.
Llamemos al plano en el que se encuentra la base z = a y sea V3 el vértice de la
altura de la pirámide. Entonces tenemos que h = |V3 + a|.
Con lo cual, el volumen es = 31 l1 · l2 · |v3 + a| (siendo li los lados de la base). Si
calculamos máximos y mínimos aquí no vamos a encontrar.
p
Sabemos también que v3 = − 1 − v12 − v22 Con lo que definimos
q
1
Ṽ (V1 , V2 ) = l1 · l2 1 − v12 − v22 + a
3
Derivamos:
∂ Ṽ 1 v1
= l1 l2 p 2
∂ V1 3 −v1 − v22
∂ Ṽ 1 v2
= l1 l2 p 2
∂ V2 3 −v1 − v22
Apartado b)
V (x, y, z) volumen de la pirámide.
g(x, y, z) = x2 + y 2 + z 2 − 1
Definimos π1 = (x, y, z), π2 = (−x, y, z), π3 = (x, −y, z), π4 = (−x, −y, z), V =
(0, 0, 1)
p
d(π1 , π2 ) = l1 = (2x)2 = |2x|
179 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
p
d(π1 , π3 ) = l2 = (2y)2 = |2y|
Ejercicio 5.10:
adsf
Y 2 parametrizaciones:
180 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
B.6. Hoja 6
¿ω(x)[u, v]?
Apartado a)
Si ω es una 2-forma:
X
ω≡ FiN (x)dxi ∧ dxj
!
P u1 vi
Entonces ω(x)[u, v] = ij fij (x) det
uj vj
En nuestro caso:
u v2 u3 v3 u1 v1
ω(x)[(1, −1, 0), (2, 1, 1)] = 1 2 + 2 + 3
u3 v3 u1 v1 u2 v2
−1 1 0 1 1 2
1 + 2 + 3 = 10
0 1 1 2 −1 1
Apartado b)
Lo primero es redefinirla y juntar los términos:
181 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ejercicio 6.2:
ω = cx − zdy
v = (x2 + y 2 + z 2 )dx ∧ dz + (xyz)dy ∧ dz
a) dω
b) ω ∧ dw
c) dv
d) ω ∧ v
Apartado a)
dw = d(dx − zdy) = d(dx) − d(zdy) = dy ∧ dz
| {z } | {z }
≡0 dz∧dy+z(dy∧dy)
Apartado b)
Apartado c)
Apartado d)
Ejercicio 6.13:
x2 + y 2
S = {(x, y, z) ∈ R3 : z = 1 − , x, y ∈ [0, 1]}
2
R
Buscamos calcular S xydxdy. xy Es la densidad superficial (dato del enunciado).
Estamos integrando la densidad sobre la superficie.
x2 +y 2
Definimos: Φ(x, y) = x, y, 1 − 2
Calculamos kTx × Ty k (el cambio en la medida), con
Tx = (1, 0, −x); Ty = (0, 1, −y)
Tx × Ty = (x, y, 1)
Z Z p Z 1 Z 1 p
xykTx ×Ty kdxdy = 2 2
xy 1 + x + y dxdy = xy 1 + x2 + y 2 dxdy = ... = 1.3516499
S S 0 0
182 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
→
−
Ejercicio 6.14: Calcular el flujo de F (x, y, z) = (x, y, z) a través del cilindro
x2 + y 2 = a2 , 0 ≤ z ≤ b incluyendo las bases con la normal exterior.
Como cambia el ángulo y la altura definimos: Siendo σ(α, z) = (acosα, asenα, z).
σα = (−asenα, acosα, 0)
σz = (0, 0, 1)
σα = (−psenα, pcosα, 0)
σz = (cosα, senα, 0)
183 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Problema, porque este vector apunta hacia el interior del cilindro y nos dicen
respecto de la normal interior. Por ello le vamos a cambiar de signo.
Z 2π Z a
b · p dpdα = πa2 b
0 0
Recordamos: X X
T∗ fI dxI (s)[v] = fI (T (s))dtI (v)
Φ∗ (dx) = dΦ1 = −sen(s)ds
Apartado a)
Hay 2 posibles caminos, utilizar que el pull-back conmuta con la diferencial, teniendo
que calcular la diferencial exterior del pull-back calculado anteriormente y sino:
dw = zdx∧dy+x dz∧ dy− dy∧ dx = (z+1) dx∧ dy+x dz∧ dy = (1) = (z+1) dx∧ dy−x dy∧ dz
(1) para mantener el orden cíclico. Ahora habría que calcular el pull-back de esto.
Vamos con el otro camino:
z = x2 + y 2
Ejercicio 6.17: Sea F = (x, y, z), con 0 ≤ x, y
0≤z≤9
184 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Hacemos un dibujo de lo que es, que es una bola de bomberman de las moradas
invertida, solo lo perteneciente al primer cuadrante. Vamos a calcular también el flujo
que pasa por las tapas (la de arriba y los planos verticales que cortan al paraboloide)
¿Que no debería ser así? Yo también lo creo...
En este caso, aplicamos el teorema de la divergencia porque vamos a calcular el
flujo de un campo a través de una superficie en R3 .
→
−
La divergencia div F = 1 + 1 + 1
Necesitamos definir el interior de la superficie para poder aplicar el teorema.
Podemos definirlo en cartesianas de la siguiente manera:
Ω = {(x, y, z) : x2 + y 2 ≤ z ≤ 9, x, y ≥ 0}
π √
Z Z Z Z Z
2
Z 9 Z z
F ds = divF dxdydz = 3 dxdydz = 3·ρ dρdθdz = 3 ρ dρdθdz =
S Ω Ω Ω 0 0 0
√
9 1 2 z
Z 9
35 · π
Z
π ρ dz = 3 π 1
3 zdz =
2 0
2
0 22 0 23
Apartado a)
Tomando como frontera de la superficie δS = σ ≡ {x2 + y 2 = 1; z = 0}.
Parametrizamos con σ(t) = (cos(t), sen(t), 0)
185 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
2π 2π 2π−π
→
−
Z Z Z Z
F dS = h F (σ(t)), σ 0 (t)idt = 3 2
−sen (t)+cos (t)sen(t)dt = −sen3 (t)+cos2 (t)sen(t)d
σ 0 0 0−π
Apartado b)
bgdbgdfabafhlafbhahblaflbh
Ejercicio 6.18:
a) Calcular la divergencia
b) Calcular el rotacional
Ejercicio 6.19:
a) Ver si el campo F (x, y, z) = (x + z, −(y + z), x − y) es conservativo
b)
c)
d)
Apartado a)
Calculamos el rotacional y vemos que efectivamente es 0.
Vamos a calcular el potencial:
Z x Z y Z z
f (x, y, z) = F1 (t, 0, 0)dt + F2 (x, t, 0)dt + F3 (x, y, t)dt
0 0 0
Esto que hemos aplicado es una forma de calcular potenciales de campos conservativos.
Nos lo creemos.
Z x Z y Z z
f (x, y, z) = t + 0 dt + −(t + 0) dt + (x − y)dt
0 0 0
Apartado b)
No es conservativo Apartado c)
No es conservativo Apartado d)
186 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Sí es conservativo
∂S = {(x, y) ∈ R2 |x2 + y 2 = 1}
Z 2π Z 2π Z 2π
3 2 2 2
−sen t+sin tcos tdt = sin t(cos −sen ) dt = sen(t)·cos2 (2t)dt = 0
0 0 0
Nos
Sugerencia: utilizar:
div(f ∇g) = ∇f · ∇g + f ∆g
Sea f ∇g un campo en R3 .
Por el teorema de Gauss:
ZZZ ZZ
div(f ∇g) = f ∇g
V S
.
Aplicando la indicación:
ZZZ ZZ
∇f ∇g + f ∆g = f ∇g
V s
187 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Aplicamos Gauss:
÷F = 3
ZZZ
4π
3 dx dy dz = 3 · V ol(S) = 3 · = 4π
S 3
V ol(S)=Volumen de la esfera.
Ejercicio 6.25:
F = (y − z, z − x, z − y)
RR
÷F = 0 =⇒ S
F dS = 0.
Esto nos dice que en el hemisferio norte (contando la tapa de abajo) es 0.
Podemos interpretar que nos piden sin contar la tapa, con lo que calculamos el
flujo sobre la tapa (que será igual que el flujo sobre la semiesfera)
Para ello parametrizamos en polares:
x = rcosθ
y = tsenθ
z=0
Quedando el campo:
F(r, θ) = (r sen θ, −r cos θ, r(cos θ − sen θ))
Entonces
Z 2π Z 1 Z 2π
2 1
r (cos(θ), − sen(θ)) dr dθ = cos θ − sen θ dθ = 0
0 0 3 0
Miguel sugiere que veamos F como el rotacional de otro campo (que a ojo supone)
!
2 2 2 2 2 2 2 2 2
x +y +z x +y +z x +y +z
F = rot G = ,
2 2 2
188 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
x2 y 2 z 2
{S ≡ + 2 + 2 = 1}
a2 b c
x = arcosθsenφ
y = brsenθsenφ
z = crcosφ
i j k
J=. . .
. . .
Apartado a)
÷F = 2(x + y + z)
ZZ Z 1Z 1Z 1
F dS = 2 x + y + z dx dy dz = 3
S 0 0 0
Apartado b)
189 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Z Z
F · n dS = F3 ds + ... = 1 − 0 + 1 − 0 + 1 − 0 = 3
S S1
cqc.
B.7. Exámenes
B.7.1. Parcial 1
Ejercicio 7.1:
d : R2 7−→ R homógenea2 con m > 0. F acotada superiormente sobre la
circunferencia unidad.
a) Probar que F es continua en (0, 0)
b) Si m = 0 ¿F continua en (0,0)?
Apartado a)
Zn
Z n
|Fn | = F kZn k = kXn kn F =⇒
kZn k kZn k
Zn
∃M > 0 tal que kZn kn F ≤ kZn kn M → 0 = F (0, 0)
kZn k
2
(f (tx, ty) = tm f (x, y)
190 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Apartado b)
Sí, m = 0 =⇒ F constante. Se puede demostrar pasando a coordenadas polares
x = rcos(t), y = rsen(t)
Ejercicio 7.1:
Sea f ∈ C 2 (R) tal que f (2) = 0, f 0 (2) = 1. Consideramos la ecuación
F (x, y, z) = x2 + y 2 + z 2 − f (2 + Cz) = 0
∂φ(x, y) ∂φ(x, y)
y −x =0
∂x ∂y
Apartado a)
Tenemos que F (0, 0, 0) = 0, F ∈ C 1 , y vemos que
∂F
(0, 0, 0) = 2z − Cf 0 (2 + Cz) = −Cf 0 (2) = −C 6= 0
∂z
con lo cual si C 6= 0, por el teorema de la función implícita, existen entornos
U ⊂ R2 y V ⊂ R con (0, 0) ∈ U, 0 ∈ V y una función φ : U 7−→ V de clase C 1 con
φ(0, 0) = 0 tal que F (x, y, φ(x, y)) = 0∀(x, y) ∈ U .
Apartado b)
Derivamos implícitamente respecto de x:
∂φ(x, y) ∂φ(x, y)
2φ(x, y) − f 0 (2 + Cφ(x, y))C = −2x
∂x ∂x
...
∂φ(x, y) −2x
=
∂x 2φ(x, y) − Cf 0 (2 + Cφ(x, y))
191 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
∂yφ(x, y) ∂φ(x, y)
=x
∂x ∂y
Apartado c)
∂F ∂φ ∂φ
: 2x − 2φ(x, y) − f 0 (2 + Cφ(x, y))C =0
∂x ∂x ∂x
2 2
∂ 2F
∂φ(x, y) 00 2 ∂φ
(0, 0) : 2 − 2 − f (2 + Cφ(x, y))C
∂x2 ∂x ∂x
Mínimo si C > 0
Máximo si C < 0
192 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Apartado a)
Planteamos la parametrización de la esfera de radio 1
cos θ sin ρ
Φ(θ, ρ) = sin θ sin ρ
cos ρ
∂A
= sin2 ρ(cos2 θ − sin2 θ)
∂θ
Igualando a 0, tenemos que cos2 θ = sin2 θ, es decir, θ = π4 . Por lo tanto, el área
que tenemos que considerar es
sin2 ρ
A=
2
193 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Apartado a)
Calculamos la integral, suponiendo que Γ = σ(I)
Z Z Z Z
0 0
F dσ = hF ◦ σ, σ i dt = kF ◦ σkkσ k dt = 2 kσ 0 k dt = 2L
Γ I I I
Apartado b)
Según el teorema de Stokes,
Z ZZ
F dσ = rot F dS
Γ S
2 +y 2 )
siendo F(x, y, z) = (x, y, e−(x ).
194 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Apartado a)
Nos están dando una parametrización (la del apartado b)), así que si demostramos
que es una paramterización habremos demostrado que es una subvariedad. Obviamente,
ϕ ∈ C ∞ y su inversa es continua (ϕ−1 (x, y, z) = (x, y)) y C 1 . Además, el rango de
su diferencial es máximo siempre. Como ϕ : R2 7−→ R3 , M es una subvariedad de
dimensión 2. La frontera son los puntos que cumplen z = 1 (o s2 + t2 = 1), y es de
dimensión 1.
Apartado b)
Calculamos el vector tangente según la parametrización:
i j k 2t
ϕs = 0 1 2s = 2s
ϕt = 1 0 2t −1
Apartado c)
Parametrizamos ∂M por la aplicación
Su vector tangente es σ 0 (θ) = (− sin θ, cos θ, 0), que tiene la orientación que quiera
tener.
Apartado d)
Según el teorema de Stokes,
ZZ Z
rot F dS = F dσ
M ∂M
Calculamos:
Z Z 2π Z 2π
0
F dσ = hF ◦ σ, σ i dθ = h(cos θ, sin θ, e−1 ), (− sin θ, cos θ, 0)i dθ =
∂M
Z0 2π 0
195 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Apartado a)
∂f ∂f ∂f
x (x, y, z) + y (x, y, z) + z
∂x ∂y ∂z
derivamos respecto de λ
∂f ∂ m
(λx, λy, λz) = (λ f (x, y, z))
∂λ |∂λ {z }
mλm−1 f (x,y,z)
Si tomamos λ = 1 entonces
Apartado b)
3
Este es el teorema de Euler de las funciones homogéneas, y sí, te piden demostrarlo en un examen,
extraordinario
196 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
1
Considero4 λ =
k(x,y,z)k
f (x, y, z) = f (λx, λy, λz)
Si f es continua en x1 lo va a ser en x2 con x1 = λx2 por se homogénea.5
Formalmente:
∀ε > 0, ∃δ > 0 kx − yk < δ =⇒
f (x) − f (y)
< ε
kx − 0k < δ =⇒ f (x, y, z) − f (0, 0, 0) < ε
f (x, y, z) < ε ∀ε > 0
f =0
x y
− < kx − yk
kxk kyk
Apartado a)
F (A) = {(x, y) 4 ≥ x2 + y 2 ≥ 1 }
Apartado b)
Calculamos el diferencial:
x2 +y 2 −2x2
!
−2yx 2 2 2
(x2 +y2 )2 (x2 +y 2 )2 1 x + y − 2x −2yx
DF (x, y) = x2 +y 2 −2y 2 = 2
−2xy
(x2 +y 2 )2 (x2 +y 2 )2
(x + y 2 )2 −2xy x2 + y 2 − 2y 2
197 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Apartado c)
La función existe porque F es biyectiva sobre su imagen. Y no me apetece probarlo,
pero se ve.
Ejercicio 7.3:
a) Consideramos la familia de curvas dependiente de parámetro k, Mk = {z =
x2 − y 2 } ∩ {z = k }. Determinar para qué valores de K el conjunto Mk es una
variedad de dimensión 1 en R3 .
b) Sea M = {x2 + y 2 + z 2 = 4} ∩ {x2 + (y − 1)2 = 1}. Demostrar que la parte
de M contenida en el interior del semiespacio superior z > 0 es una variedad C 1
y determinar su dimensión. Demostrar que globalmente M no es una variedad en
R3
Apartado a)
Nos dan M como un sistema de ecuaciones F = 0, con F : R3 7−→ R2 . Tenemos
que ver si su diferencial tiene rango máximo cuando F = 0.
!
2x 2y 1
DF =
0 0 1
Apartado b)
Ejercicio
p 7.4: Sea S la superficie cerrada limitada por la semiesfera
z = 9 − x − y y la parte superior del hiperboloide x2 + y 2 − z 2 = −1 con la
2 2
198 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
ZZ ZZZ
F dS = div F dx dy dz
S Ω
div F = z + z + 2z = 3z
ZZZ
div F dx dy dz =
Z ΩZ Z Figura B.1: El coso a integrar.
3z · r dz dθ dr = IE + IH
Ω
r2 − 9 + r2 = −1 =⇒ 2r2 = 8 =⇒ r = 2
√
Z 3 Z 2π Z 3−r2
IE = 3zr dz dθ dr =
2 0 0
√3−r2
Z 3 Z 2π 2
z
=3 r dθ dr =
2
2 0
z=0
Z 2π 3 Z
3
= r 3 − r2 dθ dr =
2 2
Z 30
2π3
= 3r − r3 dr =
2 2
...
Y de la misma forma
√
Z 2 Z 2π Z r2 +1
IH = 3zr dz dθ dr =
0 0 0
= ...
199 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
xy = 1
xy = 2
y
x
=1
y
x
=4
Dibujo
Demostrar: ZZ Z 2
f (xy) dx dy = log 2 f (u) du
D 1
xy = u
y
=v
x
Vemos que se simplifica porque u ∈ [1, 2], v ∈ [1, 4]. La región en este caso queda:
Dibujo
Aplicando este cambio de variable a la integral tenemos:
ZZ Z 2 Z 4
∂ (x, y)
f (xy) dx dy = f (u) det dv du
D 1 1 ∂ (u, v)
¿Para qué? Para poder calcular el determinante de la matriz jacobiana, que en este
1
caso det =
2v
200 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Z 2 Z 4 Z 2 Z 2
1 1
f (u) · dv du = f (u) log v|4v=1 du = log 2 f (u) du
1 1 2v 2 1 1
Cambio en la variable
Cambio en los límites de integración
Cambio en la medida (determiante del Jacobiano)
z = x2 + y 2
1 = x2 + y 2
Dibujo
ZZ Z CIL ZZ Z CIL
V ol = dx dy dz + dx dy dz
1 P AR 2 0
Cilíndricas
x = r cos θ
y = r sen θ
z=z
201 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
π
Z 1 Z
2
Z r2
V ol = r dz dθ dr
0 0 0
Esféricas
x = ρcos θ sen φ
y = ρsen θ sen φ
z = ρcos φ
π π
Z
2
Z
2
Z CIL
V ol = ρ dρ dθ dφ
π
4
0 P AR
Entonces
Z πZ πZ 1
V ol = π2 2 senφ ρ dρ dθ dφ
cosφ
0
sen2 φ
4
Ejemplo: en R2 .
Sea
y −x
F (x, y) = , 2
x + y x + y2
2 2
202 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Ejemplo:
2
F = (xy, y 2 + exz , sen(xy))
Tenemos una región acotada por
x=0
z=0
y=0
y+z =2
z = 1 − x2
Queremos calcular:
ZZ
F dS
S≡∂Ω
Dibujo
203 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
div F = ... = 3y
ZZ ZZZ
F dS = div F dx dy dz
S+ Ω
¿Existe alguna manera de plantear la integral sin tener que dividirla en 2 trozos?
Sí dy dz dx. Integrando primero la y.
204 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
Índice alfabético
205 de 206
Análisis Matemático - 13/14 C1 - UAM Víctor de Juan y Guillermo Julián
inversa, 16 Proyecciónestereográfica, 69
Pullback
Gradiente, 24 propiedades, 124
Helicoide, 66 Punto
Homeomorfismo, 62 crítico, 29
crítico degenerado, 30
Integral de acumulación, 13
de Lebesgue, 92 de silla, 30
de n-formas en RN ., 126
Interior, 13 Regla
de la cadena, 24
K-forma, 115 Regla de la cadena, 27
k-forma, 115 Relación norma ↔ producto escalar, 10
Rotacional, 101
Límite, 20
Longitud Semiplano, 68
de una curva, 93 Subvariedad
diferenciable, 58
Máximo/mínimo Superficie
absoluto, 31 de revolución, 67
local, 29, 30
local (restringido), 85 Teorema
Matriz de compacidad, 31
definida positiva/negativa, 29 de Fubini, 92
diferencial, 23 de Gauss, 101
semidefinida positiva/negativa, 29 de Green, 101, 130
de la aplicación contractiva, 35
Norma, 5 de la función implícita (caso general),
de una matriz, 18 47
euclídea, 5 de la función implícita (en R3 ), 46
infinito, 5 de la función inversa, 39
uno, 5 de los multiplicadores de Lagrange,
32, 80
Orden
de Stokes, 101, 137
cíclico, 116
de Stokes (para celdas), 135
Orientación, 102
de Taylor, 34
Orientación
del Rango (1), 53
en RN , 107
del Rango (2), 54
Orientaciónde una subvariedad, 110
del rango (resultado general), 55
Paraboloide, 66 del valor medio (una variable), 24
Parametrización del valor medio (varias variables), 25
local, 66 Toro, 67, 78
Plano, 68
Vector
Polinomio
tangente, 73
de Taylor, 33
Potencial, 142
Producto
escalar euclídeo, 4
exterior, 116
206 de 206