¿Cuál es la amplitud del ciclo límite del oscilador de van der Pol?

En la segunda edición de Dinámica clásica de partículas y sistemas de Jerry B. Marion, se dice que la ecuación de van der Pol

X ¨ m ( X 0 2 X 2 ) X ˙ + ω 0 2 X = 0
dónde m es un parámetro positivo de pequeño valor, tiene un ciclo límite con amplitud | X 0 | (estoy parafraseando esto de la primera edición en español) y hasta lo ilustra como

Ilustración de Marion van der Pol

En ediciones más recientes esto se ha eliminado, pero no agregan nada nuevo en absoluto. A partir de la ecuación de vdP solo parece que esto es correcto, pero me di cuenta de que el ciclo límite no tiene esta amplitud en ningún m caso, por ejemplo, para m = 0.1 y X 0 = 1 , la trama en el espacio de fases se ve como (en Mathematica)

van der Pol con $\mu=0.1$, $x_0=1$

Probé diferentes valores y el comportamiento es el mismo, por ejemplo, para m = 5 y X 0 = 9 , la gráfica de la posición en el tiempo es

Van der Pol con $\mu=5$, $x_0=9$

En ambos casos la amplitud parece ser 2 | X 0 | . Creo que entiendo intuitivamente lo que sucede al ver las líneas de campo del oscilador y cómo cambia el comportamiento (amortiguación) cuando cruza X = X 0 , por ejemplo, para m = 1 y X 0 = 2 ,

Van der Pol con $\mu=1$, $x_0=2$

Pero, ¿cómo puedo encontrar la amplitud real del ciclo límite y por qué no es simplemente | X 0 | como sugiere la ecuación de van der Pol?

Respuestas (1)

Así que no soy un experto en ciclos límite de ninguna manera, pero estoy intrigado por este problema, así que esto es lo que se me ocurrió.

Tratemos el término no lineal perturbativamente. Esto no será suficiente para probar la existencia del ciclo límite para valores grandes de m , pero dado que aparentemente hay una prueba de que esto funciona perturbativamente, será suficiente para nosotros.

Tomemos un ansatz

X ( t ) = X ¯ ( t ) + m d ( t )
dónde
X ¯ ( t ) = a porque ( ω 0 t )
Aquí m d ( t ) es una pequeña perturbación. Para que quede claro, estoy pensando en m como el pequeño parámetro, d no es una función pequeña. Supongo que la perturbación escalará como m (Opuesto a m 2 o m 3 ), esto se justificará más adelante. (bueno, en realidad no lo justifico explícitamente más adelante. El punto es que el O ( m ) ecuación a continuación no habría dado ninguna información útil si esta escala hubiera sido incorrecta).

Por cierto, si pudiéramos calcular la forma del ciclo límite para grandes m podríamos generalizar el análisis haciendo X ¯ igual al ciclo límite y luego ejecutar todos los pasos a continuación. El punto de lo pequeño m aproximación es que el ciclo límite debe ser aproximadamente la trayectoria del oscilador armónico en este límite. No sé mucho sobre estas cosas, pero no me sorprendería si hubiera una forma de calcular la curva del ciclo límite.

Lo que esperamos que suceda es que haya un valor especial de a tal que este ansatz es estable (lo que significa que d no explotará). Numéricamente has descubierto que este valor es a = 2 X 0 , nos gustaría ver si también podemos ver esto peturbativamente.

Así que expandimos la ecuación. En O ( m 0 ) , encontramos la ecuación del oscilador armónico, por supuesto.

En O ( m ) obtenemos una ecuación para d :

d ¨ + ω 0 2 d = ( X 0 2 X ¯ 2 ) X ¯ ˙

Después de suscribirse en el formulario de X ¯ y usando algunas identidades trigonométricas encontramos

d ¨ + ω 0 2 d = a ω 0 X 0 2 pecado ( 3 ω 0 t ) + a ω 0 ( a 2 4 X 0 2 ) porque 2 ω 0 t pecado ω 0 t

Este es un oscilador armónico forzado: el lado derecho tiene dos términos forzados. Veamos el segundo:

porque 2 ( ω 0 t ) pecado ( ω 0 t ) = pecado ( ω 0 t ) pecado 3 ( ω 0 t ) = 1 4 pecado ( ω 0 t ) + 1 4 pecado ( 3 ω 0 t )

Aquí hay varios términos, pero el problema es que hay un término con frecuencia ω 0 . Esto impulsa al oscilador a su frecuencia resonante, creando una inestabilidad.

Entonces, las fluctuaciones son inestables mientras esté presente el segundo término.

Pero precisamente cuando a = 2 X 0 , el peligroso término de conducción resonante desaparece y las fluctuaciones son estables.

Voilá.

¡Muy bien, gracias! La amplitud para arbitrariamente grande m parece no cambiar, así que tal vez haya una manera de probar analíticamente, en general, que es 2 X 0 .