Approximating crossed symmetric solutions of nonlinear dynamic equations via quasilinearization. (Q1427921)

Here, second-order forward dynamic equations \[ u^{\Delta\Delta}=f(\sigma(t),u^\sigma) \] and their companion backward problems \[ u^{\nabla\nabla}=f(\rho(t),u^\rho) \] under the boundary condition \(u(a)=u(b)=0\) are studied. The equations are defined on compact time scales (i.e., compact subset of the reals) with a certain symmetry property, \(u^\Delta\) resp.~\(u^\nabla\) denote \(\Delta\)- resp.~\(\nabla\)-derivative of \(u\), and \(\sigma,\rho\) are the jump operators. The primary purpose of the authors is to study the upper and lower solutions of such nonlinear companion dynamic equations that produce crossed symmetric solutions on time scales. Upper and lower solutions for complementary pairs of forward and backward dynamic boundary value problems are introduced, a quasilinearization procedure for approximating the companion dynamic problems associated with the \(\Delta\)- and \(\nabla\)-derivatives is established and qualitative results are given. Finally, several numerical experiments close their discussion.