Análisis de Fourier

Imagina que te dan un vaso con un licuado mixto y te piden que averigües exactamente cuántos gramos de fresa, plátano y manzana tiene. Una vez mezclado, parece imposible separarlo, ¿verdad? En matemáticas, el Análisis de Fourier es la receta que toma una señal compleja, la pasa por un filtro, y te devuelve los ingredientes exactos (frecuencias puras) que la componen.

1. El Concepto (El Ecualizador Matemático)

Para entender a Fourier, piensa en un acorde de guitarra. Cuando tocas tres cuerdas al mismo tiempo, tu oído escucha un solo sonido complejo. Sin embargo, ese sonido está compuesto por tres notas distintas vibrando juntas. El análisis de Fourier nos permite cambiar nuestra perspectiva entre dos mundos:

2. Series de Fourier y Coeficientes

El descubrimiento principal fue que cualquier función periódica (que se repite infinitamente) se puede construir sumando únicamente ondas de seno y coseno.

La Serie General

Para una función \( f(x) \) periódica en un intervalo \( [-\pi, \pi] \):

$$f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty} \left[ a_n \cos(nx) + b_n \sin(nx) \right]$$

Para encontrar el "volumen" de cada nota, calculamos sus coeficientes usando estas integrales:

Cálculo de Coeficientes
$$a_0 = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \, dx \quad \text{(Nivel Promedio / DC)}$$ $$a_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \cos(nx) \, dx \quad \text{(Amplitud de los cosenos)}$$ $$b_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \sin(nx) \, dx \quad \text{(Amplitud de los senos)}$$

3. Atajos de Simetría (Pares e Impares)

Calcular tres integrales es agotador. Por suerte, si observas la gráfica de tu función, puedes ahorrarte la mitad del trabajo usando simetría.

Funciones Pares: Reflejadas perfectamente como un espejo en el eje Y (ej. \( \cos(x) \) o \( x^2 \)).

Truco: \( f(-x) = f(x) \). Como los cosenos son pares, la serie solo tendrá coeficientes \( a_n \). Todos los \( b_n \) valdrán \( 0 \) automáticamente.


Funciones Impares: Reflejadas en diagonal respecto al origen (ej. \( \sin(x) \) o \( x \)).

Truco: \( f(-x) = -f(x) \). Como los senos son impares, la serie solo tendrá coeficientes \( b_n \). El \( a_0 \) y los \( a_n \) valdrán \( 0 \) automáticamente.

4. Construyendo la Onda Cuadrada

Vamos a construir una señal digital (Onda Cuadrada) alternando entre 1 y -1. Esto demostrará cómo sumar curvas suaves crea esquinas perfectas.

Paso 1: Definir la función
$$f(x) = \begin{cases} -1 & \text{si } -\pi < x < 0 \\ 1 & \text{si } 0 < x < \pi \end{cases}$$

Al graficar esto, notamos que es una función impar. ¡Atajo desbloqueado! Sabemos inmediatamente que \( a_0 = 0 \) y \( a_n = 0 \). Solo necesitamos calcular \( b_n \).

Paso 2: Calcular el coeficiente \( b_n \)

Usamos la fórmula de \( b_n \), pero como es impar, podemos integrar solo la mitad derecha (de 0 a \(\pi\)) y multiplicar por 2:

$$b_n = \frac{2}{\pi} \int_{0}^{\pi} (1) \sin(nx) \, dx$$

Integramos el seno:

$$b_n = \frac{2}{\pi} \left[ -\frac{\cos(nx)}{n} \right]_{0}^{\pi} = \frac{-2}{n\pi} \left[ \cos(n\pi) - \cos(0) \right]$$

Sabemos que \( \cos(0) = 1 \). Además, \( \cos(n\pi) \) alterna entre \( -1 \) (si n es impar) y \( 1 \) (si n es par).

$$b_n = \frac{2}{n\pi} [1 - \cos(n\pi)]$$

