Constructor de series de Fourier

compón ondas complejas a partir de senos simples

Cargando simulación interactiva...

Lección

La teoría — Constructor de series de Fourier

Una serie de Fourier afirma que cualquier onda periódica, por dentada que sea, es una suma de senos puros cuyas frecuencias son múltiplos enteros de una fundamental. La suma se construye término a término y se dibuja sobre el objetivo. La palabra interesante es igual: la suma alcanza el objetivo allí donde el objetivo es continuo, y la fila Peak es donde se descubre qué pasa donde no lo es.

Qué significa cada símbolo

N
cuántos términos se están sumando. El deslizador termina en 20, y la fila de la serie nombra cada coeficiente que emplea.
k
el índice del armónico — qué múltiplo de la fundamental lleva un término. La cuadrada y la triangular usan solo k impares; la de sierra usa todos.
aₖ
el coeficiente del armónico k, impreso en la fila de la serie. Su tamaño dice cuánto importa esa frecuencia, y la rapidez con que los coeficientes menguan decide la rapidez de la convergencia.
Peak
max|fN(x)|, el punto más alto de la suma parcial. El objetivo tiene amplitud 1, así que esta fila pregunta en realidad si la suma se ha pasado.

De dónde viene la fórmula

  1. Lee los coeficientes en la página. Para la cuadrada, la fila de la serie imprime 1.273 sin(x) + 0.4244 sin(3x) + 0.2546 sin(5x) + …, es decir 4/(kπ) con k = 1, 3, 5. Nada está ajustado — los coeficientes salen de una integral, y cada forma de onda tiene los suyos.
  2. Fíjate en qué armónicos faltan. Cuadrada y triangular usan solo k impares porque ambas cumplen f(x + π) = −f(x): desplazadas media periodo cambian de signo, y un armónico par no puede hacer eso. La de sierra no tiene esa simetría y por eso necesita todos los armónicos — cosa que la fila «Harmonics used» dice sin rodeos.
  3. El primer coeficiente ya delata la velocidad de convergencia. La cuadrada da 4/π = 1.273 y decae como 1/k; la triangular 8/π² = 0.8106 y decae como 1/k²; la de sierra 2/π = 0.6366 y decae como 1/k. Decaer más rápido significa menos términos para la misma fidelidad — por eso la triangular parece acabada mucho antes que las otras dos.
  4. Mira ahora la fila Peak en lugar del dibujo. Con un objetivo sin saltos, el pico debería subir hasta 1 y quedarse. Con un objetivo con salto hace algo muy distinto, y de eso trata el resto de esta lección.

Cómo leer lo que ves

Pon la forma en triangular y sube N desde 1: el pico marca 0.8106, 0.9006, 0.9331, 0.9596 … 0.9899 en N = 20. Sube hacia 1 desde abajo y nunca lo pasa. Cambia a cuadrada: 1.273, 1.2, 1.188, 1.182 … y entonces simplemente se detiene, en 1.179, y ningún armónico más lo mueve. Por último la de sierra: 0.6366, 0.827, 0.9185, luego 1.008 en N = 5 — cruza el 1 — y en N = 20 va por 1.131 y sigue subiendo. Tres formas y tres historias completamente distintas en una sola fila. La de sierra es la que engaña: mirándola sola concluirías que el exceso crece sin límite. No es así. Va hacia el mismo 1.179 que la cuadrada, solo que por debajo.

Supone
Que veinte términos bastan para ver la tendencia, y que el pico se halla por muestreo — la fila RMS se evalúa en 801 puntos del periodo, y el pico es el mayor de esas muestras, no un máximo resuelto. Ambas cosas sirven para observar la convergencia y ninguna serviría para una demostración.
Falla cuando
El exceso no desaparece nunca. Ese 1.179 plano no es la serie quedándose sin fuelle: el límite es (2/π)·Si(π) = 1.17898…, y añadir armónicos eternamente estrecha el pico sin bajarlo. Así que la serie converge a la cuadrada en cada punto por separado y jamás uniformemente — exactamente la distinción que este fenómeno existe para enseñar. También explica una contradicción aparente en esta página: la idea de arriba habla de un 8.95% y esta fila de un 17.9%. Ambas son correctas — 0.179 medido contra la amplitud 1 es 0.0895 medido contra el salto de 2. Michelson topó con el pico en 1898 en su propio analizador armónico y sospechó una avería de la máquina; Gibbs escribió al año siguiente a Nature para explicar que lo hacía la matemática, no el latón.

