Дано решение дифференциального уравнения y' = y^2 с начальными условиями. Обсудите, при каких начальных данных решение разрывается за конечное время и как предсказать момент разрыва
Решение получают разделением переменных. Для начальных данных y(t0)=y0y(t_0)=y_0y(t0)=y0: ∫y0y(t)dyy2=∫t0tdt⇒−1y(t)+1y0=t−t0.
\int_{y_0}^{y(t)} \frac{dy}{y^2}=\int_{t_0}^{t} dt \quad\Rightarrow\quad -\frac{1}{y(t)}+ \frac{1}{y_0}=t-t_0. ∫y0y(t)y2dy=∫t0tdt⇒−y(t)1+y01=t−t0.
Отсюда явная формула y(t)=11y0−(t−t0)=y01−y0(t−t0).
y(t)=\frac{1}{\frac{1}{y_0}-(t-t_0)}=\frac{y_0}{1-y_0(t-t_0)}. y(t)=y01−(t−t0)1=1−y0(t−t0)y0. Разрыв (взрыв, blow-up) происходит тогда, когда знаменатель обращается в ноль. Момент разрыва TTT определяется из 1y0−(T−t0)=0⇒T=t0+1y0.
\frac{1}{y_0}-(T-t_0)=0\quad\Rightarrow\quad T=t_0+\frac{1}{y_0}. y01−(T−t0)=0⇒T=t0+y01. Следствия: - Если y0>0y_0>0y0>0, то T=t0+1/y0>t0T=t_0+1/y_0>t_0T=t0+1/y0>t0: решение разрывается через конечное положительное время в будущем (при t→T−t\to T^-t→T− имеем y(t)∼1T−ty(t)\sim\frac{1}{T-t}y(t)∼T−t1). - Если y0=0y_0=0y0=0, то y(t)≡0y(t)\equiv0y(t)≡0 для всех ttt (нет разрыва). - Если y0<0y_0<0y0<0, то T<t0T<t_0T<t0: разрыв в прошлом, а на полуоси t>t0t>t_0t>t0 решение существует глобально и стремится к 0−0^-0− при t→+∞t\to+\inftyt→+∞. Обобщение: для уравнения y′=f(y)y'=f(y)y′=f(y) критерий конечного разрыва — конечность интеграла ∫y0∞dyf(y)\int_{y_0}^{\infty}\frac{dy}{f(y)}∫y0∞f(y)dy. Для f(y)=y2f(y)=y^2f(y)=y2 этот интеграл равен 1/y01/y_01/y0, что согласуется с найденным моментом разрыва.
∫y0y(t)dyy2=∫t0tdt⇒−1y(t)+1y0=t−t0. \int_{y_0}^{y(t)} \frac{dy}{y^2}=\int_{t_0}^{t} dt \quad\Rightarrow\quad -\frac{1}{y(t)}+ \frac{1}{y_0}=t-t_0.
∫y0 y(t) y2dy =∫t0 t dt⇒−y(t)1 +y0 1 =t−t0 . Отсюда явная формула
y(t)=11y0−(t−t0)=y01−y0(t−t0). y(t)=\frac{1}{\frac{1}{y_0}-(t-t_0)}=\frac{y_0}{1-y_0(t-t_0)}.
y(t)=y0 1 −(t−t0 )1 =1−y0 (t−t0 )y0 .
Разрыв (взрыв, blow-up) происходит тогда, когда знаменатель обращается в ноль. Момент разрыва TTT определяется из
1y0−(T−t0)=0⇒T=t0+1y0. \frac{1}{y_0}-(T-t_0)=0\quad\Rightarrow\quad T=t_0+\frac{1}{y_0}.
y0 1 −(T−t0 )=0⇒T=t0 +y0 1 .
Следствия:
- Если y0>0y_0>0y0 >0, то T=t0+1/y0>t0T=t_0+1/y_0>t_0T=t0 +1/y0 >t0 : решение разрывается через конечное положительное время в будущем (при t→T−t\to T^-t→T− имеем y(t)∼1T−ty(t)\sim\frac{1}{T-t}y(t)∼T−t1 ).
- Если y0=0y_0=0y0 =0, то y(t)≡0y(t)\equiv0y(t)≡0 для всех ttt (нет разрыва).
- Если y0<0y_0<0y0 <0, то T<t0T<t_0T<t0 : разрыв в прошлом, а на полуоси t>t0t>t_0t>t0 решение существует глобально и стремится к 0−0^-0− при t→+∞t\to+\inftyt→+∞.
Обобщение: для уравнения y′=f(y)y'=f(y)y′=f(y) критерий конечного разрыва — конечность интеграла ∫y0∞dyf(y)\int_{y_0}^{\infty}\frac{dy}{f(y)}∫y0 ∞ f(y)dy . Для f(y)=y2f(y)=y^2f(y)=y2 этот интеграл равен 1/y01/y_01/y0 , что согласуется с найденным моментом разрыва.