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:
- El Dominio del Tiempo \( (t) \): Cómo se ve la señal cambiando a medida que avanza el reloj (la onda compleja).
- El Dominio de la Frecuencia \( (\omega) \): Un gráfico que nos dice exactamente qué "notas" están presentes y con qué volumen (amplitud).
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.
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:
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.
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 \).
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...)}$$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.
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:
No te asustes por los símbolos, esto es lo que hace cada pieza:
- \( f(t) \): Es tu señal original en el Dominio del Tiempo (por ejemplo, la grabación de un aplauso).
- \( \int_{-\infty}^{\infty} ... dt \): La integral desde el inicio de los tiempos hasta el fin del universo significa que vamos a procesar la señal completa, de principio a fin.
- \( e^{-j\omega t} \): Este es el "radar" o sintonizador. La letra \( \omega \) (omega) es la frecuencia que queremos buscar. La letra \( j \) representa el mundo imaginario (los giros). Esta pieza hace que la señal gire; si la señal tiene la frecuencia \( \omega \), se produce una resonancia.
- \( F(\omega) \): Es el resultado en el Dominio de la Frecuencia. Es la respuesta del radar que te dice: "Sí, en el aplauso encontramos la frecuencia \( \omega \) con tanta intensidad".
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:
¿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.
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 $$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} $$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:
Paso 4: Resolver las integrales.
Integramos bajando las constantes que acompañan a la \( t \):
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:
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 \):
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:
| 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) ] \) |
Quiz — Pon a prueba lo que aprendiste
Demuestra tu dominio sobre las series, la simetría y las transformadas.