P. 1
Límite y Continuidad de Funciones de Varias Variables.

Límite y Continuidad de Funciones de Varias Variables.

5.0

|Views: 4.637|Likes:
Notas de clase del tema: desde una reseña histórica hasta su estudio en campos escalares y vectoriales. Tratamiento formal y moderno de un asunto que es piedra angular del análisis Matemático.
Autor: José Espina Alvarado (JEA).
Curso: Cálculo de varias variables.
Carrera: Ingeniería.
Notas de clase del tema: desde una reseña histórica hasta su estudio en campos escalares y vectoriales. Tratamiento formal y moderno de un asunto que es piedra angular del análisis Matemático.
Autor: José Espina Alvarado (JEA).
Curso: Cálculo de varias variables.
Carrera: Ingeniería.

More info:

Published by: José Espina Alvarado on Apr 10, 2011
Copyright:Attribution

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/28/2015

pdf

text

original

LÍMITE Y CONTINUIDAD DE UNA FUNCIÓN DE VARIAS VARIABLES

José Espina Alvarado

U

na de las ideas centrales del aparato actual del Análisis Matemático es la de límite. En ella se apoyan las demostraciones infinitesimales, caracterizadas por juicios hipotético-deductivos y el uso de desigualdades específicas (construcción ε-δ).

El concepto de Límite y el camino hasta él datan de épocas remotas en la historia de la matemática.

La primera forma teórica de razonar con límites procede de los antiguos griegos, en particular Demócrito calculó el volumen de pirámides y conos, se cree que considerándolos formados por un número infinito de secciones de grosor infinitesimal (infinitamente pequeño); Eudoxo de Cnido y Arquímedes de Siracusa utilizaron el "Método de Exhaución" para encontrar el área de una circunferencia con el uso de polígonos inscritos. Sin embargo, las dificultades para trabajar con números irracionales y las paradojas de Zenón de Elea impidieron formular una teoría sistemática del Análisis Matemático. Hasta los trabajos de I. Newton publicados en 1704, lo que entonces era una sucesión de pasos aislados se convirtió en el principio de una investigación seria. Fue Newton quien introdujo el término limes (límite) sin dar una definición formal,
Sir Isaac Newton

presuntamente por su “evidencia”.

En el siglo XVIII aumentó considerablemente el número de aplicaciones del cálculo, pero el uso impreciso de las cantidades infinitas e infinitesimales, así como la intuición geométrica, causaban todavía confusión y controversia sobre sus fundamentos. Uno de sus críticos más notables fue el filósofo irlandés G. Berkeley (1685-1753). Los partidarios de los métodos con límites, especialmente el francés J. D’Alembert (1717-1783), defendieron con vehemencia su legitimación. Este investigador afirmó que Newton vio en el Cálculo Diferencial sólo el método de definición de límites de relaciones. Sin embargo, el mismo D’Alembert no pudo encajar en algún método racional a la eliminación de infinitesimales de Leibniz. A principios del siglo XIX las obras de muchos matemáticos reflejaban la necesidad objetiva de diseñar una teoría de límites como base del Análisis Matemático y una reestructuración radical de este último. El más destacado de estos creadores fue Agustín Luís Cauchy (1789-1857). A. Cauchy cursó estudios en la escuela Politécnica de París, culminando su formación en el Instituto de Vías de Comunicación de la misma ciudad, donde además trabajó como INGENIERO, llegando a publicar

Límite y Continuidad de Funciones

2

cerca de 800 trabajos de investigación. En la escuela Politécnica dictó conferencias sobre Análisis Matemático, publicadas posteriormente en tres títulos: “Curso de Análisis” (1821), “Resumen de conferencias sobre el cálculo infinitesimal” (1823), y “Conferencias sobre aplicaciones del análisis a la geometría” (2 tomos, 1826 y 1828). En estas obras se construye por primera vez el Análisis Matemático sobre la base de una teoría de límites, preludio inmediato a su estado actual. En su “Curso de Análisis”, Cauchy describe en mucho los fundamentos contemporáneos de esta rama de la matemática. En él se introduce el concepto de magnitud “infinitesimal” como una variable cuyo límite es cero. La continuidad de una función se explica como la correspondencia de un incremento infinitesimal de la función a un incremento infinitesimal del argumento. Con gran detalle se expone lo referente a la convergencia de series infinitas, cuya existencia se condiciona con la existencia del límite de las sumas de un número finito de términos analizando rigurosamente al resto. No menos importante fue el aporte del eminente matemático checo Bernardo Bolzano (1781-1848), cuyos trabajos lamentablemente, fueron reconocidos treinta años después de su muerte. Bolzano formuló y demostró en 1817 que si un conjunto de números reales está acotado superiormente (o inferiormente) entonces tiene un extremo superior (o inferior), adelantándose al profesor berlinés Karl Weierstrass (1815-1897), quien formuló este teorema en 1860. También antes que Cauchy, Bolzano había deducido el criterio de convergencia de sucesiones y dado una definición rigurosa de continuidad de una función; a él se debe el concepto de continuidad lateral y también la demostración de que una función continua entre dos de sus valores, toma todos los intermedios. A todo aquello se sumaron las ideas de Weierstrass sobre la naturaleza del número real. La utilización sistemática de los conceptos de extremos superior e inferior de conjuntos numéricos, construcción de una función que no es derivable en su dominio y otros, fueron resultados importantes introducidos por Weierstrass al Análisis Matemático. En ese armonioso y riguroso sistema, ya para 1880 se había elaborado la forma actual de las definiciones y el aparato de demostraciones, con base en razonamientos condicional-deductivos (“Para cualquier ε positivo, existe δ también positivo, tal que…”), y el simbolismo correspondiente. Por fortuna, la historia del Análisis tiende a ser infinita.

