Primitivă

În analiza matematică, o primitivă sau integrală nedefinită^[a] a unei funcții f este o funcție F a cărei derivată este egală cu f, adică, F ′ = f. Procesul de calcul al primitivelor se numește primitivare (sau integrare nedefinită). Primitivele sunt legate de integralele definite prin teorema fundamentală a calculului integral, și furnizează un mijloc convenabil de calcul al integralelor definite ale multor funcții.

Funcția F(x) = x³/3 este o primitivă pentru f(x) = x². Întrucât derivata unei constante este zero, x² va avea un număr infinit de primitive; astfel (x³/3) + 0, (x³ / 3) + 7, (x³ / 3) − 42, etc. Astfel, întreaga familie de primitive ale lui x² se poate obține prin modificarea valorii lui C în F(x) = (x³ / 3) + C; unde C este o constantă arbitrară cunoscută drept constantă de integrare. Esențial este că graficul fiecărei primitive a unei funcții date este o translație pe verticală ale unei alte funcții din familie, locația fiecărei primitive fiind dată de valoare a lui C.

Primitivele sunt importante deoarece pot fi utilizate la calculul integralelor definite, folosind teorema fundamentală a calculului integral: dacă F este o primitivă a unei funcții integrabile f, atunci:

${\displaystyle \int _{a}^{b}f(x)\,dx=F(b)-F(a).}$

Din acest motiv, una din infinit de multele primitive ale unei funcții date f este uneori numită "integrală generală" sau "integrală nedefinită" a lui f și este scrisă folosind simbolul de integrală fără limite:

${\displaystyle \int f(x)\,dx.}$

Dacă F este o primitivă a lui f, și f este definită pe un interval, orice altă primitvă G a lui f diferă de F printr-o constantă: există un număr C astfel încât G(x) = F(x) + C oricare ar fi x. C este numită constantă de integrare. Dacă domeniul lui F este o reuniune de două sau mai multe intervale disjuncte, atunci se pot alege constante de integrare diferite pentru fiecare interval. De exemplu

${\displaystyle F(x)={\begin{cases}-{\frac {1}{x}}+C_{1}\quad x<0\\-{\frac {1}{x}}+C_{2}\quad x>0\end{cases}}}$

este primitiva cea mai generală pentru ${\displaystyle f(x)=1/x^{2}}$ pe domeniul său general ${\displaystyle (-\infty ,0)\cup (0,\infty ).}$

Toate funcțiile continue f admit primitive, iar o primitivă F este dată de integrala definită f cu limita de sus variabilă:

${\displaystyle F(x)=\int _{a}^{x}f(t)\,dt.}$

Varierea limitei de jos produce alte primitive (dar nu neapărat pe toate). Aceasta este o altă formulare a teoremei fundamentale a calculului integral.

Există multe funcții ale căror primitive, deși există, nu pot fi exprimate în termeni de funcții elementare ^[b]. Astfel de exemple sunt

${\displaystyle \int e^{-x^{2}}\,dx,\qquad \int {\frac {\sin(x)}{x}}\,dx,\qquad \int {\frac {1}{\ln x}}\,dx.}$

Calculul primitivelor funcțiilor elementare este adesea considerat mai dificil decât găsirea derivatelor acestora. Pentru unele funcții elementare, este imposibil să se exprime primitivele în termeni de alte funcții elementare.

Avem la dispoziție mai multe metode:

• liniaritatea integrării ne permite să descompunem integrale mai complexe în altele mai simple
• integrarea prin substituție, adesea combinată cu identitățile trigonometrice sau cu logaritmul natural
• integrarea prin părți pentru integrarea produsului de funcții
• metoda fracțiilor parțiale permite integrarea tuturor funcțiilor raționale (fracții de două polinoame)
• algoritmul Risch
• integralele pot fi căutate într-un tabel de integrale
• la integrarea multiplă, se pot folosi și alte tehnici adiționale, vezi de exemplu integralele duble și coordonatele polare, Jacobianul și teorema lui Stokes
• Sistemele algebrice pe calculator se pot folosi pentru a automatiza parțial sau total munca depusă în tehnicile simbolice de mai sus, ceea ce e deosebit de util când manipulările algebrice implicate sunt foarte complexe sau laborioase
• dacă o funcție nu are primitive elementare (de exemplu, exp(x²)), integralele sale definite pot fi aproximate folosind integrarea numerică

Pentru a ilustra unele din subtilitățile teoremei fundamentale, se poate observa ce fel de funcții discontinue admit primitive. Chiar dacă sunt încă întrebări fără răspuns în această zonă, se știe că:

