Professional Documents
Culture Documents
Curvas en Rn Ir a la Sección 1
1−formas Ir a la Sección 3
Definición (curva)
Una curva en Rd es una función continua r : [a, b] ⊂ R → Rd ,
a < b.
A r se llama parametrización de la curva,
[a, b] es el intervalo paramétrico,
γ = r ([a, b]) ⊂ Rd es el soporte de la curva,
r (a) es el punto inicial y r (b) es el punto final.
La curva se dice cerrada cuando r (a) = r (b).
Definición (curva)
Una curva en Rd es una función continua r : [a, b] ⊂ R → Rd ,
a < b.
A r se llama parametrización de la curva,
[a, b] es el intervalo paramétrico,
γ = r ([a, b]) ⊂ Rd es el soporte de la curva,
r (a) es el punto inicial y r (b) es el punto final.
La curva se dice cerrada cuando r (a) = r (b).
Figura: Curva en Rd
Ejemplo
Consideramos la curva r (t) = t, t ∈ [0, 1]. El soporte de esta curva
es el intervalo [0, 1] en R. Observar que r2 (t) = t 2 , t√∈ [0, 1] es
una curva equivalente, con cambio de escala s(t) = t. Observar
que r2 recorre el soporte más lentamente que r .
Integral sobre una curva
Observación
Observación
Observar que la inversa s −1 : [c, d] → [a, b] es estrictamente
monótona y continua y
Observación
Sean c < d, a < b. Como s(t) = d−c b−a (t − a) + c es una función
estrictamente creciente de [a, b] en [c, d], siempre podemos
considerar una curva equivalente a una dada con un intervalo
paramétrico diferente, por ejemplo [0, 1].
Ejemplo (poligonales)
Sean {P0 , P1 , . . . , Pk } puntos en Rd , la poligonal dada por estos
puntos es la curva r : [0, 1] → Rd tal que se puede elegir una
partición {0 = t0 < t1 < · · · < tk = 1} de [0, 1] tal que r |[tj−1 ,tj ] es
una curva equivalente al segmento que va Pj−1 y Pj , cuya
parametrización dimos en los ejemplos anteriores.
Definición
Sea r : [0, 1] → Rd un camino en Rd y sea
{0 = t0 < t1 < · · · < tk = 1} una de [0, 1] tal que r |[tj−1 ,tj ] es una
función de clase C 1 . Entonces la longitud de la curva está dado por
k Z
X tj k Z
X tj q
0
kr (t)k dt = (r10 (t))2 + . . . + (rd0 )2 dt
j=1 tj−1 j=1 tj−1
Observación
En general, se dice que la curva r : [0, 1] → Rd es rectificable
(tiene longitud) si existe
X
lı́m kr (tj ) − r (tj−1 )k,
kPk→0
tj ∈P
Observación
Si d = 2, r (t) = (r1 (t), r2 (t)), entonces
k Z
X tj q
(r10 (t))2 + (r20 (t))2 dt
j=1 tj−1
Lema
Si f : [a, b] → R es una función continuamente derivable, entonces
la longitud dada por la gráfica de la función f ,
r (x) = (x, f (x)), x ∈ [a, b], está dada por
Z b q
1 + (f 0 (x))2 dx
a
Lema
Si dos caminos son equivalentes, entonces ellos tienen igual
longitud.
Demostración.
Sea r1 [a, b] → Rd y r2 : [c, d] → Rd dos caminos equivalentes y l1
y l2 sus longitudes. Entonces
k Z
X tj k Z
X tj
l1 = kr10 (t)k dt = k(r2 (s(t))0 k dt
j=1 tj−1 j=1 tj−1
Demostración.
Como (r2 (s(t))0 = r2 (s(t))s 0 (t) (si es necesario en la suma anterior
se agregan sumando de modo que r2 sean derivable en la partición
{c = s(t1 ) < . . . < s(tk ) = d}) y
kr2 (s(t))s 0 (t)k = kr2 (s(t))ks 0 (t), entonces
k Z
X tj k Z
X uj
l1 = k(r20 (s(t))ks 0 (t) dt = k(r20 (u)k du
j=1 tj−1 j=1 uj−1
Observación
Por ello, muchas veces se habla de la longitud de una curva con
soporte γ refiriéndonos como long(γ), ya que cualquier curva
equivalente a ella tiene la misma longitud.
Integral sobre una curva
Ejemplos
Ejercicio
Hallar la longitud de la hélice
Solución
La longitud L de la curva está dada por
Z 2π Z 2π q √
L= kr 0 (t)k dt = (− sen t)2 + (cos t)2 + 1 dt = 2 2π.
0 0
s s s s √
r2 (s) = r ( √ ) = (cos √ , sen √ , √ ), s ∈ [0, 2 2π]
2 2 2 2
Observación
Si se quiere hacer énfasis en la parametrización que se utiliza de γ
escribimos Z Z
f (s) ds = f (s) ds.
γ γ,r
Observación
Si se quiere hacer énfasis en la parametrización que se utiliza de γ
escribimos Z Z
f (s) ds = f (s) ds.
γ γ,r
Lema
La integral de una función escalar no depende de la
reparametrización el camino que utilicemos.
b
Z Z
0
f ds =
f (r (t)) |r (t)|dt
γ a
Z b
≤ |f (r (t))| |r 0 (t)|dt ≤ sup |f (x)| L(γ),
a x∈γ
Interpretación
R geométrica: área del cilindro. Si f ≥ 0, la
integral, γ f ds, representa el área del cilindro
Ejemplo
Z
Calcular xy ds, donde C es el contorno del cuadrado
C
determinado por los puntos (x, y ) que satisfacen la ecuación
|x| + |y | = 1.
Z Z 1 √ Z 0 √
xy ds = t(1 − t) 2dt + t(1 + t) 2dt
C 0 −1
Z 0 √ Z 1 √
− t(1 + t) 2 dt + t(−1 + t) 2 dt = 0
−1 0
Ejemplo
Z
Calcular (x + y ) ds, donde C es el lazo derecho de la lemniscata
C
ρ2 = a2 cos(2t), a > 0.
0.3
0.2
0.1
Z Z π
4
cos(2t) cos t + a cos(2t) sen t)kr 0 (t)kdt
p p
(x + y ) ds = (a
C − π4
donde kr 0 (t)k = √ a
. Ası́,
cos(2t)
Z √
(x + y ) ds = a2 2.
C
es una 1−forma en A.
Integral sobre una curva
Interpretación fı́sica y geométrica de una 1-forma
Definición
sea A un abierto de Rd y sean ω1 , ω2 dos 1−formas sobre A; sean
λ ∈ R y f : A → R. Las 1−formas ω1 + ω2 , λω1 y f ω1 sobre A
están definidas por
Z Z d
bX Z b
ω= Pj (r (t))rj0 (t) dt = ω(γ(t))(r 0 (t))dt
γ a j=1 a
Z b Z
0
= hP(r (t)), r (t)i dt =: P dr ,
a γ
Z Z d
bX Z b
ω= Pj (r (t))rj0 (t) dt = ω(r (t))(r 0 (t))dt
γ a j=1 a
Z b
= hP(r (t)), r 0 (t)i dt
a
b
r 0 (t)
Z Z
= hP(r (t)), 0 i kr 0 (t)k dt = hP(·), u(·)i ds
a kr (t)k γ
e) ω = − ω.
−γ γ
Integral sobre una curva
Demostración: a) γ ∼ δ ⇒ ω1 = ω1
γ δ
Z Z 1 d Z 1 d
X X
0 0
ω =
P j (r (t)) rj (t) dt
≤
P j (r (t)) r j (t) dt
γ 0 j=1 0 j=1
v v
Z 1uuX d u d
uX
≤ t (Pj (r (t)))2 t (r 0 (t))2 dt
j
0 j=1 j=1
1/2
Z n
X Z
= Pj2 ds = kωkds
γ j=1 γ
Ejercicio
Calcular Z
y dx − x dy ,
K
x2 y2
donde K es la parte de la elipse a2
+ b2
= 1 que va del punto
(−a, 0) al punto (a, 0).
π π
r (t) = (a sen t, b cos t), t ∈ [− , ]
2 2
r 0 (t) = (a cos t, −b sen t),
Z Z π/2
y dx−x dy = (a cos t(b cos t) − (a sen t)(−b sen t)) dt = abπ.
K −π/2
Z Z d
bX Z b
ω= Pj (r (t))rj0 (t) dt = ω(r (t))(r 0 (t))dt
γ a j=1 a
Z b
= hP(r (t)), r 0 (t)i dt
a
b
r 0 (t)
Z Z
= hP(r (t)), 0 i kr 0 (t)k dt = hP(·), u(·)i ds
a kr (t)k γ
Z Z b Z d
bX
0
ω= ω(r (t))(r (t)) dt = Pj (r (t)) rj0 (t) dt
γ a a j=1
Z d
dX Z d d
X
= Pj (r (s(t))) rj0 (s(t)) s 0 (t)dt = Pj (u(t)) uj0 (t)dt
c j=1 c j=1
Z d Z
0
= ω(u(t))(u (t)) dt = ω
c δ
Sea P = (P1 , . . . , Pn ).
Aplicando la desigualdad de Cauchy-Schwarz obtenemos
Z Z 1 Z 1
ω = hP(r (t)), r 0 (t)i dt ≤ hP(r (t)), r 0 (t)i dt
γ 0 0
v v
Z 1u
uX d u
uX d
≤ t (Pj (r (t)))2 t (r 0 (t))2 dt
j
0 j=1 j=1
1/2
Z n
X Z
= Pj2 ds = kωkds
γ j=1 γ
Observación
a) Si existe función potencial, no es única; pero si A es conexo,
la función potencial es única (si existe) salvo una constante
aditiva .
b) Si I es un intervalo abierto en R, cualquier 1−forma
ω : I → R∗ continua es exacta (tiene primitiva).
Integral sobre una curva
Forma diferencial exacta
Observación
a) Si existe función potencial, no es única; pero si A es conexo,
la función potencial es única (si existe) salvo una constante
aditiva .
b) Si I es un intervalo abierto en R, cualquier 1−forma
ω : I → R∗ continua es exacta (tiene primitiva).
Integral sobre una curva
Ejemplo
Ejemplo
La 1−forma ω : R2 → (R2 )∗ dada por
ω(x, y ) = 2xy dx + (x 2 + 1) dy es exacta: ω = df , con
f (x, y ) = x 2 y + y , o sea, ∇f = (2xy , (x 2 + 1)),
df = 2xy dx + (x 2 + 1) dy .
Observación
Si ω = nj=1 Pj dxj es una 1−forma (sobre un abierto de Rn ) de
P
para cada i, j.
En efecto,
Z n Z
X b
ω := Pj (γ(t))γj0 (t)dt,
γ j=1 a
n Z b n Z b
X X ∂f
Pj (γ(t))γj0 (t)dt = (γ(t))γj0 (t)dt
a a ∂xj
j=1 j=1
Z b
d
= (f (r (t)) dt = f (γ(b)) − f (γ(a))
a dt
∂Pj ∂Pi
=
∂xi ∂xj
para cada i, j.
Observación
Toda 1−forma de clase C 1 exacta es cerrada (el recı́proco no es
cierto).
Ejemplo
Calcular Z
yz dx + xz dy + xy dz,
C
donde C es la espira de la hélice r (t) = (cos t, sen t, t), t ∈ [0, 2π].
Se tiene
ω = yz dx + xz dy + xy dz, ω = df ,
donde f (x, y , z) = xyz. De modo que
Z
ω = f (r (2π)) − f (r (0)) = f (1, 0, 2π) − f (1, 0, 0) = 0.
C
Observación
Sea
∂f
= P(x, y ),
∂x
Z x
∂f ∂
= Q(0, y ) + P(t, y )dt
∂y 0 ∂y
Z x
∂
= Q(0, y )+ Q(t, y )dt = Q(0, y )+Q(x, y )−Q(0, y ) = Q(x, y ).
0 ∂x
Integral sobre una curva
Observación
Observación
Sea ω : A → (R2 )∗ (A abierto en R2 ) una 1−forma de clase C (1
cerrada. Supongamos que existe (a, b) ∈ A tal que para cada
(x, y ) ∈ A se tiene {a} × [b, y ] ⊆ A, [a, x] × {y } ⊆ A. Entonces, ω
es exacta: si ω = Pdx + Qdy , la función
Z y Z x
f (x, y ) = Q(a, t)dt + P(t, y )dt
b a
Sea
g (s) = sPj ((1 − s)x0 + syt ), s ∈ [0, 1].
Es fácil observar que se puede hallar la derivada de ϕ(t) derivando
bajo el signo de integral respecto a t. La derivada del integrando es
∂ ∂
P1 ((1−s)x0 +syt )s(y1 −x1,0 )+. . .+ Pj ((1−s)x0 +syt )s(t−xj,0 )
∂xj ∂xj
∂
+ Pj ((1 − s)x0 + syt ) + . . . + Pn ((1 − s)x0 + syt )s(yn − xn,0 ).
∂xj
Por tanto,
Z 1
∂f
(y ) = ϕ0 (yj ) = g 0 (s)ds = g (1) − g (0) = Pj (y ).
∂xj 0
Observación
Toda 1−forma de clase C 1 cerrada es localmente exacta.
Ejemplo
Hallar la función potencial asociada al campo F : R3 → R3 tal que
∂f ∂C
x 2 z − 4xy = = x 2 z − 4xy +
∂y ∂y
∂f ∂C
x 2 z − 4xy = = x 2 z − 4y +
∂y ∂y
∂C
= 0 ⇒ C (y , z) = D(z)
∂y
⇒ f (x, y , z) = x 2 yz + z 2 x − 2y 2 x + x + D(z)
∂f
x 2 y +2xz−2 = = x 2 y +2xz+D 0 (z) ⇒ D 0 (z) = −2z+E , E ∈ R
∂z
D(z) = −2z.
f (x, y , z) = x 2 yz + z 2 x − 2y 2 x + x − 2z + E .
Ejemplo
La circunferencia r (t) = (cos t, sen t), t ∈ [0, 2π] se recorre en
sentido positivo. En efecto, r 0 (t) = (− sen t, cos t) utilizando la
matriz de rotación para θ = π/2,
cos θ − sen θ θ=π/2 0 −1
= ,
sen θ cos θ 1 0
La demostración de la identidad
Z Z ZZ
∂Q ∂P
w = P(x, y )dx + Q(x, y )dy = − dxdy ,
γ γ D ∂x ∂y
Comprobamos la identidad
Z ZZ
∂P
P(x, y )dx = − dxdy
γ D ∂y
ó
1
w (x, y ) = (−ydx + xdy ).
2
ó
1
w (x, y ) = (−ydx + xdy ).
2
Ejemplo
Hallar el área limitada por el folium de Descartes
3a tan t 3a tan2 t π
r (t) = ( , ), t ∈ [0, ).
1 + tan3 t 1 + tan3 t 2
ZZ
área(D) = dxdy
D
3a2
Z
1
A(D) = (−ydx + xdy ) = ,
∂D+ 2 2
hacer el cambio de variable s = tan t, s ∈ [0, +∞).