А речь шла про решение при конкретных начальных условиях.
Не обязательно. Основным было то, что понятие решения дифференциального уравнения включает интервал, на котором это решение определено: решением дифференциального уравнения на интервале
называется функция, определённая на этом интервале и удовлетворяющая известным условиям. Рассматривать решение на несвязном множестве в принципе можно, но фактически не интересно, так как решение, определённое на одной части этого множества, невозможно однозначно продолжить на другую часть. Для уравнения
решение
, определённое на интервале
, можно "продолжить" на интервал
решением
с любой постоянной
. Эти два решения мы никак не можем связать друг с другом, чтобы отдать предпочтение какому нибудь конкретному значению
.
В случае с уравнением
ситуация была другой. Те два решения, которые я
выше рассматривал, не могут быть частями одного решения, так как при продолжении по непрерывности в точку
они имеют в этой точке разные значения, так что у нас не получится непрерывной функции на
. Напротив, требуя непрерывность продолжения, мы можем сделать продолжение однозначным (для дифференциальных уравнений более высокого порядка нужно требовать также непрерывность соответствующего числа производных).