1: \begin{abstract}

2: Compensated convex transforms have been introduced for extended real valued functions defined over $\R^n$. In their application to 

3: image processing, 

4: interpolation and shape interrogation, where one deals with functions defined over a bounded domain, 

5: one was making the implicit assumption that the function coincides with its transform at the boundary of the data domain. 

6: In this paper,

7: we introduce local compensated convex transforms for functions defined in bounded open convex subsets $\Omega$

8: of $\R^n$ by making specific extensions of the function to the whole space, and establish their relations to 

9: globally defined compensated convex transforms via the mixed critical

10: Moreau envelopes. We find that the compensated convex transforms of such extensions

11: coincide with the local compensated convex transforms in the closure of $\Omega$.

12: We also propose a numerical scheme for computing Moreau envelopes, establishing

13: convergence of the scheme with the rate of convergence depending on the regularity of the original function. 

14: We give an estimate of the number of iterations needed for computing the discrete Moreau envelope. 

15: We then apply the local compensated convex transforms to image processing and shape interrogation.

16: Our  results are compared with those obtained by using schemes based on computing the convex envelope from the 

17: original definition of compensated convex transforms.

18: \end{abstract}

19: