CLCULO INFINITESIMAL DE FUNCIONES DE VARIAS VARIABLES

Funciones de dos o ms variables independientes

Ya se vi anteriormente que las funciones de una variable x del tipo y = f(x), tienen una representacin geomtrica conveniente haciendo corresponder a cada valor de la funcin un punto en el plano x, y. Si la funcin es continua en un intervalo, su representacin dar una lnea continua en dicho intervalo. Tambin se mencion que, de la misma manera, a las funciones de dos variables z =f(x, y) corresponden puntos o eventualmente superficies (dentro del recinto de continuidad) en un espacio de tres dimensiones x, y, z Las funciones de ms de dos variables no son representables geomtricamente, aunque se las puede imaginar como lugares geomtricos en un hiperespacio de ms de tres dimensiones. El estudio de las funciones de dos variables nos permitir entender por induccin el de un nmero mayor. En la figura del lado derecho, el punto P sobre la superficie sombreada , que corresponde a la funcin continua (sin saltos ni fracturas) de dos variables z = f(x, y), est definido por sus tres coordenadas x1, y1, z1 =f(x1, y1), o bien por el vector OP de componentes x1, y1, z1. La longitud del segmento OP es el mdulo del correspondiente vector p =OP, que viene dado segn el teorema de Pitgoras: |OP| = x12 + y12 + z12 = | p |. Vemos as que a una funcin de dos variables le corresponde una funcin vectorial de tres variables que da la distancia al origen de cada punto. Otra manera de representar las superficies en el espacio, adems del dibujo en perspectiva mostrado, es mediante lneas de nivel acotadas con su altura o ordenada vertical, segn la figura de la derecha. En ella las lneas de nivel 4,5 y 6 resultan de la interseccin de la superficie con los planos horizontales 4, 5 y 6. Se usa esta representacin en la cartografa orogrfica, o en los planos topogrficos con lneas de nivel. Las lneas negras se llaman lneas de mxima pendiente. Forman una trama que corta perpendicularmente a las lneas de nivel, y corresponden a las trayectorias que seguiran los cursos de agua o cualquier mvil que rodara libremente sin inercia por la superficie por efectos de la gravedad.

Planos
De la recta al plano

Las funciones ms sencillas de dos variables son funciones lineales, que representan superficies planas en el espacio, as como las de una variable representan rectas en el plano. Recordemos que recta en el plano puede representarse de la manera siguiente, de acuerdo al dibujo adjunto:

las una

Como y = ax + b es y-ax =b, y siendo la distancia de la recta al origen p = PO, multiplicando ambos miembros por p/b se obtiene la ecuacin normal o hessiana de la recta: (p/b).y - (p.a/b). x = p , en la que p.(-a/b) = cos () y p/b =cos () son los cosenos directores de la recta en cuestin, cosenos de los ngulos que forma con los ejes la recta normal que pasa por el origen (y cuya ecuacin es y =-(1/a).x) As entonces, la ecuacin normal o hessiana de la recta es x.cos(a) + y. cos(b) = p. Dividiendo ambos miembros por p, la ecuacin de la recta toma la forma: x/(-b/a) + y/b = 1 Ntese que los denominadores de los trminos en x e y son los valores de los puntos en los que la recta corta a los respectivos ejes. Esta forma se llama ecuacin segmentaria de la recta, y pone de manifiesto los valores de interseccin con los ejes. Ejemplo: La ecuacin de la recta que corta al eje x en x =-7 y al eje y en y = 2 resulta y/2-x/7=1 Pasando ahora al espacio de tres dimensiones, demostraremos que, anlogamente a lo que rige para la recta, la ecuacin de un plano cuya distancia al origen es p = OP y cuyos cosenos directores valen cos(), cos() y cos() , resulta: x. cos() + y. cos() + z. cos() = p y asimismo, la ecuacin segmentaria del plano es: x. [cos()/p] + y. [cos()/p] + z. [cos()/p] = 1 Se deduce la ecuacin de un plano en base a la condicin, segn se ve en la figura, que para un punto Q genrico de coordenadas x, y, z que pertenece al plano , son perpendiculares los vectores OP y PQ de tal manera su producto escalar es nulo, es decir uu uu ur ur OP . OQ = 0 Desarrollando dicho producto con las reglas conocidas, resulta: p.cos().(x-xp)+p cos().(y-yp)+p.cos()(z-zp)=0 y como p.cos()=xp
1 2 2

