Teorema lui Lagrange
În analiza matematică , teorema lui Lagrange (sau a valorii medii sau a creșterii finite ) este un rezultat care se aplică funcțiilor unei variabile reale și afirmă, din punct de vedere geometric, că dat graficul unei funcții între două extreme, există cel puțin un punct în care tangenta la grafic este paralelă cu secanta care trece prin extreme.
Această teoremă este utilizată pentru a demonstra proprietățile unei funcții într-un interval pornind de la ipoteze locale despre derivatele din punctele acelui interval. Este unul dintre cele mai importante rezultate ale analizei matematice .
Istorie
Un caz special al acestei teoreme a fost descris pentru prima dată de Parameshvara (1370–1460), de la Școala Kerala din India, în comentariile sale despre Govindasvāmi și Bhāskara II . [1] O formă restricționată a teoremei a fost mai târziu dovedită de Rolle în 1691; rezultatul său a fost ceea ce este acum cunoscut sub numele de teorema lui Rolle și a fost dovedit doar pentru polinoame, fără nicio tehnică de analiză. Teorema valorii medii în forma sa modernă a fost formulată și dovedită de Cauchy în 1823. [2]
Afirmație
Este o funcție continuă în intervalul închis și diferențiat în intervalul deschis . Apoi, există cel puțin un punct [3]
Semnificație geometrică
Să presupunem că avem o funcție variabilei reale cu valori reale definite în interval , ca în imagine. Să presupunem că este continuu și că în fiecare punct al graficului său - exclus Și - linia tangentă este bine definită, aceasta din urmă nu paralelă cu axa ordonată (adică să presupunem că funcția fi diferențiat în ). Tragem linia secantă graficul, trecând prin puncte Și .
Teorema lui Lagrange afirmă că, conform ipotezelor de regularitate enunțate mai sus, există cel puțin un punct , ca în exemplu, astfel încât tangenta la graficul lui în sens are aceeași pantă ca linia dreaptă care trece prin puncte Și .
Observații
- Teorema lui Lagrange poate fi, de asemenea, considerată un caz special al teoremei lui Cauchy .
Este funcția de identitate ( ). Aplicăm teorema lui Cauchy Și :
Atâta timp cât , avem asta
Este o funcție continuă în interval , derivabil în și astfel încât . Aplicând teorema lui Lagrange avem asta
- Rețineți că teorema, așa cum sa afirmat, este falsă dacă o funcție diferențiată este mai degrabă complexă decât reală. De exemplu, se definește pe sine pentru toți real. Atunci
in timp ce pentru fiecare .
Demonstrație
Este posibil să se demonstreze afirmația prin aplicarea teoremei lui Rolle .
Este următoarea funcție auxiliară:
Aceasta este linia care trece prin puncte Și a figurii.
Să fie acum diferența dintre cele două funcții Și :
.
Imediat se întâmplă că
Functia este continuu deoarece este suma funcțiilor continue (una pentru ipoteză și una pentru că este un polinom de gradul I); în plus, este diferențiat, deoarece este suma funcțiilor diferențiabile (prima prin ipoteză, a doua ca polinom de gradul I).
Prin teorema lui Rolle , dacă o funcție este continuă într-un interval , derivabil în și își asumă valori egale cu extremele intervalului, există cel puțin un punct unde este derivata sa.
Apoi aplicăm teorema lui Rolle funcției , deoarece își îndeplinește toate ipotezele:
.
Rezultă că
Acum observăm că
Prin urmare
iar teorema este astfel dovedită.
Extensii
Funcții definite în R n
Teorema rămâne valabilă având în vedere funcțiile definite în .
Este o funcție real diferențiată pe un open , sunt colon de astfel încât segmentul
atunci există astfel încât
unde cu denotăm gradientul lui f.
Pentru dovadă este suficient să se ia în considerare funcția
cu
derivabil pe intervalul unitar deoarece este o compoziție a două funcții diferențiabile.
Funcții cu valori în R m
Teorema nu mai este valabilă în această formă pentru funcții cu valori în . De fapt, deși se aplică fiecărei componente, nu este posibil să se garanteze că fiecare dintre egalitățile teoremei apare simultan pentru aceeași valoare a variabilei independente. În acest caz, teorema este valabilă dacă se acceptă următoarea formulare:
Este o funcție reală diferențiată pe un set deschis , care conține segmentul , asa de:
Exemple de utilizare (corolari)
Funcții având o derivată identică nulă pe un interval
Este o funcție continuă și diferențiată definită pe un interval , este derivatul de . De sine pentru fiecare reclama interna , asa de este constantă în acest interval, adică:
Demonstrație
Să luăm două puncte distincte, Și aparținând gamei .
Putem aplica teorema Lagrange la interval obținând asta
Având în vedere că prin ipoteză pentru fiecare , rezultă că
Având în vedere că Și sunt două puncte arbitrare ale intervalului, acesta este valabil pentru fiecare pereche de puncte și, prin urmare pentru fiecare (acesta este este constantă în interval).
Funcții având derivată egală într-un interval
Lasa-i sa fie Și două funcții diferențiate într-un interval și fie pentru fiecare . Atunci cele două funcții diferă printr-o constantă , acesta este
Demonstrație
Ia-l . Prin ipoteză avem pentru fiecare . Apoi, prin corolarul anterior asupra funcțiilor cu zero derivat, funcția este constantă în interval , acesta este pentru un dat , prin urmare
Monotonia începând de la derivat
Teorema lui Lagrange ne permite să stabilim monotonia unei funcții diferențiabile într-un anumit interval, pe baza semnului derivatei.
Derivat non-negativ
Este o funcție diferențiată în . De sine , apoi pentru fiecare , cu , avem asta .
Demonstrație
Să luăm două puncte generale Și aparținând gamei , cu .
Deoarece funcția de ipoteză este diferențiată în toate punctele intervalului și, prin urmare, este, de asemenea, continuă, ne putem gândi să aplicăm teorema lui Lagrange la obținând asta
De cand avem asta
Acum, de atunci , pentru a fi adevărat, formula care tocmai a fost scrisă trebuie să fie și întrucât acest lucru este valabil pentru fiecare pereche de puncte aparținând , putem concluziona că funcția este monotonă crescând în interval.
Derivată pozitivă
Este pentru fiecare aparținând gamei . Apoi pentru fiecare aparținând gamei cu avem asta .
Demonstrație
Să luăm două puncte generale Și aparținând gamei închise cu .
Deoarece funcția de ipoteză este diferențiată în toate punctele intervalului și, prin urmare, este continuă, ne putem gândi să aplicăm teorema lui Lagrange la un interval având ca extreme Și obținând asta
De cand pentru fiecare avem asta
Acum de atunci pentru a fi adevărat, formula care tocmai a fost scrisă trebuie să fie și întrucât acest lucru este valabil pentru fiecare Și aparținând putem concluziona că funcția este monotonă în creștere.
Derivat non-pozitiv și derivat negativ
Proprietățile relative sunt inverse față de cele obținute în cele două puncte anterioare și se obțin pur și simplu inversând semnele inegalităților.
Studiul funcțiilor pe un interval cu derivată mărginită
Dacă f este o funcție continuă și diferențiată în interval și primul său derivat este limitat în , adică există , avem asta este Lipschitz pe .
Demonstrație
Să luăm în considerare două puncte generice Și aparținând gamei astfel încât .
Deoarece ipoteza ne garantează că funcția este diferențiată în toate punctele intervalului, ceea ce garantează și continuitatea, putem aplica teorema lui Lagrange la un interval având cele două puncte ca extreme, obținând că
Acum să adăugăm aceste informații la limitarea derivatei, dată de ipoteză, astfel încât să putem scrie:
Dar, din moment ce putem alege punctele la voința noastră completă dintre toți cei prezenți în interval, atunci panta funcției va fi limitată și, prin urmare, funcția va satisface condiția Lipschitz.
Notă
- ^ JJ O'Connor și EF Robertson (2000). Paramesvara , arhiva MacTutor History of Mathematics .
- ^ A. Besenyei, Dezvoltarea istorică a teoremei valorii medii, http://abesenyei.web.elte.hu/publications/meanvalue.pdf
- ^ PM Soardi , p. 223 .
Bibliografie
- Paolo Marcellini , Carlo Sbordone Mathematical Analysis One , Liguori Editore, Napoli, ISBN 88-207-2819-2 , 1998, paragraful 61.
- Paolo Maurizio Soardi, Analiză matematică , CittàStudi, 2007, ISBN 978-88-251-7319-2 .
Elemente conexe
Alte proiecte
- Wikimedia Commons conține imagini sau alte fișiere despre teorema Lagrange
linkuri externe
- ( EN ) Teorema lui Lagrange , pe Encyclopedia Britannica , Encyclopædia Britannica, Inc.
Controlul autorității | Thesaurus BNCF 37971 · LCCN (EN) sh85082689 |
---|