FUNCIONES DE VARIAS VARIABLES IDEA INTUITIVA: Hasta el momento hemos trabajado con funcin de una sola variable, es decir,

que van de R a R. Ahora vamos a trabajar con funciones escalares, que reciben un vector de Rn y devuelven un valor de R, y con funciones vectoriales que reciben un vector de Rn y devuelven uno de Rm. La dificultad de estas funciones reside en que no tienen representacin grfica posible, a excepcin de las funciones de R2 en R, que se pueden representar como superficies tridimensionales. Adems, los clculos de lmites se complican mucho llegando a ser imposibles. Por ello nos ocuparemos casi siempre de las ms sencillas de este tipo de funciones, aunque toda la teora se referir a funciones de n variables. CONCEPTOS BSICOS: DEFINICIN: Sea una aplicacin que a cada le asigna . Entonces es una funcin escalar de varias variables.

NOTACIN: En el caso de que n=2, haremos:

Y en el caso de que n=3

DEFINICIN: Sea . Llamamos DOMINIO de la funcin al conjunto de puntos de en el que est definida Ejemplo:

OBSERVACIN: Sea . Llamamos GRFICA de al conjunto . A dicha grfica la llamaremos superficie: Ejemplo: 1

Llamamos CURVAS DE NIVEL a los puntos de la forma . Son los puntos obtenidos al intersercar la superficie generada por con un plano z=cte, y proyectarla en el plano. OBSERVACIN: Sea . Llamamos SUPERFICIES DE NIVEL de a los conjuntos de la forma conjunto . DEFINICIN: Sea una aplicacin que a cada le asigna un vector . Entonces es una funcin vectorial de varias variables.

Y a las se las llama funciones coordenadas. Ejemplo:

DEFINICIN: Sea . Llamamos DOMINIO de la funcin a la interseccin de los dominios de las funciones coordenadas de . 2

LMITES: DEFINICIN: Sea y un punto de acumulacin de . Entonces se dcice que:

si:

Graficamente podemos verlo as: Siempre existe un tal que las imgenes de la parte de la bola de centro y radio que pertenece a pertenecen a una bola de radio con centro en .

Ejemplo: Demostrar que

como

Con lo que queda comprobado. DEFINICIN: Decimos que el lmite de es infinito si: 3

Es decir, si por mucho que nos acerquemos a , la distancia de la funcin al cero es muy grande. DEFINICIN: Si es un contorno de es, llamamos ENTORNO PERFORADO de a PROPIEDADES: Si tiene lmite en , este es nico. Si tienen lmites en respectivamente, entonces:

Si tienen lmites en respectivamente, entonces:

Si adems en un entorno perforado de y , entonces:

OBSERVACIN: El principal problema que nos encontramos a al hora de calcular lmites es como acercarnos al punto. Hay muchas maneras(por rectas, parabolas, cubicas, etc). Pero como el lmite ha de ser siempre el mismo, podemos asegurar que no existe si el lmite nos da diferente para varios modos de acercarse. El caso ms sencillo a probar es acercarse al origen por una recta de pendiente m. Ejemplo:

Nos acercamos por una trayectoria recta:

El lmite depende de la pendiente, luego el lmite no existe. Sin embargo, el hecho de que por un tipo de trayectorias el lmite sea el mismo no indica que el lmite exista; solo dice que si existiera debera ser ese. Ejemplo:

Si tuviera lmite, debera ser cero. Si probamos ahora con otro tipo de trayectorias, como por ejemplo:

Luego el lmite no existe. PROPOSICIN: Sea , y sea , Entonces

TEOREMA(Del Sandwich): Supongamos que tenemos , y sea un punto de acumulacin de . Si existe un entorno de tal que y se verifica que:

Entonces: 5

Ejemplo:

OBSERVACIN: Otro metodo de acercarnos al origen consiste en usar coordenadas polares, haciendo que r tienda a cero. Muchas veces este sistema es muy comodo. Ejemplo: 1)

Luego el lmite dependen del ngulo. Por tanto, no existe el lmite. 2)

Por el teorema del Sandwich

CONTINUIDAD: DEFINICIN: Decimos que es continua en , punto de acumulacin de , si: 1) Existe 6

