FUNCIONES ORTOGONALES Y SERIES DE

FOURIER

10.1 ​Funciones ortogonales ​10.2 Series ​de Fourier ​10.3 Series ​de
Fourier de cosenos y senos 10.4 El problema de Sturm-Liouville
10.5 Series de Bessel y de Legendre
10.5.1 Serie ​de Fourier-Bessel 10.5.2 Serie de
Fourier-Legendre Ejercicios de repaso
s vectores en el espacio de dos

El lector ha estudiado ya, en el cálculo

y tres dimensiones, y sabe que dos vectores no cero son ortogonales cuando su producto

punto, o producto interno, es cero. Al dejar ese nivel, las nociones de vectores,

ortogonalidad y producto interno pierden, con frecuencia, su interpretación geométrica.

n imaginar que una función es un
Estos conceptos se han generalizado

vector. En consecuencia, podemos decir que dos funciones distintas son ortogonales

cuando su producto interno es cero. En este caso, veremos que el producto interno de

los vectores es una integral definida. El concepto de funciones ortogonales es funda-

mental en el estudio de los temas del siguiente capítulo y otros.

os de un conjunto infinito de
Otro concepto que se vio en
infinitesimal fue el desarrollo de una función funciones ortogonales.

, l​ lamada serie de potencias. En este capítulo

fcomo serie infinita de potencias de

aprenderemos a desarrollar una función

438
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
H Serie de Fourier generalizada
En
FOURIER
FUNCIONES ORTOGONALES
W H Producto interno
Norma cuadrada ∎​ ​Conjunto ortonormal ​∎ ​Ortogonalidad ​con ​respecto a
función es la generalización de un vector. En esta sección veremos cómo los dos conceptos vectoriales de
producto interno (punto) y ortogonalidad se pueden ampliar para abarcar las funciones.
Supongamos que u y v son vectores en el espacio tridimensional. El producto interno (u, v) de los vectores,
que también se escribe u . v, posee las propiedades siguientes:
(ll, w) + (v, w).
Esperamos que una generalización del concepto de producto interno debe tener las mismas propiedades.
Producto interno ​Supongamos ahora
tambih posee las propiedades
a i​ v), s​ iempre y cuando existan las integrales, podemos enunciar la siguiente definición:
Funciones ortogonales ​Dado que dos vectores u y v son ortogonales cuando su pro- ducto interno es cero,
definiremos
[u,
1aS ​funciones ortogonales ​en forma semejante:
*El intervalo
matemhticas superiores se considera que una
b].* Como una integrar del producto
k es un escalar iii) (u, u) = 0, si u = 0, y ​(u, u)
f 0 iv) (u + v, w) =
ii)
9
(4
(ku, v) =
tambih podría ser
VI =
i)
CV,
W Funciones ortogonales
k(u, v), donde
4
(--,
-), [0,
-),
> 0 ​si
W Conjunto ortogonal ​∎
etcktera.
fi(x)fi(x) definida en el intervalo
u
quefi
yf2 son
unajünción peso
funciones’defínidas en un intervalo
Norha
@lisis vectorial, en donde la palabra ortogonal es sinónimo de “perpen- dicular”, en el presente contexto el
término ortogonal y la condición (1) no tienen significado geométrico.
Funciones ortogonales
Las
=o. ​
6 ​- 1
Conjuntos ortogonales ​Nos interesan principalmente los conjuntos
infinitos de funcio- nes ortogonales.
La norma, o longitud
IIuII, de un vector u se concretamente, (u, u) =
lon$tud generalizada, de una ​función
El número
(3)
se llama ​norma cuadrada ​de
{4&)} es un conjunto ortogonal de funciones en el intervalo
{C&(X)} ​es un conjunto ortonormal ​en el intervalo.
Conjunto ortogonal de funciones
Demuestre que el conjunto
funcionesfi(x) =
orbgonoles ​439
A diferencia del
b,
[u,
es
b] y tiene la propiedad que
IlbW
x2
=
Ilull’, o bien
a
yfi(x)
( 1,
(.fl
cos x,
Ji)
=
&. Si
es
x3 son ortogonales en el intervalo [-1,
=
=
Ilull=
\yl
cos
decir,
1
I​

Ilc#&)II = 1
-lx2*x3dx=&6

fi(x>f2(4
ti, . .
?--(u,
uede expresar en términos del producto interno;
II)
.} es ortogonal en el intervalo
. La ​norma, ​o
par&
dx
1
n = 0,
Sección 10.1 Funciones
1,2, . , . , se dice
l] porque
[+r,
iúe
T].
I
440
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
U!X = 0 para n
dx
y en el segundo,
1
-7r
Normas
Determine las normas de cada función en el conjunto ortogonal del ejemplo 2.
SOLUCIÓN ​Para
7~.
Así, para ​n
FOURIER
SOLUCIÓN ​Si definimos
(3),
de modo que
1,2, . . . , se puede ​normalizar, ​-esto es, transformar en un conjunto ortonormal- dividiendo cada función por su
norma.
Conjunto ortonormal de funciones
Según los ejemplos 2 y 3, el conjunto
1
es ortonormal en
6.
Todo conjunto
(60,
> 0,
~~~~(x)~~ =
# 0 y que
44 =
Ilq&(x)II
-=
cos nx dx
=
[-7r,
orti>gonal de funciones
$d
h(x) =
j-1.
ll~n(x)~~2 =
fi. Para
~1. ​∎
m
cos
sen@
JTn
GONG
=
[

>​ ∎​
mi-n m - n

cos(m +
&(x) = 1 y
mx
&,&)&(x)
1, de acuerdo con la ecuación
+n)x
Iy,
c#J,(x)
i
G%T’
dx =
n)x + cos(m
cos%x dx =
I
1
sen@-
h = 0 cuando ​m
CJ~,&C)
=
=
-7!
=
cosx
j-y,
cos
-sennx
n
{C&(X)} distintas de cero, n
t
[sennn -sen(
=
cos
nx, n

4~​
1
cos
cos 2x
-
i
nx
VG
n)x] dx
IIr
nx, debemos demostrar que
=
T
> 0, se debe cumplir
[l +
=
‘...
# n. En el primer
o
-nn)] = 0,
cos
t identidad trigonométrica
2nx] dx =
fn.
= 0,
n
caso,-X
# 0,
j
?r
$&x)I$,(x)
v2 y vg son tres vectores no cero, ortogonales entre sí en el espacio tridimensional. Ese conjunto ortogonal se
puede usar como una base para el espacio en tres dimensiones; esto es, cualquier vector tridimensional se
puede escribir en forma de una combinación lineal
u=
Vi correspondiente. Para comprobarlo tomaremos el producto interno de (4) por
(5)
Serie de Fourier generalizada ​Supongamos que
(4)
en donde las
ci se puede expresar en términos de u y del vector
0.
Por consiguiente
c3 se pueden expresar como sigue:
2’
Ilv311​
Entonces, la ecuación (4) se puede escribir en la siguiente forma:
{&&)} es un conjunto infinito or- togonal de funciones en un intervalo
=f(x) es una función definida en el intervalo
., para el cual
Como en la descripción anterior, cuando determinamos los componentes de un vector, también podemos
determinar los coeficientes
c,, mediante el producto interno. Al multiplicar la ecuación (6) por
b] se obtiene
Debido a la ortogonalidad, cada término del lado derecho de la última ecuación es cero, excepto ​cuando m =
n. En este caso tendremos
Entonces, los coeficientes que buscamos son
Sección 10.1 Funciones ortogonales ​441

Vamos a establecer una analogía más entre vectores y funciones. Suponga que
IIv111 2​ .
En forma ​semejante ​podemos comprobar que los componentes
&(x) e integrar en el intervalo
(ll,
ci, ​i =
​
v*) =
[u, b],
u=----VI+-
1,2,3, son escalares y se llaman componentes del vector. Cada componente
Cl(VI,
¿será posible determinar un conjunto de coeficientes
(UY
llvIl
Vl)
Vl) +

c2
cz(v2,

=
tu,
(UY
llv2112
[u, b]. Nos preguntamos,: si
llv2112
v2)
ClVl +
Vl> +
v2)
[u,
c,
VI :
v2 +
=
c3@3,
(UY
c2v2 +

y
(UY
VI>
Ilvil12
v3)
Vl) =
c3
c3v3,
v3
=
w1112 +
(UY
=
n=l
i
v3)
y
(u,
llvnl12
c2
c2 y
*
vn.
0+
c,,,
c3 .
n
= 0,
VI,
1,2, . .
442
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
FOURIER
En otras palabras,
(7)
en la que
La ecuación
(8)
Vemos así que esta ecuación es el análogo funcional del resultado vectorial expresado en la ecuación (5).
La hipótesis habitual es que
funcih peso
El conjunto
W(X) = 1 en el intervalo
[u, b], al multiplicar (6) por
(10)
en donde
La serie (7) en que los coeficientes están expresados por las ecuaciones (8) o
(lo), se llama ​serie de Fourier generalizada.
Conjuntos completos ​Podemos apreciar que el procedimiento descrito para determinar las
c, e​ ra ​formal; ​esto es, no tuvimos en cuenta las cuestiones básicas acerca de si en realidad es posible un
desarrollo en serie como el de la ecuación (7). También, para desarrollar
f en forma de una serie de funciones ortogonales, es necesario que no sea ortogonal a cada
& del conjunto ortogonal
.) Para evitar este problema supondremos, en lo que queda del capítulo, que un conjunto ortogonal ​es
completo. ​Esto quiere decir que la única función ortogonal a cada miembro del conjunto es la función cero.
w(x)c#J,(x) e integrar se llega a
w
Si
[&(x)} es ortogonal con respecto a una función peso
{ 1,
(7), en notación de producto interno (o producto punto), es
> 0 en el intervalo de ortogonalidad [a, b].
Ortogonalidad y
cos x,
{&(x)}. (Si ​f f​ uera ortogonal a toda
cos
[-rr,
ti, . .
n].
CI, =
w(x)
.} es ortogonal con respecto a la función peso constante
s~:fw4.+M
Il4dm
d.x
&,,, entonces
’
W(X) en
c,,
= 0,
n
= 0, 1, 2, . .
oficgonales ​443
Las respuestas a
los problemas nones se encuentran en el apéndice de respuestas.
En ​los problemas 1 a 6, demuestre que las funciones respectivas son ortogonales en el intervalo indicado.
5a/4]
En los problemas 7 a 12 demuestre que el conjunto dado de funciones es ortogonal en el intervalo indicado.
Calcule la norma de cada función del conjunto.
7.
[-p,p]
Compruebe por
integracih directa que las funciones de los problemas 13 y 14 son ortogonales con respecto a la
w(x)=e-x,[O,m)
15. Sea
1,2, . , . 16. Sea
17. Sea
n. ​18. ​De acuerdo con el problema l,.sabemos
yfi a la vez, en el mismo intervalo. 19. El conjunto de funciones (sen
n]. Demuestre que el conjunto no es completo. 20. Sean
[O,p]
ll.
12. 1,
00) l3.
14. ​L,(x) = 1,
&2] ​8.
n/2] 9.
21 1. 2.
l] ​3.
21 ​4.
a] ​5.
8/2] 6.
{cos
fi(x) =
ji
H,(x) = 1, H,(x)=
#l(x) = x. Demuestre que
21. Determine
I14&>H2 +
ui,“! +
fi(x) =
fi(xy=
J(x) =
f,(x) =
{senx, sen
{sennx},
fi(x) =
{l,cos~x},n=1,2,3
q&(x)
cos
(&(x)} un conjunto ortogonal de funciones en
(A(x)} un conjunto ortogonal de funciones en
x,
{&,(x)) un conjunto ortogonal de funciones en
fi,
cos
x,fgx) =
yx,
dx = 0 para
ex,f2(x) =
cos
x,.f-+) =
fi y
ex,f2(x) ​=
x3,f2(x) =
ViA).
n = 1, 2, 3, . . .
3x,
,ra=1,2,3
11d~&11*,
3x, sen
Ll(X) =
x,
sen?, ,
ras constantes
función peso indicada en el intervalo especificado.
$
fo funciones continuas en el intervalo
cos
f2(x) ​=
(CU +
5x, . .
x2; [-2,
sx, . ..}.
cos
n=
Xe-X
senx;
-x+1,L2(x)=kx2-2x+l;
x* + 1; [-1,
23, H,(x) = 4x2
m
P)&,(x)
sen*x; [0,
+
2x;
,...;
.}; [0,
-
n=
; [0,
CI y
e-";
>...;
[?r/4,
nx},
1,2,3.. . . , ​m
[-d2,
du = 0 para
[O,
c2
P]
[O,pJ
EO,
n = 1,
tales
- 2; w(x) =
queA =
quefi(x) =
2,3, . . . es ortogonal en el intervalo
n=
=
1,2,3,. . .
2,3, , . . y todas
[u,
[u,
Sección 10.1 Funciones
x+
x
[u, b]. Demuestre que
b]. Demuestre que
b] tal que
[u,
yfi(x) =
e-z,
~1x2 +
b] tal que
;
(-03,
czx3 sea ortogonal
x2 son ortogonales en
&(x) = 1. Demuestre que
(Y y
&(x) =
fi constantes.
I!&(X)+
(fi +
1y
$&)l12 =
afi
fi,
I-T,
f3) =
[-2,
444
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE FOURIER
SERIES DE FOURIER
∎ ​Serie de Fourier ∎​ ​Coeficientes de Fourier
I
;pf(x)cos~xdx=2~pcos~xdx
serie de Fourier ∎​ ​Extensión periódica
El conjunto de funciones
1 ​es ortogonal en el intervalo ​[-p, ​p] (véase el problema 12 de los ejercicios 10.1). Supongamos que
función definida en el intervalo [​ -p, p] ​que se puede desarrollar en la serie trigonométrica
Entonces, los coeficientes
*. . ​se pueden determinar tal como describimos para la serie de Fourier generalizada en la sección anterior.
Al integrar ambos lados de la ecuación
-p h​ astap, se obtiene
(3)
Como cada función
> 1, es ortogonal a 1 en el intervalo, el lado derecho de (3) se reduce a un solo término
=Pa,,,
Al despejar
P​

UO se obtiene
Ahora multipliquemos la ecuación (2) por
-P ​
P P ​Por la ortogonalidad tenemos que

-P ​
PP
*Hemos optado por escribir el coeficiente de 1 en la serie (2) en la forma
ao. ​Es sólo por comodidad; ​la fórmula para
f es
una
u,, se reducirá entonces a
m=n
Y

1
1
3

cos-x
cos(nm/p),
P’
uo,
al,
l”,f(x)dx=~~pdx=~x~;

cos-x
~2,. . . ,
I
I
I
cos.Excos-xdx +
’
’

-P ​
PP
’
-P ​
P
P’“’ ​,
ao cuando
sen(nrx/p),
0,
cosExcos-xdx = ​
cosExsen-xdx = 0.
coszxdx=O,
bl,
n
W Convergencia de una
cos(mm/p) ​e integremos:
senn ​Px​ , sen-x,
= 0.
b2,
y, en consecuencia,
(2), desde
n
m>O
2% ​P s​ en-x,
b,
ad2, y no como
p,
’
coszxsen-xdx (5)
​ .​ . .
3a P
m#n
(4)
lo.2 Series de Fourier ​445
Entonces, la ecuación (5) se reduce a
y así
-P ​
PP
llegamos a
(4), (6) y (7) definen respectivamente los coeficientes
fhnción$ Los coeficientes que así se obtienen s​ e ​llaman ​coeficientes de Fourier
clef: ​Al determinar los coeficientes
b, ​supusimos que f​ ​es integrable en el intervalo y que la ecuación (2) -al igual que la serie
cos(mm/p)- ​converge en tal forma que permite la integración término a término. Hasta no demostrar que la
ecuación (2) es convergente para determinada
función& no se debe tomar el signo igual en sentido estricto o literal. Algunos textos emplean el símbolo
=. En vista de que en las aplicaciones la mayor parte de las funciones son del tipo que garantiza la
convergencia de la serie, usaremos el signo igual. Sinteticemos los resultados:
(6)
Por último, si multiplicamos a (2) por
(7)
La serie trigonométrica (2) en que las ecuaciones
ao,
un y
b,, ​es ​una ​serie de Fourier ​de la

I
I
I
’ ​-P P
​

P
-P ​PP
P
sen=x
​
rnn sen-x
senm?‘xsenr41rxdx =
ao,
u,, y
cosFx
obtenida multiplicando dicha ecuación por
dx = 0,
sen(m?rx/p), integramos y aplicamos los resultados
dx = 0
m>O
- en lugar del
Sección
446
CAP’hULO 10 FUNCIONES
FOURIER
Desarrollo en serie ​de ​Fourier
Desarrolle
en una serie de Fourier.
Y
X
FIGURA 10.1
SOLUCIÓN ​En la figura 10.1 vemos la gráfica de
T tenemos, según las ecuaciones (9) y
n27r
En forma semejante vemos que, según (1
l),
Por consiguiente,
f(x)
(13)
∎
Observe que
​ 0. Pero como muestra el ejemplo 1, esto quizá no sea el caso ​después d​ e evaluar la
(9), cuando se hace ​n =
integral para
u,.
Convergencia de una serie de Fourier ​El teorema que sigue especifica las condi- ciones suficientes de
convergencia de una serie de Fourier en un punto.
ORTOGOfWLES Y SERIES DE
u, definida por

(lo), ​
1
1
=
a+
la ecuación (10) se reduce a

--k-
s
{’
-7C
-n\,
n

= - - - ​m n
=
l)”
a
-cos
cos nx +
​
J: Con ​p =
cosnxff
n77 + 1​
UO da& por la ecuación
i
o
semx} .
c
cos
nn = (-1)”
Fourier ​447
El lector puede encontrar una demostración de este teorema en el texto clásico de Churchill y
x = 0 la función es discontinua y por consiguiente la serie convergerá a
Brown.?
Convergencia en un punto de discontinuidad
La función (12) del ejemplo 1 satisface las condiciones del teorema 10.1. Así, para todo
x del intervalo

2 2 2 ​∎ ​Extensión periódica ​Observamos que las funciones del conjunto básico (1) tienen un periodo
--ce. ​

común
2~; por consiguiente, el lado derecho de la ecuación (2) es periódico. Deducimos entonces que una serie de
Fourier no
(-p, p), sino que también da la ​extensión periódica
deffuera de este intervalo. Ahora podemos aplicar el teorema 10.1 a la extensión periódica de
f o suponer, desde el principio, que la función dada es
x=p ​ , r​ espectivamente, la serie (8) converge hacia el promedio
+f(p+)]/2 e ​ n esos extremos, y hacia este valor extendido periódicamente a
+ En otras palabras, cuando
t
fes continua por tramos y existen las derivadas derecha e izquierda en
Ruel
periodica, con periodo
V. Churchill y James Ward Brown,
(-n,
f3p,
T), excepto cuando
x es punto en el intervalo y
45p,
2p (esto es,
[f(p-)
1Í’p, ​etcétera.
f(x+) =
f(o+)

Fourier Series
solo representa a la
h-r0
limf(x + h),
+f(O-)

x = 0, la serie (13) convergerá hacia f(x). Cuando

f(x +
h
x
und
> 0,
2~)
_

=
Boundary Value
7r

-p y
​ en
=f(x)). Cuando
f(x-) =
+
0

función en el intervalo
h+O
limf(x
77
kción
Problems ​(New York:
-
h)
10.2 Series de
McGraw-Hill).
448
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
FOURIER
Convergencia a la extensión periódica
La serie de Fourier (13) converge hacia la extensión periódica de (12) en todo el eje x. Los puntos llenos de la
figura 10.2 representan el valor
en 0,
4w
FIGURA 10.2 ​∎
Las respuestas
​ etermine las series de Fourier de cada ​f ​en el
ri los problemas nones se encuentran en el apéndice de respuestas. D
intervalo dado en los problemas
-2<x< ll. f(x)
:2
15. f(x) =
Olx<?r 7. f(x) =x +
9.f(x)=
k21r,
0, ​= ​=
k47r, . . . . En
1
r
ex,
senx,
O7
-2,
0:

0,
?r,
1
-r <
-2<x<-1
-lSX<O
-71
-lrr<x<o
OSx<l
15x<2
fo,
10. f(x) =
Olx<?l ​
-+.2+-
-4z
x
<x
:\,
<
f31r,
-3rr -2n
<
r7
?r
f5n, . . . . la serie converge hacia el valor
f(n-> +
+-+-L
ix,
’
-7r
n
12. f(x)

0 ​2​Y
1 a 16.
6. f(x) =
8.f(x)=3-2x,
A-r+)
w
--H
2K
=
:\,
i
1
0,
cos
="
ã2
x,
1,
3n
-
-----3
x,
x2,
osx<
lSx<
:\,
9
-??/2<x<o
-n<x<n
Orx<n/2
-n<x<O
-7T<x<O
05x-c7r
:o
:1
Sección 10.3 Series ​de ​Fourier ​de cosenos y de senos 449
17. Con el resultado del problema 5 demuestre que
42
18. ​Con el resultado del problema anterior determine una serie cuya suma sea
?/8.
19. ​Aplique el resultado del problema 7 para demostrar que
20. Emplee el resultado del problema 9 para demostrar que
5.7 7.9
21. ​a) ​Emplee la forma exponencial compleja del coseno y del seno
22, . . . .
22. Aplique los resultados del problema 21 para hallar la forma compleja de la serie de Fourier
T.
SERIES DE
FOURIER DE COSENOS Y DE SENOS
∎ ​Funciones pares e impares
Weries de Fourier de cosenos y
H W Fenómeno de Gibbs
Desarrollos en mitad de intervalo
Funciones pares e impares ​El lector recordará que se dice que una
1,2,3, . . . ​b) ​Demuestre que
dey(x)
’
para demostrar que la ecuación (8) se puede expresar en la ​forma compleja
f(x) =
“=-m
en que
=
y ?=1+1+1+1+...
6
e-’ en el intervalo
CO
ftmciónfes
par ​si
=
cos-x =
aol2,
CO,
22
e-in”x/p

P 2​
c, =
c,,
c,, y
32
!!=1+1-L+L-L+... ​4 2
=
W Propiedades de las funciones pares
f(-x)
+j
(a,,
&nx/p +
de.senos
c+ de la parte a) se pueden expresar en la forma de integral
-T
rpf(x)e+n”x/P
-
ibJ2, y
​
<
=f(x), e ​impar ​si
1.3
x
e-innx/p
W’ucesión de sumas parciales
<
c,
3.5
’ ​P 2​ i
i
=
dx, n = 0,
c,e”“X’P,
(a,, +
​
sen-x =
ibJ2:donde ​n
kl,
e impares
e’“nx/p
f(-x) = -f(x).
_
=
450
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
a)f(x)
b)f(x)
f(x) -x ​X X
FIGURA 10.3 FIGURA 10.4
Como se ilustra en las figuras 10.3 y 10.4, la gráfica de una función par es simétrica con respecto al eje
y y la de una función impar lo es con respecto al origen.
Funciones pares e impares
Como
sen = -sen x, el coseno y el seno son función par e impar, I respectivamente. ∎​
Propiedades de las funciones pares e impares
~1 teorema que sigue menciona algunas propiedades de las funciones pares e impares.
DEMOSTRACIÓN DE
b) S​ upongamos quefy g son funciones impares. En ese caso tendremos que
f(x)g(x), e​ ntonces
W).
Esto demuestra que el producto
F de dos funciones impares es una función par. Las demostra- ciones de las demás propiedades se dejan como
ejercicios. (Problemas 45 a 49 de los ejercicios 10.3.) ∎​
f(-x) = -f(x) y g(-x) = -g(x). Si d fe mimos el producto de ​f y g ​como
=
=
cos =
2 es par
x3 es impar
+
fc-x),
F(-x)
FOURIER
Funciones pares e impares
cos
porquef(-x) =
porquef(-x)
xy
w
Y ​y =

=
f(-xM---4
)
.2
(-x)’
=
(-x)~ =
=
=
(--n4>c-&))
2
-x3
=f(x). Figura 10.3.
= -f(x). Figura 10.4.
=
fWg(x)
=
F(x)
=
I
451
Series de senos y de cosenos
(-p, p), entonces, en vista de las propiedades anteriores, los coeficientes de
(9), (10) y (ll) de la definición mencionada en la sección 10.2 se transforman en
J i​ mpar
En forma parecida, cuando ​f e​ s impar en el intervalo
=f\if(x)senyxdx.
Resumiremos los resultados en la definición siguiente.
Desarrolle ​f(x) ​=
SOWClbN ​Desarrollaremos ​f c​ omo una serie de senos porque al ver la figura advertiremos que la función es
impar en el intervalo
(-2,2). Hacemos que
Desarrollo en una serie de senos
a,=O,
​ 4, o ​p ​= 2, y podemos escribir la ecuación (5) como sigue:
2p =
x, -2
b, =
ao =
n=0,1,2
b
<
1
0 ​f(x) s​ en
x
jlf(x)
c 2 en forma de una serie de Fourier.
\
cos
,...,
6.
Sifes una función par en
=
7x
y
Sección 10.3 Series de

j-o’
x ​dx
x
dx =
sen?
b,
= 0.
;
(-p,
j;f(x)
x ​dx.
p),
cos
Fourier de cosenos y de senos
5
x
dx
10.5
452
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
w
La función
Desarrollo en una serie de senos
9
cuya gráfica se muestra en la figura 10.7 es impar en el intervalo
K y d​ e acuerdo con
*
Por consiguiente,
(6) ​∎
Convergencia a la extensión periódica
La función del ejemplo 3 satisface las condiciones del teorema 10.1; y en consecuencia la serie (6) converge
hacia la función en el intervalo
4), ilustrada en la figura 10.6.
FIGURA 10.6
-i<x<2
FIGURA 10.5
Integramos por partes para obtener
(5),
FIGURA 10.7
f(x)
=

+k++​ X

;
b
” ​n ​2
$
y=x,
n
f
=
(--lP+l ​- s e n
FOURIER
Y
4(--lY+l
na
(-2,2) y la extensión periódica (de periodo
EX.
(-T,
T). Si ​p =
N sea muy grande. A este compor- tamiento de una serie de Fourier cerca de un punto en el que ​f ​es
discontinua se le llama, ​fenómeno de Gibbs.
Desarrollos en mitad de intervalo ​En lo que va del capítulo hemos dado por supues- to que una función
f ​esta definida en
Cp-. ​Sin embargo, en muchos casos nos interesa representar, mediante una serie trigonométrica, una función
definida sólo para 0
x
(al
de modo que
~vl)nsennx.
Sucesión de sumas parciales ​Es interesante ver cómo la sucesión de sumas parciales de una serie de
Fourier se aproxima a una función. En la figura 10.8 se compara la gráfica de la
Sts, que tiene picos notables cerca de las discontinuidades en
sN, respecto a los valores de la función cerca de un punto de discontinuidad no se empareja, sino que
permanece bastante constante, aunque
un intervalo con el origen en su punto medio -esto es, que-p
L. Lo podemos hacer de muchas formas distintas si dando una d​ efinición a​ rbitraria de la
c 0. Por brevedad sólo describiremos los tres casos más importantes. Si
CL ​ , ​entonces
funciónfdel ejemplo 5 con las de las tres primeras sumas parciales de la ecuación (7):
,32(~n,+s~+s~).
La figura
i) Reflejar la
<x
S,=$enx,
< 0; ​la función ahora es par en ​-L
10.8d) muestra la gráfica de la suma parcial
grafica de la función respecto al eje
<
Sr=%
x
bn=$,;(l,
x = 0,
< L ​(Fig. 10.9)
Y
(b)
-1
’
f(x) =
(
senx+
x=
LL
+​
T,
sennx&
:
,j
x
2
y2),
x
FIGURA 10.9
Cd)
FIGURA 10.8
Sección 10.3 Series de Fourier de cosenos y de senos ​453
=
‘\\\
’
-?r, etcétera. Este “exceso” de las sumas parciales
fünción en el intervalo
-
el valor de
<x
=
21-
?i-
y = ​f(x) e​ stá definida en el intervalo 0
<
(cl
xx
-1
(-1)”
n
y, en ​-L
c
x
4
<x
<
454
CAPíTUlO 10 FUNCIONES
= ​x = 0 a
Lop= ​
~610 se utiliza la definición de la función en 0
< ​p). ​Por esta razón, en la práctica no hay necesidad de reflejar como se describió en
~610 identificamos la mitad del periodo, o semiperiodo, como la longitud del intervalo ​p = L. T ​ anto las
fórmulas
danuna extensión periódica par o impar, de periodo
< 0 con los del intervalo 0
L. Como en los dos casos anteriores, no hay necesidad de hacerlo. Se puede demostrar que el conjunto de
funciones en la ecuación (1) de la sección 10.2 es ortogonal en
2p ​para todo número real
def, con periodo ​L. ​De esta manera los valores hacia los que converge la serie serán los mismos en ​-L
función original. Las series de cosenos y senos que se obtienen con este método ​se ​llaman ​desarrollos en
mitad de intervalo. ​Por último, en el caso ​iii), ​igualamos los valores funcionales en el intervalo ​-L
-p, ​obtendremos los límites de integración en las ecuaciones
O<x<L.
Desarrollo en tres series
Desarrolle ​f (x)
c) ​a) ​En una serie de cosenos
en una serie de Fourier.
SOLUCIÓN ​En la figura 10.12 vemos la gráfica de esta
<
tambi6n iii) Defmafen
L) (Fig. 10.11).
Obsérvese que en los coeficientes de las series (1) y (4)
L/2. ​La serie de Fourier que resulta dará la extensión periódica
x
ii) Reflejar la gráfica de la función respecto al origen, en
<
x=
< 0; la función viene a ser impar en
(9), (10) y (ll) de esa sección. Pero cuando
FOURIER
Y
-L
(2), (3) y (5) de los coeficientes como las series correspondientes
2p. ​Así, si ​f e​ stá definida en el intervalo 0
+-P- ​ .

<x
=
\
\,/’
ORTCGONALES
x2, 0​
c ​p (​ esto es, la mitad del intervalo
L)
FIGURA 10.10 FIGURA 10.11
-L
L
,/ ​
<
<
-L
x
x
C 0 como@)
a. Si elegimos
<L ​ ,
<
b) ​en una serie de senos
x
Y SERIES DE
C
L (Fig. 10.10) o
x
2L como

Jíí-- ​ L

