Teorema Newton-Leibniz

Formula Newton-Leibniz , sau teorema fundamentală a analizei , dă relația dintre două operații: luarea integralei Riemann și calcularea antiderivatei .

Formulare

Formularea clasică a formulei Newton-Leibniz este următoarea.

Dacă o funcție este continuă pe un segment și  este oricare dintre antiderivatele sale pe acest segment, atunci egalitatea


Dovada

Fie dată o funcție integrabilă pe segmentul .

Să setăm o valoare arbitrară și să definim o nouă funcție . Este definit pentru toate valorile lui , pentru că știm că dacă există o integrală a lui on , atunci există și o integrală a lui on , unde . Amintiți-vă că luăm în considerare prin definiție

(unu)

observa asta

Să arătăm că este continuă pe segmentul . Într-adevăr, să ; apoi

iar dacă , atunci

Astfel, este continuu indiferent dacă are sau nu discontinuități; este important ca acesta să fie integrabil pe .

Figura prezintă un grafic . Aria figurii variabile este . Creșterea sa este egală cu aria figurii , care, datorită limitării lui , tinde în mod evident la zero, indiferent dacă este un punct de continuitate sau discontinuitate , de exemplu, un punct .

Acum lăsați funcția să nu fie doar integrabilă pe , ci să fie continuă la punctul . Să demonstrăm că atunci are o derivată în acest punct egală cu

(2)

Într-adevăr, pentru punctul dat

(1) , (3)

Punem , iar din moment ce constanta este relativă la , atunci . În plus, datorită continuității la punctul , pentru oricine poate specifica astfel încât pentru .

De aceea

ceea ce demonstrează că partea stângă a acestei inegalități este o(1) pentru .

Trecerea la limita din (3) la arată existența derivatei lui la punctul și valabilitatea egalității (2). Aici vorbim despre derivatele din dreapta și, respectiv, din stânga.

Dacă o funcție este continuă pe , atunci, pe baza celor dovedite mai sus, funcția corespunzătoare

(patru)

are o derivată egală cu . Prin urmare, funcția este antiderivată pentru on .

Această concluzie este uneori numită teorema integrală a limitei superioare variabile sau teorema lui Barrow .

Am demonstrat că o funcție continuă arbitrară pe un interval are o antiderivată pe acest interval, definită prin egalitate (4). Aceasta dovedește existența unei antiderivate pentru orice funcție continuă pe un interval.

Să fie acum o antiderivată arbitrară a unei funcții pe . Știm că , unde  este o constantă. Presupunând în această egalitate și ținând cont de faptul că obținem .

Astfel, . Dar

De aceea

Cu toate acestea, de fapt, cerința de continuitate a integrandului este redundantă. Pentru a îndeplini această formulă, este suficientă doar existența părților din stânga și din dreapta.

Dacă o funcție este integrabilă și are o antiderivată pe segmentul , — oricare dintre antiderivatele sale pe acest segment, atunci egalitatea

Continuitatea este o condiție convenabilă în practică, deoarece garantează imediat atât integrabilitatea, cât și existența unui antiderivat. În absența acestuia, pentru aplicarea corectă, este necesar să se verifice ambele proprietăți, ceea ce este uneori dificil. Există funcții integrabile care nu au o antiderivată (orice funcție cu un număr finit de puncte de discontinuitate sau o funcție Riemann ) și neintegrabile care au o antiderivată (derivată completată cu zero la zero, pe orice segment care conține 0, sau funcția Volterra ).

Formula poate fi generalizată la cazul funcțiilor cu un număr finit de discontinuități. Pentru a face acest lucru, trebuie să generalizăm conceptul de antiderivat. Fie definită funcția pe un segment , cu excepția, poate, pentru un număr finit de puncte. O funcție se numește antiderivată generalizată dacă:

Această definiție nu necesită ca derivata să fie egală în toate punctele în care este diferențiabilă. Cu acest concept, se poate generaliza și mai puternic formula Newton-Leibniz.

Să fie definit peste tot, cu excepția, poate, pentru un număr finit de puncte. Dacă o funcție este integrabilă și are o antiderivată generalizată pe segmentul , — oricare dintre antiderivatele ei generalizate pe acest segment, atunci egalitatea

Dovada

Deoarece funcția este integrabilă, se poate lua în considerare orice succesiune de partiții cu puncte marcate al căror diametru tinde spre zero. Limita sumelor integrale peste ele va fi egală cu integrala.

