De la estabilidad a la repetición temporal

Con este capítulo comienza la quinta parte del tomo, dedicada a las oscilaciones, las bifurcaciones y los mecanismos de cambio. En el capítulo 40 usamos el péndulo para estudiar la estabilidad de sus equilibrios y la geometría de sus regiones de energía. Ahora cambia la pregunta. Una trayectoria puede ser estable sin oscilar y, a la inversa, una oscilación puede carecer de periodicidad exacta. Para estudiar oscilaciones hay que describir cómo recorre el sistema una región de su espacio de estados y qué mecanismo sostiene ese recorrido.

Una solución z(t)z(t) de un sistema continuo es periódica si existe T>0T>0 tal que z(t+T)=z(t)z(t+T)=z(t) para todo tt. Cuando la solución no es constante, existe un menor valor positivo de TT con esa propiedad, que llamaremos período mínimo. La definición exige que se repita el estado completo. Que una variable aislada vuelva a un valor anterior no basta, porque puede hacerlo con otra velocidad o en otra fase de una fuerza externa. Tampoco toda oscilación es periódica. Un movimiento amortiguado cruza repetidamente el equilibrio mientras su amplitud disminuye, sin que el estado llegue a repetirse.

El lenguaje ordinario suele mezclar varias cantidades que aquí mantendremos separadas. La amplitud mide la escala de la excursión de una variable; para una sinusoide x=Acos⁡(ωt+φ)x=A\cos(\omega t+\varphi) vale ∣A∣|A|. El período TT es el tiempo de repetición. La frecuencia f=1/Tf=1/T cuenta ciclos por unidad de tiempo y se mide en hertz cuando el tiempo está en segundos, mientras que la frecuencia angular ω=2πf\omega=2\pi f se mide en radianes por segundo. La fase indica la posición dentro del ciclo y solo adquiere significado al compararla con una referencia. Dos oscilaciones pueden tener el mismo período y distinta amplitud, o la misma amplitud y un desfase entre ellas. Una señal amortiguada puede conservar su frecuencia de cruce mientras la amplitud cambia de manera continua.

Estas distinciones limitan lo que se puede concluir a partir de una serie temporal finita. La separación entre dos máximos estima un período local según una definición concreta, aunque no demuestra periodicidad para todo tiempo. La periodicidad es una propiedad de la trayectoria completa. Un registro que contiene unos pocos ciclos aporta una evidencia limitada sobre el proceso que lo produjo.

Para separar estas posibilidades usaremos como referencia el oscilador lineal

mx¨+cx˙+kx=F0cos⁡(Ωt),m\ddot x+c\dot x+kx=F_0\cos(\Omega t),

con m>0m>0, k>0k>0, c≥0c\ge0, amplitud de fuerza F0≥0F_0\ge0 y frecuencia angular externa Ω>0\Omega>0. Al anular distintos términos se obtienen tres problemas, el oscilador conservativo, el amortiguado libre y el amortiguado forzado. Los tres comparten las variables y la energía mecánica, de modo que sus diferencias pueden atribuirse a la disipación y a la entrada externa.

El modelo es lineal y todavía no contiene los mecanismos de autooscilación ni los cambios cualitativos que aparecerán en los capítulos siguientes. Lo usaremos para precisar qué significa oscilar y qué variables forman el estado. También nos servirá para distinguir una oscilación libre de una respuesta sostenida por una fuerza periódica. La exposición sigue el tratamiento habitual de los sistemas lineales en los textos de dinámica no lineal (Strogatz, 2015, cap. 5).

Dimensión física y dimensión del estado

Supongamos una masa que se desplaza sobre una sola coordenada xx, medida en metros. Su movimiento ocurre en una dimensión espacial, aunque la ecuación es de segundo orden. Conocer x(t0)x(t_0) no determina el futuro, porque la masa puede pasar por la misma posición con velocidades distintas, incluso de signo opuesto. Con v=x˙v=\dot x el problema se escribe como un sistema de primer orden,

x˙=v,v˙=−kmx−cmv+F0mcos⁡(Ωt).\dot x=v,\qquad \dot v=-\frac{k}{m}x-\frac{c}{m}v+\frac{F_0}{m}\cos(\Omega t).

Cuando F0=0F_0=0, el par (x,v)(x,v) es un estado suficiente para el problema autónomo. La representación tiene dos dimensiones aunque el desplazamiento físico tenga una. El plano (x,v)(x,v) es un espacio de estados, mientras que la masa se mueve sobre una recta. Sus ejes tienen además unidades distintas, metros y metros por segundo, de modo que una distancia euclidiana o un ángulo medido en ese plano carecen de significado físico directo mientras no se definan escalas compatibles.

El capítulo 32 estableció que el estado debe contener la información que requiere la ley de evolución. En el oscilador, la velocidad cumple ese requisito. Sin ella, la posición no determina un futuro único.

Si F0>0F_0>0, el campo depende explícitamente del tiempo y un mismo par (x,v)(x,v) puede tener aceleraciones distintas según la fase de la fuerza. En (x,v)=(0,0)(x,v)=(0,0), por ejemplo, v˙=F0/m\dot v=F_0/m cuando Ωt=0\Omega t=0 y v˙=−F0/m\dot v=-F_0/m cuando Ωt=π\Omega t=\pi. Para recuperar una representación autónoma se incorpora la fase de la fuerza,

ψ=Ωt(mod2π),ψ˙=Ω,\psi=\Omega t \pmod{2\pi},\qquad \dot\psi=\Omega,

con lo que el estado ampliado (x,v,ψ)(x,v,\psi) pertenece a R2×S1\mathbb R^2\times S^1. Esta es la construcción habitual para los sistemas forzados periódicamente (Guckenheimer y Holmes, 1983). Una curva dibujada solo en el plano (x,v)(x,v) es la proyección de una dinámica tridimensional. Si esa proyección se corta a sí misma durante un transitorio forzado, la unicidad de las soluciones sigue intacta, porque los puntos que coinciden en (x,v)(x,v) pueden tener fases externas diferentes.

El estado tampoco debe confundirse con el observable. Podemos medir solo x(t)x(t) aunque el modelo necesite (x,v)(x,v) para evolucionar. Una serie de posición sinusoidal no demuestra que el sistema tenga exactamente dos variables internas, ya que modelos de mayor dimensión pueden proyectarse sobre la misma señal. A la inversa, que la velocidad no se observe directamente no la vuelve prescindible en la ecuación. En un experimento puede medirse con otro sensor o estimarse con incertidumbre. Ambas operaciones pertenecen a la medición y dejan intacta la definición matemática del estado.

Parámetros, unidades y escalas

Cada término de la ecuación tiene unidades de fuerza. En el Sistema Internacional,

[m]=kg,[k]=N/m=kg/s2,[c]=N s/m=kg/s,[F0]=N.[m]=\mathrm{kg},\qquad [k]=\mathrm{N/m}=\mathrm{kg/s^2},\qquad [c]=\mathrm{N\,s/m}=\mathrm{kg/s},\qquad [F_0]=\mathrm N.

La frecuencia natural no amortiguada,

ω0=km,\omega_0=\sqrt{\frac{k}{m}},

se mide en s−1\mathrm{s^{-1}}, porque el radián es adimensional. Definiremos también

α=c2m,ζ=c2mk=αω0.\alpha=\frac{c}{2m},\qquad \zeta=\frac{c}{2\sqrt{mk}}=\frac{\alpha}{\omega_0}.

La tasa α\alpha tiene unidades de tiempo inverso y controla la envolvente exponencial de la respuesta libre. El coeficiente ζ\zeta es adimensional y clasifica el régimen de amortiguamiento. Ninguno de los dos es una fuerza nueva ni una variable de estado. Son combinaciones de parámetros que hacen visibles las escalas temporales del problema.

La palabra «libre» también requiere precisión. Una oscilación libre es la evolución que sigue a unas condiciones iniciales cuando no actúa una fuerza externa persistente, es decir, cuando F0=0F_0=0. Puede ser conservativa si c=0c=0 o amortiguada si c>0c>0, de manera que «libre» y «sin disipación» designan propiedades distintas. Una respuesta forzada depende, en cambio, de una entrada que sigue actuando durante la evolución. La distinción separa la energía almacenada al comienzo de la que se suministra después.

Para comparar familias de osciladores pueden eliminarse las unidades. Con el tiempo adimensional τ=ω0t\tau=\omega_0t y una escala de longitud XX escribimos u=x/Xu=x/X. La ecuación se transforma en

d2udτ2+2ζdudτ+u=Γcos⁡(ητ),\frac{d^2u}{d\tau^2}+2\zeta\frac{du}{d\tau}+u=\Gamma\cos(\eta\tau),

con η=Ω/ω0\eta=\Omega/\omega_0 y Γ=F0/(kX)\Gamma=F_0/(kX). En esta forma, la respuesta depende solo de ζ\zeta, η\eta y Γ\Gamma. En los cálculos concretos volveremos a las variables con unidades, que conservan visible la lectura en metros, segundos, newtons y joules.

El péndulo del capítulo 40 se conecta directamente con esta familia. Cerca del equilibrio inferior, sin⁡θ≈θ\sin\theta\approx\theta y el péndulo amortiguado se reduce localmente a una ecuación lineal de este tipo. El oscilador armónico carece, sin embargo, de la separatriz del péndulo completo. En él, además, el período es independiente de la amplitud, algo que en el péndulo solo vale para oscilaciones pequeñas. Lo usaremos de dos maneras, como modelo exacto por derecho propio y como aproximación local de sistemas no lineales bajo hipótesis explícitas.

Oscilador conservativo

Con c=0c=0 y F0=0F_0=0 queda

x¨+ω02x=0.\ddot x+\omega_0^2x=0.

Su ecuación característica, λ2+ω02=0\lambda^2+\omega_0^2=0, tiene las raíces λ=±iω0\lambda=\pm i\omega_0. Para las condiciones iniciales x(0)=x0x(0)=x_0 y v(0)=v0v(0)=v_0, la solución es

x(t)=x0cos⁡(ω0t)+v0ω0sin⁡(ω0t),v(t)=−x0ω0sin⁡(ω0t)+v0cos⁡(ω0t),x(t)=x_0\cos(\omega_0t)+\frac{v_0}{\omega_0}\sin(\omega_0t),\qquad v(t)=-x_0\omega_0\sin(\omega_0t)+v_0\cos(\omega_0t),

como se comprueba sustituyendo en x˙=v\dot x=v y v˙=−ω02x\dot v=-\omega_0^2x. Todo estado distinto del origen tiene el mismo período,

T0=2πω0.T_0=\frac{2\pi}{\omega_0}.

La energía mecánica

E(x,v)=12mv2+12kx2E(x,v)=\frac12mv^2+\frac12kx^2

cumple a lo largo de cada trayectoria

E˙=mvv˙+kxx˙=v(mx¨+kx)=0.\dot E=mv\dot v+kx\dot x=v(m\ddot x+kx)=0.

Por tanto, E(t)=E(0)E(t)=E(0). Las trayectorias no nulas satisfacen

x22E/k+v22E/m=1,\frac{x^2}{2E/k}+\frac{v^2}{2E/m}=1,

que es una elipse en las coordenadas (x,v)(x,v) (Arnold, 1989). El cierre de la curva expresa que el estado completo se repite. No expresa atracción, porque una trayectoria vecina con otra energía recorre otra elipse y nunca se acerca a la primera.

El origen es estable en el sentido de Lyapunov, como anticipaba el centro lineal del capítulo 34, aunque no es atractivo. En este modelo la periodicidad y la estabilidad neutral aparecen juntas porque ambas derivan de la conservación de la energía. En otros sistemas pueden presentarse por separado.

La solución separa también propiedades locales y globales. Dentro del modelo lineal ideal, la fórmula sinusoidal y la conservación de EE valen para cualquier amplitud. Si la misma ecuación se usa como aproximación del péndulo mediante sin⁡θ≈θ\sin\theta\approx\theta, su validez pasa a ser local en amplitud. Una misma expresión matemática puede ser el modelo global exacto de un resorte lineal ideal y, a la vez, la aproximación local de otro sistema.

Oscilación libre amortiguada

Mantengamos F0=0F_0=0 y tomemos c>0c>0,

mx¨+cx˙+kx=0.m\ddot x+c\dot x+kx=0.

La ecuación característica es λ2+2αλ+ω02=0\lambda^2+2\alpha\lambda+\omega_0^2=0, con raíces

λ=−α±α2−ω02.\lambda=-\alpha\pm\sqrt{\alpha^2-\omega_0^2}.

Cuando 0<ζ<10<\zeta<1, las raíces son complejas conjugadas, λ=−α±iωd\lambda=-\alpha\pm i\omega_d, con

ωd=ω02−α2=ω01−ζ2.\omega_d=\sqrt{\omega_0^2-\alpha^2}=\omega_0\sqrt{1-\zeta^2}.

La solución es

x(t)=e−αt[C1cos⁡(ωdt)+C2sin⁡(ωdt)],C1=x0,C2=v0+αx0ωd.x(t)=e^{-\alpha t}\left[C_1\cos(\omega_dt)+C_2\sin(\omega_dt)\right],\qquad C_1=x_0,\qquad C_2=\frac{v_0+\alpha x_0}{\omega_d}.

La parte trigonométrica repite su fase cada

Td=2πωd,T_d=\frac{2\pi}{\omega_d},

mientras que en ese intervalo la envolvente se multiplica por e−αTd<1e^{-\alpha T_d}<1. Salvo en la solución nula, z(t+Td)≠z(t)z(t+T_d)\neq z(t). El tiempo TdT_d recibe el nombre de período amortiguado o pseudoperíodo, aunque la trayectoria completa sigue sin ser periódica.

El balance de energía lo confirma sin resolver la ecuación,

E˙=v(mx¨+kx)=−cv2≤0.\dot E=v(m\ddot x+kx)=-cv^2\le0.

La energía disminuye siempre que v≠0v\neq0. En el plano de estados la trayectoria describe una espiral hacia el origen. El equilibrio es ahora atractivo y la oscilación observada es transitoria.

El régimen subamortiguado no agota las posibilidades. Si ζ=1\zeta=1, el amortiguamiento es crítico, la raíz −ω0-\omega_0 es doble y x(t)=(C1+C2t)e−ω0t.x(t)=(C_1+C_2t)e^{-\omega_0t}.

Si ζ>1\zeta>1, las dos raíces λ1\lambda_1 y λ2\lambda_2 son reales y negativas. La solución x(t)=C1eλ1t+C2eλ2tx(t)=C_1e^{\lambda_1t}+C_2e^{\lambda_2t} carece entonces de una frecuencia real que organice ciclos sucesivos. En estos dos regímenes la posición cruza el equilibrio a lo sumo una vez. Para comprobarlo basta escribir la solución sobreamortiguada como eλ1t(C1+C2e(λ2−λ1)t)e^{\lambda_1t}\bigl(C_1+C_2e^{(\lambda_2-\lambda_1)t}\bigr). Si C2≠0C_2\neq0, el paréntesis es estrictamente monótono y se anula como máximo en un instante. El caso crítico se trata igual con el factor C1+C2tC_1+C_2t. Que haya amortiguamiento no implica, por consiguiente, que haya oscilación amortiguada. Un retorno monótono como estos es asintóticamente estable sin contener ninguna oscilación, porque la estabilidad describe la respuesta a las perturbaciones y la oscilación describe la organización temporal de la trayectoria.

El valor c=2mkc=2\sqrt{mk} separa estas formas dentro del modelo lineal. Todavía no lo llamaremos bifurcación, porque aquí solo clasificamos las raíces de una ecuación lineal. El capítulo 43 establecerá qué cambio estructural merece ese nombre en dinámica no lineal.

Respuesta a una fuerza periódica

Consideremos ahora la ecuación completa con c>0c>0. La fuerza externa no cambia la dimensión física de la posición, aunque introduce una fase que debe conservarse si se quiere un sistema autónomo. También cambia la pregunta energética, porque el oscilador recibe trabajo del exterior además de almacenar y disipar energía.

Como la ecuación es lineal, toda solución puede escribirse como x(t)=xh(t)+xp(t)x(t)=x_h(t)+x_p(t), donde xhx_h resuelve el problema homogéneo amortiguado y xpx_p es una solución particular. Buscamos una respuesta con la frecuencia de la fuerza,

xp(t)=acos⁡(Ωt)+bsin⁡(Ωt).x_p(t)=a\cos(\Omega t)+b\sin(\Omega t).

Al sustituir e igualar los coeficientes de cos⁡(Ωt)\cos(\Omega t) y de sin⁡(Ωt)\sin(\Omega t) se obtiene el sistema

(k−mΩ2)a+cΩb=F0,(k−mΩ2)b−cΩa=0.(k-m\Omega^2)a+c\Omega b=F_0,\qquad (k-m\Omega^2)b-c\Omega a=0.

Con

Δ(Ω)=(k−mΩ2)2+(cΩ)2\Delta(\Omega)=(k-m\Omega^2)^2+(c\Omega)^2

resulta

a=F0(k−mΩ2)Δ(Ω),b=F0cΩΔ(Ω).a=\frac{F_0(k-m\Omega^2)}{\Delta(\Omega)},\qquad b=\frac{F_0c\Omega}{\Delta(\Omega)}.

De forma equivalente,

xp(t)=A(Ω)cos⁡(Ωt−ϕ),A(Ω)=F0Δ(Ω),ϕ=atan2⁡(cΩ,  k−mΩ2).x_p(t)=A(\Omega)\cos(\Omega t-\phi),\qquad A(\Omega)=\frac{F_0}{\sqrt{\Delta(\Omega)}},\qquad \phi=\operatorname{atan2}\bigl(c\Omega,\;k-m\Omega^2\bigr).

La amplitud y el desfase son propiedades de la respuesta estacionaria para estos parámetros. Su frecuencia es la de la fuerza, Ω\Omega, aunque el oscilador tenga una frecuencia natural ω0\omega_0 distinta.

Durante el transitorio la solución total no es periódica, porque combina dos frecuencias con una envolvente decreciente. Con c>0c>0 el término homogéneo decae exponencialmente en los tres regímenes de amortiguamiento. Dos soluciones sometidas a la misma fuerza difieren en una solución homogénea, por lo que su diferencia tiende a cero. Todas las condiciones iniciales conducen, por tanto, a la misma respuesta periódica. La conclusión es global dentro del modelo lineal con mm, cc y kk positivos, ya que no depende de linealizar alrededor de una órbita ni de simular unas pocas condiciones iniciales.

El desfase ϕ\phi es una diferencia angular entre la entrada y la respuesta a la frecuencia Ω\Omega. Para una sinusoide concreta puede traducirse en un retraso temporal ϕ/Ω\phi/\Omega, pero ese retraso cambia con la frecuencia. Cuando Ω\Omega es pequeña, ϕ\phi se acerca a cero y el desplazamiento sigue a la fuerza casi en fase. En Ω=ω0\Omega=\omega_0 el desfase vale π/2\pi/2. Para frecuencias mayores se acerca a π\pi. El desfase fija también la relación entre la fuerza y la velocidad, que determina la potencia transferida. Por eso interviene directamente en el balance de energía.

La afirmación sobre la convergencia requiere disipación. Si c=0c=0, el término homogéneo no decae y la solución general conserva indefinidamente información de la condición inicial. Si además Ω=ω0\Omega=\omega_0, la fórmula de AA se vuelve singular y aparece la resonancia ideal con crecimiento secular. Una fuerza periódica no garantiza, sin otras condiciones, una respuesta periódica acotada. El capítulo 49 estudiará la resonancia de manera sistemática.

Balance de energía en los tres regímenes

Si multiplicamos la ecuación general por v=x˙v=\dot x, los términos de inercia y de restitución forman la derivada de la energía mecánica. Queda

E˙=F0vcos⁡(Ωt)−cv2.\dot E=F_0v\cos(\Omega t)-cv^2.

Esta identidad ordena los tres casos. En el conservativo, F0=0F_0=0 y c=0c=0, así que E˙=0\dot E=0 y la energía selecciona una curva cerrada que se recorre indefinidamente. En el amortiguado libre, E˙=−cv2\dot E=-cv^2 y la energía se pierde de forma monótona hasta que la oscilación desaparece.

En el forzado amortiguado actúan ambos términos. La potencia instantánea de entrada,

Pin(t)=F0v(t)cos⁡(Ωt),P_{\mathrm{in}}(t)=F_0v(t)\cos(\Omega t),

puede ser positiva o negativa según la fase relativa entre la fuerza y la velocidad, mientras que la potencia disipada, Pdis(t)=cv(t)2P_{\mathrm{dis}}(t)=cv(t)^2, nunca es negativa. En el régimen periódico la energía recupera su valor al cabo de cada período de la fuerza, Tf=2π/ΩT_f=2\pi/\Omega. Al integrar el balance sobre un período se obtiene

0=E(t+Tf)−E(t)=∫tt+Tf(Pin−Pdis) ds,0=E(t+T_f)-E(t)=\int_t^{t+T_f}\bigl(P_{\mathrm{in}}-P_{\mathrm{dis}}\bigr)\,ds,

de donde las potencias medias coinciden, ⟨Pin⟩=⟨Pdis⟩\langle P_{\mathrm{in}}\rangle=\langle P_{\mathrm{dis}}\rangle. Para xp=Acos⁡(Ωt−ϕ)x_p=A\cos(\Omega t-\phi),

⟨Pin⟩=12F0AΩsin⁡ϕ,⟨Pdis⟩=12cA2Ω2.\langle P_{\mathrm{in}}\rangle=\frac12F_0A\Omega\sin\phi,\qquad \langle P_{\mathrm{dis}}\rangle=\frac12cA^2\Omega^2.

Las dos expresiones son iguales porque sin⁡ϕ=cΩ/Δ\sin\phi=c\Omega/\sqrt{\Delta} y A=F0/ΔA=F_0/\sqrt{\Delta}.

La curva cerrada que aparece en la proyección (x,v)(x,v) del régimen forzado se sostiene por un mecanismo distinto del de la órbita conservativa. La órbita conservativa mantiene constante una cantidad mecánica sin flujo neto de energía. La forzada persiste porque, en promedio, la entrada compensa exactamente la disipación.

El promedio oculta a propósito la estructura interna de cada ciclo. Durante una parte del período la fuerza realiza trabajo positivo sobre el oscilador y durante otra lo recibe de vuelta, mientras que la disipación nunca devuelve energía mecánica. Que las potencias medias se igualen tampoco implica que EE sea constante, porque la energía almacenada oscila y regresa al mismo valor al cabo de cada período. La condición E˙=0\dot E=0 expresa una conservación instantánea. La igualdad de las potencias medias solo afirma que el balance integrado sobre un ciclo es nulo.

Un ejemplo con la misma masa y el mismo resorte

Tomemos m=1 kgm=1\ \mathrm{kg} y k=4 N/mk=4\ \mathrm{N/m}. Entonces ω0=2 rad/s\omega_0=2\ \mathrm{rad/s} y T0=π s≈3,141593 sT_0=\pi\ \mathrm s\approx3{,}141593\ \mathrm s. En el caso conservativo usaremos x0=1 mx_0=1\ \mathrm m y v0=0v_0=0. La solución es x(t)=cos⁡(2t)x(t)=\cos(2t) en metros, con velocidad v(t)=−2sin⁡(2t)v(t)=-2\sin(2t) en metros por segundo. La energía se mantiene en E=2 JE=2\ \mathrm J.

En el caso amortiguado conservamos la condición inicial y tomamos c=0,8 N s/mc=0{,}8\ \mathrm{N\,s/m}. Entonces α=0,4 s−1\alpha=0{,}4\ \mathrm{s^{-1}} y ζ=0,2\zeta=0{,}2, con

ωd=4−0,16≈1,959592 rad/s,Td≈3,206375 s.\omega_d=\sqrt{4-0{,}16}\approx1{,}959592\ \mathrm{rad/s},\qquad T_d\approx3{,}206375\ \mathrm s.

La solución libre es

x(t)=e−0,4t[cos⁡(ωdt)+0,4ωdsin⁡(ωdt)].x(t)=e^{-0{,}4t}\left[\cos(\omega_dt)+\frac{0{,}4}{\omega_d}\sin(\omega_dt)\right].

El pseudoperíodo supera ligeramente al período conservativo. El estado no se repite porque la amplitud decae.

En el caso forzado conservamos mm, kk y cc, con F0=1 NF_0=1\ \mathrm N y Ω=1,5 rad/s\Omega=1{,}5\ \mathrm{rad/s}. El oscilador parte del reposo. El período de la fuerza es Tf=2π/1,5≈4,188790 sT_f=2\pi/1{,}5\approx4{,}188790\ \mathrm s. Como k−mΩ2=1,75 N/mk-m\Omega^2=1{,}75\ \mathrm{N/m} y cΩ=1,2 N/mc\Omega=1{,}2\ \mathrm{N/m}, la amplitud estacionaria y el desfase valen