I.

Límite de una función real
Considere la función f : U ⊂ ℜ2 → ℜ con regla z = f (x , y ) . Se dice que f tiene límite L cuando

(x , y ) tiende a (x 0, y 0 ) , si la distancia entre estos dos puntos es tan pequeña que a consecuencia de ello

f (x , y ) − L es también arbitrariamente pequeña. Esto es,

JEA/05/06/98

Límite de una función vectorial Definición I-1.
Lim

3

( x , y ) →( x 0 , y 0 )

f (x , y ) = L ⇔ ∀ε > 0∃δ > 0 (x , y ) ∈ Bδ* ((x 0 , y0 ) ) ⇒ f (x , y ) ∈ Bε (L ) .

En esta definición, los símbolos ε y δ representan números reales positivos arbitrariamente pequeños y se
* * * supone que Bδ ((x 0 , y 0 ) ) I U ⊆ Bδ ((x 0 , y 0 ) ) ⇒ Bδ ((x 0 , y 0 ) ) I U ≠ ∅ ; en este caso (x 0, y 0 ) se llama punto de

acumulación del conjunto U. Esto significa que toda bola reducida de ese punto contiene puntos de U diferentes del centro, dicho de otro modo, en dicha bola hay infinitos puntos del dominio distintos del centro. El hecho de que (x 0, y 0 ) no este en U es irrelevante: la función puede tener límite en un punto donde no esta definida, por ejemplo en la frontera de un dominio no cerrado. Geométricamente puede ilustrarse la definición como sigue.
z L+ε L L-ε

y

( x0,y0)

δ

x

Obsérvese que si la distancia del punto variable al de acumulación del dominio es menor que δ, es condición suficiente para que la imagen de f esté tan próxima a L que la diferencia entre ellos resulta

JEA/05/06/98

Límite de una función vectorial

4

menor que ε. Dicho de otro modo, f (x , y ) está entre (L-ε) y (L+ε) siempre que1 (x , y ) este en el disco reducido de centro (x 0, y 0 ) y radio δ. Debe destacarse que para probar un límite se tiene entonces la necesidad de encontrar un δ para cada valor de ε libremente escogido; por esta razón se recapitula la definición anterior para hacerla operacional. Definición I-1.(Forma Operacional)
(x , y ) →( x 0 , y 0 )

Lim

f (x , y ) = L ⇔ ∀ε > 0∃δ > 0

f (x , y ) − L < ε

s.q.

0 < (x − x 0 )2 + ( y − y 0 )2 < δ .

Más aun, como x − x 0 = (x − x 0 )2 ≤ (x − x 0 )2 + (y − y 0 )2 < δ se puede escribir
( x , y ) →( x 0 , y 0 )

Lim

f (x , y ) = L ⇔ ∀ε > 0∃δ > 0

f (x , y ) − L < ε

s.q.

0 < x − x0 < δ , 0 < y − y0 < δ .

Al igual que en los límites de funciones de una variable real, el reto es definir la cota superior de

f (x , y ) − L sabiendo que y − y 0 y x − x 0 están acotados superiormente por algún δ, teniendo presente
que por definición la cota así determinada debe ser igual o menor ε. Ej. 1) Demuestre que Sol.Por definición
( x , y ) →( −3,2) ( x , y ) →( −3,2)

Lim

( 4x − 5y + 2) = −20 .

Lim

( 4x − 5y + 2) = -20 ⇔ ∀ε > 0∃δ > 0

4x − 5y + 2 + 20 < ε

s.q.

0 < (x + 3)2 + (y − 2)2 < δ

Sabiendo que 0 < x + 3 < δ y 0 < y − 2 < δ se define una cota para 4x − 5y + 2 + 20 . Esto se logra manipulando algebraicamente esta ultima expresión de manera que en cada sumando del argumento de la función valor absoluto aparezca al menos uno de los factores (x + 3) o ( y − 2) . De este modo,
4x − 5y + 2 + 20 = 4x − 5y + 22 = 4[(x + 3) − 3] − 5[(y − 2) + 2] + 22 = 4(x + 3) − 5(y − 2) ≤ 4x +3 + 5y −2 < 4δ + 5δ = 9δ ≤ ε
…factorización; …desigualdad triangular y propiedad del valor absoluto de un producto; …propiedades del producto y la adición de desigualdades; uso de la definición.

