Integral de Darboux
De Viquipèdia
En càlcul, La Integral de Darboux és una de les possibles definicions de integral d'una funció. Les integrals de Darboux són equivalents a les integrals de Riemann, això significa que una funció és Darboux-integrable si i només si és Riemann-integrable, i els valors de les dues integrals, si existeixen, són iguals. Les integrals de Darboux tenen l'avantatge de que són més senzilles de definir que les de Riemann però tenen l'inconvenient de que no són tan fàcils d'aplicar a la integració numèrica. Les integrals de Darboux reben el nom en honor al seu descobridor, Gaston Darboux.
[edita] Definició
Una partició d'un interval [a,b] és una successió finita de valors xi tal que
Cada interval [xi−1,xi] es diu que és un subinterval de la partició. Un afinament de la partició
És una partició
Tal que per a cada i amb
Hi ha un enter r(i) tal que
En altres paraules, per a fer un afinament, es tallen els subintervals en bocins més petits i no s'elimina cap bocí.
Sia ƒ:[a,b]→R una funció afitada, i sia
Una partició de [a,b]. Sia
![\begin{align}
M_i = \sup_{x\in[x_{i-1},x_{i}]} f(x) , \\
m_i = \inf_{x\in[x_{i-1},x_{i}]} f(x) .
\end{align}](../../../../math/8/5/6/85684dcca6470d3d3ce51b90a1792f67.png)
El sumatori de Darboux superior de ƒ respecte de P és
El sumatori de Darboux inferior de ƒ respecte de P és
La integral de Darboux superior de ƒ és
![U_f = \inf\{U_{f,P} \colon P \text{ és una partició de } [a,b]\} . \,\!](../../../../math/0/a/f/0afaeadd1767093b559f31f428f31714.png)
La integral de Darboux inferior de ƒ és
![L_f = \sup\{L_{f,P} \colon P \text{ és una partició de } [a,b]\} . \,\!](../../../../math/9/0/7/9076e32bb59e4c80becf4661d1b72b6d.png)
Si Uƒ = Lƒ, llavors es diu que ƒ és Darboux-integrable i s'estableix
El valor comú de les integrals supeior i inferior de Darboux.
[edita] Fets relatius a la integral de Darboux
Si
És una afinament de
llavors
i
Si P1, P2 són dues particions del mateix interval (no cal que una sigui un afinament de l'altra), llavors
.
D'aquí en resulta que
Els sumatoris de Riemann queden sempre entremig dels corresponents sumatoris superior i inferior de Darboux. Formalment, si
i
Són els valors arbitraris dins de cada subinterval
(tal com es fan servir en els sumatoris de Riemann), i si el sumatori de Riemann de ƒ que correspon a P i T és R, llavors
.
A partir d'aquest fet, es pot afirmar que les integrals de Riemann són pel capdavall tan fortes com les integrals de Darboux: SI la integral de Darboux existeix, llavors els sumatoris de Darboux superior i inferior corresponents a una partició prou fina quedaran a prop del valor de la integral, per tant qualsevol sumatori de Riemann sobre la mateixa partició també estarà proper al valor de la integral. No és dificil de veure que hi ha una partició amb valors intermedis que es fa arbitràriament propera al valor de la integral de Darboux superior o inferior, i en conseqüència, si la integral de Riemann existeix, llavors la integral de Darboux també ha d'existir.
[edita] Vegeu també
- Integral regular
- Integral de Riemann
- Integral de Lebesgue
- Integral de Bochner