A=11,752+1,22≈0,471274 m,ϕ≈0,601074 rad≈34,44∘.A=\frac{1}{\sqrt{1{,}75^2+1{,}2^2}}\approx0{,}471274\ \mathrm m,\qquad \phi\approx0{,}601074\ \mathrm{rad}\approx34{,}44^\circ.

La potencia media de entrada y la disipada coinciden en 0,199889 W0{,}199889\ \mathrm W, aproximadamente. El cuadro 41.1 resume los tres casos y la figura 41.1 muestra la posición en cada uno.

Cuadro 41.1. Los tres regímenes del ejemplo, con los términos que intervienen en cada uno.

CasoTérminos activosComportamiento del estadoBalance de energía
Conservativomm, kkperiódico, no atractivoE˙=0\dot E=0
Amortiguado libremm, kk, ccoscilación transitoria hacia el equilibrioE˙=−cv2\dot E=-cv^2
Forzado amortiguadomm, kk, cc, F0F_0, Ω\Omegatransitorio seguido de una respuesta periódicaE˙=Pin−cv2\dot E=P_{\mathrm{in}}-cv^2
Posición temporal de un oscilador conservativo, otro amortiguado y otro forzado: amplitud constante, decreciente y sostenida tras el transitorio.
Figura 41.1. Posición frente al tiempo con m = 1 kg y k = 4 N/m. En el panel (a) el oscilador conservativo mantiene la amplitud. En el panel (b), con c = 0,8 N·s/m, la amplitud decae dentro de la envolvente discontinua, proporcional a e^(−0,4t). En el panel (c) el oscilador forzado parte del reposo y se aproxima a la respuesta estacionaria de amplitud 0,471 m, trazada con línea discontinua. Ampliar figura ↗

Espacio de estados y series temporales

La figura 41.1 indica cuándo ocurren los máximos y los cruces. La representación en el plano (x,v)(x,v) muestra otra propiedad, la relación entre posición y velocidad a lo largo del recorrido (figura 41.2). La órbita conservativa es una elipse que se repite exactamente, mientras que la amortiguada describe una espiral hacia el origen. En el caso forzado, la proyección comienza con un transitorio y termina cerca de la elipse que corresponde a la respuesta sinusoidal estacionaria.

Plano posición–velocidad: elipse conservativa, espiral amortiguada y proyección de la respuesta forzada que se aproxima a un ciclo.
Figura 41.2. Trayectorias proyectadas sobre el plano posición–velocidad. El panel (a) muestra la elipse del oscilador conservativo y el panel (b) la espiral del amortiguado libre. En el panel (c) la línea clara es el transitorio del oscilador forzado y la línea gruesa, el ciclo final. En este último caso el plano es una proyección, porque el estado autónomo completo incluye la fase de la fuerza. Ampliar figura ↗

La semejanza visual entre dos curvas cerradas no indica que tengan la misma estabilidad. En el sistema conservativo hay una familia continua de elipses y una perturbación de la energía traslada el estado a otra órbita. En el forzado amortiguado, las diferencias entre soluciones con la misma fase de la fuerza satisfacen la ecuación homogénea y decaen. En ese sentido preciso, la respuesta final no depende de las condiciones iniciales.

La comparación aclara también cómo medir un período. En el caso conservativo, dos cruces consecutivos por una misma sección con la misma orientación, o dos máximos consecutivos de xx, dan T0T_0. En el subamortiguado, los cruces por x=0x=0 en un mismo sentido y los máximos consecutivos están separados exactamente por TdT_d, aunque los estados correspondientes tienen amplitudes distintas. Los cruces por una sección que no pasa por el equilibrio pierden esa regularidad, porque la amplitud decreciente desplaza el instante del cruce. En el forzado estacionario el período pertinente es TfT_f. Durante el transitorio, en cambio, la distancia entre dos máximos puede dar una cifra intermedia que depende de la interferencia entre el modo natural amortiguado y la entrada. Al informar un período observado hay que declarar la señal y el intervalo en que se midió.

El área de la elipse tampoco debe leerse como una energía sin atender a las escalas. En las coordenadas (x,v)(x,v) la ecuación de la elipse contiene los factores kk y mm. Con las variables reescaladas q1=k/2 xq_1=\sqrt{k/2}\,x y q2=m/2 vq_2=\sqrt{m/2}\,v, la energía toma la forma E=q12+q22E=q_1^2+q_2^2 y cada nivel de energía es una circunferencia de radio E\sqrt E.

La serie temporal y el retrato de estados se complementan. La serie conserva el orden temporal y deja medir los intervalos entre eventos. El retrato elimina el tiempo como eje visible y hace más clara la geometría. Dos trayectorias pueden recorrer una curva parecida con velocidades muy diferentes, así que la curva no determina el período. A la inversa, dos señales de posición parecidas pueden corresponder a velocidades distintas y ocupar regiones diferentes del espacio de estados. Cuando una conclusión depende de la periodicidad o del balance de energía, hay que examinar ambas representaciones junto con las ecuaciones que las relacionan.

Energía almacenada y trabajo acumulado

La energía revela propiedades que una gráfica de posición puede disimular. En el caso conservativo permanece constante y en el amortiguado disminuye. En el forzado sube y baja dentro de cada ciclo, porque el exterior intercambia trabajo con el oscilador (figura 41.3a).

Para el sistema forzado integramos el balance entre 00 y tt,

E(t)−E(0)=∫0tF0v(s)cos⁡(Ωs) ds−∫0tcv(s)2 ds=Win(t)−Wdis(t),E(t)-E(0)=\int_0^tF_0v(s)\cos(\Omega s)\,ds-\int_0^tcv(s)^2\,ds=W_{\mathrm{in}}(t)-W_{\mathrm{dis}}(t),

donde WinW_{\mathrm{in}} es el trabajo acumulado de la fuerza y WdisW_{\mathrm{dis}} la energía disipada. A largo plazo ambas cantidades crecen sin límite, mientras que su diferencia permanece acotada porque coincide con el cambio de energía mecánica. En el régimen periódico sus pendientes medias se igualan en 0,199889 W0{,}199889\ \mathrm W (figura 41.3b).

Energía de los tres osciladores y balance del caso forzado: el trabajo aportado y la disipación crecen con la misma pendiente media.
Figura 41.3. Energía mecánica y balance acumulado. En el panel (a) la energía es constante en el caso conservativo, decrece en el amortiguado libre y oscila en el forzado después del transitorio. En el panel (b), para el caso forzado, el trabajo de la fuerza y la energía disipada crecen con la misma pendiente media, mientras que su diferencia coincide con E(t) − E(0) y permanece acotada. Ampliar figura ↗

El panel (b) descarta una interpretación errónea del régimen estacionario. Que E(t)E(t) permanezca acotada en el régimen estacionario no significa que el oscilador haya dejado de intercambiar energía. La cantidad almacenada oscila dentro de un intervalo mientras una corriente continua de energía entra por la fuerza y sale por la disipación. Un estado periódico estacionario de este tipo difiere del equilibrio termodinámico, en el que no hay flujos netos.

Comprobación numérica de las soluciones

Las soluciones anteriores se obtuvieron analíticamente. El cálculo numérico se usó para verificar la implementación que produjo las figuras y para comprobar los balances por una vía independiente. Los tres casos se integraron entre 00 y 50 s50\ \mathrm s con el método DOP853 (Hairer et al., 1993), implementado en la función solve_ivp de SciPy (Virtanen et al., 2020), con tolerancia relativa 10−1110^{-11}, tolerancia absoluta 10−1310^{-13} y paso máximo 0,025 s0{,}025\ \mathrm s. Para comparar posición y velocidad sin mezclar unidades, los errores se dividieron por las escalas 1 m1\ \mathrm m y 2 m/s2\ \mathrm{m/s}.

El mayor error de estado escalado fue 6,6×10−156{,}6\times10^{-15} en el caso conservativo, 4,5×10−164{,}5\times10^{-16} en el amortiguado y 1,1×10−141{,}1\times10^{-14} en el forzado. La energía del oscilador conservativo se apartó de 2 J2\ \mathrm J en menos de 6,0×10−15 J6{,}0\times10^{-15}\ \mathrm J. La del amortiguado no aumentó entre ningún par de instantes consecutivos de la malla de salida, que tiene un paso de 0,0025 s0{,}0025\ \mathrm s. En el caso forzado, el trabajo acumulado y la energía disipada se calcularon con la regla del trapecio sobre esa malla. Su diferencia reprodujo E(t)−E(0)E(t)-E(0) con un residuo máximo de 1,0×10−6 J1{,}0\times10^{-6}\ \mathrm J, atribuible a la cuadratura.

El bloque siguiente reproduce la comprobación de la amplitud y del desfase. Integra el oscilador forzado durante treinta períodos de la fuerza, un intervalo en el que el transitorio se reduce por un factor cercano a e−50e^{-50}. Después calcula los coeficientes de Fourier de la última vuelta. Como Acos⁡(Ωt−ϕ)=Acos⁡ϕcos⁡(Ωt)+Asin⁡ϕsin⁡(Ωt)A\cos(\Omega t-\phi)=A\cos\phi\cos(\Omega t)+A\sin\phi\sin(\Omega t), esos coeficientes valen Acos⁡ϕA\cos\phi y Asin⁡ϕA\sin\phi. En una malla uniforme que cubre exactamente un período, el promedio de cos⁡2(Ωt)\cos^2(\Omega t) es 1/21/2 sin error de cuadratura, por lo que cada coeficiente se obtiene como el doble de un promedio.

import numpy as np
from scipy.integrate import solve_ivp

m, c, k = 1.0, 0.8, 4.0
F0, Om = 1.0, 1.5

def campo(t, z):
    x, v = z
    return [v, (-k * x - c * v + F0 * np.cos(Om * t)) / m]

Tf = 2 * np.pi / Om
t_fin = 30 * Tf
sol = solve_ivp(campo, (0.0, t_fin), [0.0, 0.0], method="DOP853",
                rtol=1e-11, atol=1e-13, dense_output=True)

t = np.linspace(t_fin - Tf, t_fin, 4001)[:-1]
x = sol.sol(t)[0]
a1 = 2 * np.mean(x * np.cos(Om * t))
b1 = 2 * np.mean(x * np.sin(Om * t))

D = (k - m * Om**2)**2 + (c * Om)**2
print(f"amplitud  numérica {np.hypot(a1, b1):.9f}  analítica {F0 / np.sqrt(D):.9f}")
print(f"desfase   numérico {np.arctan2(b1, a1):.9f}  analítico "
      f"{np.arctan2(c * Om, k - m * Om**2):.9f}")

La salida del programa es la siguiente.

amplitud  numérica 0.471273630  analítica 0.471273630
desfase   numérico 0.601073754  analítico 0.601073754

Python imprime punto decimal, aunque el texto use coma. Lo mismo ocurre en los programas de los capítulos siguientes. Las dos cifras coinciden hasta el noveno decimal. Ninguna de estas comprobaciones demuestra las identidades del capítulo. La conservación en el caso ideal se dedujo de E˙=0\dot E=0 y la igualdad de las potencias medias se obtuvo integrando el balance sobre un período. El cálculo verifica que el programa que produjo las figuras es coherente con esos resultados dentro de tolerancias explícitas.

Alcance del modelo lineal

El oscilador lineal simplifica varios aspectos. La fuerza restauradora es proporcional a xx, el amortiguamiento es proporcional a vv y los parámetros no cambian con el tiempo. Gracias a estas hipótesis las soluciones pueden superponerse y la respuesta forzada estacionaria tiene exactamente la frecuencia de la entrada.

Un sistema real puede violar cualquiera de ellas. Un resorte puede endurecerse o ablandarse con la amplitud. La disipación puede depender de la velocidad de manera no lineal. En esos casos, la amplitud y la frecuencia dejan de separarse mediante las fórmulas anteriores.

La aproximación lineal tampoco debe extenderse a todo el péndulo. El período independiente de la amplitud es exacto para el oscilador armónico y solo aproximado para las libraciones pequeñas del péndulo. Cerca de la separatriz del capítulo 40 la aproximación falla de manera cualitativa, porque el período de las libraciones crece sin límite a medida que la energía se acerca a la de la separatriz.

En el oscilador forzado, la periodicidad sostenida depende de una señal externa. Muchos sistemas no lineales mantienen oscilaciones con su propia dinámica autónoma, mediante un balance interno entre amplificación y disipación. Esos mecanismos no se obtienen añadiendo una fuerza sinusoidal a un oscilador lineal. El capítulo 42 estudiará esos osciladores no lineales y sus ciclos límite.

Ejercicios

Ejercicio 41.1. Considere el oscilador del ejemplo, con m=1 kgm=1\ \mathrm{kg}, k=4 N/mk=4\ \mathrm{N/m}, c=0,8 N s/mc=0{,}8\ \mathrm{N\,s/m}, F0=1 NF_0=1\ \mathrm N y Ω=1,5 rad/s\Omega=1{,}5\ \mathrm{rad/s}. (a) Calcule ζ\zeta, η\eta y Γ\Gamma con la escala X=1 mX=1\ \mathrm m. (b) ¿A cuántos segundos corresponde una unidad del tiempo adimensional τ\tau? (c) ¿Qué escala XX hace Γ=1\Gamma=1 y qué desplazamiento físico mide?

Ejercicio 41.2. Con los mismos valores de mm, kk y cc, sin fuerza externa, el oscilador parte de x0=0x_0=0 con v0=1 m/sv_0=1\ \mathrm{m/s}. (a) Escriba x(t)x(t). (b) Calcule el instante y la altura del primer máximo. (c) Demuestre que dos máximos consecutivos están separados exactamente por TdT_d y que su cociente vale e−αTde^{-\alpha T_d}. (d) ¿Después de cuántos pseudoperíodos la altura de un máximo cae por debajo del 1 % de la del primero?

Ejercicio 41.3. En el oscilador conservativo, use el momento p=mvp=mv. (a) Demuestre que la curva de energía EE encierra en el plano (x,p)(x,p) un área igual a 2πE/ω02\pi E/\omega_0. (b) Calcule esa área para el ejemplo del capítulo e indique sus unidades. (c) ¿Qué área encierra la misma curva en el plano (x,v)(x,v)?

Ejercicio 41.4. En el oscilador forzado del ejemplo, suponga Ω=ω0=2 rad/s\Omega=\omega_0=2\ \mathrm{rad/s}. (a) Calcule AA, ϕ\phi y la potencia media absorbida. (b) Demuestre que para cualquier Ω\Omega la potencia media cumple ⟨P⟩≤F02/(2c)\langle P\rangle\le F_0^2/(2c), con igualdad solo en Ω=ω0\Omega=\omega_0. (c) Compare el resultado con la potencia obtenida para Ω=1,5 rad/s\Omega=1{,}5\ \mathrm{rad/s}.

Ejercicio 41.5. Considere m=1 kgm=1\ \mathrm{kg}, k=4 N/mk=4\ \mathrm{N/m} y c=5 N s/mc=5\ \mathrm{N\,s/m}, sin fuerza externa. (a) Clasifique el régimen y calcule las raíces características. (b) Obtenga x(t)x(t) para x0=1 mx_0=1\ \mathrm m y v0=−6 m/sv_0=-6\ \mathrm{m/s}. (c) Calcule el instante en que la posición cruza el equilibrio y el valor mínimo que alcanza después. (d) Demuestre que ninguna solución sobreamortiguada no nula cruza el equilibrio más de una vez.

Ejercicio 41.6. El oscilador forzado del ejemplo parte del reposo. (a) Calcule los coeficientes C1C_1 y C2C_2 de la parte homogénea de la solución. (b) La amplitud de esa parte decae como C12+C22 e−αt\sqrt{C_1^2+C_2^2}\,e^{-\alpha t}. ¿En qué instante cae por debajo del 1 % de la amplitud estacionaria? (c) Exprese el resultado en períodos de la fuerza.

Consultar las soluciones de los ejercicios

Soluciones de los ejercicios

Solución 41.1. (a) ζ=0,8/(24)=0,2\zeta=0{,}8/(2\sqrt4)=0{,}2, η=1,5/2=0,75\eta=1{,}5/2=0{,}75 y Γ=1/(4×1)=0,25\Gamma=1/(4\times1)=0{,}25. (b) Como τ=ω0t\tau=\omega_0t, una unidad de τ\tau equivale a 1/ω0=0,5 s1/\omega_0=0{,}5\ \mathrm s. (c) La condición Γ=1\Gamma=1 exige X=F0/k=0,25 mX=F_0/k=0{,}25\ \mathrm m, que es la deformación estática del resorte bajo una fuerza constante F0F_0. Con esa escala, uu mide la posición en múltiplos de la deformación estática.

Solución 41.2. (a) Con x0=0x_0=0 se obtiene C1=0C_1=0 y C2=v0/ωdC_2=v_0/\omega_d, de modo que x(t)=e−0,4tsin⁡(ωdt)/ωdx(t)=e^{-0{,}4t}\sin(\omega_dt)/\omega_d, con ωd≈1,959592 rad/s\omega_d\approx1{,}959592\ \mathrm{rad/s}. (b) La derivada se anula cuando tan⁡(ωdt)=ωd/α\tan(\omega_dt)=\omega_d/\alpha. El primer máximo ocurre en t1=arctan⁡(ωd/α)/ωd≈0,6988 st_1=\arctan(\omega_d/\alpha)/\omega_d\approx0{,}6988\ \mathrm s y su altura es x(t1)≈0,3781 mx(t_1)\approx0{,}3781\ \mathrm m. (c) La condición tan⁡(ωdt)=ωd/α\tan(\omega_dt)=\omega_d/\alpha se repite cada π/ωd\pi/\omega_d, alternando máximos y mínimos. Dos máximos consecutivos están separados por 2π/ωd=Td2\pi/\omega_d=T_d y en ellos el seno toma el mismo valor, luego su cociente es e−αTd=e−1,28255≈0,2773e^{-\alpha T_d}=e^{-1{,}28255}\approx0{,}2773. (d) Se necesita e−nαTd<0,01e^{-n\alpha T_d}<0{,}01, es decir, n>ln⁡100/1,28255≈3,59n>\ln100/1{,}28255\approx3{,}59. La altura cae bajo el 1 % a partir del cuarto pseudoperíodo, unos 12,8 s12{,}8\ \mathrm s después del primer máximo.

