Vés al contingut

Integral de Darboux

De la Viquipèdia, l'enciclopèdia lliure

En càlcul infinitesimal, 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 del seu descobridor, Gaston Darboux.[1]

Aquest article s'ha de llegir conjuntament amb l'article integral de Riemann, on es detallen les propietats d'aquestes integrals.

Definició

[modifica]

Una partició d'un interval és una col·lecció finita de nombres tals que

Cada interval es diu que és un subinterval de la partició.

Sia una funció fitada i una partició de l'interval . Per a , considerem el suprem i l'ínfim de en l'interval  :

Noteu que és essencial que la funció estigui fitada per tal que aquests suprems i ínfims siguin finits.

Figura 1. Sumatoris de Darboux inferior (verd) i superior ((gris) per a quatre subintervals

Es defineix el sumatori de Darboux superior de ƒ respecte de per

i el sumatori de Darboux inferior de ƒ respecte de Vegeu la Figura 1.

La integral de Darboux superior de ƒ es defineix per i la integral de Darboux inferior de ƒ

Quan es diu que ƒ és Darboux integrable i el valor comú es designa per i s'anomena integral de Darboux. La notació que hem utilitza és la mateixa que la de la integral de Riemann, la qual cosa es pot fer ja que, com comentarem més endavant, ambdues integrals coincideixen.


Propietats de les sumes de Darboux

[modifica]
Figura 2. En refinar la partició, el sumatori inferior creix i el sumatori superior disminueix.

Vegeu Spivak [2]

Sigui una partició de l'interval . Un refinament de la partició és una altra partició que inclou tots els punts de , és a dir, per a qualsevol , existeix tal que

Si és un refinament de , llavors

Si i són dues particions del mateix interval (no cal que una sigui un refinament de l'altra), llavors Vegeu la Figura 2.

D'aquí en resulta que

Relació amb la integral de Riemann

[modifica]

Articles principala: Integral de Riemann i Sumatori de Riemann

Si considerem una partició i una col.lecció de punts tals que , , es defineix la suma de Riemann de respecte i a

Tenim que

A partir d'aquesta propietat, es pot demostrar que les integrals de Riemann coincideixen amb 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. Es pot 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.

Teorema.[3][4]Sigui una funció fitada. Aleshores és Darboux integrable si i només si és Riemann integrable, i en aquest cas, ambdues integrals coincideixen.

Vegeu també

[modifica]

Referències

[modifica]
  1. G. Darboux, « Mémoire sur les fonctions discontinues », dans Ann. Sci. E.N.S., vol. 4, 1875, p. 57-112.
  2. Spivak, Michael. Cálculo Infinitesimal.. 2a. edición. Barcelona: Reverté, 1992. ISBN 84-291-51362.. 
  3. Apostol, T. M.. Análisis matemático.. Barcelona: Editorial Reverté, 1960, p. 199, Teorema 2.19. 
  4. Folland, Gerald B. Real analysis: modern techniques and their applications. 2. ed. New York Weinheim: Wiley, 1999, p. 26, Th. 2.21. ISBN 978-0-471-31716-6.