Traces of non regular vector fields on Lipschitz domains

In this note, for Lipschitz domains Ω ⊂ Rn, I propose to show the boundedness of the trace operator for functions from H1(Ω) to L2(∂Ω) as well as for square integrable vector fields in L2 with square integrable divergence and curl satisfying a half boundary condition. Such results already exist in the literature. The originality of this work lies on the control of the constants involved. The proofs are based on integration by parts formulas applied to the right expressions.