• Unele funcții patologice cu mulțimi mari de discontinuități ar putea admite totuși primitive.
• În unele cazuri, primitivele unor astfel de funcții pot fi găsite prin integrare Riemann, pe când în alte cazuri astfel de funcții nu sunt integrabile Riemann.

Să presupunem că funcțiile despre care vorbim sunt definite pe intervale deschise.

• O condiție necesară, dar nu suficientă, pentru ca o funcție f să admită primitivă este ca f să aibă proprietatea Darboux. Adică, dacă [a,b] este un subinterval al domeniului de definiție al lui f și d este un număr real între f(a) și f(b), atunci există un c între a și b astfel încât f(c)=d. Pentru a vedea aceasta, fie F o primitivă a lui f și să considerăm funcția continuă g(x)=F(x)-dx pe intervalul închis [a, b]. Atunci g trebuie să aibă fie un minim, fie un maxim c în intervalul deschis (a,b) și astfel 0=g′(c)=f(c)-d.
• Mulțimea discontinuităților lui f trebuie să fie o mulțime neglijabilă. Această mulțime trebuie să fie și mulțime F-sigma (pentru că mulțimea discontinuităților unei funcții trebuie să fie de acest fel). Mai mult, pentru orice mulțime F-sigma neglijabilă, se poate construi o funcție f care are o primitivă, și care are mulțimea dată ca mulțime de discontinuități.
• Dacă f admite primitive, este mărginită pe subintervale închise finite ale domeniului de definiție și are o mulțime de discontinuități de măsură Lebesgue 0, atunci se poate găsi o primitivă prin integrare.
• Dacă f admite o primitivă F pe un interval închis [a,b], atunci oricum s-ar alege o partiție ${\displaystyle a=x_{0}<x_{1}<x_{2}<\dots <x_{n}=b}$, dacă se aleg puncte ${\displaystyle x_{i}^{*}\in [x_{i-1},x_{i}]}$ așa cum este specificat în Teorema de medie, atunci suma Riemann corespunzătoare tinde la valoarea F(b)-F(a).

${\displaystyle \sum _{i=1}^{n}f(x_{i}^{*})(x_{i}-x_{i-1})=\sum _{i=1}^{n}[F(x_{i})-F(x_{i-1})]=F(x_{n})-F(x_{0})=F(b)-F(a)}$

Totuși dacă mulțimea discontinuităților lui f are măsura Lebesgue pozitivă, la o altă alegere a punctelor intermediare ${\displaystyle x_{i}^{*}}$ se obține o valoare semnificativ diferită de suma Riemann, indiferent cât de fină este partiția. Vezi exemplul 4 de mai jos.

1. Funcția

   ${\displaystyle f(x)=2x\sin \left({\frac {1}{x}}\right)-\cos \left({\frac {1}{x}}\right)}$

   cu ${\displaystyle f\left(0\right)=0}$ nu este continuă în ${\displaystyle x=0}$ dar admite primitiva

   ${\displaystyle F\left(x\right)=x^{2}\sin \left({\frac {1}{x}}\right)}$

   cu ${\displaystyle F\left(0\right)=0}$. Deoarece f este mărginită pe intervale finit închise și este discontinuă doar în 0, primitiva F se poate obține prin integrare: ${\displaystyle F(x)=\int _{0}^{x}f(t)\,dt}$.
2. Funcția

   ${\displaystyle f(x)=2x\sin \left({\frac {1}{x^{2}}}\right)-{\frac {2}{x}}\cos \left({\frac {1}{x^{2}}}\right)}$

   cu ${\displaystyle f\left(0\right)=0}$ nu este continuă în ${\displaystyle x=0}$ dar admite primitiva

   ${\displaystyle F(x)=x^{2}\sin \left({\frac {1}{x^{2}}}\right)}$

   cu ${\displaystyle F\left(0\right)=0}$. Spre deosebire de exemplul 1, f(x) este nemărginită în orice interval ce îl conține pe 0, deci integrala Riemann nu este definită pe aceste intervale.
3. Dacă f(x) este funcția din exemplul 1 și F este o primitivă a ei, și ${\displaystyle \{x_{n}\}_{n\geq 1}}$ este o mulțime densă numărabilă a intervalului deschis ${\displaystyle \left(-1,1\right)}$, atunci funcția

   ${\displaystyle g(x)=\sum _{n=1}^{\infty }{\frac {f(x-x_{n})}{2^{n}}}}$

   admite o primitivă

   ${\displaystyle G(x)=\sum _{n=1}^{\infty }{\frac {F(x-x_{n})}{2^{n}}}.}$

   Mulțimea de discontinuități a lui g este exact mulțimea ${\displaystyle \{x_{n}\}_{n\geq 1}}$. Deoarece g este mărginită pe intervale finite închise și mulțimea de discontinuități are măsura 0, primitiva G poate fi găsită prin integrare.
