Localization results for impulsive second order coupled systems on the half-line and application to logging timber by helicopter (Q1738307)

The authors consider a boundary value problem on the half-line for a system of two second order ODEs with impulses at fixed times \[ u''(t) = f(t,u(t),v(t),u'(t),v'(t)), \quad t\in (0,\infty),\ t \ne t_k, \] \[ v''(t) = h(t,u(t),v(t),u'(t),v'(t)), \quad t\in (0,\infty),\ t \ne \tau_j, \] \[ u(0) = A_1, \ v(0) = A_2, \] \[ u'(\infty) = B_1, \ v'(\infty) = B_2, \] \[ \triangle u(t_k) = I_{0k}(u(t_k)),\ \triangle v(\tau_j) = J_{0j}(v(\tau_j)), \] \[ \triangle u'(t_k) = I_{1k}(u(t_k),u'(t_k)),\ \triangle v'(\tau_j) = J_{1j}(v(\tau_j),v'(\tau_j)), \] \[ k,j \in\mathbb{N}, \] where $f,h : [0,\infty) \times\mathbb{R}^4 \to\mathbb{R}$ are $L^1$-Carathéodory functions, $A_i,B_i \in\mathbb{R}$, $I_{0k},J_{0j} :\mathbb{R} \to\mathbb{R}$, $I_{1k},J_{1k} : \mathbb{R}^2 \to \mathbb{R}$ are Carathéodory sequences with some monotone conditions and $0 < t_1 < \dots < t_n < \dots$, $0 < \tau_1 < \dots < \tau_j < \dots$. \par Using the method of lower and upper solutions, the existence of solution to this problem is obtained under Nagumo-like growth conditions for $f$ and $h$. As a main tool for the existence of solution, the existence result from the authors' previous paper [Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 113, No. 2, 917--930 (2019; Zbl 1436.34023)] is utilized. Also, the applicability of the results is shown.