Calculo Vectorial

Repaso del Cálculo Vectorial
Temas Selectos de Análisis 1

Prof. J. Rivera Noriega
ITAM
Primavera de 2021
MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 1 / 40

Curvas planas
Iniciamos recordando la definición de una curva plana.

Curvas planas

Consideremos una función γ : [a, b] → R2 , con γ(t) = x(t), y (t) , cumpliendo
que las funciones x, y son de clase C 1 , y γ 0 (t) 6= ~0, para toda t ∈ [a, b].

Curvas planas


A x(t), y (t) se le llama la parametrización,
n y al rango de γ ose le llama curva

plana suave, y lo denotamos por Γ = x(t), y (t) : t ∈ [a, b] .

Curvas planas



La longitud de la curva es
Z b q 2 2
L(γ) = x 0 (t) + y 0 (t) dt
a

Curvas planas



Z b q 2 2
L(γ) = x 0 (t) + y 0 (t) dt
a
Más adelante veremos una deducción de esta fórmula como caso particular de una
integral de lı́nea.

Curvas planas



Z b q 2 2
L(γ) = x 0 (t) + y 0 (t) dt
a
Más adelante veremos una deducción de esta fórmula como caso particular de una
integral de lı́nea.
q 2 2
En este punto es útil notar que x 0 (t) + y 0 (t) = kγ 0 (t)k.

Nota importante sobre rangos y trayectorias de curvas
Consideremos γ1 (t) = (cos t, sen t) y γ2 (t) = (cos(2t), sen(2t)), en ambos casos

t ∈ [0, 2π].


t ∈ [0, 2π].
En este caso, los rangos de γ1 y γ2 son iguales, pero ocurre que γ2 recorre dos
veces la trayectoria de γ1 .


t ∈ [0, 2π].
Entonces γ1 y γ2 son curvas distintas que además recorren distintas trayectorias a
pesar de tener el mismo rango.


t ∈ [0, 2π].
Entonces γ1 y γ2 son curvas distintas que además recorren distintas trayectorias a
pesar de tener el mismo rango.
También hay que mencionar que este fenómeno queda reflejado en el hecho de
que la longitud de γ2 es el doble de la longitud de γ1 .

Curvas planas
Una misma curva puede tener varias parametrizaciones, y una especialmente útil
es la parametrización respecto a la longitud de arco.

Curvas planas
es la parametrización respecto a la longitud de arco. Revisaremos primero la
noción de cambio de parametrización.

Curvas planas
Recordemos que una reparametrización
de una curva plana suave γ : [a, b] → R2 ,
con γ(t) = x(t), y (t) , es γ̃(s) = γ(η(s)),

Curvas planas
con γ(t) = x(t), y (t) , es γ̃(s) = γ(η(s)), donde η : [c, d] → [a, b] es una
función derivable, biyectiva y cumpliendo η 0 (s) > 0 para toda s ∈ [c, d].

Curvas planas
Por ejemplo, si iniciamos con γ : [0, 1] → R2 dada por γ(t) = (t, t + 1), entonces
γ̃(s) = (e s − 1, e s ) es una reparametrización de γ, a través de la η(s) = e s − 1,
con s ∈ [0, ln 2].

Curvas planas
Por ejemplo, si iniciamos con γ : [0, 1] → R2 dada por γ(t) = (t, t + 1), entonces
γ̃(s) = (e s − 1, e s ) es una reparametrización de γ, a través de la η(s) = e s − 1,
con s ∈ [0, ln 2].
Observemos que en este caso podemos nombrar Γ1 y Γ2 a las correspondientes
trayectorias, y notaremos que son las mismas.

Curvas planas
Además podemos observar que usando las fórmulas

√ correspondientes a las
longitudes de cada curva obtenemos kγ 0 (t)k = 12 + 12 ,

Curvas planas

√ correspondientes √ a las
longitudes de cada curva obtenemos kγ 0 (t)k = 12 + 12 , kγ̃ 0 (s)k = e 2s + e 2s ,

Curvas planas

longitudes de cada curva obtenemos kγ 0 (t)k = 12 + 12 , kγ̃ 0 (s)k = e 2s + e 2s , y
por tanto
Z 1 √ √
L(Γ1 ) = 2 dt = 2,
0

Curvas planas

por tanto
Z 1 √ √ Z ln 2 √
L(Γ1 ) = 2 dt = 2, L(Γ2 ) = 2e s ds
0 0

Curvas planas

por tanto
Z 1 √ √ Z ln 2 √ √
L(Γ1 ) = 2 dt = 2, L(Γ2 ) = 2e s ds = 2
0 0

Curvas planas

por tanto
Z 1 √ √ Z ln 2 √ √
L(Γ1 ) = 2 dt = 2, L(Γ2 ) = 2e s ds = 2
0 0
En general, la longitud es invariante respecto a cambios de parametrización:

Curvas planas

por tanto
Z 1 √ √ Z ln 2 √ √
L(Γ1 ) = 2 dt = 2, L(Γ2 ) = 2e s ds = 2
0 0

Z b
L1 = kγ 0 (t)k dt
a

Curvas planas

por tanto
Z 1 √ √ Z ln 2 √ √
L(Γ1 ) = 2 dt = 2, L(Γ2 ) = 2e s ds = 2
0 0

Z b Z d
L1 = kγ 0 (t)k dt = kγ 0 (η(s))kη 0 (s) ds
a c

Curvas planas

por tanto
Z 1 √ √ Z ln 2 √ √
L(Γ1 ) = 2 dt = 2, L(Γ2 ) = 2e s ds = 2
0 0

Z b Z d Z d
L1 = kγ 0 (t)k dt = kγ 0 (η(s))kη 0 (s) ds = kγ̃ 0 (s)k ds = L2
a c c

Curvas planas

por tanto
Z 1 √ √ Z ln 2 √ √
L(Γ1 ) = 2 dt = 2, L(Γ2 ) = 2e s ds = 2
0 0

Z b Z d Z d
a c c
Otra interpretación de la integral que define la longitud de una curva, es

considerando γ(t) como el vector posición de una partı́cula al tiempo t.

Curvas planas

por tanto
Z 1 √ √ Z ln 2 √ √
L(Γ1 ) = 2 dt = 2, L(Γ2 ) = 2e s ds = 2
0 0

Z b Z d Z d
a c c
Otra interpretación de la integral que define la longitud de una curva, es

considerando γ(t) como el vector posición de una partı́cula al tiempo t.
Entonces γ 0 (t) es el vector velocidad y kγ 0 (t)k es la rapidez de la partı́cula al
tiempo t.

Curvas planas
Parametrización respecto a la longitud de arco
Queremos ahora determinar una parametrización que tenga la peculiaridad de que

a una curva de longitud L, se le asigne una función definida precisamente en el
interval [0, L].

Curvas planas

interval [0, L].
Notemos primero que este requerimiento lleva a que kγ 0 (t)k = 1, pues de ser ası́,
Z L
se tiene kγ 0 (t)k dt = L.
0

Curvas planas

interval [0, L].
Z L
se tiene kγ 0 (t)k dt = L. Esto dice que la partı́cula se mueve con rapidez
0
constante 1.

Curvas planas

interval [0, L].
Z L
se tiene kγ 0 (t)k dt = L. Esto dice que la partı́cula se mueve con rapidez
0
constante 1.
Revisamos a continuación el argumento que prueba la existencia de la
parametrización respecto a la longitud de arco.

Curvas planas
Supongamos que γ : [a, b] → R2 es una curva plana suave con longitud L.

Curvas planas

Definamos Z t
s(t) = kγ 0 (u)k du, t ∈ [a, b]
a

Curvas planas

Definamos Z t
s(t) = kγ 0 (u)k du, t ∈ [a, b]
a
Por el Teorema Fundamental del Cálculo sabemos que s 0 (t) = kγ 0 (t)k,

Curvas planas

Definamos Z t
s(t) = kγ 0 (u)k du, t ∈ [a, b]
a
Por el Teorema Fundamental del Cálculo sabemos que s 0 (t) = kγ 0 (t)k, y como
γ 0 (t) 6= 0, tenemos que s 0 (t) > 0 para toda t ∈ [a, b].

Curvas planas

Definamos Z t
s(t) = kγ 0 (u)k du, t ∈ [a, b]
a
Esto implica que la función s(t) : [a, b] → [0, L] es invertible en [a, b] con inversa
t(s) : [0, L] → [a, b].

Curvas planas

Definamos Z t
s(t) = kγ 0 (u)k du, t ∈ [a, b]
a
t(s) : [0, L] → [a, b].
dt 1
Además, por el teorema de la función inversa se tiene = ds
ds dt

Curvas planas

Definamos Z t
s(t) = kγ 0 (u)k du, t ∈ [a, b]
a
t(s) : [0, L] → [a, b].
dt 1 1
Además, por el teorema de la función inversa se tiene = ds = 0
ds dt
kγ (t(s))k

Curvas planas

Definamos Z t
s(t) = kγ 0 (u)k du, t ∈ [a, b]
a
t(s) : [0, L] → [a, b].
dt 1 1
ds dt
kγ (t(s))k
En conclusión, escribiendo γ̃(s) = γ(t(s)) tenemos

0 d γ(t(s))
γ̃ (s) =
ds

Curvas planas

Definamos Z t
s(t) = kγ 0 (u)k du, t ∈ [a, b]
a
t(s) : [0, L] → [a, b].
dt 1 1
ds dt
kγ (t(s))k

0 d γ(t(s)) dγ dt
γ̃ (s) = =
ds dt ds

Curvas planas

Definamos Z t
s(t) = kγ 0 (u)k du, t ∈ [a, b]
a
t(s) : [0, L] → [a, b].
dt 1 1
ds dt
kγ (t(s))k

0 d γ(t(s)) dγ dt γ 0 (t)
γ̃ (s) = = = 0
ds dt ds kγ (t)k

Curvas planas

Definamos Z t
s(t) = kγ 0 (u)k du, t ∈ [a, b]
a
t(s) : [0, L] → [a, b].
dt 1 1
ds dt
kγ (t(s))k

0 d γ(t(s)) dγ dt γ 0 (t)
γ̃ (s) = = = 0 ∴ kγ̃ 0 (s)k = 1
ds dt ds kγ (t)k

Integrales de lı́nea
Motivación usando integral de Riemann
Para motivar la definición de una integral cuyo dominio sea una curva suave,
iniciemos haciendo una analogı́a con la integral de Riemann sobre un intervalo.

con f : [a, b] → R acotada,

Iniciando y una partición de [a, b], dada por
P = a = t0 < t1 < · · · < tn = b se aproxima a la integral de Riemann de f
en [a, b] por medio de sumas de Riemann, que tienen la forma
X
S(f , P) = f (ξj ) tj − tj−1
j=1


X
S(f , P) = f (ξj ) tj − tj−1
j=1

El factor tj − tj−1 es un modo de medir el subintervalo [tj−1 , tj ].


X
S(f , P) = f (ξj ) tj − tj−1
j=1

El factor tj − tj−1 es un modo de medir el subintervalo [tj−1 , tj ].
Simbólicamente escribirı́amos
Z b
f (t) dt = lı́m S(f , P)
a kPk→0

Ası́se puede también definir la integral de Riemann-Stieltjes, que se aproximarı́a

por las sumas de Riemann-Stieltjes
n+1
X
S(f , P, α) = f (ξj ) α(tj ) − α(tj−1 )
j=1


n+1
X
S(f , P, α) = f (ξj ) α(tj ) − α(tj−1 )
j=1
donde α : [a, b] → R tiene propiedades adecuadas para que al hacer los intervalos
arbitrariamente pequeños, estas sumas se acerquen al valor de la integral.


n+1
X
S(f , P, α) = f (ξj ) α(tj ) − α(tj−1 )
j=1
donde α : [a, b] → R tiene propiedades adecuadas para que al hacer los intervalos
arbitrariamente pequeños, estas sumas se acerquen al valor de la integral.
Para definir la integral de linea sobre una curva plana podemos plantear sumas de
Riemann donde la longitud de cada segmento de curva se mida con la longitud
euclidiana.

para f : Γ → R, continua en todo Γ, y una partición de [a, b], dada por

Ası́ que
P = a = t0 < t1 < · · · < tn = b , consideramos sumas de la forma
n+1
X
S(f , Γ, P) = f (γ(tj )) γ(tj ) − γ(tj−1 )
j=1


Ası́ que
n+1
X
S(f , Γ, P) = f (γ(tj )) γ(tj ) − γ(tj−1 )
j=1
Podemos invocar al Teorema del Valor

Medio para argumentar que
γ(tj ) − γ(tj−1 ) es muy cercano a γ 0 (tj ) |tj − tj−1 |.


Ası́ que
n+1
X
S(f , Γ, P) = f (γ(tj )) γ(tj ) − γ(tj−1 )
j=1

Entonces una suma que se puede proponer para aproximar a la integral serı́a
n+1 h
X i
f (γ(tj )) γ 0 (tj ) · |tj − tj−1 |

j=1


Ası́ que
n+1
X
S(f , Γ, P) = f (γ(tj )) γ(tj ) − γ(tj−1 )
j=1

Entonces una suma que se puede proponer para aproximar a la integral serı́a
n+1 h
X i
f (γ(tj )) γ 0 (tj ) · |tj − tj−1 |

j=1
que es una suma de Riemann.

Basado en la discusión anterior definimos la integral de linea sobre Γ de

f : Γ → R, continua en todo Γ, como
Z Z b
f dS = f (γ(t))kγ 0 (t)k dt
Γ a


Z Z b
Γ a
Notemos que cuando f ≡ 1 en γ, nos queda la longitud de la curva.


Z Z b
Γ a

Una interpretación de la integral de lı́nea es pensando a f como la densidad de un
cable, y la curva γ describe al cable.


Z Z b
Γ a

cable, y la curva γ describe al cable. Entonces la integral de lı́nea de f sobre Γ es
la masa total del cable.


Z Z b
Γ a

Entonces por ejemplo se puede calcular la masa de un cable de forma circular
sabiendo que su densidad f es igual al valor de la coordenada X .


Z Z b
Γ a

Entonces por ejemplo se puede calcular la masa de un cable de forma circular
sabiendo que su densidad f es igual al valor de la coordenada X . (¡Resolverlo!)

Integral de lı́nea en dirección tangente
Una vez que definimos integral de lı́nea de una función escalar definida sobre una
curva, podemos extender este concepto para campos vectoriales.

Se define la integral de lı́nea en dirección tangente de un campo vectorial
F~ : Γ → R2 como Z Z b
~ ~
F · T dS = F~ (γ(t)) · γ 0 (t) dt
Γ a

~ ~
F · T dS = F~ (γ(t)) · γ 0 (t) dt
Γ a
γ 0 (t)

Esto realmente es la integral de lı́nea de la función escalar F~ (γ(t)) · .
kγ 0 (t)k

~ ~
F · T dS = F~ (γ(t)) · γ 0 (t) dt
Γ a
γ 0 (t)

kγ 0 (t)k
0
~ (t) = γ (t) se le llama vector tangente unitario.
Al vector T
kγ 0 (t)k

~ ~
F · T dS = F~ (γ(t)) · γ 0 (t) dt
Γ a
γ 0 (t)

kγ 0 (t)k
0
Al vector T
kγ 0 (t)k
Una observación importante es que para esta integral es crucial la orientación que
tiene la curva, pues determina el signo de γ 0 (t).

~ ~
F · T dS = F~ (γ(t)) · γ 0 (t) dt
Γ a
γ 0 (t)

kγ 0 (t)k
0
Al vector T
kγ 0 (t)k
Una observación importante es que para esta integral es crucial la orientación que
tiene la curva, pues determina el signo de γ 0 (t).
Concibiendo a F~ como un vector fuerza, la integral representa el trabajo que esa
fuerza realiza al moverse sobre la curva.

Un ejemplo

−y x
Si F~ (x, y ) = , , se puede calcular la integral de F~ sobre la
x2 + y2 x2 + y2
circunferencia de radio R > 0 centrada en el origen en dos situaciones:

Un ejemplo

−y x
x2 + y2 x2 + y2
circunferencia de radio R > 0 centrada en el origen en dos situaciones: si la
circunferencia se recorre en el sentido horario o en el sentido opuesto de las
manecillas del reloj.

Un ejemplo

−y x
x2 + y2 x2 + y2
Las parametrizaciones y sus vectores tangentes son, en cada caso,
respectivamente:
γ(t) = R cos t, −R sen t , γ 0 (t) = − R sen t, −R cos t

t ∈ [0, 2π]

Un ejemplo

−y x
x2 + y2 x2 + y2
respectivamente:

t ∈ [0, 2π]
0

σ(θ) = R cos θ, R sen θ , σ (θ) = − R sen θ, R cos θ θ ∈ [0, 2π]

Un ejemplo

−y x
x2 + y2 x2 + y2
respectivamente:

t ∈ [0, 2π]
0

σ(θ) = R cos θ, R sen θ , σ (θ) = − R sen θ, R cos θ θ ∈ [0, 2π]
Y denotaremos respectivamente por CR y CR a las correspondientes trayectorias.

Un ejemplo
Por tanto

R sen t R cos t
F~ (γ(t)) · γ 0 (t)

= , · − R sen t, −R cos t
R2 R2

Un ejemplo
Por tanto

R sen t R cos t
F~ (γ(t)) · γ 0 (t)

= , · − R sen t, −R cos t = −1
R2 R2

Un ejemplo
Por tanto

R sen t R cos t
F~ (γ(t)) · γ 0 (t)

= 2
, 2
· − R sen t, −R cos t = −1
R R

−R sen t R cos t
F~ (σ(θ)) · σ 0 (t)

= 2
, 2
· − R sen t, R cos t
R R

Un ejemplo
Por tanto

R sen t R cos t
F~ (γ(t)) · γ 0 (t)

= 2
, 2
· − R sen t, −R cos t = −1
R R

−R sen t R cos t
F~ (σ(θ)) · σ 0 (t)

= 2
, 2
· − R sen t, R cos t = 1
R R

Un ejemplo
Por tanto

R sen t R cos t
F~ (γ(t)) · γ 0 (t)

= 2
, 2
· − R sen t, −R cos t = −1
R R

−R sen t R cos t
F~ (σ(θ)) · σ 0 (t)

= 2
, 2
R R
Y entonces las dos integrales de lı́nea son respectivamente:

Z Z 2π
F~ · T
~ dS = −1 dt = −2π
CR 0

Un ejemplo
Por tanto

R sen t R cos t
F~ (γ(t)) · γ 0 (t)

= 2
, 2
· − R sen t, −R cos t = −1
R R

−R sen t R cos t
F~ (σ(θ)) · σ 0 (t)

= 2
, 2
R R
Y entonces las dos integrales de lı́nea son respectivamente:

Z Z 2π
F~ · T
~ dS = −1 dt = −2π
CR 0
Z Z 2π
F~ · T
~ dS = 1 dt = 2π
CR 0

Frecuentemente las integrales de lı́nea sobre la curva parametrizada

γ(t) = (x(t), y (t)) de un campo vectorial F~ (x, y ) = (f (x, y ), g (x, y )), se escriben
como Z Z Z
~ ~
F · T dS = f (x, y )dx + g (x, y )dy
Γ Γ Γ


como Z Z Z
~ ~
F · T dS = f (x, y )dx + g (x, y )dy
Γ Γ Γ
pues en términos de la parametrización esto es correcto, al tener
Z Z b Z b
F~ · T
~ dS = 0
f (x(t), y (t))x (t) dt + g (x(t), y (t))y 0 (t) dt
Γ a a


como Z Z Z
~ ~
F · T dS = f (x, y )dx + g (x, y )dy
Γ Γ Γ
Z Z b Z b
F~ · T
~ dS = 0
Γ a a
En algunos ejemplos concretos esta forma de escribir la integral de lı́nea es útil

para simplificar algunos cálculos.


como Z Z Z
~ ~
F · T dS = f (x, y )dx + g (x, y )dy
Γ Γ Γ
Z Z b Z b
F~ · T
~ dS = 0
Γ a a
En algunos ejemplos concretos esta forma de escribir la integral de lı́nea es útil

para simplificar algunos cálculos.
Veamos un ejemplo donde la curva está definida por pedazos, o más precisamente,
se hace una concatenación de curvas.

Concatenación de curvas
Si se tienen dos curvas γ1 : [a1 , b1 ] → Rn y γ2 : [a2 , b2 ] → Rn con trayectorias Γ1

y Γ2 , cumpliendo γ1 (b1 ) = γ2 (a2 ), definimos la concatenación de γ1 y γ2 como
la curva γ(t) = γ1 ∗ γ2 : [a1 , b1 + b2 − a2 ] definida por

γ1 (t) si t ∈ [a1 , b1 ]
γ(t) =
γ2 (t + a2 − b1 ) si t ∈ [b1 , b1 + b2 − a2 ]



γ1 (t) si t ∈ [a1 , b1 ]
γ(t) =
γ2 (t + a2 − b1 ) si t ∈ [b1 , b1 + b2 − a2 ]
Con un proceso inductivo se puede definir la concatenacón de más de dos curvas.



γ1 (t) si t ∈ [a1 , b1 ]
γ(t) =
γ2 (t + a2 − b1 ) si t ∈ [b1 , b1 + b2 − a2 ]

A la trayectoria asociada a la concatenación se le denotará por Γ = Γ1 + Γ2



γ1 (t) si t ∈ [a1 , b1 ]
γ(t) =
γ2 (t + a2 − b1 ) si t ∈ [b1 , b1 + b2 − a2 ]

Una propiedad importante de esta nueva curva es que la longitud γ = γ1 ∗ γ2 es la
suma de las longitudes de γ1 y γ2 .



γ1 (t) si t ∈ [a1 , b1 ]
γ(t) =
γ2 (t + a2 − b1 ) si t ∈ [b1 , b1 + b2 − a2 ]

Una propiedad importante de esta nueva curva es que la longitud γ = γ1 ∗ γ2 es la
suma de las longitudes de γ1 y γ2 .
Además se tiene la siguiente propiedad respecto a las integrales de lı́nea antes
definidas:
Z Z Z Z Z Z
f dS = f dS + f dS, ~ ~
F · T dS = ~ ~
F · T dS + F~ · T
~ dS
Γ Γ1 Γ2 Γ Γ1 Γ2

Un ejemplo
Se nos pide calcular la integral de F~ (x, y ) = (x 2 + 3, 2) sobre la trayectoria

mostrada en la figura:

Un ejemplo

Los tres segmentos se parametrizan del siguiente modo:
γ1 (t) = (1, −2t + 4), t ∈ [0, 1],

Un ejemplo

γ1 (t) = (1, −2t + 4), t ∈ [0, 1],

γ2 (t) = (t, 2), t ∈ [1, 3]

Un ejemplo

γ1 (t) = (1, −2t + 4), t ∈ [0, 1],

γ2 (t) = (t, 2), t ∈ [1, 3]
γ3 (t) = (3, t − 1), t ∈ [3, 5].

Un ejemplo
Entonces podemos escribir

Z
F~ · T
~ dS
Γ

Un ejemplo

Z Z Z
F~ · T
~ dS = (x 2 + 3) dx + (2) dy
Γ Γ Γ
Luego podemos escribir cada integral como

Z Z Z
+ + (x 2 + 3) dx
C1 C2 C3

Un ejemplo

Z Z Z
F~ · T
~ dS = (x 2 + 3) dx + (2) dy
Γ Γ Γ

Z Z Z Z 3
+ + (x 2 + 3) dx = 0 + (t 2 + 3) dt + 0
C1 C2 C3 1

Un ejemplo

Z Z Z
F~ · T
~ dS = (x 2 + 3) dx + (2) dy
Γ Γ Γ

Z Z Z Z 3
44
+ + (x 2 + 3) dx = 0 + (t 2 + 3) dt + 0 =
C1 C2 C3 1 3

Un ejemplo

Z Z Z
F~ · T
~ dS = (x 2 + 3) dx + (2) dy
Γ Γ Γ

Z Z Z Z 3
44
+ + (x 2 + 3) dx = 0 + (t 2 + 3) dt + 0 =
C1 C2 C3 1 3
Z Z Z
+ + (2) dy
C1 C2 C3

Un ejemplo

Z Z Z
F~ · T
~ dS = (x 2 + 3) dx + (2) dy
Γ Γ Γ

Z Z Z Z 3
44
+ + (x 2 + 3) dx = 0 + (t 2 + 3) dt + 0 =
C1 C2 C3 1 3
Z Z Z Z 1 Z 5
+ + (2) dy = 2 (−2) dt + 0 + 2 (1) dt
C1 C2 C3 0 3

Un ejemplo

Z Z Z
F~ · T
~ dS = (x 2 + 3) dx + (2) dy
Γ Γ Γ

Z Z Z Z 3
44
+ + (x 2 + 3) dx = 0 + (t 2 + 3) dt + 0 =
C1 C2 C3 1 3
Z Z Z Z 1 Z 5
+ + (2) dy = 2 (−2) dt + 0 + 2 (1) dt = 0
C1 C2 C3 0 3

Un ejemplo

Z Z Z
F~ · T
~ dS = (x 2 + 3) dx + (2) dy
Γ Γ Γ

Z Z Z Z 3
44
+ + (x 2 + 3) dx = 0 + (t 2 + 3) dt + 0 =
C1 C2 C3 1 3
Z Z Z Z 1 Z 5
+ + (2) dy = 2 (−2) dt + 0 + 2 (1) dt = 0
C1 C2 C3 0 3
En conclusión Z
~ dS = 44
F~ · T
Γ 3

Flujo a través de una curva
Existe la posibilidad de tomar una integral de un campo vectorial en la dirección

normal a una trayectoria orientada Γ.


En este caso, la integral de linea en la dirección normal se interpreta como el flujo
de F~ a través de Γ


Recordemos que como γ 0 (t) = (x 0 (t), y 0 (t)) es un vector tangencial entonces hay
dos vectores normales unitarios que podemos considerar:
0 0 0 0

~= − y (t), x (t) ~= y (t), −x (t)
N , −N
kγ 0 (t)k kγ 0 (t)k


Recordemos que como γ 0 (t) = (x 0 (t), y 0 (t)) es un vector tangencial entonces hay
dos vectores normales unitarios que podemos considerar:
0 0 0 0

~= − y (t), x (t) ~= y (t), −x (t)
N , −N
kγ 0 (t)k kγ 0 (t)k
que apuntan a direcciones opuestas.


Dada la curva suave Γ parametrizada por γ(t) = x(t), y (t) , con t ∈ [a, b], y
dado un campo vectorial F~ (x, y ) = f (x, y ), g (x, y ) en Γ,



dado un campo vectorial F~ (x, y ) = f (x, y ), g (x, y ) en Γ, se define el flujo de F~

a través de Γ en la dirección de N ~ como
− y 0 (t), x(t)
Z Z b
~ ~
F · N dS = F (γ(t)) · kγ 0 (t)k dt
Γ a kγ 0 (t)k


dado un campo vectorial F~ (x, y ) = f (x, y ), g (x, y ) en Γ, se define el flujo de F~

a través de Γ en la dirección de N ~ como
− y 0 (t), x(t)
Z Z b
~ ~
F · N dS = F (γ(t)) · kγ 0 (t)k dt
Γ a kγ 0 (t)k
Z Z b
F~ · N
~ dS = F (γ(t)) · − y 0 (t), x(t) dt,

Como la integral se reduce a
Γ a
entonces con la notación antes explicada podemos escribir
Z Z
~ ~
F · N dS = −f dy + g dx
Γ Γ

Flujo a través de una curva - Un ejemplo
Hallar el flujo de F~ (x, y ) = (x, y ) a través de la circunferencia de radio 3

centrada en el origen, recorrida en sentido opuesto de las manecillas del reloj,
en la dirección del vector normal unitario que apunta hacia afuera.



La circunferencia ası́ descrita puede parametrizarse como γ(t) = 3 cos t, 3 sen t ,
con t ∈ [0, 2π].



con t ∈ [0, 2π].
~ (t) = − 3 sen t, 3 cos t y por tanto

Con esta parametrización
tenemos T
N(t) = cos t, sen t es el vector unitario apuntando al exterior de la región
rodeada de la circunferencia.



con t ∈ [0, 2π].

tenemos T
El flujo requerido es entonces
Z
F~ · N
~ dS =
Γ



con t ∈ [0, 2π].

tenemos T
El flujo requerido es entonces
Z Z 2π
F~ · N
~ dS = 3 cos t, 3 sen t · cos t, sen t kγ 0 (t)k dt = 18π

Γ 0

Curvas e integrales de linea en dimensiones superiores
Hacemos la observación que muchas de las nociones antes dadas pueden

extenderse a curvas en Rn con las adecuaciones correspondientes.


La definición que no tiene mucho sentido en Rn es la del vector normal, pues si
antes sólo habı́a un par de posibilidades, ahora hay una infinidad, y no se tendrı́a
algo bien definido.


La definición que no tiene mucho sentido en Rn es la del vector normal, pues si
antes sólo habı́a un par de posibilidades, ahora hay una infinidad, y no se tendrı́a
algo bien definido.
De particular interés en lo que viene será el caso n = 3, pero siempre que sea
posible haremos un análisis en la generalidad de Rn .

Curvas cerradas simples
En esta generalidad podemos definir una curva cerrada, como aquella en que los
valores de los extremos coinciden, es decir γ(a) = γ(b).

Una curva es simple si su parametrización es inyectiva.

Una curva es simple si su parametrización es inyectiva. Esto quiere decir que su
trayectoria no se corta a sı́ misma.

También podemos asignar una orientación a la curva definiendo una
reparametrización que recorre una curva en sentido opuesto.


Si Γ está parametrizada por γ(t) = x(t), y (t) , con t ∈ [a, b], se propone la
parametrización γ̃(t) = γ(−t + a + b), y la curva obtenida será denotada por −Γ.


Entonces, para una curva cerrada simple se puede determinar alguna de las
orientaciones, dependiendo en cómo se recorre la trayectoria.


Entonces, para una curva cerrada simple se puede determinar alguna de las
orientaciones, dependiendo en cómo se recorre la trayectoria.
Teorema (de la curva de Jordan)

Si Γ es una curva cerrada simple de R2 entonces R2 \ Γ tiene exactamente dos
componentes conexas

Campos conservativos
Un campo vectorial F~ : Ω ⊆ Rn → Rn es conservativo si existe ϕ : Rn → R tal
que F~ (x) = ∇ϕ(x) para toda x ∈ Ω.

A la función ϕ se le llama el potencial de F~ .

Teorema
Supóngase que F~ : Ω ⊆ Rn → R es un campo vectorial continuo sobre el dominio
abierto y conexo Ω.

Teorema
abierto y conexo Ω. Entonces son equivalentes
(a) F~ es un campo conservativo;

Teorema
Z
(b) Para toda curva cerrada Γ ⊂ Ω se tiene F~ · T
~ dS = 0
Γ

Teorema
Z
(b) Para toda curva cerrada Γ ⊂ Ω se tiene F~ · T
~ dS = 0
Γ
(c) Para cualesquiera dos puntos X , Y ∈ Ω y cualesquiera curvas suaves Γ1 y Γ2
contenidas en Ω y tales que sus puntos inicial y final son X y Y
respectivamente, se tiene
Z Z
F~ · T
~ dS = F~ · T
~ dS
Γ1 Γ2

Prueba del teorema
(a) ⇒ (b). Supongamos que Γ ⊂ Ω está parametrizada por medio de γ(t) con
t ∈ [a, b].

Prueba del teorema
t ∈ [a, b]. Supongamos también que F~ = ∇ϕ para cierta ϕ : Ω → R.

Prueba del teorema
Entonces podemos escribir por la regla de la cadena
Z Z b
F~ · T
~ dS = ∇ϕ(γ(t)) · γ 0 (t) dt
Γ a

Prueba del teorema
Z Z b
F~ · T
~ dS = ∇ϕ(γ(t)) · γ 0 (t) dt
Γ a
Z b
d
= ϕ(γ(t)) dt
a dt

Prueba del teorema
Z Z b
F~ · T
~ dS = ∇ϕ(γ(t)) · γ 0 (t) dt
Γ a
Z b
d
= ϕ(γ(t)) dt = ϕ(γ(b)) − ϕ(γ(a))
a dt

Prueba del teorema
Z Z b
F~ · T
~ dS = ∇ϕ(γ(t)) · γ 0 (t) dt
Γ a
Z b
d
= ϕ(γ(t)) dt = ϕ(γ(b)) − ϕ(γ(a)) = 0
a dt

Prueba del teorema
Z Z b
F~ · T
~ dS = ∇ϕ(γ(t)) · γ 0 (t) dt
Γ a
Z b
d
= ϕ(γ(t)) dt = ϕ(γ(b)) − ϕ(γ(a)) = 0
a dt
pues la curva es cerrada.

Prueba del teorema
Z Z b
F~ · T
~ dS = ∇ϕ(γ(t)) · γ 0 (t) dt
Γ a
Z b
d
= ϕ(γ(t)) dt = ϕ(γ(b)) − ϕ(γ(a)) = 0
a dt

(b) ⇒ (c). Ahora tomamos X , Y ∈ D y dos curvas suaves Γ1 y Γ2 contenidas en
Ω y ambas con puntos finales en X y Y respectivamente.

Prueba del teorema
Z Z b
F~ · T
~ dS = ∇ϕ(γ(t)) · γ 0 (t) dt
Γ a
Z b
d
= ϕ(γ(t)) dt = ϕ(γ(b)) − ϕ(γ(a)) = 0
a dt

(b) ⇒ (c). Ahora tomamos X , Y ∈ D y dos curvas suaves Γ1 y Γ2 contenidas en
Ω y ambas con puntos finales en X y Y respectivamente.
Considerando −Γ2 , la curva que recorre su trayectoria
en sentido opuesto,
consideraremos la curva cerrada Γ = Γ1 + − Γ2 .

Prueba del teorema
Notemos que, directo de la reparametrización descrita antes, tenemos
Z Z
F~ · T
~ dS = − F~ · T
~ dS.
−Γ2 Γ2

Prueba del teorema
Z Z
F~ · T
~ dS = − F~ · T
~ dS.
−Γ2 Γ2
Entonces, por (b) tendremos

Z Z Z
~ ~
0 = F · T dS = ~ ~
F · T dS − F~ · T
~ dS
Γ Γ1 Γ2

Prueba del teorema
Z Z
F~ · T
~ dS = − F~ · T
~ dS.
−Γ2 Γ2

Z Z Z
~ ~
0 = F · T dS = ~ ~
F · T dS − F~ · T
~ dS
Γ Γ1 Γ2
(c) ⇒ (a). Ahora la hipótesis de que Ω es abierto y conexo, implica que dos
puntos en Ω pueden unirse con una curva que permanece contenida en Ω.

Prueba del teorema
Z Z
F~ · T
~ dS = − F~ · T
~ dS.
−Γ2 Γ2

Z Z Z
~ ~
0 = F · T dS = ~ ~
F · T dS − F~ · T
~ dS
Γ Γ1 Γ2
Fijemos ahora X0 ∈ Ω.

Prueba del teorema
Z Z
F~ · T
~ dS = − F~ · T
~ dS.
−Γ2 Γ2

Z Z Z
~ ~
0 = F · T dS = ~ ~
F · T dS − F~ · T
~ dS
Γ Γ1 Γ2
Fijemos ahora X0 ∈ Ω. Por ser Ω abierto y arco-conexo, dada otra X ∈ Ω
podemos hallar una curva ΓX que inicia en X0 y termina en X .

Prueba del teorema
Z Z
F~ · T
~ dS = − F~ · T
~ dS.
−Γ2 Γ2

Z Z Z
~ ~
0 = F · T dS = ~ ~
F · T dS − F~ · T
~ dS
Γ Γ1 Γ2
Fijemos ahora X0 ∈ Ω. Por ser Ω abierto y arco-conexo, dada otra X ∈ Ω
podemos hallar una curva ΓX que inicia en X0 y termina en X .
Definimos para X ∈ Ω. Z
g (X ) = F~ · T
~ dS
ΓX

Prueba del teorema
Notemos que el valor de esta integral es el mismo para cualquier curva que une a
X0 con X , incluso si está definida por pedazos.

Prueba del teorema
Ahora construiremos g de manera que F~ = ∇g .

Prueba del teorema
Suponiendo que F~ = (f1 , . . . , fn ) y suponiendo que X = (x1 , . . . , xn ), definamos el
punto X1 = (C , x2 , . . . , xn ), con C < x1 , de manera que X1 ∈ Ω.

Prueba del teorema
Consideramos la curva Γ1 que consta de la curva C que une X0 con X1 , y continúa
en lı́nea recta L para unir X1 con X .

Prueba del teorema
en lı́nea recta L para unir X1 con X . Entonces tendremos
Z
g (X ) = F~ · T
~ dS
Γ1

Prueba del teorema
Z Z Z
g (X ) = F~ · T
~ dS = F~ · T
~ dS + F~ · T
~ dS
Γ1 C L

Prueba del teorema
Z Z Z
g (X ) = F~ · T
~ dS = F~ · T
~ dS + F~ · T
~ dS
Γ1 C L
Z Z x1
Además F~ · T
~ dS = F~ (γ(t)) · (1, 0, . . . , 0) dt
L C

Prueba del teorema
Z Z Z
g (X ) = F~ · T
~ dS = F~ · T
~ dS + F~ · T
~ dS
Γ1 C L
Z Z x1 Z x1
Además F~ · T
~ dS = F~ (γ(t)) · (1, 0, . . . , 0) dt = f1 (t, x2 , . . . , xn ) dt
L C C

Prueba del teorema
Por otro lado

Z Z x1
∂g ∂
= F~ · T
~ dS + f1 (t, x2 , . . . , xn ) dt = f1 (x1 , x2 , . . . , xn )
∂x1 ∂x1 C C

Prueba del teorema
Por otro lado

Z Z x1
∂g ∂
= F~ · T
~ dS + f1 (t, x2 , . . . , xn ) dt = f1 (x1 , x2 , . . . , xn )
∂x1 ∂x1 C C
Un procedimiento similar nos lleva a la conclusión de que F~ = ∇g .

Prueba del teorema
Por otro lado

Z Z x1
∂g ∂
= F~ · T
~ dS + f1 (t, x2 , . . . , xn ) dt = f1 (x1 , x2 , . . . , xn )
∂x1 ∂x1 C C

El teorema anterior contiene lo que llaman el teorema fundamental de integrales
de lı́nea:
Si Γ es una curva suave por pedazos que une X con Y , en un dominio conexo y
abierto, y g es de clase C 1 en ese dominio, entonces
Z
∇g · T~ dS = g (X ) − g (Y )
Γ

Prueba del teorema
Por otro lado

Z Z x1
∂g ∂
= F~ · T
~ dS + f1 (t, x2 , . . . , xn ) dt = f1 (x1 , x2 , . . . , xn )
∂x1 ∂x1 C C

El teorema anterior contiene lo que llaman el teorema fundamental de integrales
de lı́nea:
Si Γ es una curva suave por pedazos que une X con Y , en un dominio conexo y
abierto, y g es de clase C 1 en ese dominio, entonces
Z
∇g · T~ dS = g (X ) − g (Y )
Γ
En este caso se dice que la integral de un campo conservativo es independiente de

las trayectorias

Ejemplos
Z Z Z
1
La integral x dx + y dy + z dz = − sobre cualquier curva suave Γ
Γ Γ Γ 2
que inicie en (1, 0, 1) y termine en (1, 0, 0).

Ejemplos
Z Z Z
1
La integral x dx + y dy + z dz = −
sobre cualquier curva suave Γ
Γ Γ Γ 2
que inicie en (1, 0, 1) y termine en (1, 0, 0). Basta notar que
F~ (x, y , z) = ∇ 12 (x 2 + y 2 + z 2 ) .


Ejemplos
Z Z Z
1
Γ Γ Γ 2
F~ (x, y , z) = ∇ 12 (x 2 + y 2 + z 2 ) .

Sea γ(t) = t 4 /4, sen3 (πt/2) , t ∈ [a, b].

Ejemplos
Z Z Z
1
Γ Γ Γ 2
F~ (x, y , z) = ∇ 12 (x 2 + y 2 + z 2 ) .

Sea γ(t) = t 4 /4, sen3 (πt/2) , t ∈ [a, b]. Entonces
Z
y dx + x dy = g (γ(b)) − g (γ(a)) donde g (x, y ) = xy .
Γ

Ejemplos
Z Z Z
1
Γ Γ Γ 2
F~ (x, y , z) = ∇ 12 (x 2 + y 2 + z 2 ) .

Z
Γ
No todo campo vectorial es conservativo.

Ejemplos
Z Z Z
1
Γ Γ Γ 2
F~ (x, y , z) = ∇ 12 (x 2 + y 2 + z 2 ) .

Z
Γ
No todo campo vectorial es conservativo. Por ejemplo para F~ (x, y ) = (xy , y )
no existe función escalar g tal que F~ = ∇g .

Ejemplos
Z Z Z
1
Γ Γ Γ 2
F~ (x, y , z) = ∇ 12 (x 2 + y 2 + z 2 ) .

Z
Γ
Se tendrı́a que cumplir gx = xy , o sea g (x, y ) = x 2 y /2 + h1 (y );

Ejemplos
Z Z Z
1
Γ Γ Γ 2
F~ (x, y , z) = ∇ 12 (x 2 + y 2 + z 2 ) .

Z
Γ
Se tendrı́a que cumplir gx = xy , o sea g (x, y ) = x 2 y /2 + h1 (y ); gy = y , o sea
g (x, y ) = y 2 /2 + h2 (x).

Ejemplos
Z Z Z
1
Γ Γ Γ 2
F~ (x, y , z) = ∇ 12 (x 2 + y 2 + z 2 ) .

Z
Γ
g (x, y ) = y 2 /2 + h2 (x). Y estas condiciones son incompatibles para definir a
g (x, y ).

Ejemplos
Z Z Z
1
Γ Γ Γ 2
F~ (x, y , z) = ∇ 12 (x 2 + y 2 + z 2 ) .

Z
Γ
g (x, y ) = y 2 /2 + h2 (x). Y estas condiciones son incompatibles para definir a
g (x, y ).
Un modo alternativo para ver que F~ no es un campo conservativo es que se
determinen dos trayectorias con puntos inicial y final fijos, pero que la integral de
F~ sobre esas trayectorias no coincidan.

Teorema de Green
Aunque el teorema anterior ya nos provee de una versión vectorial del Teorema
Fundamental del Cálculo, recordamos una versión que será útil para desarrollos
posteriores.

Teorema de Green
posteriores.
Teorema (Green)
Sea Γ una curva cerrada simple orientada positivamente, y que determina una
región Ω ⊂ R2 .

Teorema de Green
posteriores.
Teorema (Green)
región Ω ⊂ R2 . Sea F~ = (P, Q) : Ω → R2 un campo vectorial de clase C 1 .

Teorema de Green
posteriores.
Teorema (Green)
Entonces ZZ Z
∂Q ∂P
− dxdy = P dx + Q dy
Ω ∂x ∂y Γ

Teorema de Green
posteriores.
Teorema (Green)
Entonces ZZ Z
∂Q ∂P
− dxdy = P dx + Q dy
Ω ∂x ∂y Γ
La primera observación que hacemos es sobre el aspecto es que se puede escribir

este resultado incluyendo la divergencia de algún campo vectorial relacionado con
F~ , y una integral de flujo.

Teorema de la divergencia de Gauss (en R2 )
∂Q ∂P
En efecto con G~ = (Q, −P), tenemos div G~ = − .
∂x ∂y

∂Q ∂P
∂x ∂y
~
Además, si γ(t) = (x(t), y (t)) entonces N(t) = (y 0 (t),Z−x 0 (t)) es un vector
normal exterior, por lo que la integral de la derecha es G~ · N~ dS
Γ

∂Q ∂P
∂x ∂y
~
Γ
Entonces el teorema anterior pudo escribirse como
Teorema (de la divergencia)

región Ω ⊂ R2 .

∂Q ∂P
∂x ∂y
~
Γ

región Ω ⊂ R2 . Sea F~ : Ω → R2 un campo vectorial de clase C 1 .

∂Q ∂P
∂x ∂y
~
Γ

región Ω ⊂ R2 . Sea F~ : Ω → R2 un campo vectorial de clase C 1 . Entonces
ZZ Z
div F~ (x, y )dxdy = F~ · N
~ dS
Ω Γ
~
con N(t) = (y 0 (t), −x 0 (t)).

Ejemplos
Usamos el teorema anterior para evaluar la integral del campo vectorial

F~ (x, y ) = (x, y ) sobre el disco de radio R > 0 centrado el origen, recorrido
positivamente.

Ejemplos

positivamente.
En este caso el vector normal coincide con la parametrización
γ(t) = (R cos t, R sen t), con t ∈ [0, 2π].

Ejemplos

positivamente.
γ(t) = (R cos t, R sen t), con t ∈ [0, 2π]. Por tanto
Z Z 2π
F~ · N
~ dS = R 2 dt = 2πR 2
Γ 0

Ejemplos

positivamente.
γ(t) = (R cos t, R sen t), con t ∈ [0, 2π]. Por tanto
Z Z 2π
F~ · N
~ dS = R 2 dt = 2πR 2
Γ 0
ZZ Z
Nótese que en este caso div F~ dxdy = 2 dxdy es el doble del área del
Ω Ω
cı́rculo de radio R > 0, por lo que el Teorema de la divergencia se verifica.

Ejemplos
También podemos calcular el flujo hacia el exterior de F~ sobre la región

rectangular R = [−3, 5] × [−7, 2].

Ejemplos

rectangular R = [−3, 5] × [−7, 2].
En este caso el flujo es
Z ZZ
F~ · N
~ dS = div F~ (x, y ) dxdy
Γ R

Ejemplos

rectangular R = [−3, 5] × [−7, 2].
Z ZZ
F~ · N
~ dS = div F~ (x, y ) dxdy = 2 Area(R) = 144
Γ R

Ejemplos

rectangular R = [−3, 5] × [−7, 2].
Z ZZ
F~ · N
~ dS = div F~ (x, y ) dxdy = 2 Area(R) = 144
Γ R
La demostración del teorema de la divergencia se dará primero para casos

especiales, y luego se describirá cómo proceder para el caso más general.

Prueba del Teorema de Green - Paso 1

Paso 1. Supongamos que Ω = (x, y ) ∈ R2 : a ≤ x ≤ b, f (x) ≤ y ≤ g (x) , con
f , g de clase C 1 (por pedazos).


Dividimos el contorno Γ de Ω en cuatro trayectorias:
Γ1 parametrizado por γ1 (t) = (t, f (t)), t ∈ [a, b];


Γ2 parametrizado por γ2 (t) = (b, t), t ∈ [f (b), g (b)];


Γ3 parametrizado por γ3 (t) = (t, g (t)), t ∈ [a, b];


Γ4 parametrizado por γ4 (t) = (a, t), t ∈ [f (a), g (a)].


Entonces
Z Z Z
P dx = P dx − P dx
Γ Γ1 Γ3


Entonces
Z Z Z Z b Z b
P dx = P dx − P dx = P(t, f (t)) dt − P(t, g (t)) dt
Γ Γ1 Γ3 a a


Entonces
Z Z Z Z b Z b
Γ Γ1 Γ3 a a
Z "Z b g (t)
#
∂P
= − dy dt
a f (t) ∂y


Entonces
Z Z Z Z b Z b
Γ Γ1 Γ3 a a
Z "Z b g (t)
# Z
∂P ∂P
= − dy dt = − dxdy
a f (t) ∂y Ω ∂y

Prueba del Teorema de Green - Pasos 2 y 3

Paso 2. Se supone ahora que Ω = (x, y ) ∈ R2 : c ≤ y ≤ d, ϕ(y ) ≤ x ≤ ψ(y ) ,
con ϕ, ψ de clase C 1 (por pedazos).


Como la argumentación anterior es similar, por lo que la omitiremos.


Paso 3. Suponiendo que Ω es simultáneamente de los tipo considerados en los
dos casos anteriores, la demostración será igual.


Más importante es el hecho de que aquı́ se incluyen las circunferencias y otras
figuras convexas, como rectángulos y triángulos.


Más importante es el hecho de que aquı́ se incluyen las circunferencias y otras
figuras convexas, como rectángulos y triángulos.
El siguiente paso será suponer que Ω es unión finita de regiones Ωj con contornos
Γj como en el Paso 3, pero con ciertas caracterı́sticas particulares.

N
[
Paso 4. Suponemos que Ω = Ωj , con las siguientes caracterı́sticas:
j=1
Los contornos Γj de Ωj están positivamente orientados;

N
[
j=1
Si Γi traslapa a otro Γj , no traslapará a ningún otro;

N
[
j=1
Además el segmento en común que tengan Γi y Γj se recorren en direcciones
opuestas;

N
[
j=1
opuestas;
Si algún Γj traslapa con Γ (el contorno de Ω) entonces en ese segmento se
siguen las mismas direcciones.

N
[
j=1
opuestas;
Si algún Γj traslapa con Γ (el contorno de Ω) entonces en ese segmento se
siguen las mismas direcciones.
Una figura que puede ser útil para visualizar esta situación es la de una
triangulación.

Usando propiedades de la integral

ZZ N ZZ
∂Q ∂P X ∂Q ∂P
− dxdy = − dxdy
Ω ∂x ∂y Ωj ∂x ∂y
j=1


ZZ N ZZ
∂Q ∂P X ∂Q ∂P
− dxdy = − dxdy
j=1
N Z
X
= P dx + Q dy
j=1 Γj


ZZ N ZZ
∂Q ∂P X ∂Q ∂P
− dxdy = − dxdy
j=1
N Z
X Z
= P dx + Q dy = P dx + Q dy .
j=1 Γj Γ


ZZ N ZZ
∂Q ∂P X ∂Q ∂P
− dxdy = − dxdy
j=1
N Z
X Z
j=1 Γj Γ
Paso 4. Finalmente aproximamos el contorno Γ de Ω por medio de curvas

poligonales, de manera que la correspondiente región poligonal esté contenida en
Ω y su área converja a el área de Ω.


ZZ N ZZ
∂Q ∂P X ∂Q ∂P
− dxdy = − dxdy
j=1
N Z
X Z
j=1 Γj Γ
Paso 4. Finalmente aproximamos el contorno Γ de Ω por medio de curvas

poligonales, de manera que la correspondiente región poligonal esté contenida en
Ω y su área converja a el área de Ω.
Esta parte, por ser más técnica, será omitida, pero se prepararán unas notas con
algo más de detalle.


Aplicaciones del Teorema de la divergencia
Operador de Laplace y funciones armónicas
Una ecuación diferencial parcial (EDP) es una ecuación que incluye derivadas
parciales entre sus términos.

parciales entre sus términos. La derivada de más alto orden determina el orden de
la EDP.

la EDP.
Ahora presentamos un par de importantes EDP lineales de orden 2.

la EDP.
Dado Ω ⊂ Rn y u : Rn → R se define el laplaciano de u como
∂u ∂u ∂u
∆u(x) = (x) + (x) + · · · + (x)
∂x1 ∂x2 ∂xn

la EDP.
∂u ∂u ∂u
∆u(x) =
(x) + (x) + · · · + (x)
∂x1 ∂x2 ∂xn

Una identidad fundamental es que div ∇u = ∆u.

la EDP.
∂u ∂u ∂u
∆u(x) =
(x) + (x) + · · · + (x)
∂x1 ∂x2 ∂xn

Una identidad fundamental es que div ∇u = ∆u.
Se dice que u es armónica en Ω si ∆u(x) = 0 para todo x ∈ Ω.

Integración por partes
Recordemos la fórmula de producto para u : Rn → R y F~ : Rn → Rn de clase C 1

que establece que div(u F~ ) = u div F~ + ∇u · F~ .


Si Ω ⊆ R2 tiene frontera de clase C 2 por pedazos entonces
ZZ Z
div u F (x, y )dxdy = u F~ · N
~ ~ dS

Ω Γ


ZZ Z
~ ~ dS

Ω Γ
entonces
ZZ ZZ Z
u(x, y ) div F~ (x, y )dxdy + ∇u(x, y ) · F~ (x, y ) dxdy = u F~ · N
~ dS
Ω Ω Γ


ZZ Z
~ ~ dS

Ω Γ
entonces
ZZ ZZ Z
u(x, y ) div F~ (x, y )dxdy + ∇u(x, y ) · F~ (x, y ) dxdy = u F~ · N
~ dS
Ω Ω Γ
En conclusión
ZZ Z ZZ
u div F~ dxdy = u F~ · N
~ dS − ∇u · F~ dxdy
Ω Γ Ω

Identidades de Green
Si en la fórmula anterior F~ es conservativo, entonces F~ = ∇v , y por tanto

ZZ Z ZZ
u∆v dxdy = u∇v · N ~ dS − ∇u · ∇v dxdy
Ω Γ Ω


ZZ Z ZZ
Ω Γ Ω
En particular si u ≡ 1 tendremos
ZZ Z
~ dS
∆v dxdy = ∇v · N
Ω Γ


ZZ Z ZZ
Ω Γ Ω
En particular si u ≡ 1 tendremos
ZZ Z
~ dS
∆v dxdy = ∇v · N
Ω Γ
Y combinando lo anterior obtenemos

ZZ Z Z
~ dS − v ∇u · N
u∆v − v ∆u dxdy = u∇v · N ~ dS
Ω Γ Γ

Calculo Vectorial

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Calculo Vectorial

Cargado por

Copyright:

Formatos disponibles

Repaso del Cálculo Vectorial

Temas Selectos de Análisis 1

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 1 / 40

Iniciamos recordando la definición de una curva plana.

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 2 / 40

Iniciamos recordando la definición de una curva plana.

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 2 / 40

Iniciamos recordando la definición de una curva plana.

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 2 / 40

Iniciamos recordando la definición de una curva plana.

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 2 / 40

Iniciamos recordando la definición de una curva plana.

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 2 / 40

Iniciamos recordando la definición de una curva plana.

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 2 / 40

Consideremos γ1 (t) = (cos t, sen t) y γ2 (t) = (cos(2t), sen(2t)), en ambos casos

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 3 / 40

Consideremos γ1 (t) = (cos t, sen t) y γ2 (t) = (cos(2t), sen(2t)), en ambos casos

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 3 / 40

Consideremos γ1 (t) = (cos t, sen t) y γ2 (t) = (cos(2t), sen(2t)), en ambos casos

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 3 / 40

Consideremos γ1 (t) = (cos t, sen t) y γ2 (t) = (cos(2t), sen(2t)), en ambos casos

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 3 / 40

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 4 / 40

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 4 / 40

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 4 / 40

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 4 / 40

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 4 / 40

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 4 / 40

Además podemos observar que usando las fórmulas

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 5 / 40

Además podemos observar que usando las fórmulas

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 5 / 40

Además podemos observar que usando las fórmulas

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 5 / 40

Además podemos observar que usando las fórmulas

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 5 / 40

Además podemos observar que usando las fórmulas

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 5 / 40

Además podemos observar que usando las fórmulas

En general, la longitud es invariante respecto a cambios de parametrización:

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 5 / 40

Además podemos observar que usando las fórmulas

En general, la longitud es invariante respecto a cambios de parametrización:

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 5 / 40

Además podemos observar que usando las fórmulas

En general, la longitud es invariante respecto a cambios de parametrización:

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 5 / 40

Además podemos observar que usando las fórmulas

En general, la longitud es invariante respecto a cambios de parametrización:

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 5 / 40

Además podemos observar que usando las fórmulas

En general, la longitud es invariante respecto a cambios de parametrización:

Otra interpretación de la integral que define la longitud de una curva, es

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 5 / 40

Además podemos observar que usando las fórmulas

En general, la longitud es invariante respecto a cambios de parametrización:

Otra interpretación de la integral que define la longitud de una curva, es

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 5 / 40

Queremos ahora determinar una parametrización que tenga la peculiaridad de que

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 6 / 40

Queremos ahora determinar una parametrización que tenga la peculiaridad de que

MAT24150-001 (ITAM) Repaso del Cálculo Vectorial Primavera de 2021 6 / 40

con f : [a, b] → R acotada,

con f : [a, b] → R acotada,

con f : [a, b] → R acotada,

para f : Γ → R, continua en todo Γ, y una partición de [a, b], dada por

para f : Γ → R, continua en todo Γ, y una partición de [a, b], dada por

para f : Γ → R, continua en todo Γ, y una partición de [a, b], dada por

para f : Γ → R, continua en todo Γ, y una partición de [a, b], dada por