Integrala Riemann

Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită la 13 aprilie 2022; verificările necesită 3 modificări .

Integrala Riemann este cea mai utilizată formă a integralei definite . Foarte des, termenul „integrală definită” se referă la integrala Riemann și este studiată ca fiind prima dintre toate integralele definite în toate cursurile de analiză matematică. [1] Introdus de Bernhard Riemann în 1854 și este una dintre primele formalizări ale conceptului de integrală . [2]

Descriere informală

Integrala Riemann este o formalizare a conceptului de zonă sub un grafic. Să împărțim segmentul peste care căutăm zona într-un număr finit de subsegmente. Pe fiecare dintre subsegmente, selectăm un anumit punct al graficului și construim un dreptunghi vertical cu subsegmentul ca bază până la acel punct al graficului. Luați în considerare o figură obținută din astfel de dreptunghiuri. Aria S a unei astfel de figuri cu o împărțire specifică în segmente cu lungimi va fi dată de suma:

Este clar intuitiv că, dacă reducem lungimile acestor subsegmente, atunci aria unei astfel de figuri se va apropia din ce în ce mai mult de zona de sub grafic. Această remarcă este cea care conduce la definirea integralei Riemann. [3]

Definiție

Definiție clasică

Fie definită o funcție cu valoare reală pe intervalul . Vom număra .

Pentru a defini o integrală, în primul rând, este necesar să definim mai întâi conceptul de divizare a unui segment și celelalte definiții legate de acesta.

O partiție (nemarcată) a unui segment este un set finit de puncte ale segmentului , care include punctele și . După cum se poate vedea din definiție, o partiție include întotdeauna cel puțin două puncte. Punctele de împărțire pot fi aranjate în ordine crescătoare: . Setul tuturor partițiilor unui segment va fi notat cu .

Punctele de divizare între care nu există alte puncte de divizare sunt numite adiacente . Un segment ale cărui capete sunt puncte de despicare adiacente se numește segment de despărțire parțială . Notăm astfel de segmente ca . Lungimea unui segment parțial al partiției este notată cu . Lungimea celui mai mare dintre segmente se numește diametrul partiției . Pentru compartimentare , diametrul acestuia va fi notat ca .

Un marcaj de partiție este un set ordonat finit astfel încât . Setul tuturor marcajelor partiției va fi notat ca .

O partiție etichetată este o pereche ordonată , unde este o partiție neetichetată și este o etichetare . Setul tuturor partițiilor marcate ale unui segment va fi notat ca .

După toate aceste definiții, putem trece la definirea directă a integralei Riemann.

Să fie dată o partiție etichetată . Suma integrală Riemann a unei funcții pe o partiție etichetată se numește . Integrala Riemann va fi limita acestor sume pe măsură ce diametrul partiției tinde spre zero. Cu toate acestea, există o subtilitate aici: aceasta este limita unei funcții cu partiții marcate ca argumente, nu numere, iar noțiunea obișnuită de limită atunci când se apropie de un punct nu se aplică aici. Este necesar să oferim o descriere formală a ceea ce înțelegem prin sintagma „limită la diametrul partiției care tinde spre zero”

Fie o funcție care atribuie un număr partiției etichetate. Numărul se numește limita funcției atunci când diametrul partiției tinde spre zero dacă

Desemnare:

O astfel de limită este un caz special al limitei de bază . Într-adevăr, notăm setul tuturor partițiilor etichetate cu diametrul mai mic decât . Atunci setul este o bază pe setul , iar limita definită mai sus nu este altceva decât limita peste această bază. Astfel, pentru astfel de limite, toate proprietățile inerente limitelor de bază sunt satisfăcute.

În cele din urmă, putem defini integrala Riemann. Integrala Riemann a unei funcții din intervalul de la până la este limita sumelor Riemann integrale ale unei funcții pe partițiile etichetate ale unui segment cu un diametru al partiției care tinde spre zero. Folosind notația integrală, aceasta se scrie după cum urmează:

Integrala Riemann este de asemenea definită pentru cazul . Căci este definit ca

