On 1-1 bivariate transformations (Q1803993)

The authors study a class of one-to-one tensor mappings defined on a rectangular region of the plane. Such mappings are of interest in image processing, computer vision, biological morphology, cartography, and medical imaging. Their main result is as follows. Theorem. Let \(r>0\) be given. Suppose that \(a\) and \(b\) are functions on \(H\) with partial derivatives satisfying \(\| a_ x\|< {1\over 2}\), \(\| a_ y\|<{r\over 2}\), \(\| b_ x\|\leq {1\over 2r}\), \(\| b_ y\|<{1\over 2}\). Then the transformation \(T: H\to\mathbb{R}^ 2\) is one- to-one on \(H\), where \(H=I\times J\) is a rectangle in the plane and \(T(x,y)= (u(x,y),v(x,y))\) with \(u(x,y)=x+a(x,y)\), \(v(x,y)=y+b(x,y)\), \(a\) and \(b\) being continuous functions defined on \(H\).