Luego, para cualquier ε seleccionado, basta tomar δ ≤ ε 9 que verifique el límite dado.

1

En adelante abreviaremos “siempre que” mediante s.q.

JEA/05/06/98

Límite de una función vectorial Ej. 2) Demuestre que Sol.Por definición
Lim (1 − xy + 2x − 2y ) = 6 ⇔ ∀ε > 0 ∃δ > 0
2 3

5

( x , y ) →(1, −1)

Lim

(1 − xy + 2x 2 − 2y 3 ) = 6 .

1 − xy + 2x 2 − 2y 3 − 6 < ε s.q. 0 < (x − 1)2 + ( y + 1)2 < δ

( x , y ) →(1, −1)

Estrategia 1. Factorización Simultánea por Sumas y Diferencias de Potencias n-ésimas.
1 − xy + 2x 2 − 2y 3 − 6 = 2y 3 − 2x 2 + xy + 5

= 2 (y 3 + 1) − 1 − 2 (x 2 − 1) + 1 + x [( y + 1) − 1] + 5 = 2(y 2 − y + 1)(y + 1) − 2 − 2(x + 1)(x − 1) − 2 + x (y + 1) − [(x − 1) + 1] + 5 = 2(y 2 − y + 1)(y + 1) − 2(x + 1)(x − 1) + x (y + 1) − (x − 1) − 1 + 1 = 2(y 2 − y + 1)(y + 1) − (2x + 3)(x − 1) + x (y + 1) ≤ 2 y 2 − y + 1 y + 1 + 2x + 3 x − 1 + x y + 1

[

] [

]

Nótese que en cada sumando uno de los factores esta acotado por definición. Para el otro factor es necesario calcular una cota superior, con el objeto de encontrar una cota para la suma y garantizar así que
1 − xy + 2x 2 − 2y 3 − 6 < ε . Como la función de estudio es un polinomio es factible suponer δ ≤ 1 (¿por

qué?), y entonces

x − 1 < 1 ⇒ −1 < x − 1 < 1 ⇒ 0 < x < 2
(1a )

(1a)

y + 1 < 1 ⇒ −1 < y + 1 < 1 ⇒ −2 < y < 0
(1b )

(1b)

⇒x <2
+ ( 3)

↑2: 0 < y 2 < 4
+ (1)

(2b)

(2) ⋅ (1a ) : 0 < 2x < 4 ⇒ 3 < 2x + 3 < 7
(2a )

(2a)

( −1) ⋅ (1b ) : 0 < −y < 2 ⇒ 1 < −y + 1 < 3
(2b ) + (3b ) : 1

(3b)

⇒ 2x + 3 < 7

< y2 − y +1 < 7 ⇒ y2 − y +1 < 7

Así tenemos:
1 − xy + 2x 2 − 2y 3 − 6 < 2(7)δ + 7δ + 2δ = 23δ ≤ ε

Luego, para cualquier ε seleccionado basta tomar δ ≤ mín(1, ε

) que verifique el límite dado. 23

JEA/05/06/98

Límite de una función vectorial Estrategia 2. Factorización Simultánea usando Potencias de Binomios.
1 − xy + 2x 2 − 2y 3 − 6 = 2y 3 − 2x 2 + xy + 5 = 2[(y + 1) − 1] − 2[(x − 1) + 1] + x [(y + 1) − 1] + 5
3 2

6

= 2(y + 1)3 − 6( y + 1)2 + 6(y + 1) − 2 − 2(x − 1)2 − 4(x − 1) − 2 + x (y + 1) − [(x − 1) + 1] + 5 = 2(y + 1)3 − 6( y + 1)2 + 6(y + 1) − 2(x − 1)2 − 4(x − 1) + x (y + 1) − (x − 1) = 2(y + 1)3 − 6( y + 1)2 + 6(y + 1) − 2(x − 1)2 − 5(x − 1) + x (y + 1) ≤ 2y +1 + 6y +1 + 6y +1 + 2x −1 + 5x −1 + x y +1 < 2δ 3 + 6δ 2 + 6δ + 2δ 2 + 5δ + 2δ = 2δ 3 + 8δ 2 + 13δ
3 2 2

El hecho que hayamos utilizado x < 2 indica que inicialmente hemos supuesto δ ≤ 1 , y en consecuencia

δ 3 ≤ δ 2 ≤ δ . Por tanto:
1 − xy + 2x 2 − 2y 3 − 6 < 2δ 3 + 8δ 2 + 13δ < 2δ + 8δ + 13δ = 23δ ≤ ε

Lo cual nos lleva a las conclusiones ya obtenidas. Ej. 3) Demuestre que Sol.Por definición
1 1 ( x , y ) →( 2 , 2 )

