Darboux integral
Darboux-integralet er en af måderne at generalisere Riemann-integralet til enhver funktion afgrænset til et interval. Der er øvre og nedre Darboux-integraler. Darboux-integraler er geometrisk de øvre og nedre områder under grafen.
Definition
For at definere Darboux-integraler skal vi først introducere hjælpebegrebet Darboux-summer.
Lad en funktion af en reel variabel defineres på et segment .
![[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)
En partition af et segment er et begrænset sæt af punkter i dette segment, som inkluderer punkterne og . [1] For at gøre det nemmere for yderligere indgange introducerer vi notation. Vi betegner partitionspunkterne som , og nummererer dem i stigende rækkefølge (startende fra nul):
![\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)
![-en](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 =\venstre\{{{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)
.
Sættet af alle partitioner i segmentet vil blive betegnet med .
![[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)
Et delvist segment af partitionen kaldes et 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)
Lad os betegne længden af partitionens partielle segment som .
![\Delta x_{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d03804c96ca38a2bff889eaf13470785aca25fc)
Diameteren af en skillevæg er den maksimale længde af et delsegment af skillevæggen . [2]![d](https://wikimedia.org/api/rest_v1/media/math/render/svg/e85ff03cbe0c7341af6b982e47e9f90d235c66ab)
De nøjagtige sider af funktionen på partitionens delsegmenter vil blive betegnet med og .
![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)
.
Derefter kaldes
den nederste Darboux-sum af en funktion på en partition![{\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)
Den øvre Darboux sum kaldes
![{\displaystyle S(f,\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aaa2219d2b1e306414d2450eec1fb6a61f424a39)
[3]
Så er
det nederste Darboux-integral ![JEG_*](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a47e0cab50954ec5dbeecca96796d18b89c9151)
Det øvre Darboux-integral kaldes
![jeg^*](https://wikimedia.org/api/rest_v1/media/math/render/svg/9682fb2bdb0d34a1894bad921a50c2be9c787f75)
[fire]
Alternative definitioner
Der er også alternative definitioner af Darboux-integraler. Normalt er de bevist som egenskaber.
- Det nedre Darboux-integral er grænsen for de nedre Darboux-summer, da skillevægsdiameteren har en tendens til nul, og den øverste er grænsen for de øvre. [5]
- Det nedre Darboux-integral er den nedre grænse for integral-summen , da skillevægsdiameteren har en tendens til nul, og den øverste er den øvre grænse. [6]
Egenskaber
Egenskaber for Darboux-summer
- For enhver vilkårlig to partitioner af det samme segment overstiger den nedre Darboux-sum på den ene partition ikke den øvre Darboux-sum på den anden partition. [7]
- De nederste Darboux-summer er afgrænset ovenfra, og de øvre summer er afgrænset nedefra. [fire]
- Når nye point tilføjes til den eksisterende partition, kan den nederste Darboux-sum ikke falde på nogen måde, og den øverste kan ikke stige på nogen måde. [7]
![{\displaystyle {\begin{aligned}s(f,\tau ')\geq s(f,\tau )\\S(f,\tau ')\leq S(f,\tau )\end{aligned} }\quad \tau '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b68f673a6d8e005cd13f791a1e239134d3f130f)
- slibning .
![\tau](https://wikimedia.org/api/rest_v1/media/math/render/svg/38a7dcde9730ef0853809fefc18d88771f95206c)
Ændringen i disse beløb kan desuden gives følgende skøn.
Lad d være diameteren , raffinementet opnås ved at tilføje højst punkter til og de nøjagtige sider af funktionen på segmentet . Derefter
![\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]
- Lad være den integrale sum. For enhver vilkårlig partition med markerede punkter er følgende ulighed sand:
![{\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)
[otte]
- Darboux-summer er nøjagtige sider af integral-summer på en given partition. [7] Lad være sættet af alle mulige markerede punkter på partitionen . Derefter
![\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)
.
Egenskaber for Darboux-integraler
- For enhver funktion, der er afgrænset til et interval, eksisterer Darboux-integraler og er endelige. [9] For en funktion ubegrænset ovenfra er det øvre integral , for en funktion ubegrænset nedefra er det nederste integral .
![+\infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/bddbb0e4420a7e744cf71bd71216e11b0bf88831)
![-\infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca2608c4b5fd3bffc73585f8c67e379b4e99b6f1)
- Følgende uligheder gælder for summer og integraler
[9]
- Darboux' hovedlemma. Grænsen for lavere Darboux-summer, da partitionsdiameteren har tendens til nul, eksisterer for enhver afgrænset funktion og er lig med det nedre Darboux-integral. Grænsen for øvre Darboux-summer eksisterer for enhver afgrænset funktion, da partitionsdiameteren har en tendens til nul og er lig med det øvre Darboux-integral. [5]
![{\displaystyle \exists \lim _{d(\tau )\to 0}s(f,\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b63e9afb0f7b024564ede231cc47690f3ee3ea55)
og
![{\displaystyle \exists \lim _{d(\tau )\to 0}S(f,\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c7255daff1648d440341173ce70a53e5eb095e7)
og
![{\displaystyle I^{*}=\lim _{d(\tau )\to 0}S(f,\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7c401b28b0248a4cd5b441c80229368a4312354)
Darboux' hovedlemma fastslår ækvivalensen af den første og anden definition af Darboux-integraler.
- Darboux-kriterium. Riemann-integrerbarhed på en funktion afgrænset til dette interval er ækvivalent med ligheden mellem de øvre og nedre Darboux-integraler på dette 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 integrerbar
[10]
Variationer og generaliseringer
Multiple Darboux integral
I analogi med det multiple Riemann-integral kan man også definere det multiple Darboux-integral. Lad være et Jordan-målbart sæt og være dets opdeling med et begrænset antal Jordan-målbare sæt. Lad os betegne sættene af denne partition som .
![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)
Vi betegner Jordan-målet med .
![\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)
Sættet af alle partitioner vil blive betegnet med .
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![T](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec7200acd984a1d3a3d7dc455e262fbe54f7f6e0)
Skillevægsdiameteren er defineret som maksimum af diametrene for skillevægssættene (diameteren på skillevægssættet er den mindste øvre grænse for afstandene mellem dets punkter).
![d](https://wikimedia.org/api/rest_v1/media/math/render/svg/e85ff03cbe0c7341af6b982e47e9f90d235c66ab)
De nøjagtige sider af funktionen på partitionssættene er angivet med og .
![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)
.
Derefter kaldes
den nederste Darboux-sum af en funktion på en partition![{\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)
Den øvre Darboux sum kaldes
![{\displaystyle S(f,\tau )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aaa2219d2b1e306414d2450eec1fb6a61f424a39)
[elleve]
Så er
det nederste Darboux-integral ![JEG_*](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a47e0cab50954ec5dbeecca96796d18b89c9151)
Det øvre Darboux-integral kaldes
![jeg^*](https://wikimedia.org/api/rest_v1/media/math/render/svg/9682fb2bdb0d34a1894bad921a50c2be9c787f75)
[12]
Alle de ovennævnte egenskaber ved Darboux-summer og Darboux-integraler, samt alternative definitioner, er bevaret. [13]
Noter
- ↑ Ilyin, 1985 , s. 330.
- ↑ Ilyin, 1985 , s. 331.
- ↑ Arkhipov, 1999 , s. 190.
- ↑ 1 2 Ilyin, 1985 , s. 337.
- ↑ 1 2 3 Ilyin, 1985 , s. 338.
- ↑ Arkhipov, 1999 , s. 208.
- ↑ 1 2 3 Ilyin, 1985 , s. 336.
- ↑ Ilyin, 1985 , s. 335.
- ↑ 1 2 Arkhipov, 1999 , s. 191.
- ↑ Kudryavtsev, 2003 , s. 553.
- ↑ Arkhipov, 1999 , s. 559.
- ↑ Arkhipov, 1999 , s. 548.
- ↑ Arkhipov, 1999 , s. 550.
Litteratur
- Ilyin V. A., Sadovnichiy V. A., Sendov Bl. X. Matematisk analyse. Indledende kursus. - 2. udg., revideret .. - M . : MGU, 1985. - 662 s. Med.
- Arkhipov G. I., Sadovnichiy V. A., Chubarikov V. N. Forelæsninger om matematisk analyse: Lærebog for universiteter og ped. universiteter. - M . : Højere skole, 1999. - 695 s. Med. - ISBN 5-06-003596-4 .
- Kudryavtsev L. D. Kursus i matematisk analyse. I 3 bind. Bind 1. Differential- og integralregning af funktioner af flere variable . - M . : Bustard, 2003. - 704 s. (Russisk)