Series de Fourier

Abel Yosareth Arroyo Moreno

Rubén Benítez Valdez
Paola Benítez De La Luz
Jorge Alberto Díaz Salinas
Marco Antonio Guerrero Mendoza
Enero 2018.

Tecnológico de Estudios Superiores de Valle de Bravo.

Ingeniería Mecatrónica 501.
Ecuaciones Diferenciales.
 Tabla de Contenidos ii

Capítulo 1 Series de Fourier Introducción ...................................................................................... 1

Series de Fourier ......................................................................................................................... 1
Una serie Trigonométrica. ...................................................................................................... 1
Definición de Series de Fourier. ............................................................................................. 4
Series de Fourier de senos y cosenos. ......................................................................................... 5
Función par e impar. ............................................................................................................... 5
Propiedades. ............................................................................................................................ 5
Series de cosenos y senos. ...................................................................................................... 6
Problema de Surm-Lioville. .................................................................................................... 7
Eigenvalores y eigenfunciones. .............................................................................................. 7
Problema regular de Sturum-Liouville. .................................................................................. 7
Propiedades del problema regular de Sturn-Lioville .............................................................. 8
Series de Bessel y Legendre. ...................................................................................................... 9
Serie de Fourier-Bessel. .......................................................................................................... 9
Norma cuadrada. ................................................................................................................... 10
Serie de Fourier-Legendre. ................................................................................................... 12
Bibliografía ................................................................................................................................... 13
 1

Capítulo 1 Series de Fourier

Introducción

Las Series de trigonométricas de Fourier, o simplemente series de Fourier fueron

desarrolladas por el matemático francés Jean-Baptiste Joseph Fourier (21 de marzo de

1768 en Auxerre - 16 de mayo de 1830 en Paris).

La idea básica de las series de Fourier es que toda función periódica de periodo T puede

ser expresada como una suma trigonométrica de senos y cosenos del mismo periodo T.

La idea que subyace en las series de Fourier es la descomposición de una señal periódica

en términos de señales periódicas básicas (senos y cosenos) cuyas frecuencias son

múltiplos de la señal original.

Series de Fourier

Una serie Trigonométrica.

 2

Suponga que f es una función definida en el intervalo [p, p] y que se puede

desarrollar en una serie ortogonal formada por las funciones trigonométricas del conjunto

ortogonal (1); es decir, f(x).

Los coeficientes a0 , a1 , a2 , . . . , b1 , b2 , . . . se pueden determinar exactamente

de la misma manera que en el análisis general de los desarrollos en series ortogonales.

Ahora, integrando ambos miembros de la ecuación (2), desde -p hasta p, se

obtiene:

Puesto que cos(nπx/p) y sen(nπx/p), n ≥ 1 son ortogonales a 1 en el intervalo, el

miembro derecho se reduce a un solo término:

Ahora multiplicando la ecuación por cos(nπx/p) e integrando:

 3

Por ortogonalidad, tenemos que:

Por lo que la ecuación se reduce a:

Por último, si multiplicamos por sen(mπx/p), integramos y utilizamos los

resultados:

Se dice que es una serie de Fourier de la función f. No obstante que el físico

matemático francés Jean Baptiste Joseph Fourier (1768-1830) no inventó la serie que

lleva su nombre, al menos él es responsable de despertar en los matemáticos el interés por

las series trigonométricas que él aplicó con poco rigor en sus investigaciones sobre la
 4

conducción del calor. Las fórmulas que dan los coeficientes en la serie de Fourier son

conocidas como las fórmulas de Euler.

Definición de Series de Fourier.

La serie de Fourier de una función f definida en el intervalo (-p, p) está dada por:

Donde:

Convergencia de una serie de Fourier.

Sean f y f´ continuas por partes en el intervalo [-p, p]. Entonces para toda x en el

intervalo (-p, p), la serie de Fourier de f converge a f(x) en un punto de continuidad. En

un punto de discontinuidad la serie de Fourier converge al promedio:

En donde f (x+) y f (x-) denotan el límite de f en x, por la derecha y por la

izquierda, respectivamente.
 5

Series de Fourier de senos y cosenos.

El esfuerzo que se invierte en la evaluación de las integrales definidas que

calculan los coeficientes a.0, a.n y b.n al desarrollar una función f en una serie de Fourier

se reduce significativamente cuando f es una función par o impar.

En un intervalo simétrico tal como (-p, p), la gráfica de una función par tiene simetría

respecto al eje y, mientras que la de una función impar tiene simetría respecto al origen.

Función par e impar.

Es muy probable que el origen de los términos par e impar sea consecuencia del

hecho de que las gráficas de funciones polinomiales de potencias pares de x son

simétricas respecto al eje y mientras que las gráficas de polinomios de potencias impares

de x son simétricas respecto al origen. Por ejemplo:

Propiedades.

El teorema siguiente lista algunas propiedades de las funciones pares e impares.

 6

Series de cosenos y senos.

Si f es una función par en (-p, p) entonces:

De la misma manera, cuando f es impar en el intervalo (-p, p)

