Está en la página 1de 25
Universidad T´ecnica Federico Santa Mar´ıa Departamento de Matematica ´ Notas mat – 023 Series de Fourier

Universidad T´ecnica Federico Santa Mar´ıa

Departamento de Matematica ´

Notas mat – 023

Series de Fourier

Segundo Semestre 2012

  • 1. Funciones Ortogonales

Definicion´ 1.1 El conjunto de funciones seccionalmente continuas {φ n (x) : n = 0, 1,

. . .

} en un intervalo finito

[α, β] o infinito, se dice ortogonal en [α, β] con respecto a la funci´on no negativa r(x) si

(1.1)

φ m , φ n =

α

β

¯

r(x)φ m (x) φ n (x) dx = 0

β

α

r(x)|φ n (x)| 2 dx = 0

n

m = n

La funci´on r(x) es llamada funci´on peso.

Siempre asumiremos que r(x) posee un n´umero finito de ceros en el intervalo [α, β] y que las integrales en

¯

1.1 existen para todo n. La notaci´on φ n (x) significa que consideramos el conjugado de la funci´on φ n (x), que

¯

en general es a valores complejos. Por ello, escribimos |φ n (x)| 2 = φ n (x) φ n (x). Sin embargo, en la mayor´ıa

¯

de nuestras aplicaciones las funciones consideradas son a valores reales y luego, φ n (x) = φ n (x) y adem´as

|φ n (x)| 2 = φ 2 (x).

El conjunto de funciones

{φ n (x) : n = 0, 1,

. . .

} en [α, β] con respecto a la funci´on peso r(x) se dice ortonormal

si cumple con la primera de las relaciones en 1.1 para m = n, y adem´as

β

α

r(x)|φ n (x)| 2 dx = 1

n.

As´ı, las funciones ortonormales poseen las mismas propiedades que las funciones ortogonales, pero adem´as, han

sido normalizadas, i.e., cada funci´on φ n (x) del conjunto ortogonal ha sido dividida por su propia norma, que se

define como

(1.2)

Ejemplo 1.1 El conjunto

JCM/jcm. juan.chavarria@usm.cl.

φ n =

α

β

r(x)|φ n (x)| 2 dx 1/2 .

{1, cosnx, n = 1, 2,

. . .

},

1

es ortogonal sobre 0 < x < π con r(x) = 1. En efecto, para m = n, tenemos

π

0

cos mx cos nx dx =

=

Ahora, puesto que

=

  • 2 π

1

0

[cos(m n)x + cos(m + n)x] dx

  • 1 sen(m n)x + sen(m + n)x
    2

m n

m + n

π

0

  • 1 sen(m n)π 0 + sen(m + n)π

2

m n

m + n

0 = 0.

φ 0

=

φ n

=

π

0

dx

1/2

= π

π cos 2 nx dx dx 1/2 = π

0

0

1 + cos 2nx

  • 2 dx 1/2 = π

2 ,

sigue que el conjunto

π ,

1

2

π cos nx, n = 1, 2,

. . .

,

es ortonormal en 0 < x < π con r(x) = 1.

Ejemplo 1.2 El conjunto

(1.3)

1


1 1

π

cos nx,

π

sen nx, n = 1, 2,

. . .

2π ,

es ortonormal sobre π < x < π con r(x) = 1. Para esto, primero necesitamos chequear que

π

π

2π 2 dx = 1,

1

π

π

π cos nx 2 dx = 1,

1

π

π

π sen nx 2 dx =

1

1.

La primera integral es evidente. En tanto, las siguientes se calculan usando el ejemplo anterior m´as la propiedad

de integraci´on de funciones pares en intervalos sim´etricos: p h(z)dz = 2 h(z)dz. En segundo lugar, debemos

0

p

p

chequear que

π

1

1

2π

π π

π

1

π

× √ π cos nx dx = 0,

1

cos nx π cos mx dx = 0,

π

π

π

π

1

1

×

2π

π

sen nx dx = 0,

1

π

1

sen nx

π

sen mx dx = 0, m = n

y

π

π

1

π

1

cos nx

π

sen mx dx = 0 m = n.

Es f´acil chequear esto recordando que todas las funciones involucradas son trigonom´etricas integradas en el

per´ıodo (π, π).