Pentru cum

[patru]

Prin integralele Darboux

Integrala Riemann poate fi definită într-un mod alternativ în termeni de integrale Darboux. De obicei, o astfel de definiție este dovedită ca o proprietate, iar teorema despre echivalența lor se numește teorema lui Darboux . Avantajele unei astfel de definiții sunt că ne permite să renunțăm la noțiunea de partiție etichetată, limita de partiție, și oferă o vedere mai clară a conceptului de integrabilitate.

Pentru o partiție neetichetată , notăm cel mai mic infimum al funcției de pe segmentul , și să notăm cel mai mare supremum.

Suma Darboux inferioară se numește .

Suma superioară a lui Darboux se numește . [5]

Integrala Darboux inferioară se numește .

Integrala superioară Darboux se numește . [6]

Integrale Darboux există pentru orice funcție mărginită pe intervalul de integrare. Dacă integralele Darboux coincid și sunt finite, atunci funcția se numește integrabilă Riemann pe intervalul , iar acest număr în sine se numește integrală Riemann. [7]

Integrala Darboux poate fi definită și în termeni de limită peste partițiile neetichetate, cu diametrul partiției tinzând spre zero. Limita peste partițiile neetichetate este definită în mod similar cu limita peste partițiile etichetate, dar vom oficializa și această noțiune. Fie o funcție care atribuie un număr unei partiții neetichetate. Numărul se numește limita funcției atunci când diametrul partiției tinde spre zero dacă

Denumire: [8]

O astfel de limită este, de asemenea, un caz special al limitei de bază. Baza aici va fi decorul , unde . [9] Atunci:

Integrala Darboux inferioară se numește .

Integrala superioară Darboux se numește . [zece]

Funcții integrabile

O funcție pentru care integrala Riemann există în limitele de la până (dacă limita este egală cu infinit, atunci se consideră că integrala nu există) se numește integrabilă Riemann pe segmentul [a;b] . [11] Setul de funcții care sunt integrabile pe interval se numește mulțime de funcții care sunt integrabile pe interval și se notează cu .

Condiția principală și cea mai convenabilă pentru integrabilitate este criteriul Lebesgue: mulțimea de funcții integrabile pe un interval este exact mulțimea de funcții care sunt mărginite și continue aproape peste tot pe acest interval. Acest criteriu face posibilă aproape imediat obținerea majorității condițiilor suficiente pentru integrabilitate. Cu toate acestea, demonstrarea acestei afirmații este destul de complicată, motiv pentru care este adesea omisă într-o prezentare metodică, iar dovezile ulterioare se bazează pe criteriul Riemann. Demonstrarea existenței integralei Riemann pe baza criteriului Riemann este mai dificilă decât pe baza criteriului Lebesgue.

Criterii de integrabilitate

[12] Acest criteriu nu este altceva decât o înregistrare a criteriului Cauchy de convergență în baza pentru cazul integralei Riemann. O definiție alternativă a integralei Riemann se bazează pe acest criteriu. Apoi suma unei funcții de pe o partiție se numește . [15] [16] O funcție este Riemann integrabilă dacă și numai dacă este mărginită și limita sumelor pe măsură ce diametrul partiției tinde spre zero este egală cu . [17] Se notează prin împărțirea segmentului în segmente egale. Funcția este integrabilă pe acest segment dacă și numai dacă șirul tinde spre zero. [douăzeci] [paisprezece] De fapt, oscilația unei funcții într-un punct este diferența dintre o funcție și una continuă. În punctul de continuitate este egal cu , în punctul de discontinuitate este mai mare decât . O funcție este Riemann integrabilă dacă și numai dacă este mărginită și pentru oricare mulțime de puncte la care are măsură Jordan zero (adică pentru oricare poate fi acoperită de un set finit de intervale cu o lungime totală mai mică de ). [22]

Condiții suficiente pentru integrabilitate

Toate condițiile suficiente de integrabilitate enumerate mai jos decurg aproape imediat din criteriul Lebesgue.

Proprietăți

