You are on page 1of 89

Integral sobre una curva

Curvas en Rn Ir a la Sección 1

Integral de funciones escales sobre curvas en Rn Ir a la Sección 2

1−formas Ir a la Sección 3

Forma diferencial exacta Ir a la Sección 4

Integral sobre una curva


Definición de curva

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).

Integral sobre una curva


Definición de curva

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).

Integral sobre una curva


Curva

Figura: Curva en Rd

Integral sobre una curva


Ejemplos

Circunferencia: sea (x0 , y0 ) ∈ R2 , R > 0. La circunferencia de


centro en (x0 , y0 ) y radio R es r : [0, 2π] → R2 tal que
r (t) = (x0 + R cos t, y0 + R sen t), t ∈ [0, 2π]. Otra
parametrización con el mismo soporte es
r1 (t) = (x0 + R cos t, y0 − R sen t), t ∈ [0, 2π].
Elipse: sean (x0 , y0 ) ∈ R2 , a > 0, b > 0. La elipse de centro
en (x0 , y0 ) y semiejes a y b paralelos a los ejes coordenados es
r : [0, 2π] → R2 tal que r (t) = (x0 + a cos t, y0 + b sen t),
t ∈ [0, 2π].
Dados P0 y P1 en Rd el segmento que va P0 a P1 y se denota
por [P0 , P1 ] y tiene por parametrización

r (t) = tP1 + (1 − t)P0 , t ∈ [0, 1].

Hélice circular: r : [a, b] → R3 , r (t) = (cos t, sen t, t). Es


usual considerar [a, b] = [0, 2π].
Integral sobre una curva
Curvas equivalentes

Definición (reparametrización. Curvas equivalentes)


Sean r1 : [a, b] → Rd y r2 : [c, d] → Rd dos curvas. Diremos que r1
es una reparametrización de r2 cuando existe s : [a, b] → [c, d]
estrictamente monótona y con derivada continua distinta de cero
tal que
r1 (t) = r2 (s(t)), ∀t ∈ [a, b].
Cuando s es estrictamente creciente se dice que las curvas son
equivalentes. Si s es estrictamente decreciente una es un cambio
de sentido de la otra. A la función s se le llama cambio de escala.

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

r2 (t) = r1 (s −1 (t)), t ∈ [c, d].

De modo que r2 es una reparametrización de r1 ; observar que el


soporte de ellas coincide. Si las curvas son equivalentes su punto
inicial y final coinciden.

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].

Integral sobre una curva


Caminos y curvas regulares

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 (camino y curva regular)


Si r : [0, 1] → Rd es una curva en Rd tal que existe una partición
{0 = t0 < t1 < · · · < tk = 1} de [0, 1] tal que r |[tj−1 ,tj ] es una
función de clase C 1 (con derivada continua), entonces decimos que
la curva es suave a trozos o un camino. A los puntos donde existe
la derivada se le llaman puntos regulares. Si r es de clase C 1 ([0, 1])
y r 0 (t) 6= 0, t ∈ [0, 1], entonces decimos que la curva es regular.
Dos caminos son equivalentes si el cambio de escala entre ellos es
continuamente derivable.
Integral sobre una curva
Vector tangente y plano osculador

Definición (vector tangente y plano osculador)


Si r : [0, 1] → Rd es un camino, en los puntos regulares r (t0 )
tenemos vector tangente r 0 (t0 ). El plano que pasa por r (t0 ) y tiene
por vector normal a r 0 (t0 ) se llama plano osculador.

Integral sobre una curva


Longitud de una curva

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

donde (r1 , . . . , rd ) son las componentes de r . Por propiedades de la


integral definida el valor de la suma anterior no depende de la
partición del intervalo [0, 1] que tomemos.

Integral sobre una curva


Observación

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

donde el lı́mite se toma en la familia de todas las particiones del


intervalo [0, 1], cuando la norma de éstas converge a cero.

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

Integral sobre una curva


Observación

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

Integral sobre una curva


Observación

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

Integral sobre una curva


Demostración. Cont.

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

en esta última igualdad hemos hecho el cambio de variable


u = s(t).

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

La longitud del segmento [P0 , P1 ] es kP1 − P0 k. En efecto,

r (t) = P0 + t(P1 − P0 ), t ∈ [0, 1], r 0 (t) = P1 − P0


Z 1
long([P0 , P1 ]) = kr 0 (t)k dt = kP1 − P0 k.
0
Utilizando el resultado anterior se tiene que la longitud de la
poligonal {P0 , P1 , . . . , Pk } es
k
X
kPj − Pj−1 k.
j=1

Integral sobre una curva


Observación
Veamos que la longitud de una curva se puede aproximar por la
longitud de una poligonal cuyos nodos están en la curva.
Según el teorema del valor medio del cálculo diferencial, cualquiera
sea [tj−1 , tj ] un intervalo donde r es de clase C 1 , se tiene que

r (tj ) − r (tj−1 ) = r 0 (sj )(tj − tj−1 )

para un cierto sj ∈ (tj−1 , tj ). Por tanto, según la definición de


