Teorema di Lagrange

In analisi matematica il teorema di Lagrange (o del valor medio o dell'incremento finito) è un risultato che si applica a funzioni di variabile reale e afferma, dal punto di vista geometrico, che dato il grafico di una funzione tra due estremi, esiste almeno un punto in cui la tangente al grafico è parallela alla secante passante per gli estremi.

Questo teorema è usato per provare delle proprietà di una funzione in un intervallo partendo da ipotesi locali sulle derivate nei punti di tale intervallo. È uno dei più importanti risultati dell'analisi matematica.

Storia

Un caso speciale di questo teorema fu inizialmente descritto da Parameshvara (1370–1460), dalla Scuola del Kerala in India, nei suoi commenti su Govindasvāmi e Bhāskara II. Una forma ristretta del teorema fu poi provata da Rolle nel 1691; il suo risultato fu quello che ora è conosciuto come teorema di Rolle, e fu provato solo per polinomi, senza nessuna tecnica di analisi. Il teorema del valor medio nella sua forma moderna fu formulato e dimostrato da Cauchy nel 1823.

Enunciato

Sia $f : [a, b] \to ℝ$ una funzione continua nell'intervallo chiuso $[a, b]$ , con $a < b,$ e derivabile nell'intervallo aperto $(a, b)$ . Allora esiste almeno un punto $c \in (a, b)$ :

f^{'} (c) = \frac{f (b) - f (a)}{b - a} .

Significato geometrico

Supponiamo di avere una funzione $f$ di variabile reale a valori reali definita nell'intervallo $[a, b]$ , come nell'immagine. Supponiamo che essa sia continua e che in ogni punto del suo grafico, esclusi $(a, f (a))$ e $(b, f (b)),$ sia ben definita la retta tangente, quest'ultima non parallela all'asse delle ordinate (supponiamo cioè che la funzione $f$ sia derivabile in $(a, b)$ ). Tracciamo la retta secante il grafico della funzione, passante per i punti $(a, f (a))$ e $(b, f (b))$ .

Il teorema di Lagrange afferma che sotto le ipotesi di regolarità sopra enunciate esiste almeno un punto $c \in (a, b)$ , come nell'esempio, tale che la tangente al grafico di $f$ nel punto $(c, f (c))$ abbia la stessa pendenza della retta passante per i punti $(a, f (a))$ e $(b, f (b))$ .

Osservazioni

Il teorema di Lagrange può anche essere considerato un caso particolare del teorema di Cauchy.

Sia

g

la funzione identità (cioè

g (x) = x

, per ogni

x

). Applichiamo il teorema di Cauchy a

f (x)

e

g (x)

:

\exists c \in (a, b) : \frac{f (b) - f (a)}{g (b) - g (a)} = \frac{f^{'} (c)}{g^{'} (c)} = \frac{f (b) - f (a)}{b - a} .

Poiché

g^{'} (x) = 1

per ogni

x \in (a, b)

, si ha che

f^{'} (c) = \frac{f (b) - f (a)}{b - a} .

Il teorema di Lagrange è inoltre una generalizzazione del teorema di Rolle.

Sia

f

una funzione continua nell'intervallo

[a, b]

, derivabile in

(a, b)

e tale che

f (a) = f (b)

. Applicando il teorema di Lagrange si ha che

\exists c \in (a, b) : f^{'} (c) = \frac{f (b) - f (a)}{b - a} = 0.

Da notare che il teorema, come enunciato, è falso se una funzione derivabile è a valori complessi invece che reali. Per esempio, si definisce $f (x) = e^{x i}$ per tutti gli $x$ reali. In tal caso

f (2 π) - f (0) = 0 = 0 (2 π - 0),

mentre

f^{'} (x) \neq 0

per ogni

x \in ℝ

.

Dimostrazione

È possibile dimostrare l'asserto mediante un'applicazione del teorema di Rolle.

Sia $g$ la seguente funzione ausiliare:

g (x) = f (a) + \frac{f (b) - f (a)}{b - a} (x - a) .

Si tratta della retta passante per i punti $(a, f (a))$ e $(b, f (b))$ della figura.

Sia ora $h$ la differenza tra le due funzioni $f$ e $g$ :

h (x) = (f - g) (x) = f (x) - g (x) .

Si verifica immediatamente che

h (a) = f (a) - g (a) = 0, h (b) = f (b) - g (b) = 0.

La funzione $h$ è continua perché somma di funzioni continue (una per ipotesi e una perché è un polinomio di primo grado); inoltre è derivabile perché somma di funzioni derivabili (la prima per ipotesi, la seconda in quanto polinomio di primo grado).

Per il teorema di Rolle, se una funzione è continua in un intervallo $[a, b]$ , derivabile nell'intervallo aperto $(a, b)$ e assume valori uguali agli estremi dell'intervallo, esiste almeno un punto $c \in (a, b)$ in cui la sua derivata sia $0$ .

Applichiamo quindi il teorema di Rolle alla funzione $h$ , dal momento che ne soddisfa tutte le ipotesi:

\exists c \in (a, b) ∣ h^{'} (c) = 0.

Segue che

h^{'} (c) = f^{'} (c) - g^{'} (c) = 0.

Ora si osserva che

g^{'} (c) = \frac{f (b) - f (a)}{b - a} .

Quindi

f^{'} (c) = g^{'} (c) = \frac{f (b) - f (a)}{b - a}

e il teorema è così dimostrato.

Estensioni

Funzioni definite in Rⁿ

Il teorema rimane valido considerando funzioni definite in $ℝ^{n}$ .

Sia $f$ una funzione reale differenziabile su un aperto $U \subseteq ℝ^{n}$ , siano $𝐱, 𝐲$ due punti di $U$ tali che il segmento $[𝐱, 𝐲] = {t 𝐱 + (1 - t) 𝐲 : t \in [0, 1]} \subseteq U,$

allora esiste $𝝃 \in [𝐱, 𝐲]$ tale che

f (𝐲) - f (𝐱) = ⟨ 𝐃 f (𝝃), (𝐲 - 𝐱) ⟩,

dove con $𝐃 f$ indichiamo il gradiente di $f .$

Per la dimostrazione è sufficiente considerare la funzione

φ (t) = f (𝐱 + t (𝐲 - 𝐱))

con

t \in [0, 1]

derivabile sull'intervallo unitario perché composizione di due funzioni derivabili.

Funzioni a valori in R^m

Il teorema non è più valido in questa forma per le funzioni a valori in $ℝ^{m}$ . Infatti, sebbene applicabile a ogni singola componente, non è possibile garantire che ciascuna delle uguaglianze del teorema si verifichi contemporaneamente per lo stesso valore della variabile indipendente. In questo caso il teorema è valido se si accetta la seguente formulazione:

Sia $f$ una funzione reale derivabile su un aperto $U \subseteq ℝ^{n} \to ℝ^{m}$ , contenente il segmento $[𝐱, 𝐲]$ , allora:

‖ f (𝐲) - f (𝐱) ‖ \leq sup_{𝝃 \in U} ‖ 𝐃 f (𝝃) ‖ ‖ 𝐱 - 𝐲 ‖ .

Esempi di impiego (corollari)

Funzioni aventi derivata identicamente nulla su un intervallo

Sia $f$ una funzione continua e derivabile definita in un intervallo $I$ , sia $f^{'}$ la derivata di $f$ . Se $f^{'} (x) = 0$ per ogni $x$ interno ad $I$ , allora $f$ è costante in tale intervallo, cioè:

f (x) = k, \forall x \in I .

Dimostrazione

Prendiamo due punti distinti, $α$ e $β$ appartenenti all'intervallo $I$ .

Possiamo applicare il teorema di Lagrange all'intervallo $[α, β]$ ottenendo che

\exists c \in (α, β) : \frac{f (β) - f (α)}{β - α} = f^{'} (c) .

Dato che per ipotesi $f^{'} (x) = 0$ per ogni $x$ , ne segue che

\frac{f (β) - f (α)}{β - α} = 0

e quindi

f (β) = f (α) .

Visto che $α$ e $β$ sono due punti arbitrari dell'intervallo, questo vale per ogni coppia di punti e quindi $f (x) = k$ per ogni $x \in I$ (cioè $f (x)$ è costante nell'intervallo).

Funzioni aventi derivata uguale in un intervallo

Siano $f$ e $g$ due funzioni derivabili in un intervallo $I$ e sia $f^{'} (x) = g^{'} (x)$ per ogni $x \in I$ . Allora le due funzioni differiscono per una costante $c \in ℝ$ , cioè

f (x) = g (x) + c, \forall x \in I .

Dimostrazione

Si prenda $h (x) = f (x) - g (x)$ . Per ipotesi si ha $h^{'} (x) = f^{'} (x) - g^{'} (x) = 0$ per ogni $x \in I$ . Allora per il corollario precedente sulle funzioni a derivata nulla, la funzione $h (x)$ è costante nell'intervallo $I$ , cioè $h (x) = f (x) - g (x) = c$ per un determinato $c \in ℝ$ , e quindi

f (x) = g (x) + c, \forall x \in I .

Monotonia a partire dalla derivata

Il teorema di Lagrange ci permette di stabilire la monotonia di una funzione derivabile in un certo intervallo, in base al segno della derivata.

Derivata non negativa

Sia $f$ una funzione derivabile in $I$ . Se $f^{'} (x) \geq 0$ , $\forall x \in I$ , allora per ogni $x_{1}, x_{2} \in I$ , con $x_{1} < x_{2}$ , si ha che $f (x_{1}) \leq f (x_{2})$ .

Dimostrazione

Prendiamo due generici punti $x_{1}$ e $x_{2}$ appartenenti all'intervallo $I$ , con $x_{1} < x_{2}$ .

Poiché la funzione per ipotesi è derivabile in tutti i punti dell'intervallo, e quindi è anche continua, possiamo pensare di applicare il teorema di Lagrange a $[x_{1}, x_{2}]$ ottenendo che

\exists c \in (x_{1}, x_{2}) : \frac{f (x_{2}) - f (x_{1})}{x_{2} - x_{1}} = f^{'} (c) .

Dato che $f^{'} (x) \geq 0$ per ogni $x \in I$ si ha che

\frac{f (x_{2}) - f (x_{1})}{x_{2} - x_{1}} \geq 0.

Ora, dato che $x_{1} < x_{2}$ , per essere vera la formula appena scritta deve essere $f (x_{1}) \leq f (x_{2})$ e visto che questo vale per ogni coppia di punti appartenenti a $I$ , possiamo concludere che la funzione è monotona crescente nell'intervallo.

Derivata positiva

Sia $f^{'} (x) > 0$ per ogni $x$ appartenente all'intervallo $[a, b]$ . Allora per ogni $x_{1}, x_{2}$ appartenenti all'intervallo $[a, b]$ con $x_{1} < x_{2}$ si ha che $f (x_{1}) < f (x_{2})$ .

Dimostrazione

Prendiamo due generici punti $α$ e $β$ appartenenti all'intervallo chiuso $[a, b]$ con $α < β$ .

Poiché la funzione per ipotesi è derivabile in tutti i punti dell'intervallo, e quindi è anche continua, possiamo pensare di applicare il teorema di Lagrange a un intervallo avente come estremi $α$ e $β$ ottenendo che

\exists c \in (α, β) : \frac{f (β) - f (α)}{β - α} = f^{'} (c) .

Dato che $f^{'} (x) > 0$ per ogni $x$ si ha che

\frac{f (β) - f (α)}{β - α} > 0.

Ora dato che $α < β$ per essere vera la formula appena scritta deve essere $f (α) < f (β)$ e visto che questo vale per ogni $α$ e $β$ appartenenti ad $[a, b]$ possiamo concludere che la funzione è monotona crescente.

Derivata non positiva e derivata negativa

Le relative proprietà sono inverse rispetto a quelle ottenute ai due punti precedenti e si ottengono semplicemente invertendo i segni delle diseguaglianze.

Studio delle funzioni su un intervallo aventi derivata limitata

Se $f$ è una funzione continua e derivabile nell'intervallo $[a, b]$ e la sua derivata prima $f^{'}$ è limitata in $[a, b]$ , ossia esiste $k > 0 : | f^{'} (x) | \leq k$ , si ha che $f$ è lipschitziana su $[a, b]$ .

Dimostrazione

Consideriamo due generici punti $α$ e $β$ appartenenti all'intervallo $[a, b]$ tali che $α < β$ .

Dal momento che l'ipotesi ci garantisce che la funzione sia derivabile in tutti i punti dell'intervallo, cosa che ci garantisce anche la continuità, possiamo applicare il teorema di Lagrange a un intervallo avente come estremi i due punti di prima, ottenendo che

\exists c \in (α, β) : \frac{f (β) - f (α)}{β - α} = f^{'} (c) .

Adesso uniamo questa informazione alla limitatezza della derivata, dataci per ipotesi, dunque possiamo scrivere:

| \frac{f (β) - f (α)}{β - α} | \leq k .

Ma siccome i punti possiamo sceglierli a nostro completo arbitrio tra tutti quelli presenti nell'intervallo, allora la pendenza della funzione risulterà limitata, e quindi la funzione soddisferà la condizione di Lipschitz.

Note

↑ J. J. O'Connor and E. F. Robertson (2000). Paramesvara Archiviato il 2 aprile 2015 in Internet Archive., MacTutor History of Mathematics archive.
↑ A. Besenyei, Historical development of the mean value theorem, http://abesenyei.web.elte.hu/publications/meanvalue.pdf
↑ P. M. Soardi, p. 223.

Bibliografia

Paolo Marcellini, Carlo Sbordone Analisi Matematica Uno, Liguori Editore, Napoli, ISBN 88-207-2819-2, 1998, paragrafo 61.
Paolo Maurizio Soardi, Analisi Matematica, CittàStudi, 2007, ISBN 978-88-251-7319-2.

Voci correlate

Altri progetti

Wikimedia Commons contiene immagini o altri file sul teorema di Lagrange

Collegamenti esterni

(EN) mean-value theorem, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.

(EN) Eric W. Weisstein, Mean-Value Theorem, su MathWorld, Wolfram Research.

Controllo di autorità	Thesaurus BNCF 37971 · LCCN (EN) sh85082689 · J9U (EN, HE) 987007558280505171

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

[1] J. J. O'Connor and E. F. Robertson (2000). Paramesvara Archiviato il 2 aprile 2015 in Internet Archive., MacTutor History of Mathematics archive.

[2] A. Besenyei, Historical development of the mean value theorem, http://abesenyei.web.elte.hu/publications/meanvalue.pdf

[3] P. M. Soardi, p. 223.

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

Teorema di Lagrange

Storia

Enunciato

Significato geometrico

Osservazioni

Dimostrazione

Estensioni

Funzioni definite in Rn

Funzioni a valori in Rm

Esempi di impiego (corollari)

Funzioni aventi derivata identicamente nulla su un intervallo

Dimostrazione

Funzioni aventi derivata uguale in un intervallo

Dimostrazione

Monotonia a partire dalla derivata

Derivata non negativa

Dimostrazione

Derivata positiva

Dimostrazione

Derivata non positiva e derivata negativa

Studio delle funzioni su un intervallo aventi derivata limitata

Dimostrazione

Note

Bibliografia

Voci correlate

Altri progetti

Collegamenti esterni

Funzioni definite in Rⁿ

Funzioni a valori in R^m