?‘t
=f(x +
a=
x
FIGURA 10.12
y=x*,o<x< L
i) y en
-p
ii). Si se define ​f ​en 0
<
<
u = 0, los límites de integración son de
x
x
función.
< ​L, p​ odemos identificar
-LL
r:
-L
<
,’
fc4 =
,/-\
<
x
x
\
Y
f(x +
<x
<
a
< ​L, t​ an
x
x
I
2p
< 0 ​que en
x
I
a+
c) Hacemos ​p
a) Partimos de
2L
b) En este caso
(10)
Las extensión series
impar de período ​2L d​ e ​f d​ ef, la
y la extensión periódica de período ​L
def, respectivamente. En la figura 10.13 vemos las gráficas de esas extensiones. ​∎
$/~x2sen~,dx.
Después de integrar por partes llegamos a
ll-
Por consiguiente ​f(x) =
I
e, integrando por partes, ​L
2L
’ ​Entonces
-5.
Por lo que
a, =
(8), (9) y (10) convergen hacia la
L
-​
=
I
Lf2; e​ ntonces,
0
X2COS+X
a, =
b,
a0=¿
=
llp
Ts
b
- IL
ao =
$/rx’senFxh
22
2L
2
=--
=
b, =
n-
=
I
_
4L2( -1)”
L
0
o
Lx2&=2
2fL ​y
=
2L2(
-
L
n77
n2a2

1​
0 L 0​ ​ L

4
{y +
Lx2seriyx

[
+
ox2dx=$L2
Seccibn 10.3 Series de
rm
ndp =
​
-LXCC+
-1)n+l +
n?T
sL
extensibn periódica par de período ​2L
na
PnnlL. ​Entonces
& [(-1)”
gg
4L2
=
1277
--
2L
n7r
 1
0 L 0​ ​

ll-1)”
I
-
nlr
Fourier de cosenos y de senos
L
L
xsen-xdx
-
-
I
l]}seny
LcosK.dx
x.
455
UV
(9)
456
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
Founer
FIGURA 10.13
Fuerza de impulsión periódica ​En ocasiones, las series de
Fourier sirven para deter- minar una solución particular de la ecuación diferencial que describe a un sistema
físico en que la entrada, o fuerza de
impulsiónf(t), es periódica. En el siguiente ejemplo llegaremos a una solución particular de la ecuación
diferencial
representando primerofpor el desarrollo en serie de senos y en medio intervalo
f(t) =
b.senyt
para después suponer que una solución particular tiene la forma
n=l
Solución particular de una ecuación diferencial
En un sistema no amortiguado de resorte y masa en que la masa es ​m = ​
i slug y la constante del resorte es
2,f(t), ​impulsa a la masa y la gráfica defse ve en la figura 10.14. Aunque la
> 0, si se prolonga la gráfica de la función hacia la parte negativa del eje
k=4
‘\
I\
lb/ft, una fuerza externa de periodo
í\ \
\,,y ,
r - 4 L - 3 L - 2 L - L L 2L 3L 4L
III,
f
‘\
\-,
xp(t) =
,’ ,
x ​a)
Serie de cosenos
c) Serie de
fuerzay actúa sobre el sistema cuando
í
b) ​Serie de senos
A ​\
\
‘1 ​
\
FQURIER
Y
2
\-
t
B,
2
sen:
lf ,
III
\
La,’ ,
t.
/
/‘\
’
\
\,,p
t para que su periodo sea 2,
t
(12)
2 1 para el cual el denominador -de
f(t) ​de la fuerza impulsora en serie de Fourier contiene un término
​ ourier de cosenos y de senos ​457
I 0.3 Series ​de F
obtenemos una
funciónimpar. En la práctica esto significa que basta determinar el desarrollo en serie de senos y en medio
intervalo
1, entonces, de acuerdo con (5) e integrando por partes, llegamos a
2(-1)nt1. ​n
FIGURA 10.14
Según la ecuación (1
(13)
Para llegar a una solución particular
(13), sustituimos en ella la ecuación (12) e igualamos los coeficientes de sen
n2rr2)’
Por consiguiente
n2?, s​ ea cero. En general, cuando sí hay un valor-de ​n, digamos q
​ ue sea N, para el que
G, el estado del sistema que describe la ecuación (ll) es de resonancia pura. En otras palabras, se presenta
resonancia pura si el desarrollo de la función
cos(Nr/L)t) ​que tenga la misma frecuencia que la de las vibraciones libres.
Naturalmente, si la extensión de la fuerza impulsorafcon periodo
2p ​sobre el eje negativo de
par,fse puede desarrollar en una serie de cosenos.
Las respuestas a los
preblemas nones se encuentran en el apéndice de respuestas.
En los problemas 1
cosx 1. f(x) = 3. f(x) =
4x 5. f(x) =
B,,, q
​ ue es 64
td
​ a como resultado una función
(14) ​∎
Observamos que en la solución (14) no hay un entero ​n
-?gnW 1 ​ 4
​ +
Nrip
x2 +
e'"' 6. f(x) =
sen3x ​2. f(x) =
-
x 4. f(x) =
= w, donde w
a 10 determine si la función es par, impar o ninguno de esos tipos.
l), la ecuación diferencial del movimiento es
1
B, =
$%+4x=c
b, = 2
2(-1)n+*
=
xp(t) ​de la ecuación
def(r)
j-o
rtsennnt dt =

12
n?rt. A
​ sí obtenemos
Sección
n=l ​n
m
=
,,
w)n+lsennat
nt, 0
sea
<
B,
x
x3
Ix51
t
< 1. Conp =
%
-
- n(64
32(-1)“+1
sen(Nr/L)t (o
458
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
- ​1
Desarrolle cada función de los problemas ll a 24 en
< 2 En los problemas 39 y 40, proceda como en el ejemplo 7 y halle
< a​ l2 ​En los problemas 25 a 34, halle los desarrollos en series de cosenos o senos, en medio intervalo, de la
-x),OCx<2
Desarrolle la función de ca& uno de los ejercicios 35 a 38 como serie de Fourier.
35. ​f(x) =
una solución particular de la ecuación (11) cuando m ​ ​= 1,
impulsoraf(t) es la especificada en ambos casos. Suponga que
t ​en forma periódica, la función que resulta es impar.
39. ​f(t) =

-?rT<x<o ​ll. f(x) =

l<x<2 ​13. f(x) =
14.f(x)=x,-15<x<?r 15. f(x) =
< 1​ ​17. f(x) =
-Ir 21. f(x) =
2ff ​36. f(x) = x, 0
77 ​37. f​ (x) =
< 1 38. f​ (x) = ​2
2n) ​= f(t)
40. ​f(t) =1
li-
19.
nsx<2rr
23. f(x) =
funcion respectiva.
1,
25. f​ (x) = ​
ISxCl 27. ​f(x) =
SI2 ​29. ​f(x) =
aIx<27r
31. ​f(x) =
11xC2 33. ​f(x) =
-2<x<O ​7. f(x) = 01x<2
​ 9. f(x) =
f(x) =
{
x3, 0
{
x2 + x, 0
1
l
cos
x2, 0
x+1 ​ ,0
I ,
cuandof(t) se prolonga hacia el eje negativo de
Isenxl,
x,
{​
oct<n ​-5,
1x1,
;;
8. f(x) =
-x2, ​

-1,
Tr2
-;
ocx<a 0 ,
”
P
O<x<l 1 ,
-
5,
x*, ​-1
- t, 0
x29
1
1,
1:
-
x, ​0
-
)
x, 0
-?r
5
;?
x,
<
x2,
26. f(x) =
irx<l ​
-y
x
<
n<t<2?7
-2<x< -1
-lrx<O
-1~
<
<
x
<
Orx<n
5 2 ​10. f(x) =
OSx<l
x
-a<xKO
l<x<2
c
-?7
7r 0
RI2
<t
x
<
-C
C
x
 20. f(x) = ​
O~X<?r ​ x-l
x
c
<
<
x
< 1 ​16. f(x) =
<
x
x
C
<
5
x
​ ​34. f(x) = x​ (2
<1
x
< 2​ ; ​f(t + ​2) ​= f(t)
k = 10 y la fuerza
VT
~12
<
x
xc
<
;
y
<
B
f(t ​+
30. f(x) =
ll ​
7r 18. f(x) =
12. f(x) = 0, -1
22.
24. f(x) =
28. f(x) =
FWRIER
f(x)
senx, 0
21x1
x
{
I’a serie de cosenos o senos adecuada.
l
1
l

1
cos
~1x1, -1
=
‘L
3,
-x
1,
x + 1,

0,
-n,

O<xCi ​1 ,
x + 5,
-Ir
71,
x,
+.5,
x,
-2<x< -1
3
-al2
<
-2sCx-C
<
<
-nsx<a
<x
x-c
-l<x<O
o<x<lr
x
x
Ozsx<l
<
<
<1
x
f(t) dada en los problemas 41 y 42. Suponga que
Sección 10.3 Series de Fourier de cosenos y de senos ​459
Halle una solución particular de la ecuación (ll) con
cuandof(t) se prolonga a valores negativos de
I en forma periódica, la función que resulta es par. ​41. f(t) =
9
44.
45.
46.
47.
48.
49.
50.
51.
L. Suponga que una viga uniforme de longitud Cuando la carga por c ​L, ​la ecuación diferencial ​de la flecha

(desviación) y(x) de esa viga es

​ , I ​y
en que E

(4), sección 5.2.) a) Desarrolle w(x) en forma de una serie de senos en medio intervalo. ​b) E​ mplee el
metodo del ejemplo 7 para hallar una solución particular-y(x) de la ecuación diferencial. Siga el método del
problema 43 para encontrar la deflexión, y(x), cuando
w(x) es la que aparece en la figura 10.15.
’
FIGURA 10.15
Demuestre la propiedad a) en el teorema 10.2.
Demuestre la propiedad c) en el teorema 10.2.
Demuestre la propiedad d) en el teorema 10.2.
Demuestre la propiedad
f) en el teorema 10.2.
Demuestre la propiedad g) en el teorema 10.2.
Demuestre que cualquier
ftmciónfse puede expresar como una suma de una función par y una función impar.
Sugerencia: ​aplique la identidad

2 ​2 ​
1
Forme la serie de Fourier de
2nt
-
we son constantes. (Vea la ecuación
t*, 0
;ztt=:;
unidad de longitud es
<t
c
27r;
wo
f(t +
f(x) =
f(t +
1) =
+f(-x) f<x> ;
{X
Ll3

11​IIIIII I I I
24 = f(t)
7
f(t)
w(x) =
L está simplemente apoyada en
f(x)
-7i-<X<O
2Ll3 L

OIx<?r
m
wg
=
x/L, ​0
f,
-f(-XI
k
= 12 y la fuerza de impulsión,
c
c
x
x
=0yx
=
460
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
x/2 son par e impar, respectivamente, en ese intervalo (vea el problema 50). 52. La ​doble serie de ​senos para
una
T.
53. ​La ​doble serie de ​cosenos para una
cos~xcos~y,
donde
8 Valores propios
W Problema singular de Sturm-Liouville
Iineal de segundo orden ​∎ ​Relación de ortogonalidad
Repaso ​Por conveniencia, repasaremos aquí algunas de las ecuaciones diferenciales, y sus soluciones
generales, que
I 1.
EL PROBLEMA DE STURM-LIOUVILLE
W Forma autoadjunta de una ecuación diferencial
ii) ​Ecuación lineal de segundo orden: y” + Ay = 0,
FOURIER
empleando la
T y los resultados de bos problemas 13 y 14. Observe que
i) Ecuación lineal de primer orden: ​y’ +
OIxSb,OlyIc,es
en donde
~lulu”f(x,y)sen~xsennC-ydxdy.
Halle la doble serie de senos
OIx<b,OlyIc,es
cosnl;lixcosyydxdy.
Forme la doble serie de senos
k es constante. Solución general: y =
> 0. ​Solución general: y =
identidadf(x) =
y.fünciones propias
f(x,
IxI/ y
A,, =
fk~)=%b
Y) ​=
Amo =
&=1
A,,=2
se& importantes para las secciones que siguen.
cl
AYJ +
cle*
+~~Amn
cos
def(x, y) =
;
bc
bc~~~~f(X.Y)coS~ydXdy
m=l
def(x, y)
([XI+
Cix +
m=l
j-i
,-;
W Problema normal de Sturm-Liouville
n=l
m=l

2
j-u
,-;
n=l
A
x)/2,
f(x, y)
f(‘?
fhciónf(x, y), definida en una región rectangular
,,cos~x +
c2 sen
= xy, 0
funciónf(x, y), definida en una región rectangular
,.senI-xseny
1,O
Y)
-T
cos
Ix
ky = 0;
dx
Gix
b
<x
b
Ix
dy
y
I
-C
T, 0
x
I
iA,cosyy
n=l
dx dy
1,O
Iy
X
Iy
y,
I
H Propiedades
sen(nîrx/L), o simplemente y =
*
Las funciones ortogonales suelen surgir al resolver ecuaciones diferenciales. Además, se puede generar un
conjunto ortogonal de funciones al resolver un problema de valor de frontera con dos puntos, donde intervenga
una ecuación diferencial de segundo orden que contenga un parámetro
X.
Valores propios y funciones propias (eigenvalores y eigenfunciones) ​En el ejemplo 2 de la
sección 5.2 vimos que las soluciones al problema de valor en la frontera
y” + Ay = 0,
(1)
no son triviales sólo cuando el parámetro
n=l,2,3,.. . y sus soluciones no triviales correspondientes, y =
sen(n?rx/L) se llaman, respectivamente, ​valores propios y funciones propias ​del problema. Por ejemplo,
*Infinito:
Sturm-Liauville ​461
iii) ​Ecuación lineal de segundo orden:
semiintinito, y que se usa la forma hiperbólica cuando el dominio de x es un intervalo finito. ​iv) E
​ cuación de
Cauchy-Euler:
c2 ​In x
v) Ecuación
O+. v​ i) E
​ cuación diferencial de Legendre:
(1
> 0. ​La solución general de esta
qefi”
Debe hacerse notar que, en la práctica, con frecuencia se emplea la forma exponencial cuando el dominio de
= 0 ​Solución general:
czY,(x11) Es importante que el lector reconozca el caso de
csYo(Xr) Recordemos que
x*y”+Xy’+(X*x*-n*)y=O,n=0,1,2,...
Solución general: y =
la ecuación diferencial de Bessel cuando n
x*xy = 0.
Solución general: y
1,2, . . .
Las soluciones particulares son los polinomios de Legendre y = P,(x), en donde
(-,
-);
semiinfínito:
= 0:
xy” + y’ +
paramktrica de Bessel:
Y,(h)
Po(x) = 1,
-
(-,
X
X = 0: y =
=
x)2y”
# 0: y =
x es un intervalo* infinito o
c&(xX) +
c&(xX) +
+
01, (1,
ecuacion diferencial tiene dos formas reales:
y=
fix y =
- 2xy’ + n(n +
-m cuando
x’y” + xy’
cl
qe-fi~ +
Pt(x)
-), etcétera.
ctx
cl +
cosh
’+
=x,
X adopta ciertos valores. Los números
y”
6+
c2x-’
y(O)
x
P*(x)
- Ay
-
I)y = 0, n = 0,
+
X*y
Sección 10.4 El problema de
= 0, y(L) = 0
c;,senb
=;
= 0,
(3x2
X
-
11,
cs
-
*
X=
n*&L*,
462
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE FOURIER
0.
Para nuestros fines en este capítulo es ​importante reconocer que ​el ​conjunto
L] que se usa como base para la serie de Fourier de senbs.
Valores propios y funciones propias
Se deja como ejercicio comprobar que los valores propios y las funciones propias del problema de valor en la
frontera
(2)
son, respectivamente,
# 0. En contraste con las ecuaciones
= 1 es la función propia correspondiente. Esto último proviene de resolver y” = 0 sujeta a las mismas
condiciones en la frontera, y’(O)
cos(nm/L) ​si permitimos que n ​
1,2,3, . . . es ortogonal en el intervalo [0,
L] y se usa en el desarrollo de Fourier de cosenos para funciones definidas en ese intervalo. ​∎
Problema normal de Sturm-Liouville ​Los problemas de valor en la frontera en las ecuaciones (1) y (2)
son casos especiales del siguiente problema general:
1,2, 3, . . . es el conjunto ortogonal de funciones en el intervalo [0,
homogdnea, el problema de Sturm-Liouville tiene siempre la solución trivial
y ​p(x)
pZ son cero ambas.
Como la ecuación diferencial (3) es
Seanp,
0 (5) ​se llama ​problema normal de Sturm-Liouville. ​Los coeficientes en las ecuaciones (4) y (5) se suponen
reales e independientes de
(~2 ​y
> 0 para todo
q, r ​y r​ ’
y”+,
y(O) =

y”:_-jy = 0 ​la solución es y

,-C-
= 0 y que
1’
‘,L
X=
(l),
/--\
0,
$unciones de valor real continuas en un intervalo
x en el intervalo. El problema de valor en la frontera con dos puntos
Resolver:
Sujeta
9n
4
Cd/ ​L
no es un valor propio
y”
l​valor
X
nV!L’, n = 0,
Y(L) ​=
la solución es
/​
= 0 es un valor propio de este problema y
y = 0. Sin embargo, esta solución carece de interés para nosotros.
‘;y=o
-l- Ay = 0, y’(O) = 0, y’(L) = 0
CI
a:
= 1. El conjunto
= 0, ​y’(L)
proplo
cqy(a) +
0
-$ [r(x)y’] + (q(x) +
WY(b) +
i
1
1,2, . . . y
= 0; pero se puede incorporar en
Bly'(a) = 0 ​(4)
BzY’@) =
{
cos(mx/L)}, ​n
X. Además,
y
y=sen3A.-
=
hp(x))y = 0 ​(3)
=
CI
i
cos(ndL),
i
= 0,
crl y
solución trivial
función propia
’
PI no son cero ambas ni
[u, b],
y
CI
y=
{
y sean r(x)
sen(ndL)} ,
>0
n=
X (los valores propios) y soluciones
y’ igual a cero en un punto) también son ​homogéneas. ​Las dos condiciones en la frontera de los ejemplos 1 y 2
(este último mas adelante), son homogéneas; una condición en la frontera como
​ omogénea. ​Naturalmente, se dice que un problema
Pr/(a) = c, cuando la constante c es distinta de cero, es no h
de valor en la frontera que consista en una ecuación diferencial lineal homogénea y condiciones
homogeneo; de no ser así es no homo- géneo. El problema de Sturm-Liouville expresado en las ecuaciones (3)
a (5) es un problema homogéneo de valor en la frontera.
Propiedades ​El teorema 10.3 es una selección de las propiedades más importantes del ​problema normal de

Sturm-Liouville. Sólo demostraremos la última.

DEMOSTRACIÓN DE d) ​Sean
(8)
Ahora bien, las funciones propias
problema ​de S​ turm-Liouville ​463
Como en el ejemplo 1, al resolver uno de estos problemas tratamos de buscarnúmeros
crv(a) +
y,, las funciones propias que corresponden a los valores propios
(7)
Al multiplicar la ecuación (6) por
[r(x)yA!].
Integramos por partes este resultado, desde
yyn deben satisfacer, ambas, las condiciones en la frontera (4) y (5). En particular, de acuerdo con (4) tenemos
que
X (las funciones propias). ​Las condiciones en la frontera en las ecuaciones (4) y (5) (combinación lineal de
X, y
(Am
X,,, respectivamente. Entonces
-
(Am
4J
-
~~P(~Y~~Y.
homogeneas en la Contera es
AJP(4YmYn = Ym
2
g
y no triviales que dependan de
wMJ +
[#)YLl +
JJ,,, y
yn y la ecuación (‘7) por
y,,,
dx =
W) +
x=
(4W +
r(b)b,db)yNf’b)
-
2
r@>[yda>yXa>
a hasta
[r(xMl
Sección 10.4 El

klP(~))Ym ​=
kIPW)Yn =
x = ​b, y l​ legamos a
-
Yn
ym,y restar los resultados se obtiene
-
g
Yn(b>Y,‘db>l
-
0
0.
r,,(~>~:l~(~)l.
yy
(6)
464
CAPíTUlO 10 FUNCIONES ORTOGONALES Y SERIES DE
FOURIER
Para que
Pt satisfagan este sistema, no nulos simultáneamente, el determinante de los coeficientes debe ser igual a cero:
0.
Aplicamos un argumento semejante a la ecuación (5) y obtenemos
0.
Como los dos miembros del lado derecho de (8) son cero, hemos establecido la relación de ortogonalidad
Un problema regular de
Sturm-Liouville
Resuelva el problema de valor en la frontera
y” + Ay = 0,
(10)
SOLUCIÓN ​El lector debe oomprobar que para
X = 0, el problema planteado por la ecuación (10) sólo posee la solución trivial
> 0, la solución general de la ecuación diferencial es
= 0 implica que en esta solución
flx, se satisface la segunda condición en la frontera
X.4 = 0.
Con
-ti.
Si hacemos que
6, entonces vemos que la figura 10.6 muestra la factibilidad de que exista una cantidad
c2
+ 0, tendremos que esta ultima ecuación equivale a
tan
(~1 y
y( 1) +
x
=
mfmita de raíces de la ecuación tan
y’( 1) = 0, siempre que
y=
CI = 0.
c2 sen
cl
Ym@)YX~>
Y&)YXU)
cos
Cuandoy =
VT¡ +
Gx +
y(O) = 0, y(l) + y’(l) = 0.
x
FIGURA 10.16
ti =
-
-
c22/h
c2 sen
Yn(U>YfxU) =
Yn@)YAl(~) =
c2 sen
X
-x. Los valores propios del
= tan
y = 0. Cuando
cos
< 0 y para
fix. Ahora bien, la condición
x=
X
y(O)
El problema de Sturm-Liouville ​465
problema (10) son, entonces,
y4
x,,, n = ​1, ​2, 3, . . . ​son las raíces ​positivas ​consecutivas. Con ayuda de un sistema de computación (SAC) se
demuestrá con facilidad que, redondeando a cuatro decimales,
x4 = 10.0855, y que las soluciones correspondientes
2,3,. . . ​Al identificar
1,2,3, . . . es un conjunto ortogonal con respecto a la función peso ​p(x) ​= 1 en el intervalo [0,
= ​b.
De paso, observamos que un problema de Sturm-Liouville es singular cuando el intervalo que se considera es
infinito. Véanse los problemas ll y 12 de los ejercicios 10.4.
Forma autoadjunta ​Si los coeficientes son continuos y
pZ = 1, vemos que la ecuación (10) es un problema regular de Sturm-Liouville. Así, {sen
11. ​∎
En algunos casos se puede demostrar la ortogonalidad de las soluciones de (3) sin necesidad de especificar una
condición en la frontera en
r(a) = ​r(b) = 0, ​el problema de Sturm-Liouville que consiste en
Ia ecuación diferencial (3) y las condiciones (4) y (5) en la Contera es un problema ​singular. ​En el primer
caso,
a puede ser un punto singular de la ecuación diferencial
y, en consecuencia, una Solución de la ecuación (3) puede crecer sin límite cuando
= 0 no se necesita condición en la
u para demostrar la ortogonalidad de las funciones propias, siempre que esas soluciones sean acotadas en ese
punto. Este requisito garantiza la existencia de las integrales que intervinieron. Suponiendo que las soluciones
de la ecuación (3) son acotadas en el intervalo cerrado [u, ​b], p​ odemos afirmar que
​ i
i) S
x en algún intervalo, cualquier ecuación diferencial de segundo orden
hd(x))y = ​0
se puede llevar a la llamada ​forma autoadjunta, ​ecuación
(3), si se multiplica por el factor integrante
(12)
Para comprobarlo, observemos que la ecuación diferencial
x = ​b.
Problema singular de Sturm-Liouville ​Si
a(x)
*Las condiciones
= sen 10.0855~. En general, las funciones propias del problema son {sen
x = ​b* iii) S ​ i r(u)
ii) ​Si ​r(b) ​= 0, la relación (9) de ortogonalidad es válida sin ninguna condición en la
frontera en
= ​r(b) = ​ 0, la relación (9) de ortogonalidad es válida sin ninguna condición en la frontera, en
= 0, la relación (9) de ortogonalidad es válida, sin ninguna condición en la frontera en
r(u)
ef(bio)d.~y” +
i) e
fròntera en
ii) ​equivalen a elegir
r(x) = 1, ​q(x)
x=
x
u
a(x ​+ b(x)y’ + (c(x) +
x=
b(x)
+
ao
X, =
u ni en
x=
u. Sin embargo, de acuerdo con
eJ(bWd*y’ +
= 0, p(x)
(Y, = 0,
xn2, donde
XI = 2.0288,
sony] = sen
x
-
0
/$
(XI
1
=0
= 1​ ,
x
c(x)
el(hw~l(r~)dr
y
=
~22 = 0,
QI= 1,
x2 = 4.9132,
2.0288x,y2 = sen
a y en
&hla)dx +
Sección 10.4
/I$ = 0, respectivamente.
r(a) = 0, o ​r(b) = 0 o ​si
/31 = 0,
A
i$
xg = 7.9787 y
(S), si r(u)
CQ = 1,
u(x)
ax}, ​n =
&bWd+
4.9132x,y3 =
x=
f 0 para todo
y
Gx}, ​n = ​1,
=
0
7.9787x y
466
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
2y” + xy’ +
FOURIER

es la misma que​Ecuación paramétrica de Bessel

En la sección 6.4 explicamos que la solución general de la ecuación
c2Yn(xX). De acuerdo con la expresión (12) nos encontramos con que
ecuacih de Bessel por ese factor obtenemos la forma autoadjunta
y = 0,
en que podemos identificar
X2. Ahora bien, r(O)
., es ortogonal con respecto a la función peso
Aj,
siempre y cuando los valores
., se definan mediante una condición en la frontera en x =
&W(Ab) = O.* ​(13)
Para cualquier elección de
pZ, que no sean cero a la vez, se sabe que la ecuación (13) tiene una cantidad
​ n el siguiente capítulo abundaremos sobre
xdb. E
legendre
Los polinomios de Legendre,
P,(X), son soluciones acotadas de la ecuación diferencial de Legendre (1
-2xy’+n(n+l)y=O,n=0,1,2,...,enelintervalo[-1,1].Apartir de la forma autoadjunta
1)y = 0
vemos que
= 0. Así, de acuerdo con
= 0, de acuerdo con ​(iii) ​deducimos que el conjunto {P,(x)},
1,2, , . . es ortogonal con respecto a la función peso p(x) = 1 en [-1,
n. ∎​
*El factor adicional de
p(x) = x en un intervalo [0, b]. La relación de ortogonalidad es
= 0 y de las dos soluciones,
r(x) = 1
-
(AY
2)~”
i), el conjunto
16s valores propios. ​∎
Ecuación de
infiita de raíces
X se debe a la regla de la cadena:
-
-
6, ​del tipo
r?)y = 0,
2, ​q(x) = 0, p(x) = ​1 y
CQ y
T(X) =
p?opios,
{J,&Iix)},
I
0, b ​0
aJ,,(hb) +
-g
I
n = 0, 1, 2, . . . es y =
xJ,(hiX)J~(hjX)
-$ [xy’] +
1,
X, ​q(x) ​=
[(l
P,(x)P,(x)
xi =
11. La relación de ortogonalidad es
-
Xi, ​i ​=
J,(h) y
i=
x2)y’]
Xib, d​ e donde despejamos a
1,2,3,. .
-F?/x, a
(AZ,
1,2,3, . .
(aM)J,,(h) =
lh es un factor integrante. Al multiplicar la
X=
+
dx
Y,(h),
U!X
-
n(n +
n(n + 1). Al observar que r(-1) =
=
;)
=
n = 0,
p(x)
0,
~610 J,(h) es acotada en
c&(h)+
m
=
hi
XJ,,‘(k).
f
xy
f
X se sustituye por
Ai
param6trica de Bessel
=
x
r( 1)
467
Las respuestas a los problemas nones se encuentran en el apéndice de respuestas.
En los problemas 1 y 2 halle las funciones propias y la ecuación que define los valores propios de cada
problema de valor en la frontera. Con un sistema algebraico de computación (SAC), calcule el valor
aproximado de los cuatro primeros valores propios, X4. Proporcione ​las funciones propias que corresponden a

esas aproximaciones.
1.
X2, los dos primeros valores propios, respecti- vamente. ​10. a) ​Establezca una relación de ortogonalidad para
el problema 2 de Sturm-Liouville.
b) ​Compruebe la relación de ortogonalidad para las funciones propias
Ay = 0, y’(O) = 0, ​y(l) ​+ ​y’(l) = 0 2​ .
y(O) + y’(O) = 0, y(l) = 0 3. Se tiene la ecuación y” +
4, Se tiene la ecuación y” +
L], es la base de las series de Fourier.
5. Encuentre la norma cuadrada de cada función propia en el problema
1.
6. Demuestre que, para las funciones propias del ejemplo 2,
61.
7. a​ ) ​Halle los valores y funciones propios del problema de valor en la
x2y” + xy’ + Ay = 0, y(l) = 0, y(5) = 0.
b) ​Exprese la ecuación diferencial en la forma autoadjunta. c) Establezca una relación de ortogonalidad. 8. a​ )
Encuentre los valores y funciones propios del problema de valor en la frontera
y(O) = 0, y(2) = 0.
​ xprese la ecuación diferencial en la forma autoadjunta. c) Establezca una relación de ortogonalidad. 9. ​a)
b) E
DB una relación de ortogonalidad para el problema 1, de Sturm-Liouville.
b) ​Con un SAC compruebe la relación
y” +
y” ​+ Ay = 0,
Xy = 0, sujeta ay’(O) = 0, y’(L) = 0. Demuestre que las funciones
propias son
= y(L),
L], es la
base de la serie de Fourier de cosenos.
L’
Este conjunto, que es ortogonal en
.de ortogonalidad para las funciones propias como apoyo,
y2 que corres- ponden a
X2, los dos primeros valores propios, respectivamente, con un SAC como ayuda.
y’(-L) ​= y’(L). Demuestre que las funciones propias son
1
yt y
1,
1​
XI y
cos
~2, que corresponden a
9
cos-X
z
y” + y’ + Ay = 0,
X,
L’
cos
Xy = 0, sujeta a las
]]sen*x112 =
co&
$
X, . . .
L’... ,
[-L,
. Este conjunto, que es ortogonal en [0,
1​
XI y
i
[l +
senEx
Sección
condicion9s periódicas de frontera
L’
cos
sen-x
10.4 El ​problema de
XI,
X2,
Xs y
frontera
yr y
~tutm-~iouville
y(-L)
468
CAP’hUlO 10 FUNCIONES ORTOGONALES Y SERIES DE
Ia, ecuación en su forma autoadjunta y deduzca una relación de ortogonalidad. 13. Se tiene el problema normal
de Sturm-Liouville
W Conjunto ortogonal de polinomios de Legendre ∎​ ​Serie de Fourier-Legendre ​∎ ​Convergencia d​ e una serie de
Fourier-Legendre
La serie de Fourier,
I’a serie de Fourier de cosenos y la serie de Fourier de senos son tres formas de desarrollar una función en
tkrninos de un conjunto ortogonal de funciones. Pero esos desarrollos de ninguna manera se-limitan a
conjuntos ortogonales de funciones trigonométricas. En la sección 10.1 vimos que una
(u, b), se puede desarrollar, cuando menos formalmente, en términos de cualquier conjunto de funciones
[u, b]. Muchas de estas llamadas series genera- lizadas de Fourier se originan en problemas de Sturm-Liouville
planteados en las aplicacio- nes físicas de ecuaciones (diferenciales en derivadas parciales) lineales. Las series
de Fourier
FOURIER
ll. ​La ​ecuación diferencial de Laguerre,
6 y a continuación aplique la regla de la cadena.] ​b) ​Establezca una relación de ortogonalidad. 14. ​a) ​Encuentre
las funciones propias y la ecuación que define los valores propios del
problema de valor en la frontera
x4.
Problema para discusión
15. Veamos el caso especial del problema regular de Sturm-Liouville en el intervalo
ies un valor propio del problema? Respalde su respuesta.
SERIES DE BESSEL Y DE LEGENDRE
∎ ​Conjunto ortogonal defunciones de
Bessel ∎​ ​Serie de Fourier-Bessel ∎​ ​Relaciones de recurrencia diferenciales
H Convergencia de ​una s​ erie de Fourier-Bessel
{I&(X)} que es ortogonal con respecto a una
., tiene soluciones polinomiales
L&c). Escriba la ecuación en su forma autoadjunta y deduzca una relación de ortogonalidad. ​12. ​La ​ecuación
diferencial de Hermite, y”
1,2,. . . tiene soluciones polinomiales
y(O) = 0, y(l) = 0.
a) ​Halle los valores y funciones propios del problema de valor en la frontera. [Sugerencia:
permita que
x = 0, y​ (3) = 0.
b) ​Con la tabla 6.1 halle los valores aproximados de los cuatro primeros valores propios,
X=0
Al,
AZ,
x2y” + xy’ +
x3 ​Y

H,(x). Escriba
&
x = tan
g
[(l +
[r(x)y’] +
(X2x2
x”)y’] +
-
funcion peso en
1)y = 0, y está acotada en
funciónf; definida en un intervalo
Ap(x)y = 0, y’(u) = 0 y’(b) = 0.
&
W Formas de la serie de Fourier-Bessel
-
xy” + (1
y = 0,
2xy’ +
2ny = 0,
-
x)y’ + ny = 0,
n = 0,
n = 0, 1, 2, . .
[u, b]:
fdehida en (0, b), en términos de este conjunto ortogonal es
en donde
Sección 10.5 Series de Bessel y de Legendre ​469
y las series generalizadas de Fourier, al igual que las dos series que describiremos en esta sección, reaparecen
en consideraciones subsecuentes de estas aplicaciones.
10.5.1 Serie d ​ e ​Fourier-Bessel
En el ejemplo 3 de la sección 10.4 vimos que el conjunto de funciones de Bessel
(1)
De acuerdo con (7) y (8) de la sección 10.1, el desarrollo generalizado de Fourier de una función
(3)
La serie (2) con coeficientes definidos por la ecuación (3) se llama ​serie de Fourier-Bessel.
Relaciones diferenciales de recurrencia ​Estas relaciones, que aparecieron en (15)
y (14) de la sección 6.4, son
(4)
(5)
y se usan con frecuencia para evaluar los coeficientes con la ecuación (3).
Norma cuadrada ​El valor de la norma cuadrada
b] i=l,2,3,. . . , es ortogonal con respecto a la función
cuando se definen los valores propios mediante una condición en la frontera
uk depende de cómo se definan los valores propios
J,(Ax), según el ejemplo 3 de la sección 10.4 sabemos que
;) y = 0.
Después de multiplicarla por
yl2 = 0.
Integramos por partes esta ecuación, en [0,
2A2
2
2xy’, esta ecuación se puede escribir como sigue:
aJ,(hb) +
/oxy ​dx =
&
[xy’12 +
$
[x-n&(x)]
Xi. Si
[xy’]
(A2x2
+
y
&Lqhb) = 0.
b] y obtenemos
([xy’12 +

(
=
=
-
A2x
-x-nj,+l(x),
n’)
-
$[
pesop(x)
(A2x2
llJ,,(Xix)112 =
-
n’)y’)lb
n
=x en un intervalo [0,
J,bxJ”2(Xix)
{Jn(Xix)},
470
FOURIER CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
En vista de que y =
n = 0, la cantidad
(6)
en que hemos aplicado y’ =
W,‘(k). ​Pasaremos a describir tres casos de la ecuación (1).
CASO
J,,(Ab) = 0. ​(7) ​Hay una cantidad infinita de raíces positivas,
6.2), de modo que los valores propios son positivos, y están definidos por
qlb. ​No se óbtienen valores propios nuevos partiendo de las raíces negativas de la ecuación (7) porque
(-l)“Jn(x). (Véase el problema 38 en los ejercicios 6.4.) El numero 0 no es un valor propio para alguna
X J,(O)=Oparan=1,2,3.. . , y
= 0, llegamos a la función trivial (que nunca es función propia) para
X = 0 no satisface a la ecuación (7). Cuando la ecuación (5) se expresa en la forma
nJ,+t(x), de acuerdo con (6) y (7) se deduce que la norma cuadrada de
Jn(Xix) es
CASO ​II Si escogemos
(9)
Esta ecuación tiene una cantidad infinita de raíces positivas
2,3,... ​. Como antes, los valores propios se obtienen partiendo de
= 0 no es valor propio para (6), ​encontramos que la norma cuadrada de

J,,'(A;b). ​,
CASO
(11)
Aun cuando esta ecuación es sólo un caso especial de
X = 0 sí es un valor propio. Para verlo, notemos que para
(12)
Como
Jo(O) = 1 no es trivial, llegamos a la conclusión de que
n=0y ​
Xr = 0. Sin embargo, por la definición de norma cuadrada,
Xt = 0 sí es un valor propio. Pero es obvio que no podemos aplicar (10) cuando ​h = 0,
xt
I Si escogemos
III ​Si
= 0 es una raíz de esta ecuación y
[xy’]’ +
2hZj~xJ.Z(Ax)dx =
h
=0y
&(xW), el límite inferior es cero para
n
X’?J? es cero en
= 1, 2, 3, . . .Al sustituir
J;(Ab)= 0 ​equivale a
n
(~2 = 1 y
(~2 =
= 0 en
llJ,,(A,x)11* ​=
h
10,
(9), los valores propios
hJ,,(Ah) +
p2 = 0, la ecuación (1) queda
Jo(O) = 1. En otras palabras, si
A*b*[J;(hb)]* +
&
x
Jn(Xix) es ahora
A'2b2
n
J(,(Ab) = 0.
= ​b, ​entonces la ecuación (1) queda
= 0. Entonces
=
AbJ:,(Ab) = 0.
x’i
1,2,3, . . . . y para
2;; +
xi, de (7) (Fig.
n = 0, el resultado en (5) implica que
=
XibJn’(Xib)
(Pb2
h2
(9), es el único para el cual
Xi se definen a partir de las raíces de
n
-
xi para cada entero positivo
> 0, porque
J,(Ab) = 0.
n*)[J$Ab)]*,
xJ,,‘(x)
=
.I,(-x)
-hJn(Xib) e​ n la ecuación
Xi
n = 0,
=
=
=
xilb. E
​ l valor
nJ,,(x)
J,(O)
= 0. Cuando
-
n porque
X
n
=
1,
!kcción 10.5
Para
(14)
El resumen siguiente muestra las tres formas correspondientes de la serie (2).
Convergencia de una serie de Fourier-Bessel ​Las condiciones de suficiencia para la convergencia de
una serie de Fourier-Bessel no presentan muchas
Xi
> 0 podemos aplicar (10) con ​h
=0y
n
= 0:
Series de
Bessel y de Legendre
restricaones.
471
472
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
JI&!) = 0.
SOLUCIÓN ​(16):
Usamos la ecuación
Bessel Desarrollef(x) = de primer orden que satisfagan la condición en la frontera
ci están dados por la ecuación
Para evaluar esta integral hacemos que
(um)[&(t)] ​=
I
Por consiguiente, el desarrollo que buscamos es
= 0, lo único que cambia en el desarrollo es el valor de la norma cuadrada. Al multiplicar por 3 la condición en
la frontera, obtenemos
= 0, que ya coincide con la ecuación (9) cuando ​h
n = 1. Entonces, las ecuaciones (18) y (17) dan como resultado, respectiva- mente,
Y
∎
J1(Aix)’ ​

10.5.2 Serie de Fourier-Legendre

Por el ejemplo 4 de la sección 10.4, sabemos que el conjunto de polinomios de Legendre,
11. Además, se puede demostrar que
La serie generalizada de Fourier de los polinomios de Legendre se define como sigue.
I ​∎

Desarrollo en serie de Fourier-Bessel

Si se definen los valores propios
{f,(x)},n=O,
= 3, ​b
=3y
FOURIER
Desarrollo en serie de Fourier-Bessel
1,2,. . . es ortogonal con respecto ala función
t2J&):
2
x, 0
<
3jt(3X) +
ci =
x
f(X) =
< 3, en una serie de Fourier-Bessel aplicando funciones de
9hi3.T~(3hi)
Xi del ejemplo 1 como
f(x) =
3Wr’(3X)
(15), cuyos coeficientes
l8
”=
2
(9A; +
2
5
(9A’ ​+
t
0
3Aid
2
=
18A&(3Ai)
dt
Xix y usamos la ecuación (4) en su forma
A,
&g
[P.h(t)] dt =
J@A
8)1,*(3Ai)
8)
J,2(3&)
>
Jt(3X) +
Jlbw.
pesop(x) = 1 en [-1,
&.
Wr’(3X)
Sección 10.5 Series de Bessd y de Legendre ​473
 Convergencia de una serie de Fourier-Legendre ​En el siguiente teorema se dan ​las condiciones de

suficiencia para la convergencia de una serie de Fourier-Legendre.

Desarrollo en serie de Fourier-Legendre

f(x) =
Escriba
ntos de
cero de la serie de
cero de la serie de
Fouk-Legen&e
Fouk-Legen&e
Fouk-Legen&e
para
para
para
para

O~x<l.

SOLUCIÓN ​En la página 287 aparecen los primeros cinco polinomios de Legendre. Con ​ellos y la ecuación (22)

determinamos
co =

$
cs =
-1
-1
-1 ~~
-1 ~~
-1 ~~
-1 ~~
~~
~~
~~
~~
~~

1.
1.
1.
1.
1.
1.
1.
dx =
dx =
dx =
dx =
dx =
dx =
dx =
dx = -
-
-
-
-
-
-
-
-
-
f 70x3
f 70x3
f 70x3
f 70x3
f 70x3
f 70x3
70x3
70x3
70x3 Por consiguiente, ​f(x) =
70x3
70x3
+
+
+
+
+
+
+
+
+
+
+
+
15~)
15~)
15~)
15~)
15~)
15~)
15~) )+
)+
15~)
)+
15~)
)+
15~)
)+
15~)
)+
15~) )+
15~) 5
dx = 5
dx = 5
dx = 5
dx = 5
dx = 5
dx = 5
dx = 5
dx = PS(x) + . . . .
dx = PS(x) + . . . .
dx = PS(x) + . . . .
dx = PS(x) + . . . .
dx = PS(x) + . . . .
PS(x) + . . . .
dx =
PS(x) + . . . .
dx =
PS(x) + . . . .
PS(x) + . . . .
n=~~-,fX)PI(X)dn=~~~l.xdr=~

c2 =

c3 ​=

c4 ​=
*
*
*
*
*

’
’
’
’ 1)
’ 1)
’ 1)
’ 1)
; 1)
; 1)
; 1)
; 1)
; 1)
; 1)
;
;
3x)
3x)
3x)
* 3x)
* 3x)
3x)
* 3x)
* 3x)
3x)
*
*
*

i ​(35x4
i ​(35x4
i ​(35x4
i ​(35x4
i ​(35x4
i ​(35x4
i ​(35x4 30x2 + 3)
i ​(35x4 30x2 + 3)
; ​(5x3 30x2 + 3)
; ​(5x3 30x2 + 3)
; ​(5x3 30x2 + 3)
; ​(5x3 30x2 + 3)
; ​(5x3 30x2 + 3)
; ​(5x3 30x2 + 3)
30x2 + 3) -
-
30x2 + 3) -
dx = 0 -
-
dx = 0 -
-
dx = 0 -
dx = 0 -
-
dx = 0 -
dx = 0 -

dx = 0
dx = 0 dx = 0
dx = 0 dx = 0
dx = 0 dx = 0
dx = 0 dx = 0
dx = 0
dx = 0
dx
dx
dx = 0
dx dx = 0
dx
dx
dx = 0
dx dx = 0
dx
dx
dx = 0
dx &
dx &
=- &
=- &
=- &
=- &
=- &
=- &
=- &
=- &
=- &
=- &
=- &

474
-
-
CAPíílO 10 FUNCIONES ORTOGONALES Y SERIES DE
FOURIER
Forma alternativa ​En sus aplicaciones, la serie de Fourier-Legendre se maneja en una forma alternativa. Si

hacemos que x = de, y las ecuaciones (21) y ​(22) s​ e transforman en

F(B).
Las respuestas a
dondef(cos
Jc’(2X) = 0. En los problemas 3 a 6 desarrolle a f(x) =
c 2, en una serie de Fourier-Bessel con funciones de Bessel de orden cero que satisfagan la respectiva
condición en la frontera.
3.
A&(2A) = 0
En los problemas 7 a 10 desarrolle la función respectiva en una serie de Fourier-Bessel, usando funciones de
Bessel del mismo orden que el indicado en la condición en la frontera.
7. f(x) =
10.5-2,
El desarrollo como serie de Fourier-Legendre de una función polinomial definida en el intervalo (-1, 1) debe
ser una serie finita.
desatrollo de Fourier-Legendre de la función dada.
12.f(x)=x3
En las problemas 13 y 14, escriba los primeros cuatro términos distintos de cero en el desarrollo de la función
respectiva como serie de Fourier-Legendre.
13. f(x) =
ll.f(x)=x2
10.5.1
1. Halle los cuatro primeros valores propios
Jt(3X) = 0. [Sugerencia: vea la tabla 6.1 en la página 283.1 2. Encuentre los cuatro primeros valores propios

JdN ​9. f(x) =

Jó(2h) = 0 5.
J1,(3A) ​= 0 [Sugerencia:
3J,(4A) +
Jo(2h) = 0 4.
Jo(2h) +
x2, 0
1.
5x, 0
0) se ha remplazado con
,"?
2hJ;(2A) = 0 6.
loe problemas ​nones ​se encuentran en el apéndice de
4AJ1(4A) =
-l<x<O
< x
O<x<l
-=z x
-=c 3
< 4 8. ​f(x) =
c=y--
n
0 =
2n+l
3
=
(¿Por qué?) En los problemas ll y
F(B) =
t2
cos
* t.]
I
0
=
F(
0, entonces
h=O
i
10. f(x) = 1
14*f(x)=e".
e)P,,(cos e) ​sen
1, 0
c,P,(cos
xk definidos por
Jo(A)
J,,(2A) +
cx
xk, definidos por
= ​0
clx = -sen
x2,
0
l9)
-
x2, 0
0
-l<x<l
e ​d
<x
8,
respuestas.
0
<1
-=I x
t 2 halle el
<1
(24)
(23)
Bessel y de Legendre 475
15. Los tres primeros polinomios de Legendre son
1). 16. ​Con los
cos 28. 17. Un polinomio de Legendre
(26)
18. Demuestre que sifes una función impar en
2O.f(x)=l,O~x<l;(27)
Las respuestas a los problemas nones se encuentran en el apéndice de respuestas.
Conteste los problemas
1 a 10 sin consultar el texto. Llene el espacio en blanco o conteste cierto 0 falso, según el caso.
1. ​Las
19.f(x)
[-T, n].
2. El producto de una función impar por otra función impar es
3. Para desarrollar
T en una serie de Fourier se usa una serie de
4.
c 2 no es una función par, no se puede desarrollar en una serie de Fourier de cosenos.
5. La serie de Fourier
>
6. La ecuación
+(3
- 1). Si x =
resulthdos del problema 15 encuentre un desarrollo en serie de Fourier-Legendre, ecuación
n es par o impar. Demuestre que sifes una función par en (-1,
l), las ecuaciones (21) y (22) se transforman respectivamente, en
C
Comof(x)
l), las ecuaciones (21) y (22) se transforman, respectivamente, en
w4)
Las series (25) y (27) también se pueden emplear cuando
f sólo está definida en (0, 1). Ambas series representan afen (0, 1); pero la ecuación (25) representa su
extensión par en
(-1,O) y la (27) su extensión impar. En los problemas 19 y 20 escriba los primeros tres términos distintos de
cero en el desarrollo indicado de la función respectiva.
¿Qué función representa la serie en (-1,
COS
funcionesf(x)
=x, 0
cos
28 +
(23), de
<x
=
0, entonces
< ​1; (25)
y = 0 no es una función propia de problema alguno de Sturm-Liouville.
x2, 0
F(e) = 1
af(x)
=
def(x)
<
x2
x
Czn+1 =
=
- 1 y f(x)
PO(COS
Zn
1x1 + 1,
P,(x) es una función par o impar, dependiendo de si
-
l)?
3,
=​
fc4 =
(4n + 3)
o
0) = 1 y
-T
=
-lr<x<o
i
n=O
<
converge a
O<x<n ​
x5 son ortogonales en
x
[;fmn+l(X)
CZn+l~2n+lW
<
Pl(cos
ei intervalo (-1,
Po(x)
Sección 10.5 Series ​de
0) =
= 1,
cos
h.
PI(X) =
8. Demuestre que
xy
P2(x)
enx=O.
=
$3~~
PZ(COS
0)
(27)
=
476
CAPíTULO 10 FUNCIONES ORTOGONALES Y SERIES DE
{T,&)} es ortogonal con respecto a la función peso en el intervalo ​10. ​El conjunto {P,(x)} es ortogonal con
respecto a la función peso p(x)
> 0. l​ l. ​Demuestre que el conjunto
I ​L.
12. Encuentre la norma de cada una de las funciones del problema ll. Forme un conjunto
ortonormal. 13.
< 1 en una serie de Fourier.
14.
< 1 en una serie de Fourier.
15.
< 1 en una serie decosenos.
16. Desarrolle la función del problema 15 en forma de una serie de senos.
17. Halle los valores y funciones propios del problema de valor en la frontera
9xy = 0, ​y’( 1) = 0, y(e) = 0.
18. ​Formule una relación de ortogonalidad para las funciones propias del problema 17.
como una serie de Fourier-Bessel y emplee funciones
de Bessel de orden cero que satisfagan la condición en la frontera
= 0. 20.
FOURIER
7. El valor
X = 0 no es valor propio de problema alguno de Sturm-Liouville.
8. Cuando
X = 25, la función propia correspondiente del problema de valor en la frontera ​y” + Ay = 0, y’(O) = 0,
y(7d2) =​ 0 es ​9. ​La ​ecuación diferencial de Chebyshev ​(1
Desarrollef(x) =
Desarrollef(x) =
= 0 tiene un polinomio solución y =
Po(x) = 1. En consecuencia,
Desarrollef(x) =
Desarrollef(x) =

1
es ortogonal en el intervalo 0
T,(x) para
Ix]-
2x2 -1, -1
e*, 0
x4, -1
x2y” + xy’ +
n
x, -1
= 0,
<
<

i
senK
x
x
<
j!,
<x
1,2, . . . El conjunto de los polinomios de Chebyshev
I
<
x
x, sen-x, . . . ​2L 2L 2L
x
P,(x)
1, como una serie de Fourier-Legendre.
X, sen-
u!x = cuando ​n
3n
-
x$”

577
- xy’ +
n’y
Jo(4X)
= 1 en [-1,
11, y