4. Fie ${\displaystyle \{x_{n}\}_{n\geq 1}}$ o submulțime densă numărabilă a intervalului deschis ${\displaystyle \left(-1,1\right)}$. Considerăm funcția strict crescătoare și continuă

   ${\displaystyle F(x)=\sum _{n=1}^{\infty }{\frac {1}{2^{n}}}(x-x_{n})^{1/3}.}$

   Se poate arăta că

   ${\displaystyle F'(x)=\sum _{n=1}^{\infty }{\frac {1}{3\cdot 2^{n}}}(x-x_{n})^{-2/3}}$

   

   pentru toate valorile x unde seria este convergentă, și și că graficul F(x) are tangentă verticală în toate celelalte valori ale lui x. În particular graficul are tangente verticale în toate punctele din mulțimea ${\displaystyle \{x_{n}\}_{n\geq 1}}$.

   Mai mult ${\displaystyle F\left(x\right)\geq 0}$ pentru toți x unde derivata este definită. Rezultă că funcția inversă ${\displaystyle G=F^{-1}}$ este derivabilă în toate punctele și că

   ${\displaystyle g\left(x\right)=G'\left(x\right)=0}$

   oricare ar fi x în mulțimea ${\displaystyle \{F(x_{n})\}_{n\geq 1}}$ care este densă în intervalul ${\displaystyle \left[F\left(-1\right),F\left(1\right)\right]}$. Astfel g admite o primitivă G. Pe de altă parte, nu se poate ca

   ${\displaystyle \int _{F(-1)}^{F(1)}g(x)\,dx=GF(1)-GF(-1)=2,}$

   fiindcă pentru orice partiție ${\displaystyle \left[F\left(-1\right),F\left(1\right)\right]}$, se pot alege puncte intermediare pentru suma Riemann din mulțimea ${\displaystyle \{F(x_{n})\}_{n\geq 1}}$, care dau valoarea 0 sumei. Rezultă că g are mulțimea de discontinuități cu măsură Lebesgue pozitivă. Figura 1 din dreapta arată o aproximare a graficului g(x) unde ${\displaystyle \{x_{n}=\cos(n)\}_{n\geq 1}}$ iar seria este trunchiată la 8 termeni. Figura 2 arată graficul unei aproximări a primitivei G(x), și ea trunchiată la 8 termeni. Pe de altă parte dacă integrala Riemann este înlocuită de integrala Lebesgue, atunci lema lui Fatou sau teorema convergenței dominate arată că g satisface teoreme fundamentală în acest context.

5. În exemplele 3 și 4, mulțimile de discontinuități ale funcțiilor g sunt dense doar într-un interval deschis finit ${\displaystyle \left(a,b\right)}$. Totuși aceste exemple pot fi ușor modificate pentru a avea mulțimi de discontinuități dense pe întreaga dreaptă reală ${\displaystyle (-\infty ,\infty )}$. Let

   ${\displaystyle \lambda (x)={\frac {a+b}{2}}+{\frac {b-a}{\pi }}\tan ^{-1}(x).}$

   Atunci ${\displaystyle g\left(\lambda (x)\right)\lambda '(x)}$ are o mulțime densă de discontinuități pe ${\displaystyle (-\infty ,\infty )}$ și are primitiva ${\displaystyle G\cdot \lambda .}$
6. Printr-o metodă similară cu cea din exemplul 5, se poate modifica g în exemplul 4 ca să dispară pentru toate numerele raționale. Dacă se folosește o versiune simplificată a integralei Riemann definită ca limita sumelor Riemann sums la stânga sau ka dreapta pe partiții regulate, se va obține că integrala unei astfel de funcții g peste un interval ${\displaystyle \left[a,b\right]}$ este 0 oricând a și b sunt ambele raționale, în loc de ${\displaystyle G\left(b\right)-G\left(a\right)}$. Astfel teorema fundamentală eșuează spectaculos.

• en Introduction to Classical Real Analysis, by Karl R. Stromberg; Wadsworth, 1981 (see also)
• en Historical Essay On Continuity Of Derivatives, by Dave L. Renfro; http://groups.google.com/group/sci.math/msg/814be41b1ea8c024

Portal Matematică

• Ecuație integrală