MATEMATICAS ESPECIALES I PARA FISICA C

odigo:201667
Profesor: Herber Vinck Posada, Auxiliar: Camilo Martnez Montero
Facultad de ciencias, Departamento de Fsica
Universidad Nacional de Colombia, sede Bogot
a

1.

Problemas Bases y relaciones de completez

Los problemas de bases y completes son bastantes similares, para esto se desarrollara los dos siguientes problemas .
1. Sea la base continua definida por
(r
(k, x) =

1
Sen(kx),

)
1
Cos(kx) ; 0 k < ; x

Escribir las relaciones de ortonormalidad y completez. En esta base tenemos que la ortonormalidad seria
r
Z r
1
1
dx
Sen(kx)
Cos(k 0 x) = 0

r
Z r
1
1
dx
Cos(kx)
Cos(k 0 x) = (k k 0 )

r
Z r
1
1
dx
Sen(kx)
Sen(k 0 x) = (k k 0 )

y la relaci
on de autocompletez se obtiene al escribir la expansion en esa base de la funcion con lo cual
Z r
Z r
1
1
Sen(kx)S(k) +
Cos(kx)C(k)
(x) =
dk
dk

0
0
siendo S(k) los coeficientes de expansi
on del seno que son
r
Z
dx0

S(k) =

(1)

(2)
(3)
(4)

(5)

1
Sen(kx0 )(x0 )

(6)

1
Cos(kx0 )(x0 )

(7)

y C(k) los coeficientes de expansi

on del coseno que son
Z

C(k) =

r
0

dx

La mejor forma de obtenerlos es en (5) multiplicar e integrar por los terminos Sen(k 0 x) o, Cos(k 0 x) e integrar, entonces si se usan las relaciones de ortonormalidad se obtienen uno solo de los coeficientes. Finalmente reemplazamos
los coeficientes anteriores en (5) obteniendose
r
Z r
Z r
Z r
1
1
1
1
0
0
(k, x) =
dk
Sen(kx)
dx
Sen(kx )(x ) +
dx
Cos(kx)
Cos(kx0 )(x0 )

0
!
r
r
r
r
Z
Z
1
1
1
1
0
0
=
dx
dk
Sen(kx)
Sen(kx ) +
Cos(kx)
Cos(kx ) (x0 )
(8)

De nuestra anterior expresi

on ya obtenemos la condicion de Completez el observar que
!
r
r
r
r
Z
1
1
1
1
dk
Sen(kx)
Sen(kx0 ) +
Cos(kx)
Cos(kx0 ) = (x x0 )

0
Es necesario para obtener
Z

(9)

dx(x x0 )(x0 )

(x) =

(10)

Adem
as nuestra ecuaci
on de completez se puede escribir como
!
r
r
r
r
Z
1
1
1
1
0
0
dk
Sen(kx)
Sen(kx ) +
Cos(kx)
Cos(kx )

=
=

dk (Sen(kx)Sen(kx0 ) + Cos(kx)Cos(kx0 ))

dkCos(kx kx0 ) = (x x0 )

y sumando (3), (4) obtenemos

r
r
Z r
Z r
1
1
1
1
0
dx
Cos(kx)
Cos(k x) +
dx
Sen(kx)
Sen(k 0 x) = 2(k k 0 )

Z
1
dx (Sen(kx)Sen(k 0 x) + Cos(kx)Cos(k 0 x)) = 2(k k 0 )

Z
1
dx (Cos(kx k 0 x)) = 2(k k 0 )

(11)

Estas dos expresiones con completamente equivalentes.

2. Una base ortonormal que se utiliza en mec
anica cuantica para describir sistemas fsicos cuyo espectro energetico
tiene una parte discreta y otra continua puede escribirse de la forma : {n (x), (k, x)}, con x definida en (a, b),
k definida en (c, d), n entero y k real. Esta base se compone de una discreta y otra continua, con condiciones de
ortonormalidad de la forma:
Z b
dxn (x)m (x) = nm
(12)
a
b

dx(k, x)(k 0 , x)

= (k k 0 )

(13)

(14)

dxn (x)(k 0 , x)

Si la base es completa cualquier f(x) bien comportada puede expandirse como:

f (x) =

Z
Cn n (x) +

dk(k, x)C(k)

(15)

Escriba la relaci
on de completez. Para obtener la relacion de completez es importante primero encontrar los
coeficientes de la expansi
on, para esto procederemos a multiplicar por cada una de las funciones de la base e
integrar en el intervalo (a, b) para usar las relaciones de ortonormalidad. Para Cn obtenemos
Z

Z
dxf (x)n0 (x)

dx
a

X
n

Cn

Z
dxn (x)n0 (x) +

Cn nn0 = Cn0

dk(k, x)n0 (x)C(k)

c

!
dx(k, x)n0 (x) C(k)

dk
c

Z
dx

Cn n (x)n0 (x) +

y para la siguiente
Z b
dxf (x)(k 0 , x)

Z
=

dx

dx

dk(k k 0 )C(k)

"
X

Z
n (x)n (x) +

dxf (x)(k, x)

dk(k, x)
a

dk(k, x)(k, x) f (x)

(16)

De donde obtenemos la relaci

on de completez
Z
X
n (x)n (x) +

dk(k, x)(k, x) = (x x0 )

2.

Reemplazando en la expansi
on de la funci
on tenemos que
Z
Z
b
X
dxf (x)n (x)n (x) +
f (x) =
=

C(k 0 )

dk(k, x)(k 0 , x)C(k)

Z
dx

dx(k, x)(k , x) C(k) =

dk

Z
a

n
d

Cn n (x)(k 0 , x) +

Series de Fourier

1. Expandir en series de Fourier f (x) = ( x)/2 con 0 < x < 2. A primera vista la funcion no parece ni impar ni
par, pero este problema se puede resolver mas facilmente si definimos la funcion g(x) = f (x + ) la funci
on g(x)
est
a definida en intervalo diferente; hemos corrido la funcionn hacia la izquierda con lo cual el intervalo se corre
hacia la izquierda, entonces para g(x) el intervalo es < x < . con esto la funcion g(x) queda definida como
g(x) = ( (x + ))/2 = x/2; < x <
La funci
on es claramente impar por lo que la expansion en series de Fourier poseera solo terminos seno
X
g(x) =
cn Sen(nx)

(17)

(18)

n=0

cn

1
dxg(x)Sen(nx) =
2

xSen(nx)dx

(19)

Esta u
ltima integral se puede calcular f
acilmente por partes obteniendo
xCos(nx) Sen(nx)
+
n
n2
Cos(n) Cos(n) Sen(n) Sen(n)
=
+
+

n
n
n2
n2
n
Donde para n entero Sen(n) = 0 , Cos(n) = (1) con lo cual
2cn

(1)n
(1)n
2(1)n+1

=
n
n
n
X (1)n+1
Sen(nx)
n
n=0

2cn

g(x)

Para encontrar la expansi

on de la funci
on f (x) usamos la conexion entre las dos funciones obteniendose
X (1)n+1
Sen(nx)
f (x + ) =
n
n=0
f (x)

X (1)n+1
X (1)n+1
Sen(n(x )) =
Sen(nx)Cos(n)
n
n
n=0
n=0

f (x)

X (1)n+1
X1
Sen(nx)(1)n =
Sen(nx)
n
n
n=0
n=0
3

(20)

(21)

2. En la expansi
on en serie de Fourier bidimensional tenemos que la funcion f(x,y) con a < x < b y c < y < d, se
expande de la forma definiendo L = (b a), H = (d c)









XX
anm Sen n 2
x
Sen m 2
y
+ bnm Sen n 2
x
Cos m 2
y

L
H
L
H
f (x, y) =
nm
2
2
2
+cnm Cos n 2
L x Sen m H y + dnm Cos n L x Cos m H y
m=0 n=0

Encontrar los coeficientes de la expansi

on. Se puede usar el mismo procedimiento que para el caso unidimensional,
escribiendo primero las relaciones de ortonormalidad por ejemplo una seria








Z b Z d
2
2
2
2
dySen n x Sen m y Sen n0 x Sen m0 y = LHn.n0 m.m0
dx
(22)
L
H
L
H
c
a
Como x es independiente con y, podemos hacer todo con las
es decir




Z b
2
0 2
dxSen n x Sen n
x
L
L
a




Z b
2
2
dxCos n x Cos n0 x
L
L
a




Z b
2
0 2
x
dxSen n x Cos n
L
L
a
d

relaciones de ortogonalidad del caso unidimensional

L
n.n0
2

L
L
n.n0 + n,0 n0 ,0
2
2

0n.n0





2
2
dySen m y Sen m0 y
=
H
H
c




Z d
2
0 2
dyCos m y Cos m
y
=
H
H
c




Z d
2
2
=
dySen m y Cos m0 y
H
H
c
Z

H
m.m0
2
H
H
m.m0 + m,0 m0 ,0
2
2
0

Ahora multiplicamos la expansi

on por funciones tal que al integrar en el intervalo de las relaciones de ortogonalidad
obtengamos deltas de kronecker, donde obtenemos para la variable x







Z b
L XX
2
2
0 2
dxf (x, y)Sen n
x
=
nm anm n.n0 Sen m y + bnm n.n0 Cos m y
L
2 m=0 n=0
H
H
a






Z b
2
L XX
cnm (n.n0 + n,0 n0 ,0 ) Sen m 2
Hy

dxf (x, y)Cos n0 x
=
nm
+dnm (n.n0 + n,0 n0 ,0 ) Cos m 2
L
2
a
Hy
m=0 n=0

Para cada una de las anteriores la hacemos para la variable y





Z d Z b
LH
LH X X
0 2
0 2
x Sen m
y
mn (anm n.n0 m.m0 ) =
m0 n0 an0 m0
dy
dxf (x, y)Sen n
=
L
H
2 2 m=0 n=0
4
c
a




Z d Z b
LH X X
0 2
0 2
dy
dxf (x, y)Cos n
x Sen m
y
=
nm (cnm (n.n0 + n,0 n0 ,0 ) m.m0 )
L
H
2 2 m=0 n=0
c
a
=
Z

dy
c





2
2
dxf (x, y)Sen n0 x Cos m0 y
=
L
H

LH X X
nm (bnm n.n0 (m.m0 + m,0 m0 ,0 ))
2 2 m=0 n=0
LH
LH
m0 n0 bn0 m0 +
n0 0 bn0 0
4
4
LH X X
nm (dnm (n.n0 + n,0 n0 ,0 ) (m.m0 + m,0 m0 ,0 ))
2 2 m=0 n=0

=
Z

Z
dy



0 2
dxf (x, y)Cos n
x Cos m
y
=
L
H
0 2

LH
LH
m0 n0 cn0 m0 +
0m0 c0m0
4
4

LH
LH
LH
LH
n0 m0 dn0 m0 +
0m0 d0m0 +
n0 0 dn0 0 +
00 d00
4
4
4
4

=
4

Estos coeficientes as escritos tiene sus complicaciones al momento de memorizar, por lo que si queremos hacerlas
f
aciles de recordar en otras palabras que an0 m0 , cnm0 , bn0 m0 y dn0 m0 queden definidos de manera uniforme como




Z d Z b
2
2
4
dy
dxf (x, y)Sen n0 x Sen m0 y
an0 m0 =
LH c
L
H
a




Z d Z b
4
0 2
0 2
dy
dxf (x, y)Cos n
cn0 m0 =
x Sen m
y
LH c
L
H
a

bn 0 m 0

d n0 m 0





2
2
dxf (x, y)Sen n0 x Cos m0 y
L
H
c
a




Z d Z b
4
0 2
0 2
dy
dxf (x, y)Cos n
x Cos m
y
LH c
L
H
a
4
LH

dy

ser
a necesario que
n0 m0

1; m0 , n0 6= 0

0m0

n0 0 = 1/2

00

1/4

No hay que olvidar que en la expansi

on tanto n como m tienen que ser mayor que cero.

3.

Transformada de Fourier
1. Calcular la trasformada de Fourier de la convolucion de f (x) con g(x). La convolucion de dos funciones es usada
en la fsica para diversos problemas, uno de ellos por ejemplo es estudiar la respuesta de un sistema debido a
una perturbaci
on. La convoluci
on de dos funciones se define como
Z
f g =
dxf (x)g(x0 x)
(23)

La transformada de Fourier entonces sera

Z
Z
Z
1
ikx0

(f g) e
dx0 =
dx0
dxf (x)g(x0 x)eikx0
2

La transformada inversa de las funciones f (x) y g(x) es

Z
0
1
f (k 0 ) eik x dk 0
f (x) =
2
Z
00
1
g(x0 x) =
g (k 00 ) eik (x0 x) dk 00
2

(24)

(25)
(26)

Reemplazando las transformadas en (24) tenemos que

Z
Z
Z
Z
Z
00
1
1
1
ikx0
0
ik0 x
0 1

(f g) e
dx0 =
dx0
dx
f (k ) e
dk
g (k 00 ) eik (x0 x) dk 00 eikx0
2
2
2
2


3 Z Z Z Z
00
0
00
1

=
dx0 dxdk 0 dk 00 f (k 0 ) ei(k k )x ei(kk )x0 g (k 00 )
2


3 Z Z
Z
 Z

1
0
00
i(k00 k0 )x
i(kk00 )x0

=
dk dk
e
dx
e
dx0 f (k 0 ) g (k 00 )
2

(27)

Sabemos que
1

ei(k

00

k0 )x

dx = 2(k 00 k 0 ), y

ikx0

(f g) e


dx0

2
Z
2

3 Z

ei(kk

00

)x0

dx0 = 2(k k 00 ) con lo cual

dk 0 dk 00 2(k 00 k 0 ) (2(k k 00 )) f (k 0 ) g (k 00 )

dk 00 (k 00 k)f (k 00 ) g (k 00 ) =

2f (k) g (k)

(28)

Esta u
ltima expresi
on facilita bastante los calculos al trabajar no en el espacio real si no en el espacio de las
transformadas.
2. Demostrar, mediante aplicaci
on sucesiva de transformadas de Fourier en x, y, z, t, que la solucion general a la
ecuaci
on de ondas en 3 dimensiones, inhomogenea, con fuente g(r, t) es:
 4 Z
1
g(r0 , t0 ) i[k.(rr0 )+$(tt0 )] 3 3 0
(r, t) =
d kd r 2d$dt
2 e
2
k2 + $
v2
Z h
i
A(k)ei[k.r+vt] + B(k)ei[k.r+vt] d3 k
+
donde: k 2 = kx2 + ky2 + kz2 , d3 k = dkx dky dkz , d3 r = dxdydz; en consecuencia, la primera integral es
octuple y
la segunda triple; todas van de a . La fase de las ondas esta descrita por los terminos k.r $t . Las
superficies de fase constante son planos k.C = cons tan te que viajan en direccion k con velocidad constante

