Darboux integral
Integrala Darboux este una dintre modalitățile de a generaliza integrala Riemann la orice funcție mărginită pe un interval. Există integrale Darboux superioare și inferioare. Integrale Darboux sunt din punct de vedere geometric zonele superioare și inferioare de sub grafic.
Definiție
Pentru a defini integralele Darboux, trebuie mai întâi să introducem conceptul auxiliar al sumelor Darboux.
Fie definită pe un segment o funcție a unei variabile reale .
![[a,b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
O partiție a unui segment este un set finit de puncte ale acestui segment, care include punctele și . [1] Pentru confortul introducerilor ulterioare, vom introduce notația. Notăm punctele de partiție ca , și le numerotăm în ordine crescătoare (începând de la zero):
![\tau](https://wikimedia.org/api/rest_v1/media/math/render/svg/38a7dcde9730ef0853809fefc18d88771f95206c)
![[a,b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![\tau](https://wikimedia.org/api/rest_v1/media/math/render/svg/38a7dcde9730ef0853809fefc18d88771f95206c)
![x_{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e87000dd6142b81d041896a30fe58f0c3acb2158)
![{\displaystyle \tau =\left\{{{x}_{0},\ldots {x}_{n}}\right\},\ a={{x}_{0}}<{{x }_{1}}<\ldots <{{x}_{n-1}}<{{x}_{n}}=b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2ea2213fe99efc8de9835ab81200d3ec47ba88c)
.
Setul tuturor partițiilor segmentului va fi notat cu .
![[a;b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/68e776d74130a8890a814c1f4e74372a9110d2f9)
![T](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec7200acd984a1d3a3d7dc455e262fbe54f7f6e0)
Un segment parțial al partiției se numește segment .
![\Delta _{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dd0ee88c6ec7be6311b5650521fa2df97196d5f)
![{\displaystyle [x_{i-1},x_{i}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09cb12a889d47020c8ce7046a2eb60785e00c0b6)
Să notăm lungimea segmentului parțial al partiției ca .
![\Delta x_{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d03804c96ca38a2bff889eaf13470785aca25fc)
Diametrul unei partiții este lungimea maximă a unui segment parțial al partiției . [2]![d](https://wikimedia.org/api/rest_v1/media/math/render/svg/e85ff03cbe0c7341af6b982e47e9f90d235c66ab)
Fețele exacte ale funcției de pe segmentele parțiale ale partiției vor fi notate cu și .
![m_i](https://wikimedia.org/api/rest_v1/media/math/render/svg/95ec8e804f69706d3f5ad235f4f983220c8df7c2)
![M_{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eda8fd06f1cd5de22ed07385a0f8aa19773b2de9)
![{\displaystyle {{m}_{i}}=\inf _{x\in \Delta _{i}}f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e44c4c5388e601e879c9076da55455cd46348ef9)
,
![{\displaystyle {{M}_{i}}=\sup _{x\in \Delta _{i}}f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc16022ee102f78f554129d2a181d8110faccfa9)
.
Apoi, suma Darboux inferioară a unei funcții de pe o partiție este numită
![{\displaystyle s(f,\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7206ea6858a3525cfcad0618860416958d35000)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![\tau](https://wikimedia.org/api/rest_v1/media/math/render/svg/38a7dcde9730ef0853809fefc18d88771f95206c)
Se numește
suma superioară Darboux![{\displaystyle S(f,\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aaa2219d2b1e306414d2450eec1fb6a61f424a39)
[3]
Atunci integrala Darboux inferioară este
![eu_*](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a47e0cab50954ec5dbeecca96796d18b89c9151)
Se numește
integrala superioară Darboux![eu^*](https://wikimedia.org/api/rest_v1/media/math/render/svg/9682fb2bdb0d34a1894bad921a50c2be9c787f75)
[patru]
Definiții alternative
Există, de asemenea, definiții alternative ale integralelor Darboux. De obicei, acestea sunt dovedite ca proprietăți.
- Integrala Darboux inferioară este limita sumelor Darboux inferioare deoarece diametrul partiției tinde spre zero, iar cea superioară este limita celor superioare. [5]
- Integrala inferioară Darboux este limita inferioară a sumelor integrale , deoarece diametrul partiției tinde spre zero, iar cea superioară este limita superioară. [6]
Proprietăți
Proprietățile sumelor Darboux
- Pentru orice două partiții arbitrare ale aceluiași segment, suma Darboux inferioară pe o partiție nu depășește suma Darboux superioară pe cealaltă partiție. [7]
- Sumele inferioare Darboux sunt mărginite de sus, iar sumele superioare sunt mărginite de jos. [patru]
- Când se adaugă puncte noi la partiția existentă, suma inferioară Darboux nu poate scădea în niciun fel, iar cea superioară nu poate crește în niciun fel. [7]
![{\displaystyle {\begin{aligned}s(f,\tau ')\geq s(f,\tau )\\S(f,\tau ')\leq S(f,\tau )\end{aliniat} }\quad \tau '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b68f673a6d8e005cd13f791a1e239134d3f130f)
- slefuire .
![\tau](https://wikimedia.org/api/rest_v1/media/math/render/svg/38a7dcde9730ef0853809fefc18d88771f95206c)
Mai mult, modificarea acestor sume poate fi dată după următoarea estimare.
Fie d diametrul , rafinamentul se obține prin adăugarea a cel mult punctelor la , și a fețelor exacte ale funcției de pe segment . Apoi
![\tau](https://wikimedia.org/api/rest_v1/media/math/render/svg/38a7dcde9730ef0853809fefc18d88771f95206c)
![{\displaystyle \tau '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a4b3850eb4dcb49e6a65f6d76e434f4471f4087)
![l](https://wikimedia.org/api/rest_v1/media/math/render/svg/829091f745070b9eb97a80244129025440a1cfac)
![\tau](https://wikimedia.org/api/rest_v1/media/math/render/svg/38a7dcde9730ef0853809fefc18d88771f95206c)
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
[5]
- Fie suma integrală. Pentru orice partiție arbitrară cu puncte marcate , următoarea inegalitate este adevărată:
![{\displaystyle \sigma (f,\tau,\xi)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/193c60dbc3c048600fb1c7a36adc80451fac0979)
![{\displaystyle (\tau ,\xi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ca621941496acf99d0ff8648f5013e9b8829221)
[opt]
- Sumele Darboux sunt fețe exacte ale sumelor integrale pe o partiție dată. [7] Fie setul tuturor punctelor marcate posibile pe partiție . Apoi
![\Xi](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fcfdbcd1348cf9e34618a31dbdcb36361406220)
![\tau](https://wikimedia.org/api/rest_v1/media/math/render/svg/38a7dcde9730ef0853809fefc18d88771f95206c)
![{\displaystyle s(f,\tau )=\inf _{\xi \in \Xi }\sigma (f,\tau,\xi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7527e5a7a4f670476a680211a4780a46a0c4fb2e)
,
![{\displaystyle S(f,\tau )=\sup _{\xi \in \Xi }\sigma (f,\tau,\xi)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99020b54f7657dbd3ee99411313e16e142d86157)
.
Proprietățile integralelor Darboux
- Pentru orice funcție mărginită pe un interval, integralele Darboux există și sunt finite. [9] Pentru o funcție nemărginită de sus, integrala superioară este , pentru o funcție nemărginită de jos, integrala inferioară este .
![+\infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/bddbb0e4420a7e744cf71bd71216e11b0bf88831)
![-\infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca2608c4b5fd3bffc73585f8c67e379b4e99b6f1)
- Următoarele inegalități sunt valabile pentru sume și integrale
[9]
- Lema principală a lui Darboux. Limita sumelor Darboux inferioare pe măsură ce diametrul partiției tinde spre zero există pentru orice funcție mărginită și este egală cu integrala Darboux inferioară. Limita sumelor superioare Darboux există pentru orice funcție mărginită, deoarece diametrul partiției tinde spre zero și este egal cu integrala superioară Darboux. [5]
![{\displaystyle \exists \lim _{d(\tau)\to 0}s(f,\tau)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b63e9afb0f7b024564ede231cc47690f3ee3ea55)
și
![{\displaystyle \exists \lim _{d(\tau)\to 0}S(f,\tau)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c7255daff1648d440341173ce70a53e5eb095e7)
și
![{\displaystyle I^{*}=\lim _{d(\tau )\to 0}S(f,\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7c401b28b0248a4cd5b441c80229368a4312354)
Lema principală a lui Darboux stabilește echivalența primei și celei de-a doua definiții a integralelor Darboux.
- criteriul Darboux. Integrabilitatea Riemann pe o funcție mărginită pe acest interval este echivalentă cu egalitatea integralelor Darboux superioare și inferioare pe acest interval.
![[a;b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/68e776d74130a8890a814c1f4e74372a9110d2f9)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
— Riemann integrabil
[10]
Variații și generalizări
Multiple Darboux integral
Prin analogie cu integrala multiplă Riemann, se poate defini și integrala multiplă Darboux. Să fie un set măsurabil Iordan și să fie împărțirea lui printr-un număr finit de seturi măsurabile Iordan. Să notăm seturile acestei partiții ca .
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![\tau](https://wikimedia.org/api/rest_v1/media/math/render/svg/38a7dcde9730ef0853809fefc18d88771f95206c)
![\Delta _{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dd0ee88c6ec7be6311b5650521fa2df97196d5f)
Notăm măsura Iordanului cu .
![\Delta x_{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d03804c96ca38a2bff889eaf13470785aca25fc)
![\Delta _{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dd0ee88c6ec7be6311b5650521fa2df97196d5f)
Setul tuturor partițiilor va fi notat cu .
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![T](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec7200acd984a1d3a3d7dc455e262fbe54f7f6e0)
Diametrul partiției este definit ca maximul diametrelor setului de partiții (diametrul setului de partiții este cea mai mică limită superioară a distanțelor dintre punctele sale).
![d](https://wikimedia.org/api/rest_v1/media/math/render/svg/e85ff03cbe0c7341af6b982e47e9f90d235c66ab)
Fețele exacte ale funcției de pe seturile de partiții sunt notate cu și .
![m_i](https://wikimedia.org/api/rest_v1/media/math/render/svg/95ec8e804f69706d3f5ad235f4f983220c8df7c2)
![M_{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eda8fd06f1cd5de22ed07385a0f8aa19773b2de9)
![{\displaystyle {{m}_{i}}=\inf _{x\in \Delta _{i}}f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e44c4c5388e601e879c9076da55455cd46348ef9)
,
![{\displaystyle {{M}_{i}}=\sup _{x\in \Delta _{i}}f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc16022ee102f78f554129d2a181d8110faccfa9)
.
Apoi, suma Darboux inferioară a unei funcții de pe o partiție este numită
![{\displaystyle s(f,\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7206ea6858a3525cfcad0618860416958d35000)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![\tau](https://wikimedia.org/api/rest_v1/media/math/render/svg/38a7dcde9730ef0853809fefc18d88771f95206c)
Se numește
suma superioară Darboux![{\displaystyle S(f,\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aaa2219d2b1e306414d2450eec1fb6a61f424a39)
[unsprezece]
Atunci integrala Darboux inferioară este
![eu_*](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a47e0cab50954ec5dbeecca96796d18b89c9151)
Se numește
integrala superioară Darboux![eu^*](https://wikimedia.org/api/rest_v1/media/math/render/svg/9682fb2bdb0d34a1894bad921a50c2be9c787f75)
[12]
Toate proprietățile de mai sus ale sumelor Darboux și integralelor Darboux, precum și definițiile alternative, sunt păstrate. [13]
Note
- ↑ Ilyin, 1985 , p. 330.
- ↑ Ilyin, 1985 , p. 331.
- ↑ Arkhipov, 1999 , p. 190.
- ↑ 1 2 Ilyin, 1985 , p. 337.
- ↑ 1 2 3 Ilyin, 1985 , p. 338.
- ↑ Arkhipov, 1999 , p. 208.
- ↑ 1 2 3 Ilyin, 1985 , p. 336.
- ↑ Ilyin, 1985 , p. 335.
- ↑ 1 2 Arkhipov, 1999 , p. 191.
- ↑ Kudryavtsev, 2003 , p. 553.
- ↑ Arkhipov, 1999 , p. 559.
- ↑ Arkhipov, 1999 , p. 548.
- ↑ Arkhipov, 1999 , p. 550.
Literatură
- Ilyin V. A., Sadovnichiy V. A., Sendov Bl. X. Analiza matematică. Curs inițial. - Ed. a II-a, revăzută .. - M . : MGU, 1985. - 662 p. Cu.
- Arkhipov G. I., Sadovnichiy V. A., Chubarikov V. N. Prelegeri de analiză matematică: Manual pentru universități și ped. universități. - M . : Şcoala superioară, 1999. - 695 p. Cu. - ISBN 5-06-003596-4 .
- Kudryavtsev L. D. Curs de analiză matematică. În 3 volume. Volumul 1. Calcul diferenţial şi integral al funcţiilor mai multor variabile . - M . : Butarda, 2003. - 704 p. (Rusă)