Solución 41.3. (a) En el plano (x,p)(x,p) la energía es E=p2/(2m)+kx2/2E=p^2/(2m)+kx^2/2, una elipse de semiejes 2E/k\sqrt{2E/k} y 2mE\sqrt{2mE}. Su área vale π2E/k 2mE=2πEm/k=2πE/ω0\pi\sqrt{2E/k}\,\sqrt{2mE}=2\pi E\sqrt{m/k}=2\pi E/\omega_0. (b) Con E=2 JE=2\ \mathrm J y ω0=2 s−1\omega_0=2\ \mathrm{s^{-1}} el área es 2π≈6,283 J s2\pi\approx6{,}283\ \mathrm{J\,s}. El producto de una energía por un tiempo tiene unidades de acción. (c) En el plano (x,v)(x,v) el área se divide por mm y vale 2πE/(mω0)≈6,283 m2/s2\pi E/(m\omega_0)\approx6{,}283\ \mathrm{m^2/s}. El número coincide con el anterior solo porque m=1 kgm=1\ \mathrm{kg}.

Solución 41.4. (a) Con Ω=ω0\Omega=\omega_0 se anula k−mΩ2k-m\Omega^2, con lo que A=F0/(cΩ)=0,625 mA=F_0/(c\Omega)=0{,}625\ \mathrm m y ϕ=π/2\phi=\pi/2. La potencia media es 12F0AΩ=0,625 W\tfrac12F_0A\Omega=0{,}625\ \mathrm W. (b) La potencia media puede escribirse como ⟨P⟩=12cA2Ω2=F02cΩ2/(2[(k−mΩ2)2+c2Ω2])\langle P\rangle=\tfrac12cA^2\Omega^2=F_0^2c\Omega^2/\bigl(2\left[(k-m\Omega^2)^2+c^2\Omega^2\right]\bigr). Como el término (k−mΩ2)2(k-m\Omega^2)^2 es no negativo, ⟨P⟩≤F02/(2c)\langle P\rangle\le F_0^2/(2c). La igualdad exige k−mΩ2=0k-m\Omega^2=0, es decir, Ω=ω0\Omega=\omega_0. (c) Con Ω=1,5 rad/s\Omega=1{,}5\ \mathrm{rad/s} la potencia media era 0,1999 W0{,}1999\ \mathrm W, menos de un tercio del máximo. El capítulo 49 retomará esta comparación.

Solución 41.5. (a) ζ=5/(24)=1,25>1\zeta=5/(2\sqrt4)=1{,}25>1, así que el régimen es sobreamortiguado. Con α=2,5 s−1\alpha=2{,}5\ \mathrm{s^{-1}} las raíces son λ1,2=−2,5±1,5\lambda_{1,2}=-2{,}5\pm1{,}5, es decir, −1 s−1-1\ \mathrm{s^{-1}} y −4 s−1-4\ \mathrm{s^{-1}}. (b) Las condiciones C1+C2=1C_1+C_2=1 y −C1−4C2=−6-C_1-4C_2=-6 dan C1=−2/3C_1=-2/3 y C2=5/3C_2=5/3. Por tanto, x(t)=−23e−t+53e−4tx(t)=-\tfrac23e^{-t}+\tfrac53e^{-4t} en metros. (c) El cruce ocurre cuando e−3t=2/5e^{-3t}=2/5, en t=ln⁡(5/2)/3≈0,3054 st=\ln(5/2)/3\approx0{,}3054\ \mathrm s. La velocidad se anula cuando e−3t=1/10e^{-3t}=1/10, en t=ln⁡10/3≈0,7675 st=\ln10/3\approx0{,}7675\ \mathrm s, donde la posición alcanza su mínimo, x≈−0,2321 mx\approx-0{,}2321\ \mathrm m. Después se acerca al equilibrio desde valores negativos. (d) La solución se escribe x(t)=eλ1t(C1+C2e(λ2−λ1)t)x(t)=e^{\lambda_1t}\bigl(C_1+C_2e^{(\lambda_2-\lambda_1)t}\bigr) y el factor exponencial nunca se anula. Si C2≠0C_2\neq0, el paréntesis es estrictamente monótono y tiene a lo sumo un cero. Si C2=0C_2=0, una solución no nula no se anula nunca.

Solución 41.6. (a) La condición x(0)=0x(0)=0 obliga a que la parte homogénea compense el valor inicial de la particular, por lo que C1=−a≈−0,388673 mC_1=-a\approx-0{,}388673\ \mathrm m. De la condición sobre la velocidad se obtiene C2=−(bΩ+αa)/ωd≈−0,283348 mC_2=-(b\Omega+\alpha a)/\omega_d\approx-0{,}283348\ \mathrm m. (b) La amplitud inicial de la parte homogénea es C12+C22≈0,480992 m\sqrt{C_1^2+C_2^2}\approx0{,}480992\ \mathrm m. La condición 0,480992 e−0,4t<0,01×0,4712740{,}480992\,e^{-0{,}4t}<0{,}01\times0{,}471274 da t>ln⁡(102,06)/0,4≈11,56 st>\ln(102{,}06)/0{,}4\approx11{,}56\ \mathrm s. (c) Ese instante equivale a unos 2,762{,}76 períodos de la fuerza. Una integración numérica confirma que, desde ese instante, la diferencia entre la solución y la respuesta estacionaria no supera 0,0047 m0{,}0047\ \mathrm m.

Referencias

Arnold, V. I. (1989). Mathematical methods of classical mechanics (2.ª ed.). Springer. https://doi.org/10.1007/978-1-4757-2063-1

Guckenheimer, J. y Holmes, P. (1983). Nonlinear oscillations, dynamical systems, and bifurcations of vector fields. Springer. https://doi.org/10.1007/978-1-4612-1140-2

Hairer, E., Nørsett, S. P. y Wanner, G. (1993). Solving ordinary differential equations I: Nonstiff problems (2.ª ed. rev.). Springer. https://doi.org/10.1007/978-3-540-78862-1

Strogatz, S. H. (2015). Nonlinear dynamics and chaos: With applications to physics, biology, chemistry, and engineering (2.ª ed.). Westview Press.

Virtanen, P., Gommers, R., Oliphant, T. E., Haberland, M., Reddy, T., Cournapeau, D., Burovski, E., Peterson, P., Weckesser, W., Bright, J., van der Walt, S. J., Brett, M., Wilson, J., Millman, K. J., Mayorov, N., Nelson, A. R. J., Jones, E., Kern, R., Larson, E., … SciPy 1.0 Contributors. (2020). SciPy 1.0: Fundamental algorithms for scientific computing in Python. Nature Methods, 17(3), 261–272. https://doi.org/10.1038/s41592-019-0686-2