integral de Riemann, se tiene
Z 1 k
X k
X
kr 0 (t)k dt ≈ kr 0 (sj )k(tj − tj−1 ) = kr (tj ) − r (tj−1 )k
0 j=1 j=1

y esta última suma representa la longitud de la poligonal


{r (t0 ), r (t1 ) . . . , r (tk )}.

Integral sobre una curva


Representación estándar para un camino regular

Definición (representación estándar)


Sea r : [0, 1] → Rd una camino en Rd regular. Por definición r es
suave a trozos y r 0 (t) 6= 0. Sea L la longitud de dicho camino.
Entonces
Z t
s : [0, 1] → [0, L], s(t) = kr 0 (x)k dx.
0

Del teorema fundamental del cálculo sabemos que s es una función


continua en [0, 1] y derivable en dicho intervalo excepto una
cantidad finita de puntos de dicho intervalo, además,

s 0 (t) = kr 0 (t)k > 0.

Integral sobre una curva


Representación estándar para un camino regular. Cont.

Definición (representación estándar. Cont.)

s 0 (t) = kr 0 (t)k > 0.


Por tanto, s es estrictamente creciente. Su inversa,
t = t(s), t : [0, L] → [0, 1] es un cambio de escala y

r2 : [0, L] → Rd , r2 (s) = r1 (t(s)), s ∈ [0, L]

es una parametrización equivalente a r1 . Observar que


1
r20 (s) = r10 (t(s))t 0 (s) = r10 (t(s)) ⇒ kr20 (s)k = 1
kr10 (t)k

en casi todo punto de [0, L]; en la relación anterior t y s están


relacionados por s = s(t).

Integral sobre una curva


Introducción

Ejercicio
Hallar la longitud de la hélice

r (t) = (cos t, sen t, t), t ∈ [0, 2π]

Hallar la representación estándar de dicha curva.

Integral sobre una curva


Representación estándar para un camino regular

Definición (representación estándar)


Sea r : [0, 1] → Rd una camino en Rd regular. Por definición r es
suave a trozos y r 0 (t) 6= 0. Sea L la longitud de dicho camino.
Entonces
Z t
s : [0, 1] → [0, L], s(t) = kr 0 (x)k dx.
0

Del teorema fundamental del cálculo sabemos que s es una función


continua en [0, 1] y derivable en dicho intervalo excepto una
cantidad finita de puntos de dicho intervalo, además,

s 0 (t) = kr 0 (t)k > 0.

Integral sobre una curva


Representación estándar para un camino regular. Cont.

Definición (representación estándar. Cont.)

s 0 (t) = kr 0 (t)k > 0.


Por tanto, s es estrictamente creciente. Su inversa,
t = t(s), t : [0, L] → [0, 1] es un cambio de escala y

r2 : [0, L] → Rd , r2 (s) = r1 (t(s)), s ∈ [0, L]

es una parametrización equivalente a r1 . Observar que


1
r20 (s) = r10 (t(s))t 0 (s) = r10 (t(s)) ⇒ kr20 (s)k = 1
kr10 (t)k

en casi todo punto de [0, L]; en la relación anterior t y s están


relacionados por s = s(t).

Integral sobre una curva


Introducción. Cont.

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

Para dar la representación estándar hallemos el cambio de variable


correspondiente
Z x Z xq √
s = s(x) = kr 0 (t)k dt = (− sen t)2 + (cos t)2 + 1 dt = 2x.
0 0

Por tanto, x = √s . Ası́, la representación estándar es


2

s s s s √
r2 (s) = r ( √ ) = (cos √ , sen √ , √ ), s ∈ [0, 2 2π]
2 2 2 2

Integral sobre una curva


Integral de funciones escalares sobre curvas

Definición (integral de funciones escalares sobre curvas)


Sean Ω ⊂ Rd un conjunto abierto, r : [a, b] → Rd un camino cuyo
soporte γ está en Ω. Sea f : Ω → R una función. La integral sobre
γ de f es
Z Z b
f (s) ds = f (r (t)) kr 0 (t)k dt
γ a

siempre que la integral anterior exista en el sentido Lebesgue. Por


ejemplo, tal es el caso cuando f es continua en Ω. Asumiremos en
lo que sigue, que la función que se integra es continua.

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

Integral sobre una curva


Integral de funciones escalares sobre curvas

Definición (integral de funciones escalares sobre curvas)


Sean Ω ⊂ Rd un conjunto abierto, r : [a, b] → Rd un camino cuyo
soporte γ está en Ω. Sea f : Ω → R una función. La integral sobre
γ de f es
Z Z b
f (s) ds = f (r (t)) kr 0 (t)k dt
γ a

siempre que la integral anterior exista en el sentido Lebesgue. Por


ejemplo, tal es el caso cuando f es continua en Ω. Asumiremos en
lo que sigue, que la función que se integra es continua.

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

Integral sobre una curva


Independencia de la reparametrización

Lema
La integral de una función escalar no depende de la
reparametrización el camino que utilicemos.

En efecto, si r2 : [c, d] → Rd es una reparametrización de r1 para


