Teorema fundamentală a calculului integral

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

În matematică , teorema fundamentală a calculului integral , numită și teorema Torricelli-Barrow , stabilește o legătură importantă între conceptele de integral și derivat pentru funcțiile cu valoare reală ale unei variabile reale .

În special, demonstrează că calcularea valorii integralei unei funcții , pornind de la un punct fix până la un punct variabil din domeniul său, este exact echivalent cu găsirea unei primitive a funcției în sine. Prima parte a teoremei se numește prima teoremă fundamentală a calculului și garantează existența primitivului pentru funcții continue, adică orice funcție continuă este derivata unei alte funcții. A doua parte a teoremei este numită a doua teoremă fundamentală a calculului și permite calcularea integralei definite a unei funcții prin oricare dintre primitivele sale.

O primă versiune a teoremei se datorează lui James Gregory , [1] în timp ce Isaac Barrow a furnizat o versiune mai generală. [2] Isaac Newton , student al lui Barrow, și Gottfried Leibniz au finalizat ulterior dezvoltarea teoriei matematice în care este stabilită teorema.

Prima parte

Este o funcție integrabilă . Este definită o funcție integrală a functia astfel încât:

De sine este limitat atunci este o funcție continuă în .

Dacă și este o funcție continuă în , asa de se poate diferenția în toate punctele în care este continuu și avem: [3]

acesta este se dovedește a fi o primitivă a

Demonstrație

De sine poate fi integrat în , atunci proprietatea aditivității integralei se menține. Luați în considerare, în cadrul intervalului un interval mic care conține punctul generic. Poti sa scrii:

prin urmare:

De sine este limitată, atunci există o valoare astfel încât pe toată gama apare:

Aceasta corespunde definiției continuității lui în sens trecerea limitei pentru

Dacă în plus funcția este, de asemenea, continuu la un moment dat atunci funcția integrală este diferențiat în acel moment și derivatul său este a

De fapt, luați în considerare raportul incremental al :

Pentru proprietatea de aditivitate a integralei, putem scrie:

Din teorema medie integrală rezultă că există un punct , în raza de acțiune astfel încât:

Prin urmare, avem:

Cand avem:

atâta timp cât Mai mult, în virtutea continuității , avem:

și se poate concluziona că:

sau teza.

Corolarul primei teoreme

Este o funcție continuă care admite o primitivă pe . Adică există astfel încât:

De sine este integrabil avem: [4]

Формула Ньютона-Лейбница (анимация)

Această relație se numește formula fundamentală a calculului integral .

Demonstrație

Întrucât prin ipoteză este integrabil, poate fi pus ca în prima parte a teoremei:

astfel încât să fie:

Din teorema anterioară obținem că:

atâta timp cât este continuu din ipotezele. Pe cealaltă ipoteză că rezultă că

pentru fiecare

Printr-un corolar al teoremei lui Lagrange , există deci o constantă astfel încât , adică:

din care se obține, înlocuind funcția integrală primitivul generic

A doua parte

Este o funcție integrabilă Riemann pe domeniul său și care admite primitiv, adică există

pentru fiecare , asa de

Demonstrație

Atâta timp cât este integrabil Riemann, există și este unic pentru fiecare partiție a setului de integrare

unde este este un element al și pentru fiecare

Din Și urmează

Pentru că pentru cealaltă ipoteză , aplicând observațiile anterioare la definiția derivatului pe care îl obținem

prin continuitate a în (implicit de existența derivatului în acel moment).

Înlocuind expresia găsită pentru în suma Riemann pe care o avem

care este o serie telescopică , atunci

Amintindu-mi asta este asta , prin tranzitivitatea identității obținem

QED

Relația dintre cele două teoreme

Din a doua teoremă dacă pe de sine este integrabil, apoi pentru fiecare

Noi definim

Atâta timp cât este suma funcțiilor diferențiabile dar asa de Dacă asumăm suplimentar ipoteza de continuitate a prima teoremă este derivată cu precizie din a doua și din proprietățile de bază ale derivatei.

Invers, prima teoremă fundamentală a calculului are încă o ipoteză decât a doua (continuitatea lui ), prin urmare, acest lucru nu poate rezulta (în cazul său general) din celălalt.

Luând un exemplu concret, formula fundamentală a calculului , folosind doar prima teoremă, nu a putut fi aplicată

care este integrabil și admite primitiv, dar este discontinuu în, în timp ce este încă valabil pentru a doua teorema.

Teorema fundamentală a calculului integral Lebesgue

Continuitatea absolută este o condiție necesară și suficientă pentru validitatea teoremei fundamentale a calculului integral în contextul teoriei integrale a lui Lebesgue . O functie definit pe intervalul compact la valori în este absolut continuu dacă are o derivată definit aproape peste tot și integrabil conform lui Lebesgue astfel încât:

În mod echivalent, există o funcție pe integrabil conform lui Lebesgue astfel încât:

Această definiție a continuității absolute se numește teorema fundamentală a calculului integral a lui Lebesgue . Dacă sunt îndeplinite condițiile echivalente anterioare, avem aproape peste tot.

Descriere

Enunțul teoremei poate fi prezentat folosind diferite puncte de vedere:

Abordare fizică

Să presupunem că avem un punct care se mișcă de-a lungul unei linii a cărei poziție în timp este identificat prin funcție . Instantanee Viteza în orice moment este egal cu derivata . Spațiul parcurs în intervalul de timp de la la este dată de diferența dintre pozițiile ocupate în momente Și și, pe de altă parte, spațiul parcurs va fi, de asemenea, egal cu suma spațiilor parcurse în fiecare moment. Deci, dacă împărțiți intervalul de timp în intervale foarte mici:

putem trata mișcarea în fiecare interval de timp ca și cum viteza ar fi aproximativ constantă, deci spațiul parcurs în -intervalul de timp este:

Spațiul acoperit în întregul interval de timp este egal cu suma spațiilor acoperite în toate intervalele de timp acesta este:

și în mod similar în cealaltă notație:

Datorită definiției integralei Riemann , suma pentru al doilea membru tinde când intervalele de timp considerate au lungimi arbitrare mici.

Abordarea algebrică

Având în vedere o sumă și o succesiune astfel încât apoi, datorită proprietății asociative a adunării, suma este simplificată:

adică se reduce la diferența de pe „extremele” setului pe care variază Acest tip de sume „scurtate” se numesc sume telescopice . Analogia cu formula fundamentală a calculului:

nu este întâmplător. Să presupunem că aproximăm integralul derivatei prin intermediul unei sume finite de arii de dreptunghiuri cu o bază lungă și înălțime imaginându-vă că ați împărțit intervalul în sub-intervale lung , cu Și . Integrala aproximativă este dată de însumare:

și este posibil să se aproximeze derivatele care apar în însumare cu raporturile incrementale , deoarece:

Înlocuind aceste cantități aproximative în însumare avem:

și simplificând obținem:

În concluzie, simplificând toate completările de semn opus avem:

Dovadă alternativă

Argumentul tocmai prezentat poate fi folosit (cu modificări minore) pentru a dovedi formula fundamentală a calculului. Luați în considerare pentru fiecare o aproximare a integralei Riemann a similar cu precedentul, dar în care este calculat pe valori în cadrul fiecărui interval :

in care este dată de teorema lui Lagrange aplicată în interval , acesta este:

Apoi, făcute simplificările necesare, avem:

Pe de altă parte, din definiția integralei Riemann trebuie să convergă integralul aproximativ considerat (dacă este integrabil conform lui Riemann) pentru la integral ; și, prin urmare, se dovedește formula fundamentală a calculului.

Generalizări

Teorema poate fi generalizată în mai multe direcții. În primul rând putem lua în considerare extensiile noțiunii de derivată în spațiile euclidiene cu mai multe dimensiuni (conceptul de funcție diferențiată și derivată parțială ) și integrarea pe varietăți de forme diferențiale . Analogii teoremei fundamentale a calculului în acest context sunt teorema lui Ostrogradsky , teorema lui Kelvin și generalizarea lor: teorema lui Stokes .

În contextul integrării conform lui Lebesgue, teorema fundamentală a calculului devine mai generală și mai puternică și afirmă că integralul unei funcții sumabile este o funcție absolut continuă (și, prin urmare, diferențiată aproape peste tot), a cărei derivată slabă este integrandul însuși. Desigur, dacă presupunem mai multe ipoteze de regularitate (de exemplu, continuitatea integrandului), obținem imediat teorema fundamentală a calculului de mai sus.

Prin schimbarea din nou a tipului de metodă de integrare implicată, se obțin versiuni și mai puternice ale teoremei: folosind așa-numita „ integral gauge ”, definită în diferite moduri de Denjoy , Perron , Henstock și Kurzweil , de fapt se poate demonstra că a doua teorema fără a deține presupuneri despre funcția .

Se poate lua în considerare și noțiunea de diferențialitate și integrabilitate pe planul complex (vezi funcțiile holomorfe și meromorfe ), în acest caz analogii teoremei fundamentale de calcul sunt teorema integrală a lui Cauchy și teorema reziduală .

Notă

  1. ^ Marlow Anderson, Victor J. Katz, Robin J. Wilson, Sherlock Holmes in Babylon and Other Tales of Mathematical History , Mathematical Association of America, 2004, p. 114 .
  2. ^ Lecturile geometrice ale lui Isaac Barrow, traduse, cu note și dovezi, și o discuție cu privire la progresul făcut în lucrarea predecesorilor săi în infinitesimal ...
  3. ^ W. Rudin , pagina 130 .
  4. ^ W. Rudin , pagina 131 .

Bibliografie

Elemente conexe

Alte proiecte

linkuri externe

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