Serie de Fourier. relaciones de ortogonalidad. funciones par e impar.

                                  Serie de Fourier

 Una serie de Fourier es una serie infinita que converge puntualmente a una función periódica y continua a trozos(o por partes). Las series de Fourier constituyen la herramienta matemática básica del análisis de Fourier empleado para analizar funciones periódicas a través de la descomposición de dicha función en una suma infinita de funciones senoidales mucho más simples (como combinación de senos y cosenos con frecuencias enteras). El nombre se debe al matemático francés Jean-Baptiste Joseph Fourier que desarrolló la teoría cuando estudiaba la ecuación del calor. Fue el primero que estudió tales series sistemáticamente, y publicando sus resultados iniciales en 1807 y 1811. Esta área de investigación se llama algunas veces Análisis armónico.

Las series de Fourier tienen la forma:
\frac{a_0}{2} + \sum_{n=1}^\infty\left[a_n\cos\frac{2n\pi}{T}t + b_n\sin\frac{2n\pi}{T}t\right]   
Donde a_n \,\! y b_n \,\! se denominan coeficientes de Fourier de la serie de Fourier de la función f(x) \,\! 

                                                                   Ortogonalidad

Se puede usar la fórmula del sumatorio para probar una relación de ortogonalidad:
\sum_{k=0}^{n-1} e^{-2 \pi i j k/n} \cdot e^{2 \pi i j' k/n} = n \delta_{j,j'}
donde δ es la delta de Kronecker.
Las raíces n-ésimas de la unidad se pueden usar para formar una matriz n \times n cuyo elemento Ai,j es

U_{j,k}=n^{-\frac{1}{2}} e^{-2 \pi i j k/n}
De lo anterior, las columnas de esta matriz son ortogonales y por tanto es unitaria. De hecho, esta matriz es precisamente la transformada de Fourier discreta (aunque varían la normalización y la convención de signos).
Las raíces n-ésimas de la unidad forman una representación irreducible de cualquier grupo cíclico de orden n. La relación de ortogonalidad se obtiene de los principios de teoría de grupos descritos en el grupo de caracteres.
Las raíces de la unidad aparecen en los autovectores de las matrices hermitianas (por ejemplo, de la laplaciana discretizada unidimensional con límites periódicos), de los que se obtiene también la propiedad de ortogonalidad (Stran, 1999).




funcion impar:
Se dice que una función f es impar cuando para cualquier x en el dominio de f se tiene que f(-x)=-f(x). Modifica los valores de x en la escena y observa qué sucede con los valores de f(x) y de f(-x).
Al ir modificando los valores de x la gráfica muestra también los valores de -x, de f(x) y de f(-x). Observa que para cualquier valor del dominio, f(x)=-f(x). Habrás notado además que el segmento que une los puntos P1 y P siempre pasa siempre por el origen, punto del cual equidistan.

funcion par:

Sea f(x) una función de valor real de una variable real. Entonces f es par si se satisface la siguiente ecuación para todo x en el dominio de f:
f(x) = f(-x) \,.
Desde un punto de vista geométrico, una función par es simétrica con respecto al eje y, lo que quiere decir que su gráfica no se altera luego de una reflexión sobre el eje y.
 
Ejemplos 
La función y(x)=x  es impar ya que:
 f(-x) = -x                                                           
 pero como f(x) = x entonces:
f(-x) = - f(x).
 
 ejemplo:
La función f(x)=x2 es par  ya que f(-x) = (-x)2 =x2
  
en