Ejemplo 1.3 El conjunto de funciones a valores complejos

(1.4)

2π e inx , n Z ,

1

es ortonormal en el intervalo π < x < π con la funci´on peso r(x) = 1. En efecto

φ n 2 =

π

2π

1

π

e inx e inx dx =

2

π

2π

1

π

dx = 1.

Adem´as, usando la f´ormula de Euler si m = n:

φ m , φ n

=

=

=

π

2π

1

π

e imx e inx dx =

π

2π

1

π

e i(mn)x dx

1

n)i e i(mn)x

2π(m

π

π

=

1

n)i e i(mn)π e i(mn)π

2π(m

  • 1 n)i {cos(m n)π + i sen(m n)π cos(m n)π + i sen(m n)π} = 0.

2π(m

Ejemplo 1.4 Los polinomios de Chebyshev de primer orden

{T n (x) = cos(n arc cos x), n = 0, 1, 2,

. . .

},

son ortogonales en el intervalo 1 < x < 1 con la funci´on peso r(x) = (1 x 2 ) 1/2 . En efecto

T m , T n

=

=

=

1

1

  • 1 x 2 cos(m arc cos x) cos(n arc cos x) dx

1

π cos cos nθ dθ

0

0,

π/2,

π,

m = n

m = n = 0

m = n = 0.

(x = cos θ)

  • 2. Series de Fourier

A menudo necesitaremos expandir una funci´on dada en t´erminos de otras funciones con una exactitud es-

pec´ıfica de tal forma de realizar operaciones en la pr´actica. En esta secci´on mostraremos que los conjuntos de

funciones que hemos estudiado en la secci´on anterior pueden ser utilizados efectivamente como la base en la

expansi´on de funciones m´as generales.

La base {e 1 , e 2 ,

. . .

, e n } (e k es un vector unitario) de R n posee una importante caracter´ıstica: para cualquier

u R n existe una elecci´on unica

´

de constantes α 1 ,

. . .

, α n para las cuales u = i=1 n α i e i . M´as a´un, por la

ortonormalidad de los vectores e i , 1 < i < n podemos determinar estas constantes α i , 1 < i < n como sigue

u · e j =

n

i=1

α i e i · e j =

n

α i (e i · e j ) = α j ,

i=1

1 j n.

As´ı, el vector u posee una unica ´ representaci´on.

Una generalizaci´on natural de este resultado, el cual es ampliamente aplicable y ha llevado a una gran cantidad

de avances en matem´atica avanzada, puede establecerse como sigue: Sea {φ n (x), n = 0, 1,

. . .

} un conjunto

ortogonal de funciones en el intervalo [α, β] con respecto a la funci´on peso r(x). Entonces, una funci´on arbitraria

f(x) puede ser expresada como una serie infinita que involucra a las funciones φ n (x), n = 0, 1,

. . .

como

(2.1)

f(x) =

c n φ n (x).

n=0

3

La pregunta natural que surge es el sentido de la igualdad en 2.1, i.e., el o los tipos de convergencia, si las hay,

de la serie infinita en el lado derecho para poder tener una idea de qu´e tan bien representa a f(x). Tambi´en

podr´ıamos determinar los coeficientes c n , n = 0, 1, 2, . en

. .

2.1.

Procederemos formalmente en primer lugar sin considerar la pregunta de la convergencia. Multiplicamos 2.1

¯

por r(x) φ m (x) e integramos desde α a β, para obtener

α

β

¯

r(x) φ m (x)f(x) dx =

α

β

¯

c n r(x)φ n (x) φ m (x) dx

n=0

= c m

α

β

r(x)|φ m (x)| 2 dx = c m φ m 2 .

As´ı, bajo condiciones adecuadas de convergencia los coeficientes constantes c n , n = 0, 1,

. . .

est´an dados por la

f´ormula

(2.2)

β

c n =

α

r(x) φ n (x)f(x) dx φ n 2 .

¯

Sin embargo, si el conjunto {φ n (x)} es ortonormal, es decir φ n = 1, entonces tenemos

(2.3)

c n =

α

β

¯

r(x) φ n (x)f(x) dx.

Si la serie n=0 c n φ n (x) converge uniformemente a f(x) en [α, β], entonces el procedimiento previo est´a justi-

ficado, y entonces los coeficientes c n est´an dados por 2.2.

Los coeficientes c n obtenidos en 2.2 son llamados coeficientes de Fourier de la funci´on f(x) con respecto al

conjunto ortogonal {φ n (x)} y la serie n=0 c n φ n (x) con coeficientes 2.2 es llamada la Serie de Fourier de f(x).

Vamos a escribir

f(x)

c n φ n (x)

n=0

lo cual, en general, es s´olo una correspondencia, i.e., a menudo f(x) = n=0 c n φ n (x), a menos que se pruebe.

A continuaci´on, listamos algunos de los casos con m´as frecuencia utilizados.

  • 2.1. Serie de Fourier de Cosenos. En la secci´on pasada hemos probado que el conjunto de funciones

φ 0 (x) = π , φ n (x) = π cos nx, n = 1, 2,

1

2

. . .

,

es ortonormal en 0 < x < π. As´ı, para cualquier funci´on seccionalmente continua f(x) definida sobre 0 < x < π,

donde

Luego,

 

n=1 c n

2

π

 

f(x) c 0 φ 0 (x) +

n=1

c n φ n (x) =

c

0

π

+

cos nx,

c 0 = π f(t) π dt,

0

  • 1 c n = π f(t)

0

f(x)

  • 1
    2 π π

×

  • 2

f(t) dt +

0

n=1

π π

2

0

4

2

π

cos nt dt,

n

1.

f(t) cos nt dt cos nx,

lo que puede ser escrito como

 

(2.4)

 

f(x)

a 0

+

 

2

a n cos nx,

 
 

n=1

 

donde

(2.5)

a n =

  • 2 π π

f(t) cos nt dt,

n 0.

 

0

Esta serie es conocida como serie de Fourier de cosenos.

 

Ejemplo 2.1 Vamos a encontrar la serie de Fourier de cosenos de la funci´on f(x) = x, 0 < x < π. Claramente

a 0 =

  • 2 π π

0

t cos 0t dt

2

t cosnt dt

0

=

  • 2 π π

t dt = π,

 

π π

2

0

sen nt

π

π

sen nt

dt

(1) n 1

 

a n =

=

π

2

t

n

0 0

0

0

cos

n

=

2

n 1.

 

=

π

n

+

n 2

π

n 2

,

As´ı, de 2.4, tenemos

 

 

π

2 +

2 (1) n 1

 
 

x

 

cos nx,

 

0 < x < π.

 

π

n 2

 

n=1

En la figura se muestra la gr´afica de la funci´on y la aproximaci´on por la serie truncada para diversos valores.

3.0 2.5 2.0 1.5 1.0 0.5 0.0 0.0 0.5 1.0 1.5 2.0 2.5 3.0
3.0
2.5
2.0
1.5
1.0
0.5
0.0
0.0
0.5
1.0
1.5
2.0
2.5
3.0

Figura 2.1 Gr´afico de f(x) = x (p´urpura) y de las aproximaciones con 1 coeficiente (rojo), 4 coeficientes (naranja) y 10 coeficientes (verde). A medida que se toman m´as coeficientes de la expansi´on, la gr´afica de la serie se ajusta a la funci´on, como se esperaba.

  • 2.2. Series de Fourier de Senos. Recuerde que el conjunto

φ n (x) = π sen nx, n = 1, 2,

2

. . .

es ortonormal sobre 0 < x < π. As´ı, para cualquier funci´on continua por tramos f(x) definida sobre 0 < x < π,

donde

f(x)

n=1 c n

2

π

sen nx,

c n = π f(t)

0

2

π

sen nt dt,

5

n 1.

De nuevo podemos rescribir como

∞ f(x) ∼ b n sen nx, n=1 2 f(t) sen nt dt, n ≥ 1.
f(x) ∼
b n sen nx,
n=1
2
f(t) sen nt dt,
n ≥ 1.
π π
0
1,
si
0 < x < π/2
f(x) =
0,
si
π/2 < x < π.
π π/2
2
sen nt dt =
π
0
π 2 1 − cos(nπ/2)
sen nx,
n
1
1
√ π
c
cos nx
sen nx
0
+
n=1 c 2n−1
+ c 2n
√ 2π
π
π
π
1
=
f(t)
dt
√ 2π
−π
π
1
=
f(t)
cos nt dt,
n
≥ 1
√ π
−π
π
1
=
f(t)
sen nt dt,
n
≥ 1.
√ π
−π
a 0
+
(a n cos nx + b n sen nx) ,
2
n=1
π
1
f(t) cos nt dt,
n ≥ 0,
π
−π
π
1
f(t) sen nt dt,
n ≥ 1.
π
−π
6

f(x)

a n =

b n =

(2.6)

donde

(2.7)

b n =

Esta representaci´on de f(x) es llamada serie de Fourier de senos.

Ejemplo 2.2 Vamos a encontrar la serie de Fourier de senos de la funci´on

Claramente, para n 1

As´ı,

b n =

  • 2 π π

0

2 cos(nπ/2) + 1

.

n

0 < x < π.

f(t) sen nt dt =

n=1

f(x)

  • 2.3. Serie de Fourier Trigonom´etrica. En la secci´on pasada, hemos verificado que el conjunto

. . .

φ 0 (x) = 2π , φ 2n1 (x) =

1

cos nx, φ 2n (x) = π sen nx, n = 1, 2,

es ortonormal sobre π < x < π. As´ı, para cualquier funci´on seccionalmente continua f(x) definida sobre

π < x < π,

donde

f(x)

c 0

c 2n1

c 2n

,

Al reescribir las relaciones de arriba, tenemos la serie de Fourier trigonom´etrica

(2.8)

donde

(2.9a)

(2.9b)

Para nuestra discusi´on posterior notamos las siguientes relaciones

(2.10)

c 0 = π a 0 , c 2n1 = πa n , c 2n = πb n .

2

Ejemplo 2.3 Vamos a encontrar la serie de Fourier trigonom´etrica de la funci´on

f(x) =

1,

x,

si

si

π < x < 0

0 < x < π.

De 2.9a-2.9b, tenemos

a n =

π

π

1

π

f(t) cos nt dt

a 0 =

0

π

1

π

1 · 1 dt +

π π

1

0

t

· 1 dt

b n =

0

π

1

π

1 · sen nt dt +

π π

1

0

t sen nt dt

=

0

π

1

π

1 · cos nt dt +

π π

1

0

t cos nt dt

= 0 +

1

t

sen nt

cos nt

π

n

n 2

+

π

0

=

1

(1) n 1

π

n 2

,

n 1.

= 1 +

π

2 ,

1 + (1 π)(1) n

=

,

n 1.

3.0 2.5 2.0 1.5 1.0 0.5 0.0 3 2 1 0 1 2 3
3.0
2.5
2.0
1.5
1.0
0.5
0.0
3
2
1
0
1
2
3

Figura 2.2 Funci´on f(x) y su serie de Fourier trigonom´etrica para 2 coeficientes (rojo), 6 (naranja) y 100 coeficientes (verde). Note la oscilaci´on de la serie en los extremos y en los puntos de discontinuidad.

Luego, hemos obtenido

f(x)

2 + π

4

+

n=1

1 (1) n 1 cos nx + 1 + (1 π)(1) n

π

n 2

sen nx , π < x < π.

Es claro que las constantes a n , b n para la serie de Fourier trigonom´etrica son diferentes de aquellos obtenidos

para la serie de Fourier de cosenos y senos. Sin embargo, si la funci´on f(x) es impar, entonces

a n =

b n =

π

π

1

π

f(t) cos nt dt

= 0,

n 0

π

π

1

π

f(t) sen nt dt =

π π

2

0

7

f(t) sen nt dt,

n 1

y la serie de Fourier trigonom´etrica se reduce a la serie de Fourier de senos. As´ı, concluimos que si f(x) es impar,

o definida s´olo sobre (0, π) y hacemos su extensi´on impar entonces la serie de Fourier de senos es v´alida sobre

(π, π). Exactamente en el mismo sentido, si f(x) es par, o definida s´olo sobre (0, π) y hacemos su extensi´on

par entonces

a

n

=

b

n

=

π

π

1

π

f(t) cos nt dt =

π π

2

0

f(t) cos nt dt,

π

π

1

π

f(t) sen nt dt = 0,

n 1

n 0

y la serie de Fourier trigonom´etrica se reduce a la serie de Fourier de cosenos.

Ejemplo 2.4 Vamos a calcular la serie de Fourier trigonom´etrica de la funci´on definida sobre π < x < π

con f(x + 2π) = f(x).

f(x) =

(x + π)

si

  • x si

π x

si

π x ≤ −

π

2

π

2

x π

2

π < x 3π

2

2

,

Puesto que la funci´on es impar, sigue que a 0 = a n = 0,

n 1. Adem´as, se tiene que

b n

=

=

=

+

π π

2

0

f(x) sen nx dx

π π/2

2

0

x

sen nx dx + π/2 (π x) sen nx dx

π

π π/2

2

0

x

π

sen nx dx

π/2

x sen nx dx

π π/2 sen nx dx .

π

Π 2 Π Π Π Π 2 2 Π 2
Π
2
Π
Π
Π
Π
2
2
Π
2

Figura 2.3 La funci´on f(x) del ejemplo. Note que es impar.

Las dos primeras integrales se calculan por partes y se obtiene z sen nz dz =

sen nz

z cos nz

n

2

n

. Luego

b n

=

2 sen nx

π

n 2

π/2

0

x cos nx

n

π/2

x cos nx


+

  • 0 n

π

π/2

sen nx

n 2

π

π/2

π cos nx

n

π/2

π

=

π cos nπ π cos nπ 2 2 2 − + − − +
π cos nπ
π cos nπ
2
2
2
+
+

n 2

2

2n

n

2n

n

n

2 2 sen nπ

π

π cos nπ

π cos nπ

π cos nπ

4

= πn 2 sen

2

.

8

Estos coeficientes son distintos de cero si n es impar, o sea, n = 2k 1, k N. Utilizando la identidad

trigonom´etrica del seno de la diferencia de dos ´angulos, sigue que sen(2k 1) π = cos = (1) k+1 . Entonces

2

b k

=

f(x)

4

(1)

k+1

π (2k 1) 2 ; y

4

π

k=1

(1)

k+1

(2k

1) 2 sen(2k 1)x .

Finalmente, hacemos notar que si la funci´on seccionalmente continua f(x) est´a definida sobre L < x < L,

entonces su serie de Fourier trigonom´etrica 2.8 toma la forma

(2.11)

donde

(2.12a)

(2.12b)

f(x)

a 0

2

+

n=1

a n cos

nπx

L

+ b n sen

nπx

L

,

a n =

L

L

1

L

f(t) cos

nπt

L

dt,

b n =

L

L

1

L

f(t) sen

nπt

L

dt,

n 0

n 1.

  • 2.3.1. Expansi´on de Medio Rango. Suponga que una funci´on f est´a definida sobre 0 < x < π y que deseamos

expandirla en una serie de Fourier trigonom´etrica. Dado que los coeficientes a n y b n involucran integrales desde

π a π, debemos de alguna manera extender la definici´on de f al intervalo (π, π). Podemos hacer esto de varias

maneras a nuestro beneficio. Una forma, es extender f tal que sea una funci´on par sobre el intervalo (π, π)

(figura 2.4). Dado que es una funci´on par, se tiene que b n = 0, n = 1, 2,

. . .

y la serie de Fourier trigonom´etrica

s´olo posee t´erminos de cosenos, es decir, coincide con la serie de Fourier de cosenos antes estudiada. Esta

expansi´on es denominada expansi´on de medio rango.

Tambi´en, una funci´on definida en el intervalo (0, π) puede tambi´en ser extendida al intervalo (π, π) como una

funci´on impar. La figura 2.5 muestra tal extensi´on, y notamos que se introducen discontinuidades en x = π, 0, π,

a menos que f(π) = f(0) = f(π) = 0. esto no nos preocupa, puesto que como se ver´a en la siguiente secci´on,

los teoremas de convergencia para series de Fourier son v´alidos para funciones seccionalmente continuas. Dado

que esta expansi´on es impar, se tiene que a n = 0, n = 0, 1, 2,

. . .

, la serie resultante es una serie de Fourier de

senos.

y Π Π
y
Π
Π

x

Figura 2.4 Extensi´on par de f(x) al intervalo (π, π).

y Π Π
y
Π
Π

x

  • 9 Figura 2.5 Extensi´on impar de f(x) al intervalo (π, π).

Ejemplo 2.5 Vamos a expandir de forma par la funci´on

0, si 0 < x < π/2 f(x) = 1, si π/2 < x < π.
0,
si
0 < x < π/2
f(x) =
1,
si
π/2 < x < π.
1
El gr´afico de la extensi´on par se muestra en la fi-
gura 2.6. Puesto que es una expansi´on par, sigue que
b n = 0, n = 1, 2,
Adem´as
π
2
2
a 0 =
f(t) dt =
dt = 1,
π π
π
0
π/2
y
π
2
2
a k
=
f(t) cos kt dt =
cos kt dt
π π
π
0
π/2
π
2
2
=
= − kπ sen
2
Π
Π
Π
Π
π/2
2
2

Los coeficientes son cero, salvo los impares, i.e., si

Figura 2.6 Extensi´on par de f(x).

k = 2n 1, n = 1, 2,

. . .

Usando la identidad

sen

π

2

Por lo tanto,

= cos= (1) n+1 , obtenemos

 

0,

si

k

=

2n, n = 1, 2,

a k =

2 (1) n

 

si

.

k

= 2n 1, n = 1, 2,

 

π 2n

1 ,

.

f(x)

1

2

(1) n

0 < x < π.

2

+ π

2n

1 cos nx,

n=1

Se deja como ejercicio realizar la expansi´on impar.

Si deseamos expandir una funci´on seccionalmente continua definida sobre el intervalo [cπ, c+ π], formamos

su extensi´on peri´odica f 0 como sigue

f 0 (x) =

f(x),

si

f 0 (x 2π), para cualquier otro x.

π < x < π,

No importa cuan suave sea la funci´on f, estaremos introduciendo discontinuidades en x = c π y x = c + π

al menos que f(c π) = f(c + π). Dado que tanto f 0 (x), cos nx y sen nx son todas funciones peri´odicas con

periodo 2π, podemos reemplazar el intervalo [π, π] por [c π, c + π], sobre el cual f 0 coincide con f. Entonces,

los coeficientes de Fourier est´an dados por

(2.13a)

a n =

(2.13b)

b n =

π

1

c+π

cπ

π

1

c+π

cπ

f(t) cos nt dt,

f(t) sen nt dt.

La serie de Fourier formada con los coeficientes en 2.13a-2.13b entregan una expansi´on que es v´alida sobre el

intervalo c π < x < c + π.

10

Ejemplo 2.6 Vamos a expandir la funci´on f(x) = x sobre 0 < x < 2π. El gr´afico de la extensi´on peri´odica se

muestra en la figura 2.7. Calculamos

2 Π π 2π 1 a 0 = t dt = 2π, 0 π 2π 2π
2
Π
π 2π
1
a 0 =
t dt = 2π,
0
π 2π
Π
1
1 t sen nt
cos nt
a n =
t cos nt dt
=
+
= 0,
π
n
n 2
0
0
π 2π
1
1
t cosnt
sen nt
b n =
t sen nt dt =
+
π −
n
n 2
0
0
2
2 Π
Π
Π
2
Π
4
Π
=
.
n
Figura 2.7 Extensi´on peri´odica de f(x).
Por lo tanto,
sen nx
f(x) ∼ π − 2
,
0 < x < 2π.
n
n=1
Observacion´ 2.1 Por supuesto, podr´ıamos haber hecho los c´alculos sobre el intervalo [−π, π] usando la fun-
ci´on extendida f 0 . Sin embargo, en tal caso, las integrales que determinan los coeficientes de Fourier deber´ıan
separarse en dos, lo que hace m´as engorrosa su determinaci´on, aun cuando el resultado ser´ıa el mismo.
2.4.
Serie de Fourier Compleja. En la secci´on anterior hemos visto que el conjunto de funciones
1
φ n (x) =
2π e inx , n ∈ Z ,
es ortonormal en el intervalo −π < x < π con la funci´on peso r(x) = 1. As´ı, para cualquier funci´on seccional-
mente continua f(x) definida sobre −π < x < π, (hemos abusado de la notaci´on para estar de acuerdo con la
literatura existente)
f(x) ∼
c˜ n φ n (x),
n=−∞
donde
π
1
c˜ n =
f(t)
e −int dt.
√ 2π
−π
As´ı
π
1
1
e inx
f(x)
−π f(t)e −int dt
n=−∞
π
1
=
−π f(t)e −int dt e inx .
n=−∞

Al reescribir la relaci´on de arriba tenemos la serie de Fourier exponencial

(2.14)

f(x)

c

n e inx

,

n=−∞

11

donde

(2.15)

c n =

π

2π

1

π

f(t)e int dt.

Ejemplo 2.7 Vamos a encontrar la serie de Fourier exponencial de la funci´on f(x) = e x definida sobre

π < x < π. Tenemos que

c n =

π

2π

1

π

e t e int dt =

=

=

π

2π

1

π

e (1in)t dt

1

1

in e (1in)π e (1in)π

2π 1

1

  • 1 in e π e inπ e π e inπ .

2π 1

Usando la f´ormula de Euler y la definici´on de seno hiperb´olico

Luego

c n =

=

1

  • 1 in e π cos e π cos

2π 1

senh π

π

(1) n

.

1 in

f(x)

senh π

π

n=−∞

(1)

n

in e inx ,

1

π < x < π.

  • 3. Convergencia de las Series de Fourier

En esta secci´on vamos a examinar la convergencia de la serie de Fourier de la funci´on f(x). Por esto, para

hacer el an´alisis ampliamente aplicable, asumiremos que las funciones φ n (x), n = 0, 1,

. . .

y f(x) son s´olo

N

seccionalemente continuas sobre [α, β]. Sea la suma de los primeros N + 1 t´erminos de n=0 c n φ n (x) que

denotaremos por S N (x). Consideraremos la diferencia |S N (x) f(x)| para varios valores de N y x. Si para una

constante arbitraria ǫ > 0 existe un entero N(ǫ) > 0 tal que |S N (x) f(x)| < ǫ, entonces la serie de Fourier

converge uniformemente a f(x) para todo x [α, β]. Por otro lado, si N depende tanto de x como de ǫ, entonces

la serie de Fourier converge puntualmente a f(x). Sin embargo, por el momento ambos tipos de convergencia

son demasiado exigentes, y nos conformaremos con algo menos. Para este fin, estudiaremos lo siguiente.

  • 3.1. Convergencia en Media.

Definicion´ 3.1 Sean las funciones ψ n (x), n 0 y ψ(x) seccionalmente continuas sobre [α, β]. Diremos que la

serie {ψ n (x)} converge en media a ψ(x) (con respecto a la funci´on peso r(x)) en el intervalo [α, β] si

(3.1)

n ψ n ψ 2 = l´ım

l´ım

n→∞

α

β

r(x) (ψ n (x) ψ(x)) 2 dx = 0.

As´ı, la serie de Fourier converge en media a f(x) siempre que

(3.2)

N→∞

l´ım

α

β

r(x) (S N (x) ψ(x)) 2 dx = 0.

12

Antes de probar la convergencia de las series de Fourier en media, vamos a considerar la posibilidad de representar

a f(x) por una serie de la forma n=0 d n φ n (x), donde los coeficientes d n no son necesariamente los coeficientes

de Fourier. Sea

T N (x; d 0 , d 1 ,

. . .

, d n ) =

N

d n φ n (x)

n=0

y sea e N la cantidad T N f . Entonces, por la ortogonalidad de las funciones φ n (x) es claro que

(3.3)

e N 2

=

=

=

=

T N f 2 =

α

β

r(x) n=0 d n φ n (x) f(x) 2 dx

N

N

n=0

d

n

2

α

β

2

r(x)φ n (x) dx 2

N

n=0 d n

α

β

β

r(x)φ n (x)f(x) dx + r(x)f 2 (x) dx

α

N

n=0

φ

n 2

(d

2

n

2

2d n c n + c n )

N

n=0

φ n 2 c n +

2

f 2

N

n=0

2

φ (d

n

n

c )

n

2

N

n=0

φ

n

2 2

c

n

+ f

2

.

As´ı, la cantidad e N es minimizada cuando d n = c n para n = 0, 1,

. . .

, N. Por lo tanto, hemos establecido el

siguiente resultado.

Teorema 3.1. Para cualquier entero no negativo N, la mejor aproximaci´on en media a la funci´on f(x)