una curva γ, entonces existe una función s : [a, b] → [c, d] un
cambio de escala tal que r1 (t) = r2 (s(t)), t ∈ [a, b] y
s 0 ∈ C([a, b]), s 0 6= 0. Por tanto, según el teorema de cambio de
variable, si s 0 (t) > 0,
Z Z d
f (s) ds = f (r2 (t)) kr20 (t)k dt
γ,r2 c
Z b Z b
= f (r2 (s(t))) kr20 (s(t))k s 0 (t)dt = f (r1 (t)) kr10 (t)k dt
a a Z
= f (s) ds.
γ,r1

Integral sobre una curva


Independencia de la reparametrización. Cont.

Cuando s 0 (t) < 0,


Z
f ds
γ,r2
Z d Z a
= f (r2 (t)) kr20 (t)k dt = f (r2 (s(t))) kr20 (s(t))k s 0 (t)dt
c b
Z b
= f (r2 (s(t))) kr20 (s(t))k (−s 0 (t))dt
a
Z b
= f (r2 (s(t))) kr20 (s(t)) (−s 0 (t))kdt
a
Z b Z
0
= f (r1 (t)) kr1 (t)k dt = f ds
a γ,r1

Integral sobre una curva


Otras propiedades

La integral es lineal respecto a la función que se integra; es


decir, si f1 y f2 son funciones continuas en Ω, α1 y α2 son
números reales y γ es un camino en Ω, entonces
Z Z Z
(α1 f1 (s) + α2 f2 (s)) ds = α1 f1 (s) ds + α2 f2 (s) ds.
γ γ γ

La integral es aditiva respecto al camino de integración. Es


decir, si γ0 = γ1 + γ2 + . . . + γk , donde γj son caminos en
Ω ⊂ Rd y f : Ω → R es una función continua en Ω, entonces
Z k Z
X
f (s) ds = f (s) ds
γ0 j=1 γj

Aquı́ se debe entender que existe una partición del intervalo


paramétrico de γ0 tal que al restringir la parametrización a
cada sub-intervalo se obtiene la correspondiente curva γj .
Integral sobre una curva
Otras propiedades

Sean Ω ⊂ Rd un conjunto abierto, r : [a, b] → Rd un camino


cuyo soporte γ = r ([a, b]) está en Ω y f : Ω → R una función
continua en Ω. Entonces
Z

f ds ≤ sup |f (x)| L(γ),
x∈γ

γ

donde L(γ) es la longitud de γ.


En efecto,

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∈γ

Integral sobre una curva


Otras propiedades geométricas y fı́sicas

Interpretación
R geométrica: área del cilindro. Si f ≥ 0, la
integral, γ f ds, representa el área del cilindro

C = {(r (t), y ) ∈ Rd+1 : 0 ≤ y ≤ f (t), t ∈ [0, 1]} ⊂ Rd+1 ,


Z
o sea, Área(C ) = f ds.
γ
Si f ≥ 0 representa la función de densidad en γ, entonces la
integral es la masa.
El centro de masa de una distribución de masa tiene
coordenadas
R
γ xj f (s)ds
Gj = R , j = 1, 2, . . . , d
γ f (s) ds

Integral sobre una curva


Ejemplo

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.

Integral sobre una curva


Solución

Se tiene que C = C1 + C2 + C3 + C4 , donde

C1 : r1 (t) = (t, 1−t), t ∈ (0, 1), C2 : r2 (t) = (t, 1+t), t ∈ (−1, 0)

C3 : r1 (t) = (t, −1−t), t ∈ (−1, 0), C4 : r4 (t) = (t, −1+t), t ∈ (0, 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

Integral sobre una curva


Ejemplo

Ejemplo
Z
Calcular (x + y ) ds, donde C es el lazo derecho de la lemniscata
C
ρ2 = a2 cos(2t), a > 0.

Para a = 1 tenemos el siguiente dibujo:

0.3
0.2
0.1

-1.0 -0.5 0.5 1.0


-0.1
-0.2
-0.3

Integral sobre una curva


Solución

r (t) = (a cos(2t) cos t, a cos(2t) sen t), t ∈ [− π4 , π4 ],


p p

r 0 (t) = √ a (− sen(3t), cos(3t)).


cos(2t)

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

Integral sobre una curva


Diferenciales de orden 1

Notaciones: Sea (Rd )∗ el dual de Rd , es decir, el espacio de


aplicaciones lineales de Rd a R. Una base de dicho espacio es

dxj : Rd → R, dxj (h) = hj , ∀h = (h1 , . . . , hd ) ∈ Rd , j = 1, . . . , d

Definición (forma diferencial de orden 1)


Sea A un abierto en Rd , una 1−forma diferencial sobre A es una
aplicación
n
X
d ∗
ω : A → (R ) , x ω(x) = Pj (x) dxj , x ∈A
j=1

Las funciones P1 , . . . , Pn se llaman componentes de la 1−forma ω.


La 1−forma ω es continua, de clase C 1 , . . . , si sus componentes
son funciones continuas, de clase C 1 , . . .

Integral sobre una curva


Diferenciales de orden 1

Notaciones: Sea (Rd )∗ el dual de Rd , es decir, el espacio de


aplicaciones lineales de Rd a R. Una base de dicho espacio es

dxj : Rd → R, dxj (h) = hj , ∀h = (h1 , . . . , hd ) ∈ Rd , j = 1, . . . , d

Definición (forma diferencial de orden 1)


Sea A un abierto en Rd , una 1−forma diferencial sobre A es una
aplicación
n
X
d ∗
ω : A → (R ) , x ω(x) = Pj (x) dxj , x ∈A
j=1

Las funciones P1 , . . . , Pn se llaman componentes de la 1−forma ω.


La 1−forma ω es continua, de clase C 1 , . . . , si sus componentes
son funciones continuas, de clase C 1 , . . .

Integral sobre una curva


Observaciones

Observación: con esta misma notación, ω(x) = nj=1 Pj (x)dxj ,


P
para cada x ∈ A la aplicación ω(x) : Rn → R es lineal. Para cada
h = (h1 , . . . , hn ) ∈ Rn ,
n
X n
X
ω(x)(h) = Pj (x) dxj (h) = Pj (x) hj .
j=1 j=1

Ejemplo (la diferencial)


Si A es un abierto en Rn y f : A → R es una función diferenciable
en A, entonces
n
n ∗
X ∂f
df : A → (R ) , x df (x) = (x) dxj
∂xj
j=1

es una 1−forma en A.
Integral sobre una curva
Interpretación fı́sica y geométrica de una 1-forma

Sea A un abierto de Rd y ω : A → (Rd )∗ una 1-forma en A, si


d
X
ω(x) = Pj (x) dxj
j=1

se suele identificar ω ! P, donde P es el campo vectorial en A


P : A → Rd , P(x) = (P1 (x), . . . , Pd (x))

Integral sobre una curva


Operaciones con 1-formas

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

(ω1 + ω2 )(x) = ω1 (x) + ω2 (x),

(λω1 )(x) = λω1 (x),


(f ω1 )(x) = f (x)ω1 (x).
De esta manera, el conjunto de las 1−formas sobre Ω es un
módulo sobre el anillo RA = {f : A → R}.

Notación: Como de costumbre, cuando en vez de designar a las


variables por x1 , . . . , xn lo hagamos por x, y , z, t, u, . . . , usaremos
dx, dy , dz, dt, du, . . .

Integral sobre una curva


Integral de una 1−forma sobre una curva

Definición (integral de una 1−forma sobre una curva)


Sea A un abierto de Rd y sea ω una 1−forma sobre A; si
r : [a, b] → A es un camino con soporte γ = r ([a, b]), la integral de
ω sobre γ es

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 γ

donde P = (P1 , . . . Pd ) es el vector de las componentes de ω, si


ω(γ)(γ 0 ) es integrable en [a, b].

Integral sobre una curva


Relación entre la integral de una 1-forma y una función
escalar sobre una curva

Observación: por tanto, si P = (P1 , . . . , Pn ) : A → Rd y r es tal


que r 0 (t) 6= 0, ∀t ∈ [a, b], la integral de ω sobre γ coincide con la
0 (t)
integral sobre γ de la función f = hP, ui, donde u(x) = krr 0 (t)k
denota el vector unitario tangente a γ en el punto x = r (t)

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 γ

Integral sobre una curva


Propiedades de las integrales de 1-formas

Sean A un abierto de Rd , r y u dos caminos contenidos en A con


soportes γ y δ en A, respectivamente; ω1 y ω2 dos 1−formas sobre
A. Sean λ ∈ R,Z µ ∈ R. ZEntonces:
a) γ ∼ δ ⇒ ω1 = ω1 ;
γ δ
Z Z Z
b) (λω1 + µω2 ) = λ ω1 + µ ω2 ;
γ γ γ
 1/2
Z Z Z Xn
Pj2  ds;

c) ω ≤ kωkds = 
γ γ γ j=1
R
γ ω ≤ supx∈γ kω(x)k long(γ);

Z Z Z
d) ω = ω + ω;
Zγ∪δ γ
Z δ

e) ω = − ω.
−γ γ
Integral sobre una curva
Demostración: a) γ ∼ δ ⇒ ω1 = ω1
γ δ

Si γ ∼ δ son dos caminos contenidos en A con parametrizaciones


r : [a, b] → Rd y u : [c, d] → Rd respectivamente, entonces existe
un cambio de escala s : [c, d] → [a, b] estrictamente creciente con
s 0 (t) > 0, ∀t ∈ [c, d] tal que u(t) = r (s(t)), ∀t ∈ [c, d]. Por
tanto,
Z Z b Z bX d
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 δ
Nota. Siempre se puede asumir que el intervalo paramétrico es
[0, 1].
Integral sobre una curva
 1/2
Z Z Z Xn
Pj2  ds

Demostración: c) ω ≤ kωkds = 
γ γ γ j=1

Aplicando la desigualdad de Cauchy-Schwarz obtenemos


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 γ

Integral sobre una curva


Interpretación fı́sica de la integral de una 1-forma

Si F = (F1 , F2 , F3 ) es un campo de fuerzas en el abierto A y

