Не люблю, когда прилетают нестандартные задачи, о которых в интернете мало что сказано.
Доказать по определению, что нулевое решение ДУ `x' = -3x` ассимптотически устойчиво.
Все, что я находил про устойчивость касалось исключительно систем. Я так понимаю, что передо мною стоит задача опустить условия для систем на одиночное ДУ.
Не хочу доказывать асс. уст-ть, пока не докажу обычную. Хотя может этого и не требуется делать.
Определение должно быть таким
Решение `y = \varphi(x)` является устойчивым по Ляпунову, если для любого `\epsilon > 0` существует такая `\delta(\epsilon) > 0`, что как только `|y(x_0) - \varphi(x_0)| < \delta` сразу же выполняется `|y(x) - \varphi(x)| < \epsilon` (для `x > x_0`).
Предположим, что в нашем случае `x' = dx/dt`, хотя как мне кажется, без разницы по какой букве выбирать дифференцирование.
Для начала я найду общее решение.
`dx/x = -3dt`
`lnx = -3t + C`
`x = C*e^{-3t}`
Нулевое решение, как я понимаю, это `x(0) = 0`. Решением такой задачи Коши является просто 0. А решением задачи `x(0) = x_0`, является функция `x = x_0*e^{-3t}`
Неравенства должны принимать такой вид
`|x_0 - 0| = |x_0| < \delta`
`|x_0*e^{-3t}| < \epsilon` для `t > t_0`
Положим `\delta = \epsilon`. Дальше можно сделать преобразования
`|x_0*e^{-3t}| = |x_0|*e^{-3t} < |x_0| < \delta = \epsilon` для `t > 0`
Для ассимптотической устойчивости достаточно сказать, что `|x(t) - \varphi(t)| -> 0`, при `t -> \infty`
То есть `lim_{t -> \infty} x_0*e^{-3t} = 0`. Это очевидно для положительных t, что нам и надо.
Все верно? Просто само выражение "нулевое решение" меня как-то смущает.