On the a priori boundedness of derivatives of solutions for a system of ordinary differential equations (Q1905282)

A system of ordinary differential equations of the form (*) \(x_i^{(n_i)} = f_i (t, x_1, \dots, x_1^{(n_1 - 1)}, \dots, x_m\), \(\dots, x_m^{(n_m - 1)})\), \(t \in [0,1]\), \(x_i \in R\), \(i = 1, \dots, m\), is considered. It is assumed that \(f_i\) are continuous and satisfy the inequalities \[ \bigl |f_i (\dots) \bigr |\leq \sum^{r_i}_{j = 1} g_{ij} (t) \prod^m_{k = 1} d_{l = 0}^{n_k - 1} |x_k^{(l)} |^{\alpha_{ijkl}}_{L_\infty (I)},\;t \in [0,1], \] where \(\alpha_{ijkl}\) are nonnegative and \(0 \leq g_{ij} (t) \in L_1 [0,1]\). Let \(S = S(p_1, \dots, p_m, M_1, \dots, M_m) = \{(x_i (t))^m_{i = 1}\) is a solution to (*) such that \(|x_i |_{L_{p_i} [0,1]} < M_i \forall i \}\). The author establishes conditions which are sufficient for uniform boundedness of \((x_i^{(\nu)} (t))^m_{i = 1} \in S\), \(\nu = 0, \ldots, n_i - 1\).