Proprietățile ulterioare sunt valabile numai dacă integralele corespunzătoare există.

Pentru existența tuturor acestor trei integrale este suficientă existența a două dintre ele. Pentru oricine [27] Existența integralei drepte implică existența celei stângi. Dacă , atunci existența stângii implică existența dreptei. Pentru existența tuturor acestor trei integrale, este suficient fie să existe o integrală peste un segment mai mare, fie peste două mai mici. [36] Pentru ca aceste două integrale să existe, existența integralei stângi este suficientă. Există o variație a acestei proprietăți pentru arbitrare și . [37] Valoarea medie a unei funcții pe un segment se numește . Teorema valorii medii spune că o funcție continuă pe un segment își ia valoarea medie la un moment dat pe acest segment. Puteți scrie această condiție fără a împărți pentru a acoperi cazul când . Într-o astfel de notație, teorema valorii medii este adevărată pentru orice valori ale și . De fapt, o condiție mult mai generală este adevărată. Fie integrabil pe , , . Apoi [36] Această teoremă este uneori numită și teorema valorii medii integrale pentru a o distinge de următoarele. [38] [39] Teorema este din nou adevărată pentru orice și . Pentru această teoremă, se poate da și o variație în cazul continuității . [40] Uneori, această teoremă, și nu cea anterioară, se numește teorema valorii medii. De asemenea, pentru a o distinge de următoarea, această teoremă se numește prima teoremă a valorii medii . [41] [42] A doua teoremă a valorii medii are variații pentru funcțiile nenegative . Fie ca funcția să fie integrabilă pe segmentul , iar funcția să fie nenegativă și să nu crească. Apoi [43] Fie funcția să fie integrabilă în intervalul , iar funcția să fie nenegativă și nedescrescătoare. Apoi [43]

Integrală cu limita superioară a variabilei

Funcția definită folosind integrala după cum urmează

se numește integrală cu limită superioară a variabilei . [38]

Proprietăți:

Ultima proprietate permite utilizarea unei integrale cu o limită superioară a variabilei pentru a nota antiderivată a unei funcții. Astfel, se leagă integrala nedefinită și cea definită prin următoarea relație:

Această egalitate este adevărată și dacă este integrabilă și are antiderivată pe . [45]

Calcul

Pentru a calcula integralele Riemann în cele mai simple cazuri, se folosește formula Newton-Leibniz, care este o consecință a proprietăților unei integrale cu limită superioară a variabilei.

Formula Newton-Leibniz . Fiecontinuu pe,antiderivatul său pe,. Apoi

[46]

În calculele practice, se folosesc și următoarele metode:

Se efectuează înlocuirea , după care se recalculează limitele de integrare și diferența: Apoi Pentru ca o astfel de înlocuire să fie legală, sunt necesare continuitate și diferențiere continuă și monotonitate strictă . [47] Formula este legală dacă și sunt diferențiabile continuu. [48]

De fapt, multe dintre condițiile specificate pentru formula Newton-Leibniz și cele două metode de mai sus sunt redundante și pot fi slăbite semnificativ. [49] [48] [50] Cu toate acestea, astfel de condiții vor fi mai complicate, în plus, pentru majoritatea cazurilor practice, aceste condiții sunt suficiente. Mai mult, în formă redusă, aceste condiții garantează și existența tuturor integralelor, ceea ce ne permite să ne restrângem doar la verificarea acestor condiții simple înainte de a aplica metodele adecvate.

[51] [51] [51]

Istorie

Definiția de mai sus a unei integrale a fost dată de Cauchy [52] și a fost aplicată numai funcțiilor continue.

Riemann în 1854 (publicat în 1868 [2] , în rusă pentru prima dată în 1914 [53] [54] ) a dat aceeași definiție fără asumarea continuității. Forma modernă a teoriei lui Riemann a fost dată de Darboux (1879).

Variații și generalizări