ω(x, y , z) = F1 (x, y , z) dx + F2 (x, y , z) dy + F3 (x, y , z) dz

es la 1-forma sobre A con las componentes de F y γ,R con


parametrización r , es un camino en A tal que existe γ ω, entonces
dicha integral se interpreta fı́sicamente como el trabajo, W , que
hay que realizar bajo la acción de la fuerza ω para desplazar una
partı́cula a lo largo de γ bajo la acción de F ,
Z Z 1
W = ω= hF (r (t)), r 0 (t)i dt
γ 0
Z 1
= kF (r (t)k kr 0 (t)k cos(∠(F (r (t)), r 0 (t)) dt
0

También se suele decir que dicha integral representa la circulación


del campo F a lo largo de la curva γ.
Integral sobre una curva
Interpretación fı́sica de la integral de una 1-forma. Cont.

Integral sobre una curva


Introducción

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).

Integral sobre una curva


Integral de una 1−forma sobre una curva

Definición (integral de una 1−forma sobre una curva)


Sea A un abierto de Rd y sea ω una 1−forma sobre A; si
r : [a, b] → A es un camino con soporte γ = r ([a, b]), la integral de
ω sobre γ es
Z Z
ω= P1 dx1 + · · · + Pd dxd
γ γ
Z d
bX Z b
= Pj (r (t))rj0 (t) dt = ω(γ(t))(r 0 (t))dt
a j=1 a
Z b
= hP(r (t)), r 0 (t)i dt,
a

donde P = (P1 , . . . Pd ) es el vector de las componentes de ω, si


ω(γ)(γ 0 ) es integrable en [a, b].

Integral sobre una curva


x2 y2
R
Solución. K y dx − x dy , 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

Integral sobre una curva


Relación entre la integral de una 1-forma y una función
escalar sobre una curva

Observación: por tanto, si P = (P1 , . . . , Pn ) : A → Rd y r es tal


que r 0 (t) 6= 0, ∀t ∈ [a, b], la integral de ω sobre γ coincide con la
0 (t)
integral sobre γ de la función f = hP, ui, donde u(x) = krr 0 (t)k
denota el vector unitario tangente a γ en el punto x = r (t)

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 γ

Integral sobre una curva


Propiedades de las integrales de 1-formas

Sean A un abierto de Rd , r y u dos caminos contenidos en A con


soportes γ y δ en A, respectivamente; ω1 y ω2 dos 1−formas sobre
A. Sean λ ∈ R, µ ∈ R. Entonces:
Z Z
a) γ ∼ δ ⇒ ω1 = ω1 ;
γ δ
Z Z Z
b) (λω1 + µω2 ) = λ ω1 + µ ω2 ;
γ γ γ
 1/2
Z Z Z Xn
Pj2  ds;

c) ω ≤ kωkds = 
γ γ γ j=1
Z Z Z
d) ω= ω+ ω;
γ+δ γ δ
Z Z
e) ω=− ω.
−γ γ

Integral sobre una curva


Demostración: a) γ ∼ δ ⇒ ω1 = ω1
γ δ

Si γ ∼ δ son dos caminos equivalentes contenidos en A con


parametrizaciones r : [a, b] → Rd y u : [c, d] → Rd
respectivamente, entonces existe un cambio de escala
s : [c, d] → [a, b] estrictamente creciente con s 0 (t) > 0, ∀t ∈ [c, d]
tal que u(t) = r (s(t)), ∀t ∈ [c, d]. Por tanto,

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 δ

Integral sobre una curva


 1/2
Z Z Z Xn
Pj2  ds

Demostración: c) ω ≤ kωkds = 
γ γ γ j=1

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 γ

Integral sobre una curva


Interpretación fı́sica de la integral de una 1-forma

Si F = (F1 , F2 , F3 ) es un campo de fuerzas en el abierto A y

ω(x, y , z) = F1 (x, y , z) dx + F2 (x, y , z) dy + F3 (x, y , z) dz

es la 1-forma sobre A con las componentes de F y γ,R con