, p.cos()=yp

p.cos()=zp , y adems es p =

( x2 + y 2 + z )

es: x.cos()+y. cos()+z.cos() =

(x2 + y 2 + z 2 ) = p. que es la ecuacin genrica propuesta del plano cuya distancia al origen vale p
p y cuyos cosenos directores son los coeficientes de los trminos de las variables x, y, z.

De las cnicas a las cudricas

En el espacio de tres dimensiones siguen a los planos en grado de complejidad las superficies de segundo grado o cudricas. Las cudricas (en el espacio) son lo anlogo a las cnicas en el plano.

Algo sobre cnicas

Recordemos que una cnica es una curva plana, resultado de la interseccin de una superficie cnica con un plano. El lugar comn a plano y cono es una hiprbola, una parbola o una elipse, segn la inclinacin del plano secante con respecto al eje del cono: Si el plano es paralelo al eje del cono se genera una hiprbola. Si es paralelo a la generatriz del cono, una parbola, y si corta a dos generatrices la interseccin es una elipse. Veremos luego que un cono es en definitiva un caso particular de una superficie de segundo grado, es decir una cudrica, y que se tambin se producen curvas cnicas al cortarse superficies cudricas con planos. La ecuacin general de una cnica es

a x2 + b y2

+c x y

d+ x

e0 + f y

Dividiendo la frmula anterior por cualquiera de los coeficientes, se obtiene una ecuacin reducida en uno de ellos. Por ejemplo, dividiendo por el coeficiente f cambiado de signo, se obtiene la ecuacin

Ax 2 + By 2 + Cxy + Dx + Ey = 1
Es decir que una cnica queda determinada por cinco condiciones independientes: los cinco coeficientes de la ecuacin anterior, o tambin cinco puntos en el plano. As se puede afirmar que por cinco puntos del plano pasa una sola cnica Si la expresin completa representa una elipse, una hiprbola o una parbola no aparece a simple vista, y es necesario llevarla mediante una translacin y rotacin conveniente de ejes a una forma reconocible: la forma cannica, que es la ecuacin de la curva referida a un par de ejes ortogonales con centro coincidente con el de la cnica en cuestin y de la misma direccin que sus ejes. Las ecuaciones cannicas de las cnicas son:

( x )2 + (y )2 =1 a b ( x )2 - ( y )2 =1 a b

Elipse Hiprbola Parbola

y 2=2px

Esta ltima curva, la parbola, no tiene centro. Solamente un eje de simetra (el eje x para la forma cannica y2 = 2px) Tomemos por ejemplo una elipse de semiejes a y b, y probemos qu pasa con una traslacin del origen desde 0,0 al punto Xo, Yo, reemplazando en la ecuacin cannica: X =(X +Xo), y = (Y +Yo): X2/a2 + (2/a2.xo). X + Y2/b2 +(2/b2.yo).Y + =1 xo2/a2 yo2/b2 Es decir que con una traslacin aparecen trminos en X e Y elevados a la primera potencia, adems de los cuadrticos existentes antes de la traslacin. Averigemos ahora el efecto de una rotacin de ejes en un ngulo , haciendo, segn la figura siguiente: x = p.cos () y = p.sen ( ) X = p.cos ( ) = p.[cos( ).cos( ) + sen( ).sen( )] X = x.cos () + y.sen () Y = p.sen ( ) = p.[sen( ).cos( ) sen( ).cos( )] Y = y.cos () - x.sen () o sea que podemos escribir el sistema de ecuaciones: x.cos () + y.sen () = X x.[-sen()] + y.cos()= Y y poniendo cos() = A y sen() = B resulta Ax + By = X Bx + Ay = Y Cuya solucin es: x = AX - BY = X.cos ( ) - Y sen ( ) y = AY + BX = Y.cos ( ) + X.sen ( ) y la transformacin inversa de resulta: x = X.cos () - Y sen () y = Y.cos () + X.sen () Reemplazando las anteriores en la ecuacin cannica del elipse, la ecuacin del elipse rotado resulta: (A.X-B.Y) /a + (A.Y+B.X) /b = 1
2 2 2 2

