Integral de e

x
2
5 de diciembre de 2084
Sea I(a) =
_
a
a
e
u
2
du. Entonces:
1. Demostrar que I
2
(a) =
__
A
e
(x
2
+y
2
)
dxdy, donde A = [a; a] [a; a].
2. Si C
1
y C
2
son los discos inscrito y circunscrito a A respectivamente, demostrar que:
__
C1
e
(x
2
+y
2
)
dxdy <
__
A
e
(x
2
+y
2
)
dxdy <
__
C2
e
(x
2
+y
2
)
dxdy
3. Expresar las integrales a lo largo de C
1
y C
2
en coordenadas polares y aplicar 2. para deducir que I(a)
_

cuando a . Esto demuestra que

_
1
0
e
u
2
du =
p

2
.
4. Aplicar 3. para deducir que
_
1
2
_
=
_
.
1. Se puede ver que:
I
2
(a) =
__
a
a
e
u
2
du
_
2
=
__
a
a
e
u
2
du
___
a
a
e
u
2
du
_
=
__
a
a
e
x
2
dx
___
a
a
e
y
2
dy
_
Y como
__
a
a
e
x
2
dx
_
no depende de y:
__
a
a
e
x
2
dx
___
a
a
e
y
2
dy
_
=
_
a
a
__
a
a
e
x
2
dx
_
e
y
2
dy
Similarmente, como e
y
2
no depende de x:
_
a
a
__
a
a
e
x
2
dx
_
e
y
2
dy =
_
a
a
_
a
a
e
x
2
e
y
2
dxdy =
_
a
a
_
a
a
e
(x
2
+y
2
)
dxdy, que corresponde a
__
A
e
(x
2
+y
2
)
dxdy,
donde A = [a; a] [a; a].
2. Como el cuadrado A tiene lado 2a, C
1
tiene radio a y C
2
tiene radio
_
2a. De esto, las regiones C
1
y C
2
pueden darse
por:
C
1
: x
2
+ y
2
_ a
2
C
2
: x
2
+ y
2
_ 2a
2
, como se ve en la imagen.
1
Ahora demostraremos que C
1
_ A _ C
2
. Sea (x; y) C
1
. Entonces x
2
+ y
2
_ a
2
, y a es el radio mximo del disco.,
entonces y
2
_ a
2
x
2
y [y[ _
_
a
2
x
2
, de lo que:

_
a
2
x
2
_ y _
_
a
2
x
2
Ahora demostraremos que
_
a
2
x
2
_ a y multiplicando por 1 tendremos tambin que a _
_
a
2
x
2
. Esto sera
a _
_
a
2
x
2
_ y _
_
a
2
x
2
_ a con lo que se demostrara que a _ y _ a y que y [a; a], con lo que (x; y) A.
Como a _ x _ a, tenemos que 0 _ x
2
_ a
2
y:
a
2
_ x
2
_ 0
0 _ a
2
x
2
_ a
2
0 _
_
a
2
x
2
_ a, ya que a _ 0.
Con esto hemos probado que C
1
_ A. Ahora para demostrar que A _ C
2
; sea (x; y) A. Entonces a _ x _ a y
a _ y _ a.
Entonces 0 _ x
2
_ a
2
y 0 _ y
2
_ a
2
, entonces 0 _ x
2
+ y
2
_ a
2
+ a
2
= 2a
2
, de lo que (x; y) C
2
y A _ C
2
. De
esto, C
1
_ A _ C
2
. Ahora, como C
1
_ A y e
u
> 0 para todo u R, tenemos que
__
S
e
(x
2
+y
2
)
dxdy _ 0 para toda regin
S R
2
en la que e
(x
2
+y
2
)
es integrable.
Tambin tenemos, como
__
C1
e
(x
2
+y
2
)
dxdy +
_ _
AC1
e
(x
2
+y
2
)
dxdy =
__
A
e
(x
2
+y
2
)
dxdy que
__
C1
e
(x
2
+y
2
)
dxdy _
__
A
e
(x
2
+y
2
)
dxdy
y como
__
A
e
(x
2
+y
2
)
dxdy +
_ _
C2A
e
(x
2
+y
2
)
dxdy =
__
C2
e
(x
2
+y
2
)
dxdy que
__
A
e
(x
2
+y
2
)
dxdy _
__
C2
e
(x
2
+y
2
)
dxdy
De lo que:
__
C1
e
(x
2
+y
2
)
dxdy _
__
A
e
(x
2
+y
2
)
dxdy _
__
C2
e
(x
2
+y
2
)
dxdy
3. Para la integral doble sobre C
1
tenemos, como x
2
+y
2
_ a
2
, que a _ y _ a y
_
a
2
y
2
_ x _
_
a
2
y
2
, entonces:
__
C1
e
(x
2
+y
2
)
dxdy =
_
a
a
_
_
a
2
y
2

_
a
2
y
2
e
(x
2
+y
2
)
dxdy
Realizando el cambio a coordenadas polares (x; y) = (r cos ; r sin) . Entonces tenemos que J (r; ) =

cos r sin
sin r cos

=
r cos
2
+ r sin
2
= r. Entonces, dado que x
2
+ y
2
= r
2
2
__
C1
e
(x
2
+y
2
)
dxdy =
__
T1
re
r
2
drd
Donde 0 _ r _ a y 0 _ _ 2. De esto:
__
T1
re
r
2
drd =
_
2
0
_
a
0
re
r
2
drd
Y tomando v(r) = r
2
tenemos dv = 2rdr y:
_
2
0
_
a
0
re
r
2
drd =
_
2
0
_
1
2
_
a
2
0
e
v
dv
_
d =
_
2
0
_
1
2
[e
v
]
a
2
v=0
_
d
=
_
2
0

1
2
_
e
a
2
1
_
d =
1
2
_
2
0
_
e
a
2
1
_
d =
_

2
_
e
a
2
1
__
2
=0
=
2
2
_
e
a
2
1
_
=

e
a
2
.
Entonces lim
a!1
_
_
__
C1
e
(x
2
+y
2
)
dxdy
_
_
= lim
a!1
_


e
a
2
_
=
Para la integral doble sobre C
2
tenemos, como x
2
+y
2
_ 2a
2
, que
_
2a _ y _
_
2a y
_
2a
2
y
2
_ x _
_
2a
2
y
2
,
entonces:
__
C1
e
(x
2
+y
2
)
dxdy =
_
p
2a

p
2a
_
_
2a
2
y
2

_
2a
2
y
2
e
(x
2
+y
2
)
dxdy
Realizando el cambio a coordenadas polares tenemos que J (r; ) = r. Entonces, dado que x
2
+ y
2
= r
2
__
C1
e
(x
2
+y
2
)
dxdy =
__
T1
re
r
2
drd
Donde 0 _ r _
_
2a y 0 _ _ 2. De esto:
__
T1
re
r
2
drd =
_
2
0
_
p
2a
0
re
r
2
drd
Y tomando v(r) = r
2
tenemos dv = 2rdr y:
_
2
0
_
p
2a
0
re
r
2
drd =
_
2
0
_
1
2
_
2a
2
0
e
v
dv
_
d =
_
2
0
_
1
2
[e
v
]
2a
2
v=0
_
d =
_
2
0

1
2
_
e
2a
2
1
_
d =

1
2
_
2
0
_
e
2a
2
1
_
d
=
_

2
_
e
2a
2
1
__
2
=0
=
2
2
_
e
2a
2
1
_
=

e
2a
2
Entonces lim
a!1
_
_
__
C2
e
(x
2
+y
2
)
dxdy
_
_
= lim
a!1
_


e
2a
2
_
=
Como lim
a!1
_
_
__
C1
e
(x
2
+y
2
)
dxdy
_
_
= lim
a!1
_
_
__
C2
e
(x
2
+y
2
)
dxdy
_
_
= y
__
C1
e
(x
2
+y
2
)
dxdy _
__
A
e
(x
2
+y
2
)
dxdy _
__
C2
e
(x
2
+y
2
)
dxdy
Entonces lim
a!1
_
_
__
A
e
(x
2
+y
2
)
dxdy
_
_
= .
Pero
__
A
e
(x
2
+y
2
)
dxdy =
__
a
a
e
u
2
du
_
2
As que:
3
_
=

_
lim
a!1
_
__
a
a
e
u
2
du
_
2
_
=
_
lim
a!1
___
a
a
e
u
2
du
___
a
a
e
u
2
du
__
=
_
lim
a!1
__
a
a
e
u
2
du
_
lim
a!1
__
a
a
e
u
2
du
_
=
_
_
lim
a!1
__
a
a
e
u
2
du
__
2
= lim
a!1
__
a
a
e
u
2
du
_
=
_
1
1
e
u
2
du.
Para probar que
_
1
0
e
u
2
du =
p

2
solo hay que ver que si e
u
2
= f(u) , entonces f(u) = e
((u)
2
)
= e
u
2
= f(u).
4. Por denicin,
_
1
2
_
=
_
1
0
t

1
2
e
t
dt =
_
1
0
e
t
p
t
dt = 2
_
1
0
e
t
2
p
t
dt. Sea v(t) =
_
t. Entonces:
2
_
1
0
e
t
2
p
t
dt = 2 lim
x!1
_
x
0
e
t
2
p
t
dt = 2 lim
x!1
_
p
x
0
e
v
2
dv = 2
_
1
0
e
v
2
dv = 2
p

2
=
_
.
4