parametrización r , es un camino en A tal que existe γ ω, entonces
dicha integral se interpreta fı́sicamente como el trabajo W que hay
que realizar bajo la acción de la fuerza ω para desplazar una
partı́cula a lo largo de γ bajo la acción de F ,
Z Z 1
W = ω= hF (r (t)), r 0 (t)i dt
γ 0
Z 1
= kF (r (t))k kr 0 (t)k cos(∠(F (r (t)), r 0 (t)) dt
0

También se suele decir que dicha integral representa la circulación


del campo F a lo largo de la curva γ.
Integral sobre una curva
Interpretación fı́sica de la integral de una 1-forma. Cont.

Integral sobre una curva


Forma diferencial exacta

Definición (forma diferencial exacta)


Una 1−forma ω : A → (Rn )∗ (donde A es un abierto de Rn ) se
dice una diferencial exacta si existe alguna función f : A → R
diferenciable tal que
df = ω;
en esePcaso, se dice que f es una función potencial de ω. Si
w = dj=1 Pj (x)dxj , en este caso se dice que la función
F (x) = (P1 (x), . . . , Pd (x)) = ∇f es un campo gradiente.

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

Definición (forma diferencial exacta)


Una 1−forma ω : A → (Rn )∗ (donde A es un abierto de Rn ) se
dice una diferencial exacta si existe alguna función f : A → R
diferenciable tal que
df = ω;
en esePcaso, se dice que f es una función potencial de ω. Si
w = dj=1 Pj (x)dxj , en este caso se dice que la función
F (x) = (P1 (x), . . . , Pd (x)) = ∇f es un campo gradiente.

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

clase C (1 y exacta, entonces


∂Pj ∂Pi
=
∂xi ∂xj

para cada i, j.

Integral sobre una curva


Cálculo de la integral de una 1−forma exacta

Lema (Regla de Barrow)


Si γ : [a, b] → A es un camino (A abierto en Rn ) y ω es una
1−forma en A exacta sobre γ y exacta, entonces
Z
ω = f (γ(b)) − f (γ(a))
γ

para cualquier función f potencial de ω.

Nota. La regla de Barrow hace que muchas veces en lugar de


hablar de 1−forma exacta se hable de 1−forma integrable.

Integral sobre una curva


Demostración: Regla de Barrow

En efecto,
Z n Z
X b
ω := Pj (γ(t))γj0 (t)dt,
γ j=1 a

donde Pj , j = 1, . . . , n, son las componentes de ω y γ(t) es la


parametrización de la curva γ. Si ω es exacta y f es una función
∂f
potencial para ella, Pj = ∂x j
. Ası́,

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

en esta última igualdad hemos utilizado la regla de Barrow para


funciones de una variable real.

Integral sobre una curva


1-forma cerrada

Definición (1-forma cerrada)


Sea A unP abierto de Rn y sea ω : A → (Rn )∗ una 1−forma de clase
C 1 , ω = nj=1 Pj dxj ; se dice que ω es cerrada si

∂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).

Integral sobre una curva


Ejemplo

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

Integral sobre una curva


Observación

Observación
Sea

ω : R2 → (R2 )∗ , (x, y ) P(x, y )dx + Q(x, y )dy

una 1−forma de clase C (1 exacta. Entonces ω = df , con


Z y Z x
f (x, y ) = Q(0, t)dt + P(t, y )dt.
0 0

∂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

es una función potencial de ω.

Integral sobre una curva


Teorema de los campos conservativos

Teorema (de los campos conservativos)


Sea A abierto y conexo en Rn y sea ω : A → (Rn )∗ una 1−forma
continua. Son equivalentes:
a) ω es exacta en A;
R
b) γ ω = 0 para todo camino γ cerrado en A;
R R
c) γ ω = δ ω para todo par γ, δ de caminos en A con el mismo
origen y el mismo final.

Integral sobre una curva


Conjunto estrellado

Definición (conjunto estrellado)


Sea A ⊆ Rn ; se dice que A es un conjunto estrellado si existe
a ∈ A tal que [a, x] ⊆ A para todo x ∈ A. Por ejemplo, todo
conjunto convexo es estrellado.

Integral sobre una curva


Lema de Poincaré

Lema (de Poincaré para abiertos estrellados)


Sea A un abierto estrellado en Rn y sea ω : A → (Rn )∗ una
1−forma de clase C 1 y cerrada. Entonces, ω es exacta en A.

Integral sobre una curva


Demostración del lema de Poincaré

Como A es estrellado, existe x0 ∈ A tal que para todo x ∈ A, el


segmento [x0 , x] ⊂ A. Consideremos
Z
f (x) = ω.
[x0 ,x]

Veamos que df (y ) = ω(y ), ∀y ∈ A. Basta demostrar que


∂f
∂xj (y ) = Pj (y ), j = 1, . . . , n, donde Pj es la componente j-ésima
de ω. Al ser A un conjunto abierto, existe δ > 0 tal que
B(y , δ) ⊂ A. Entonces, si yt = (y1 , . . . , yj−1 , t, yj+1 , . . . , yn ), con
t ∈ (yj − δ, yj + δ)
Z
ϕ(t) = f (y1 , . . . , yj−1 , t, yj+1 , . . . , yn ) = ω
[x0 ,yt ]
Z 1
= (P1 ((1−s)x0 +syt )(y1 −x1,0 )+. . .+Pj ((1−s)x0 +syt )(t −xj,0 )
0
+ . . . + Pn ((1 − s)x0 + syt )(yn − xn,0 ))ds
Integral sobre una curva
Demostración del lema de Poincaré. Cont.

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

Integral sobre una curva


Demostración del lema de Poincaré. Cont.

Utilizando ahora que la forma diferencial es cerrada,


∂ ∂
Pk = Pj ,
∂xj ∂xk

ası́ nos queda que la derivada de la función integrando es


n
X ∂Pj
g 0 (s) = s ((1 − s)x0 + syt )(y − aj ) + Pj ((1 − s)x0 + syt )
∂xk
k=1

Por tanto,
Z 1
∂f
(y ) = ϕ0 (yj ) = g 0 (s)ds = g (1) − g (0) = Pj (y ).
∂xj 0

Integral sobre una curva