Desarrollando los cuadrados de los binomios, aparecen los trminos con el producto de variables x.y, que indican que la ecuacin est con referencia a ejes ortogonales no paralelos a los ejes principales de la cnica. Cudricas De la misma manera que lo estudiado recin para las cnicas, extendindonos a una dimensin ms, pasemos a estudiar en el espacio a las superficies de segundo grado, llamadas cudricas, de ecuacin general:

ax 2 + by 2 + cz 2 + dxy + exz + fyz + gx+ hy+ iz+ j = 0

De los diez coeficientes a, b, c, d, e, f, g, h, i quedan nueve independientes dividiendo ambos miembros por alguno de ellos, por ejemplo por el trmino independiente cambiado de signo (- j), as:

Ax 2 + By 2 + cz 2 + Dxy + Exz + Fyz + Gx+ Hy+ Iz = 1

Con un razonamiento anlogo al hecho para las cnicas, los nueve coeficientes independientes nos indican que por nueve puntos en el espacio pasa una cudrica. Sin embargo en este caso esa cudrica puede no ser nica. En efecto, baste suponer dos cudricas secantes y tomar nueve puntos de la curva interseccin. Es evidente entonces que por nueve puntos pueden pasar al menos dos cudricas secantes. Pero siendo respectivamente f1(x, y, z)=0 y f2(x, y, z)=0 sus ecuaciones, resulta nula tambin la combinacin lineal F(x, y, z) = f1 + k. f2 = 0 (para k = nmero cualquiera). F representa otra cudrica, dependiente del parmetro k, que puede tomar infinitos valores. As podemos afirmar que: Por nueve puntos en el espacio pasa una sola cudrica, o bien un haz de infinitas cudricas secantes.

Ecuaciones cannicas de las cudricas

Igual que las cnicas, las cudricas con centro de simetra (hiperboloides de una y dos hojas y elipsoide) pierden los trminos lineales (en x, y, z a la primera potencia) mediante una traslacin de ejes a dicho centro. Asimismo una rotacin de ejes apropiada, que coloque los ejes de simetra de la cudrica en direccin a los de coordenadas, elimina los trminos mixtos, en xy, en yz, y en xz , en todas ellas (con o sin centro). Se obtienen as en el nuevo sistema de ejes de referencia las ecuaciones cannicas que permiten individualizarlas claramente:

Cudricas con centro

(x/a) + (y/b) + (z/c) =1 (x/a) + (y/b) - (z/c) =1 (x/a) - (y/b) - (z/c) =1
2 2 2 2 2 2 2 2 2

elipsoide hiperboloide de una hoja hiperboloide de dos hojas

Cudricas sin centro

x /(2p) + y /(2q) =z paraboloide elptico
2 2

x /(2p) - y /(2q) = z paraboloide hiperblico

En las figuras anteriores se pueden ver las representaciones en el espacio de las cudricas correspondientes a las ecuaciones anteriores. As, cortando al elipsoide con el plano x e y, (haciendo z = 0), se obtiene como interseccin una elipse de semiejes a, b: (x/a) + (y/b) =1 De la misma forma se demuestra que las secciones horizontales de los hiperboloides dan elipses y las verticales producen hiprbolas. Las secciones horizontales del paraboloide elptico generan elipses y las paralelas a su eje producen parbolas. El paraboloide hiperblico de la figura genera hiprbolas cortado con planos horizontales y parbolas con planos verticales.
2 2

