Classical solution of the Cauchy problem for a semilinear hyperbolic equation in the case of two independent variables

In the upper half-plane, we consider a semilinear hyperbolic partial differential equation of order higher than two. The operator in the equation is a composition of first-order differential operators. The equation is accompanied with Cauchy conditions. The solution is constructed in an implicit analytical form as a solution of some integral equation. The local solvability of this equation is proved by the Banach fixed point theorem and/or the Schauder fixed point theorem. The global solvability of this equation is proved by the Leray-Schauder fixed point theorem. For the problem in question, the uniqueness of the solution is proved and the conditions under which its classical solution exists are established.