1: \begin{definition}[Lagrangian parameterization]\label{Lagrpar}

2: 	Let $\omega\subset\R^2$ be an open set and $f:\omega\to\R$ a continuous function.

3: 	A \emph{ Lagrangian parameterization} associated with the vector field $\nabla^f$

4: 	is a  continuous map $\Psi:\,\tilde\omega\to\omega$, with $\tilde\omega$ open, that satisfies

5: 	\begin{itemize}

6: 		%

7: 		\item[(L.1):] $\Psi(\tilde\omega)=\,\omega$;

8: 		%

9: 		\item[(L.2):] $\Psi(s,\tau)= (s,\chi(s,\tau))$ for a suitable continuous function $\chi:\,\tilde\omega\to\R$ and, for every $s\in\R$, the function

10: 		$\tilde\omega_{2,s}\ni \tau\mapsto\chi(s,\tau)$ is nondecreasing;

11: 		%

12: 		\item[(L.3):] for every $ \tau\in\R$, for every $(s_1,s_2)\subset\tilde\omega_{1,\tau}$, the curve $(s_1,s_2)\ni s\mapsto\Psi(s,\tau)$ is absolutely continuous and it is an integral curve of $\nabla^f$, that is

13: 		\begin{equation*}%\label{E:generalODE}

14: 			\partial_s\Psi(s,\tau)=\nabla^f(\Psi(s,\tau))\quad{\rm a.e.\ }s\in(s_1,s_2).

15: 		\end{equation*}

16: 	\end{itemize}

17: 	Equivalently, condition (L.3) can be rephrased as: 

18: 	for every $ \tau\in\R$, for every $(s_1,s_2)\subset\tilde\omega_{1,\tau}$, we have $\de_s\chi(s,\tau)=f(s,\chi(s,\tau))$, for almost every $s\in(s_1,s_2)$.

19: 

20: 	A Lagrangian parameterization $\Psi:\,\tilde\omega\to\omega$, is said to be {\it absolutely continuous} if   it satisfies the  Lusin (N) condition, that is, for every $E\subset\tilde\omega$, if $\cal L^2(E)=\,0$ then $\cal L^2(\Psi(E))=\,0$.

21: 	A {\it Lagrangian homeomorphism} $\Psi:\,\tilde\omega\to\omega$, is an injective Lagrangian parameterization.

22: 	By the Invariance of Domain Theorem, the injectivity implies that a Lagrangian homeomorphism is indeed a homeomorphism.

23: \end{definition}

24: