Professional Documents
Culture Documents
Vamos a obtener la derivada del producto punto de dos funciones vectoriales con variable en t.
Sean a( t ) y b( t ) dos funciones vectoriales de modo que a( t )
= a1( t ) i + a2( t ) j + a3( t ) k y b(t ) = b1( t ) i + b2( t ) j + b3( t ) k. Entonces el producto
escalar a( t ) . b( t ) es una funcin unidimensional con variable en t, y supongamos que estamos
interesados en la derivada, esto es
y puesto que
entonces
(1)
Se determina entonces que (1) es la caracterizacin de la derivada de un producto escalar de dos
funciones vectoriales.
Esta derivada tiene variadas aplicaciones. En efecto, no resulta complicado demostrar que
(2)
En efecto, como
(3)
pero como
entonces
reemplazando esta ltima expresin en la correspondiente que aparece en (3), obtenemos que
Y esta ltima ecuacin nos dice que la razn de cambio de la energa cintica es igual a la razn
del trabajo de la fuerza externa.
(1)
La demostracin de (1) es bastante sencilla. En efecto, sea
(2)
pero como
entonces
pero como
(3)
El vector r( t ) x m v( t ) es el momento angular de la partcula, y en consecuencia la ecuacin (3)
nos est diciendo que la variacin respecto del tiempo del momento angular de una partcula de
masa constante es igual al torque producido por la fuerza externa sobre la partcula.
(1)
donde es una funcin con dominio en R3 y valores en R, es decir un particular campo escalar. La
notacin d significa diferencial de , y pasaremos a explicar su real sentido.
Sea P0 = (a, b, c) un punto en el dominio de la funcin , y sea P = (a + h, b + k, c + l) otro punto
"cercano" a P0.(aunque es absolutamente irrelevante esta exigencia). Queremos estudiar la
diferencia
(a + h, b + k, c + l) - (a , b, c)
(2)
(3)
(4)
La exigencia en (4) nos dice que la funcin (h, k, l) es tan "despreciable" que cuando (h, k, l) se
aproxima al (0, 0, 0) entonces (h, k, l) se aproxima al cero (y se aproxima muy rpido al cero,
que incluso dividindolo por la norma de (h, k, l), que hemos denotado por , igual se aproxima al
cero).
La expresin en (3) nos dice entonces que cuando (h, k, l) est muy cerca del (0, 0, 0), o, que es lo
mismo, cuando P est muy cerca de P0, entonces
(5)
Una observacin muy importante: La aproximacin desde P hasta P0 es cualquier aproximacin.
Observe la Figura 1, en ella se muestran varias formas de aproximarse a P0 desde P.
Esto significa que si es diferenciable en P0,
entonces no importando la trayectoria con
que P se aproxime a P0, los valores
de A, B y C son independientes de estas
trayectorias. Esto nos ayudar para encontrar los
valores de A, B y C. En efecto, SeaP =
(a + h, b, c) Es decir, nos aproximaremos a P0 =
(a, b, c) en la direccin dada por el versor i,
observe la Figura 2, de tal forma que la expresin
(5) queda,
(6)
(7)
Y mediante (a , b, c + l) hacia (a, b, c),
obtenemos
Figura 2
(8)
(6), (7) y (8) reemplazando en (5) obtenemos
En general, si es diferenciable en cualquier punto de una cierta regin, entonces para cualquier
punto (x, y, z) de esa regin
de tal forma que para x, y, z infinitesimal, obtenemos la diferencial dada inicialmente en (1)
En rigor, esta ltima expresin est escrita como un operador, es decir este operador tiene una
expresin toda vez que se aplique a un punto. Veamos un ejemplo.
Ejemplo. Sea (x, y, z) = x y2 z2, y queremos calcular la diferencial en el punto (1, 1, 1).
Calculamos las derivadas parciales del campo escalar y evaluamos en el punto (1, 1, 1). Esto es
(10)
Calculemos la magnitud del vector dr, y
denotmosla por
Observemos que, la expresin anterior se puede expresar como el siguiente producto punto
(1)
En forma ms compacta si denotamos por
(2)
y le llamamos gradiente de evaluado en el punto (x, y, z), o simplemente gradiente de si est
bajo contexto el punto de evaluacin. Y si dr = dx i + dy j + dz k, entonces la expresin (1) queda
en forma ms compacta como
(3)
Vamos a introducir el concepto de derivada direccional. De la expresin (3), dividamos por la
norma del vector dr, norma que llamaremos ds, entonces
(4)
Y esta expresin nos indica la derivada de en el punto (x, y, z) en la direccin del vector
unitario u. Si es el ngulo comprendido entre el vector gradiente y el vector unitario, entonces de
(4) obtenemos
(5)
Y la expresin (5) nos indica que el valor mximo que puede tomar la derivada direccional en el
punto (x, y, z) es en la direccin indicada por el gradiente, es decir cuando = 0, y en este caso
(6)
Ejemplo. Encontrar la derivada direccional de la funcin (x, y, z) = (x - 1)2 +2(y + 1)2 + 3(z 2)2 - 6 en el punto (2, 0, 1) en la direccin del vector i -2j - 2k.
Calculando el gradiente de ,
de modo que
Por otro lado, si hubisemos considerado la direccin indicada por el gradiente, entonces
Una observacin para esta seccin. Supongamos que tenemos el campo escalar (x, y, z), y
consideramos la superficie (x, y, z) = c. Entonces sobre el dominio definido por los puntos que
pertenecen a esta superficie la funcin diferencial es cero, es decir d (x, y, z) = 0. Esto es
(7)
Y esta ecuacin nos indica que el gradiente es ortogonal al vector infinitesimal dr y donde este
vector pertenece al plano que es tangente a la superficie (x, y, z) = c. en el punto (x, y, z).
Y otra ltima observacin. Para denotar la derivada direccional de un campo escalar en la
direccin de un vector unitario u, utilizaremos algunas veces la expresin (del miembro izquierdo)
(0)
Por otro lado, si tenemos un cambio de variable "bueno" de la forma x = x(r, ), y = y(r, ),
entonces esencialmente se tiene que f(x, y) = f(x(r, ), y(r, )) = f(r, ), y en consecuencia la
interrogante es cmo ser el gradiente del campo escalar en estas nuevas variables?
La diferencial para f(x, y) est dada por
(1)
y la diferencial para f(r, ) estar dada por
(2)
Es claro que en cualquier caso df(x, y) = df(r, ). Ahora, en virtud de que x = x(r, ), y = y(r, )
podemos calcular las diferenciales dx y dy, esto es
(3)
Reemplazando estas ltimas ecuaciones en (1), obtenemos
(4)
(5)
Con esto hemos calculado el diferencial de f en las nuevas variables r y . Vamos ahora al clculo
del gradiente en estas nuevas variables.
De la expresin (5) podemos calcular las derivadas parciales de f en las variables x e y . En efecto,
matricialmente las ecuaciones en (5) se pueden expresar como
Este sistema tiene una nica solucin si el determinante de la matriz de 2 x 2 es distinta de cero (y
esta es nuestra exigencia al decir que tenemos un cambio de variable "bueno"). Despejando
obtenemos
(6)
Para fijar ideas, y no hacer demasiada abstraccin, trabajemos con el siguiente cambio de variables
(coordenadas polares)
y cuya solucin es
(7)
Entonces reemplazando estos valores en la frmula del gradiente de f dada en (0), obtenemos
Trabajando algebraicamente,
(8)
Hagamos
Estos nuevos vectores (que son ortogonales) tienen una sencilla interpretacin como se puede
observar en la siguiente figura,
Sea un campo escalar, entonces el gradiente de este campo escalar define un campo vectorial F,
en efecto
(1)
La pregunta que surge es la inversa. dado un campo vectorial F, existe un campo escalar tal que
(1) se cumple? La respuesta es "no siempre", o para ser ms preciso "es la excepcin ms que la
regla de que la respuesta sea positiva".
Como quiera que sea, supongamos por un momento de que dado un campo vectorial F existe un
campo escalar tal que se cumple que
(2)
Consideremos la superficie definida por todos los puntos (x, y, z) tales que (x, y, z) = constante.
Sobre esta superficie se tiene que
Por otro lado, sea dr = dx i + dy j + dz k un vector infinitesimal que pertenece a dicha superficie,
entonces
(4)
que acta conforme se detalla en la Figura 1. El vector r est orientado desde el origen, donde se
encuentra el cuerpo de masa M, hacia la posicin donde se encuentra el cuerpo de masa m,
donde r = x i + y j + z k., de modo que (4) es equivalente a
(5)
Sea el siguiente campo escalar
(6)
No resulta para nada complicado verificar que el gradiente es este campo escalar es
precisamente F, esto es se cumple que
El operador
Hemos visto como el gradiente de un campo escalar define un campo vectorial, esto es
La expresin nos indica la idea de una cierta multiplicacin ordinaria entre el "elemento " y la
funcin , de modo que vamos a definir el operador como
y vemos que la resultante es un campo escalar. Definimos a este especial producto punto entre el
operador y el campo escalar F(x, y, z) como la divergencia, y se denota como
Es claro que esta definicin operacional tendr una relevante importancia fsica que veremos ms
adelante (algo anunciamos, la divergencia de un campo vectorial ser un lmite del flujo del campo
por unidad de volumen). Sin embargo en esta seccin estaremos ms interesados en la operatoria
matemtica ms que en su interpretacin fsica.
Ejemplo. Para los siguientes campos vectoriales calculas la divergencia,
Nos vamos a detener un momento en el ejercicio ( i ) anterior para precisar algunos conceptos
notacionales. Considerando el campo vectorial r = x i + y j + z k, tenemos que existe un campo
escalar trivial asociado a este, a saber
de modo que el operador puede actuar sobre estos dos campos, a saber
donde
mientras que
Existe otra operatoria notable que podemos definir entre el (seudo) vector y un campo
vectorial F, a saber
y que llamaremos rotor del campo F. Como antes, este campo vectorial tiene una interpretacin
fsica que luego veremos, por ahora estaremos interesados en su operatoria matemtica.
Ejemplo. Calcular el rotor del campo F(x, y, z) = x i + y j + z k. Se tiene que rot F = 0
Hemos dicho que el operador se puede tratar como un (seudo) vector, entonces bajo esta ptica
tiene sentido la expresin 2, esto es
De manera que las superficies de nivel determinadas por (x, y, z) = c sern ortogonales al
gradiente (la Figura 1 esquematiza la situacin en dos dimensiones)
Ahora bien, formemos el campo
escalar F = es decir es el potencial del
campo F. Entenderemos como lneas de flujo
(para cualquier campo sea o no conservativo)
como la familia de curvas que puede ser
construida de tal forma que sus tangentes en
cualquier punto sean paralelos al campo
vectorial que existe en ducho punto.
Observemos la figura 2.
Supongamos entonces que F es el campo
vectorial, que ser una familia de vectores
definidos sobre cada punto de las trayectorias de
flujo, entonces si dr es el vector desplazamiento
que describe esta trayectoria (para mayor
detalle vea estas transparencias) deber
cumplirse que
F x dr = 0
Puesto
que F = F1 i + F2 j + F3 k y dr = dx i + dy j + dz
k,
Figura 1
entonces
(1)
Con esto podemos decir para un campo
vectorial conservativo F, la lneas de flujo sern
Figura 2
perpendiculares a las curvas de nivel del
potencial del campo. Veamos un ejemplo.
Ejemplo. Estudiaremos las lneas de flujo y las curvas de nivel del potencial asociado al campo
vectorial en dos dimensiones F = x i - y j.
Podemos obtener las lneas de flujo mediante la ecuacin (1), esto es
esto nos conduce a que xdy + ydx = d(xy) = 0, lo que al integrar nos da que xy = c, c constante. Y
esta ecuacin representa a una familia de hiprbolas.
Por otro lado, vamos a encontrar el potencial de F. En efecto, deber ocurrir que F = . De
modo que
siendo la constante de integracin una funcin de y. Ahora derivamos esta funcin respecto de y e
igualamos a F2, y obtenemos
Y ahora integramos,
Y se concluye que
Surtidores y sumideros
El campo gravitacional de Newton tanto como el campo elctrico producido por una carga elctrica
son modelos muy particulares generados por un campo vectorial emanado de una surtidorque tiene
las siguientes caractersticas: Suponga que por un determinado punto, el surtidor, fluye un fluido
infinito que tiene una densidad constante, como se muestra en la siguiente Figura 1, donde se
entregan las lneas de flujo.
de modo que
(1)
Aqu m representa la "carga" del surtidor, y sus unidades en este caso son de volumen por unidad de
tiempo, y adems r = x i + y j + z k. las lneas de flujo son rayos que salen del "surtidor", y la
magnitud de la velocidad con que salen est determinada por la ley del cuadrado inverso. Ahora,
perfectamente m puede ser negativo, lo que significa que las lneas de flujo son rayos que entran, y
en este caso la fuente pasa a llamarse sumidero.
Es sorprendente como este sencillo modelo puede servir para la simulacin de fluidos ms
complicados, y que adems este modelo es esencialmente el mismo para la formulacin de la Ley
Gravitacional de Newton, y para el campo elctrico generado por una carga elctrica.
Finalmente, es sencillo verificar que un potencial para el campo (1) est dado por
div rot F = . x F = 0
(1)
rot grad = x = 0
(2)
Observemos los campos generados por F y que actan en ambas identidades, esto
es G = x F y H = Para cada caso se dice que F es el potencial vectorial de G y es el
potencial escalar de H.
Cundo un determinado campo posee potencial vectorial o escalar?
Teorema 1. Si F es un campo vectorial tal que div F = 0 entonces existe un campo vectorial A tal
que x A = F, o de otra forma rot A = F. (Nota: el campo vectorial A se dice potencial vectorial
de F, y no es nico)
Demostracin. Construiremos un campo vectorial A tal que x A = F, y de tal forma que, por (1),
se satisfaga que
(3)
Las componentes de A deben cumplir entonces
Puesto que la solucin no es nica, hagamos arbitrariamente A3 = 0, de modo que nos quedan las
ecuaciones
(4)
donde M y N son funciones escalares arbitrarias ("constantes" de integracin). Con estas funciones
armamos la tercera ecuacin que no se ha involucrado an, esto es
Como N y M son arbitrarias hacemos M = 0, entonces obtenemos una expresin para N, esta es
Hemos obtenido expresiones para las componentes del campo vectorial A, de (4) tenemos que
(5)
Nota: los valores x0 y z0 son arbitrarios.
Ejemplo. Pruebe si el campo F = (x - y) i + (y + xz) j + (y - 2z) k tiene un potencial vectorial y
encuentre uno.
No hay problema en probar que div F = 0. Ahora aplicando directamente las frmulas dadas en (5)
se tiene que
Teorema 2. Si F es un campo vectorial tal que rot F = 0 entonces existe un campo escalar tal
que F =
DemostracinPor hiptesis se cumple que
(6)
Vamos a construir la funcin escalar . En efecto, se debe cumplir que
(7)
Integrando la ltima ecuacin,
(8)
donde P( x, y) es una funcin arbitraria y (x0, y0, z0) un punto fijo. De la ecuacin (8) obtenemos
sendas derivadas parciales respecto de x e y,
(9)
Integrando la segunda ecuacin,
(10)
Ahora derivamos esta funcin respecto de x, y utilizando la primera ecuacin en (9)
de modo que
(11)
Recapitulando, de (8), (10) y (11) se concluye que
(12)
frmula obtenida en (12) y eligiendo el punto (x0, y0, z0) = (0, 0, 0),
Un ejemplo de curva en el espacio la puede ver en la Figura 1. Consideremos una funcin continua
definida en un intervalo real [a, b] y con valores en el espacio tridimensional R3, pues bien, al rango
de tal funcin le llamaremos curva. De otra forma si r( t ) = ( x( t ), y( t ), z( t ) ), entonces las
funciones componentes deben ser continuas en el intervalo [a, b], y al valor t se le llama parmetro
de la curva r. En la seccin Diferenciacin de funciones vectoriales de una sola variable hicimos
notar que la curva r( t ) puede representar el movimiento de una partcula, donde el vector r( t )
representa la posicin de la partcula en el tiempo t. Sin embargo, no necesariamente t puede
representar el tiempo, o tal vez se tenga que utilizar otro parmetro para describir la curva que sea
ms conveniente para facilidad del anlisis que se quiera hacer de la curva.
Por ejemplo, para la curva r( t ) podemos efectuar el cambio de variable t = f( s ), de tal forma
que r( t ) = r( f( s ) ) = r( s ) Y en este caso las derivadas de r respecto de t y s estn relacionadas, en
virtud de la regla de la cadena, por
Un parmetro que puede reemplazar al parmetro tiempo t puede ser la longitud de arco s. Este
cambio de variable parece natural, toda vez que la longitud de arco puede describir la longitud de la
trayectoria recorrida por la partcula hasta el tiempo t.
Sea r( t ) = x( t ) i + y( t ) j + z( t ) k el vector posicin en un punto de la curva, para encontrar una
frmula que describa la longitud de arco de una curva se puede realizar lo siguiente. Considerando
el vector desplazamiento infinitesimal
dr = dx i + dy j + dz k
que ser tangente a lo largo de la curva. Y la magnitud de este vector es, por definicin, el elemento
infinitesimal de la longitud de arco (vea la Figura 2), esto es
(1)
Puesto que el vector desplazamiento infinitesimal dr siempre es tangente a la curva, podemos
formar un vector tangente a la curva, que tenga la misma direccin y sentido que dr, y que sea
unitario, esto es
(2)
de modo que tenemos la magnitud del vector v, ahora vamos a expresar v en funcin del vector
unitario tangente a la curva, esto es
Antes de finalizar esta seccin queremos resaltar que la ecuacin (1), o equivalentemente la
ecuacin (2), nos est dando la longitud infinitesimal de la trayectoria recorrida por la partcula que
ha tenido un desplazamiento vectorial dr. Por lo tanto podemos calcular la longitud del segmento
de trayectoria recorrida, s, en un intervalo de tiempo [t0, t1]. En efecto, como
(3)
Ejemplo. Calcular el permetro de la regin plana encerrada por el astroide x2/3 + y2/3 = 1 (vea
la Figura 4)
La curva que rodea el permetro est en coordenadas cartesianas, sin embargo podemos tener una
sencilla representacin paramtrica mediante las ecuaciones
Segn la Figura 4, el punto (1, 0) significa que t = 0, y para el punto (0, 1) se tiene que t = / 2, y
bastara encontrar la longitud de segmento entre los puntos (1, 0) y (0, 1), por la simetra de la
curva, luego el permetro pedido se obtiene multiplicando por 4. De modo que
Nota: este resultado se concluye bajo la ecuacin (2) de la seccin anterior. De tal forma que para
calcular el vector tangente a la curva en un punto determinado necesitamos conocer la derivada de
la funcin longitud de curva s( t ), donde esta se obtiene mediante
Y es as, tambin, que podemos obtener una expresin analtica para la funcin longitud de arco,
integrando esta ltima ecuacin, esto es
Veamos un ejemplo.
Consideremos la curva r( t ) = a cos t i + a sen t j + bt k. (a, b y constantes
positivas). la derivada de esta funcin es
De tal forma que el vector tangente a la curva en un punto cualquiera est dado por
(1)
Y si queremos medir la longitud de la curva desde 0 hasta el valor de t, tenemos que
(2)
Por ejemplo, la longitud de la curva entre los puntos (a, 0, 0) y (a, 0, 2b), puntos que corresponden
a los valores de t = 0 y t = 2/ respectivamente, es
s( 2/ ) - s( 0 ) = 2 (a2 + b2)1/2.
En particular, si b = 0 obtenemos simplemente el permetro de la circunferencia de radio a, 2a,
puesto que esta hlice se proyecta como una circunferencia sobre el plano XY. Vea la grfica.
Con este mismo ejemplo, es fcil verificar que efectivamente se cumple (siempre) que
de modo que aparece otro vector a escena, y que adems es ortogonal al vector tangente. Cmo
podemos encontrar este nuevo vector? Notemos que
(3)
Esta ltima igualdad se debe al teorema de la funcin inversa (si no recuerda este teorema haga
click en el vnculo). De modo que, en nuestro ejemplo, derivando (1) respecto de t y sabiendo el
valor de s'( t ), tenemos que
(4)
No resulta para nada complicado verificar que efectivamente el vector en (4) es ortogonal al vector
tangente en (1). Si ahora hacemos unitario este vector obtenemos un vector unitario ortogonal al
vector tangente, que llamaremos vector normal, y se define como
y en consecuencia
Observemos que el vector tangente es, estrictamente hablando, un vector que es funcin de t, esto
es
donde
y adems
Observemos la grfica:
(1)
(2)
donde
Con estos vectores unitarios, podemos definir un nuevo vector unitario y ortogonal a ambos,
A este vector se le conoce como vector binormal. De tal forma que, para un punto cualquiera de la
curva, se asocian tres vectores ortogonales unitarios que forman un sistema de orientacin positiva,
como lo indica la Figura 1.
Notemos que si r( t )
= x( t ) i + y( t ) j + z( t ) k describe la
posicin de una partcula, entonces sabemos
que la velocidad y la aceleracin de la
partcula estn dadas, respectivamente, por
Figura 1
Lo interesante de este sistema de vectores unitarios y ortogonales es que constituyen una base en el
espacio tridimensional, relativo a cada punto de la curva (como se observa en la Figura1). De modo
que, cualquier vector asociado al punto de la curva, ya sea que dependa de t o del parmetro s, se
podr expresar como una combinacin lineal de esta base.
Las frmulas de Frenet
En la seccin anterior establecimos que los vectores unitarios tangente, normal
y binormal que son ortogonales entre s constituyen una base vectorial.
Consideremos los siguientes vectores
(1)
que representan las derivadas respecto de la variable longitud de arco. Cada
uno de estos vectores satisface lo siguiente
(2)
puesto que
Por otro lado, cada uno de estos vectores en (1) deben ser combinacin lineal
de la base (base que a menudo se llama triedro de Frenet), esto es
(3)
A partir de estas hiptesis vamos a probar las llamadas frmulas de Frenet,
que son las siguientes
(4)
donde los valores y son funciones del parmetro s.
Veamos la demostracin de las frmulas en (4), que no es nada ms que
encontrar los valores de aij del sistema de ecuaciones en (3).
Sabemos que
es decir
y obtenemos
entonces
P0 = r( t0), P1 = r( t1 ), ... , Pn = r( tn )
Ahora bien, en cada intervalo [tm-1, tm] seleccionemos un elemento
(1)
Definiciones similares se obtienen para las integrales
(2)
El desarrollo analtico de las integrales (1) y (2) las entrega el siguiente
teorema
Teorema. Si C es una curva suave definida por r( t )
= x( t ) i + y( t ) j + z( t ) k , con t en el intervalo [a, b], entonces
(3)
donde C es el arco de curva definido por y = 3x2 desde (0, 0) hasta (1, 3).
Solucin. La curva la parametrizamos de manera trivial, esto es r( t )
= x( t ) i + y( t ) j, con
Este ejercicio nos puede sugerir lo que vendr en la prxima seccin sobre
integrales de lnea. Consideremos el siguiente campo vectorial
(1)
siendo T el vector tangente unitario a
la curva y ds el elemento de longitud
de arco de la curva. La interpretacin
de esta integral de lnea, y que es su
definicin bsica, es la misma que
una integral ordinaria de la funcin
escalar
sobre el arco de
longitud P0 hasta P1. No obstante,
como insinuamos en la seccin
anterior, tenemos la igualdad
Figura 1
Ahora daremos los pasos analticos para evaluar una integral de lnea de un
(2)
donde la integral de la derecha es una integral ordinaria en una variable. El
producto punto de la funcin que se integra puede desarrollarse de la siguiente
manera. Sea el campo vectorial
r( t ) = x( t ) i + y( t ) j + z( t ) k
entonces
Y esta integral, por lo general (salvo que el profesor diga lo contrario), es una
sencilla integral ordinaria de una sola variable. Sin embargo hay que tener
cuidado con esta frmula. El resultado no slo depender de los puntos P0 y P1,
sino que tambin depender, en general, del camino C que conecta ambos
puntos.
ntegrales de lnea: Ejemplos
Daremos dos ejemplos para calcular una integral de lnea sobre un mismo
campo vectorial. Queremos calcular la integral
Observe (para los que usan el DERIVE) como deben escribir la funcin
vectorial, con "parntesis cuadrados".
La instruccin n 2 dice que se debe escribir el campo vectorial. En nuestro
ejemplo debemos escribir
Nuevamente, para los que usan el DERIVE, la funcin vectorial se debe escribir
con "parntesis cuadrados".
La instruccin n 3, establece las componentes cartesianas de la curva,
puesto que ser utilizada posteriormente para definir el campo vectorial sobre
dicha curva. El software DERIVE internamente asigna que w( 1 ) ser igual a la
primera componente de la forma paramtrica de la curva r( t ); w( 2 ) y w( 3 )
es decir
La integral de lnea
En este caso, con variadas aplicaciones, C es la curva determinada por alguna
forma paramtrica r( t ), ( x, y, z ) es un campo escalar, y s es el parmetro
longitud de curva (el parmetro "natural" de la curva). El clculo de esta
integral es sencillo. En efecto, supongamos que la curva C se describe por la
funcin paramtrica
r( t ) = x( t ) i + y( t ) j + z( t ) k
de tal forma que en t = a, y t = b nos indica que r( a ) = P y r( b ) = Q son los
puntos inicial y final de la curva (de otra forma es la "orientacin" de la
curva C, desde el punto de vista fsico es el "sentido" que sigue la partcula que
describe el camino C). De esta forma el campo escalar definido sobre la
curva r( t ) est dado por ( x( t ), y( t ), z( t ) ).
Esto es
(1)
que es una sencilla integral real en la variable t.
Veamos un ejemplo. Vamos a evaluar la integral
y cuya evaluacin es
esto es
(1)
Y enseguida intentaremos explicar los diferentes elementos matemticos
involucrados. En primer lugar la relacin entre R y C, es como lo indica la
Figura 1.
( x, y ) = L( x, y ) i + M( x , y ) j
de modo que est bien definido en
todo punto de R incluida la
frontera C, y que sea
continuamente diferenciable (esto
es que las derivadas parciales no
solo existan sino que adems sean
continuas).
Figura 1
(2)
Luego esta integral en comparacin con la segunda integral en (1) se consigue
(3)
Donde C es la curva, orientada positivamente, que rodea a la regin R. De
modo que, si la segunda integral de lnea es sencilla, nos permitir el clculo
de reas sencillas.
Otra manera de conseguir una expresin para el clculo del rea de una
regin R como en la figura siguiente es haciendo, conforme a la expresin en
(1), L( x, y ) = - y , M( x , y ) = x. De esta forma obtenemos que
(4)
La verdad es que hay divertidas maneras de calcular el rea de una
regin R como la indicada por la Figura 1. En efecto, considere, como antes,
que la frontera de R es la curva cerrada C, entonces calculemos la siguiente
integral de lnea
Desde el lado contrario, tambin puede ser usado. A veces el clculo de una
integral de lnea puede ser tedioso, y resulta ms sencillo utilizar la integral
doble. Veamos el siguiente ejemplo.
Usemos al teorema de Green vara evaluar la
integral
Esto es
z = ( x, y )
(1)
Figura 1.
Figura 3
Figura 2
En primer lugar notemos que un vector normal (unitario) al elemento de
rea dA es el versor k. Vamos a obtener ahora un vector normal al elemento
de superficie dS. Notemos que de la ecuacin 1, se tiene que
de modo que
Figura 4
La otra forma en que se puede
entregar una superficie es
x = x( u, v ) ; y = y(u, v ) ; z = z( u, v)
(1)
r( u, v ) = x( u, v ) i + y(u, v ) j + z( u, v) k
Mediante este vector posicin
podemos determinar el valor del
rea de una superficie elemental
infinitesimal.
Figura 1
(2)
Figura 2
Vamos a determinar los
puntos A, B y C en funcin
del vector posicin r.
Es claro que el
punto A est determinado
por el vector
posicin r( u, v ). El
punto B est determinado
por el vector posicin r( u
+ du, v ), y el punto C est
determinado por el
vector r( u, v + dv ).
Entonces tenemos que
Y de esta forma
reemplazando de (2), nos
queda que
Figura 3
(1)
si la superficie S est dada por z = ( x, y).
En el caso de que la superficie est en forma paramtrica, esto es
r( u, v ) = x( u, v ) i + y(u, v ) j + z( u, v) k
entonces el rea de la superficie est dada por
(2)
siendo D el dominio de definicin de los parmetros (u, v).
Ejemplo 1. Encontrar el rea de la porcin del plano lx +my + nz + p = 0 que
est en el interior del cilindro x2 + y2 = a2. Figura 1.
Figura 1
Proyectaremos la porcin del plano sobre el plano XY. Por otro lado, la
superficie del plano est determinada por
z = ( x, y ) = - ( lx + my + p ) / n
de tal forma que
y puesto que
Entonces
donde
F( x, y, z ) = x2 + y2 - z2 = 0
tenemos que
Figura 1
De modo que debemos integrar
x = cos ; y = sen
donde dx dy = d d. Entonces la integral nos queda como
donde
Figura 2
(1)
donde F es un campo vectorial, S es una superficie suave cerrada, dS es el
elemento vectorial del rea de superficie elemental, esto es
siendo
el vector normal unitario a la superficie. Y desde ya, en base a la
explicacin que daremos a continuacin, la integral dada en (1) diremos que es
el flujo del campo vectorial a travs de la superficie.
Flujo, de manera general, es "cantidad" que fluye por unidad de tiempo (en un
lugar especificado). Por ejemplo en un ro, respecto de un punto referencial en
una orilla del ro podemos decir que el flujo es de 3 m3/seg. En general, todo
fluido fluye. Y valga la redundancia, puesto que hay elementos que no son
fluidos, en el sentido estricto fsico, pero sin embargo fluye, como por ejemplo
el dinero. En efecto, podemos hablar del flujo de exportacin, al decir 5
millones de dlares al mes en flujo de exportacin. Como se quiera, queremos
establecer que, por lo general, el flujo de una cantidad, en un determinado
lugar del espacio, es la variacin respecto del tiempo. (Recordemos que el
trmino usado por Newton para introducir el concepto de derivada fue
de fluctuaciones o flujo).
De manera que cuando queremos medir flujo de algo, debemos establecer en
primer lugar el sitio donde vamos a contar el flujo, el sitio donde pasar el
material o el fluido. Pensemos entonces en una superficie cerrada (que puede
ser virtual)
Consideremos entonces un fluido que
fluye a travs de una superficie
cerrada S.
Sea v la velocidad del fluido, y la
densidad del fluido, que puede variar
en cada punto del espacio, y
eventualmente puede varias respecto
del tiempo, esto es
v = v( x, y, z, t ) ; = ( x, y, z, t )
El flujo que pasa a travs de la
superficie S se determina primero
est dado
Figura 1
Figura 2
Por lo tanto, la suma de todas las masas infinitesimales dm, cada una de ellas
en un elemento de superficie dS, constituir el incremento de masa dM que
fluye fuera de la superficie cerrada S, en un intervalo de tiempo
infinitesimal dt. (Observemos que an estamos en un tiempo dt, de modo que
los elementos de masa dm son doblemente pequeos, puesto que an
sumndolos ellas apenas conforman una masa grande pero infinitesimal dM).
Sumando, obtenemos entonces
de modo que la masa que pasa a travs de la superficie por unidad de tiempo,
(1)
S1 est dado por z = 1( x, y )
y S2 por z = 2( x, y ). Los vectores
normales unitarios para ambas
superficies estn dados por
Figura 1
F = F1 i + F2 j + F3 k
Podemos calcular ambas integrales de la manera habitual, esto es
Recuerde que
S1 : x2 + y2 + z2 = a2 ; z > 0
y la superficie S2 correspondiente al hemisferio sur, esto es
S2 : x2 + y2 + z2 = a2 ; z < 0
De tal forma que la forma la superficie S1 est caracterizada por
(2)
Y la superficie S2 por
;
son iguales, y tienen el valor de
Realizando el producto
que es igual a
De manera que debemos integrar esta expresin en la regin del interior del
crculo x2 + y2 = a2.
(1)
donde S es una superficie cerrada cuyo interior contiene al volumen V, F es un
campo vectorial arbitrario, y
es, como siempre, el vector unitario normal a la
superficie. En esta seccin nuestro objetivo ser aplicar este teorema, dejando
su demostracin para ms adelante. De momento podemos pensar que que el
flujo de F a travs de la superficie S es igual a la divergencia de F tomada a
travs del volumen V.
En la seccin anterior habamos evaluado (con cierta dificultad) la integral
La divergencia de F = x3 i + y3 j + z3 k es
y adems
y adems
de modo que
F = F1( x, y ) i + F2( x, y ) j
Y vamos a considerar un volumen V de un slido acotado por los planos z = 0
y z = 1, y cuya seccin transversal es la regin R proyectada sobre el plano XY,
como lo indica la Figura 1.
Un volumen elemental est dado
por dV = dx dy dz. Vamos a
calcular la integral sobre el
volumen Vde la divergencia de F,
esto es
de modo que
(1)
Vamos a probar que esta ltima
integral doble corresponde a una
particular integral de superficie.
Figura 1
(2)
las caras determinadas por los planos z = 0 y z = 1 no hacen ninguna
contribucin. De modo que debemos preocuparnos por la superficie "lateral", y
sobre esta superficie consideraremos una superficie elemental de la forma
dS = 1 ds
puesto que en esencia esta superficie elemental ser una superficie planar
(rectangular) de altura 1 y longitud basal ds, que corresponder a la longitud
del arco de la curva que rodea a la regin R. Vea la Figura 2.
Entonces la integral de
superficie en (2) se reduce a
una integral de lnea sobre
la curva cerrada C que
rodea a la regin R, esto es
, donde
Figura 2
Observe la Figura 3, de
modo que la integral de
lnea en (2) se puede
escribir como
y puesto que
obtenemos que
y puesto que dr = dx i + dy j,
entonces
Figura 3
(3)
Comparando (1) y (3), obtenemos el teorema de Green, esto es
donde R es la regin que tiene como frontera la curva C que pertenece al plano
XY.
Vamos a extender esta nocin a una curva en el espacio (no necesariamente
plana).
Como es norma en este curso, vamos a entregar el teorema de Stokes para ver
su aplicabilidad y luego daremos el esbozo de su demostracin.
Supongamos que tenemos una superficie S "abierta" cualquiera en el espacio
(que no es cerrada), y cuyo permetro es C (vea la Figura 1). Y supongamos
que tenemos un campo vectorial F definido sobre C, entonces
(1)
donde
es el vector normal unitario a la superficie S (orientado segn la
"regla del tornillo" respecto de la orientacin positiva de la curva C)
Vamos a ver que la frmula dada en (1) es es una
extensin del teorema de Green.
En efecto, supongamos que la superficie S es de tal
forma que luce como lo indica la Figura 2.
Si consideramos el campo
vectorial F = L( x, y ) i + M( x, y ) j actuando sobre la
curva C, entonces aplicando el teorema de Green
Figura 1
(2)
por otro lado, el rotacional de F es
Figura 2