Definición (conjunto simplemente conexo)
Un conjunto A ⊂ R2 , que no es R2 es simplemente conexo si su
complementario en R2 es conexo.

R2 es una región simplemente conexa. Todo conjunto estrellado en


R2 es simplemente conexo. Los conjuntos simplemente conexos no
tienen “huecos”.
Lema (de Poincaré para regiones simplemente conexas)
Sea A una región simplemente conexa en R2 y sea ω : A → (R2 )∗
una 1−forma de clase C 1 y cerrada. Entonces, ω es exacta en A.

Observación
Toda 1−forma de clase C 1 cerrada es localmente exacta.

Integral sobre una curva


Introducción. Cálculo de funciones potenciales

Ejemplo
Hallar la función potencial asociada al campo F : R3 → R3 tal que

F (x, y , z) = (2xyz + z 2 − 2y 2 + 1, x 2 z − 4xy , x 2 y + 2xz − 2).

Observar que F es un campo gradiente ya que la 1−forma


asociada es cerrada en R3 (dominio estrellado):

∂F1 ∂F2 ∂F1 ∂F3


= 2xz − 4y = , = 2xy + 2z = ,
∂y ∂x ∂z ∂x
∂F2 ∂F3
= x2 = .
∂z ∂y

Integral sobre una curva


Introducción. Cont.
F (x, y , z) = (2xyz + z 2 − 2y 2 + 1, x 2 z − 4xy , x 2 y + 2xz − 2)

Como R3 es un conjunto estrellado, según el Lema de Poincaré, la


F es un campo gradiente. Una función potencial f : R3 → R
asociada a F tiene que cumplir
∂f ∂f
= F1 (x, y , z) = 2xyz + z 2 − 2y 2 + 1, = x 2 z − 4xy ,
∂x ∂y
∂f
= x 2 y + 2xz − 2.
∂z
Z
f (x, y , z) = (2xyz+z 2 −2y 2 +1) dx = x 2 yz+z 2 x−2y 2 x+x+C (y , z)

∂f ∂C
x 2 z − 4xy = = x 2 z − 4xy +
∂y ∂y

Integral sobre una curva


Introducción. Cont.
F (x, y , z) = (2xyz + z 2 − 2y 2 + 1, x 2 z − 4xy , x 2 y + 2xz − 2)

∂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 .

Integral sobre una curva


Teorema de Green: camino cerrado de Jordan y orientación
positiva

Definición (Contorno o camino cerrado de Jordan)


Diremos que un camino cerrado γ en R2 es de Jordan si la
parametrización de γ es inyectiva en el intervalo paramétrico
abierto. Según el teorema de la curva de Jordan, un camino
cerrado de Jordan divide a R2 en dos regiones, una acotada y otra
no acotada. La acotada se llama interior de γ y la no acotada,
exterior de γ.

Definición (orientación positiva)


Desde el punto de vista práctico, un camino se recorre en sentido
positivo si el interior queda a la izquierda o se recorre en sentido
anti-horario. Desde el punto de vista formal, diremos que un
camino de Jordan tiene orientación positiva si el vector normal a la
curva tiene la dirección interior a la curva.
Integral sobre una curva
Teorema de Green: camino cerrado de Jordan y orientación
positiva

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

obtenemos el vector normal

η(t) = (− sen t, cos t) = (cos(t + π/2), sen(t + π/2)),

que es la normal que apunta al interior.

Integral sobre una curva


Teorema de Green

Teorema (de Green)


Sean G una región en R2 y γ un camino cerrado de Jordan en G
orientado en sentido positivo, cuyo interior D está también en G .
Sea w (x, y ) = P(x, y )dx + Q(x, y )dy una 1−forma de clase
C 1 (G ). Entonces
Z Z ZZ  
∂Q ∂P
w = P(x, y )dx + Q(x, y )dy = − dxdy .
γ γ D ∂x ∂y

Integral sobre una curva


Demostración

La demostración de la identidad
Z Z ZZ
∂Q ∂P
w = P(x, y )dx + Q(x, y )dy = − dxdy ,
γ γ D ∂x ∂y

cualquiera sea w ∈ C 1 (G ) es equivalente a


Z ZZ
∂P
P(x, y )dx = − dxdy ,
γ D ∂y
Z ZZ
∂Q
Q(x, y )dy = dxdy .
γ D ∂x

Integral sobre una curva


Demostración. Cont.

Comprobamos la identidad
Z ZZ
∂P
P(x, y )dx = − dxdy
γ D ∂y

cuando D tiene la forma

D = {(x, y ) ∈ R2 : a ≤ x ≤ b, y1 (x) ≤ y ≤ y2 (x)}

donde −∞ < a < b < ∞ y yj ∈ C 1 ([a, b]), j = 1, 2 con


y1 (x) < y2 (x), x ∈ (a, b).
Por el teorema de Fubini y el teorema fundamental del cálculo
ZZ Z b Z y2 (x) !
∂P ∂P
dxdy = dy dx
D ∂y a y1 (x) ∂y
Z b
= (P(x, y2 (x)) − P(x, y1 (x))) dx
a

