• No se han encontrado resultados

Tema 1 Funciones de Varias Variables. L´ımites y Continuidad

N/A
N/A
Protected

Academic year: 2021

Share "Tema 1 Funciones de Varias Variables. L´ımites y Continuidad"

Copied!
12
0
0

Texto completo

(1)

Funciones de Varias Variables.

L´ımites y Continuidad

1.1 Introducci´ on al espacio IR n .

El objetivo de este tema es definir el concepto de l´ımite de una funci´on de varias variables.

Intuitivamente, se podr´ıa hacer as´ı: “Sea f : IR

n

−→ IR

m

,a ∈ IR

n

, b ∈ IR

m

decimos que

x→a

lim f (x) = b cuando basta tomar valores de x suficientemente pr´oximos al punto a para conseguir que f (x) est´e tan cerca de b como queramos”.

Necesitamos definir, pues, el concepto de proximidad en IR

n

.

Definici´ on 1.1 Definimos el conjunto IR

n

como el conjunto de las n-uplas de n´umeros reales, es decir

IR

n

≡ {(x

1

, x

2

, · · · , x

n

) / x

i

∈ IR}

IR se representa geom´etricamente como los puntos de una recta

0 1

1

(2)

IR

2

se representa como los puntos de un plano.

- 6

0

(a,b)

b

a X

Y

- - - -

IR

3

como los puntos del espacio.

- 6

¡¡

¡¡

¡ ª

0

(a,b,c)

c

b

a

Y Z

X

- - - - ·

··· ··· · - - - - · ··· ··· · - - - - ··· ··· ··

A partir de IR

3

es imposible representarlo geom´etricamente.

A cada punto de IR

n

se le asocia el vector que tiene su origen en el origen de coordenadas y su extremo en dicho punto, llamado vector de posici´ on.

A la base formada por los vectores {(1, 0, · · · , 0), (0, 1, 0, · · · , 0), · · · , (0, 0, · · · , 0, 1)}

se le llama base can´ onica.

Teorema 1.1 IR

n

con las operaciones suma de vectores y producto de vectores por escalares, tiene estructura de espacio vectorial. Dicho de otra forma

(IR

n

, +, ·

IR

) es un e.v.

1.1.1 Producto escalar

Definici´ on 1.2 Se define el producto escalar de 2 vectores en IR

n

, ~a = (a

1

, a

2

, · · · , a

n

) y

~b = (b

1

, b

2

, · · · , b

n

) (respecto de la base can´onica) como

~a · ~b =

Xn

i=1

a

i

· b

i

(3)

Propiedades El producto escalar verifica las siguientes propiedades:

(

1 ~a · ~a ≥ 0

2 ~a · ~a = 0 ⇔ ~a = ~0

• (α · ~a) · ~b = α · (~a · ~b) = ~a · (α · ~b)

• ~a · (~b + ~c) = ~a · ~b + ~a · ~c

• ~a · ~b = ~b · ~a

1.1.2 Norma eucl´ıdea

Es el equivalente al valor absoluto en IR.

Definici´ on 1.3 Se define la norma eucl´ıdea de un vector ~x ∈ IR

n

como k~xk = +

~x · ~x = +

q

x

21

+ x

22

+ · · · + x

2n

Propiedades La norma verifica las siguientes propiedades:

• |~x · ~y| ≤ k~xk · k~yk (Desigualdad de Cauchy-Swartz).

• k~x + ~yk ≤ k~xk + k~yk

• kα · ~xk = |α| · k~xk

• k~xk ≥ 0 , k~xk = 0 ⇔ ~x = ~0

Ahora podemos definir la distancia entre dos puntos como la norma de la diferencia de los vectores que los determinan.

Definici´ on 1.4 Dados dos puntos A y B de IR

n

determinados por los vectores de posici´on ~a y ~b , definimos la distancia entre ellos de la siguiente manera

d(A, B) = k~a − ~bk

(4)

1.2 Funciones de varias variables. Geometr´ıa de las funciones con valores reales.

Hasta ahora hemos estudiado, el curso anterior, las funciones reales de una variable real, es decir, las aplicaciones f : A ⊂ IR −→ B ⊂ IR.

En este cap´ıtulo estudiaremos funciones f : IR

n

−→ IR

m

, que en el caso n = m = 1 coinciden con las ya mencionadas funciones reales de una variable real.

Definici´ on 1.5 LLamamos funci´on vectorial de una variable real a una funci´on f : IR −→ IR

m

, m > 1

Definici´ on 1.6 Se llama campo escalar a una funci´on f : IR

n

−→ IR

Ejemplo La funci´on que a cada punto del espacio le asocia su temperatura es un campo escalar.

Definici´ on 1.7 Se llama campo vectorial a una funci´on f : IR

n

−→ IR

m

, m > 1 Ejemplo La funci´on que a cada punto del plano le asocia la velocidad del viento en ese punto.

La diferencia entre ambos campos es su conjunto imagen. Si ´este es num´erico (escalar), ser´a un campo escalar; en caso contrario ser´a un campo vectorial.

Tanto en un caso como en otro y, en general, si el dominio de definici´on de f es un subconjunto A ⊂ IR

n

, n > 1 , decimos que f es una funci´on de varias variables.

Notaci´ on Usaremos la notaci´on f : IR

n

−→IR

m

x −→ y donde x = (x

1

, x

2

, · · · , x

n

) y = (y

1

, y

2

, · · · , y

m

) = (f

1

(x), · · · , f

m

(x)) A f

i

i = 1, 2, · · · , n, se les llama componentes de f

Ejemplo 1 f : IR

3

−→ IR siendo f (x, y, z) =

x

2

+ y

2

+ z

2

Ejemplo 2 g : IR

6

−→ IR

2

siendo g(x

1

, x

2

, x

3

, x

4

, x

5

, x

6

) = (x

1

x

2

x

3

x

4

x

5

x

6

,

q

x

21

+ x

26

)

Definici´ on 1.8 Sea f : U ⊂ IR

n

−→ IR. Definimos la gr´afica de f como el conjunto de

todos los puntos (x

1

, x

2

, · · · , x

n

, f (x

1

, x

2

, · · · , x

n

)) ∈ IR

n+1

para (x

1

, x

2

, · · · , x

n

) ∈ U.

(5)

Ejemplos: La gr´afica de la funci´on f : U ⊂ IR −→ IR es una curva en IR

2

y la de g : U ⊂ IR

2

−→ IR una superficie en IR

3

U x

y z

1.2.1 Conjuntos de nivel

Para conocer el comportamiento de la funci´on es importante visualizar su gr´afica. Una buena t´ecnica para representarla es a trav´es de los conjuntos de nivel.

Definici´ on 1.9 Sea f : U ⊂ IR

n

−→ IR y c ∈ IR. Entonces el conjunto de nivel del valor c se define como aquellos puntos x ∈ U para los cuales f (x) = c ; es decir, f es constante en todos esos puntos.

Si n = 2 hablamos de curva de nivel.

Si n = 3 hablamos de superficie de nivel.

Ejemplo 1 Curvas de nivel en mapas topogr´aficos:

Ejemplo 2 Hallar las curvas de nivel para la funci´on f : IR

2

−→IR

(x, y)−→x

2

+ y

2

(6)

Las curvas de nivel dadas por f (x, y) = c son circunferencias centradas en el origen y de radio

c

x

y z

c=2 c=1

c=3

Ejemplo 3 Visualizar las superficies de nivel del campo escalar f : IR

3

−→IR

(x, y, z)−→x

2

+ y

2

+ z

2

Al hacer f (x, y, z) = cte. se obtienen superficies esf´ericas centradas en el origen y de radio

c

Otra t´ecnica para representar campos escalares es la de representar las secciones que resultan de cortar la superficie por planos paralelos ZY o al ZX . Esto se consigue haciendo x = cte, y = cte, z = cte respectivamente.

Ejemplo 4 Representar el campo del ejemplo 2 mediante secciones.

a) Si hacemos x = cte. obtenemos z = c

2

+ y

2

es decir, par´abolas trasladadas verticalmente en c

2

unidades.

b) Si hacemos y = cte. se obtiene z = x

2

+ c

2

es decir, par´abolas trasladadas verticalmente en c

2

unidades.

Resulta pues un paraboloide parab´olico.

−1

−0.5 0

0.5 1

−1

−0.5 0 0.5 1 0 0.5 1 1.5 2

(7)

1.3 L´ımite de funciones de varias variables. Propiedades

Vamos a dar varias definiciones equivalentes del l´ımite de una funci´on de varias variables.

Definici´ on 1.10 Sea f : U ⊂ IR

n

−→ IR

m

donde U es un conjunto abierto. Sea x

0

∈ U

0

, l ∈ IR

m

. Decimos que lim

x→x0

f (x) = l cuando

a) Definici´on intuitiva, basta tomar valores de x suficientemente pr´oximos a x

0

para conseguir que f (x) est´e tan cerca de l como queramos.

b) para cualquier B(l, ²), podemos conseguir que f (x) ∈ B(l, ²) tomando x ∈ B(x

0

, δ) para un cierto δ.

c) ∀ ² > 0, ∃ δ / 0 < kx − x

0

k < δ ⇒ kf (x) − lk < ² N´otese que decir lim

x→x0

kf (x) − lk = 0 es lo mismo que decir lim

kx−x0k→0

kf (x) − lk = 0 y lo mismo que lim

kx−x0k→0

f (x) = l.

Teorema 1.2 Sea f : U ⊂ IR

n

−→ IR

m

y x

0

∈ U

0

. Entonces, si existe lim

x→x0

f (x) , dicho l´ımite es ´unico.

Teorema 1.3 Sean f, g : U ⊂ IR

n

−→ IR

m

x

0

∈ U

0

, λ ∈ IR, lim

x→x0

f (x) = b, lim

x→x0

g(x) = c . Entonces a) lim

x→x0

λ · f (x) = λ · b b) lim

x→x0

[f (x) + g(x)] = b + c c) lim

x→x0

f (x) · g(x) = b · c (estos ´ultimos productos son productos escalares) d) lim

x→x0

kf (x)k = kbk

e) Si f (x) = (f

1

(x), · · · , f

m

(x)) donde f

i

: U ⊂ IR

n

−→ IR son las funciones componentes de f , entonces

x→x

lim

0

f (x) = b ⇔ lim

x→x0

f

i

(x) = b

i

f) Si m = 1 lim

x→x0

f (x) · g(x) = b · c

g) Si m = 1 f (x) 6= 0 ∀ x ∈ U y b 6= 0 entonces lim

x→x0

1 f (x) = 1

b

(8)

Ejemplo Probar utilizando la definici´on

(x,y)→(0,0)

lim x

2

x

2

+ y

2

= 0

∀² > 0∃δ(²) > 0 tal que si k(x, y) − (0, 0)k < δ =⇒ |f (x, y) − 0| < ²

¯¯

¯¯

¯

x

2

x

2

+ y

2

¯¯

¯¯

¯

<

¯¯

¯¯

¯

x

2

+ y

2

x

2

+ y

2

¯¯

¯¯

¯

=

q

x

2

+ y

2

< δ

1.3.1 L´ımites direccionales

Definici´ on 1.11 Sea f : D ⊂ IR

n

−→ IR

m

, M ⊂ D, y a ∈ D

S

F r(D) . Decimos que f (x) tiene l´ımite l en a ∈ D

S

F r(D) seg´un el subconjunto M ⊂ D si lim

x→a x∈M

f (x) = l tomando valores x ∈ M.

A dicho l´ımite se le conoce como l´ımite direccional a trav´es de M.

Teorema 1.4 lim

x→a

f (x) existe si y s´olo si existen los l´ımites de f (x) en x = a seg´un cualquier subconjunto M , y adem´as deben coincidir.

1.3.2 C´ alculo de l´ımites direccionales

Consideremos f : IR

2

→ IR para tomarla como referencia en la explicaci´on, en la que veremos que el c´alculo de l´ımites dobles difiere del c´alculo de l´ımites en IR

I) ÃL´ımites direccionales a trav´es de rectas que pasan por (x

0

, y

0

)

Queremos calcular el valor al que se acerca f (x, y) cuando (x, y) se acerca a (x

0

, y

0

),

movi´endose a lo largo de la rectas x = x

0

e y = y

0

+ m(x − x

0

), ∀m ∈ IR.

(9)

As´ı:

(x,y)→(x0,y0)

lim

x=x0

f (x, y) = lim

y→y0

f (x

0

, y)

´o lim

(x,y)→(x0,y0)

y=y0+m(x−x0)

f (x, y) = lim

x→x0

f (x, y

0

+ m(x − x

0

)) Es en realidad un l´ımite unidimensional.

Una vez calculados estos l´ımites, pueden darse dos posibilidades:

a) No todos los l´ımites a trav´es de rectas tienen el mismo valor (el l´ımite depende de m). En este caso, conclu´ımos que no puede existir el l´ımite doble, ya que f (x, y) es oscilante en las cercan´ıas de (x

0

, y

0

).

b) Todos los l´ımites a trav´es de rectas tienen el mismo valor l. En este caso, conclu´ımos que, de existir, el l´ımite doble, debe valer tambi´en l (habr´ıa que demostrarlo).

Veamos un ejemplo:

Ejemplo 1 Calcular lim

(x,y)→(0,0)

xy

2

x

2

+ y

4

Las rectas que pasan por el origen son de ecuaci´on y = mx, y los l´ımites a trav´es de rectas son:

lim