1 1 ( x , y ) →( 2 , 2 )

Lim

1 =1. x +y

Lim

1 = 1 ⇔ ∀ε > 0∃δ > 0 x +y

1 −1 < ε x +y

s.q.

1 1 0 < (x − 2 ) 2 + (y − 2 ) 2 < δ

1−x −y 1 −1 = x +y x +y
1 1 = (2 − x ) + (2 − y )

1 …(factorización) x +y

1 1 ≤ x −2 + y −2

(

)x 1 y +

…(desigualdad triangular)

De este último resultado debe destacarse que el primer factor está acotado según la definición; no obstante, la cota del segundo factor es desconocida. Como
1 x +y

no es acotado cuando (x + y ) → 0 , la

suposición acerca de δ debe ser hecha con más rigor, cuidando que la bola reducida de (x 0, y 0 ) NO contenga algún punto del conjunto (x , y ) ∈ ℜ2 y = −x . Luego,

{

}

JEA/05/06/98

Límite de una función vectorial
1 1 x − 2 < δ ⇒ −δ < x − 2 < δ ⇒ 1 1 y − 2 < δ ⇒ −δ < y − 2 < δ ⇒ 1 2 1 2

7

−δ < x < −δ < y <

1 2 1 2

+δ +δ

(1) (2) (3)

(1)+(2): 1 − 2δ
( 3) ↑ − 1 s.q. 1 −2

< x + y < 1 + 2δ

⇒ δ

1 1 1 1 1 < < ⇒ < 1 + 2δ x + y 1 − 2δ x + y 1 − 2δ >0
1 2

Para llegar a este resultado se ha exigido 1 − 2δ > 0 , o sea, δ < entonces:

. Ahora podemos suponer que si δ ≤

1 4

,

x +y

1

<2

1 − 1 < (δ + δ )(2) = 4δ ≤ ε x +y

Finalmente, para cualquier ε seleccionado, basta tomar δ ≤ mín( 1 4 , ε 4) que verifique el límite dado. Ej. 4) Demuestre que
Lim 3xy =0.

( x , y ) →( 0 , 0 )

x2 + y2

Sol.Por definición
Lim 3xy = 0 ⇔ ∀ε > 0∃δ > 0 3xy <ε s.q. 0 < x2 + y2 < δ

(x , y ) →( 0, 0 )

x +y

2

2

x +y

2

2

Nótese que a diferencia de los ejemplos anteriores, el denominador de la función de estudio es NULO en el punto de acumulación. En este caso la estrategia consiste en simplificar el denominador utilizando algún hecho algebraico-aritmético obvio relacionado con la definición. De este modo,
3xy =3

x y x +y
2 2

x +y

2

2

≤3

x2 +y2 x2 +y2 x +y
2 2

= 3 x 2 + y 2 < 3δ ≤ ε

Luego, para cualquier ε seleccionado, basta tomar δ ≤ ε

3

que verifique el límite dado.

Los teoremas de límites de funciones de una variable se extienden válidamente a más dimensiones, de manera que: 1. Si el límite existe entonces su valor es único.

JEA/05/06/98

Límite de una función vectorial

8

2. Si existen los límites de varias funciones en el mismo punto, entonces se verifica el álgebra de límites (adición, producto, cociente y composición), considerando las restricciones pertinentes a

indeterminaciones o indefiniciones. Así, se puede extender la definición dada para funciones reales de dos variables a más dimensiones. Definición I-2. Sea f : U ⊂ ℜn → ℜ con regla y = f (x ) , y sea el extremo (final) de a ∈ ℜ n un punto de acumulación de U. Entonces,
x →a
* Lim f ( x ) = L ⇔ ∀ε > 0∃δ > 0 x ∈ Bδ (a ) ⇒ f ( x ) ∈ Bε (L ) ;

que en forma operacional puede escribirse como:
x →a

Lim f ( x ) = L ⇔ ∀ε > 0∃δ > 0 f ( x ) − L < ε s.q. 0 < x − a < δ

Nótese que la condición suficiente indica que 0 < x i − ai < δ , donde x i − ai = ( x − a ) ⋅ ei . Luego, en ˆ las pruebas de límites puede procederse en forma análoga al caso de dependencia bidimensional. Aquí podemos hacer la siguiente abstracción geométrica.
y L+ε L L-ε

U ⊂ ℜn

f δ
a

En el caso de funciones reales de varias variables, para demostrar la NO existencia de límite o para tener una idea de cuál es su posible valor, son muy útiles los dos siguientes resultados sobre límites por trayectorias o límites reiterados. Proposición I-1. Sea f : U ⊂ ℜn → ℜ tal que Lim f ( x ) = L . Entonces, para cada trayectoria
x →a

r : U ⊂ ℜ → ℜn que verifique r (t0 ) = a , se tiene que:
t →t 0

Lim f (r (t )) = L .