v = k$/k.
Las dos u
ltimas integrales describe por tanto ondas que viajan en direcciones k. Conviene
observar, desde un punto de vista fsico, la aparicion de las variables r, r0 , t, t0 . Las dos primeras se refieren
al observador, y las dos u
ltimas a la fuente. Las dos primeras al efecto, las dos u
ltimas a la causa. La ecuaci
on
de ondas asegura que la onda viaja a la velocidad v. Es esta la forma como la fsica matematica concibe la
noci
on de causalidad. Para comenzar escribamos la ecuacion de onda tridimensional inhomogenea
2 (r, t) 2 (r, t) 2 (r, t)
1 2 (r, t)
+
+

= g(r, t)
x2
y 2
z 2
v 2 t2

(29)

Ahora las transformadas de Fourier de la solucion y de la parte inhomogenea es

4 Z

1

(r, t)eikx x eiky y eikz z ei$t dxdydzdt

(k, $) =
2

4 Z
1

g(k, $) =
g(r, t)eikx x eiky y eikz z ei$t dxdydzdt
2

(30)
(31)

Cuando derivamos las funciones parcialmente con respecto a cada una de las variables obtenemos lo que
acompa?a a la variable al cuadrado, ya que se intercambia las integrales y las derivadas y solo un exponente
posee esta variable por lo cual al reemplazar las transformadas de Fourier en (29) obtenemos
1
2
2
2
2
(ikx ) (k, $) + (iky ) (k, $) + (ikz ) (k, $) 2 (i$) (k, $)
v


1
2
2
k + 2 ($) (k, $)
v

= g(k, $)
= g(k, $)

(32)

Este problema es entonces similar al ejemplo del Sep

ulveda, con lo cual ahora tenemos que examinar dos
casos. El primero si g(k, $) 6= 0 entonces la solucion es
(k, $) = 

g(k, $)
k 2

1
v2

($)

Ahora aplicamos la transformada inversa de Fourier par encontrar (r, t)

4 Z

1

(r, t) =
(k, $)eikx x eiky y eikz z ei$t dkx dky dkz d$
2

4 Z
1
g(k, $)

 eik.r ei$t d3 kd$

=
2
2
k 2 + v12 ($)
6

(33)

(34)

Y reemplazando (31)en la anterior recordando usar otras variables para le integracion en las coordenadas
obtenemos

4 R
0
0

4 Z 1
g(r, t)eik.r ei$t d3 r0 dt0
1
2



(r, t) =
eik.r ei$t d3 kd$
2
1
2
2
k + v2 ($)
 4 Z
0
0
1
g(r0 , t0 )

 eik.[r r] ei$[t t] d3 r0 dt0 d3 kd$
=
(35)
2
1
2
2
k + v2 ($)



2
Ahora si g(k, $) = 0 tenemos k 2 + v12 ($) (k, $) = 0 lo cual se cumple si k 2 +



2
(k, $) 6= 0,o (k, $) = 0 cuando k 2 + v12 ($) 6= 0, la delta de Dirac de k 2 +


2
es cero en todos los valores excepto en k 2 + v12 ($) = 0 con lo podemos escribir

1
v2
1
v2

= 0 cuando

cumple que

($)
($)



1
2
(k, $) = 0 (k, $) k 2 + 2 ($)
v

(36)



2
Es de notar que el u
nico punto donde (k, $) es diferente de cero es tal que k 2 + v12 ($) = 0 con lo
cual la funci
on no depender
a de todos los puntos si no de una cantidad limitada de ellos en este caso de tres
ya que el cuarto ser
a tal que $2 = v 2 k 2 , por lo que 0 (k, $) puede depender solo de k tambien se pueden
escoger otro tipo de dependencias por ejemplo kx2 = $2 /v 2 ky2 kz2 , pero es la primera la que me lleva a la
expuesta pedida ya que entonces tenemos que


1
2
(k, $) = f (k) k 2 + 2 ($)
(37)
v
De nuevo calculamos la transformada inversa de Fourier de este termino
4 Z

1

(k, $)eikx x eiky y eikz z ei$t dkx dky dkz d$

(r, t) =
2


4 Z

1
1
2

