1: \begin{proof} The  rigorous proof follows similar steps that those one in Lemma \ref{Solve_Poisson}. Here, we just compute formally that $(\Delta \pa^{2k}\psi, \psi)=-(\pa_x \pa^{2k}\bar{\rho},\psi)$ implies $||\nabla\pa^k\psi||^2_{L^2(\Omega)}=(\pa^k\bar{\rho},\pa_x\pa^k\psi)$. Thus $||\pa^k \mathbf{u}||^2_{L^2(\Omega)}=-(\pa^k\bar{\rho},\pa^k u_2)$.

2: \end{proof}

3: