TAREA 4

1. Demuestra que si la serie de Fourier converge a f (x), se debe satisfacer al identidad de Parseval
π ∞
a2 X 2
Z
1
|f (x)| dx = 0 +
2
(an + b2n )
π −π 2 n=1

2. A partir de las series que a definen las función de Bessel,

∞
X (−1)n  x µ+2n
Jµ (x) = ,
n=0
n!(n + µ)! 2

demuestra que
d  ±µ
x Jµ (x) = ±x±µ Jµ∓1 (x).

dx
Usando el resultado anterior, demuestra las siguientes relaciones de recurrencia

xJµ0 (x) = ±µJµ (x) ∓ xJµ±1 (x)

xJµ+1 (x) = 2µJµ (x) − xJµ−1 (x).

Un resultado inmediato de esto, es que J00 (x) = −J1 (x)

3. En el intervalo (−π, π),
(
1
n si |x| < 2n
δn (x) = 1
0 si |x| > 2n

Expande δn (x) como una serie de Fourier de cosenos (denotada por F {δn (x)}). Usando esa serie,
demuestra que para cualquier función arbitraria f (x) (finita en el intervalo [−π, π] y continua en
x = 0), se cumple que:
Z π
f (x)F {δ∞ (x)}dx = f (0)
−π

4. Demuestra que
∞
x −1 X
e 2 (t−t )
= Jn (x)tn ≡ ω(x, t).
n=−∞

A ω(x, t) se le llama la función generadora de las funciones de Bessel. (hint: deriva ω respecto
a x, usa las relaciones de recurrencia y resuelve la ecuación diferencial en terminos de ω).
Otra forma de hacerlo es calculando la parcial de ω con respecto a x, obtendrás una relación de
recurrencia para las funciones de Bessel. Calcula la parcial de ω con respecto a t para obtener
otra relación de recurrencia. De estas dos relaciones, encuentra la ecuación diferencial de Jn
5. • La solución general de una ecuación diferencial ordinaria de segundo orden está dada por
una combinación lineal de 2 soluciones linealmente independiente. Si y1 y y2 son soluciones
a una ecuación diferencial de segundo orden, una manera de verificar que y1 y y2 son
linealmente independientes es que el Wronskiano W (y1 , y2 ) = y1 y20 − y2 y10 sea distinto de
cero. Demuestra que el Wronskiando de la ecuación diferencial y 00 + p(x)y 0 + q(x)y = 0 es
R
W = W0 e− p(x)dx
.

1
 Hint: Deriva W (y1 , y2 ) con respecto a x, en los términos donde aparece y 00 utiliza y 00 =
−p(x)y 0 − q(x)y.
Si dos soluciones son linealmente independientes, ¿Se puede anular el Wronskiano en algún
punto?
• Demuestra que para x > 0 los ceros de Jν (x) y Jν+1 (x) son distintos y se alternan, es decir,
entre dos ceros de Jν (x) hay un cero de Jν+1 (x).
Hint: Utiliza xJν0 (x) = νJν (x) − xJν+1 (x).
6. Sea βνn el n-ésimo cero de Jν0 (x). Demuestra que las funciones de Bessel Jν (βνn ρ/a) y Jν (βνm ρ/a)
son ortogonales en el intervalo (0, a)
7. Mediante el proceso de ortogonalización de Gram-Schmidt,
• Construye los primeros 3 polinomios de Hermite y compara con los obtenidos mediante la
formula de Rodrigues;
• Construye los primeros 3 polinomios de Chebyshev del tipo II. (hint: Demuestra la siguiente
relación)
Z 1 (
π 1·3·5···(2n−1)
2 1/2 2n n = 1, 2, 3
(1 − x ) x dx = 2 4·6····(2n+1)
−1 0 n=0

8. • Demuestra que si un operador diferencial de segundo orden no es autoadjunto, se puede

multiplicar por Z x 
1 p1 (t)
exp dt
p0 (x) p0 (t)
para volverlo autoadjunto.
• Demuestra que si u1 (x) y u2 (x) son eigenfunciones del mismo operador Hermitiano, con
eigenvalores distintos, entonces u1 y u2 son linealmente independientes .