A note on Bihari type inequalities in two independent variables (Q1105718)

The main result of this note is the following Theorem. Let the functions \(\phi\), a, and c belong to the class \(C(R^ 2_+,R_+)\), \(R_+=[0,\infty)\), and \(W(u)\) belong to \(C(R_+,R_+)\) with \(W(u)>0\) for \(u>0\). Let further the partial derivatives \(a_ x(x,y)\), \(a_ y(x,y)\) and \(a_{xy}(x,y)\) exist and be continuous for \(x\geq 0\), \(y\geq 0\). If the Bihari type inequality \[ (1)\;\phi (x,y) \leq a(x,y) + \int^{x}_{0}\int^{y}_{0}c(s,t)W(\phi(s,t))ds dt \] holds for all \(x\geq 0\), \(y\geq 0\), then \[ (2)\;\phi(x,y) \leq \Omega^{-1}[\Omega (a(0,y))+\omega (a(x,0))-\Omega (a(0,0)) + \int^{x}_{0}\int^{y}_{0}c(s,t)ds dt], \] \(x\geq 0\), \(y\geq 0\), where \(\Omega (r):=\int^{r}_{r_ 0}ds/W(s)\), \(r\geq r_ 0>0\), \(\Omega^{- 1}\) is the inverse function of \(\Omega\), and it is assumed that the quantity in the square bracket of (2) belongs to the domain of \(\Omega^{-1}.\) \{ Reviewer's remark: To ensure the validity of the proof, an additional condition on the existence (or, and continuity) of \(W'(u)\) should be added in the assumptions.\}