La motivación de lo que sigue es convertir la ecuación integro-diferencial
\begin{equation} \kappa\ddot x+\dot x=-kx+\beta\int_{-\infty}^t W'(x(t)-x(s))e^{s-t}ds, \end{equation}
en un sistema de EDOs no lineales
\begin{equation} \begin{split} \dot{x}&=v,\\ \dot{v}&=\frac{1}{\kappa}(\beta M_0-v-kx),\\ \dot{M}_n&=-M_n+W^{(n+1)}(0)+vM_{n+1}. \end{split} \fin{sión}
Dejemos que
$$M_n=\int_{-\infty}^t W^{(n+1)}(x(t)-x(s))e^{s-t}ds,$$
para todos $n\in\mathbb{N}$ donde $W^{(n+1)}(z)$ es el $n+1$ -derivada de $W$ con respecto a $z$ . No veo cómo la última línea de la prueba de abajo es equivalente a $-M_{n+1}+W^{(n+2)}(0)+vM_{n+2}$ ? Tal vez me equivoqué en la sustitución de la línea 3. Cualquier ayuda será muy apreciada.
Aplicando la regla integral de Leibniz, observe que para $n=0$ , \begin{equation*} \begin{split} \dot{M_0}&=\frac{\partial}{\partial t}\int_{-\infty}^t W^{(1)}(x(t)-x(s))e^{s-t}ds\\ &=W^{(1)}(0)+\int_{-\infty}^t e^{s-t}\left(\dot{x}W^{(2)}(x(t)-x(s))-W^{(1)}(x(t)-x(s))\right)ds,\\ &=-M_0+W^{(1)}(0)+\dot{x}M_1. \end{split} \end{equation*} El paso inductivo es entonces \begin{equation*} \begin{split} \dot{M}_{n+1} &= \frac{\partial}{\partial t} \left(\frac{\dot{M}_n+M_n-W^{(n+1)}(0)}{v}\right),\\ &=\frac{v\frac{\partial}{\partial t}\left(\dot{M}_n+M_n-W^{(n+1)}(0)\right)-\dot{v}(\dot{M}_n+M_n-W^{(n+1)}(0))}{v^2},\\ &=\frac{v\ddot{M}_n+v\dot{M}_n-\dot{v}\dot{M}_n-\dot{v}M_n-vW^{(n+2)}(0)+\dot{v}W^{(n+1)}(0)}{v^2},\\ &=\frac{\ddot{M}_n+\dot{M}_n-\dot{v}M_{n+1}-W^{(n+2)}(0)}{v}.\\ \end{split} \end{equation*}