2) Existe y es finito 3) PROPIEDADES: Si son continuas en , entonces es continua en Si son continuas en , entonces es continua en Si adems , entonces es continua en PROPOSICIN: es continua en si y solo si son continuas en para DIFERENCIABILIDAD:

IDEA INTUITIVA: Queremos aplicar el concepto de derivada y pendiente que estudiamos en una variable a varias variables. La idea bsica consiste en coger un vector y ver que pasa en la funcin segn nos movemos en la recta dada por el punto que queremos estudiar y el vector, cuando el mdulo del vector tiende a cero. Es decir, lo que hacemos es convertir la funcin a una variable, cortndola por el plano vertical que pasa por la recta ya mencionada. DEFINICIN: Sea 7

, , punto interior de ,y . Entonces llamamos derivada de segn el vector a:

OBSERVACIN: Si , entonces:

Demostracin:

NOTACIN: Sea . Entonces definimos la norma de cmo:

DEFINICIN: Llamaremos derivada direccional de segn una direccin definida por a la derivada segn el vector :

Ejemplo:

Existen todas las derivadas direccionales de , pero no es continua en (0,0) Si hacemos

Luego el lmite no existe y la funcin no es continua. OBSERVACIN: Si , entonces:

DEFINICIN: Sea , , punto interior de . Entonces llamamos derivada parcial respecto de a la derivada direccional de segn el vector de la base cannica de . Lo representamos de la siguiente manera:

Ejemplo:

DEFINICIN: Sea , abierto. Entonces se dice que es diferenciable en si existe una aplicacin lineal , que llamaremos diferencial de en , tal que: 9