=
f (k) k 2 + 2 ($) eik.r ei$t d3 kd$
v
2

(38)

En estos momentos podemos hacer la integral sobre una de las variables escogemos la de $ donde tenemos
2
dos puntos donde k 2 + v12 ($) es cero, el primero en $ = +vk, el segundo en $ = vk con lo cual nuestra
integral queda, usando la propiedad de la delta de Dirac tenemos que

4 Z

4 Z
1
f (k) ik.r ivkt 3
1
f (k) ik.r +vkt 3

(r, t) =
e
e
d k+
e
e
d kd$
2vk
+2vk
2
2
Z
Z
=
A(k)eik.r eivkt d3 k + B(k)eik.r e+vkt d3 kd$
(39)
La soluci
on final se puede escribir como la homogenea con la inhomogenea es decir (35) con (39)
 4 Z
0
0
1
g(r0 , t0 )

 eik.[r r] ei$[t t] d3 r0 dt0 d3 kd$
(r, t) =
2
1
2
2
k + v2 ($)
Z
Z
+ A(k)eik.r eivkt d3 k + B(k)eik.r e+vkt d3 kd$

4.

(40)

ortogonalizaci
on

1. Calcular los primeros 4 polinomios ortogonales y normalizados con funcion de peso ex , x definido entre cero e
infinito. La base de los polinomios est
a dada por


P (x) = 1, x, x2 , ...
(41)
7

Encontremos una nueva base de polinomios P 0 (x) tal que

Z
0
ex Pn0 (x)Pm
(x)dx = nm

(42)

Fijemos el primer polinomio como P10 (x) = aP1 (x) = a, y para que la norma sea uno tenemos que
Z
Z
x
aP1 (x)aP1 (x)e dx =
a2 ex dx = a2 = 1
0

(43)

El hecho de tener el mas o menos es como en el espacio vectorial es coger un vector o menos el mismo vector como
base, la base usual de Laguerre tiene definido los polinomios de una forma diferente a la que calculamos debido al
signo menos que se puede escoger. Ahora construyamos P20 (x) = P2 (x) + aP1 (x) y utilizamos (42)
Z
Z
x
e (P2 (x) + aP1 (x)) P1 (x)dx =
ex (x + a) 1dx
(44)
0

En estos momentos se aprecia una integral que se va a ver bastante, la cual si se hace por partes bastantes veces
se obtiene
Z
n
X
n!
xn ex dx =
xnk ex
(45)
(n k)!
k=0

La anterior integral cuando se eval

ua entre cero e infinito solo sobrevive el termino con k = n, quedando
Z
xn ex dx = n!

(46)

Usando (46) obtenemos para la integral

ex (x + a) 1dx = 1 + a = 0

(47)

con lo cual nuestro segundo polinomio es P20 (x) = a (x 1). Para normalizarlo hacemos lo mismo que al inicio
Z
Z
2
aP2 (x)aP2 (x)ex dx = a2
(x 1) ex = a2 (2 2 + 1) = 1
(48)
0

Si quisieramos la base de Laguerre usual usaramos el 1 pero tambien podemos usar el 1 obteniendo para el
segundo polinomio P20 (x) = (x 1). Para nuestro tercer polinomio tenemos que P30 (x) = P3 (x) + aP20 (x) + bP10 (x) y
queremos que
Z
ex (P3 (x) + aP20 (x) + bP10 (x)) P10 (x)dx = 0
(49)
0
Z
ex (P3 (x) + aP20 (x) + bP10 (x)) P20 (x)dx = 0
(50)
0

Es ac
a done obtengo
R una ventaja al normalizarlos de una vez ya que se pueden hacer todas las integrales inmediatamente excepto 0 ex (P3 (x)) Pk0 (x)dx puesto que son uno o cero
Z


ex x2 dx + b = 2 + b = 0
(51)
0
Z
Z




ex x2 (x 1)dx + a =
ex x3 x2 dx + a
0