(x,y)→(0,0)

y=mx

xy

2

x

2

+ y

4

= lim

x→0

f (x, mx) = lim

x→0

x

3

m

2

x

2

+ m

4

x

4

= lim

x→0

xm

2

1 + m

4

x

2

=

= 0

Por tanto, en este ejemplo se da la igualdad de todos los l´ımites a trav´es de rectas y = mx y como conclusi´on, tendr´ıamos que, de existir el l´ımite doble valdr´ıa cero.

Sin embargo, en este caso, no existe el l´ımite doble en el origen. Para demostrarlo, necesitamos considerar un nuevo tipo de l´ımite unidimensional: el l´ımite a trav´es de una curva. Antes de dar la definici´on precisa, vamos a acabar nuestro ejemplo.

¿Hacia qu´e valor se aproxima f (x, y) cuando (x, y) se acerca a (0, 0), movi´endose a lo largo de la par´abola x = y

2

?. Bastar´a calcular el siguiente l´ımite de f (x, y) a trav´es de la par´abola x = y

2

:

(x,y)→(0,0)

lim xy

2

x

2

+ y

4

= (x = y

2

) = lim

y→0

f (y

2

, y) = lim

y→0

y

4

y

4

+ y

4

= 1 2

Esto nos muestra que nuestra funci´on es oscilante en las proximidades de (0, 0): de

hecho, toma el valor constante

12

sobre la curva x = y

2

; pero al acercarse (x, y) al

origen por una recta y = mx se aproxima a cero. Por tanto, conclu´ımos que no

(10)

existe el l´ımite doble, ya que de existir, los l´ımites a trav´es de cualquier subconjunto M deben coincidir.

II) ÃL´ımites direccionales a trav´es de curvas que pasan por (x

0

, y

0

)

Supongamos que una curva en el plano OXY pasa por el punto (x

0

, y

0

) y tiene por ecuaciones param´etricas:





x = x(t)

y = y(t), t ∈ [a, b]

Sea t

0

∈ [a, b] tal que (x

0

, y

0

) = (x(t

0

), y(t

0

)). El l´ımite a trav´es de la curva se define por

(x,y)→(x

lim

0,y0)

f (x, y) = (x = x(t), y = y(t)) = lim

t→t0

f (x(t), y(t)) Las curvas que utilizaremos para el estudio de los l´ımites dobles son:

a) Par´abolas que pasan por (x

0

, y

0

), de la forma y−y

0

= m(x−x

0

)

2

o x−x

0

= m(y − y

0

)

2

b) Curvas que pasan por (x

0

, y

0

), de la forma y − y

0

= m(x − x

0

)

α

o x − x

0

= m(y − y

0

)

α

, α ∈ IR

Observaci´ on El hecho de que existan todos los l´ımites direccionales y que coinci- dan, no garantizan la existencia del l´ımite doble.

Es evidente que cuando existe el l´ımite doble de una funci´on, tambi´en existen los direccionales y tienen el mismo valor que el doble. Pero no conviene olvidar que, como muestra el ejemplo anterior, aunque coincidan todos los l´ımites a trav´es de las rectas que pasan por el punto (x

0

, y

0

), nada puede asegurarse sobre la existencia del doble. Pasaremos ahora a indicar, qu´e debe hacerse en estos casos.

III) Si todos los l´ımites direccionales que hemos intentado calcular, tienen el mismo valor l, no podemos asegurar a´un que existe el l´ımite doble, pero s´ı podemos estar seguros de que, en caso de existir, su valor debe ser l. Por tanto debemos proceder a calcular la diferencia | f (x, y) − l |, tratando de comprobar que se hace peque˜na para (x, y) cercano a (x

0

, y

0

). Veamos un ejemplo:

Ejemplo 2 Calcular lim

(x,y)→(0,0)

xy

3

x

2

+ y

2

.

Calculemos los l´ımites a trav´es de rectas que pasan por el origen: y = mx.

(x,y)→(0,0)

lim

y=mx

xy

3

x

2

+ y

2

= lim

x→0

mx

3

x

2

+ m

2

x

2

= lim

x→0

mx

1 + m

2

= 0

(11)

La igualdad de los l´ımites a trav´es de las rectas y = mx nos permite afirmar que el l´ımite doble de existir, debe valer cero. Evalu´emos la diferencia

| f (x, y) − 0 |= | x | y

2

| y |

x

2

+ y

2

| x | y

2

| y |

y

2

=| x || y |

Tenemos que 0 ≤| f (x, y) − 0 |≤| x || y |. La regla de Sandwich nos asegura que f (x, y) tiende a 0.

