Integral de Darboux

De Viquipèdia
Dreceres ràpides: navegació, cerca

En càlcul, La Integral de Darboux és una de les possibles definicions d'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 què són més senzilles de definir que les de Riemann però tenen l'inconvenient de què 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.

Definició[modifica | modifica el codi]

Una partició d'un interval [a,b] és una successió finita de valors xi tal que

a = x_0 < x_1 < \cdots < x_n = b . \,\!

Cada interval [xi−1,xi] es diu que és un subinterval de la partició. Un afinament de la partició

x_0,\ldots,x_n \,\!

És una partició

y_0, \ldots, y_m \,\!

Tal que per a cada i amb

0 \le i \le n \,\!

Hi ha un enter r(i) tal que

 x_{i} = y_{r(i)} . \,\!

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

P = (x_0, \ldots, x_n) \,\!

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}
Sumatoris de Darboux inferior (verd) i superior ((gris) per a quatre subintervals

El sumatori de Darboux superior de ƒ respecte de P és

U_{f, P} = \sum_{i=1}^n M_i (x_{i}-x_{i-1}) . \,\!

El sumatori de Darboux inferior de ƒ respecte de P és

L_{f, P} = \sum_{i=1}^n m_i (x_{i}-x_{i-1}) . \,\!

La integral de Darboux superior de ƒ és

U_f = \inf\{U_{f,P} \colon P \text{ és una partició de } [a,b]\} . \,\!

La integral de Darboux inferior de ƒ és

L_f = \sup\{L_{f,P} \colon P \text{ és una partició de } [a,b]\} . \,\!

Si Uƒ = Lƒ, llavors es diu que ƒ és Darboux-integrable i s'estableix

\int_a^b {f(t)\,dt} = U_f = L_f, \,\!

El valor comú de les integrals supeior i inferior de Darboux.

Fets relatius a la integral de Darboux[modifica | modifica el codi]

En afinar la partició, el sumatori inferior creix i el sumatori superior disminueix.

Si

P' = (y_0,\ldots,y_m) \,\!

És una afinament de

P = (x_0,\ldots,x_n), \,\!

llavors

U_{f, P} \ge U_{f, P'} \,\!

i

L_{f, P} \le L_{f, P'} . \,\!

Si P1, P2 són dues particions del mateix interval (no cal que una sigui un afinament de l'altra), llavors

L_{f, P_1} \le U_{f, P_2} . \,\!.

D'aquí en resulta que

L_f \le U_f . \,\!

Els sumatoris de Riemann queden sempre entremig dels corresponents sumatoris superior i inferior de Darboux. Formalment, si

P = (x_0,\ldots,x_n) \,\!

i

T = (t_1,\ldots,t_n) \,\!

Són els valors arbitraris dins de cada subinterval

 x_0 \le t_1 \le x_1\le \cdots \le x_{n-1} \le t_n \le x_n \,\!

(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

L_{f, P} \le R \le U_{f, P} . \,\!.

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.

Vegeu també[modifica | modifica el codi]