El recíproco de esta proposición no es correcto, pero si lo es el contrario puesto que si el límite por trayectorias no es un valor único entonces no existe límite.

JEA/05/06/98

Límite de una función vectorial

9

Ej. 5) Usando trayectorias muestre que la función de regla f (x , y ) = Sol.-

y x +y
2

no tiene límite en (0,0).

i j Considérese la familia de trayectorias parabólicas por el origen r (t ) = mtˆ + t 2ˆ, con m ∈ ℜ . Luego,
Lim (mt )2 + t 2

t2

t →0

= Lim

t2 1 = t → 0 (1 + m 2 ) 2 t 1 + m2

Como este resultado no es único puesto que depende de m, la función dada no tiene límite en (0,0). Proposición I-2. Sea f : U ⊂ ℜn → ℜ tal que Lim f ( x ) = L . Supongamos que existen los límites
x →a

xi →ai

Lim f ( x ) , con xi = x ⋅ ei y ai = a ⋅ ei . Entonces existe y coincide con el límite por trayectorias el límite ˆ ˆ

⎛ ⎞⎞ ⎛ ⎛ ⎛ ⎛ ⎛⎛ ⎞ ⎞⎞ ⎞⎞ ⎜ ⎟ Lim ⎜ Lim ⎜L ⎜ Lim ⎜L ⎜ Lim ⎜ ⎜ Lim f ( x ) ⎟ ⎟ ⎟ L⎟ ⎟ L⎟ ⎟ = L , ⎟⎟ ⎟⎟ ⎟ ⎜ ⎜ xi →ai ⎜ ⎜ xn −1 →an − 1 ⎜ ⎝ x n →an x 1 → a1 ⎜ x 2 → a2 ⎜ ⎠ ⎠⎠ ⎠⎠ ⎟ ⎟ ⎝ ⎝ ⎝ ⎠⎠ ⎝ ⎝ ⎝

así como los n!-1 límites determinados al cambiar el orden de prioridad en el cálculo. El recíproco de esta proposición tampoco es correcto, pero si lo es el contrario: si los n! límites así calculados no coinciden entre sí, o con el límite por trayectorias, entonces no existe límite para la función dada en el punto indicado. Ej. 6) Usando límites reiterados muestre que la función de regla f (x , y ) = Sol.Se determinan 2! Límites.
⎛ y Lim ⎜ Lim 2 ⎜ y →0 x + y x →0 ⎝ ⎛ y Lim⎜ Lim 2 ⎜ x →0 x + y y →0 ⎝ ⎞ ⎟ = Lim (0) = 0 ⎟ x →0 ⎠ ⎞ ⎛y ⎟ = Lim⎜ ⎟ y →0⎜ y ⎝ ⎠ ⎞ ⎟ = Lim(1) = 1 ⎟ y →0 ⎠
Lugar Geométrico del Gráfico de la función.

y x +y
2

no tiene límite en (0,0).

Como los resultados no coinciden, se sigue que la función dada no tiene límite en (0,0). En el caso que los resultados de límites por trayectorias y de límites reiterados en un punto dado, coincidan en valor numérico, no se puede afirmar que éste sea el límite de la función hasta probarlo usando la definición.
JEA/05/06/98

Límite de una función vectorial 10

II.

Límite de una función vectorial
Ahora interesa hablar del caso de las funciones f cuyas imágenes son vectores en ℜm,

específicamente del valor límite de tal función en el algún punto del conjunto de partida que en general, supondremos es ℜn. Esto proporcionará la visión más general sobre la piedra angular de este curso. Definición II-1. Sea f : U ⊂ ℜn → ℜ m con regla y = f (x ) , y sea el extremo (final) de a ∈ ℜ n un punto de acumulación de U. Entonces,
x →a

* Lim f ( x ) = L ⇔ ∀ε > 0∃δ > 0 x ∈ Bδ (a ) ⇒ f ( x ) ∈ Bε (L ) ,

que en forma operacional puede escribirse como:
x →a

Lim f ( x ) = L ⇔ ∀ε > 0∃δ > 0

f ( x ) − L < ε s.q. 0 < x − a < δ

Nótese que la condición suficiente indica que 0 < x i − ai < δ , donde x i − ai = ( x − a ) ⋅ ei . Luego, en ˆ las pruebas de límites puede procederse en forma análoga al caso de dependencia real n-dimensional. Ahora podemos hacer la siguiente abstracción geométrica.

U ⊂ ℜn
f

ℜm

δ
a

ε
L

Considérese y = f ( x ) =

∑ j
=1

m

fj ( x )e j con fj : U j ⊂ ℜn → ℜ y U = ˆ
m

I U j . Luego, j
=1

m

x →a

Lim f ( x ) = L =

ˆ ∑ Lj ej ⇔ Lim fj (x ) = Lj . j
=1
x →a

Esta afirmación nos lleva a la conclusión que el trabajo con límites de funciones vectoriales se reduce al cálculo de límites de funciones reales. Es más, desde el punto de vista operacional se puede escribir:
x →a

Lim f ( x ) = L ⇔ ∀ε > 0∃δ > 0

{f ( x ) − L
j

j

}

1 ≤ j ≤m

s.q. 0 < xi − ai < δ

{

}1≤i ≤n

(¿por qué?).

JEA/05/06/98

Límite de una función vectorial 11 Ej. 7) Demuestre que Sol.Por definición,

(x , y , z ) →(2,2,2)

Lim

(x + y + z , x 2 + 2y 2 + 3z 2 ) = (6,24) .

(x , y , z ) →(2,2,2)

Lim

(x + y + z , x 2 + 2y 2 + 3z 2 ) = (6,24) ⇔ ∀ε > 0∃δ > 0

(x + y + z − 6)2 + (x 2 + 2y 2 + 3z 2 − 24)2 < ε s. q. 0 < (x − 2)2 + (y − 2)2 + (z − 2)2 < δ

Considerando simultáneamente cada función componente,

x 2 + 2y 2 + 3z 2 − 24
= [(x − 2) + 2] + 2[(y − 2) + 2] + 3[(z − 2) + 2] − 24
2 2 2

x + y + z − 6 = (x − 2) + (y − 2) + (z − 2)
≤ x −2 + y −2 + z −2 < 3δ ≤ ε

= (x − 2)2 + 4(x − 2) + 2( y − 2)2 + 8(y − 2) + 3(z − 2)2 + 12(z − 2) ≤ (x − 2)2 + 4 x − 2 + 2(y − 2)2 + 8 y − 2 + 3(z − 2)2 + 12 z − 2 ⇒ x 2 + 2y 2 + 3z 2 − 24 < 6δ 2 + 24δ
δ ≤1

⇒ x 2 + 2y 2 + 3z 2 − 24 < 30δ ≤ ε

Luego, para cualquier ε seleccionado basta tomar δ = mín(ε ,1, ε ) = mín(1, ε ) que verifique el límite 3 30 30 dado.
⎛ 1 − cos xy (x − a )y ⎞ ⎟ no tiene límite en (a,0). Ej. 8) Muestre que la función f (x , y ) = ⎜ , ⎜ y2 (x − a )2 + y 2 ⎟ ⎝ ⎠

Sol.Estudiando los límites de cada función componente, se tiene que: (i) (ii)
( x , y ) →( a , 0)

lim

1 − cos xy

y

2

=

(1 − cos xy )(1 + cos xy ) = 1 lim x 2 sen2 xy ( x , y ) → (a , 0 ) 2 ( x , y ) → (a , 0 ) y 2 (1 + cos xy ) x 2y 2
lim (a + t − a )(mt )

=

a2
2

Usando la familia de trayectorias rectas que pasan por (a,0), r (t ) = (t + a )ˆ + mtˆ con m ∈ ℜ , i j
lim (a + t − a )2 + (mt )2 = lim

t →0

mt 2 m = 2 2 t → 0 (1 + m ) t 1 + m2

es obvio que este resultado no es único y en consecuencia esta función componente no tiene límite en (a,0). En conclusión la función f no tiene límite en el punto especificado. Para finalizar este apartado se resumen las propiedades algebraicas de los límites en el siguiente teorema.

JEA/05/06/98

Límite de una función vectorial 12 Teorema 1. Sean las funciones vectoriales f : U ⊂ ℜn → ℜm , g :V ⊂ ℜn → ℜm y h :W ⊂ ℜm → ℜ p , la función real p : Ω ⊂ ℜn → ℜ , y el extremo de a un punto de acumulación común a todos los dominios

n-dimensionales. Si los límites de las funciones correspondientes en ese punto son
x →a

Lim f ( x ) = L , Lim g ( x ) = M y Lim p ( x ) = R ,
x →a x →a

entonces: (i) (ii)
x →a x →a x →a

Lim ( f + g )( x ) = L + M

Lim ( f ⋅ g )( x ) = L ⋅ M

(iii) Lim ( pf )( x ) = RL (iv) Lim ( f p )( x ) =
x →a

R

L

, s.q. R ≠ 0

(v)

x →a

Lim f ( x ) = L

(vi) Lim (h o f )( x ) = h ⎛ Lim f ( x ) ⎞ = h (L ) s.q. L ∈W ⎜ ⎟ x →a ⎝ x →a ⎠

III.

Continuidad de una función de varias variables
La continuidad de una función formalmente significa que incrementos pequeños en las variables

independientes conducen a incrementos pequeños en el valor de la función, así, cuando aquel incremento es infinitésimo (tiende a cero) también lo es el de la función. Dicho de otro modo, f es continua en el extremo de cierto a , si f (x ) tiende a f (a ) cuando x → a . Definición III-1. Sea f : U ⊂ ℜn → ℜ m con regla y = f (x ) . Se dice que la función f es continua en

a ∈ ℜ n , y que denotamos f ∈ C {a } , sii Lim f ( x ) = f (a ) o equivalentemente,
x →a
* ∀ε > 0∃δ > 0 x ∈ Bδ (a ) ⇒ f ( x ) ∈ Bε (f (a )) .

Operacionalmente se escribe:
f ∈ C {a } ⇔ ∀ε > 0∃δ > 0 f ( x ) − f (a ) < ε s.q. 0 < x − a < δ

Observaciones.
1. 2. 3. La función f es continua en a sii, son continuas allí todas sus funciones componentes. Se dice que f es continua en un conjunto D ⊂ U , si lo es en todo punto de ese conjunto. La función polinomial es continua en todo el conjunto de partida. También lo son intrínsecamente las funciones circulares principales y la exponencial.

JEA/05/06/98

Límite de una función real 13 4. Si la función f no es continua en un punto a de acumulación de U, se dice es discontinua en a . En tal caso la discontinuidad es evitable o esencial según que exista o no el límite de f en a . Se dice que se “evita la discontinuidad“ si se cambia lo que sucede en a por el valor límite de f allí; con esta manipulación se consigue que f pase a ser continua en a . Concretamente, la corrección a realizar es:
⎧ f (x) , si x ≠ a ⎪ . f (x) = ⎨ c Lim f ( x ) , si x = a ⎪x →a ⎩

Las propiedades de límites de funciones que se estudiaron en el apartado anterior, conducen a propiedades análogas para las funciones continuas. Teorema 2. Sean las funciones vectoriales f : U ⊂ ℜn → ℜm , g :V ⊂ ℜn → ℜm y h :W ⊂ ℜm → ℜ p , la función real p : Ω ⊂ ℜn → ℜ . Si f , g y p están definidas sobre el mismo conjunto D ⊂ ℜn , y son continuas en a ∈ D ; si además f (U ) ⊂ W , entonces: (i) (ii) (iii) (iv) (v)
( f + g ) ∈ C {a } ( f ⋅ g ) ∈ C {a } ( pf ) ∈ C {a } ( f p ) ∈ C {a } s.q. p (a ) ≠ 0 (h o f ) ∈ C {a } s.q. h ∈ C f (a )

{

}

Ej. 9) Estudie la continuidad de la función cuya regla es f (x , y ) = sgn(x ) . Sol.Como el gráfico de esta función es bastante simple, es posible realizar el estudio con base en meras observaciones geométricas. Luego,
z

x
Gra(f ) = (x , y ) ∈ ℜ z = −1, x < 0 ∨ z = x = 0 ∨ z = 1,x > 0

{

2

}
y

1

-1

JEA/05/06/98

Límite de una función real 14 Es obvio que la función sólo presenta una discontinuidad, del tipo esencial para el eje de ordenadas. Ej. 10) Estudie la continuidad de la función cuya regla es f (x , y ) = Sol.Aquí la función dada es racional y por tanto es continua en ℜ2 − {( 0,0)} (¿por qué?). Estudiaremos entonces el límite de f en (0,0).
⎛ ⎛ 2⎞ x 2 + y 2 (x + 1) ⎞ ⎟ = Lim ⎜ x ⎟ = Lim(1) = 1 Lim ⎜ Lim ⎟ x →0⎜ x 2 ⎟ x →0 x → 0⎜ y → 0 x2 +y2 ⎠ ⎝ ⎝ ⎠ ⎛ ⎛ 2⎞ x 2 + y 2 (x + 1) ⎞ ⎟ = Lim ⎜ y ⎟ = Lim(1) = 1 Lim ⎜ Lim ⎟ y → 0⎜ y 2 ⎟ y → 0 y → 0⎜ x → 0 x2 +y2 ⎝ ⎠ ⎝ ⎠

x 2 + y 2 (x + 1) . x2 +y2

Cualquier trayectoria conducirá también a este resultado. Por tanto, debemos usar la definición para probar que el valor del límite en cuestión es 1. En efecto,

x 2 + y 2 (x + 1) = 1 ⇔ ∀ε > 0∃δ > 0 (x , y ) →( 0,0) x2 +y2
Lim

x 2 + y 2 (x + 1) − 1 < ε s.q. 0 < x 2 + y 2 < δ 2 2 x +y

x y2 x (x 2 + y 2 ) x 2 + y 2 (x + 1) −1 = 2 ≤ = x <δ ≤ε x2 +y2 x +y2 x2 +y2
Luego, para cualquier ε seleccionado basta tomar δ ≤ ε que verifique el límite dado. Puesto que el límite EXISTE y vale 1, la función presenta discontinuidad del tipo evitable en (0,0). La función corregida es:

⎧ x 2 + y 2 (x + 1) , si (x , y ) ≠ ( 0,0) ⎪ fc (x , y ) = ⎨ x 2 + y 2 ⎪ 1 , si (x , y ) = (0,0) ⎩