cómo los vectores giratorios construyen una forma de onda 🖖

Cada vector giratorio aporta una componente senoidal en el índice armónico k. Al sumar los vectores punta con cola se forma la suma parcial fN(x). A medida que N crece, el contenido de alta frecuencia afila las esquinas, mientras que cerca de las discontinuidades de salto persiste un sobreimpulso de Gibbs acotado.

Toda onda periódica es un acorde de senoides 🖖

La idea de Fourier: cualquier señal periódica, por dentada que sea, es una suma de ondas sinusoidales puras cuyas frecuencias son múltiplos enteros de una fundamental. Los deslizadores solo eligen cuántos de estos tonos ingredientes se apilan. En una onda cuadrada aparecen únicamente armónicos impares, cada uno más débil que el anterior: el 3.º aporta 1/3 de la amplitud de la fundamental, y el 5.º solo 1/5. Más términos afilan la suma hacia la forma objetivo.

La sobreoscilación del 9% que nunca desaparece 🖖

Cerca de un salto, la suma parcial se pasa en torno al 8.95% de la altura del salto, y ese pico nunca se reduce por muchos armónicos que añadas: solo se vuelve más estrecho. El físico Albert Michelson lo encontró en 1898, cuando su analizador armónico mecánico dibujaba picos tercos en los bordes de una onda cuadrada, y sospechó de un fallo del aparato. J. Willard Gibbs demostró que la máquina tenía razón: la sobreoscilación es matemática real. El mismo 'ringing' aparece en las imágenes JPEG junto a bordes nítidos.

TEORÍA DE FOURIER — POR QUÉ ALGUNAS ONDAS NECESITAN MÁS ARMÓNICOS

Leer una forma de onda: ¿con qué rapidez decaen sus armónicos?

Toda onda periódica es una suma de senos. Cuántos necesitas para que la suma se vea bien no es cuestión de gusto: lo fija lo suave que sea la forma de onda objetivo. Un salto cuesta muchos más armónicos que una esquina, la simetría puede reducir el trabajo a la mitad gratis, y hay un error concreto que no desaparece por muchos términos que añadas.

Cuadrada — un salto, así que decaimiento 1/n cn ∝ 1/n, n = 2k+1
Diente de sierra — un salto sin simetría, así que todos los armónicos cn ∝ 1/n, ∀n
Triangular — una esquina, no un salto, así que decaimiento 1/n² cn ∝ 1/n2, n = 2k+1
Un armónico — el precio de parar pronto ε ≈ ∑n>N cn

01

Cuadrada — un salto, así que decaimiento 1/n

La onda tiene: Un salto vertical entre dos niveles, más simetría de media onda.

Decaimiento de los coeficientes: cn ∝ 1/n, n = 2k+1

Lo que se ve: 10 armónicos dan bordes nítidos que aun así se pasan alrededor de un 9% de la altura del salto.

Abrir este caso: cuadrada, 10 armónicos
Cuadrada — un salto, así que decaimiento 1/n. Diez armónicos: los bordes son nítidos, pero el sobrepico sigue ahí. Un salto vertical entre dos niveles, más simetría de media onda.
Diez armónicos: los bordes son nítidos, pero el sobrepico sigue ahí.

02

Diente de sierra — un salto sin simetría, así que todos los armónicos

La onda tiene: Un salto por periodo y ninguna simetría de media onda que cancele nada.

Decaimiento de los coeficientes: cn ∝ 1/n, ∀n

Lo que se ve: 10 armónicos: rizado en cada salto, y todos los armónicos 1, 2, 3… aportan.