62+a=4+a=0
(52)




Con lo cual el tercer polinomio es P30 (x) = a x2 4(x 1) 2 = a x2 4x + 2 . Y ahora la normalizaci
on
implica que
Z
Z

2
2 x
2
2
a
(P3 (x)) e dx = a
x2 4x + 2 ex dx
0
Z0


2
= a
x4 + 16x2 + 4 8x3 + 4x2 16x ex dx
Z0


2
= a
x4 8x3 + 20x2 + 4 16x ex dx
=

= a2 (24 8 6 + 20 2 16 + 4) = 4a2 = 1
8



Nuestro tercer polinomio normalizado es P30 (x) = 12 x2 4x + 2 . Para el cuarto polinomio tenemos que P40 (x) =
P4 (x) + aP30 (x) + bP20 (x) + cP10 (x) y queremos que
Z
ex (P4 (x) + aP30 (x) + bP20 (x) + cP10 (x)) P10 (x)dx = 0
(53)
0
Z
ex (P4 (x) + aP30 (x) + bP20 (x) + cP10 (x)) P20 (x)dx = 0
(54)
0
Z
ex (P4 (x) + aP30 (x) + bP20 (x) + cP10 (x)) P30 (x)dx = 0
(55)
0

De nuevo reemplazamos y obtenemos

Z

ex x3 dx + c =

6+c=0
Z


=
ex x4 x3 dx + b = 24 6 + b

ex x3 (x 1) dx + b

(56)

18 + b = 0
(57)
Z
Z






1
1
ex x3
ex x5 4x4 + 2x3 dx + a
x2 4x + 2 dx + a =
2
2 0
0
1
(120 96 + 12) + a = 18 + a = 0
(58)
=
2


Con lo cual nuestro cuarto polinomio queda P40 (x) = x3 18 21 x2 4x + 2 18(x 1) 6 = x3 9x2 + 18x
6.finalmente para normalizarlo calculamos
Z
Z

2
2 x
2
2
a
(P4 (x)) e dx = a
x3 9x2 + 18x 6 ex dx
0
Z0


= a2
x6 + 81x4 + 324x2 + 36 18x5 + 36x4 12x3 ex dx
0
Z


2
+a
324x3 + 54x2 108 ex dx
0

=
y nuestro 4 polinomio es P40 (x) =

1
6

36a2 = 1

x3 9x2 + 18x 6

2

2. Calcular los 4 primeros polinomios ortogonales y normalizados con funcion de peso ex , x definido entre <
x < . Comenzare con las dos integrales que se obtendran al momento de ortogonalizar los polinomios, primero
tenemos
Z
2

ex dx =
(59)

Z
2
xex dx = 0
(60)

Ahora en general vamos a tener

Z

k x2

x e

2
1
1
dx = xk1 ex + (k 1)
2
2

xk2 ex dx

(61)

La integral anterior nos dice que k est

a relacionado con la integral en k 2, ademas si la evaluamos el primer
termino es cero, por lo que
Z
Z
2
2
(k 1) (k 3) (k n + 1)
xk ex dx =
...
xkn ex dx
(62)
2
2
2
Aqu tenemos dos posibilidades que k n termine en cero o termine en 1. Esto dependera si k es par o impar. si
k es par entonces podre termina en cero y por lo tanto tendre
Z
2
(k 1) (k 3) (1)
xk ex dx =
...
(63)

2
2
2
9

En cambio si k es impar entonces la integral sera cero. Recordemos que la suma de dos n
umeros impar es par y la
de dos n
umeros impares es par, en cambio la suma de un n
umero impar con uno par es impar. Ahora comencemos
al igual que el anterior con un polinomio dado por la base de los polinomios


P (x) = 1, x, x2 , ...
(64)
Encontremos una nueva base de polinomios P 0 (x) tal que
Z
2
0
ex Pn0 (x)Pm
(x)dx = nm