Integral sobre una curva


Demostración. RCont.
RR ∂P b
D ∂y dxdy = a (P(x, y2 (x)) − P(x, y1 (x))) dx
Z 4 Z
X
Por otra parte, P(x, y )dx = P(x, y )dx
γ j=1 γj
donde
γ1 : γ1 (t) = (t, y1 (t)), t ∈ [a, b],
γ2 : γ2 (t) = (b, t), t ∈ [y1 (b), y2 (b)],
γ3 : γ3 (t) = (t, y2 (t)), t ∈ [a, b],
γ4 : γ4 (t) = (a, t), t ∈ [y1 (a), y2 (a)].
Observar que con estas parametrizaciones las curvas γ3 y γ4 se
recorren
Z en sentido contrario al deseado.Z
Z b
Ası́, P(x, y )dx = P(x, y1 (x))dx, P(x, y )dx =
γ1 a γ3
Z b Z
− P(x, y2 (x))dx, mientras que P(x, y )dx = 0, j = 2, 4, que
a γj
llevan a la igualdad buscada.

Integral sobre una curva


Aplicaciones del teorema de Green

1.- Calculo de integrales de forma diferencial de orden 1.


Z p p
x 2 + y 2 dx + y [xy + log(x + x 2 + y 2 )]dy ,
K

donde K es el cuadrado con vértices


(1; 1), (1; 2), (2; 2) (2; 1) orientado en sentido
positivo. Resultado: 74 .

Integral sobre una curva


Aplicaciones del teorema de Green. Cont.

2.- El teorema de Green resulta ser una extensión del


lema de Poincare. Si la forma diferencial w es de
clase C 1 y cerrada en una región G y además todo
contorno γ en G es tal que su interior también está
en G (la región es simplemente conexa), entonces
Z
w = 0,
γ

luego la forma w es exacta en G . La condición a


destacar es que la región debe ser tal que todo
contorno γ en G debe tener su interior también en G .

Integral sobre una curva


Aplicaciones del teorema de Green. Cont.

3.- Cálculo de áreas de regiones planas.


ZZ Z
A(D) = dxdy = w,
D ∂D+

si w es una forma diferencial tal que ∂w ∂w1


∂x − ∂x = 1 y
2

∂D+ , la frontera de D, es un contorno de Jordan


orientado en sentido positivo. Por ejemplo, se pueden
tomar como formas diferenciales,

w (x, y ) = xdy ó w (x, y ) = −ydx,


1
w (x, y ) = (−ydx + xdy ).
2

Integral sobre una curva


Ejemplos

Área de una elipse con semiejes a y b,


r (t) = (a cos t, b sen t), t ∈ [0, 2π],
Z
1
A(D) = (−ydx + xdy ) = πab.
∂D+ 2

Integral sobre una curva


Aplicaciones fı́sicas

4.a) Si interpretamos a F = (P, Q), las componentes de


la 1-forma w , como un campo de fuerzas, la integral
Z Z
w = Pdx + Qdy
γ γ

es el trabajo realizado para mover una partı́cula a lo


largo del camino γ y este se calcula como
ZZ  
∂Q ∂P
− dxdy
D ∂x ∂y
∂Q ∂P
la expresión rot(F ) = ∂x − ∂y se llama el rotacional
de F .

Integral sobre una curva


Aplicaciones fı́sicas

4.b) Análogamente tenemos si F = (P, Q) es el flujo de


un campo (vector velocidad), entonces la integral
Z Z
w = Pdx + Qdy
γ γ

se interpreta como la circulación del campo a lo largo


de la curva.

Integral sobre una curva


Introducción. Cont. Aplicaciones del teorema de Green al
cálculo de área

Cálculo de áreas de regiones planas.


ZZ Z
A(D) = dxdy = w,
D ∂D+

si w = Pdx + Qdy es una 1-forma tal que ∂Q ∂P


∂x − ∂y = 1 y ∂D+ , la
frontera de D, es un contorno de Jordan orientado en sentido
positivo. Por ejemplo, se pueden tomar como formas diferenciales,

w (x, y ) = xdy ó w (x, y ) = −ydx,


1
w (x, y ) = (−ydx + xdy ).
2

Integral sobre una curva


Ejemplo

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

Integral sobre una curva


Solución
3a tan t
Solución: ρ(t) = cos t(1+tan3 t)
, t ∈ [0, π2 ),

ZZ
área(D) = dxdy
D

Integral sobre una curva


Ejemplo

3a2
Z
1
A(D) = (−ydx + xdy ) = ,
∂D+ 2 2
hacer el cambio de variable s = tan t, s ∈ [0, +∞).

3a tan t 3as 3a(1 − 2s 3 )


x= = , dx = ds,
1 + tan3 t 1 + s3 (1 + s 3 )2

3a tan2 t 3as 2 3a(2s − s 4 )


y= = , dy = ds,
1 + tan3 (t) 1 + s3 (1 + s 3 )2
Z ∞
9a2 s 2 3a2
Z
1
(−ydx + xdy ) = ds =
∂D+ 2 0 2(1 + s 3 )2 2

Integral sobre una curva

You might also like