Matly

Funcions de diverses variables: derivades parcials, pla tangent i hessià

Vols practicar? Aquest tema té 198 exercicis interactius de 4 tipus, de deu en deu, amb correcció immediata i explicació pas a pas.

Les funcions de diverses variables descriuen gairebé qualsevol magnitud d'enginyeria: la temperatura d'una placa depèn de la posició (x,y)(x, y), el rendiment d'un motor depèn de la pressió i la temperatura. En aquesta pàgina passem del càlcul d'una variable al de dues: el domini es converteix en una regió del pla, el límit s'ha de comprovar per tots els camins, la derivada es desdobla en derivades parcials, la recta tangent es converteix en pla tangent i la segona derivada en la matriu hessiana, que és l'eina per classificar extrems relatius. A l'examen cauen dos exercicis fixos d'aquest bloc: un de gradient, derivada direccional i pla tangent, i un de punts crítics amb hessià. Tot el que fem aquí es recolza en la pàgina de límits, continuïtat i derivada.

Funcions de dues variables: gràfica i corbes de nivell

Una funció de dues variables és una aplicació f:D⊆R2→Rf : D \subseteq \mathbb{R}^2 \to \mathbb{R} que assigna a cada punt (x,y)(x, y) de la regió DD un únic nombre f(x,y)f(x, y). La gràfica és el conjunt de punts (x,y,f(x,y))(x, y, f(x, y)) de R3\mathbb{R}^3: una superfície. Com que dibuixar superfícies és difícil, es fan servir les corbes de nivell: per a cada valor kk, la corba {(x,y):f(x,y)=k}\{(x, y) : f(x, y) = k\} és la projecció sobre el pla xyxy del tall de la superfície amb el pla horitzontal z=kz = k. És el mateix sistema que els mapes topogràfics: on les corbes de nivell són denses, la superfície és dreta; on són separades, és plana. Per exemple, les corbes de nivell de f(x,y)=x2+y2f(x, y) = x^2 + y^2 són circumferències concèntriques, i la gràfica és un paraboloide.

Domini en R²: una regió, no dos intervals

Les restriccions són les mateixes que en una variable (denominadors no nuls, radicands d'índex parell no negatius, arguments de logaritmes positius), però ara cada condició és una desigualtat en dues variables que descriu una regió del pla, i el domini és la intersecció de totes.

Domini amb logaritme i arrel

Determina i representa el domini de

f(x,y)=ln⁡(y−x2)4−x2−y2.f(x, y) = \frac{\ln(y - x^2)}{\sqrt{4 - x^2 - y^2}}.

Condicions: el logaritme exigeix y−x2>0y - x^2 > 0, és a dir y>x2y > x^2; l'arrel del denominador exigeix 4−x2−y2>04 - x^2 - y^2 > 0 (estricte, perquè és un denominador), és a dir x2+y2<4x^2 + y^2 < 4. Per tant

Dom⁡(f)={(x,y)∈R2:y>x2, x2+y2<4},\operatorname{Dom}(f) = \{ (x, y) \in \mathbb{R}^2 : y > x^2,\ x^2 + y^2 < 4 \},

la part de l'interior del cercle de radi 22 que queda per sobre de la paràbola y=x2y = x^2. Cap de les dues vores pertany al domini. Comprovació: el punt (0,1)(0, 1) compleix 1>01 > 0 i 1<41 < 4, així que és dins; el punt (0,3)(0, 3) compleix la primera però no la segona.

Regió del pla acolorida en verd delimitada per la paràbola y igual a x al quadrat per sota i la circumferència de radi 2 per sobre, totes dues dibuixades amb línia discontínua perquè no pertanyen al domini
Domini de f(x,y)=ln⁡(y−x2)/4−x2−y2f(x,y) = \ln(y - x^2)/\sqrt{4 - x^2 - y^2}: intersecció de l'interior de la circumferència amb la regió sobre la paràbola.

Aïllar una variable i perdre una branca

Amb una condició com x<2+y2x < 2 + y^2 és temptador escriure «y>x−2y > \sqrt{x - 2}» i quedar-se només amb la branca superior de la paràbola. La desigualtat original ja descriu la regió completa (tots els punts a l'esquerra de la paràbola x=2+y2x = 2 + y^2, inclosos els de yy negativa). Mantén la desigualtat tal com surt i dibuixa-la.

Límit en dues variables: tots els camins

lim⁡(x,y)→(a,b)f(x,y)=L\lim_{(x,y) \to (a,b)} f(x, y) = L significa que f(x,y)f(x, y) s'acosta a LL tant com vulguem sempre que la distància (x−a)2+(y−b)2\sqrt{(x-a)^2 + (y-b)^2} sigui prou petita, sigui quina sigui la manera d'acostar-s'hi dins del domini. La diferència amb una variable és radical: allà només hi havia dos costats; aquí hi ha infinites direccions i infinites corbes per les quals arribar al punt.

Ús dels camins

  • Si dos camins diferents donen límits diferents, el límit no existeix.
  • Que molts camins donin el mateix valor no demostra que el límit existeixi.
  • Per demostrar l'existència cal una fita: passar a polars x=a+rcos⁡θx = a + r\cos\theta, y=b+rsin⁡θy = b + r\sin\theta i veure que ∣f−L∣≤g(r)|f - L| \leq g(r) amb g(r)→0g(r) \to 0 independentment de θ\theta, o aplicar el teorema del sandvitx.

Límit que no existeix i límit que sí

(a) lim⁡(x,y)→(0,0)x2−y2x2+y2\displaystyle \lim_{(x,y) \to (0,0)} \frac{x^2 - y^2}{x^2 + y^2}. Provem les rectes y=mxy = mx:

x2−m2x2x2+m2x2=1−m21+m2,\frac{x^2 - m^2 x^2}{x^2 + m^2 x^2} = \frac{1 - m^2}{1 + m^2},

que depèn de mm (val 11 per m=0m = 0 i 00 per m=1m = 1). El límit no existeix.

(b) lim⁡(x,y)→(0,0)xy2x2+y4\displaystyle \lim_{(x,y) \to (0,0)} \frac{x y^2}{x^2 + y^4}. Sobre qualsevol recta y=mxy = mx obtenim m2x3x2+m4x4=m2x1+m4x2→0\dfrac{m^2 x^3}{x^2 + m^4 x^4} = \dfrac{m^2 x}{1 + m^4 x^2} \to 0: totes les rectes donen 00. Però sobre la paràbola x=y2x = y^2 el quocient val y42y4=12\dfrac{y^4}{2y^4} = \dfrac{1}{2}. El límit no existeix, tot i que "per rectes" semblava que sí.

(c) lim⁡(x,y)→(0,0)x3+y3x2+y2\displaystyle \lim_{(x,y) \to (0,0)} \frac{x^3 + y^3}{x^2 + y^2}. En polars, x=rcos⁡θx = r\cos\theta, y=rsin⁡θy = r\sin\theta:

r3(cos⁡3θ+sin⁡3θ)r2=r(cos⁡3θ+sin⁡3θ),∣f∣≤2r→0.\frac{r^3(\cos^3\theta + \sin^3\theta)}{r^2} = r(\cos^3\theta + \sin^3\theta), \qquad |f| \leq 2r \to 0.

La fita no depèn de θ\theta, així que el límit existeix i val 00.

La continuïtat en (a,b)(a, b) es defineix igual que en una variable: el punt és del domini, el límit existeix i coincideix amb f(a,b)f(a, b). Les funcions elementals de dues variables són contínues en el seu domini; els problemes apareixen en punts on la fórmula canvia o on un denominador s'anul·la, i s'estudien amb límits com els de l'exemple.

Derivades parcials: talls coordenats

Derivades parcials

fx(a,b)=lim⁡h→0f(a+h,b)−f(a,b)h,fy(a,b)=lim⁡h→0f(a,b+h)−f(a,b)h.f_x(a, b) = \lim_{h \to 0} \frac{f(a + h, b) - f(a, b)}{h}, \qquad f_y(a, b) = \lim_{h \to 0} \frac{f(a, b + h) - f(a, b)}{h}.

fx(a,b)f_x(a, b) és la derivada ordinària de la funció d'una variable x↦f(x,b)x \mapsto f(x, b) (fixem y=by = b i tallem la superfície amb un pla vertical paral·lel a l'eix xx); fyf_y és el mateix fixant x=ax = a. Per calcular-les, deriva respecte d'una variable tractant l'altra com una constant. També s'escriuen ∂f∂x\dfrac{\partial f}{\partial x} i ∂f∂y\dfrac{\partial f}{\partial y}.

Càlcul de parcials

Per a f(x,y)=x2y+sin⁡(xy)f(x, y) = x^2 y + \sin(xy):

fx=2xy+ycos⁡(xy),fy=x2+xcos⁡(xy).f_x = 2xy + y\cos(xy), \qquad f_y = x^2 + x\cos(xy).

En derivar sin⁡(xy)\sin(xy) respecte de xx apareix el factor yy per la regla de la cadena, perquè l'argument xyxy té derivada yy respecte de xx.

Parcials no vol dir derivable

Les parcials només miren dues direccions. Poden existir totes dues en un punt i la funció no ser-hi ni tan sols contínua. En una variable, «derivable» era una sola condició; en dues, tenir parcials és una condició molt més feble que ser diferenciable, que és el concepte que realment necessitem.

Diferenciabilitat

Funció diferenciable

ff és diferenciable en a=(a,b)\mathbf{a} = (a, b) si existeix una aplicació lineal L:R2→RL : \mathbb{R}^2 \to \mathbb{R} tal que

f(a+h)=f(a)+L(h)+o(∥h∥)(h→0),f(\mathbf{a} + \mathbf{h}) = f(\mathbf{a}) + L(\mathbf{h}) + o(\lVert \mathbf{h} \rVert) \qquad (\mathbf{h} \to \mathbf{0}),

és a dir, f(a+h)−f(a)−L(h)∥h∥→0\dfrac{f(\mathbf{a} + \mathbf{h}) - f(\mathbf{a}) - L(\mathbf{h})}{\lVert \mathbf{h} \rVert} \to 0. Si existeix, L(h)=fx(a) h1+fy(a) h2L(\mathbf{h}) = f_x(\mathbf{a})\, h_1 + f_y(\mathbf{a})\, h_2.

És la mateixa idea que en una variable: la funció s'aproxima bé per una funció lineal (el pla tangent), amb un error petit comparat amb la distància al punt. Diferenciable implica contínua i implica que existeixen les parcials i totes les derivades direccionals. El recíproc no és cert, però hi ha un criteri pràctic que resol gairebé tots els casos:

Criteri suficient: funcions de classe C¹

Si fxf_x i fyf_y existeixen en un entorn de a\mathbf{a} i són contínues en a\mathbf{a}, aleshores ff és diferenciable en a\mathbf{a}. Es diu que ff és de classe C1C^1 en aquest entorn.

A la pràctica: si ff està construïda amb operacions i composicions de funcions elementals, les seves parcials són també elementals i contínues en el domini obert on estan definides, i per tant ff és diferenciable en tot aquest domini. Aquesta frase és la que has d'escriure a l'examen abans de fer servir el gradient o el pla tangent.

Contraexemple: parcials sense diferenciabilitat

Sigui f(x,y)=xyx2+y2f(x, y) = \dfrac{xy}{\sqrt{x^2 + y^2}} per a (x,y)≠(0,0)(x, y) \neq (0, 0) i f(0,0)=0f(0, 0) = 0. Aquesta funció és contínua en l'origen (en polars, ∣f∣=r ∣cos⁡θsin⁡θ∣≤r→0|f| = r\,|\cos\theta \sin\theta| \leq r \to 0), i té parcials en l'origen:

fx(0,0)=lim⁡h→0f(h,0)−0h=lim⁡h→00h=0,fy(0,0)=0.f_x(0, 0) = \lim_{h \to 0} \frac{f(h, 0) - 0}{h} = \lim_{h \to 0} \frac{0}{h} = 0, \qquad f_y(0, 0) = 0.

Si fos diferenciable, l'aplicació lineal seria L=0L = 0 i el quocient de la definició hauria de tendir a zero. Però sobre h=(t,t)\mathbf{h} = (t, t):

f(t,t)−0−0∥(t,t)∥=t2/(2 ∣t∣)2 ∣t∣=12↛0.\frac{f(t, t) - 0 - 0}{\lVert (t, t) \rVert} = \frac{t^2 / (\sqrt{2}\,|t|)}{\sqrt{2}\,|t|} = \frac{1}{2} \not\to 0.

Per tant ff no és diferenciable en (0,0)(0, 0), tot i ser contínua i tenir parcials. Les parcials no són contínues en l'origen, i per això el criteri C1C^1 no s'hi pot aplicar.

Gradient i derivada direccional

Gradient

∇f(a,b)=(fx(a,b), fy(a,b)).\nabla f(a, b) = \big( f_x(a, b),\ f_y(a, b) \big).

La derivada direccional de ff en a\mathbf{a} segons un vector unitari u\mathbf{u} mesura la variació de ff per unitat de longitud recorreguda en la direcció u\mathbf{u}:

Duf(a)=lim⁡t→0f(a+tu)−f(a)t.D_{\mathbf{u}} f(\mathbf{a}) = \lim_{t \to 0} \frac{f(\mathbf{a} + t\mathbf{u}) - f(\mathbf{a})}{t}.

Si ff és diferenciable en a\mathbf{a}, la definició es converteix en un producte escalar:

Duf(a)=∇f(a)⋅u.D_{\mathbf{u}} f(\mathbf{a}) = \nabla f(\mathbf{a}) \cdot \mathbf{u}.

Com que ∇f⋅u=∥∇f∥cos⁡φ\nabla f \cdot \mathbf{u} = \lVert \nabla f \rVert \cos\varphi, on φ\varphi és l'angle entre el gradient i u\mathbf{u}, es dedueix que el valor màxim de la derivada direccional és ∥∇f(a)∥\lVert \nabla f(\mathbf{a}) \rVert i s'assoleix en la direcció del gradient; el mínim, −∥∇f∥-\lVert \nabla f \rVert, en la direcció oposada; i en les direccions perpendiculars al gradient la derivada és zero, que és per què el gradient és perpendicular a les corbes de nivell.

Normalitza sempre

Si l'enunciat dona una direcció v=(3,−4)\mathbf{v} = (3, -4), la derivada direccional es calcula amb u=v/∥v∥=(3/5,−4/5)\mathbf{u} = \mathbf{v}/\lVert \mathbf{v} \rVert = (3/5, -4/5). Si fas servir v\mathbf{v} directament, el resultat queda multiplicat per ∥v∥=5\lVert \mathbf{v} \rVert = 5 i és incorrecte. Comprovació ràpida: sempre s'ha de complir ∣Duf∣≤∥∇f∥|D_{\mathbf{u}} f| \leq \lVert \nabla f \rVert.

Pla tangent i aproximació lineal

Si ff és diferenciable en (a,b)(a, b), la superfície z=f(x,y)z = f(x, y) té en el punt (a,b,f(a,b))(a, b, f(a, b)) el pla tangent

z=f(a,b)+fx(a,b)(x−a)+fy(a,b)(y−b),z = f(a, b) + f_x(a, b)(x - a) + f_y(a, b)(y - b),

que és la versió en dues variables de la recta tangent. La funció lineal de la dreta és l'aproximació lineal de ff prop de (a,b)(a, b), i el seu error és o(∥(x−a,y−b)∥)o(\lVert (x - a, y - b) \rVert). Comprovació obligatòria: en substituir (x,y)=(a,b)(x, y) = (a, b) ha de sortir z=f(a,b)z = f(a, b).

Gradient, derivada direccional i pla tangent

Sigui f(x,y)=yln⁡x+x2yf(x, y) = y \ln x + x^2 y i el punt P=(1,2)P = (1, 2). Calcula la derivada direccional en PP segons v=(3,−4)\mathbf{v} = (3, -4), el pla tangent en PP i una aproximació de f(1.1,1.9)f(1.1, 1.9).

Diferenciabilitat. El domini és {x>0}\{x > 0\}, obert, i les parcials

fx=yx+2xy,fy=ln⁡x+x2f_x = \frac{y}{x} + 2xy, \qquad f_y = \ln x + x^2

són contínues en ell: ff és C1C^1 i, per tant, diferenciable en PP.

Gradient. f(1,2)=0+2=2f(1, 2) = 0 + 2 = 2, fx(1,2)=2+4=6f_x(1, 2) = 2 + 4 = 6, fy(1,2)=0+1=1f_y(1, 2) = 0 + 1 = 1. Així ∇f(1,2)=(6,1)\nabla f(1, 2) = (6, 1).

Derivada direccional. u=(3/5,−4/5)\mathbf{u} = (3/5, -4/5) i

Duf(1,2)=(6,1)⋅(35,−45)=18−45=145.D_{\mathbf{u}} f(1, 2) = (6, 1) \cdot \left( \tfrac{3}{5}, -\tfrac{4}{5} \right) = \frac{18 - 4}{5} = \frac{14}{5}.

Comprovació: ∥∇f∥=37≈6.08>2.8\lVert \nabla f \rVert = \sqrt{37} \approx 6.08 > 2.8. La direcció de màxim creixement és (6,1)/37(6, 1)/\sqrt{37}.

Pla tangent. z=2+6(x−1)+1⋅(y−2)z = 2 + 6(x - 1) + 1 \cdot (y - 2), és a dir z=6x+y−6z = 6x + y - 6. En (1,2)(1, 2) dona z=2z = 2: correcte.

Aproximació. f(1.1,1.9)≈6(1.1)+1.9−6=2.5f(1.1, 1.9) \approx 6(1.1) + 1.9 - 6 = 2.5. El valor exacte és 1.9ln⁡1.1+1.21⋅1.9≈2.4801.9 \ln 1.1 + 1.21 \cdot 1.9 \approx 2.480; l'error és de dues centèsimes, coherent amb un desplaçament de mòdul ≈0.14\approx 0.14.

Regla de la cadena multivariable

Si (x(t),y(t))(x(t), y(t)) és una trajectòria derivable i g(t)=f(x(t),y(t))g(t) = f(x(t), y(t)) amb ff diferenciable, aleshores

g′(t)=fx(x(t),y(t)) x′(t)+fy(x(t),y(t)) y′(t)=∇f⋅(x′(t),y′(t)).g'(t) = f_x\big(x(t), y(t)\big)\, x'(t) + f_y\big(x(t), y(t)\big)\, y'(t) = \nabla f \cdot (x'(t), y'(t)).

La variació temporal de la magnitud és la projecció del gradient sobre la velocitat. Dimensionalment, el gradient i la velocitat són vectors i el resultat és un escalar.

Temperatura al llarg d'una trajectòria

La temperatura d'una placa és T(x,y)=20−x2−2y2T(x, y) = 20 - x^2 - 2y^2 i una partícula es mou seguint (x,y)=(t,t2)(x, y) = (t, t^2). A quin ritme canvia la temperatura que sent la partícula en t=1t = 1?

Tx=−2xT_x = -2x, Ty=−4yT_y = -4y, x′(t)=1x'(t) = 1, y′(t)=2ty'(t) = 2t. Per tant

g′(t)=(−2t)(1)+(−4t2)(2t)=−2t−8t3,g′(1)=−10.g'(t) = (-2t)(1) + (-4t^2)(2t) = -2t - 8t^3, \qquad g'(1) = -10.

Comprovació directa: g(t)=20−t2−2t4g(t) = 20 - t^2 - 2t^4 i g′(t)=−2t−8t3g'(t) = -2t - 8t^3. Coincideix.

Derivades segones, teorema de Schwarz i matriu hessiana

Derivant les parcials una altra vegada obtenim quatre derivades segones: fxxf_{xx}, fxyf_{xy} (primer xx, després yy), fyxf_{yx} i fyyf_{yy}.

Teorema de Schwarz

Si les derivades segones creuades fxyf_{xy} i fyxf_{yx} existeixen en un entorn de (a,b)(a, b) i són contínues en (a,b)(a, b), aleshores fxy(a,b)=fyx(a,b)f_{xy}(a, b) = f_{yx}(a, b).

Per a les funcions de classe C2C^2 (totes les que apareixeran a l'examen), l'ordre de derivació no importa, i calcular fyxf_{yx} serveix de comprovació de fxyf_{xy}. La matriu hessiana recull les derivades segones:

H(a,b)=(fxxfxyfyxfyy)(a,b),Δ=det⁡H=fxxfyy−fxy2.H(a, b) = \begin{pmatrix} f_{xx} & f_{xy} \\ f_{yx} & f_{yy} \end{pmatrix}_{(a, b)}, \qquad \Delta = \det H = f_{xx} f_{yy} - f_{xy}^2 .

És simètrica per Schwarz, i fa el paper de la segona derivada: el terme quadràtic del polinomi de Taylor d'ordre 2 és 12hTHh\tfrac{1}{2}\mathbf{h}^{T} H \mathbf{h}.

Punts crítics i criteri de la segona derivada

Condició necessària d'extrem

Si ff és diferenciable en un punt interior p\mathbf{p} del domini i hi té un extrem relatiu, aleshores ∇f(p)=0\nabla f(\mathbf{p}) = \mathbf{0}.

Els candidats a extrem relatiu són, doncs: les solucions del sistema fx=0f_x = 0, fy=0f_y = 0 (punts crítics o estacionaris); els punts interiors on ff no és diferenciable; i els punts de la frontera del domini, que necessiten un estudi a part. El criteri per classificar els punts crítics d'una funció C2C^2 és:

Condició en el punt críticConclusió
Δ<0\Delta < 0punt de sella
Δ>0\Delta > 0 i fxx>0f_{xx} > 0mínim relatiu
Δ>0\Delta > 0 i fxx<0f_{xx} < 0màxim relatiu
Δ=0\Delta = 0test inconcloent

La idea: Δ>0\Delta > 0 vol dir que la forma quadràtica hTHh\mathbf{h}^T H \mathbf{h} té el mateix signe en totes les direccions (el signe de fxxf_{xx}), de manera que la superfície és una "tassa" cap amunt o cap avall; Δ<0\Delta < 0 vol dir que hi ha direccions on puja i direccions on baixa: una sella.

Dos punts crítics de tipus diferent

Troba i classifica els punts crítics de f(x,y)=x3−3xy+y2f(x, y) = x^3 - 3xy + y^2.

Sistema. fx=3x2−3y=0f_x = 3x^2 - 3y = 0 i fy=−3x+2y=0f_y = -3x + 2y = 0. De la primera, y=x2y = x^2; substituint a la segona, −3x+2x2=0-3x + 2x^2 = 0, és a dir x(2x−3)=0x(2x - 3) = 0. Punts crítics: (0,0)(0, 0) i (32,94)\left(\tfrac{3}{2}, \tfrac{9}{4}\right).

Hessià. fxx=6xf_{xx} = 6x, fxy=fyx=−3f_{xy} = f_{yx} = -3, fyy=2f_{yy} = 2, així que

H=(6x−3−32),Δ=12x−9.H = \begin{pmatrix} 6x & -3 \\ -3 & 2 \end{pmatrix}, \qquad \Delta = 12x - 9.

Classificació. En (0,0)(0, 0): Δ=−9<0\Delta = -9 < 0, punt de sella. En (32,94)\left(\tfrac{3}{2}, \tfrac{9}{4}\right): Δ=18−9=9>0\Delta = 18 - 9 = 9 > 0 i fxx=9>0f_{xx} = 9 > 0, mínim relatiu, amb valor f=278−818+8116=−2716f = \tfrac{27}{8} - \tfrac{81}{8} + \tfrac{81}{16} = -\tfrac{27}{16}.

Comprovació de la sella: sobre l'eix xx, f(x,0)=x3f(x, 0) = x^3 canvia de signe a banda i banda de 00, així que (0,0)(0,0) no pot ser extrem.

Corbes de nivell de la funció x al cub menys 3xy més y al quadrat, amb el punt de sella a l'origen marcat en vermell, on les corbes es creuen en forma de X, i el mínim relatiu al punt (3/2, 9/4) marcat en verd, envoltat de corbes tancades
Corbes de nivell de f(x,y)=x3−3xy+y2f(x, y) = x^3 - 3xy + y^2: corbes tancades al voltant del mínim i corbes que es creuen al punt de sella.

Quan Δ=0\Delta = 0: no inventis la conclusió

Si el determinant és zero, el test no diu res i cal un argument nou: tornar a la definició, factoritzar o estudiar la funció sobre corbes. Tres funcions amb ∇f(0,0)=0\nabla f(0, 0) = \mathbf{0} i Δ=0\Delta = 0 en l'origen ho mostren:

  • f(x,y)=x2+y4≥0=f(0,0)f(x, y) = x^2 + y^4 \geq 0 = f(0, 0): mínim (per la definició).
  • g(x,y)=x2−y4g(x, y) = x^2 - y^4: sobre l'eix xx val x2>0x^2 > 0 i sobre l'eix yy val −y4<0-y^4 < 0: sella.
  • h(x,y)=x2+y3h(x, y) = x^2 + y^3: sobre l'eix yy canvia de signe: ni màxim ni mínim.

En tots tres casos, H(0,0)H(0,0) té un 22 i tres zeros. A l'examen, escriu literalment «test inconcloent» i obre un argument nou; no anomenis mai «punt d'inflexió» un punt crític amb Δ=0\Delta = 0.

Famílies infinites de punts crítics

Amb funcions trigonomètriques, el sistema ∇f=0\nabla f = \mathbf{0} té infinites solucions i cal escriure la família general abans de classificar. Per a f(x,y)=cos⁡2x+sin⁡yf(x, y) = \cos 2x + \sin y:

fx=−2sin⁡2x=0  ⟺  x=kπ2,fy=cos⁡y=0  ⟺  y=π2+mπ,k,m∈Z.f_x = -2\sin 2x = 0 \iff x = \frac{k\pi}{2}, \qquad f_y = \cos y = 0 \iff y = \frac{\pi}{2} + m\pi, \qquad k, m \in \mathbb{Z}.

Amb fxx=−4cos⁡2x=−4(−1)kf_{xx} = -4\cos 2x = -4(-1)^k, fyy=−sin⁡y=−(−1)mf_{yy} = -\sin y = -(-1)^m i fxy=0f_{xy} = 0, el determinant val Δ=4(−1)k+m\Delta = 4(-1)^{k+m}. Si k+mk + m és senar, sella; si és parell, hi ha extrem, i és màxim quan kk és parell (fxx=−4f_{xx} = -4) i mínim quan kk és senar. Fixa't que agafar només x=0x = 0 i y=π/2y = \pi/2 hauria amagat tres quartes parts dels casos.

Extrems condicionats: multiplicadors de Lagrange

Sovint cal optimitzar f(x,y)f(x, y) no en tot el pla sinó sobre una corba g(x,y)=0g(x, y) = 0 (una restricció). En un extrem condicionat, la corba de nivell de ff és tangent a la restricció, i per tant els gradients són paral·lels:

Multiplicadors de Lagrange

Si ff i gg són C1C^1, ∇g≠0\nabla g \neq \mathbf{0} sobre la corba g=0g = 0, i ff té un extrem relatiu sobre aquesta corba en p\mathbf{p}, aleshores existeix λ∈R\lambda \in \mathbb{R} tal que

∇f(p)=λ∇g(p),g(p)=0.\nabla f(\mathbf{p}) = \lambda \nabla g(\mathbf{p}), \qquad g(\mathbf{p}) = 0.

Són tres equacions amb tres incògnites (xx, yy, λ\lambda). El mètode dona candidats; per decidir si són màxims o mínims es comparen valors o s'usa un argument geomètric.

Punt d'una recta més proper a l'origen

Troba el mínim de f(x,y)=x2+y2f(x, y) = x^2 + y^2 amb la restricció x+2y=5x + 2y = 5.

Amb g(x,y)=x+2y−5g(x, y) = x + 2y - 5, les equacions són 2x=λ2x = \lambda, 2y=2λ2y = 2\lambda i x+2y=5x + 2y = 5. De les dues primeres, y=2xy = 2x; substituint, x+4x=5x + 4x = 5, així que x=1x = 1, y=2y = 2 i λ=2\lambda = 2. El valor és f(1,2)=5f(1, 2) = 5.

És un mínim perquè ff creix sense límit al llarg de la recta i només hi ha un candidat. Comprovació geomètrica: la distància de l'origen a la recta és 5/5=55/\sqrt{5} = \sqrt{5}, i el seu quadrat és 55.

Protocol de resolució

Per a un problema de gradient, direcció i pla tangent:

  1. Escriu el domini com a regió i comprova que el punt hi és interior.
  2. Calcula fxf_x i fyf_y, digues que són contínues i conclou que ff és C1C^1, per tant diferenciable.
  3. Avalua ff, fxf_x i fyf_y al punt. Normalitza la direcció.
  4. Duf=∇f⋅uD_{\mathbf{u}} f = \nabla f \cdot \mathbf{u}; pla tangent amb la fórmula; comprova que el pla passa pel punt i que ∣Duf∣≤∥∇f∥|D_{\mathbf{u}} f| \leq \lVert \nabla f \rVert.

Per a un problema de punts crítics:

  1. Resol fx=0f_x = 0, fy=0f_y = 0 amb totes les solucions (famílies incloses).
  2. Calcula les tres derivades segones i verifica fxy=fyxf_{xy} = f_{yx}.
  3. Avalua Δ\Delta i fxxf_{xx} a cada punt i aplica la taula.
  4. Si Δ=0\Delta = 0, escriu «inconcloent» i estudia la funció directament.
  5. Si el domini té frontera o hi ha una restricció, tracta-ho a part (Lagrange o parametrització).

Llista de comprovació

  1. Has dibuixat el domini com a regió del pla?
  2. Per demostrar que un límit no existeix, has trobat dos camins amb valors diferents? Per demostrar que existeix, has fitat en polars?
  3. Has justificat la diferenciabilitat (parcials contínues) abans d'usar el gradient?
  4. El vector de la derivada direccional és unitari?
  5. El pla tangent passa pel punt?
  6. Has escrit totes les solucions del sistema ∇f=0\nabla f = \mathbf{0}?
  7. Has escrit «inconcloent» quan Δ=0\Delta = 0 en comptes d'inventar una conclusió?

El pas següent és el càlcul integral: mètodes d'integració i, per a les regions del pla que has après a descriure aquí, les àrees, volums i integrals dobles. Els mètodes numèrics reprenen el mètode de Newton, que en diverses variables usa precisament el gradient i el hessià.

Exercicis proposats

Exercici 1. Sigui f(x,y)=x ln⁡(y−x+2)f(x, y) = \sqrt{x}\,\ln(y - x + 2). Determina el domini, calcula la derivada direccional en (4,3)(4, 3) segons v=(3,4)\mathbf{v} = (3, 4) i troba el pla tangent en (4,3,f(4,3))(4, 3, f(4, 3)).

Solució de l'exercici 1

Domini. x≥0x \geq 0 i y−x+2>0y - x + 2 > 0, és a dir Dom⁡(f)={(x,y):x≥0, y>x−2}\operatorname{Dom}(f) = \{(x, y) : x \geq 0,\ y > x - 2\}. El punt (4,3)(4, 3) compleix 3>23 > 2 i és interior (podem prendre x>0x > 0).

Parcials. fx=ln⁡(y−x+2)2x−xy−x+2f_x = \dfrac{\ln(y - x + 2)}{2\sqrt{x}} - \dfrac{\sqrt{x}}{y - x + 2} i fy=xy−x+2f_y = \dfrac{\sqrt{x}}{y - x + 2}, contínues en l'interior del domini: ff és C1C^1 i diferenciable en (4,3)(4, 3).

Valors. y−x+2=1y - x + 2 = 1, així que f(4,3)=2ln⁡1=0f(4, 3) = 2 \ln 1 = 0, fx(4,3)=0−2=−2f_x(4, 3) = 0 - 2 = -2 i fy(4,3)=2f_y(4, 3) = 2. Gradient: (−2,2)(-2, 2).

Derivada direccional. u=(3/5,4/5)\mathbf{u} = (3/5, 4/5) i Duf=−65+85=25D_{\mathbf{u}} f = -\tfrac{6}{5} + \tfrac{8}{5} = \tfrac{2}{5}. Comprovació: 25≤∥∇f∥=22\tfrac{2}{5} \leq \lVert \nabla f \rVert = 2\sqrt{2}.

Pla tangent. z=0−2(x−4)+2(y−3)=−2x+2y+2z = 0 - 2(x - 4) + 2(y - 3) = -2x + 2y + 2. En (4,3)(4, 3): −8+6+2=0-8 + 6 + 2 = 0. Correcte.

Exercici 2. Troba i classifica els punts crítics de f(x,y)=x2y+y2−2yf(x, y) = x^2 y + y^2 - 2y.

Solució de l'exercici 2

fx=2xy=0f_x = 2xy = 0 i fy=x2+2y−2=0f_y = x^2 + 2y - 2 = 0. De la primera, x=0x = 0 o y=0y = 0. Si x=0x = 0, la segona dona y=1y = 1. Si y=0y = 0, dona x2=2x^2 = 2, és a dir x=±2x = \pm\sqrt{2}. Tres punts crítics: (0,1)(0, 1), (2,0)(\sqrt{2}, 0) i (−2,0)(-\sqrt{2}, 0).

Derivades segones: fxx=2yf_{xx} = 2y, fxy=2xf_{xy} = 2x, fyy=2f_{yy} = 2, així que Δ=4y−4x2\Delta = 4y - 4x^2.

  • En (0,1)(0, 1): Δ=4>0\Delta = 4 > 0 i fxx=2>0f_{xx} = 2 > 0: mínim relatiu, f(0,1)=−1f(0, 1) = -1.
  • En (±2,0)(\pm\sqrt{2}, 0): Δ=−8<0\Delta = -8 < 0: punts de sella, amb f=0f = 0.

Exercici 3. (a) Estudia si existeix lim⁡(x,y)→(0,0)3x2yx2+y2\displaystyle \lim_{(x,y) \to (0,0)} \frac{3x^2 y}{x^2 + y^2}. (b) Estudia si existeix lim⁡(x,y)→(0,0)xyx2+3y2\displaystyle \lim_{(x,y) \to (0,0)} \frac{xy}{x^2 + 3y^2}. (c) Troba el màxim i el mínim de f(x,y)=x+yf(x, y) = x + y sobre la circumferència x2+y2=2x^2 + y^2 = 2.

Solució de l'exercici 3

(a) En polars, 3r3cos⁡2θsin⁡θr2=3rcos⁡2θsin⁡θ\dfrac{3r^3 \cos^2\theta \sin\theta}{r^2} = 3r\cos^2\theta\sin\theta, i ∣f∣≤3r→0|f| \leq 3r \to 0 independentment de θ\theta. El límit existeix i val 00.

(b) Sobre y=mxy = mx: mx2x2+3m2x2=m1+3m2\dfrac{m x^2}{x^2 + 3m^2 x^2} = \dfrac{m}{1 + 3m^2}, que depèn de mm (00 per m=0m = 0, 14\tfrac{1}{4} per m=1m = 1). El límit no existeix.

(c) Lagrange amb g=x2+y2−2g = x^2 + y^2 - 2: 1=2λx1 = 2\lambda x, 1=2λy1 = 2\lambda y, d'on x=yx = y; amb la restricció, 2x2=22x^2 = 2 i x=±1x = \pm 1. Candidats (1,1)(1, 1) amb f=2f = 2 i (−1,−1)(-1, -1) amb f=−2f = -2. Com que la circumferència és tancada i fitada i ff és contínua, el màxim i el mínim existeixen i són aquests: màxim 22 en (1,1)(1, 1), mínim −2-2 en (−1,−1)(-1, -1).

Ara prova-ho tu. 198 exercicis d'aquest tema, de 4 tipus diferents, per resoldre en línia, de deu en deu: escrius la resposta, te la corregeix a l'instant i, si falles, t'explica com es fa pas a pas. Quan acabis una tanda, en tens deu més, amb dades noves.

Fer els exercicisSimulacre d'examen