(65)

Fijemos el primer polinomio como P10 (x) = aP1 (x) = a, y para que la norma sea uno tenemos que
Z
Z
2
2

aP1 (x)aP1 (x)ex dx =

a2 ex dx = a2 = 1

(66)

El primer polinomio esta dado por P10 (x) = 1/ 4 Nuestro segundo polinomio es P20 (x) = ax, la razon de esto es
que si hacemos el producto de P20 (x) con P10 (x) obtengo ya un polinomio impar que al integrar es cero como se vio
al inicio. y al normalizarlo
Z
Z
2
1
x2
aP2 (x)aP2 (x)e
dx =
a2 x2 ex dx = a2 = 1
(67)
2

Nuestro segundo polinomio es P20 (x) =

x. Ahora comenzamos con el tercer polinomio P30 (x) = P3 (x) + aP20 (x) +

bP10 (x) tal que se cumpla que

Z

ex (P3 (x) + aP20 (x) + bP10 (x)) P10 (x)dx

2

ex (P3 (x) + aP20 (x) + bP10 (x)) P20 (x)dx

(68)

(69)

notemos que como P3 (x) = x2 la segunda integral sera igual a cero si y solo si a = 0, en otras palabras el termino
impar no aparece. El hecho de tener desde este momento una separacion de terminos pares e impares en los
polinomios nos permite decir que cualquier polinomio debe cumplir que todos los exponentes de x son pares o
todos impares. A partir de ac
a usare ese hecho. Con lo cual obtengo
Z
Z


2
1 1
x2
0
(70)
e
(P3 (x)) P1 (x)dx + b =
ex x2 1/ 4 dx + b =
+b=0
4 2
0
0
El tercer polinomio es entonces P30 (x) = x2 1/2, que al normalizarlo
Z
Z

2
2
2
2
a2
(P30 (x)) ex dx = a2
x2 1/2 ex dx



1
1
3 1
2

+
=1
(71)
= a

22
2
4


2
entonces tengo P30 (x) =
x2 1/2 . Para el cuarto polinomio tengo P40 (x) = P4 (x) + aP20 (x), con lo cual solo
4
necesito que

Z
Z

2
x2
0
0
x2
3
e
(P4 (x) + aP2 (x)) P2 (x)dx =
e
x xdx + a

2 3 1
+a=0

4 2 2

y P40 (x) = x3 32 x finalmente volvemos a normalizar obteniendo

2
Z
Z 
2
3
2 x2
2
0
2
3
a
(P4 (x)) e
dx = a
x x ex dx
2



5
3
1
3 1
9 1

2
= a
=1
3
+

222
22
42


2
con lo cual P40 (x) = 13
x3 32 x
4
10

(72)



3. Determinar en que intervalo el conjunto de funciones fn (x) = x1 , x2 , ... con peso 1 es ortogonal. Para esto
escribamos las relaciones de ortogonalidad
Z

xn xm dx = nm

(73)

hay que notar que esta integral est

a definida siempre que cero no forme parte del intervalo [a, b] con lo cual
supondremos que 0 < a < b, con lo cual
Z

x
a

n m

Z
dx =

x
a

(n+m)

b
b(n+m)+1
x(n+m)+1 
a(n+m)+1
=
dx =

=0
(n + m) + 1 a
(n + m) + 1 (n + m) + 1

(74)

Porque n y m son mayores que uno. entonces podemos colocar b en terminos de a obteniendo
b=a
Entonces no podemos hacer nunca estas funciones ortogonales, sin importar el intervalo. es equivalente con la base
de polinomios cuando multiplicamos estas dos funciones obtenemos otra que es de nuevo un elemento del conjunto,
y entonces tendramos casos donde por ejemplo la norma de un elemento es cero por ejemplo si lograramos que
R b 6
x dx = 0 tendramos que x3 seria ortogonal consigo mismo
a

11