La magia sucede aquí: Si \( n \) es par, el corchete da \( 1 - 1 = 0 \). ¡Los armónicos pares no existen en la onda cuadrada! Si \( n \) es impar, el corchete da \( 1 - (-1) = 2 \).

$$b_n = \frac{4}{n\pi} \quad \text{(solo para } n \text{ impar: 1, 3, 5...)}$$
Paso 3: Armar la Serie Final

Sustituimos nuestros \( b_n \) encontrados (1, 3, 5...) en la sumatoria general:

$$f(x) = \frac{4}{\pi} \sin(x) + \frac{4}{3\pi} \sin(3x) + \frac{4}{5\pi} \sin(5x) + ...$$

Factorizando el \( 4/\pi \):

$$f(x) = \frac{4}{\pi} \left[ \sin(x) + \frac{\sin(3x)}{3} + \frac{\sin(5x)}{5} + ... \right]$$

5. Identidad de Parseval (La Energía de la Señal)

El Teorema de Parseval nos dice que la energía total de una señal en el dominio del tiempo es exactamente igual a la suma de las energías de cada uno de sus armónicos en el dominio de la frecuencia.

Identidad de Parseval
$$\frac{1}{\pi} \int_{-\pi}^{\pi} |f(x)|^2 \, dx = \frac{a_0^2}{2} + \sum_{n=1}^{\infty} (a_n^2 + b_n^2)$$

Es una herramienta increíblemente poderosa en telecomunicaciones para saber cuánta energía se está transmitiendo en ciertas bandas de frecuencia.

6. La Transformada de Fourier (Para Eventos Únicos)

Ya vimos que las Series de Fourier son geniales para analizar cosas que se repiten en ciclos. Pero, ¿qué pasa con los sonidos de la vida real? Un aplauso, el estallido de un cohete o un disparo de un videojuego ocurren una sola vez y se van para siempre. No tienen un "periodo" que se repita.

Aquí es donde ocurre la verdadera magia. La Transformada de Fourier toma una señal que cambia con el tiempo y, mediante un "hack" matemático (estirar el periodo hasta el infinito), la convierte en un mapa de frecuencias. Pasamos de ver "cuándo pasa algo" a ver "a qué velocidad vibra algo".

¿Para qué se usa en la vida real?

Si eres estudiante de tecnología o ingeniería, la Transformada de Fourier está detrás de casi todo lo que usas a diario:

  • Compresión de Audio (MP3 / Spotify): El oído humano no escucha frecuencias extremadamente altas. La Transformada analiza una canción, detecta qué frecuencias son imperceptibles para nosotros, las borra, y transforma un archivo pesado en un MP3 superligero sin que notes la diferencia.
  • Telecomunicaciones (Wi-Fi, Bluetooth, 4G/5G): El aire está inundado de ondas de radio. La Transformada de Fourier permite que tu teléfono sintonice exactamente la frecuencia de tu Wi-Fi y descarte todas las demás señales de tus vecinos que están viajando por el mismo espacio.
  • Procesamiento de Imágenes (Filtros y JPEG): Una imagen digital se puede ver como una onda. Las frecuencias altas representan los bordes y el ruido. Al aplicar la Transformada, podemos "apagar" las frecuencias altas para suavizar una imagen o eliminar el ruido de una fotografía borrosa.

Entendiendo la Fórmula sin pánico

Esta es la ecuación matemática de la Transformada Directa. Vamos a desarmarla como si fuera una máquina:

La Fórmula Oficial
$$ F(\omega) = \int_{-\infty}^{\infty} f(t) e^{-j\omega t} \, dt $$

No te asustes por los símbolos, esto es lo que hace cada pieza:


El "Código de Trampa": El Teorema de Convolución

De todas las propiedades que acabamos de ver, la Convolución es, sin duda, la herramienta más poderosa para crear software o circuitos. Representada por el asterisco \( f * g \), la convolución es la operación matemática que describe qué le pasa a una señal \( f(t) \) cuando la haces pasar por un sistema o filtro \( g(t) \) (por ejemplo, ponerle un efecto de eco a una pista de audio, o aplicar un filtro de desenfoque a una imagen).

