Professional Documents
Culture Documents
INTEGRALES IMPROPIAS
Departamento de Matemática
Facultad de Ingeniería
Universidad de Buenos Aires
2002
V 02
INDICE
INTEGRALES IMPROPIAS
4.- CRITERIOS DE CV
Una forma de extender el concepto de Integral de Riemann (IR) es establecer una nueva definición para
los casos donde no se cumplan las dos condiciones previas:
Se llaman puntos singulares de la función real a los puntos aislados del intervalo de integración donde
no se cumplen las H1 y H2 de la Integral de Riemann.
Def.:
V + ∞ ,V − ∞ H1 d(a, b) / < M 1 (Intervalo no acotado)
s ∈ punto singular (f[a,b]) :=
V s H2 | f | / < M2 (Función no acotada)
Suponiendo que en la Integral Impropia existe un único punto singular, se presentan los dos casos,
cuando el intervalo no es acotado o la función no es acotada.
A
H1 ∀A ∫a
f(x) dx ∈ IR
+∞ A
∫a
f(x) dx := lim
A→ +∞ ∫
a
f(x) dx
Definición de Integral Impropia: Caso función no acotada
H1 s ∈ [a b]
s −ε 1 b
H2 ∀ (ε 1 ε 2 ) ∫ a
f(x) dx ∈ IR ∫ s +ε 2
f(x) dx ∈ IR
b s −ε 1 b
∫a
f(x) dx := lim +
ε 1 →0 + ∫ a
f(x) dx + lim +
ε 2 →0 + ∫s +ε 2
f(x) dx
Obs.1: Las variables ε1 y ε2 son diferentes. Más adelante se estudiará que sucede si definen como
iguales.
Obs.2: Las II sobre intervalo no acotado se pueden transformar en II del tipo de funciones no acotadas
por el cambio de variables t = 1/(x-s).
Por lo tanto para el estudio de las propiedades de las II, es indiferente hablar de un tipo u otro.
Las II como límite de IR se clasifican según la existencia o no del límite y si es finito o infinito.
Esta clasificación es análoga a la que se hace para las series. Se denomina entonces II convergentes,
divergentes y oscilantes, las que cumplen:
Def
∫II
∈ CV := ∃ lim ∫IR
finito
∫II
∈ DV := ∃ lim ∫
IR
infinito
∫II
∈ OSC := /∃ lim ∫
IR
Obs.: En algunos textos se usa el concepto de Divergente como contrario lógico de Convergente. La
convención de este texto es que Integral No Convergente es Divergente u Oscilante.
Se define en forma análoga a como se hace con las series la Convergencia Absoluta de las Integrales
Impropias . Esto es la Convergencia de la Integral de | f | .
Def: ∫ f ∈ CA := ∫ | f | ∈ CV
II II
2.4.- EJEMPLOS DE II
Ejemplo 1
+∞ 1
∫0 1+ x2
dx
I.- Análisis de existencia de la función sobre el intervalo de Integración y puntos singulares Vps
II.- Existencia de IR
A 1
∫0 1+ x2
dx ⇐ f∈ C/[0 A]
A 1 A π
∫0 1+ x 2
dx = Arctg x
0
= Arctg A →
A→ +∞ 2
+∞ 1 π +∞ 1
∫0 1+ x 2
dx =
2 ∫0 1+ x2
dx ∈ CV
Ejemplo 2
+∞ 1
∫0
x( x 2 − 1 )
dx
I.- Análisis de existencia de la función sobre el intervalo de Integración y puntos singulares Vps
1
La función no está definida para el intervalo x ∈ [0 1] por lo tanto no existe la Integral
x( x 2 − 1 )
Impropia.
Ejemplo 3
1
∫0
Lx dx
I.- Análisis de existencia de la función sobre el intervalo de Integración y puntos singulares Vps
H1 d(0,1) < M1
/H2 | Lx | /< M2 ⇒ Vps : V0+
II.- Existencia de IR
1
∫ε Lx dx ⇐ f∈ C/[ε 1]
1 1
∫ε Lx dx = x (L x – 1)
ε
= – 1 – ε (Lε– 1) ε → – 1
→0 +
1 1
∫0
Lx dx = – 1 ∫
0
Lx dx ∈ CV
Ejemplo 4
+∞
∫0
sin x dx
I.- Análisis de existencia de la función sobre el intervalo de Integración y puntos singulares Vps
II.- Existencia de IR
A
∫0
sin x dx ⇐ sin x∈ C/[0 A]
+∞ +∞
/∃ ∫
0
sin x dx ∫0
sin x dx∈ OSC
Ejemplo 5
3 1
∫2 x−3
dx
I.- Análisis de existencia de la función sobre el intervalo de Integración y puntos singulares Vps
H1 d(2,3) < M1
1
/H2 | | /< M2 ⇒ Vps : V3-
x−3
II.- Existencia de IR
3 −ε 1
∫2 x−3
dx ⇐ f∈ C/[2 3–ε]
Ejemplo 6
5 1
∫2 x−3
dx
I.- Análisis de existencia de la función sobre el intervalo de Integración y puntos singulares Vps
H1 d(2,5) < M1
1
/H2 | | /< M2 ⇒ Vps : V3- V3+
x−3
II.- Existencia de IR
3 −ε 1 1
∫2 x−3
dx ⇐ f∈ C/[2 3–ε1]
5 1
∫3 +ε 2 x−3
dx ⇐ f∈ C/[3+ε2 5]
III.- Cálculo por definición
3 −ε 1 1 5 1 3−ε1 5
∫ 2 x−3
dx + ∫
3 +ε 2 x−3
dx = L|x–3|
2
+ L|x–3|
3+ε2
= Lε1 + L5 – Lε2 ε → /∃ Lim
1→ 0 +
ε 2 →0 +
El resultado final es:
5 1 5 1
∃ ∫
2 x−3
dx ∫
2 x−3
dx∈ OSC
Ejemplo 7
+∞
∫ 0
k dx
I.- Análisis de existencia de la función sobre el intervalo de Integración y puntos singulares Vps
II.- Existencia de IR
A
∫ 0
k dx ⇐ f∈ C/[0 A]
A A A
∫ 0
k dx = k x
0
= k A → +∞
A→ +∞
k>0 ∫
0
k dx∈ DV
A
→ 0
A→ +∞
k=0 ∫ 0
k dx∈ CV
A
→ – ∞
A→ +∞
k<0 ∫ 0
k dx∈ DV
2.5. INTEGRALES IMPROPIAS CON UN NUMERO FINITO DE SINGULARIDADES
La II cuando tiene un número finito de puntos singulares se define como una suma de II cada una de
ellas con un solo punto singular.
+∞ a1
∫−∞
f(x) dx := lim
B → +∞ ∫
−B
f(x) dx +
s 1 −ε 1 a2
+ lim +
ε 1 →0 + ∫ a1
f(x) dx + lim +
ε 2 →0 + ∫
s 1+ε 2
f(x) dx +
s 2 −ε 3 a3
+ lim +
ε 3 →0 + ∫ a2
f(x) dx + lim +
ε 4 →0 + ∫
s 2 +ε 4
f(x) dx +
...
A
+ lim
A→ +∞ ∫
a
f(x) dx
Algunas integrales impropias que su usarán más adelante para estudiar la CV por comparación son:
Ejemplo (Tabla 1)
1 +∞ 1
∫V +∞ x α
dx ∫
a xα
dx a>0
I.- Análisis de existencia de la función sobre el intervalo de Integración y puntos singulares Vps
II.- Existencia de IR
A 1
∫a xα
dx ⇐ f∈ C/[a A]
=1 A
a
→ = Lx = LA - La → + ∞
A→ +∞
a
Ejemplo (Tabla 2)
1 a 1
∫V 0+ x α
dx ∫ε xα
dx a>0
I.- Análisis de existencia de la función sobre el intervalo de Integración y puntos singulares Vps
H1 d(0,a) < M1
1
/H2 | α | /< M2 ⇒ Vps : V0+
x
II.- Existencia de IR
a 1
∫ε xα
dx ⇐ f∈ C/[ε a]
En el caso de una II oscilante que depende de un límite doble o múltiple, este límite no existe.
Pero con una restricción en el pasaje al límite, tomando todas las variables de la siguiente manera:
1 1
= ε1 = ε2 = ε3 = ... = εn-1 = εn =
−B A
puede darse el caso de que sí exista el límite nuevo. Esta convención genera una nueva definición de
integral, que se llama Valor Principal de la Integral.
3 −ε 1 1 5 1 3−ε1 5
∫2 x−3
dx + ∫
3 +ε 2 x−3
dx = L|x–3|
2
+ L|x–3|
3+ε2
= Lε1 + L5 – Lε2 ε → /∃ Lim
1→ 0 +
ε 2 →0 +
5 1
∫2 x−3
dx∈ OSC
Entonces
5 1
∃ VP
2 ∫
x−3
dx = L5
Definición de Valor Principal de una Integral Impropia con un número finito de singularidades
+∞ a1
∫−∞
f(x) dx := lim+ {
ε →0 + ∫ −1 / ε
f(x) dx +
s 1−ε a2
+ ∫ a1
f(x) dx + ∫
s 1+ε
f(x) dx +
s 2 −ε a3
+
∫ a2
f(x) dx +
∫
s 2 +ε
f(x) dx +
...
1/ε
+ ∫ a
f(x) dx }
tomando:
1 1
= ε1 = ε2 = ε3 = ... = εn-1 = εn =
−B A
3.2.- EJEMPLO DE ANÁLISIS DE VALOR PRINCIPAL PARA TABLA DE COMPARACIÓN
f: [a,b] – {0} → R
1 p
x→ α α= ∈Q ∧ (p,q)∈ Primos entre si ∧ q∈Impar
x q
H1 d(a,b) < M1
1
/H2 | α | /< M2 ⇒ Vps : V0- V0+
x
II.- Existencia de IR
−ε 1 b 1
∫a x α
dx +
+ε ∫ xα
dx ⇐ f∈ C/[a –ε]∪ [+ε b]
= ε
→0 +
→ –∞
α = p / q >1
q∈Im par
p∈Par
− a −α + 1 b −α + 1
= ε → +
→0 +
α = p / q>1 −α + 1 −α + 1
q∈Im par
p∈Im par
=1 −ε b
a
→ = L|x| + L x = Lε – L|a| + Lb – Lε ε → Lb – L|a|
a ε →0 +
a<0< b α∈ R
b 1 p
∫a x α
dx ∈ CV ⇔ α =
q
∈Q ∧ (p,q)∈ Primos entre si ∧ p < q ∧ q∈Impar
p
⇔ α= ∈Q ∧ (p,q)∈ Primos entre si ∧ p ≥ q ∧ q∈Impar ∧ p∈Impar
q
4.- CRITERIOS DE CV
El análisis del Convergencia de las II se hace por medio de criterios (teoremas) que nos permitan
asegurar su tipo (CV, DV, OSC, ∃ VP).
En todos los criterios se analiza un sólo punto singular que puede ser tanto de intervalo no acotado o de
función no acotada, en forma indiferente, sabiendo que un tipo de II siempre se puede transformar en la otra.
+∞
Def ∫a
∈ CV ⇔ | ∫
Vs
| <ε
A +∞ A +∞
∫a
→
A → +∞ ∫a
:= ∀ε > 0 ∃A0 : ∀ A > A0 ⇒ | ∫ –∫
a a
| <ε
+∞
⇒ | ∫A
| < ε =: | ∫ Vs
| <ε
x2
T1 .- [ ∀ε>0 ∃Vs :∀(x1 x2)∈Vs2 ∩D ⇒ | ∫
x1
f(x) dx| < ε ] ⇔ ∫ Vs
f ∈ CV
lim F(x) = L ⇔ ∀ε>0 ∃Va :∀(x1 x2)∈(Va2 ∩D) ⇒ |F (x1 ) – F(x2)| < ε
x →a
Como
A
F(A) = ∫a
f(x) dx
A +∞ A1 A2
lim
x → +∞ ∫a
f(x) dx = ∫
a
f(x) dx ⇔ ∀ε>0 ∃V+∞ :∀(x1 x2)∈ V+∞2 ⇒ | ∫ a
– ∫
a
|<ε
A2
⇒ |
∫ A1
|<ε
T1 .- H1 g1 ≤ f ≤ g2
H2 ∫
Vs
g2 ∈ CV ⇒ T ∫Vs
f ∈ CV
H3 ∫
Vs
g1 ∈ CV
D.-
g1 ≤ f ≤ g2
∫
Vs
g1 ≤ ∫
Vs
f ≤ ∫Vs
g2
-ε ≤ ∫ Vs
g1 ≤ ∫ Vs
f ≤ ∫
Vs
g2 ≤ ε
TCR H1
/T ⇒ /H2
H3
T’1 H1 0 ≤ f ≤ g2
H2 ∫ Vs
g2 ∈ CV ⇒ T ∫ Vs
f ∈ CV
TCR H1
/T ⇒ /H2
T’’1 H1 – g 2 ≤ f ≤ g2
H2 ∫
Vs
g2 ∈ CV ⇒ T ∫
Vs
f ∈ CV
∫ Vs
| f | ∈ CV ⇒ T ∫
Vs
f ∈ CV
Es decir
T’’’1 ∫ Vs
f ∈ CA ⇒ T ∫ Vs
f ∈ CV
4.4.- CRITERIO DE COMPARACION POR LIMITE
f
T2 H1 → λ : λ≠0 ∧ λ≠±∞
x →s
g
H2 ∫Vs
g ∈ CV ⇔ T ∫Vs
f ∈ CV
⇒]
D [⇒ Por definición de límite
f
| -λ|<ε
g
f
λ-ε < < λ+ε
g
g>0 ⇒ (λ - ε ) g < f < (λ + ε ) g ∪ g < 0 ⇒ (λ - ε ) g > f > (λ + ε ) g
∫
Vs
g ∈ CV ⇒ ∫ Vs
f ∈ CV
[⇐ ]
f g 1 1 1
→ λ : λ≠0 ∧ λ≠±∞
x →s
⇔ s →
→
: ≠0 ∧ ±∞
g f x
λ λ λ
∫
Vs
f ∈ CV ⇒ ∫Vs
g ∈ CV
f
T’2 H1 → λ=0
x →s
g
H2 ∫
Vs
g ∈ CV ⇒ T ∫ Vs
f ∈ CV
⇒] Es la misma demostración de la condición suficiente del
D [⇒
teorema anterior, tomando λ=0
∫Vs
g ∈ CV ⇒ ∫ Vs
f ∈ CV
f
T’’2 H1 → λ=±∞
x →s
g
H2 ∫
Vs
g ∈ CV ⇐ T ∫
Vs
f ∈ CV
D [⇐]
f g 1
→ λ = ±∞
x →s
⇔ →
x →s
=0
g f λ
∫Vs
f ∈ CV ⇒ ∫Vs
g ∈ CV
4.5.- CRITERIO DE COMPARACIÓN CON SERIES POSITIVAS
Estos criterios de Comparación muestran la íntima relación entre las Integrales Impropias y las Series en
cuanto a los estudios de Convergencia.
En particular se tiene:
H1 f ≥ 0
H2 f’≤ 0
+∞ +∞
H3 ∑n= 1
f(n) ∈ CV ⇔ ∫
1
f(x) dx ∈ CV
D.-
2
0 ≤ f(2) . 1 ≤ ∫
1
f ≤ f(1) . 1
3
0 ≤ f(3) . 1 ≤
∫
2
f ≤ f(2) . 1
...
n+1
0 ≤ f(n+1) . 1 ≤ ∫
n
f ≤ f(n) . 1
Sumando
n+1 n+1 n
0 ≤ ∑
k=2
f(k) ≤ ∫ 1
f ≤ ∑
k =1
f(k)
∑
k =1
f(k) ∈ CV ⇔ ∑ k=2
f(k) ∈ CV
∫
1
f(x) dx ∈ CV ⇒ ∑
k =1
f(k) ∈ CV
T4.- H1 f: |f| ≤M
f ≥ 0
f’≤ 0
f → 0
x → +∞
q
H2 ∀(p q) | ∫p
g(x) dx | ≤ M1 ⇒ ∫
V +∞
f(x) g(x) dx ∈ CV
D.-
A x A x
∫ ∫ ∫ ∫
A
f(x) g(x) dx = f(x) g(t) dt a
− f ’(x) g(t) dt dx
a a a a
A A x
= f(A)
∫ a
g(t) dt −
∫ a
f ’(x)
∫ a
g(t) dt dx
A
| f(A) ∫
a
g(t) dt | ≤ | f(A) | M1 → 0
A→ +∞
El segundo término
A x A x
| ∫ a
f ’(x) ∫
a
g(t) dt dx | ≤ ∫
a
| f ’(x) | | ∫
a
g(t) dt | dx
A
≤ M1 ∫
a
| f ’(x) | dx
A
≤ M1
∫
a
f ’(x) dx
≤ M1 [ f (A) − f(a) ]
Cuando se tiene una función con infinitos ceros {ζk} se puede igualar una Integral impropia con una
Serie Alternada
+∞ ζ1 ζ2 ζ3
∫ζ 0
f = ∫ζ 0
+ ∫ζ 1
+ ∫ζ 2
+ ...
+ - +
un ≥ un+1 ≥ 0
+∞
un n
→ 0
→ +∞
⇔ ∑
k =0
(-1)n un ∈ CV
ζ n+1
un = ∫ζ n
H1 | un | ≥ | un+1 |
+∞ +∞
H2 un n
→ 0
→ +∞
⇔ ∑
k =0
(-1)n | un | ∈ CV ⇔ ∫ζ 0
f ∈ CV
5.- TABLA DE INTEGRALES IMPROPIAS
1
1.- ∫
V +∞ xα
dx ∈ CV ⇔ α > 1
1
2.- ∫
V 0+ xα
dx ∈ CV ⇔ α < 1
1 p
3.- ∫
V0 x α
dx ∈ CV ⇔ α =
q
∈ Q ∧ (p,q)∈ Primos entre si ∧ p < q ∧ q∈Impar
p
⇔ α= ∈ Q ∧ (p,q)∈ Primos entre si ∧ p ≥ q ∧ q∈Impar ∧ p∈Impar
q
Lx
4.- ∫
V +∞ xα
dx ∈ CV ⇔ α > 1
Lx
5.- ∫
V 0+ xα
dx ∈ CV ⇔ α < 1
sin( x )
6.- ∫
V +∞ xα
dx ∈ CV ⇔ α > 0
7.- ∫
V +∞
e-x xα dx ∈ CV ⇔ ∀α ∈R