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 questa 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
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 forma similar, si , llavors el gràfic de 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 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 .
Enunciat del teorema
Sia 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 es cercarà un g que vagi be 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 parcialsal de . Abreujant (a1, ..., an, b1, ..., bm) to (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 dóna 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
L'exemple de la circumferència
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; la 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.
Aplicació: canvi de coordenades
Suppose we have an m-dimensional space, parametrised by a set of coordinates . We can introduce a new coordinate system by supplying m functions . These functions allow to calculate the new coordinates of a point, given the point's old coordinates using . One might want to verify if the opposite is possible: given coordinates , can we 'go back' and calculate the same point's original coordinates ? The implicit function theorem will provide an answer to this question. The (new and old) coordinates are related by , with
Suposeu que es té un espai de m-dimensional, parametritsatd 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 cclacular les coordenades originals del mateix punt ? El teorema de la funció implícita proporcionarà una resposta a aquesta pregunta. Les corrdenades (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.
Exemple: coordenades polars
Com a aplicació simple de lo 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 que donat un punt qualsevol trobar les corresponents coordenades cartesianes . Es pot tornar enrrere i convertir les corrdenades cartesianes en poars? 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 la 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 .
Funcions implícites de funcions no diferenciables
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 seguent 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ó
té una solució única
,
on és una funció contínua de a .
Notes
↑L. D. Kudryavtsev, "Funció implícita" en Enciclopèdia de Mathematics,M. Hazewinkel, Ed. Dordrecht, Els Països Baixos: Kluwer, 1990.
↑S. Kumagai, "Un teorema de funció implícit: Comentari" Diari de Teoria d'Optimització i Aplicacions , 31(2):285-288, juny que 1980.
↑K. Jittorntrum, "Un Teorema de Funció Implícita" Journal of Optimization Theory and Applications , 25(4), 1978.