IV) L´ımites por polares.

Para el c´alculo del l´ımite de una funci´on f (x, y) cuando (x, y) tiende a (x

0

, y

0

) es conveniente, algunas veces, aplicar cambio a coordenadas polares.

x = x

0

+ r cos(α), y = y

0

+ r sen(α).

Si al expresar f (x, y) en coordenadas polares obtenemos:

f (x, y) = F (r)G(r, α) siendo G acotada y verificando F que lim

r→0

F (r) = 0, entonces lim

(x,y)→(0,0)

f (x, y) = 0, pues se tiene

0 ≤| f (x, y) − 0 |≤ c | F (r) |

para cualesquiera r y α (c > 0 es una constante tal que | G(r, α) |≤ c) Ejemplo 3: Calcular lim

(x,y)→(0,0)

x

3

x

2

+ y

2

Expresemos f (x, y) en polares:

f (rcosα, rsenα) = r

3

cos

3

α

r

2

(cos

2

α + sen

2

α) = rcos

3

α = F (r)G(α).

G est´a acotada por 1 y lim

r→0

F (r) = 0. Por tanto, lim

(x,y)→(0,0)

x

3

x

2

+ y

2

= 0

1.4 Continuidad de funciones de varias variables.

Propiedades

Definici´ on 1.12 Sea f : U ⊂ IR

n

−→ IR

m

donde U es un conjunto abierto. Sea x

0

∈ U . Decimos que f es continua en x = x

0

si lim

x→x0

f (x) = f (x

0

).

(12)

1.4.1 Propiedades

Teorema 1.5 Sean f, g : U ⊂ IR

n

−→ IR

m

, x

0

∈ U, λ ∈ IR dos funciones continuas en el punto x = x

0

. Entonces:

• λ · f (x), f (x) + g(x), f (x) · g(x) (producto escalar), kf k son continuas en x = x

0

• si f (x) = (f

1

(x), f

2

(x), · · · , f

m

(x)) , entonces

f es continua ⇔ f

i

es continua ∀ i = 1, 2, · · · , n

• Si m = 1 f (x) · g(x) y 1

f (x) si f (x

0

) 6= 0, f (x) 6= 0 ∀ x ∈ U son continuas

• La funci´on identidad es continua en todo IR

n

• Sean f, g dos funciones tales que la funci´on f ◦ g est´a definida en a siendo (f ◦ g)(x) = f [g(x)] . Entonces, si g es continua en a y f es continua en g(a) , la funci´on compuesta f ◦ g es continua en a.

Consecuencias

I Los campos escalares proyecciones f : IR

n

−→ IR con f (x) = x

i

son continuas por ser las componentes de la funci´on identidad.

II Un campo escalar definido por un polinomio de n variables es continuo en todo IR

n

(como , por ejemplo, f (x, y, z) = x

3

y + 3x

7

y

3

z − 5xz

7

) ya que no es m´as que sumas y productos de campos escalares proyecciones.

III Todo campo escalar definido como cociente de polinomios es continuo, siempre que

el denominador no se anule.

Referencias

Documento similar

Dentro de estas especies podemos encontrar especies como Cytisus scoparius (L.) Link o Retama sphaerocarpa (L.) Boiss 11, 12, 13 (Fig.5). Este trabajo tiene una finalidad docente.

o esperar la resolución expresa&#34; (artículo 94 de la Ley de procedimiento administrativo). Luego si opta por esperar la resolución expresa, todo queda supeditado a que se

fXÁÍxeúq de San Bernardo, Viendo, puef, alii ios tolda- dos dé lefu Chiiño 5 que en aquel habito de Monges afsi le feTuiájComecó a pefar quji tuefie el fin de 'entrambos

Por otra parte, como una sucesi´on de funciones continuas que converge uni- formemente tiene como l´ımite una funci´on continua (teorema A.15), s´ olo podemos esperar

Establecer un arancel de 98% para la importación de leche y nata (crema) clasificada por la partida arancelaria 04.02, por tal motivo estos productos no estarán sujetos al mecanismo

Con el objetivo de profundizar en lo ante- rior, el pasado 6 de agosto los doctores Rafael Rangel Sostmann, rector del Tecnológico de Monterrey, y Alberto Bustani Adem, rector de

Enlace de bajada para S- SAR y ciertos datos L-SAR selectos a estaciones ISRO Procesamiento de datos L-. band

monocotiledóneas (Cyperus rotundus l., Echinochloa crus galli L., Setaria itálica L.), dicotiledóneas (Portulaca oleracea L., Solanum nigrum L.) y el cultivo en