El problema es que resolver una convolución en el dominio del tiempo implica calcular una integral doble espantosa y larguísima. Sin embargo, Fourier nos dio un "atajo" increíble:

Teorema de Convolución
$$ \mathcal{F}\{f(t) * g(t)\} = F(\omega) \cdot G(\omega) $$

¿Qué significa esto en la vida real?

Significa que filtrar una señal en el tiempo es exactamente igual a multiplicar sus frecuencias.

Por eso, cuando tu computadora o tu teléfono aplican un filtro a una foto de Instagram o a un audio, no calculan la integral en el tiempo. Primero transforman todo con Fourier, luego hacen una simple multiplicación (que a un procesador le toma milisegundos) y finalmente aplican la transformada inversa. ¡Es un ahorro de procesamiento masivo!

Ejemplo Práctico: El Pulso Rectangular (Un interruptor encendiéndose)

El ejemplo más claro para entender esto visualmente es un pulso rectangular: un interruptor de luz que está apagado (0), se enciende al máximo (1) durante un breve instante de tiempo (desde \( -T \) hasta \( T \)), y se vuelve a apagar para siempre.

Paso 1: Plantear la integral

Nuestra función vale \( 1 \) solo entre \( -T \) y \( T \). Fuera de ahí vale \( 0 \). Por lo tanto, los límites infinitos de la integral se reducen solo al espacio donde la función existe:

$$ F(\omega) = \int_{-T}^{T} (1) e^{-j\omega t} \, dt $$
Paso 2: Resolver la integral exponencial

Integrar una exponencial es muy sencillo, solo bajamos su constante dividiendo (con respecto a \( t \)):

$$ F(\omega) = \left[ \frac{e^{-j\omega t}}{-j\omega} \right]_{-T}^{T} $$

Evaluamos el límite superior menos el inferior:

$$ F(\omega) = \frac{e^{-j\omega T}}{-j\omega} - \frac{e^{-j\omega (-T)}}{-j\omega} $$

Acomodando los signos y los denominadores nos queda:

$$ F(\omega) = \frac{e^{j\omega T} - e^{-j\omega T}}{j\omega} $$
Paso 3: El truco final (La función Sinc)

Existe una famosa identidad matemática (la fórmula de Euler) que nos dice que restar esas dos exponenciales complejas equivale a un Seno multiplicando por 2:

$$ e^{j\omega T} - e^{-j\omega T} = 2j \sin(\omega T) $$

Sustituimos esto en nuestra fracción:

$$ F(\omega) = \frac{2j \sin(\omega T)}{j\omega} $$

Cancelamos la \( j \) de arriba con la de abajo:

$$ F(\omega) = \frac{2 \sin(\omega T)}{\omega} $$

Resultado Conceptual: A esta forma \( \frac{\sin(x)}{x} \) se le conoce en ingeniería como la función Sinc. Descubrimos algo asombroso: para crear una señal con esquinas perfectamente rectas y cuadradas en el tiempo (como un pulso digital), en el mundo de las frecuencias necesitas una onda que se va atenuando lentamente como el oleaje del agua.

Ejemplo Práctico 2: La señal que se desvanece (Exponencial con valor absoluto)

Encontrar la Transformada de Fourier de la función \( f(t) = e^{-a|t|} \) (asumiendo que \( a > 0 \)).

Paso 1: Entender el valor absoluto.
El valor absoluto \( |t| \) significa que la función se comporta diferente antes y después del cero. Tenemos que partir nuestra integral infinita en dos pedazos:

  • Para el tiempo negativo (\( t < 0 \)): El valor absoluto le cambia el signo a la \( t \), así que usamos \( e^{at} \).
  • Para el tiempo positivo (\( t \ge 0 \)): El valor absoluto deja la \( t \) igual, así que usamos \( e^{-at} \).

Paso 2: Partir la integral oficial en dos.

$$ F(\omega) = \int_{-\infty}^{0} e^{at} e^{-j\omega t} \, dt + \int_{0}^{\infty} e^{-at} e^{-j\omega t} \, dt $$