Resumiendo, los resultados se obtienen:

 7

Problema de Surm-Lioville.

En esta sección se estudian algunos tipos especiales de problemas con valores en la

frontera en los que la ecuación diferencial ordinaria en el problema contiene un

parámetro ℷ. Los valores de ℷ para los que el PVF tiene soluciones no triviales llamados

eigenvalores y las soluciones correspondientes se llaman eigenfunciones.

Eigenvalores y eigenfunciones.

Las funciones ortogonales surgen al resolver ecuaciones diferenciales. Además, se puede

generar un conjunto ortogonal de funciones al resolver un problema con valores en la

frontera con dos puntos que implique que una ecuación diferencial de segundo orden

lineal que tenga un parámetro ℷ.

Problema regular de Sturum-Liouville.

Los problemas son casos especiales de un problema importante con valores en la frontera

de dos puntos. Sean p, q, r y r’ funciones de valor real continuas en un intervalo [a, b] y

sean r(x) 0 y p(x) 0 para todo x en el intervalo. Entonces:

 8

Se dice que es un problema regular de Sturum-Liouville. Los coeficientes en las

condiciones de frontera (10) y (11) se suponen reales e independientes de ℷ. Además A.1

y B.1 no son iguales a cero y A.2 y B.2 no son iguales a cero. Los problemas con valores

en la frontera en (1) y (2) son problemas regulares de Sturn-Liouville.

La ecuación diferencial (9) es lineal y homogénea. Las condiciones de frontera en

(10) y (11), ambas una combinación lineal de y yy’ son iguales a cero en un punto y son

también homogéneas. Una condición de frontera tal como A2 y(b) B2 y’(b) C2 , donde

C2 es una constante diferente de cero, es no homogénea. Un problema con valores en la

frontera que consiste en una ecuación diferencial lineal homogénea y de condiciones en

la frontera homogéneas es, por supuesto, llamado un PVF homogéneo; de otra manera, es

no homogéneo. Las condiciones en la frontera (10) y (11) se llaman separadas porque

cada condición implica sólo un punto en la frontera.

Propiedades del problema regular de Sturn-Lioville

 9

Series de Bessel y Legendre.

La serie de Fourier, la serie de Fourier de cosenos y la serie de Fourier de senos son tres

formas de desarrollar una función en términos de un conjunto ortogonal de funciones.

Pero esos desarrollos de ninguna manera se limitan a conjuntos ortogonales de funciones

trigonométricas.

Muchos de estos desarrollos en series ortogonales o series de Fourier

generalizadas surgen de problemas de Sturm-Liouville que, a su vez, se originan de

intentos para resolver ecuaciones diferenciales parciales lineales que sirven como

modelos de sistemas físicos.

Serie de Fourier-Bessel.

Para un valor fijo de n funciones de Bessel {Jn (a.1 x)}, i =1, 2, 3, . . . , es ortogonal

respecto a la función de peso p(x) = x en un intervalo [0,b] siempre que los ai estén

definidos por una condición de frontera de la forma.

 10

Los eigenvalores del correspondiente problema de Sturm-Liouville son ℷ.i=a.i2 . La serie

ortogonal o serie generalizada de Fourier del desarrollo de una función f definida en

(0, b), en términos de este conjunto ortogonal es:

La norma cuadrada de la función J.n(a.ix) esta definida por:

La serie (2) con coeficientes definidos por la ecuación (3) se llama serie de

Fourier-Bessel o simplemente serie de Bessel.

Norma cuadrada.

El valor de la norma cuadrada (4) depende de como los eigenvalores ℷ.i=a.1^2

están definidos. Si y = J.n (ax), entonces:

Después de multiplicar por 2xy’, esta ecuación se puede escribir como sigue:
 11

Integrando por partes este último resultado en [0, b]entonces obtenemos:

Puesto que y J.n (ax), el límite inferior es cero ya que J.n (0) = 0 para n> 0. Además, para

n = 0 la cantidad [xy’]^2 + a^2 x^2 y^2 es cero en x = 0 por lo que:

 12

Serie de Fourier-Legendre.
 13

Sabemos que el conjunto de polinomios de Legendre {Pn (x)}, n 0, 1, 2, . . . , es

ortogonal respecto a la función de peso p(x) 1 en el intervalo [1, 1]. Además, se puede

demostrar que la norma cuadrada de un polinomio Pn (x) depende de n en la siguiente

forma:

El desarrollo de una función en serie ortogonal en términos de polinomios de Legendre se

resume en la siguiente definición.

La serie de Fourier-Legendre de una función f en el intervalo [-1, 1] esta dada por:

(Dennis G. Zill)

Bibliografía

Dennis G. Zill, W. S. (s.f.). Ecuaciones Diferenciales con problemas de valores en la

frontera. Cengage Learning.
González, G. (1997). Obtenido de http://emis.ams.org/journals/DM/v5/art6.pdf
Instituto Tecnológico y de Estudios Superiores de Monterrey. (s.f.). Obtenido de
http://cb.mty.itesm.mx/ma3002/materiales/ma3002-series-fourier.pdf