Teorema delle funzioni implicite

In matematica, in particolare in analisi matematica e geometria, il teorema delle funzioni implicite è un importante strumento che stabilisce quando il luogo di zeri di un'equazione implicita si può esplicitare rispetto a una variabile.

Nella letteratura italiana, il teorema è generalmente detto teorema di Dini in onore del matematico Ulisse Dini, che contribuì ad estenderne la formulazione.

Il teorema di Dini

Il teorema di Dini stabilisce che una funzione reale di classe $C^{1}$ di due variabili del tipo:

F (x, y)

definisce implicitamente un'unica funzione del tipo:

y = f (x)

in un intorno di un punto $(a, b)$ tale che (esplicitando rispetto alla variabile y):

F (a, b) = 0, \frac{\partial F}{\partial y} (a, b) \neq 0.

Il teorema di Dini fornisce quindi una condizione sufficiente affinché esista un'unica funzione $y = f (x)$ tale che

F (x, f (x)) = 0

sia soddisfatta al variare di $x$ , oppure un'unica funzione $x = g (y)$ tale che

F (g (y), y) = 0

sia soddisfatta al variare di $y$ .

Questo non significa che sia possibile esplicitare una delle due incognite in funzione dell'altra, ossia che sia possibile trovare $y = f (x)$ oppure $x = g (y)$ in forma esplicita, ma mostra piuttosto che esiste almeno una delle due funzioni, detta funzione implicita.

Se ci si limita all'individuazione di particolari tipi di funzione, ad esempio quelle continue e definite su un intervallo, si può dimostrare anche la loro unicità, il che sancisce un'equivalenza formale tra la scrittura implicita $F (x, y) = 0$ e quella esplicita $y = f (x)$ oppure $x = g (y)$ . Ad esempio, l'equazione:

F (x, y) = y + x^{2} e^{y} = 0

ben definisce un'unica funzione continua $y = f (x)$ definita per ogni $x$ reale. Essa non può essere scritta esplicitamente in termini di funzioni elementari, ma può essere riscritta tramite la funzione W di Lambert osservando che

y + x^{2} e^{y} = 0

e quindi

x^{2} = - y e^{- y} .

La funzione $W_{0}$ (inversa di $x e^{x}$ ristretta a $x \geq - 1$ ) può essere applicata ad entrambi i membri in quanto $- y e^{- y}$ è non negativo essendo uguale a $x^{2},$ quindi:

W_{0} (x^{2}) = W_{0} (- y e^{- y});

W_{0} (x^{2}) = - y;

y = - W_{0} (x^{2}) .

Enunciato

Sia $F : G \subset ℝ^{2} \to ℝ$ una funzione a valori reali, differenziabile e le cui derivate parziali prime siano funzioni continue. Sia inoltre $(x_{0}, y_{0}) \in G$ tale che:

F (x_{0}, y_{0}) = 0, \frac{\partial F}{\partial y} (x_{0}, y_{0}) \neq 0.

Il teorema afferma che esiste una funzione derivabile reale:

g : [x_{0} - h, x_{0} + h] \to [y_{0} - k, y_{0} + k], h, k > 0, h, k \in ℝ,

la cui derivata prima sia continua. Inoltre, il grafico di $g$ è l'insieme delle coppie:

{(x, y) \in G : F (x, y) = 0}

che sono contenute nel rettangolo:

[x_{0} - h, x_{0} + h] \times [y_{0} - k, y_{0} + k] .

Il teorema in due dimensioni

Si consideri una funzione di classe C¹ $F : A \to ℝ$ definita su un insieme aperto $A \subseteq ℝ^{2}$ , e si consideri l'insieme:

Z = {(x, y) \in A : F (x, y) = 0} .

Se $Z$ è non vuoto esiste un punto $(x_{0}, y_{0})$ tale che:

F (x_{0}, y_{0}) = 0.

Il teorema afferma che se $(x_{0}, y_{0})$ non è un punto critico, ossia:

\nabla F (x_{0}, y_{0}) \neq 0,

allora esiste un intorno $U$ di $(x_{0}, y_{0})$ tale che l'insieme $Z \cap U$ è il grafico di una funzione derivabile.