JEA/05/06/98

Límite de una función real 15 Ej. 11) Estudie la continuidad de la función
⎛ sen 2x cos 2y + cos 2y sen 2y x4 −y4 ⎞ ⎟. , f (x , y ) = ⎜ ⎜ ln x − ln( −y ) ⎟ a −x − a y ⎝ ⎠

Sol.Sean f1 (x , y ) = Luego,
Dom(f1 ) = (x , y ) ∈ ℜ2 a −x ≠ a y = (x , y ) ∈ ℜ2 − x ≠ y = ℜ2 − {(x 0 ,−x 0 )} , y
2 2 2

sen 2x cos 2y + cos 2y sen 2y a −x − a y

y f2 (x , y ) =

x4 −y4 , las funciones componentes de f . ln x − ln( −y )

{ Dom(f ) = { x , y ) ∈ ℜ ( = {x, y) ∈ ℜ (

} {
}

}

ln x ≠ ln( −y ), x > 0, y < 0 = (x , y ) ∈ ℜ2 x ≠ −y , x > 0, y < 0

x > 0, y < 0 − {(x 0, −x 0 )}

} {

}

⇒ Dom( f ) = Dom(f1 ) I Dom(f2 ) = (x , y ) ∈ ℜ2 x > 0, y < 0 − {(x 0, −x 0 )}

{

}

Si x < 0 o y > 0 , o si xy = 0 ∧ x 2 + y 2 ≠ 0 , f2 no está definida y la discontinuidad es esencial. Estudio del límite de cada función componente cuando (x , y ) → (x0 ,−x 0 ) .
sen 2x cos 2y + cos 2y sen 2y (sen 2x + sen 2y ) cos 2y Lim = −x y y 1 ( x , y ) →( x 0 , − x 0 ) ( x , y ) →( x 0 , − x 0 ) a −a x −a Lim
a

= cos 2x 0

( x , y ) →( x 0 , − x 0 )

Lim

2 sen

(

2x + 2y 2x − 2y cos 2 2 1 −a x + y

) (

)

= 2a x 0 cos2 2x 0 = −2a x 0

sen(x + y ) x +y ( x , y ) →( x 0 , − x 0 ) 1 − a sen (x + y ) (x + y ) cos2 2x 0 Lim = − ln2a a x 0 cos2 2x 0 x +y −1 ( x , y ) →( x 0 , − x 0 ) a (x + y ) Lim

ax

x4 −y4 (x + y )(x 3 − x 2y + xy 2 − y 3) = Lim (x , y )→(x 0 , −x 0 ) ln x − ln(−y ) (x ,y ) →(x0 ,−x 0 ) ln(− x ) y
Lim
3 = 4x0 (x ,y )→(x0 ,−x 0 )

Lim

1 x +y

1 1 3 = 4x0 Lim 1 x (x , y )→(x 0 , −x 0 ) ln(− y ) ln(− x ) x + y
y
3 = 4x0

3 = 4x0

1
1 ⎛ ⎞ ln⎜ Lim (− x ) x + y ⎟ ⎜ (x ,y )→(x ,−x ) y ⎟ 0 0 ⎝ ⎠

(x ,y ) →(x 0 ,−x 0 )

Lim

[(−

1

1 x y ) − 1 ( x +y )

]

3 = 4x0

1
(x ,y ) →(x 0 ,−x 0 )

Lim

1 (− y )

4 = 4x0

JEA/05/06/98

Límite de una función real 16 Luego, f tiene discontinuidad evitable en (x 0 ,−x0 ) . La función corregida es:
⎧⎛ sen 2x cos 2y + cos 2y sen 2y x4 −y4 ⎞ ⎟ , si x ≠ −y , ⎪⎜ y −x f (x , y ) = ⎨⎜ . ln x − ln( −y ) ⎟ a −a ⎝ ⎠ ⎪ x 2 4 , si x = −y − ln2a a cos 2x ,4x ⎩

(

)

REFERENCIAS
1. El Cálculo con Geometría Analítica, por Louis Leithold. HARLA.

2. Cálculo Infinitesimal de Varias Variables, por Juan de Burgos. McGraw-Hill. 3. Calculus, por Tom Apostol. Reverté. 4. Cálculo Diferencial, por José Mazón. McGraw-Hill. 5. Cálculo de Varias Variables con Algebra Lineal, por Philip Curtis. LIMUSA 6. Cálculo Vectorial, por Claudio Pita. Prentice Hall. 7. Cálculo Vectorial, por Marsden/Tromba. Addison-Wesley Iberoamericana. 8. Funciones de Varias Variables, por DeSalvo/Torres. EDILUZ. 9. Historia de las Matemáticas, por K. Ríbnikov. MIR 10. Enciclopedia ENCARTA97. Microsoft Corp.

"Mejor que de nuestro juicio, debemos fiarnos del cálculo algebraico". Leonard Euler.

JEA/05/06/98

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->