On està definida una funció de dues variables, com és la seva gràfica, per què unes poques trajectòries no demostren un límit i quin argument sí que ho fa. Llegeix i juga amb cada figura.
14 min de lectura
10 figures interactives
3 exercicis resolts
llegeix i juga!
En una funció d'una variable, f(x), controlaves una entrada i obtenies una sortida. Ara tindràs dues entrades, x i y, i una única sortida real:
f(x,y).
Per exemple, si
f(x,y)=x2+y2,
aleshores f(1,2)=5.
La principal novetat apareix en estudiar els límits: en una variable t'acostaves a un punt per l'esquerra o per la dreta; en dues variables pots acostar-t'hi per infinites trajectòries. Per això, comprovar unes quantes trajectòries no sol ser suficient per demostrar que un límit existeix.
Abans de començar…
Per on arribes a l’origen?
En una variable, a un punt només s’hi pot arribar per dos costats: per l’esquerra i per la dreta. Si tots dos donen el mateix valor, hi ha límit.
Al pla, en canvi, hi ha infinits camins fins a l’origen: rectes amb qualsevol pendent, paràboles, espirals… La funció f(x,y)=x4+y2x2y s’acosta a 0 per totes les rectes. Però per la paràbola y=x2 val 1/2 durant tot el camí.
Mira el vídeo i després porta tu el punt fins a l’origen. Per quin camí hi arribes amb un valor diferent de 0?
Mira-ho en 42 segons
Ara prova-ho tu:
El color indica el valor de f: blau si és positiu, taronja si és negatiu; com més intens, més gran és |f|. L’origen no pertany al domini.
01
Domini i imatge: què pots introduir i què pots obtenir
Una funció de dues variables es pot escriure com
f:D⊆R2⟶R.
El dominiD és el conjunt de parells (x,y) per als quals l'expressió està definida.
La imatge és el conjunt de valors que pren la funció:
Im(f)={f(x,y):(x,y)∈D}.
El domini és al pla de les entrades. La imatge és a la recta real de les sortides.
1.1. Com trobar el domini
Si no s'indica un domini, busquem el conjunt més gran de punts on l'expressió té sentit com a nombre real.
Expressió
Condició
ln(g(x,y))
g(x,y)>0
g(x,y)
g(x,y)≥0
q(x,y)p(x,y)
q(x,y)=0
g(x,y)1
g(x,y)>0
A l'última fila, el radicand ha de ser no negatiu per l'arrel i, a més, l'arrel no pot valer zero perquè és al denominador. Les dues restriccions juntes produeixen la desigualtat estricta.
Quan apareixen diverses operacions, has d'imposar totes les condicions alhora. Per tant, el domini és la intersecció de les regions permeses.
Exemple 1. Logaritme
f(x,y)=ln(9−x2−y2).
L'argument del logaritme ha de ser positiu:
9−x2−y2>0⟺x2+y2<9.
Així,
D={(x,y):x2+y2<9}.
És el disc de centre (0,0) i radi 3, sense la circumferència exterior.
Per trobar la imatge, observem que
0<9−x2−y2≤9.
L'argument assoleix el valor 9 a l'origen i pot acostar-se a 0 tant com vulguem. Com que ln és creixent,
Im(f)=(−∞,ln9].
L'extrem superior s'inclou perquè f(0,0)=ln9. No hi ha mínim: quan x2+y2→9 des de l'interior, l'argument tendeix a 0+ i, en conseqüència, el logaritme tendeix a −∞.
Exemple 2. Arrel quadrada
g(x,y)=4−x2−y2.
La condició és
4−x2−y2≥0,
de manera que
D={(x,y):x2+y2≤4}.
Com que 0≤4−x2−y2≤4,
0≤g(x,y)≤2.
A més, tots aquests valors s'assoleixen. Per a qualsevol t∈[0,2], podem prendre
x=4−t2,y=0,
i obtenim g(x,0)=t. Per tant,
Im(g)=[0,2].
Acotar la funció només demostra que la seva imatge és dins d'un interval. Per afirmar que aquest interval és tota la imatge, també has de justificar que els seus valors s'assoleixen.
Exemple 3. Quocient
h(x,y)=y−x21.
El denominador no pot ser zero:
D={(x,y):y=x2}.
El domini és tot el pla excepte la paràbola y=x2.
La funció no val mai zero perquè el seu numerador és 1. En canvi, qualsevol t=0 s'assoleix prenent
Com que lnu=0 si i només si u=1, l'última condició equival a
x2+y2=3.
En conseqüència,
D={(x,y):y≥x2,x2+y2<4,x2+y2=3}.
Has de conservar les tres condicions: satisfer-ne una no garanteix satisfer les altres.
02
La gràfica és una superfície
La gràfica de f és el conjunt
{(x,y,z)∈R3:(x,y)∈D,z=f(x,y)}.
Pots imaginar el domini sobre un pla horitzontal. Sobre cada punt (x,y), col·loques una altura z=f(x,y).
Per entendre aquesta superfície s'utilitzen traces i corbes de nivell.
2.1. Traces: tallar la superfície amb plans
Les traces són les interseccions de la gràfica amb plans.
Per a
z=x2+y2:
Si fixes y=0, obtens z=x2: una paràbola en el pla y=0.
Si fixes x=0, obtens z=y2: una altra paràbola.
Si fixes y=b, obtens z=x2+b2: una paràbola el vèrtex de la qual és a una altura b2.
Aquestes seccions permeten reconèixer una superfície amb forma de bol: un paraboloide.
2.2. Corbes de nivell: punts amb la mateixa sortida
Una corba de nivell d'altura c ve donada per
f(x,y)=c.
Es dibuixa en el pla xy: reuneix els punts del domini que tenen la mateixa altura a la gràfica.
Per a f(x,y)=x2+y2,
x2+y2=c.
Per tant:
Si c>0, la corba de nivell és una circumferència de radi c.
Si c=0, el conjunt de nivell es redueix a l'origen.
Si c<0, no hi ha punts, perquè x2+y2≥0.
Distinció important: el tall horitzontal z=c és a l'espai; la seva projecció sobre el pla xy és la corba de nivell.
03
Discos, punts interiors i frontera
Per parlar de proximitat en el pla fem servir la distància euclidiana:
d((x,y),(a,b))=(x−a)2+(y−b)2.
3.1. Disc obert i disc tancat
El disc obert de centre (a,b) i radi r>0 és
Br(a,b)={(x,y):(x−a)2+(y−b)2<r2}.
No inclou la circumferència exterior.
El disc tancat és
Br(a,b)={(x,y):(x−a)2+(y−b)2≤r2}.
Sí que inclou aquesta circumferència.
Un disc obert al voltant d'un punt és un exemple d'entorn del punt.
3.2. Punt interior
Un punt és interior a un conjunt D si pots dibuixar al seu voltant algun disc obert que quedi completament dins de D.
Per exemple, si
D={(x,y):x2+y2≤4},
tots els punts que compleixen x2+y2<4 són interiors.
3.3. Punt de frontera
Un punt és de frontera de D si tot disc obert centrat en aquest punt conté punts de D i punts que no pertanyen a D.
En el disc anterior, la frontera és
x2+y2=4.
Un punt de frontera pot pertànyer al conjunt o no:
A x2+y2≤4, la frontera està inclosa.
A x2+y2<4, la frontera està exclosa.
Per això, ser punt de frontera no significa ser fora del domini.
També parlarem de punt d'acumulació de D: un punt al qual pots acostar-te mitjançant punts de D diferents d'ell. Aquesta condició permet estudiar-hi un límit, encara que el mateix punt no pertanyi al domini.
04
Límit doble: acostar-se per qualsevol trajectòria
Escrivim
(x,y)→(a,b)limf(x,y)=L
quan els valors de f(x,y) s'acosten a L en acostar-se (x,y) a (a,b), mitjançant punts del domini diferents del punt d'arribada.
La condició decisiva és aquesta:
La proximitat a L ha de quedar garantida per a tots els punts del domini prou pròxims a (a,b), no només per als d'algunes trajectòries.
El valor de f(a,b), si existeix, no intervé en el límit.
4.1. Definició ε-δ
Sigui (a,b) un punt d'acumulació del domini D. Diem que
(x,y)→(a,b)limf(x,y)=L
si, per a tot ε>0, existeix δ>0 tal que, per a tot (x,y)∈D,
0<(x−a)2+(y−b)2<δ⟹∣f(x,y)−L∣<ε.
Cada part té una funció:
ε fixa l'error màxim permès a la sortida.
δ fixa quant t'has d'acostar en el pla per garantir aquest error.
El 0< exclou el punt d'arribada.
La condició (x,y)∈D evita fer servir punts on la funció no està definida.
Una mateixa elecció de δ ha de servir per a totes les formes d'aproximació. Pot dependre de ε, però no de la trajectòria que triïs després.
Exemple resolt amb la definició
Demostrem que
(x,y)→(0,0)limxy=0.
Com que
2∣xy∣≤x2+y2,
tenim
∣xy−0∣≤2x2+y2.
Donat ε>0, triem
δ=2ε.
Aleshores, si
0<x2+y2<δ,
es compleix
∣xy∣≤2x2+y2<2δ2=ε.
Així queda demostrat el límit. La desigualtat controla tots els punts pròxims a l'origen; per això no necessitem revisar les trajectòries una per una.
05
Límits per rectes i per altres trajectòries
Una trajectòria obliga les variables a acostar-se al punt mantenint una relació.
Per aproximar-nos a l'origen podem fer servir, per exemple,
y=mx,y=x2,y=x3.
En substituir aquesta relació en la funció, obtenim un problema d'una variable.
5.1. Què pots concloure
Si el límit doble existeix i val L, aleshores el límit al llarg de qualsevol trajectòria admissible ha de valer L.
En conseqüència:
Dues trajectòries amb límits diferents demostren que el límit doble no existeix.
Si el límit falla per una trajectòria admissible, el límit doble tampoc no existeix.
Si diverses trajectòries donen el mateix valor, encara no has demostrat que el límit doble existeixi.
Fins i tot comprovar totes les rectes pot ser insuficient, perquè queden trajectòries corbes.
Les trajectòries han d'aproximar-se al punt dins del domini.
5.2. Exemple: totes les rectes donen zero, però el límit no existeix
Considera
f(x,y)=x4+y2x2y,(x,y)=(0,0).
El denominador només s'anul·la a l'origen, així que les trajectòries següents són admissibles en excloure aquest punt.
Per les rectes y=mx
Si m=0,
f(x,mx)=x4+m2x2mx3=x2+m2mx⟶0.
Si m=0,
f(x,0)=0.
La recta vertical x=0, que no està inclosa en y=mx, també dona
f(0,y)=0.
Per tant, tots els límits per rectes valen zero.
Per la paràbola y=x2
Per a x=0,
f(x,x2)=x4+x4x4=21=0,500.
Així,
x→0limf(x,x2)=21=0,500.
Com que per les rectes obteníem 0 i per la paràbola obtenim 1/2,
(x,y)→(0,0)limf(x,y) no existeix.
Per la corba y=x3
També podem calcular
f(x,x3)=x4+x6x5=1+x2x⟶0.
Aquest resultat no canvia la conclusió. Una sola discrepància entre dues trajectòries és suficient per descartar el límit, encara que moltes altres coincideixin.
06
Límits reiterats: una variable cada vegada
Els límits reiterats són
x→alim(y→blimf(x,y))
i
y→blim(x→alimf(x,y)).
En el primer:
Mantens x fix i fas tendir y a b.
Després fas tendir x a a.
No és el mateix que el límit doble: en el límit doble, les dues variables poden canviar simultàniament i relacionar-se de qualsevol manera.
Els reiterats s'acosten en dues passes perpendiculars; el límit doble ha de funcionar per a qualsevol camí.
Exemple: reiterats iguals sense límit doble
Tornem a
f(x,y)=x4+y2x2y.
Per a cada x=0,
y→0limf(x,y)=0.
Per tant,
x→0lim(y→0limf(x,y))=0.
Per a cada y=0,
x→0limf(x,y)=0,
i, en conseqüència,
y→0lim(x→0limf(x,y))=0.
Els dos reiterats coincideixen, però el límit doble no existeix, com hem demostrat amb la paràbola.
Què permet concloure cada resultat
En els casos habituals, amb les seccions necessàries del domini disponibles:
Resultat
Conclusió
Els dos reiterats existeixen i són diferents
El límit doble no existeix.
Els dos reiterats existeixen i coincideixen
No és suficient per assegurar que el límit doble existeix.
El límit doble existeix i els límits interiors necessaris també existeixen
Els reiterats corresponents coincideixen amb el doble.
No existeix un límit interior
Per si sol, això no descarta el límit doble.
L'últim advertiment és important. Per exemple,
q(x,y)=ysin(1/x),x=0,
satisfà
∣q(x,y)∣≤∣y∣⟶0
quan (x,y)→(0,0). Per tant, el seu límit doble és 0. Tanmateix, per a cada y=0, el límit quan x→0 no existeix a causa de l'oscil·lació del sinus.
07
Com demostrar que un límit existeix
Les trajectòries són especialment útils per demostrar que un límit no existeix. Per demostrar que sí que existeix, necessites un argument que abasti tots els punts pròxims del domini.
Dues eines freqüents són:
El criteri de la funció majorant.
Les coordenades polars, combinades amb una cota independent de l'angle.
7.1. Criteri de la funció majorant
Si pots demostrar que
∣f(x,y)−L∣≤M(x,y)
prop del punt, i a més
M(x,y)⟶0,
aleshores
f(x,y)⟶L.
La raó és que l'error ∣f−L∣ és no negatiu i no pot superar una quantitat que tendeix a zero.
Una forma especialment útil és
∣f(x,y)−L∣≤φ((x−a)2+(y−b)2),
on φ(r)→0 quan r→0+. Així controles l'error mitjançant la distància al punt.
7.2. Coordenades polars
Per estudiar un límit a l'origen, escrivim
x=rcosθ,y=rsinθ,
de manera que
r=x2+y2.
Acostar-se a l'origen equival a fer r→0+. Però l'angle θ pot variar mentre t'hi acostes.
No n'hi ha prou d'obtenir el mateix límit per a cada angle fix. Un angle fix descriu una semirecta, no totes les trajectòries.
L'objectiu és trobar una cota vàlida per a tots els angles.
Exemple resolt amb polars i una majorant
Estudiem
(x,y)→(0,0)limx2+y2x2y.
En substituir les coordenades polars,
x2+y2x2y=r2r3cos2θsinθ=rcos2θsinθ.
Com que
∣cos2θsinθ∣≤1,
obtenim
x2+y2x2y≤r.
La cota no depèn de l'angle i r→0. Per tant,
(x,y)→(0,0)limx2+y2x2y=0.
A més, la prova ε-δ surt directament: donat ε>0, n'hi ha prou de prendre δ=ε.
Per què el factor r no sempre és suficient
En l'exemple en què el límit no existia,
x4+y2x2y=r2cos4θ+sin2θrcos2θsinθ.
Encara que apareix un factor r en el numerador, el denominador també es pot fer molt petit. Per això no pots concloure que tot el quocient tendeix a zero sense obtenir una cota adequada.
Si el punt no és l'origen
Per estudiar el límit a (a,b), pots fer servir
x=a+rcosθ,y=b+rsinθ.
Aleshores r torna a representar la distància al punt d'arribada.
08
Continuïtat en un punt
Una funció f és contínua a (a,b) si:
(a,b) pertany al domini, de manera que existeix f(a,b).
Existeix el límit de f(x,y) quan (x,y)→(a,b).
El límit coincideix amb el valor de la funció:
(x,y)→(a,b)limf(x,y)=f(a,b).
El límit es pren mitjançant punts del domini. Per això també té sentit parlar de continuïtat en un punt de frontera que pertanyi al domini.
8.1. Continuïtat de les expressions habituals
Els polinomis són continus en tot R2. Les sumes, productes i composicions de funcions contínues són contínues on estiguin definides.
En particular:
Un quocient de funcions contínues és continu on el denominador no s'anul·la.
El logaritme d'una funció contínua és continu on el seu argument és positiu.
L'arrel quadrada d'una funció contínua és contínua on el seu argument és no negatiu.
Per exemple,
F(x,y)=ln(4−x2−y2)y−x2
és contínua en tot el domini calculat abans, perquè allà les operacions estan definides i el denominador no val zero.
Si un punt és fora del domini, la funció no hi és contínua perquè ni tan sols hi té valor. Pots estudiar si admet una extensió contínua, però no has de confondre un punt exclòs amb un punt del domini on falla la continuïtat.
09
Continuïtat de funcions definides a trossos
En una funció a trossos, cada fórmula pot ser contínua en la seva pròpia regió. El problema sol ser on canvia la definició.
9.1. Triar el valor en un punt per obtenir continuïtat
El límit a l'origen no existeix perquè trajectòries diferents produeixen valors diferents.
En conseqüència,
cap valor de c fa contıˊnua Gc a l’origen.
Canviar el valor en un punt no canvia el que passa en acostar-s'hi.
9.3. Quan els trossos s'uneixen en una línia
Considera
H(x,y)={x+y,x−y,y≥0,y<0.
Les dues fórmules són contínues en les seves regions. Revisem la línia d'unió y=0.
En un punt qualsevol (a,0),
H(a,0)=a.
A més, per a tots dos trossos,
∣H(x,y)−a∣≤∣x−a∣+∣y∣≤2(x−a)2+y2.
L'última expressió tendeix a zero en acostar-nos a (a,0). Per tant,
(x,y)→(a,0)limH(x,y)=a=H(a,0).
Així, H és contínua també en tota la línia d'unió.
10
Què has de distingir en el parcial
Si necessites…
Què has de justificar
Trobar el domini
Totes les restriccions de logaritmes, arrels i denominadors, simultàniament.
Trobar la imatge
Quines sortides són possibles i per què s'assoleixen.
Descriure la superfície
Com són les seves traces i els seus conjunts de nivell.
Demostrar que un límit no existeix
Per exemple, dues trajectòries admissibles amb límits diferents.
Demostrar que un límit existeix
Un argument que controli tots els punts pròxims: continuïtat, una majorant o una prova ε-δ.
Fer servir coordenades polars
Que l'estimació serveixi per a tots els angles, no només per a cada angle fix.
Fer servir límits reiterats
Què permeten concloure; la seva coincidència no demostra el límit doble.
Estudiar continuïtat a trossos
Que el límit existeixi i coincideixi amb el valor assignat a la unió.
La idea que organitza tot el tema és aquesta:
Per descartar un límit n'hi ha prou de trobar una forma d'aproximació que contradigui el valor proposat. Per demostrar-lo, has de controlar totes les formes d'aproximació dins del domini.
Practica
Posa’t a prova
Tres exercicis resolts pas a pas, de menys a més difícils. Intenta’ls abans d’obrir la solució.
Justifica que la fórmula del primer tram està definida i és contínua fora de l'origen per a qualsevol α∈R.
b
Calcula els dos límits reiterats a l'origen per a qualsevol α.
c
Utilitza coordenades polars i una majorant per demostrar que el límit doble és zero quan
α<23=1,50.
Dona també una elecció de δ en funció de ε i de α.
d
Estudia el límit doble en els casos α=23 i α>23. Compara les trajectòries y=0 i y=x, acostant-t'hi per x>0.
e
Determina tots els parells (α,c) per als quals Tα,c és contínua en tot R2.
Mostra la solució
a) Definició i continuïtat fora de l'origen
Si (x,y)=(0,0), aleshores
x2+y2>0.
Una base positiva elevada a qualsevol exponent real està definida, és positiva i depèn contínuament de la base. Per tant,
(x2+y2)α>0
per a qualsevol α∈R.
El primer tram és un quocient de funcions contínues amb denominador no nul. En conseqüència, està definit i és continu fora de l'origen per a tot α.
b) Límits reiterats
Fixat x=0, quan y→0,
x2y⟶0,(x2+y2)α⟶(x2)α>0.
Així,
y→0limTα,c(x,y)=0
i, per tant,
x→0lim(y→0limTα,c(x,y))=0.
Fixat y=0, quan x→0,
x2y⟶0,(x2+y2)α⟶(y2)α>0.
En conseqüència,
y→0lim(x→0limTα,c(x,y))=0.
Els dos reiterats valen zero per a qualsevol α, independentment de c.
c) Cas α<23
En polars,
(x2+y2)αx2y=r2αr3cos2θsinθ=r3−2αcos2θsinθ.
Com que
∣cos2θsinθ∣≤1,
obtenim
(x2+y2)αx2y≤r3−2α.
Si α<23, l'exponent
p=3−2α
és positiu. Per tant, rp→0 quan r→0+, i
(x,y)→(0,0)lim(x2+y2)αx2y=0.
Per a la demostració ε-δ, donat ε>0, triem
δ=ε1/(3−2α).
Si 0<r<δ, com que 3−2α>0,
(x2+y2)αx2y≤r3−2α<δ3−2α=ε.
L'elecció serveix per a tots els angles.
d) Casos α=23 i α>23
Per y=0,
Tα,c(x,0)=0(x=0).
Per tant, el límit per aquesta trajectòria és sempre 0.
Per y=x, amb x>0,
Tα,c(x,x)=(2x2)αx3=2−αx3−2α.
Si α=23, l'exponent de x és zero:
Tα,c(x,x)=2−3/2=221≈0,354.
Com que aquest valor difereix de l'obtingut per y=0,
el lıˊmit doble no existeix quan α=23.
Si α>23, aleshores 3−2α<0. Així, quan x→0+,
2−αx3−2α⟶+∞.
Per y=0, en canvi, la funció continua valent zero. Per tant,
el lıˊmit doble no existeix quan α>23.
Tampoc no pot ser un límit infinit, perquè la trajectòria y=0 ho impedeix.
e) Continuïtat en tot el pla
Fora de l'origen, la continuïtat està garantida per a qualsevol α.
A l'origen, necessitem que existeixi el límit i que coincideixi amb c. Segons els apartats anteriors, això passa exactament quan
α<23ic=0.
En conseqüència,
Tα,ceˊs contıˊnua en R2⟺α<23=1,50ic=0.
Aquest exercici mostra per què els reiterats no decideixen el límit doble: aquí sempre valen zero, però el límit doble només existeix per a una part dels valors del paràmetre.