Paso 3: Agrupar los exponentes.
Por leyes de los exponentes (cuando las bases se multiplican, los exponentes se suman), factorizamos la \( t \) en cada integral:

$$ F(\omega) = \int_{-\infty}^{0} e^{(a - j\omega)t} \, dt + \int_{0}^{\infty} e^{-(a + j\omega)t} \, dt $$

Paso 4: Resolver las integrales.
Integramos bajando las constantes que acompañan a la \( t \):

$$ F(\omega) = \left[ \frac{e^{(a - j\omega)t}}{a - j\omega} \right]_{-\infty}^{0} + \left[ \frac{e^{-(a + j\omega)t}}{-(a + j\omega)} \right]_{0}^{\infty} $$

Paso 5: Evaluar los límites (El infinito).
Recordemos que \( e^{-\infty} = 0 \) y que \( e^0 = 1 \). Al evaluar los límites superior menos inferior en ambos corchetes, los infinitos se vuelven cero y nos queda:

$$ F(\omega) = \left( \frac{1}{a - j\omega} - 0 \right) + \left( 0 - \frac{1}{-(a + j\omega)} \right) $$

Los signos menos de la segunda fracción se cancelan y se vuelve positiva:

$$ F(\omega) = \frac{1}{a - j\omega} + \frac{1}{a + j\omega} $$

Paso 6: Suma de fracciones algebraicas (Resultado final).
Para sumar estas dos fracciones, usamos el truco de la "carita feliz" (multiplicar cruzado y multiplicar los denominadores). El denominador es una diferencia de cuadrados: \( (a - j\omega)(a + j\omega) = a^2 - (j\omega)^2 \). Como en números imaginarios \( j^2 = -1 \), el denominador se vuelve \( a^2 + \omega^2 \):

$$ F(\omega) = \frac{(a + j\omega) + (a - j\omega)}{a^2 + \omega^2} $$

Las \( j\omega \) de arriba se cancelan entre sí, quedando solo \( a + a = 2a \):

$$ F(\omega) = \frac{2a}{a^2 + \omega^2} $$

Diccionario de Pares de Transformadas de Fourier

En la práctica no siempre resolvemos la integral desde cero. Al igual que con las derivadas, recurrimos a una tabla de pares de transformadas comunes para agilizar el análisis de señales:

Tabla Resumen — Dominio del Tiempo vs Frecuencia
Señal en el Tiempo \( f(t) \) Espectro en Frecuencia \( F(\omega) \)
Impulso unitario (Delta de Dirac): \( \delta(t) \) \( 1 \)
Constante pura (Señal DC): \( 1 \) \( 2\pi \delta(\omega) \)
Pulso rectangular (Ancho \( 2T \)): \( \begin{cases} 1 & |t| < T \\ 0 & |t| > T \end{cases} \) \( \frac{2 \sin(\omega T)}{\omega} \)
Exponencial decreciente bilateral: \( e^{-a|t|} \quad (a > 0) \) \( \frac{2a}{a^2 + \omega^2} \)
Exponencial decreciente causal: \( e^{-at} u(t) \quad (a > 0) \) \( \frac{1}{a + j\omega} \)
Señal senoidal pura: \( \sin(\omega_0 t) \) \( j\pi [ \delta(\omega + \omega_0) - \delta(\omega - \omega_0) ] \)
Señal cosenoidal pura: \( \cos(\omega_0 t) \) \( \pi [ \delta(\omega - \omega_0) + \delta(\omega + \omega_0) ] \)
💡 Nota sobre la Delta de Dirac \( \delta(t) \): Representa un pulso instantáneo infinitamente alto y estrecho en el tiempo (como un golpe seco o una chispa). Su transformada demuestra que ese único instante contiene absolutamente todas las frecuencias del universo con la misma intensidad (\( F(\omega) = 1 \)).

Quiz — Pon a prueba lo que aprendiste

Demuestra tu dominio sobre las series, la simetría y las transformadas.