Teorema fundamentală a calculului integral

De la testwiki
Sari la navigare Sari la căutare

Teorema fundamentală a calculului integral specifică relația dintre cele două operații de bază ale calculului integral, derivarea și integrarea.

Prima parte a teoremei, numită uneori prima teoremă fundamentală a calculului integral, arată că o integrală nedefinită[1] poate fi inversată prin derivare.

Partea a doua, uneori numită a doua teoremă fundamentală a calculului integral, permite calcularea integralei definite a unei funcții folosind oricare din infinit de multele primitive ale acesteia. Această parte din teoremă simplifică calculul integralelor definite.

Prima formulare și demonstrație publicată a unei versiuni restrânse a acestei teoreme a fost dată de James Gregory (1638-1675).[2] Isaac Newton (1643–1727) și Gottfried Leibniz (1646–1716) au dezvoltat independent unul de altul forma finală a teoremei.

Intuitiv

Intuitiv, teorema afirmă doar că suma unor variații infinitezimale ale unei cantități în timp constituie variația netă a acelei cantități.

Pentru a înțelege această afirmație, vom da un exemplu. Să presupunem că o particulă se deplasează în linie dreaptă cu poziția dată de x(t) unde t este timpul. Derivata acestei funcții este egală cu variația infinitezimală a poziției, dx, pentru o variație infinitezimală a timpului, dt (bineînțeles, derivata însăși depinde de timp). Să definim această variație a distanței pe variația de timp ca viteza v a particulei. În notația lui Leibniz:

dxdt=v(t).

Rearanjând această ecuație, rezultă că:

dx=v(t)dt.

Prin logica de mai sus, o variație a lui x, notată Δx, este suma modificărilor infinitezimale dx. Ea este egală și cu suma produselor infinitezimale ale derivatei și timpului. Această adunare infinită se numește integrare; deci, operația de integare permite recuperarea funcției originale din derivata ei. De aici se poate deduce că această operație funcționează și invers, derivând rezultatul integralei pentru a obține derivata originală.

Enunțuri

Teorema fundamentală a calculului integral are două părți. Prima parte se ocupă de derivata unei primitive, iar a doua parte se ocupă de relația dintre primitivă și integrala definită.

Prima parte

Această parte este numită uneori Prima teoremă fundamentală a calculului integral.

Fie f o funcție continuă cu valori reale definită pe un interval închis [a, b]. Fie F funcția definită, pentru fiecare x din [a, b], prin

F(x)=axf(t)dt

Atunci, oricare ar fi x din [a, b],

F(x)=f(x).

Operația axf(t) este o integrală definită cu limită superioară variabilă, și rezultatul său F(x) este una din infinit de multele primitive ale lui f.

Partea a doua

Această parte este uneori numită A doua teoremă fundamentală a calculului integral.

Fie f o funcție continuă cu valori reale definită pe un interval închis [a, b]. Fie F o primitivă a lui f, adică una din infinit de multele funcții cu proprietatea că, oricare ar fi x din [a, b],

f(x)=F(x).

Atunci:

abf(x)dx=F(b)F(a)

Acest rezultat este cunoscut sub denumirea de formula Leibniz-Newton.

Corolar

Fie f o funcție cu valori reale definită pe un interval închis [a, b]. Fie F o funcție astfel încât, oricare ar fi x din [a, b],

f(x)=F(x)

Atunci, oricare ar fi x din [a, b],

F(x)=axf(t)dt+F(a)

și

f(x)=ddxaxf(t)dt.

Exemple

De exemplu, să presupunem că trebuie să se calculeze

25x2dx.

Aici, f(x)=x2 și putem folosi F(x)=x33 ca primitivă. Deci:

25x2dx=F(5)F(2)=125383=1173=39.

Sau, mai general, să presupunem că trebuie să se calculeze

ddx0xt3dt.

Aici, f(t)=t3 și putem folosi F(t)=t44 ca primitivă. Astfel:

ddx0xt3dt=ddxF(x)ddxF(0)=ddxx44=x3.

Dar acest rezultat putea fi găsit mult mai ușor ca

ddx0xt3dt=f(x)dxdxf(0)d0dx=x3.

Demonstrație

Să presupunem că

F(x)=axf(t)dt.

Fie două numere x1 și x1 + Δx din [a, b]. Deci avem

F(x1)=ax1f(t)dt

și

F(x1+Δx)=ax1+Δxf(t)dt.

Scăzând cele două ecuații

F(x1+Δx)F(x1)=ax1+Δxf(t)dtax1f(t)dt.(1)

Se poate arăta că

ax1f(t)dt+x1x1+Δxf(t)dt=ax1+Δxf(t)dt.
(Suma ariilor a două regiuni adiacente este egală cu aria combinată a ambelor regiuni combinate.)

Manipularea acestei ecuații produce

ax1+Δxf(t)dtax1f(t)dt=x1x1+Δxf(t)dt.

Înlocuind aceasta de mai sus în (1) rezultă

F(x1+Δx)F(x1)=x1x1+Δxf(t)dt.(2)

Conform cu teorema valorii medii pentru integrare, există un c din [x1, x1 + Δx] astfel încât

x1x1+Δxf(t)dt=f(c)Δx.

Înlocuind aceasta în (2) obținem

F(x1+Δx)F(x1)=f(c)Δx.

Împărțind ambele părți la un Δx obținem

F(x1+Δx)F(x1)Δx=f(c).

Mergând la limită când Δx → 0 în ambele părți ale ecuației,

limΔx0F(x1+Δx)F(x1)Δx=limΔx0f(c).

Expresia din partea stângă a ecuației este definiția derivatei lui F în x1.

F(x1)=limΔx0f(c).(3)

Pentru a găsi cealaltă limită, vom folosi teorema cleștelui. Numărul c este din intervalul [x1, x1 + Δx], astfel că x1cx1 + Δx.

De asemenea, limΔx0x1=x1 and limΔx0x1+Δx=x1.

Deci, conform teoremei cleștelui,

limΔx0c=x1.

Înlocuind în (3), rezultă

F(x1)=limcx1f(c).

Funcția f este continuă în c, deci limita poate fi introdusă în cadrul funcției. Deci rezultă

F(x1)=f(x1).

ceea ce încheie demonstrația.

(Leithold et al, 1996)

Note

  1. Mai precis, teorema tratează integrarea definită cu limită superioară variabilă și limită inferioară constantă arbitrară. Acest tip particular de integrală definită ne permite să calculăm una din infinit de multele primitive ale unei funcții (cu excepția celor care nu au un zero). Deci este aproape echivalentă cu o integrală nedefinită, definită de majoritatea autorilor ca o operație care dă una din posibilele primitive ale unei funcții, inclusiv cele fără vreun zero.
  2. Vezi, de exemplu, 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.

Bibliografie

  • Larson, Ron, Bruce H. Edwards, David E. Heyd. Calculus of a single variable. 7th ed. Boston: Houghton Mifflin Company, 2002.
  • Leithold, L. (1996). The calculus 7 of a single variable. 6th ed. New York: HarperCollins College Publishers.
  • Malet, A, Studies on James Gregorie (1638-1675) (PhD Thesis, Princeton, 1989).
  • Stewart, J. (2003). Fundamental Theorem of Calculus. In Integrals. In Calculus: early transcendentals. Belmont, California: Thomson/Brooks/Cole.
  • Format:Citat carte
  • Format:Citat carte.
  • Format:Citat carte
  • Turnbull, H W (ed.), The James Gregory Tercentenary Memorial Volume (London, 1939)