Teorema de la funció implícita

De Viquipèdia
Dreceres ràpides: navegació, cerca

En la branca de les matemàtiques anomenada càlcul multivariable, el teorema de la funció implícita és una eina que permet que relacions es converteixin a funcions. Ho fa representant la relació com la gràfica d'una funció. Pot ser que no hi hagi cap funció el gràfic de la qual sigui la relació sencera, però hi pot haver tal funció sobre una restricció del domini de la relació. El teorema de la funció implícita dóna una condició suficient per assegurar que aquesta funció existeixi.

El teorema estableix que si l'equació R (x, y) = 0 (una funció implícita) satisfà algunes condicions suaus en les seves derivades parcials, llavors en principi es pot resoldre aquesta equació per y, com a mínim sobre algun petit interval. Geomètricament, el veinatge definit per R (x ,y) = 0 se solaparà localment amb el gràfic d'una funció y = f (x) (una funció explícita, veure article sobre funcions implícites).

Primer exemple[modifica | modifica el codi]

La circumferència de radi unitat es pot especificar com la corba de nivell f(x,y)=1 de la funció f(x,y)=x^2 + y^2. Al voltant del punt A y es pot expressar com una funció y(x), específicament g_1(x)=\sqrt{1-x^2}. No existeix cap funció d'quet tipus al voltant del punt B.

Si es defineix la funció f(x,y)=x^2 + y^2, llavors l'equació f(x,y)=1 retalla la circumferència goniomètrica pel pla \{ (x,y)| f(x,y) = 1 \}. No hi ha cap manera de representar la circumferència de radi unitat com la gràfica d'una funció d'una variable y = g(x) perquè per a cada elecció de x \in (-1,1), hi ha dues eleccions de y, és a dir \pm\sqrt{1-x^2}.

Tanmateix, és possible representar part de la circumferència com el gràfic d'una funció d'una variable. Si deixem g_1(x) = \sqrt{1-x^2} per a -1 < x < 1, llavors el gràfic de y = g_1(x) proporciona la meitat alta de la circumferència. De forma similar, si g_2(x) = -\sqrt{1-x^2}, llavors el gràfic de y = g_2(x) dóna la meitat més baixa de la circumferència.

El propòsit del teorema de la funció implícita és informar de l'existència de funcions com g_1(x) i g_2(x), fins i tot en situacions on no es poden escriure fórmules explícites. Garanteix que el g_1(x) i g_2(x) són diferenciables, i fins i tot funciona en situacions on no es té una fórmula per f(x,y).

Enunciat del teorema[modifica | modifica el codi]

Sia f : Rn+mRm una funció contínuament diferenciable. Es considera Rn+m com el producte cartesià Rn × Rm, i s'escriu un punt d'aquest producte com ('x,y) = (x1, ..., xny1, ..., ym)). f és la relació donada. L'objectiu és construir una funció g : Rn Rm el gràfic de la qual ((x, g(x)) és precisament el conjunt de tot (x, y) tal que f (xy) = 0.

Com s'ha explicat a dalt, això no sempre és possible. Com a tal, es fixa un punt (a,b) = (a1, ..., anb1 , ..., bm) que satisfà f(ab) = 0, i es cercarà un g que vagi be a prop del punt (ab). En altres paraules, es vol un conjunt obert U de Rn, un conjunt obert V de Rm, i una funció g : UV tal que el gràfic de g satisfà la relació f = 0 en U × V. En símbols

\{ (\mathbf{x}, g(\mathbf{x})) \} = \{ (\mathbf{x}, \mathbf{y}) | f(\mathbf{x}, \mathbf{y}) = 0 \} \cap (U \times V).

Per enunciar el teorema de la funció implícita, es necessita el Jacobià, també anomenava el diferencial o la derivada total, de f. És la matriu de derivades parcialsal de f. Abreujant (a1, ..., anb1, ..., bm) to (a, b), la matriu Jacobiana és

\begin{matrix}
(Df)(\mathbf{a},\mathbf{b}) & = & 
\left[\begin{matrix}
 \frac{\partial f_1}{\partial x_1}(\mathbf{a},\mathbf{b}) &
 \cdots & \frac{\partial f_1}{\partial x_n}(\mathbf{a},\mathbf{b})\\
 \vdots & \ddots & \vdots\\
 \frac{\partial f_m}{\partial x_1}(\mathbf{a},\mathbf{b}) & \cdots & \frac{\partial f_m}{\partial x_n}(\mathbf{a},\mathbf{b})
\end{matrix}\right|\left.
\begin{matrix} 
 \frac{\partial f_1}{\partial y_1}(\mathbf{a},\mathbf{b}) & \cdots & \frac{\partial f_1}{\partial y_m}(\mathbf{a},\mathbf{b})\\
 \vdots & \ddots & \vdots\\
\frac{\partial f_m}{\partial y_1}(\mathbf{a},\mathbf{b}) & \cdots & \frac{\partial f_m}{\partial y_m}(\mathbf{a},\mathbf{b})\\
\end{matrix}\right]\\
& = & \begin{bmatrix} X & | & Y \end{bmatrix}\\
\end{matrix}

on X és la matriu de derivades parcials en x i Y és la matriu de derivades parcials en y. El teorema de la funció implícita diu que si Y és una matriu invertible, llavors hi ha U, V, i g tal com es desitja. Escrivint totes les hipòtesis juntes dóna l'enunciat següent.

Sia f : Rn+mRm una funció contínuament diferenciable, i sia Rn+m amb coordenades (xy). Es fixa un punt (a1,...,an,b1,...,bm) = (a,b) amb f(a,b)=c, on cRm. Si la matriu [(∂fi/∂yj)(a,b)] és invertible, llavors existeix un conjunt obert U que conté a, un conjunt obert V que conté b, i una única funció contínuament diferenciable g :UV tal que
\{ (\mathbf{x}, g(\mathbf{x})) \} = \{ (\mathbf{x}, \mathbf{y}) | f(\mathbf{x}, \mathbf{y}) = \mathbf{c} \} \cap (U \times V).

L'exemple de la circumferència[modifica | modifica el codi]

Tornant a l'exemple de la circumferència goniomètrica. En aquest cas  n=m=1 i f(x,y) = x^2 + y^2 - 1. La matriu de derivades parcials és només una matriu 1×2  donada per

\begin{matrix}
(Df)(a,b) & = & \begin{bmatrix}
 \frac{\partial f}{\partial x}(a,b) & \frac{\partial f}{\partial y}(a,b)\\
\end{bmatrix}\\
& = & \begin{bmatrix} 2a & 2b \end{bmatrix}.\\
\end{matrix}

Així, aquí, Y és només un nombre; l'aplicació lineal definida per ell és invertible si i només si b \neq 0 . Pel teorema de la funció implícita es veu que es pot escriure la circumferència en la forma  y=g(x) per a tots els punts on  y\neq 0 . Per a  (-1,0) i  (1,0) que provoquen problemes, com s'ha observat abans.

Aplicació: canvi de coordenades[modifica | modifica el codi]

Suposeu que es té un espai de m-dimensional, parametritsat per un conjunt de coordenades  (x_1,\ldots,x_m) . Es pot introduir un sistema de coordenades nou  (x'_1,\ldots,x'_m) donant m funcions  h_1\ldots h_m . Aquestes funcions permeten calcular les coordenades noves  (x'_1,\ldots,x'_m) d'un punt, donades les coordenades velles del punt  (x_1,\ldots,x_m) fent servir  x'_1=h_1(x_1,\ldots,x_m), \ldots, x'_m=h_m(x_1,\ldots,x_m) . Es podria voler verificar si el contrari és possible: donades coordenades  (x'_1,\ldots,x'_m) , es pot 'tornar' a cclacular les coordenades originals del mateix punt  (x_1,\ldots,x_m) ? El teorema de la funció implícita proporcionarà una resposta a aquesta pregunta. Les corrdenades (noves i velles) (x'_1,\ldots,x'_m, x_1,\ldots,x_m) estan relacionades per  f=0 , amb


f(x'_1,\ldots,x'_m,x_1,\ldots x_m)=(h_1(x_1,\ldots x_m)-x'_1,\ldots, h_m(x_1,\ldots, x_m)-x'_m).

Ara la matriu Jacobiana de f en un cert punt (a,b) [ on a=(x'_1,\ldots,x'_m), b=(x_1,\ldots,x_m) ] està donada per

\begin{matrix}
(Df)(a,b) & = & \begin{bmatrix}
 -1 & \cdots & 0 & \frac{\partial h_1}{\partial x_1}(b) & \cdots & \frac{\partial h_1}{\partial x_m}(b)\\
 \vdots & \ddots & \vdots & \vdots & \ddots & \vdots\\
 0 & \cdots & -1 & \frac{\partial h_m}{\partial x_1}(b) & \cdots & \frac{\partial h_m}{\partial x_m}(b)\\
\end{bmatrix}\\
& = & \begin{bmatrix} -1_m & | & J \end{bmatrix}.\\
\end{matrix}

on 1_m denota la m\times m matriu identitat, i J és la matriu m\times m de derivades parcials, avaluades a (a,b). (En el cas anterior, aquests blocs eren denotats per X i Y. Com passa, en aquesta aplicació particular del teorema, cap matriu no depèn de a.) El teorema de la funció implícita ara manifesta que es pot expressar localment  (x_1,\ldots,x_m) com a funció de  (x'_1,\ldots,x'_m) si J és invertible. Exigir que J sigui invertible és equivalent a  \det J \neq 0 , així es veu que es pot tornar de les coordenades prima a les originals si el determinant del Jacobià J és no-zero. Aquesta afirmació també es coneix com el teorema de la funció inversa.

Exemple: coordenades polars[modifica | modifica el codi]

Com a aplicació simple de lo anterior, es considera el pla, parametritzat per les coordenades polars  (R,\theta) . Es pot passar a un sistema de coordenades nou (coordenades cartesianes) definint funcions x(R,\theta)=R \cos \theta i y(R,\theta)=R \sin \theta . Això permet que donat un punt qualsevol  (R,\theta) trobar les corresponents coordenades cartesianes  (x,y) . Es pot tornar enrrere i convertir les corrdenades cartesianes en poars? Per l'exemple previ, cal que  \det J \neq 0 , amb


J =\begin{bmatrix}
 \frac{\partial x(R,\theta)}{\partial R} & \frac{\partial x(R,\theta)}{\partial \theta} \\
 \frac{\partial y(R,\theta)}{\partial R} & \frac{\partial y(R,\theta)}{\partial \theta} \\
\end{bmatrix}=
 \begin{bmatrix}
 \cos \theta & -R \sin \theta \\
 \sin \theta & R \cos \theta
\end{bmatrix}.

Com que  \det J = R , la conversió altra vegada a coordenades polars només és possible si  R\neq 0 . Això és una conseqüència del fet que a l'origen, les coordenades polars no existeixin: el valor de  \theta no està ben definit.

Generalitzacions[modifica | modifica el codi]

Versió en espais de Banach[modifica | modifica el codi]

En base al teorema de la funció inversa en espais de Banach, és possible estendre el teorema de la funció implícita a funcions amb valors en espais de Banach.

Siguin X, Y, Z,Espais de Banach. Sia l'aplicació f:X\times Y\to Z Fréchet diferenciable. Si (x_0,y_0)\in X\times Y, f(x_0,y_0)=0\,, i y\mapsto Df(x_0,y_0)(0,y) és un isomorfisme d'espais de Banach de Y a Z, llavors existeixen els veinatges U de x_0 i V de y_0 i una funció Frechet diferenciable g:U\to V tal que f(x,g(x))=0 \, i f(x,y)=0 \, si i només si y=g(x) \,, per a tot (x,y)\in U\times V.

Funcions implícites de funcions no diferenciables[modifica | modifica el codi]

Existeixen diverses formes del teorema de la funció implícita per al cas que la funció f no és diferenciable. És estàndard que es compleix en una dimensió.[1] La següent forma més general va ser demostrada per Kumagai[2] basada en una observació de Jittorntrum.[3]

Consideri una funció contínua f : R^n \times R^m \rightarrow R^n tal que f(x_0, y_0) = 0. Si existeixen veinatges oberts A \subset R^n i B \subset R^m de x_0 i y_0, respectivament, tals que, per a tot y \in B, f(\cdot, y) : A \rightarrow R^n és localment biunívoca llavors existeixen veinatges oberts A_0 \subset R^n i B_0 \subset R^m de x_0 i y_0 tals que, per a tot y \in B_0, l'equació

f(x, y) = 0 \,

té una solució única

x = g(y) \in A_0,

on g és una funció contínua de B_0 a A_0.

Notes[modifica | modifica el codi]

  1. L. D. Kudryavtsev, "Funció implícita" en Enciclopèdia de Mathematics,M. Hazewinkel, Ed. Dordrecht, Els Països Baixos: Kluwer, 1990.
  2. S. Kumagai, "Un teorema de funció implícit: Comentari" Diari de Teoria d'Optimització i Aplicacions, 31(2):285-288, juny que 1980.
  3. K. Jittorntrum, "Un Teorema de Funció Implícita" Journal of Optimization Theory and Applications, 25(4), 1978.