Questo equivale a dire che esiste un'unica funzione del tipo $y = y (x)$ o del tipo $x = x (y)$ che mette in relazione le due incognite $x$ e $y$ . Si noti che questo non significa che è davvero possibile esplicitare una delle due variabili in funzione dell'altra, ma solo che l'equazione definisce implicitamente un legame tra le due incognite che è univoco.

Sia $g : A \subset ℝ^{2} \to ℝ$ una funzione di classe $𝒞^{1}$ nell'aperto $A$ e sia $(x_{0}, y_{0}) \in A$ tale che:

g (x_{0}, y_{0}) = 0, g_{y} (x_{0}, y_{0}) \neq 0.

Allora esistono un intervallo reale aperto $I$ , con $x_{0} \in I$ , un intervallo reale aperto $J$ , con $y_{0} \in J$ , ed una funzione $y (x)$ di classe $𝒞^{1}$ in $I$ a valori in $J$ tali che:

y (x_{0}) = y_{0}, y^{'} (x_{0}) = - (\frac{g_{x} (x_{0}, y_{0})}{g_{y} (x_{0}, y_{0})})

e tali che per ogni $x \in I, y \in J$ la relazione:

g (x, y) = 0

si verifica se e solo se:

y = y (x) .

Scambiando i ruoli delle variabili si giunge a definire una funzione $x = x (y)$ .

Dimostrazioni

Prima dimostrazione

Sia data una funzione continua $g : A \subset ℝ^{2} \to ℝ$ di classe $𝒞^{1}$ in $A$ tale che $\nabla g (x, y) \neq 0$ in tutti i punti tali che $g (x, y) = 0$ , cioè nella curva di livello:

V = {(x, y) \in A : g (x, y) = 0} .

Sia $(x_{0}, y_{0})$ un punto di $V$ e si consideri il relativo sviluppo al primo ordine di Taylor:

g (x, y) = g (x_{0}, y_{0}) + g_{x} (x_{0}, y_{0}) (x - x_{0}) + g_{y} (x_{0}, y_{0}) (y - y_{0}) + o (\sqrt{(x - x_{0})^{2} + (y - y_{0})^{2}}) .

Tenendo conto che $g (x_{0}, y_{0}) = 0$ , uguagliando a zero la prima parte del termine al primo ordine si ottiene:

g_{x} (x_{0}, y_{0}) (x - x_{0}) + g_{y} (x_{0}, y_{0}) (y - y_{0}) = 0.

Per ipotesi, tale equazione di primo grado ha almeno un coefficiente diverso da zero, e si può porre $g_{y} (x_{0}, y_{0}) \neq 0$ . Si può quindi ricavare $y$ in funzione di $x$ :

y = y_{0} - \frac{g_{x} (x_{0}, y_{0})}{g_{y} (x_{0}, y_{0})} (x - x_{0}) .

Il teorema mostra che l'errore nella formula di approssimazione al primo ordine non incide sulla possibilità di esprimere una variabile in funzione dell'altra.

La funzione ottenuta ha sviluppo al primo ordine:

y = y_{0} - \frac{g_{x} (x_{0}, y_{0})}{g_{y} (x_{0}, y_{0})} (x - x_{0}) + o (x - x_{0}) .

Seconda dimostrazione (teorema delle contrazioni)

Sia data una funzione continua $g : A \subseteq ℝ^{2} \to ℝ$ di classe $𝒞^{1}$ nell'aperto $A$ tale che per $(x_{0}, y_{0}) \in A$ si abbia

\begin{matrix} g (x_{0}, y_{0}) = 0, g_{y} (x_{0}, y_{0}) \neq 0 \end{matrix} .

Sia definita la funzione

\begin{matrix} G (x, y) = y - \frac{g (x, y)}{g_{y} (x_{0}, y_{0})} \end{matrix} .

Allora $G (x_{0}, y_{0}) = y_{0}$ e $G (x, y) = y$ per $(x, y) \in I \times J$ . Dunque trovare gli zeri di $g (x, y)$ si riduce a trovare il punto fisso della funzione $G (x, y)$ .

Grazie al teorema delle contrazioni sappiamo che, definito

X = {ψ : I \to J | ψ \in 𝒞^{0}} .

Siccome $G \in X$ , $(X, ‖ \cdot ‖_{\infty})$ è facile dimostrare che sia uno spazio metrico completo, allora

\exists! y = f (x) : G (x, f (x)) = f (x) .

Sia $H : X \to X$ una contrazione tale che

w \mapsto H [w] (x) = G (x, w (x))

ci basta dimostrare che $H$ sia ben definita, cioè che $H [w] \in X$ . Questa deve avere le seguenti proprietà:

$H [w]$ è continua in $I;$
$‖ H [w] - y_{0} ‖_{\infty} \leq ε .$

La prima è ovvia siccome l'operatore è composizione di funzioni continue. La seconda può essere dimostrata tramite una catena di disuguaglianze:

\begin{matrix} ‖ H [w] - y_{0} ‖_{\infty} = ‖ G (x, w (x)) - G (x_{0}, y_{0}) ‖_{\infty} \leq ‖ G (x, w (x)) - G (x, y_{0}) ‖_{\infty} + ‖ G (x, y_{0}) - G (x_{0}, y_{0}) ‖_{\infty} = \\ = ‖ G (x, w (x)) - G (x, y_{0}) ‖_{\infty} + ‖ y_{0} - \frac{g (x, y_{0})}{g_{y} (x_{0}, y_{0})} - y_{0} ‖_{\infty} \leq ‖ G_{y} (x, ξ_{y}) (w (x) - y_{0}) ‖_{\infty} + \frac{‖ g (x, y_{0}) ‖_{\infty}}{| g_{y} (x_{0}, y_{0}) |} \leq \\ \leq sup_{ξ_{y} \in J} | G_{y} (x, ξ_{y}) | ‖ w (x) - y_{0} ‖_{\infty} + \frac{‖ g (x, y_{0}) ‖_{\infty}}{| g_{y} (x_{0}, y_{0}) |} \leq ε, \end{matrix}

dove si è applicato il teorema di Lagrange ed il fatto che

\begin{matrix} sup_{ξ_{y} \in J} G_{y} (x, ξ_{y}) \leq \frac{1}{2} poiché h, k possono essere piccoli a piacimento \\ ‖ w (x) - y_{0} ‖_{\infty} \leq ε poiché w (x) \in X \\ \frac{‖ g (x, y_{0}) ‖_{\infty}}{| g_{y} (x_{0}, y_{0}) |} \leq \frac{ε}{2} . \end{matrix}

Ora basta dimostrare che $H$ sia una contrazione:

‖ H [w] - H [v] ‖_{\infty} = ‖ G (x, w (x)) - G (x, h (x)) ‖_{\infty} \leq sup_{ξ \in J} | G (x, ξ) | ‖ w - v ‖_{\infty} \leq \frac{1}{2} ‖ w - v ‖_{\infty} .

Il teorema in più dimensioni

Sia $𝐟 : E \subset ℝ^{n + m} \to ℝ^{n}$ una funzione di classe $𝒞^{1}$ , dove $ℝ^{n + m}$ è il prodotto cartesiano $ℝ^{n} \times ℝ^{m}$ i cui elementi sono del tipo $(𝐱, 𝐲) = (x_{1}, x_{2}, \dots, x_{n}, y_{1}, y_{2}, \dots, y_{m})$ . Sia inoltre $(𝐚, 𝐛) = (a_{1}, a_{2}, \dots, a_{n}, b_{1}, b_{2}, \dots, b_{m}) \in E$ un punto tale che $𝐟 (𝐚, 𝐛) = 0$ .

Data la matrice jacobiana di $𝐟$ in $(𝐚, 𝐛)$ :

\begin{matrix} (D 𝐟) (𝐚, 𝐛) & = & [\begin{matrix} \frac{\partial f_{1}}{\partial x_{1}} (𝐚, 𝐛) & \dots & \frac{\partial f_{1}}{\partial x_{n}} (𝐚, 𝐛) \\ ⋮ & ⋱ & ⋮ \\ \frac{\partial f_{n}}{\partial x_{1}} (𝐚, 𝐛) & \dots & \frac{\partial f_{n}}{\partial x_{n}} (𝐚, 𝐛) \end{matrix} | \begin{matrix} \frac{\partial f_{1}}{\partial y_{1}} (𝐚, 𝐛) & \dots & \frac{\partial f_{1}}{\partial y_{m}} (𝐚, 𝐛) \\ ⋮ & ⋱ & ⋮ \\ \frac{\partial f_{n}}{\partial y_{1}} (𝐚, 𝐛) & \dots & \frac{\partial f_{n}}{\partial y_{m}} (𝐚, 𝐛) \end{matrix}] = [\begin{matrix} X & | & Y \end{matrix}] \end{matrix},

si supponga che $X$ sia invertibile.

Il teorema delle funzioni implicite afferma che vi sono due insiemi aperti $U \subset ℝ^{n + m}$ e $V \subset ℝ^{m}$ contenenti rispettivamente $(𝐚, 𝐛)$ e $𝐛$ tali che per ogni $𝐲 \in V$ esiste un unico $𝐱$ che soddisfa $(𝐱, 𝐲) \in U$ e $𝐟 (𝐱, 𝐲) = 0$ . Inoltre, la funzione $𝐠 : V \to ℝ^{n}$ tale che $𝐠 (𝐲) = 𝐱$ è una funzione di classe $𝒞^{1}$ tale che:

𝐠 (𝐛) = 𝐚, (D 𝐠) (𝐛) = - X^{- 1} Y,

dove $(D 𝐠) (𝐛)$ è la jacobiana di $𝐠$ in $𝐛$ . La relazione:

𝐟 (𝐠 (𝐲), 𝐲) = 0, 𝐲 \in V,

definisce implicitamente $𝐠$ .

Il teorema stabilisce quindi che il sistema $𝐟 (𝐱, 𝐲) = 𝟎$ :

{\begin{matrix} f_{1} (x_{1}, x_{2}, \dots, x_{n}, y_{1}, y_{2}, \dots, y_{m}) = 0 \\ f_{2} (x_{1}, x_{2}, \dots, x_{n}, y_{1}, y_{2}, \dots, y_{m}) = 0 \\ ⋮ \\ f_{n} (x_{1}, x_{2}, \dots, x_{n}, y_{1}, y_{2}, \dots, y_{m}) = 0 \end{matrix}

può essere risolto esplicitando $(x_{1}, x_{2}, \dots, x_{n})$ in funzione di $(y_{1}, y_{2}, \dots, y_{m})$ in un intorno di $𝐛$ se il sistema è risolvibile in $(𝐚, 𝐛)$ e se $X$ è invertibile. Le soluzioni così trovate sono inoltre funzioni di classe $𝒞^{1}$ . Il teorema può essere generalizzato al caso di funzioni analitiche.

Il teorema si estende anche agli spazi di Banach.

Note

↑ Steven Krantz e Harold Parks, The Implicit Function Theorem, Modern Birkhauser Classics, Birkhauser, 2003, ISBN 0-8176-4285-4.
↑ W. Rudin, Pag. 225.
↑ W. Rudin, Pag. 226.
↑ W. Rudin, Pag. 227.

Bibliografia

Walter Rudin, Principi di analisi matematica, Milano, McGraw-Hill, 1991, ISBN 88-386-0647-1.
V.Barutello, M.Conti, D.L.Ferrario, S.Terracini, G.Verzini, Analisi matematica. Con elementi di geometria e calcolo vettoriale, Apogeo Editore, 2008, ISBN 8850324235.

Voci correlate

Collegamenti esterni

(EN) Eric W. Weisstein, Implicit Function Theorem, su MathWorld, Wolfram Research.

Controllo di autorità	GND (DE) 4570203-2

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

[1] Steven Krantz e Harold Parks, The Implicit Function Theorem, Modern Birkhauser Classics, Birkhauser, 2003, ISBN 0-8176-4285-4.

[2] W. Rudin, Pag. 225.

[3] W. Rudin, Pag. 226.

[4] W. Rudin, Pag. 227.

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili	Analisi matematica
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1ª specie · 2ª specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy