A global implicit function theorem (Q803300)

Let f(x,y) be a function of two variables defined on an open set U contained in \({\mathbb{R}}^ 2\). Let \(D_ 1^+f(D_ 2^+f)\) denote the upper right Dini derivate of f with respect to the 1-st place (2-nd place) variable. Likewise \(D_ 1^-f(D_ 2^-f)\) denotes the upper left Dini derivate of f with respect to the 1-st place (2-nd place) variable. Let \(D_ 1f(D_ 2f)\) denote the partial derivative of f with respect to the 1-st place(2-nd place) variable, if this partial derivative exists. The following theorem is proved: Let f be a continuous function on U and let \(D_ 1^+f\), \(D_ 1^-f\), \(D_ 2^+\), \(D_ 2^-f\) be each \(<\infty\). Let \(D_ 2^+f>0,\) and let \(D_ 1^+(D_ 2^+f)\) be locally bounded on U. Then almost every point \((x_ 0,y_ 0)\in U\) lies in a segment \(I=\{(x,y_ 0)\in U:a<x<b\}\) for which there is a continuous function g defined on I such that \(g(x_ 0)=y_ 0\) and \(f(x,g(x))=f(x_ 0,y_ 0)\) for \((x,y_ 0)\in I;\) moreover, at almost every point of I (relative to I) the derivatives \(g'\), \(D_ 1f\) and \(D_ 2f\) exist and \(g'=-D_ 1f/D_ 2f.\) A variation that employs Baire category instead of Lebesgue measure is also provided.