A integral de Riemann - Continuação

A integral de Darboux - Critério de

Integrabilidade e Propriedades
Aula 27

Alexandre Nolasco de Carvalho

Universidade de São Paulo
São Carlos SP, Brazil

14 de Maio de 2014
Primeiro Semestre de 2014
Turma 2014106 - Engenharia Mecânica

Alexandre Nolasco de Carvalho ICMC - USP SMA 301 Cálculo I

 A integral de Darboux
A integral de Riemann - Continuação Critério de Integrabilidade para integrais de Darboux
Propriedades da Integral

A integral de Darboux
Vamos dar uma noção (devido a Darboux) equivalente à noção de
integral de Riemann que apresenta algumas vantagens na obtenção
de critérios de integrabilidade. Seja f : [a, b] → R uma função
limitada e
P : a = x0 < x1 < x2 < · · · < xnP = b,
uma partição de [a, b]. Sejam
Mi = sup f (x) e mi = inf f (x), 1 6 i 6 n.
x∈[xi −1 ,xi ] x∈[xi −1 ,xi ]

Defina a soma superior Sp (inferior sP ) de f relativamente à

partição P por
nP nP
!
X X
SP = Mi ∆xi sP = mi ∆xi .
i =1 i =1

Alexandre Nolasco de Carvalho ICMC - USP SMA 301 Cálculo I

 A integral de Darboux
A integral de Riemann - Continuação Critério de Integrabilidade para integrais de Darboux
Propriedades da Integral

Seja P uma partição e Q uma partição obitida de P adicionando

um ponto x̄. É imediato que SQ ≤ SP e que sQ ≥ sP . Mais
geralmente, se P ⊂ Q temos que SQ ≤ SP e que sQ ≥ sP .

Dadas duas partições P e Q denotamos por P ∪ Q à partição

formada pelos pontos de P e de Q.

Segue que, dadas duas partições P e Q quaisquer

inf f (x)(b − a) ≤ sP ≤ sP∪Q ≤ SP∪Q ≤ SQ ≤ sup f (x)(b − a)

x∈[a,b] x∈[a,b]

Alexandre Nolasco de Carvalho ICMC - USP SMA 301 Cálculo I

 A integral de Darboux
A integral de Riemann - Continuação Critério de Integrabilidade para integrais de Darboux
Propriedades da Integral

Definição
Se P denota o conjunto de todas as partições do intervalo [a, b] e
f : [a, b] → R é uma função limitada a integral superior (inferior)
de f é definida por
Z b Z b !
f (x)dx = inf {SP : P ∈ P} f (x)dx = sup {sP : P ∈ P}
a a

Definição
Uma função limitada f : [a, b] → R é Darboux integrável se, e
somente se,
Z b Z b
f (x)dx = f (x)dx
a a
Z b
e neste caso o valor comum é denotado por D f (x)dx
a

Alexandre Nolasco de Carvalho ICMC - USP SMA 301 Cálculo I

 A integral de Darboux
A integral de Riemann - Continuação Critério de Integrabilidade para integrais de Darboux
Propriedades da Integral

Critério de Integrabilidade para integrais de Darboux

Teorema
Uma função limitada f : [a, b] → R é Darboux integrável se, e
somente se, dado ǫ > 0 existe partição P ∈ P tal que

SP − sP < ǫ.

Recorde que, se R, Q ∈ P então,

Z b Z b
SR ≥ SR∪Q ≥ f (x)dx ≥ f (x)dx ≥ sR∪Q ≥ sQ .
a a

Alexandre Nolasco de Carvalho ICMC - USP SMA 301 Cálculo I

 A integral de Darboux
A integral de Riemann - Continuação Critério de Integrabilidade para integrais de Darboux
Propriedades da Integral

Teorema
Uma função limitada f : [a, b] → R é Riemann integrável se, e
somente se, é Darboux integrável e em qualquer caso
Z b Z b
D f (x)dx = f (x)dx.
a a

Alexandre Nolasco de Carvalho ICMC - USP SMA 301 Cálculo I

 A integral de Darboux
A integral de Riemann - Continuação Critério de Integrabilidade para integrais de Darboux
Propriedades da Integral

Critério de Integrabilidade

Proposição
Se f for contı́nua em [a, b] então,
◮ f é uniformemente contı́nua; isto é, dado ǫ > 0 existe δ > 0
(que depende somente de ǫ) tal que, se x, y ∈ [a, b] e
|x − y | < δ então, |f (x) − f (y )| < ǫ.
◮ f é Darboux integrável em [a, b].

Alexandre Nolasco de Carvalho ICMC - USP SMA 301 Cálculo I

 A integral de Darboux
A integral de Riemann - Continuação Critério de Integrabilidade para integrais de Darboux
Propriedades da Integral

Definição Z b
Se existir a integral f (x) dx , então definiremos
a
Z a Z b
f (x) dx = − f (x) dx .
b a

Alexandre Nolasco de Carvalho ICMC - USP SMA 301 Cálculo I

 A integral de Darboux
A integral de Riemann - Continuação Critério de Integrabilidade para integrais de Darboux
Propriedades da Integral

Propriedades da Integral
Sejam f , g : [a, b] → R funções integráveis. Então
◮ Para todo k ∈ R, a função f + kg é integrável e
Z b Z b Z b
(f + kg )(x) dx = f (x) dx + k g (x) dx.
a a a
◮ Se a ≤ c < d ≤ b, então f é integrável em [c, d].
Rb
◮ Se f (x) ≥ 0, para todo x ∈ [a, b], então a f (x) dx ≥ 0. Em
particular, se g (x) ≤ f (x) para todo x ∈ [a, b], então
Z b Z b
g (x) dx ≤ f (x) dx.
a Rc a Rb
◮ Se existirem as integrais a f (x) dx e c f (x) dx , com
Rb
c ∈ [a, b], então existirá a integral a f (x) dx e
Z b Z c Z b
f (x) dx = f (x) dx + f (x) dx .
a a c

Alexandre Nolasco de Carvalho ICMC - USP SMA 301 Cálculo I

 A integral de Darboux
A integral de Riemann - Continuação Critério de Integrabilidade para integrais de Darboux
Propriedades da Integral

Vamos apenas provar a primeira propriedade e no caso k = 1, os

demais casos são deixados como exercı́cio. Sabemos do critério de
integrabilidade que, dado ǫ > 0 existem partições P, Q ∈ P tais
que SPf − sPf < ǫ/2 e SQg − sQg < ǫ/2. Assim,
Z b Z b
sPf + sPg ≤ f
sP∪Q + g
sP∪Q ≤ f (x) dx + g (x) dx
a a
g
≤ f
SP∪Q + SP∪Q ≤ SQf + SQg

f g f +g f +g f g
Como (exercı́cio) sP∪Q + sP∪Q ≤ sP∪Q ≤ SP∪Q ≤ SP∪Q + SP∪Q ,
f +g f +g
segue que SP∪Q − sP∪Q < ǫ. Do critério de integrabilidade f + g é
integrável e, como ǫ > 0 é arbitrário,
Z b Z b Z b
(f + g )(x) dx = f (x) dx + g (x) dx.
a a a

Alexandre Nolasco de Carvalho ICMC - USP SMA 301 Cálculo I