General problems of explicit integration of differential inequalities (Q1742118)

The author study the explicit solvability of the differential inequality \[ x'\leq f(t,x),\quad t\in(a,b).\tag{1} \] It is proved that all solution of the inequality (1) in the domain \(A\subseteq \mathbb{R}^2\) can be obtained by the formula \(x(t)=F(t,C(t))\), where \(C(t)\) is an arbitrary smooth nonincreasing (if \(F'_C>0\)) or nondecreasing (if \(F'_C<0\)) function whose graph lies entirely in domain of definition of bijection \((t,C(t)): B\mapsto A\). Also, it is proved that if the graph of the solution \(x(t)\) of inequality (1) lies in some compact \(K\) at \(t\in(a,b)\), then there exist the limits \(\displaystyle \lim\limits_{t\to b-0} x(t)\) and \(\displaystyle \lim\limits_{t\to a+0} x(t)\). The author's approach is based on integrating the inequality (1), using the general solution for the corresponding differential equation \(x'(t)=f(t,x)\). The author gives some examples which show that the presented method is more effective than well known comparison method.