Pentru intervale finite cu o funcție nemărginită în vecinătatea limitei superioare se definește după cum urmează: Cazurile rămase sunt definite în mod similar. Dacă există infinite puncte de discontinuitate în interiorul intervalului sau dacă ambele limite sunt infinite, atunci integrala de aditivitate se împarte în mai multe. Caracteristica cheie a acestei definiții este că, pentru funcțiile integrabile, astfel de limite coincid cu integralele obișnuite (numite proprii pentru a distinge de cele improprii). Astfel, integrala Riemann improprie este doar o generalizare proprie. Multe proprietăți ale integralelor multiple coincid cu cele obișnuite, dar unele nu (de exemplu, formula de modificare a variabilelor). Contrar concepției greșite populare, ele nu sunt o generalizare exactă a integralei Riemann, deoarece integrala multiplă este preluată de o mulțime nedirecționată, iar cea obișnuită necesită setarea direcției segmentului.

Vezi și

Note

  1. Fikhtengolts, 2003 , p. 107.
  2. 1 2 Riemann (articol), 1868 , p. 101-103.
  3. Fikhtengolts, 2003 , p. 104.
  4. Arkhipov, 1999 , p. 218.
  5. Arkhipov, 1999 , p. 190.
  6. Arkhipov, 1999 , p. 204-205.
  7. Arkhipov, 1999 , p. 208.
  8. Ilyin, 1985 , p. 337.
  9. Arkhipov, 1999 , p. 189.
  10. Ilyin, 1985 , p. 338.
  11. Arkhipov, 1999 , p. 186-188.
  12. Kudryavtsev, 2003 , p. 539.
  13. Kudryavtsev, 2003 , p. 553.
  14. 1 2 3 Kudryavtsev, 2003 , p. 556.
  15. Arkhipov, 1999 , p. 224.
  16. Arkhipov, 1999 , p. 181.
  17. Arkhipov, 1999 , p. 180.
  18. Arkhipov, 1999 , p. 185.
  19. Arkhipov, 1999 , p. 205.
  20. Arkhipov, 1999 , p. 186.
  21. Arkhipov, 1999 , p. 187.
  22. Kudryavtsev, 2003 , p. 563.
  23. Kudryavtsev, 2003 , p. 567.
  24. Kudryavtsev, 2003 , p. 548.
  25. Kudryavtsev, 2003 , p. 549.
  26. Arkhipov, 1999 , p. 198.
  27. 1 2 3 4 Kudryavtsev, 2003 , p. 573.
  28. Kudryavtsev, 2003 , p. 574.
  29. 1 2 Kudryavtsev, 2003 , p. 578.
  30. Arkhipov, 1999 , p. 203.
  31. Kudryavtsev, 2003 , p. 571.
  32. 1 2 Kudryavtsev, 2003 , p. 572.
  33. Arkhipov, 1999 , p. 179.
  34. 1 2 Kudryavtsev, 2003 , p. 576.
  35. Kudryavtsev, 2003 , p. 577.
  36. 1 2 Fikhtengolts, 2003 , p. 125.
  37. Kudryavtsev, 2003 , p. 579.
  38. 1 2 3 Kudryavtsev, 2003 , p. 587.
  39. Fikhtengolts, 2003 , p. 126.
  40. Fikhtengolts, 2003 , p. 127.
  41. Kudryavtsev, 2003 , p. 583.
  42. Fikhtengolts, 2003 , p. 132.
  43. 1 2 Arkhipov, 1999 , p. 215.
  44. Kudryavtsev, 2003 , p. 588.
  45. Kudryavtsev, 2003 , p. 590.
  46. Kudryavtsev, 2003 , p. 591.
  47. Kudryavtsev, 2003 , p. 596.
  48. 1 2 Kudryavtsev, 2003 , p. 600.
  49. Kudryavtsev, 2003 , p. 593.
  50. Kudryavtsev, 2003 , p. 601.
  51. 1 2 3 Vilenkin, 1979 , p. 72.
  52. Cauchy, 1831 .
  53. Riemann (carte), 1914 .
  54. Arkhipov, 1999 , p. 196.
  55. Kudryavtsev, 2003 , p. 595.
  56. Kudryavtsev, 2003 , p. 607.

Literatură

Link -uri