1: \begin{proof}

2: The argument below is formal,

3: but it can be turned into a rigorous proof using standard methods in multiscale analysis;

4: see e.g.\ \cite{pavliotis2011applied}.

5: Expanding the solution in powers of $\varepsilon$ and gathering terms multiplying equal powers of $\varepsilon$,

6: a system of equations similar to \cref{eq:galerkin_asymptotics:first_equation,eq:galerkin_asymptotics:second_equation,eq:galerkin_asymptotics:third_equation} can be obtained,

7: differing only by the presence of the corrective drift term next to $\hat {\mathcal L}_1$.

8: The solvability condition for the first equation implies that $\varrho_0 = \rho^x_d(x, t) \, \varphi_{0,d}(\eta)$.

9: For the second equation,

10: we see from the definition of $\mu_d$ and

11: using the symmetry of $\hat {\mathcal L}_0$ in $\lp{2}{\real^2}[\e^{V_{\eta}(\eta) + U_x(x)}]$,

12: that the Fredholm solvability condition is automatically satisfied,

13: which enables solving for $\varrho_1$:

14: \begin{align*}

15:     \label{eq:galerkin_asymptotics:rho_1}

16:     \varrho_1 = {(-\hat \Pi_d \, \mathcal L_0^* \, \hat \Pi_d + \abs{\lambda_{0,d}} \, \id)}^{-1} \left( -(\mu_d + \sqrt{2 \, \beta^{-1}} \, \zeta \, \eta) \, \varphi_{0,d} \right) \, \derivative{1}[\rho^x_d]{x} + \Phi_1(x, t) \, \varphi_{0,d}.

17: \end{align*}

18: Writing out the solvability condition for the third equation,

19: we obtain the effective equation for $\rho^x_d$:

20: \begin{equation*}

21:     \label{eq:galerkin_asymptotics:centering_condition_third_equation}

22:     \derivative{1}[\rho^x_d]{t} = \hat {\mathcal L_2} \, \rho^x_d(x, t) \, + \int_{\real} \left(\hat {\mathcal L_1} - \mu_d \, (\hat \Pi_d \,{\textstyle \derivative{1}{x}} \hat \Pi_d)\right) \, \varrho_{1} \, \varphi_{0,d} \, \e^{V_{\eta}} \, \d \eta,

23: \end{equation*}

24: which after expansion of the terms is \cref{eq:effective_fokker_planck_equation}.

25: \end{proof}

26: