1.
1.1.
Integrales de l nea
Caminos e integrales de l nea
Sea un camino regular a trozos en el n-espacio denido en un intervalo [a, b], y sea f un campo vectorial denido y acotado sobre la gr aca de . La integral de l nea de f a lo largo de se representa con el s mbolo:
b
(1)
f d =
a
f [(t)] (t)dt
siempre que la integral del segundo miembro exista, bien como integral propia o integral impropia.
1.2.
Otras notaciones
Si C representa la gr aca de , la integral de l nea
C
f d y se llama integral de f a lo largo de C . Cuando f y se expresan en funci on de sus componentes, a saber f = (f1 , . . . , fn ) y = (1 , . . . , n ) la integral del segundo miembro
n b
fk [(t)] k (t)dt
En tres dimensiones, por ejemplo, se dene el camino con tres ecuaciones param etricas: x = 1 (t), y = 2 (t), z = 3 (t) y se pone la integral
C
f d en la forma
C
f1 dx + f2 dy + f3 dz ,
o bien:
C
1.3.
1. Linealidad:
f d + b f d +
C2
g d f d
2. Propiedad aditiva:
3. Comportamiento de una integral de l nea frente a un cambio de par ametro. Si y son dos caminos equivalentes regulares a trozos, entonces se tiene:
C
f d =
C
f d si y originan C en la
f d =
C
1.4.
|| (u)||du. La derivada
de la longitud de arco tiene por valor s (t) = || (t)||. Sea un campo escalar denido y acotado en C , la gr aca de . La integral de l nea de con respecto a la longitud de arco a lo largo de C se representa con el s mbolo
C b
ds y se dene por
(2)
C
ds =
a
[(t)]s(t)dt
1.5.
(3)
M=
C
(x, y, z )ds
an determinadas El centro de masa se dene como el punto (x, y, z ) cuyas coordenadas est por las ecuaciones:
xM =
C
yM = zM =
C
z(x, y, z )ds
Si (x, y, z ) representa la distancia desde un punto (x, y, z ) de C a un eje L, el momento de inercia IL est a denido por la integral de l nea: 2 (x, y, z )(x, y, z )ds
C
(7)
IL =
1.6.
(8)
a
d = (b) (a)
Para un camino cerrado tenemos b = a, as que (b) (a) = 0. Dicho de otro modo, la integral de l nea de un gradiente continuo es cero a lo largo de todo camino cerrado regular a trozos situado en S .
1.7.
d en donde es
un camino regular a trozos de S que une a con x. Existe entonces el gradiente de y es igual a f ; es decir (9) (x) = f (x), x S
1.8.
1.9.
1.10.
Sea S un intervalo cerrado en Rn con interior no vac o y sea J = [a, b] un intervalo cerrado en R1 . Sea Jn+1 el intervalo cerrado S J de Rn+1 . Cada punto de Jn+1 lo representamos por (x, t) en donde x S y t J , (x, t) = (x1 , . . . , xn , t). Supongamos que es un campo escalar denido en Jn+1 tal que la derivada parcial Dk sea continua en Jn+1 , siendo k uno de los
b
(x, t)dt.
Existe entonces la derivada parcial Dk en cada punto interior de S y se obtiene con la f ormula Dk (x) =
a b b
(11) Dk
a
(x, t)dt =
a
Dk (x, t)dt
Sea f = (f1 , . . . , fn ) un campo vectorial diferenciable con continuidad en un conjunto convexo abierto S de Rn . El campo f es un gradiente en S si y solo si (12) Dk fj (x) = Dj fk (x) para cada x de S y todos los ndices k, j = 1, 2, . . . , n
2.
2.1.
Teorema de Green
Teorema de Green en el plano
Sean P y Q campos escalares derivables con continuidad en un conjunto abierto S del plano xy : Sea C una curva de Jordan regular a trozos, y representemos por R la reuni on de C y de su interior. Supongamos que R est a contenida en S . Se tiene entonces la identidad Q P )dxdy = x y
(13)
R
P dx + Qdy
en la que la integral de l nea se toma alrededor de C en sentido contrario al de las agujas del reloj. La identidad (13) es equivalente a las dos f ormulas Q dxdy = R x P dxdy = R y
(14) (15)
Qdy P dx
2.2.
Condici on necesaria y suciente para que un campo vectorial bi-dimensional sea un gradiente
Sea S un conjunto plano abierto y conexo. Se dice que S es simplemente conexo si, para toda curva de Jordan C situada en S , la regi on interior a S es tambi en un subconjunto de S . Dicho de forma intuitiva, un conjunto S es simplemente conexo cuando no tiene agujeros. Si f (x, y ) = P (x, y ) i + Q(x, y ) j es un campo vectorial derivable con continuidad en un conjunto abierto simplemente conexo C del plano, entonces f es un gradiente en S si y solo si tenemos en todos los puntos de S P Q = y x
(16)
2.3.
(17)
R
(P dx + Qdy )
C1 k=2 Ck
(P dx + Qdy )
Invariancia de una integral de l nea al deformar el camino. Sean P y Q derivables con P Q continuidad en un conjunto abierto conexo S del plano, y supongamos que = en todo y x S . Sean C1 y C2 , dos curvas de Jordan regulares a trozos situadas en S y que satisfagan las siguientes condiciones: 1. C2 est a en el interior de C1 2. Los puntos interiores a C1 que son exteriores a C2 pertenecen a S . Tenemos entonces:
(18)
C1
(P dx + Qdy ) =
C2
(P dx + Qdy )
3.
3.1.
Integrales de supercie
Producto vectorial fundamental
Consideremos una supercie representada por la ecuaci on vectorial r(u, v ) = X (u, v ) i+ donde (u, v ) T . Si X, Y y Z son derivables en T podemos considerar Y (u, v ) j + Z (u, v )k X Y Z r X Y Z r = i+ j+ ky = i+ j+ k los dos vectores u u u u v v v v r r El producto vectorial se denominar a producto vectorial fundamental de la repreu v sentaci on r. Sus componentes pueden expresarse como determinantes Jacobianos. En efecto, tenemos: i r r = u v X u X v j Y u Y v k Z u Z v = Y u Y v Z u Z v = i+ Z u Z v X u X v j+ X u X v Y u Y v k
(19)
Para una supercie con una representaci on expl cita de la forma z = f (x, y ), podemos usar . Esta x e y como par ametros, lo que nos da la ecuaci on vectorial r(x, y ) = x i + yj + f (x, y )k representaci on nos da siempre una supercie param etrica simple. La regi on T se denomina proyecci on de la supercie sobre el plano xy . Para calcular el producto vectorial fundamental r f r f observamos que =i+ ky =j+ k si f es diferenciable. x x y y Esto nos da i j (20) r r = x y 1 0 0 1 k f x f y = f f i j+k x y
3.2.
(21) a(S ) =
T
||
r r est a expresado en funci on de sus componentes, por medio de la ecuaci on u v (19), tenemos Cuando
(22) a(S ) =
T
Si S viene dada expl citamente por una ecuaci on de la forma z = f (x, y ) podemos usar x e y como par ametros. El producto vectorial fundamental es el de la ecuaci on (20), de este modo tenemos: || r f f r || = || i j + k || = x y x y f f 2 ) + ( )2 dxdy x y 1+( f f 2 ) + ( )2 x y
(23) a(S ) =
T
1+(
Supongamos ahora que S viene dada impl citamente por la ecuaci on F (x, y, z ) = 0. Si S puede proyectarse en forma uno a uno sobre el plano xy , la ecuaci on F (x, y, z ) = 0 dene f f z como funci on de x e y , sea esta z = f (x, y ), y n as derivadas parciales y est an x y F F f f y x y relacionadas con las de F mediante las ecuaciones = F = F en los puntos x y z z F en los que = 0. Sustituyendo esos cocientes en (23), encontramos: z
F 2 F 2 2 ( F x ) + ( y ) + ( z ) T
(24) a(S ) =
| F z |
3.3.
Integrales de supercie
Sea S = r(T ) una supercie param etrica descrita por una funci on diferenciable r denida en una regi on T del plano uv , y sea f un campo escalar denido y acotado en S . La integral de supercie de f sobre S se representa con el s mbolo
r(T )
f dS (o por
S
f (x, y, z )dS ) y
(25)
r (T )
f dS =
T
f [r(u, v )]||
siempre que exista la integral doble del segundo miembro. 3.3.1. Area de una supercie Cuando f = 1, la ecuaci on (25) se transforma en
r(T )
dS =
T
||
r r ||dudv u v
3.3.2.
Si el campo escalar f se interpreta como la densidad de una l amina delgada adaptada a la supercie S , la masa total m de la supercie se dene por la f ormula
(26) m =
S
f (x, y, z )dS
(27) x =
S
(28) y = (29) z =
S
zf (x, y, z )dS
El momento de inercia IL de S alrededor de un eje L viene dado por 2 (x, y, z )f (x, y, z )dS
S
(30)
3.3.3.
Sea S = r(T ) una supercie param etrica simple. En cada punto regular de S designamos con n el vector unitario normal que tenga el mismo sentido que el producto vectorial. Esto es, r r (31) n = u v r r || || u v El producto escalar F n representa el componente del vector densidad de ujo en la direcci on de n . La masa de uido que pasa a trav es de S en la unidad de tiempo en la direcci on de n se dene con la integral de supercie r r ||dudv u v
(32)
r (T )
F n dS =
T
F n ||
3.4.
(33)
r r y est an calculadas en el plano (U (s, t), V (s, t)). Dicho u v de otro modo, el producto vectorial fundamental de R es igual al de r, multiplicado por el determinante jacobiano de la aplicaci on G donde las derivas parciales Si r y R son dos funciones regularmente equivalentes, como las descritas en el teorema anterior y si la integral de supercie
r(A)
f ds y
tenemos
r(A)
f ds =
R(B)
f ds
3.5.
Teorema de Stokes
Supongamos que S es una supercie param etrica simple regular, S = r(T ), siendo T una regi on del plano uv limitada por una curva de Jordan regular a trozos . Supongamos tambi en que r es una aplicaci on uno a uno cuyos componentes tienen derivadas parciales segundas continuas en un cierto conjunto abierto que contenga T . Designemos con C la imagen de por r, y sean P, Q y R campos escalares derivables con continuidad en S . Tenemos entonces R Q P R Q P )dydz + ( )dzdx + ( )dxdy = y z z x x y
(34)
S
P dx + Qdy + Rdz
C
La curva se recorre en sentido positivo (contrario al de las agujas del reloj) y la curva C en el sentido que resulte de aplicar a la funci on r
3.6.
es uyn campo vectorial derivable con continuidad en un conjunto Si F = P i + Q j + Rk convexo abierto S del espacio de 3 dimensiones, entonces F es un gradiente en S si y s olo si tenemos rotF = 0 en S Tambi en se dice que el campo es conservativo o irrotacional. La divergencia de un campo vectorial en un punto es un campo escalar, y se dene como el ujo del campo vectorial por unidad de volumen conforme el volumen alrededor del punto 1 tiende a cero: divF = F = l mV 0 V S F dS Cuando la denici on de divergencia se aplica al caso de un campo expresado en coordenadas encontramos que cartesianas F = P i + Q j + Rk P Q R + + x y z
(36) F =
10
3.7.
3.7.1.
Si suponemos que todas las derivadas parciales mixtas son continuas, encontramos que div(rotF ) = 0 y (39) rot(rotF ) = grad(divF ) 2 F estando 2 F denida mediante la ecuaci on: 2 F = (2 P ) i + (2 Q) j + (2 R)k
3.8.
(divF )dxdydz =
V
F dV =
F n dS
Si expresamos F y n en funci on de sus componentes F (x, y, z ) = P (x, y, z ) i + Q(x, y, z ) j+ R(x, y, z )k y n = cos i + cos j + cos k La ecuaci on (40) puede entonces ponerse en la forma: (41)
V
P Q R + + )dxdydz = x y z
11
4.
4.1.
Formulario
Gradiente
Coordenadas cartesianas f = f f f i+ j+ k x y z
4.1.1.
4.1.2.
4.2.
4.2.1.
Teoremas
Green-Flujo-Divergencia-Forma normal F n ds =
C C
(M dy N dx) =
R
( F )dxdy
4.2.2.
(M dx + N dy ) =
R
( F )kdxdy
4.2.3.
Teorema de Stokes F dr =
C S
F n dS
4.2.4.
Teorema de Gauss F n dS =
S D
( F )dxdydz
4.3.
12
4.4.
Integrales de supercie
Si S est a representada en etrica por una funci on vectorial r(u, v ), entonces forma param dA = ||ru rv ||dudv = EG F 2 dudv con: E = ru ru F = ru rv G = rv rv
4.5.
4.5.1.
Parametrizaci on de supercies
Toro
con 0 u 2, 0 v 2, a > b > 0 r(u, v ) = (a + b cos u) cos v i + (a + b cos u) sin v j + b sin uk 4.5.2. Cilindro con 0 u 2, v R r(u, v ) = a cos u i + a sin u j + vk 4.5.3. Elipsoide con 0 u 2, 0 v , a, b, c > 0 r(u, v ) = a sin v cos u i + b sin v sin u j + c cos uk 4.5.4. Hiperboloide de una hoja con 0 u 2, v R, a, b, c > 0 r(u, v ) = a cosh v cos u i + b cosh v sin u j + c sinh uk 4.5.5. Paraboloide el ptico con 0 u 2, v 0, a, b > 0 r(u, v ) = av cos u i + bv sin u j + v2k 4.5.6. Esfera con 0 u 2, r(u, v ) = cos v cos u i + a cos v sin u j + a sin v k 4.5.7. Helicoide con 0 v 2 r(u, v ) = u cos v i + u sin v j + cv k 4.5.8. Cono con 0 v 2 r(u, v ) = au cos v i + au sin v j + uk v 2 2
13
4.6.
Identidades vectoriales
1. div(aF + bG) = adivF + bdivG 2. rot(aF + bG) = arotF + brotG 3. div(rotF ) = 0 (el rotor de un campo vectorial es solenoidal) 4. rotf = 0 (el gradiente de un campo escalar es irrotacional) 5. (F ) = F + F 6. (F ) = F + F 7. (F G) = G ( F ) F ( G) 8. div(f g ) = 0 9. (f g ) = f g + g f + 2f g (con f := div(f ) (Laplaciano)) 10. (f g g f ) = f g g f 11. F = (divF ) rot(rotF ) 12. (F G) = (G )F (F )G + F G G F 13. (F F ) = 2(F )F + 2F (rotF ) 14. (F G) = (F )G + (G )F + F rotG + GrotF En las tres u ltimas propiedades se usa la notaci on (F )G = F (G1 ) i + F (G2 ) j + F (G3 )k donde G = G1 i + G2 j + G3 k
14