Pedimos que el numerador, que es el error que cometemos al aproximar , sea una `o pequea' de , de tal manera que tiende ms rapidamente a 0 que . Es decir, pedimos que el error tienda a cero. OBSERVACIN: Debido al carcter vectorial de las funciones de varias variables, podemos tratarlas en un plano algebraico, y aplicar en ellas todo lo que sabemos acerca de representacin matricial de homomorfismos Ejemplo:

Existe ?

Acercndonos por h=0:

Y por k=0

Luego la funcin no es diferenciable IDEA INTUITIVA: Veamos una interpretacin geomtrica de la diferencial, para el caso de n=2.

10

Sea (pequeo), y diferenciable en , para ciertos y . Entonces

Puedo hacer igual a la funcin en ms el plano en un punto (x,y) tangente en , ms un error pequeo. Por tanto, si se cumplen las condiciones anteriores, llamamos plano tangente a una superficie en el punto al plano PROPIEDADES: 1) Si es diferenciable en , entonces la diferencial es nica. 2) es diferenciable en si y solo si es diferenciable en . Adems la diferencial es:

11

3) Si son diferenciables en , entonces , , son diferenciables en , y se verifica: PROPOSICIN: Sea . Si es diferenciable en , entonces existe , y adems Demostracin:

OBSERVACIN: Sea ,y . Entonces:

DEFINICIN: Sea . Entonces llamamos VECTOR GRADIENTE de en a:

OBSERVACIN: Si es diferenciable en 12

, entonces (Si es unitario)= . Dicha expresin es mxima cuando tienen la direccin del gradiente. Como el gradiente nos da el crecimiento de la funcin, deducimos que el vector gradiente tiene la direccin de mximo crecimiento de la funcin. PROPOSICIN: Una funcin derivable direccionalmente puede no ser diferenciable. Ejemplo:

Est funcin es derivable direccionalmente, pero no es diferenciable. Estudiando la diferencial por la definicin:

Luego si fuera diferenciable, su difernecial sera cero

Luego la funcin no es diferenciable. DEFINICIN: Sea diferenciable en . Entonces a la matriz asociada a la aplicacin en las bases cannicas de y se le llama MATRIZ JACOBIANA de en , y se denota

13

OBSERVACIN: Estudiemos como es la matriz. Si , tomamos . Las coordenadas de su imagen son la primera columna de la matriz:

Ejemplo: Calcular la matriz jacobiana de la siguiente aplicacin: Sea y

PROPOSICIN: Si es diferenciable en , entonces es continua en Demostracin: La haremos para Hay que demostrar que:

Como es diferenciable en

14

DEFINICIN: Sea , abierto. Decimos que es de clase en si todas las derivadas parciales de estn definidas en un entorno de y adems son continuas en . Por consiguiente es de clase en si lo es en todos los puntos de TEOREMA: Si es de clase en , entonces es diferenciable en OBSERVACIN: En general, el recproco no es cierto. TEOREMA(Regla de la cadena): Sea ,y , tal que . Si es diferenciable en y es diferenciable en , entonces es diferenciable, y adems:

OBSERVACIN: Por tanto Ejemplo:

15

DEFINICIN: Sea . Si es diferenciable en todos los puntos de un entorno de , entonces lo que nos queda es una funcin de n variables, que es posible volver a derivar. Llamaremos orden de la derivada el,nmero total de veces que hemos derivado. NOTACIN:

.. Adems, para simplificar:

Ejemplo:

TEOREMA(Schwarz): Sea , abierto, y . Si existen ,

16

, en un entorno de y es continua en , entonces existe y adems : : Este resultado es aplicable a derivadas de orden superior. DEFINICIN: Decimos que una funcin es de clase en si existen todas sus derivadas parciales hasta orden m, y adems las funciones son continuas en . Analogamente decimos que una funcin es de clase en si lo es en tofos los puntos de DEFINICIN: Si es de clase en , llamamos diferencial segunda de en a:

OBSERVACIN: La diferencial segunda es una forma bilineal. La diferencial segunda se puede representar matricialmente:

A dicha matriz se la llama MATRIZ HESSIANA o HESSIANO de Por ser de clase , se puede aplicar Schwarz, y la matriz es simtrica. Si aplicamos la diferencial segunda al mismo vector dos veces, lo que tenemos es una la forma cuadrtica 17

asociada. La podemos asimilar simbolicamente a una binomio:

En general:

Donde el exponente indica el nmero de veces que se ha de derivar. Ejemplo:

DEFINICIN: Si es de clase en , llamamos diferencial de orden en a:

Igualmente se puede expresar la diferencial de orden en como un binomio a la DEFINICIN: Sea . abierto, y de clase en . Entonces se define en POLINOMIO DE TAYLOR de orden

18

de en como:

y el RESTO DE TAYLOR de orden como:

TEOREMA(Taylor): Sea . abierto, y de clase en ,y , tales que el segmento de extremos est incluido en . Entonces existe tal que:

por tanto:

OBSERVACIN: Si hacemos , entonces:

APLICACIONES: PROPOSICIN: 1)Sea entonces es perpendicular a la curva ( ) o superficie ( ) de nivel que pasa por 19

. Demostracin: Sea una superficie de nivel de , tal que

y sea una curva , tal que y Si componemos con

(Por ser )

Como es genrica, es perpendicular a toda curva de , y por tanto es perpendicular a . Si es diferenciable en , entonces el plano tangente a la grfica de en el punto es:

Ejemplo: Calcular el plano tangente a en

20

DEFINICIN: Sea ,y punto interior de . Entonces: alcanza un mximo relativo en si existe , entorno de , tal que alcanza un mnimo relativo en si existe , entorno de , tal que alcanza un mximo absoluto en si alcanza un mnimo absoluto en si

Diremos que alcanza un extremo relativo en si alcanza un mximo o un mnimo relativo, y que alcanza un extremo absoluto en si alcanza un mximo o un mnimo absoluto. TEOREMA: Si es continua en ,y es un conjunto compacto de , entonces alcanza un mximo y un mnimo absolutos en .

21

TEOREMA(Condicin necesaria): Sea ,y punto interior de . Si es diferenciable en y alcanza un extremo relativo en , entonces OBSERVACIN: Los puntos en los que es diferenciable y se verifica se llaman puntos estacionarios de la funcin. Por tanto el teorema anterior asegura que los extremos relativos son puntos estacionarios. OBSERVACIN: Para estudiar si una funcin tienen mximos o mnimos, la definicin antes dada no es nada prctica. Necesitamos la diferencial segunda para estudiar como es la funcin. Para trabajar con la diferencial segunda, usaremos la forma cuadrtica. DEFINICIN: Sea una forma cuadrtica no nula: Se dice que es definida positiva si Se dice que es definida negativa si Se dice que es semidefinida positiva si y no es definida positiva Se dice que es semidefinida negativa si y no es definida negativa Se dice que es indefinida en el resto de los casos, es decir, si existen , tales que TEOREMA(Condicin suficiente): Sea , abierto, y supongamos que es de clase en . Sea un punto estacionario de

22

, es decir, tal que . Entonces: Si es definida positiva, entonces alcanza en un mnimo relativo. Si es definida negativa, entonces alcanza en un mximo relativo. Si es indefinida, entonces no alcanza en un extremo relativo. OBSERVACIN: Si es semidefinida(positiva o negativa), el teorema anterior no da ninguna informacin. A los puntos estacionarios para los que es indefinida se les llama puntos de silla de DEFINICIN: Llamamos RANGO de una forma cuadrtica al rango de su matriz asociada y SIGNATURA al nmero de autovalores positivos que posee(contando multiplicidad). OBSERVACIN: Como la matriz asociada a una forma cuadrtica es simtrica, siempre tiene autovalores reales(contando multiplicidad), por lo que el rango de la forma cuadrtica es igual al nmero de autovalores diferentes de cero(contando multiplicidad) TEOREMA: Sea una forma cuadrtica. Entonces: es definida positiva si y solo si y . es definida positiva si y solo si y . es semidefinida positiva si y solo si . es semidefinida positiva si y solo si y . 23

TEOREMA(Criterio de Sylvester): Sea el determinante de orden formado por los elementos de las primeras filas y las primeras columnas de la matriz asociada a . Entonces: es definida positiva si y solo si . es definida negativa si y solo si . OBSERVACIN: En nuestro caso esto lo aplicaremos al hessiano de la funcin, ya que por ser la diferencial segunda, su matriz es una forma cuadrtica. DEFINICIN: Sea y (ligadura). Sea tambin , y sea . Entonces se dice que tiene en un extremo relativo condicionado por la ligadura si existe un entorno de tal que se verifica: . Entonces es un mximo relativo condicionado por .

. Entonces es un mnimo relativo condicionado por . OBSERVACIN: Lo de condicionado significa que estudiamos la funcin en el dominio limitado por la superficie , dada por una funcin que llamaremos ligadura. TEOREMA(Condicin necesaria): Sea y , abierto, y

24

y de clase en . Sea tambin , y supongamos que y que el rango de sea (Los vectores gradiente son independientes). Si la funcin tiene un extremo relativo en condicionado por la ligadura , entonces existen tales que la funcin (Funcin de Lagrange o lagrangiano ) verifica que (Tiene un punto estacionario en ) Ejemplo: Hallar los extremos de condicionados por

Es facil darse cuenta que es una elipse dada por la interseccin de un cilindro vertical con un plano oblicuo.

Construimos el lagrangiano

Como sabemos que : , y por ser , nos queda que

Y adems

25

Tenemos cinco incgnitas y cinco ecuaciones. Resolviendo el sistema tenemos los extremos relativos OBSERVACIN: A menudo es muy difcil la resolucin de los sistemas de ecuaciones, al no ser estos lineales. TEOREMA(Condicin suficiente): Adems de verificarse el teorema anterior, ahora pedimos que y sean de clase en . Consideramos entonces la forma cuadrtica Entonces : Si es definida positiva, entonces es un mnimo relativo de condicionado por Si es definida negativa, entonces es un mximo relativo de condicionado por Si es indefinida, entonces no es un extremo relativo. CLCULO(Busqueda de extremos absolutos en compactos): Si , compacto, sabemos que tiene mximo y mnimo absolutos en . Dichos extremos pueden ser del interior de , y por tanto estn en los puntos estacionarios, o pertenecer a la frontera de . Para encontrarlos buscaremos los puntos estacionarios del lagrangiano y evaluaremos en dichos puntos. Vease Topologa Usual en Vase Formas Bilineales y Sesquilineales en lgebra 15

26

27