Abrir este caso: diente de sierra, 10 armónicos
Diente de sierra — un salto sin simetría, así que todos los armónicos. Todos los armónicos aportan, y el rizado se sitúa en cada salto. Un salto por periodo y ninguna simetría de media onda que cancele nada.
Todos los armónicos aportan, y el rizado se sitúa en cada salto.

03

Triangular — una esquina, no un salto, así que decaimiento 1/n²

La onda tiene: La onda en sí es continua; solo salta su pendiente.

Decaimiento de los coeficientes: cn ∝ 1/n2, n = 2k+1

Lo que se ve: 8 armónicos ya quedan casi exactamente sobre el objetivo, sin ningún sobrepico.

Abrir este caso: triangular, 8 armónicos
Triangular — una esquina, no un salto, así que decaimiento 1/n². Ocho armónicos siguen la triangular casi exactamente, sin rizado. La onda en sí es continua; solo salta su pendiente.
Ocho armónicos siguen la triangular casi exactamente, sin rizado.

04

Un armónico — el precio de parar pronto

La onda tiene: Cortaste la suma en un N pequeño. La pregunta es qué quedó fuera.

Decaimiento de los coeficientes: ε ≈ ∑n>N cn

Lo que se ve: Una cuadrada con n = 1 es un solo seno: el periodo correcto, nada de la forma.

Abrir este caso: cuadrada, 1 armónico
Un armónico — el precio de parar pronto. n = 1 frente a n = 10: el periodo acierta mucho antes que la forma. Cortaste la suma en un N pequeño. La pregunta es qué quedó fuera.
n = 1 frente a n = 10: el periodo acierta mucho antes que la forma.
Referencias (4)

Problema resuelto al detalle

  1. Cinco ondas senoidales aproximando una onda cuadrada y alcanzando 1,182 5 pasos

    Cinco ondas senoidales que aproximan una onda cuadrada la sobrepasan, alcanzando 1,182 frente al 1 de la onda cuadrada. Averigüe si añadir más términos lo soluciona.

    1. Una onda cuadrada es impar y tiene simetría de media onda, lo que elimina todos los armónicos pares antes de realizar cualquier cálculo. Por tanto, cinco términos significan k = 1, 3, 5, 7, 9 — la lista de armónicos del panel es consecuencia de la simetría, no de una configuración.

    2. La suma parcial sobreoscila cerca del salto. Para N = 5, el pico es 1,182 y el valor RMS es 0,979, ya muy cercano al valor RMS exacto de la onda, que es 1 — de modo que la energía es casi correcta aunque la forma cerca del borde no lo sea.

    3. Pruebe ahora el remedio evidente. N = 1 alcanza un pico de 1,273; N = 5 de 1,182; N = 50 de 1,179; N = 200 de 1,17898.

    4. Está convergiendo — pero no a 1. El límite es (2/π)·Si(π) = 1,17898, y la sobreoscilación nunca desaparece por mucho que aumente el número de términos.

    5. Lo que sí ocurre es que la sobreoscilación se vuelve más estrecha. Se desplaza hacia la discontinuidad y ocupa cada vez menos anchura, razón por la cual el error RMS tiende a cero aunque el error de pico no lo haga.

    Respuesta

    La herramienta muestra N = 5, armónicos 1, 3, 5, 7, 9, un pico de 1,182 y RMS 0,979. El resultado fundamental es que el pico converge a 1,17898, no a 1. Ese es el fenómeno de Gibbs, y citarlo requiere cuidado: la sobreoscilación es del 8,95% del salto — y esta onda salta en 2, de −1 a +1, por lo que el mismo hecho se lee como el 17,9% de la amplitud. Ambos números son correctos y ninguno es el otro. Tampoco se trata de un artefacto numérico: es el aspecto que tiene la convergencia puntual cuando el límite es discontinuo, y es la razón por la que los bordes nítidos resuenan en JPEG y en filtros de audio.

Ruta de aprendizaje

Círculos y ondas son el mismo movimiento

Problemas de ejemplo