1: \begin{abstract}

2: This paper is the first one of two serial articles, whose goal is to prove convergence of HX Preconditioner (proposed by Hiptmair and Xu \cite{HX}) for Maxwell's equations with jump coefficients.

3: In this paper we establish various extensions of the regular

4: Helmholtz decomposition for edge finite element functions defined in three dimensional domains. The functions defined by the new regular Helmholtz decompositions can preserve the

5: zero tangential complement on faces and edges of polyhedral domains and some non-Lipchitz domains, and possess stability estimates

6: with only a $logarithm$ factor. These regular Helmholtz decompositions will be used to prove convergence of HX preconditioner for Maxwell's

7: equations with jump coefficients in another paper \cite{Hu2-2017}.

8: \end{abstract}

9: