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 de la funció . Al voltant del punt A y es pot expressar com una funció , específicament . No existeix cap funció d'quet 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 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[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 : RnRm 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 bé 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

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, ..., anb1, ..., 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 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

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

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.

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

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.

Exemple: coordenades polars[modifica | modifica el codi]

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.

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 , , ,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 .

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ó 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ó

té una solució única

,

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

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.