Luați în considerare o secvență de partiții ale unui segment astfel încât diametrul partiției tinde spre zero ca . Să includem și în fiecare dintre aceste partiții punctele segmentului la care nu este diferențiabilă sau derivata sa nu este egală cu . Cu aceste puncte de împărțire suplimentare, notați .

Acum să setăm puncte marcate pe ele. Reparăm o anumită partiție . Apoi, prin presupunere, funcția este continuă pe fiecare dintre segmente și diferențiabilă pe intervalele . Condițiile teoremei lui Lagrange sunt îndeplinite și, prin urmare, există un astfel de punct încât . Luăm aceste puncte drept puncte de împărțire marcate . Apoi suma integrală peste o astfel de partiție va fi egală cu .

.

Dovada de mai sus este interesantă prin faptul că nu a folosit niciuna dintre proprietățile integralei, cu excepția definiției sale directe. Cu toate acestea, nu oferă o dovadă a formulei Newton-Leibniz în formularea clasică: pentru aceasta, este necesar să se dovedească suplimentar că orice funcție continuă este integrabilă și are o antiderivată.

Observație . Aplicarea fără gânduri a unei formule la funcții care nu sunt continue poate duce la o eroare. Un exemplu de calcul incorect:

deşi integrala unei funcţii pozitive nu poate fi negativă.

Cauza erorii: funcția nu este antiderivată (chiar generalizată) pentru o funcție pe un segment , pur și simplu pentru că nu este definită la zero. Funcția nu are deloc antiderivată pe acest segment. Mai mult decât atât, această funcție nu este de asemenea mărginită în vecinătatea lui zero și, prin urmare, nu este integrabilă Riemann.

Istorie

Chiar înainte de apariția analizei matematice, această teoremă (într-o formulare geometrică sau mecanică) era cunoscută de Gregory și Barrow . De exemplu, Barrow a descris acest fapt în 1670 ca o relație între sarcinile de pătrare și tangentă .

Newton a formulat teorema verbal după cum urmează: „Pentru a obține valoarea adecvată a zonei adiacente unei părți a abscisei , această zonă trebuie întotdeauna luată egală cu diferența dintre valorile lui z [antiderivată] corespunzătoare părților din abscisa delimitată de începutul și sfârșitul zonei.”

Nici Leibniz nu are o înregistrare a acestei formule în forma ei modernă, întrucât notarea unei integrale definite a apărut mult mai târziu, la Fourier la începutul secolului al XIX-lea.

Formularea modernă a fost dată de Lacroix la începutul secolului al XIX-lea.

Înțeles

Teorema fundamentală a analizei stabilește o legătură între calculul diferențial și integral . Conceptul de antiderivată (și, prin urmare, conceptul de integrală nedefinită) este definit prin conceptul de derivată și aparține astfel calculului diferențial. Pe de altă parte, conceptul de integrală Riemann definită este formalizat ca o limită către care converge așa-numita sumă integrală. Este independent de conceptul de derivată și aparține unei alte ramuri de analiză - calculul integral. Formula Newton-Leibniz ne permite să exprimăm o integrală definită în termenii antiderivatei.

Lebesgue integral

Funcția este o integrală nedefinită a funcției însumabile . Funcția este absolut continuă .

Teorema ( Lebesgue ): este absolut continuă pe un interval dacă și numai dacă există un integrabil pe o funcție astfel încât pentru orice valoare a lui x de la a la b .

Din această teoremă rezultă că, dacă o funcție este absolut continuă pe , atunci derivata ei există aproape peste tot , este integrabilă și satisface egalitatea [1] :

, unde .

Unele consecințe

Ca corolare ale acestei teoreme, se poate numi formula pentru schimbarea variabilelor, precum și teorema de expansiune Lebesgue pentru funcțiile monotone [1] .

Integrare pe părți

Fie și fie funcții absolut continue pe segment . Apoi:

.

Formula decurge imediat din teorema principală de analiză și regula Leibniz [1] .

Variații și generalizări

Vezi și

Note

  1. ↑ 1 2 3 Bogachev V. I. , Smolyanov O. G. Analiză reală și funcțională: curs universitar. - M.-Izhevsk: Centrul de Cercetare „Dinamica obișnuită și haotică”, Institutul de Cercetări Calculatoare, 2009. - P. 188-197. — 724 p. - ISBN 978-5-93972-742-6 .

Literatură