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 dona 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 veïnatge definit per R (x,y) = 0 se superposarà localment amb el gràfic d'una funció y = f (x) (una funció explícita, veure article sobre funcions implícites).
La circumferència de radi unitat es pot especificar com la corba de nivell de la funció . Al voltant del punt A y es pot expressar com una funció , específicament . No existeix cap funció d'aquest tipus al voltant del punt B.
Si es defineix la funció , llavors l'equació retalla la circumferència goniomètrica pel pla . No hi ha cap manera de representar la circumferència de radi unitat com la gràfica d'una funció d'una variable perquè per a cada elecció de hi ha dues eleccions de , és a dir .
Tanmateix, és possible representar part de la circumferència com el gràfic d'una funció d'una variable. Si deixem per a , llavors el gràfic de proporciona la meitat alta de la circumferència. De manera similar, si , llavors el gràfic de dona 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 i , fins i tot en situacions on no es poden escriure fórmules explícites. Garanteix que el i són diferenciables, i fins i tot funciona en situacions on no es té una fórmula per .
Sigui f : Rn+m → Rm 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, ..., xn, y1, ..., 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 (x, y) = 0.
Com s'ha explicat a dalt, això no sempre és possible. Com a tal, es fixa un punt (a,b) = (a1, ..., an, b1, ..., bm) que satisfà f(a, b) = 0, i se cercarà un g que vagi bé a prop del punt (a, b). En altres paraules, es vol un conjunt obertU de Rn, un conjunt obert V de Rm, i una funció g : U → V tal que el gràfic de g satisfà la relació f = 0 en U × V. En símbols
Per enunciar el teorema de la funció implícita, es necessita el Jacobià, també anomenava el diferencial o la derivada total, de . És la matriu de derivades parcials de . Abreujant (a1, ..., an, b1, ..., bm) en (a, b), la matriu Jacobiana és
on és la matriu de derivades parcials en i és la matriu de derivades parcials en . El teorema de la funció implícita diu que si és una matriu invertible, llavors hi ha , , i tal com es desitja. Escrivint totes les hipòtesis juntes dona l'enunciat següent.
Sia f : Rn+m → Rm una funció contínuament diferenciable, i sia Rn+m amb coordenades (x, y). Es fixa un punt (a1,...,an,b1,...,bm) = (a,b) amb f(a,b)=c, on c∈ Rm. 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 :U → V tal que
Tornant a l'exemple de la circumferència goniomètrica. En aquest cas i . La matriu de derivades parcials és només una matriu 1×2 donada per
Així, aquí, Y és només un nombre; l'aplicació lineal definida per ell és invertible si i només si. Pel teorema de la funció implícita es veu que es pot escriure la circumferència en la forma per a tots els punts on . Per a i que provoquen problemes, com s'ha observat abans.
Suposeu que es té un espai de m-dimensional, parametritzat per un conjunt de coordenades . Es pot introduir un sistema de coordenades nou donant m funcions . Aquestes funcions permeten calcular les coordenades noves d'un punt, donades les coordenades velles del punt fent servir . Es podria voler verificar si el contrari és possible: donades coordenades , es pot 'tornar' a calcular les coordenades originals del mateix punt ? El teorema de la funció implícita proporcionarà una resposta a aquesta pregunta. Les coordenades (noves i velles) estan relacionades per , amb
Ara la matriu Jacobiana de f en un cert punt [ on ] està donada per
on denota la matriu identitat, i J és la matriu de derivades parcials, avaluades a . (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 .) El teorema de la funció implícita ara manifesta que es pot expressar localment com a funció de si J és invertible. Exigir que J sigui invertible és equivalent a , 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.
Com a aplicació simple de l'anterior, es considera el pla parametritzat per les coordenades polars. Es pot passar a un sistema de coordenades nou (coordenades cartesianes) definint funcions i
. Això permet, donat un punt qualsevol , de trobar les corresponents coordenades cartesianes . Es pot tornar enrere i convertir les coordenades cartesianes en polars. Per l'exemple previ, cal que , amb
Com que , la conversió altra vegada a coordenades polars només és possible si . Això és una conseqüència del fet que a l'origen, les coordenades polars no existeixin: el valor de
no està ben definit.
Siguin , , , Espais de Banach. Sia l'aplicació Fréchet diferenciable. Si , , i és un isomorfisme d'espais de Banach de a , llavors existeixen els veinatges de i de i una funció Frechet diferenciable tal que i si i només si , per a tot .
Existeixen diverses formes del teorema de la funció implícita per al cas que la funció 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 tal que . Si existeixen veinatges oberts i de i , respectivament, tals que, per a tot , és localment biunívoca llavors existeixen veinatges oberts i de i
tals que, per a tot , l'equació