Cudricas regladas
Las superficies que contienen rectas se llaman superficies regladas. Puede considerarse que aquellas rectas generan la superficie al deslizarse sobre lneas que les sirven de guas o sostn. Por eso a las primeras se las llama generatrices y a las lneas de sostn se las llama directrices de la superficie en cuestin. Conos y cilindros son superficies regladas cuyas generatrices rectas tienen como sostn las curvas que delimitan sus bases. Son superficies desarrollables, ya que pueden construirse curvando o enrollando una superficie plana (por ejemplo una hoja de papel o una chapa plana de metal en una mquina cilindradora). La

propiedad de ser desarrollables se da al ser dos generatrices sucesivas rectas paralelas o secantes (no alabeadas), lo que permite que la superficie ruede sobre un plano apoyando esas generatrices sucesivas sin deslizar, como en el caso del cono de la figura. En los dibujos del hiperboloide de una hoja y del paraboloide hiperblico se nota que la interseccin con determinados planos generan rectas, es decir que dichas superficies son regladas. Empero no son desarrollables, ya que dos generatrices sucesivas son rectas alabeadas, como se ver a continuacin. Hiperboloide de una hoja: analticamente se ve que esta cudrica es reglada escribiendo su frmula cannica como producto de dos factores: (x/a) - 1 = (z/c) - (y/b) , es decir [x/a1] [x/a+1] = [z/c-y/b] [z/c+y/b] Desdoblando la igualdad anterior en dos ecuaciones, nos queda: [x/a-1] = [z/c-y/b].{[z/c+y/b]/[x/a+1]} [x/a+1] = [z/c+y/b].{[z/c-y/b]/[x/a-1]} Y poniendo [z/c+y/b]/[x/a+1] = k [z/c+y/b]/[x/a+1] = l Resultan
2 2 2

Cada una de las ecuaciones anteriores representa un haz de planos (dos para cada valor de k o de l). Eligiendo un par de planos [a] y [b] para un valor de k determinado, stos se cortarn en una recta. Otra recta corresponder a la interseccin de dos planos [c] y [d] para cada valor de l. Dichas rectas estn sobre la cudrica, puesto que sus puntos satisfacen a las ecuaciones [a] y [b], o a las [c] y [d], cuyos respectivos productos representan a su vez la cudrica en cuestin. Resulta as que por cada punto del hiperboloide de una hoja pasan en general dos generatrices pertenecientes cada una de ellas a un haz alabeado independiente. En el dibujo se han marcado en rojo y en azul a generatrices de uno y otro haz. Veremos ms adelante que las dos generatrices que pasan por cada punto determinan un plano que tiene un solo punto comn con la superficie, dejando el resto de la misma a un solo lado en el entorno. Es el plano tangente a la superficie en el punto considerado. Como caso particular, el plano coloreado de la figura cuya ecuacin es y = b (para k = 1), corta a la cudrica segn dos rectas que se cortan en el punto x = 0, y = b, z = 0. En efecto, reemplazando la ecuacin de dicho plano y = b en la de la cudrica (x/a) - 1 = (z/c) (y/b) se obtiene (x/a) - (z/c) = 0, que se puede desdoblar en el sistema de rectas marcadas en la figura: x/a - z/c = 0 y x/a + z/c = 0
2 2 2 2 2

Paraboloide hiperblico: Transformemos su ecuacin x /(2p) - y /(2q) = z en un producto, llamando a : a = (2p)

1/2

y b = (2q)

1/2

As nos queda: [x/a - y/b]. [x/a + y/b] = z , que podremos desdoblar, haciendo m =1/ [x/a + y/b] y n = [x/a - y/b]