\documentclass[JEP,XML,SOM,Unicode]{cedram}
\datereceived{2018-12-19}
\dateaccepted{2019-06-28}
\dateepreuves{2019-07-23}

\usepackage{mathrsfs}
\let\mathcal\mathscr

\providecommand{\eprintbio}[1]{\href{http://biorxiv.org/content/10.1101/#1}{\texttt{bioR{$\chi$}iv\string:\allowbreak#1}}}

\begin{DefTralics}
\newcommand{\eprintbio}[1]{\href{http://biorxiv.org/content/10.1101/#1}{\texttt{bioR{$\chi$}iv\string:\allowbreak#1}}}
\end{DefTralics}

\multlinegap0pt
\newenvironment{enumeratei}
{\bgroup\def\theenumi{\roman{enumi}}\def\theenumii{\arabic{enumii}}\begin{enumerate}}
{\end{enumerate}\egroup}
\def\mto{\mathchoice{\longmapsto}{\mapsto}{\mapsto}{\mapsto}}
\newcommand{\sbullet}{{\scriptscriptstyle\bullet}}
\newcommand{\csbullet}{{\raisebox{1pt}{$\sbullet$}}}
\newcommand{\Psfrac}[2]{(\sfrac{#1}{#2})}
\newcommand{\psfrac}[2]{\sfrac{(#1)}{#2}}
\newcommand{\spfrac}[2]{\sfrac{#1}{(#2)}}
\newcommand{\pspfrac}[2]{\sfrac{(#1)}{(#2)}}

\newcommand{\cB}{\mathcal{B}}
\newcommand{\cC}{\mathcal{C}}
\newcommand{\cI}{\mathcal{I}}
\newcommand{\cM}{\mathcal{M}}
\newcommand{\cN}{\mathcal{N}}
\newcommand{\cO}{\mathcal{O}}
\newcommand{\cS}{\mathcal{S}}
\newcommand{\cT}{\mathcal{T}}

\usepackage{tikz}
\usetikzlibrary{shapes}

\definecolor{green_mermoz}{rgb}{0,0.5,0}

\usepackage[noabbrev]{cleveref}
\creflabelformat{equation}{#2(#1)#3}
\crefname{thm}{Theorem}{Theorems}
\crefname{problem}{Problem}{Problems}
\crefname{prop}{Proposition}{Propositions}
\crefname{lem}{Lemma}{Lemmas}
\crefname{cor}{Corollary}{Corollaries}
\creflabelformat{problem}{#2(#1)#3}

\theoremstyle{plain}
\newtheorem{thm}{Theorem}[section]
\newtheorem{lem}[thm]{Lemma}
\newtheorem{prop}[thm]{Proposition}
\newtheorem{cor}[thm]{Corollary}
\newtheorem{defprop}[thm]{Definition-Proposition}

\theoremstyle{definition}
\newtheorem{definition}[thm]{Definition}
\newtheorem{remark}[thm]{Remark}

\newcommand{\loc}{\mathrm{loc}}
\newcommand{\comega}{\Omega^{\mathsf{c}}}

\renewcommand{\H}{\mathcal{H}_\eps}
\newcommand{\D}{\mathcal{D}_\eps}
\newcommand{\Je}{\mathcal{J}_\eps}

\newcommand{\N}{\mathbb{N}}
\newcommand{\RR}{\mathbb{R}}\let\R\RR
\let\eps\varepsilon
\let\ds\displaystyle

\newcommand{\abs}[1]{\left\lvert#1\right\rvert}
\newcommand{\Babs}[1]{\Bigl\lvert#1\Bigr\rvert}
\newcommand{\bbabs}[1]{\biggl\lvert#1\biggr\rvert}
\newcommand{\norm}[1]{\left\lVert#1\right\rVert}
\newcommand{\nalph}[1]{\left\lVert#1\right\rVert_\alpha}

\newcommand{\Ea}{\mathcal{E}^\alpha}
\newcommand{\Eaz}{\mathcal{E}^\alpha_0}
\newcommand{\QV}{G_\eps^V}
\newcommand{\dQVA}{dG_\eps^{V_1}}
\newcommand{\dQVB}{dG_\eps^{V_2}}
\newcommand{\dQVe}{dG_\eps^{V_\eps}}
\newcommand{\bz}{\overline{z}}

\newcommand{\Cgamma}{L_K(\gamma)}
\newcommand{\RK}{R_K}
\newcommand{\GK}{G_K}

\newcommand{\Gammam}{\Gamma^m_{\eps}}
\newcommand{\GammaI}{\Gamma^I_{\eps}}

\DeclareMathOperator{\Id}{Id}
\DeclareMathOperator{\lep}{\lambda_\varepsilon}
\DeclareMathOperator*{\argmin}{argmin}

\newcommand{\dint}{\displaystyle \int}
\newcommand{\vphia}{\varphi_\alpha}

\newcommand{\iep}[1]{I_\varepsilon (U_\varepsilon)(#1)}

\begin{document}
\frontmatter
\title{Asymptotic analysis of a quantitative genetics model with nonlinear integral operator}

\author[\initial{V.} \lastname{Calvez}]{\firstname{Vincent} \lastname{Calvez}}
\address{ICJ, UMR 5208 CNRS \& Universit\'{e} Claude Bernard Lyon 1, Lyon, France}
\email{vincent.calvez@math.cnrs.fr}
\urladdr{http://perso.ens-lyon.fr/vincent.calvez/}

\author[\initial{T.} \lastname{Garnier}]{\firstname{Jimmy} \lastname{Garnier}}
\address{LAMA, UMR 5127 CNRS \& Univ. Savoie Mont-Blanc, Chambéry, France}
\email{jimmy.garnier@univ-smb.fr}
\urladdr{https://www.lama.univ-savoie.fr/pagesmembres/garnier/}

\author[\initial{F.} \lastname{Patout}]{\firstname{Florian} \lastname{Patout}}
\address{UMPA, UMR 5669 CNRS \& Ecole Normale Sup\'erieure de Lyon, Lyon, France}
\email{florian.patout@ens-lyon.fr}
\urladdr{http://perso.ens-lyon.fr/florian.patout/}

\thanks{Part of this work was completed when VC was on temporary leave to the PIMS (UMI CNRS 3069) at the University of British Columbia. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 639638) and from the French National Research Agency with the project NONLOCAL (ANR-14-CE25-0013) and GLOBNETS (ANR-16-CE02-0009).}

\subjclass{35P20, 35P30, 35Q92, 35B40, 47G20}

\keywords{Non linear spectral theory, asymptotic analysis, integro-differential equations, quantitative genetics}

\begin{abstract}
We study the asymptotic behavior of stationary solutions to a quantitative genetics model with trait-dependent mortality and a nonlinear integral reproduction operator with a parameter describing the deviation between the offspring and the mean parental trait.
Our asymptotic analysis encompasses the case when the parameter is typically small. Under suitable regularity and growth conditions on the mortality rate, we prove existence and local uniqueness of a stationary profile that gets concentrated around a local optimum of mortality, with a Gaussian shape having small variance. Our approach is based on perturbative analysis techniques that require to describe accurately the correction to the Gaussian leading order profile. Our result extends previous results obtained with linear reproduction operator, but using an alternative methodology.
\end{abstract}

\alttitle{Analyse asymptotique d'un modèle de génétique quantitative avec un opérateur intégral non linéaire}

\altkeywords{Analyse spectrale non-linéaire, analyse asymptotique, équations intégro-différentielles, génétique quantitative}

\begin{altabstract}
Nous étudions le comportement asymptotique des solutions stationnaires d'un modèle de génétique quantitative. La sélection agit sur le trait, l'opérateur de reproduction est intégral et non linéaire, avec un paramètre décrivant la déviation du descendant par rapport à la moyenne du trait des parents. Nous étudions le régime où ce paramètre est petit. Nous prouvons alors l'existence et l'unicité locale d'un profil stationnaire ressemblant à une distribution gaussienne avec une petite variance. Notre approche est basée sur des techniques d'analyse perturbative pour mesurer précisément la déviation par rapport à l'ordre principal qu'est le profil gaussien.
\end{altabstract}

\maketitle
\tableofcontents
\mainmatter

\vspace*{-\baselineskip}\vskip0pt
\section{Introduction}
We investigate solutions $(\lambda_\eps,F_\eps) \in \R\times L^1(\R)$ of the following stationary problem:
\begin{equation}\label[problem]{eq:main_fep}\tag{$PF_\eps$}
\ \lambda_\eps F_\eps(z) + m(z) F_\eps(z) = \cB_\eps (F_\eps)(z), \quad z\in \R^d ,
\end{equation}
where $\cB_\eps (f)$ is the following non linear, homogeneous integral operator associated to the infinitesimal model \cite{Fisher1918,weberinfinitesimal}:
\begin{equation}
\cB_\eps (f)(z):= \dfrac{1}{\eps^d \pi^{\sfrac d2}} \iint_{\RR^{2d}} \exp\Bigl[ - \dfrac{1}{\eps^2} \Bigl(z - \dfrac{z_1 + z_2}2 \Bigr)^2 \Bigr ] f(z_1)\,\dfrac{f(z_2)}{ \int_{\R^d} f(z_2')\, d z_2'}\, d z_1 d z_2.\label{eq:Beps}
\end{equation}

In the context of quantitative genetics, the variable $z$ denotes a multi-dimensional phenotypic trait, $F_\eps(z)$ is the phenotypic distribution of the population and $m(z)$ is the (trait-dependent) mortality rate which results in the selection of the fittest individuals.

The mixing operator $\cB_\eps$ acts as a simple model for the inheritance of quantitative traits in a population with a sexual mode of reproduction. As formulated in \eqref{eq:Beps}, it is assumed that offspring traits are distributed normally around the mean of the parental traits $(z_1 + z_2)/2$, with a variance which remains constant across generations, here~$\eps^2/2$.

We are interested in the asymptotic behaviour of the trait distribution $F_\eps$ as $\eps^2$ vanishes.

This asymptotic regime was investigated thoroughly for various linear operators~$\cB_\eps$ associated with asexual reproduction such as for instance the diffusion operator $F_\eps(z) + \eps^2 \Delta F_\eps(z)$, or the convolution operator $\frac1\eps K(\frac z\eps)*F_\eps(z)$ where $K$ is a probability kernel with unit variance, see \cite{diekmann2005,perthame-book,barlesperthamecontemporary,
mirrahimiconcentration,
lorz2011dirac} for the earliest investigations, see further \cite{meleard_singular_2015,
mirrahimi_singular_2018,bouin_thin_2018} for the case of a fractional diffusion operator (or similarly a fat-tailed kernel $K$), and see further \cite{mirrahimi_adaptation_2013,
mirrahimi_asymptotic_2015,
bouin_hamiltonjacobi_2015,
lam_integro-pde_2017,
gandon_hamiltonjacobi_2017,
mirrahimi_hamiltonjacobi_2017, mirrahimi_evolution_2018,calvez_non-local_2018} for the interplay between evolutionary dynamics and a spatial structure. In the linear case, the asymptotic analysis usually leads to a Hamilton-Jacobi equation for the Hopf-Cole transform $U_\eps = -\eps \log F_\eps$. This yields an original problem with non-negativity constraint that requires a careful well-posedness analysis \cite{mirrahimi_class_2015,
calvez_uniqueness_2018}.

Much less is known about the non linear equation \eqref{eq:main_fep}, although this model is widely used in theoretical evolutionary biology to describe sexual reproduction, see \eg \cite{slatkin1970selection,
roughgarden1972evolution,
slatkin_niche_1976,
bulmerbook,menormal,
tufto_quantitative_2000,	
barfield_evolution_2011, huisman2012comparison,
cotto-ronce,
weberinfinitesimal,turelli_comm}.

From a mathematical viewpoint, the model~\eqref{eq:Beps} received recent attention in the field of probability theory \cite{weberinfinitesimal} and integro-differential equations~\cite{raoulmirrahimiinfinitesimal,Raoul}.
In the latter couple of articles, a scaling different from \eqref{eq:Beps} is studied: the variance is of order one, but there is a large reproduction rate that enforces the relaxation of the phenotypic distribution towards a Gaussian local equilibrium. Macroscopic equations are rigorously derived in \cite{Raoul}, in the case of an additional spatial structure, in the spirit of hydrodynamic limits for kinetic equations.

In a different context, a similar collisional operator as $\cB_\eps$ \eqref{eq:Beps} was introduced in the modelling of self-propelled particles with alignment interactions, see for instance \cite{bertin_boltzmann_2006,degond_local_2014}. When two particles interact they tend to align with the mean velocity, with some possible noise. However, there are some discrepancies with our case study, since the operator is not conservative in our case, by definition of a reproduction operator. Moreover, it is normalized by the total mass of the phenotypic distribution: $\int f(z_2')\, d z_2'$. The rationale behind this choice is that during the mating process, the first parent chooses the trait of its partner depending on its frequency in the population. This is the neutral case without any assumption about assortative mating. Moreover, this dependency upon the frequency rather than the density discards any small population effects that could arise from a quadratic collisional operator. Such homogeneity of degree
one is a key ingredient in our analysis.

The problem \eqref{eq:main_fep} is equivalent to the existence of special solutions of the form $\exp (\lambda_\eps t) F_\eps(z)$, for the following non-linear but one-homogeneous equation which will be the subject of future work:
\begin{equation}\label{eq:time marching}
\partial_t f(t,z) + m(z)f(t,z) = \cB_\eps(f)(t,z), \quad t>0,\; z\in \R^d.
\end{equation}
Alternatively speaking, the problem \eqref{eq:main_fep} expresses the balance between selection via trait-dependent mortality $m(z)$, and the generation of diversity through reproduction~$\cB_\eps$. The scalar $\lambda_\eps$ is analogous to the principal eigenvalue of the operator $\cB_\eps - m$. However, it might not be unique, as in the Krein-Rutman theory, see Corollary \ref{cor:uniqueness}. It measures the global fitness of the population: the population grows exponentially fast $\lambda_\eps>0$ when the reproduction term $\cB_\eps$ dominates, while it declines exponentially fast $\lambda_\eps<0$ when the mortality $m$ out-competes the reproduction.

This preliminary analysis on the stationary profile paves the way for a systematic analysis of various quantitative genetics models, including time marching problems and the combination of multiple effects.

Our work is inspired by similar asymptotics in the case of linear operator $\cB_\eps$, see the seminal work by \cite{diekmann2005} and references cited above. Accordingly, our goal is to analyze problem \eqref{eq:main_fep} in the limit of vanishing variance $\eps^2\to 0$. As there is few diversity generated in this asymptotic regime, we expect that the variance of the distribution solution $F_\eps$ vanishes as well. Actually, there is strong evidence that the leading order profile of $F_\eps$ is a Gaussian distribution with variance $\eps^2$. As a matter of fact, any Gaussian distribution with variance $\eps^2$ is invariant by the infinitesimal operator $\cB_\eps$ in the absence of selection ($m \equiv 0$, $\lambda_\eps = 1$) \cite{menormal,raoulmirrahimiinfinitesimal}. This motivates the following decomposition of the solution: \begin{equation}\label{eq:def_Ueps}
F_\eps(z) = \dfrac{1}{(2\pi)^{\sfrac d2} \eps^d} \exp\Bigl(-\dfrac{(z -z_0)^2}{2\eps^2} - U_\eps(z) \Bigr).
\end{equation}
The latter \eqref{eq:def_Ueps} is similar to the Hopf-Cole transform used in the asymptotic analysis of adaptative evolutionary dynamics in asexual populations. In our case $U_\eps$ is a corrector term that measures the deviation from the leading Gaussian distribution of variance $\eps^2$. Our analysis reveals that selection determines the center of the distribution $z_0$, as expected, and also reshapes the distribution $F_\eps$ via the corrector~$U_\eps$.

The operator $\cB_\eps$ is invariant by translation. Up to a translation of $m$, we may assume that the leading order Gaussian distribution is centered at the origin, \ie $z_0 = 0$. Next, up to a change of $\lambda_\eps \leftarrow \lambda_\eps + m(0)$, we may assume that $m(0) = 0$. Note that we may also assume $U_\eps(0) = 0$ without loss of generality, as the original problem is homogeneous.

Plugging the transformation of \eqref{eq:def_Ueps} into \eqref{eq:main_fep} yields the following equivalent problem for $U_\eps$:
\begin{equation}
\label[problem]{eq:PUeps}\tag{$PU_\eps$} \lambda_\eps + m(z) = I_\eps(U_\eps)(z) \exp \left(U_\eps(z)-2U_\eps\left(\sfrac{z}{2} \right) + U_\eps(0) \right), \quad z \in \R^d.
\end{equation}
The residual term from the integral contribution is the following non-local term $I_\eps(U_\eps)$, see Section \ref{sec:reformulation1} for the details of the derivation. Set
\begin{multline*}
E_\eps(y_1,y_2,z)\\
:=\exp \Bigl[-\dfrac{1}{2}y_1 \cdot y_2 - \dfrac{3}{4}\bigl (\abs{y_1}^2+\abs{y_2}^2 \bigr) +2 U_\eps\left(\sfrac{z}{2} \right) - U_\eps\left(\sfrac{z}{2}+\eps y_1 \right) - U_\eps\left(\sfrac{z}{2} +\eps y_2\right) \Bigr]
\end{multline*}
Then
\begin{equation}\label{eq:def_Ieps_int}
I_\eps(U_\eps)(z)= \dfrac{\ds \iint_{\R^{2d}} E_\eps(y_1,y_2,z)\, d y_1 d y_2 }
{\ds \pi^{d/2} \int_{\R^d} \exp\Bigl[ - \frac12 |y|^2 + U_\eps(0)- U_\eps(\eps y) \Bigr] d y}.
\end{equation}
This decomposition appears to be relevant because a formal computation shows that $I_\eps(U_\eps)\to 1$ as $\eps\to 0$. Establishing uniform convergence is actually a cornerstone of our analysis. Thus for small $\eps,$ the problem \eqref{eq:PUeps} is presumably close to the following corrector equation, obtained formally at $\eps =0$:
\begin{equation}\label[problem]{eq:PU0}\tag{$PU_0$}
\lambda_0 +m(z) = \exp \left(U_0(z)-2U_0\left(\sfrac{z}{2}\right) + U_0(0) \right), \quad z \in \R^d.
\end{equation}
Interestingly, this finite difference equation admits explicit solutions by means of an infinite series:
\begin{equation*}
U_0(z) = \gamma_0\cdot z + \sum_{k\geq 0} 2^k \log \left(\lambda_0 + m(2^{-k}z)\right),
\end{equation*}
However, two difficulty remains: identify (i) the linear part $\gamma_0\in\R^d$ and (ii) the unknown $\lambda_0\in\R$.
On the one hand, the linear part $\gamma_0$ cannot be recovered from \eqref{eq:PU0} because linear contributions cancel in the right-hand-side of \eqref{eq:PU0}. Thus, identifying the coefficient $\gamma_0$ will be a milestone of our analysis. On the other hand, two important conditions must be fulfilled to guarantee that the series above converges, namely:
\[ \lambda_0 + m(0) = 1,\quad \text{and} \quad \partial_z m(0) = 0.\]
The latter is a constraint on the possible translations that can be operated: the origin must be located at a critical point of $m$. The former prescribes the value of~$\lambda_0$ accordingly. These two conditions are necessary conditions for the resolvability of problem \eqref{eq:PU0}. Indeed, evaluating \eqref{eq:PU0} at $z=0$, we get the first identity. Next, differentiating and evaluating again at $z = 0$, we get the second identity.

In the sequel we make this formal discussion rigourous, following a perturbative approach for $\eps$ small enough. Before stating our main result, we need to prescribe the appropriate functional space for the corrector $U_\eps$.

\begin{definition}[Functional space for $U_\eps$]\label{def:Ea}
For any positive parameter 	$\alpha \leq 2/5$, we define the functional space \begin{equation*}
\Ea =\left\{
u \in \cC^3(\R^d)\::\: u(0)=0, \text{ and } \left|
\begin{array}{rr} \ds \abs{ D u(z)} & \\
\ds \left(1+|z| \right) ^\alpha \abs{ D^2 u(z) }& \\
\ds \left(1+|z| \right) ^\alpha \abs{ D^3 u(z) }& \\
\end{array} \right. \in L^\infty(\R^d)
\right\},
\end{equation*}
equipped with the norm
\begin{equation}\label{eq:normalpha}
\nalph{u} = \max \Bigl(\sup_{z \in \R^d} \abs{D u(z) }, \ \sup_{z \in \R^d} \ (1+\abs{z})^\alpha \left\{\abs{ D^2 u(z) }, \abs{ D^3 u(z) } \right\} \Bigr).
\end{equation}
\end{definition}
For any bounded set $K$ of $\Ea$, we use the notation $\nalph{K} = \sup_{u\in K} \|u\|_\alpha$. Occasionally we use the notation $\vphia$ for the weight function $\vphia(z) = (1+\abs{z})^\alpha$. Although $2/5$ is not the critical threshold, it happens that the exponent $\alpha$ cannot be taken too large in our approach. We set implicitly $\alpha = 2/5$ in the following results, however we leave it as a parameter to emphasize its role in the analysis, and to pinpoint the apparition of the threshold. Note that $\alpha>0$ is required in our approach, as one constant collapses in the limit $\alpha\to 0$ (see estimate \eqref{eq:alpha collapses} below).

Then, we detail the assumptions on the selection function $m$.
\begin{definition}[Assumptions on $m$]\label{def m}
The function $m$ is a $\cC^3(\R^d)$ function, bounded below, that admits a \emph{local} non-degenerate minimum at $0$ such that $m(0)=0$, and there exists $\mu_0>0$ such that $D^2 m(0) \geq \mu_0 \Id$ in the sense of symmetric matrices.
Furthermore we suppose that $(\forall z)\; 1+m(z) > 0$ and
\begin{equation}\label{eq:log m}
(1+\abs{z})^\alpha\, \dfrac{D^k m(z)}{1+m(z)} \in L^\infty(\R^d), \quad \text{for\, $k = 1,2,3$}.
\end{equation}
\end{definition}
\begin{remark}\label{rem:SM} Our result is insensitive to the sign of the local extremum. Indeed, one can replace the hypothesis that $m$ admits a ``local non degenerate \emph{minimum}'' at~$0$ with a ``local non degenerate \emph{maximum}'' at 0, and that there exists $\mu_0 <0$ such that $ D^2 m(0) \leq \mu_0 \Id$. However, we leave our main assumption as in Definition \ref{def m} as it is the most natural one from the point of view of stability analysis for the time-marching problem \eqref{eq:time marching}.
\end{remark}
The condition \eqref{eq:log m} is clearly verified if $m$ is a polynomial function. It would be tempting to write, in short, that $\log(1+m)\in \Ea$, which is indeed a consequence of~\eqref{eq:log m}. However, the latter condition also contains the decay of the first order deri\-va\-tive $D\log(1+m)$ with rate $|z|^{-\alpha}$, which is not contained in the definition of $\Ea$ \eqref{eq:normalpha} for good reasons.

We also introduce the subset $\Eaz$:
\begin{equation}\label{eq:E0}
\Eaz = \left\{ v \in \Ea\::\: D v(0)=0, \ D^2 v(0) \geq D^2 m(0) \geq \mu_0 \Id \right\},
\end{equation}
Then, our assumption on $m$ in fact guarantees	 that
\begin{equation}\label{cond logm inEaz}
\log(1+m) \in \Eaz.
\end{equation}
	

The main result of this article is the following theorem.
\skpt
\begin{thm}[Existence and convergence]\label{convergence PUeps}\begin{enumeratei}
\item\label{convergence PUeps1}
There exist $K_0$ a ball of $\Ea$, and $\eps_0 $ a positive constant, such that for any $\eps \leq \eps_0$, the problem \eqref{eq:PUeps} admits a unique solution $(\lambda_\eps, U_\eps) \in \R \times K_0$.

\item\label{convergence PUeps2}
The family $(\lambda_\eps,U_ \eps)_{\eps}$ converges to $(\lambda_0,U_0)$ as $\eps\to0$, with
\begin{align}
\label{eq:def_lambda0} \lambda_0 & = 1, \\
\label{eq:def_U0} \ds U_0(z) & = \gamma_0 \cdot z + V_0(z),
\end{align}
where
\begin{equation}
\label{eq:gamma0value}
\begin{split}
\gamma_0 &=
\begin{cases}
\dfrac{\partial^3_z m(0)}{2 \partial ^2_z m(0)}, &\text{if } d=1 \\[10pt]
\dfrac{1}{2} \left (D^2 m(0)\right)^{-1} D (\Delta m)(0),&\text{if } d>1
\end{cases}\\[5pt]
V_0 &= \sum_{k\geq 0} 2^k \log \left(1 + m(2^{-k}z)\right).
\end{split}
\end{equation}
Moreover, the convergence $U_\eps \to U_0$ is locally uniform up to the second derivative.
\end{enumeratei}
\end{thm}

An immediate remark is that the regularity required by \eqref{eq:log m}, and particularly the~$\cC^3$ regularity of $m$, is consistent with formula \eqref{eq:def_U0} which involves the pointwise value of third derivatives of $m$. Alternatively speaking we think that our result is close to optimal in terms of regularity.

It is important to notice that our result holds true for \emph{any} local minimum $z_0$ such that
\begin{equation}\label{comp cond}
m(z_0) < 1 + \inf m.
\end{equation}
One should define the functional spaces $\Ea$ and $\Eaz$ accordingly (and particularly replace the conditions $u(0) = 0$ and $Du(0) = 0$ by the conditions $u(z_0) = 0$ and $Du(z_0) = 0$), and then adapt \eqref{eq:def_lambda0}--\eqref{eq:def_U0} as follows, for the one-dimensional case:
\begin{align}
& \nonumber \lambda_0 = 1- m(z_0),\\
& \label{eq:defU0trans}\ds U_0(z_0+h) = \gamma_0 \cdot h + \sum_{k\geq 0} 2^k \log \left(1 +m(2^{-k}(z_0+h))-m(z_0)\right),
\end{align}
where $\gamma_0$ is defined by the same formula as in \eqref{eq:gamma0value} but evaluated at $z_0$. Immediately, one sees that the compatibility condition \eqref{comp cond} is necessary to have the positivity of the term inside the $\log$ in \eqref{eq:defU0trans}.
As a consequence, we have:
\begin{cor}[Lack of uniqueness]\label{cor:uniqueness}
If the selection function $m$ has at least two different local non-degenerate minima that verify the compatibility condition \eqref{comp cond}, there exists at least two pairs $(\lambda_\eps,F_\eps)$ solutions of problem \eqref{eq:main_fep} for $\eps$ small enough.
\end{cor}

\begin{figure}
\begin{center}
\includegraphics[height=.33\linewidth]{calvez-et-al_fig1} \quad
\includegraphics[height=.33\linewidth]{calvez-et-al_fig2}
\caption{Numerical simulations of the stationary problem \eqref{eq:main_fep} with $\eps = 0.1$ in an asymmetric double-well mortality rate (grey line). The numerical equilibrium is in yellow plain line. The only difference between the two simulations is the initial data (red dashed line). The simulations illustrate the lack of uniqueness for problem \eqref{eq:main_fep}.}
\end{center}\label{fig:doublewell}
\end{figure}

We performed numerical simulations to illustrate this phenomenon (see Figure \ref{fig:doublewell}). The function $m$ is an asymmetric double well function. We solved the time marching problem \eqref{eq:time marching} but on the renormalized density $F_\eps/\int F_\eps$ in order to catch a stationary profile. We clearly observed the co-existence of two equilibria for the same set of parameters, that were obtained for two different initializations of the scheme.
However, let us mention that the question of uniqueness in the case of a convex selection function~$m$ is an open question, to the extent of your knowledge.

This result is in contrast with analogous eigenvalue problems where $\cB_\eps$ is replaced with a linear operator, say $F_\eps + \eps^2 \Delta F_\eps$ as in various quantitative genetics models with asexual mode of reproduction, see \eg \cite{mirrahimiconcentration} and references mentioned above, or in the semi-classical analysis of the Schrödinger equation, see \eg \cite{Sjostrand}. In the linear case, $\lambda_\eps\in \R$ and $F_\eps\geq 0, F_\eps\not\equiv 0$ are uniquely determined (up to a multiplicative constant for $F_\eps$) under mild assumptions on the potential $m$. This is the signature that $\cB_\eps$ \eqref{eq:Beps} is genuinely non-linear and non-monotone, so that possible extensions of the Krein-Rutman theorem for one-homogeneous operators, as in \cite{nonlinearkreinrutman}, are not applicable.

The existence part \eqref{convergence PUeps1} has already been investigated in \cite{bourgeronspec} using the Schauder fixed point theorem and very loose variance estimates. But the approach was not designed to catch the asymptotic regime $\eps\to 0$.
The current methodology gives much more precise information on the behavior of the solutions of the problem \eqref{eq:main_fep} in the regime of vanishing variance.

Theorem 1 provides a rigorous background for the connection between problem \eqref{eq:PUeps} and problem \eqref{eq:PU0} in a perturbative setting. It justifies that the problem \eqref{eq:main_fep} is well approximated by the solution $(\lambda_0,U_0)$ of the problem \eqref{eq:PU0}. Quite surprisingly, the value $\gamma_0$ of the linear part of the corrector function
$U_0$ is resolved during the asymptotic analysis although it cannot be obtained readily from problem \eqref{eq:PU0} as mentioned above. It coincides with the heuristics of \cite{main} where the same coefficient was obtained by studying the formal expansion up to the next order in $\eps^2$: $U_\eps = U_0 + \eps^2 U_1 + o(\eps^2)$, and by identifying the equation on $U_1$ in which the value of $\gamma_0$ appears as another compatibility condition. Here the value of $\gamma_0$ is obtained directly as a by-product of the perturbative analysis.

\begin{figure}
\begin{center}
\begin{tikzpicture}[scale=0.8]
\begin{footnotesize}
\draw[orange, rounded corners, thick] (-3.2,-7) rectangle (2.8,7) ;
\draw[green_mermoz, rounded corners, thick] (5,2.5) rectangle (11,-7) ;

\draw (-0.5,-7) node[below] {\cite{main} };
\draw (8.75,-7) node[below] {\textcolor{green_mermoz}{Present article}};

\node[draw, ellipse, minimum height=2cm, minimum width=3cm, very thick] (A) at (0,5) { Problem \eqref{eq:main_fep} };
\node[draw, ellipse, minimum height=2 cm, minimum width=3cm, very thick] (B) at (0,0) {Problem \eqref{eq:PUeps}};
\node[draw, ellipse, minimum height=2 cm, minimum width=3cm, very thick] (C) at (0,-5) {Problem \eqref{eq:PU0}};
\node[draw, minimum height=2 cm, minimum width=3cm, very thick] (E) at (8,-5) {Solution $(\lambda_0,U_0)$};
\node[draw, minimum height=2 cm, minimum width=3cm, very thick] (D) at (8,0) {Solution $(\lep,U_\eps)$};

\draw[<->,>=latex, very thick] (A)to [bend left] (B);
\draw[->,>=latex, very thick, dashed] (B)to [bend left] (C);
\draw[->,>=latex, very thick, double] (B)to (D);
\draw[->, very thick, double] (D)to (E);
\draw[->,>= latex, very thick, double] (E)to (C);

\draw (.8,2.5) node[left] {Hopf-Cole transform};
\draw (0,-2.7) node[left] {for small $\eps$};
\draw (-2.9,-2.3) node[right] {Formal approximation};

\draw (4,0) node[above] {Fixed point argument};
\draw (4,0) node[below] {for $\eps > 0$};
\draw (8,-2.5) node[left] {Convergence};
\draw (8,-2.5) node[right] {as $\eps \to 0$};

\end{footnotesize}
\end{tikzpicture}
\end{center}
\caption{Scope of our paper compared to precedent work	}
\label{fig:scheme}
\end{figure}

As mentioned above,
our approach is very much inspired, yet different to most of the current literature about asymptotic analysis of asexual models, where the limiting problem is a Hamilton-Jacobi equation, see \cite{perthame-book} for a comprehensive introduction, and references above. To draw a parallel with our problem, let us consider the case where $\cB_\eps(f)$ is replaced with the (linear) convolution operator $ K_\eps*f$, where the kernel has the scaling property $ K_\eps = \Psfrac1\eps K\left (\sfrac{\csbullet}{\eps}\right)$, and $K$ is a probability distribution kernel. There, the small parameter $\eps$ measures the typical size of the deviation between the offspring trait and the sole parental trait. In this context, it is natural to introduce the Hopf-Cole transform $U_\eps = - \eps \log F_\eps$. Then, the problem is equivalent to the asymptotic analysis of the following equation as $\eps\to0$:
\begin{equation}\label{eq:asex}
\lambda_\eps + m(z) = \int_{\R^d} K\left(y\right) \exp\Bigl(\dfrac{U_\eps(z)-U_\eps(z-\eps y)}\eps \Bigr)\, dy,
\end{equation}
For this model, it is known that $U_\eps$ converges towards the viscosity solution of a Hamilton-Jacobi equation \cite{mirrahimiconcentration}:
\begin{equation}\label{eq:asex2}
\lambda_0 + m(z) = H(D U_0(z)) = \int_{\R^d} K\left(y\right) \exp\left(D U_0(z)\cdot y \right)\, dy.
\end{equation}
Note that the limiting equation on $U_0$ \eqref{eq:asex2} can be derived formally from \eqref{eq:asex} by a first order Taylor expansion on $U_\eps$.

There are two noticeable discrepancies between the asexual case \eqref{eq:asex}--\eqref{eq:asex2} and our problem involving the infinitesimal model with small variance. Firstly, $\eps$ plays a similar role in both cases, \ie measuring typical deviations between offspring and parental traits. However, the appropriate normalization differs by a factor $\eps$: it is $-\eps \log F_\eps$ in the asexual case, whereas it is $-\eps^2 \log F_\eps$ in our context, see \eqref{eq:def_Ueps}. This scaling difference is the signature of major differences between the two problems (asexual vs. sexual). Secondly, the two limiting problems \eqref{eq:asex2} and \eqref{eq:PU0} have completely different natures: a Hamilton-Jacobi PDE in the asexual case, vs. a finite difference equation in the sexual case. Moreover, due to the lack of a comparison principle in the original problem \eqref{eq:main_fep}, we could not envision a similar notion of viscosity solutions for \eqref{eq:PU0}. Instead, we use rigid contraction properties and a
suitable perturbative analysis to construct a unique strong solution near the limiting problem, as depicted in Figure \ref{fig:scheme}.

\cite{raoulmirrahimiinfinitesimal} observed that the infinitesimal operator $\cB_\eps$ alone enjoys a uniform contraction property with respect to the quadratic Wasserstein distance, with a factor of contraction $1/2$. Recently, this was used by \cite{magal-raoul} to perform a hydrodynamic limit in a different regime than the one under consideration here. However, the combination of $\cB_\eps$ with a zeroth-order heterogeneous mortality $m(z)$ seems to destroy this nice structure (details not shown).

The next section is devoted to the reformulation of problem \eqref{eq:PUeps} into a fixed point problem, introducing a set of notation and the strategy to prove \Cref{convergence PUeps}. The organization of the paper is postponed to the end of the next section.

Up until the last part of the article we implicitly work in dimension $d=1$, for the readers' convenience. In \Cref{sec large dim} we pinpoint the few elements of the proof that are specific to the one-dimensional case and give an extension to the higher-dimensional case in order to complete the proof of \Cref{convergence PUeps}.

\subsubsection*{Acknowledgements} The authors are grateful to Laure Saint-Raymond for stimulating discussions at the early stage of this work. They are thankful to Sepideh Mirrahimi for pointing out the extension of the result to local maxima of the selection function, see Remark \ref{rem:SM}.

\section{Reformulation of the problem as a fixed point}\label{sec reformulation}
\subsection{Looking for problem $(PU_\eps)$}
\label{sec:reformulation1}
The equivalence between problem \eqref{eq:main_fep} and problem \eqref{eq:PUeps} through the transform \eqref{eq:def_Ueps} is not immediate. It is detailed in \cite{main}, but we recall here the key steps for the sake of completeness. Plugging \eqref{eq:def_Ueps} into problem \eqref{eq:main_fep} yields
\[
\lambda_\eps + m(z)
= \dfrac{\displaystyle \iint_{\R^2} \tilde{E}_\eps(z_1,z_2,z)\, d z_1 d z_2}{\displaystyle
\eps \sqrt{\pi} \int_\R \exp \left(-\sfrac{q(z')}{\eps^2} - U_\eps(z') \right) d z'},
\]
with the notation $q(z)=\sfrac{z^2}{2}$ and
\begin{multline*}
\tilde{E}_\eps(z_1,z_2,z)\\
:=\exp\Bigl[-\dfrac1{\eps^2} \Bigl(2 q(z-\psfrac{z_1+z_2}{2}) + q(z_1) + q(z_2) - q(z) \Bigr) - U_\eps(z_1) - U_\eps(z_2) + U_\eps(z) \Bigr].
\end{multline*}

When $\eps\to 0$, we expect the numerator integral to concentrate around the minimum of the principal term that is:
\[ \argmin_{(z_1,z_2)} \left[ 2q \left(z-\psfrac{z_1+z_2}{2} \right) + q(z_1) + q(z_2) - q(z) \right] = \left(\sfrac{z}{2}, \sfrac{z}{2}\right).\]
We introduce the notation
\[ \overline{z} = \sfrac{z}{2}.\]
Using the change of variable $(z_1,z_2) = (\bz + \eps y_1, \bz + \eps y_2) $, we obtain the following equation:
\begin{multline}\label{eq:before limit 2}
\lambda_\eps + m(z)\\
= \dfrac{\displaystyle \iint_{\R^2} \exp\left(-Q(y_1,y_2) - U_\eps(\bz+\eps y_1) - U_\eps(\bz+\eps y_2) + U_\eps(z) \right) d y_1 d y_2}{\ds
\sqrt{\pi} \int_\R \exp\left(- {y^2}/{2} - U_\eps(\eps y) \right) d y},
\end{multline}
where
\begin{equation*}
\dfrac{1}{\eps^2} \left[ 2q \left(z-\psfrac{z_1+z_2}{2} \right) + q(z_1) + q(z_2) - q(z) \right] = \dfrac{1}{2}y_1y_2 + \dfrac{3}{4}(y_1^2+y_2^2).
\end{equation*}
\begin{definition}
We denote by $Q$ the following quadratic form:
\begin{align*}
Q(y_1,y_2) = \dfrac{1}{2}y_1y_2 + \dfrac{3}{4}(y_1^2+y_2^2).
\end{align*}
\end{definition}
It is the residual quadratic form after our change of variable. We notice that $\frac{1}{\sqrt{2}\pi}\exp(-Q)$ is the density of a bivariate normal random variable with covariance matrix
\begin{equation}\label{eq:covariance}
\Sigma =\frac14 \begin{pmatrix}
3 & -1 \\ -1& 3
\end{pmatrix}.
\end{equation}
At the denominator of \eqref{eq:before limit 2} naturally arises $N$ the density function of a $\cN(0,1)$ random variable.

Finally, \eqref{eq:before limit 2} is equivalent to problem \eqref{eq:PUeps}:
\begin{align*}
\lambda_\eps + m(z) & = I_\eps(U_\eps)(z) \exp \left(U_\eps(z)-2U_\eps\left(\bz\right) + U_\eps(0) \right),
\end{align*}
simply by conjuring $2 U_\eps(z/2)$ at the numerator and $U_\eps(0)$ at the denominator, resulting into the definition of the remainder $I_\eps(U_\eps)$ \eqref{eq:def_Ieps_int} that will be controlled uniformly close to 1 in all our analysis.

In the next section we explain how we reformulate the problem \eqref{eq:PUeps} into a fixed point argument in order to use a Banach-Picard fixed point theorem which prove our results rigorously.
\subsection{Some auxiliary functionals and the fixed point mapping}\label{eq:formal equivalence}
This section is devoted to the derivation of an alternative formulation for problem \eqref{eq:PUeps}.
Let $(\lambda_\eps, U_\eps)$ be a solution of problem \eqref{eq:PUeps} in $\R \times \Ea $.

The first step is to dissociate the study of $\lep$ and $U_\eps$. We first evaluate the problem \eqref{eq:PUeps} at $z=0$. It yields the following condition on $\lambda_\eps$, since $m(0)=0$:
\begin{equation}\label{eq:nec_lep}
\lep = \iep{0}.
\end{equation}
Considering the terms $\cI_\eps$ as a perturbation, we divide problem \eqref{eq:main_fep} by $\cI_\eps(U_\eps)(z)$ which is positive, and we take the logarithm on each side. Then we obtain the following equation, considering \eqref{eq:nec_lep}:
\begin{equation}\label{eq:def_Gammaep}
U_\eps(z)-2U_\eps(\bz)+U_\eps(0) = \log \Bigl(\dfrac{\iep{0}+ m(z)}{\iep{z}} \Bigr).
\end{equation}
It would be tempting to transform \eqref{eq:def_Gammaep} into a fixed point problem by inverting the linear operator in the left-hand-side. However, the latter is not invertible as it contains linear functions in its kernel. Therefore we are led to consider linear contributions separately.

Our main strategy is to decompose the unknown $U_\eps$ under the form
\begin{equation}\label{eq:necshape Ueps}
U_\eps (z) = \gamma_\eps z + V_\eps(z),
\end{equation}
with $V_\eps \in \Eaz$. This is consistent with the analytic shape of our statement in \eqref{eq:def_U0}, where $\gamma_0$ and $V_0$ have quite different features with respect to the function $m$.

Next, it is natural to differentiate \eqref{eq:def_Gammaep}.
One ends up with the following recursive equation for every $z \in \R$
\begin{equation}\label{eq:rec_Gammaep}
\partial_z U_\eps (z) - \partial_z U_\eps(\bz)= \partial_z \Bigl[ \log \Bigl(\dfrac{I_\eps(U_\eps)(0) + m}{I_\eps(U_\eps)(z)} \Bigr) \Bigr] (z).
\end{equation}
One simply deduces that, if $U_\eps$ exists and is regular, then we must have:
\begin{equation*}
\ds \partial_z U_\eps(z)= \partial_z U_\eps (0) + \sum_{k \geq 0}\partial_z \Bigl[ \log \Bigl(\dfrac{I_\eps(U_\eps)(0) + m}{I_\eps(U_\eps)(z)} \Bigr) \Bigr] (2^{-k}z).
\end{equation*}
One can formally integrate back the previous equation to obtain
\begin{equation}\label{eq:nec_ueph}
\ds U_\eps(z)= U_\eps(0) + \partial_z U_\eps (0)z + \sum_{k\geq 0} 2^k \log \Bigl(\dfrac{\iep{0}+ m}{I_\eps(U_\eps)(z)} \Bigr) (2^{-k}z).
\end{equation}
At this stage we formally identify:
\begin{itemize}
\item $U_\eps(0)=0$, since $U_\eps \in \Ea$. This is not a loss of generality by homogeneity since~$F_\eps$ is itself defined up to a multiplicative constant in problem \eqref{eq:main_fep}.
\item $\gamma_\eps = \partial_z U_\eps(0)$. In fact this is part of the decomposition \eqref{eq:necshape Ueps} since $V_\eps \in \Eaz$.
\end{itemize}
The real number $\gamma_\eps$ is unknown at this stage, but it needs to verify some compatibility condition to make the series converging in \eqref{eq:rec_Gammaep}--\eqref{eq:nec_ueph}. In particular, if we evaluate \eqref{eq:rec_Gammaep} at $z=0$ we obtain that $\gamma_\eps$ must satisfy
\begin{equation}\label{eq:nec impgammaep}
0 = \partial_z I_\eps(\gamma_\eps \cdot + V_\eps) (0).
\end{equation}
We will solve \eqref{eq:nec impgammaep} using an implicit function theorem in order to recover the value~$\gamma_\eps$ associated with a given $V$.
Beforehand, we introduce the following notation:
\begin{definition}[Finite differences operator $\D$]
We define the finite differences functional $\D$ as
\begin{equation*}
\D(V)(y_1,y_2,z) = V(\bz) - \frac12 V(\bz +\eps y_1) - \frac12 V(\bz +\eps y_2), \quad \bz = \sfrac{z}{2}.
\end{equation*}
\end{definition}

We introduce the following auxiliary functional which makes the link between $\gamma_\eps$ and $V$.
\begin{definition}[Auxiliary function $\Je$]
We define the functional \hbox{$\Je\!:\R\!\times\!\Eaz \to \R$} as follows
\begin{multline}\label{eq:def_Jeps}
\Je(g,V)\\
= \dfrac{1}{\eps^2 \sqrt{2}\pi }\iint_{\R^2} \exp\left[-Q(y_1,y_2) - \eps g (y_1+y_2) +2 \D(V)(y_1,y_2,0) \right]\\
\times \D(\partial_z V)(y_1,y_2,0) \, d y_1 d y_2.
\end{multline}
\end{definition}
The implicit relationship \eqref{eq:nec impgammaep} is equivalent to $\Je(\gamma_\eps,V_e) = 0$. From this perspective,
the following result is an important preliminary step.
\begin{prop}[Existence and uniqueness of $\gamma_\eps$]\label{existunique gammaeps}
For any ball $K \subset \Eaz$, there exists $\eps_K$, such that for all $\eps \leq \eps_K$ and for any $V \in K $, there exists a unique solution $\gamma_\eps(V) $ to the equation:
\begin{align*}
\text{Find $\gamma\in (-\RK,\RK)$ such that:} \quad\Je(\gamma,V) = 0,
\end{align*}
where the bound $\abs{\gamma_\eps(V)} \leq \RK$ is defined as
\begin{equation}\label{def G+G-}
\RK= \max \Biggl(\ds \dfrac{\ds \nalph{K} \ \iint _{\R^2} \exp(-Q (y_1,y_2)) \left (y_1^2 + y_2^2 \right) dy_1dy_2 +8}{ 2 \partial_z^2 m(0)} ; \nalph{K} \Biggr).
\end{equation}
\end{prop}

Next we define the main quantity we will work with: the double integral $I_\eps$ which is the rescaled infinitesimal operator. For convenience we define it as a mapping on~$\Eaz$. It is compatible with \eqref{eq:def_Ieps_int} because of the decomposition \eqref{eq:necshape Ueps}.
\begin{definition}[Auxiliary functional $\cI_\eps$]\label{def Ieps}
We define the functional $\cI_\eps: \Eaz \to \cC^3(\R)$ as follows:\vspace*{-3pt}
\begin{multline}\label{eq:def_Ieps}
\cI_\eps(V)(z)\\[-3pt]
= \dfrac{\ds \iint_{\R^2} \exp\big(-Q(y_1,y_2)-\eps \gamma_\eps(V)(y_1+y_2) +2\D(V)(y_1,y_2,z) \big)d y_1 d y_2 }
{\ds\sqrt{\pi } \int_\R \exp\left(- y^2/2 -\eps \gamma_\eps (V) y + V(0)- V(\eps y) \right) d y}.
\end{multline}
\end{definition}
Finally, in view of \eqref{eq:nec_ueph} and \eqref{eq:necshape Ueps}, we see that $V_\eps$ must be a solution of this implicit equation:\vspace*{-3pt}
\begin{equation}\label{eq:nec_Veps}
V_\eps (z) =\sum_{k\geq 0} 2^k \log \Bigl(\dfrac{\cI_\eps(V_\eps)(0)+ m}{\cI_\eps(V_\eps)(z)} \Bigr) (2^{-k}z), \ \hbox{ for every } z \in \R.
\end{equation}
This justifies the introduction of our central mapping, upon which our fixed point argument will be based.
\begin{definition}[Fixed point mapping]\label{def:H}
We define the mapping $\H: \Eaz \to \Eaz$ as follows\vspace*{-3pt}
\begin{equation}\label{eq:defH}
\H(V)(h) = \sum_{k \geq 0} 2^k \log \Bigl(\dfrac{\cI_\eps(V) (0)+ m(2^{-k} h)}{\cI_\eps(V) (2^{-k}h)} \Bigr).
\end{equation}
\end{definition}

\subsection{Reformulation of the problem}
We are now in position to write our main result for this Section:

\begin{thm}[Existence and uniqueness of the fixed point]\label{existunique fixedpoint}
There is a ball $K_0 \subset \Eaz$ and a positive constant $\eps_0$ such that for every $\eps\leq \eps_0$, the mapping $\H$ admits a unique fixed point in $K_0$.
\end{thm}

To conclude, it is sufficient to check that solving problem \eqref{eq:PUeps}, on the ball $K_0$, and seeking a fixed point for $\H$ in $K_0$ are equivalent problems for $\eps\leq \eps_0$ small enough.

\begin{prop}[Reformulation of the problem \eqref{eq:PUeps}]\label{solutionisfixedpoint}
There is a ball $K_0'$ of $\Ea$, and a positive constant $\eps_0'$ such that for every $\eps\leq \eps_0'$, the following statements are equivalent:
\begin{itemize}
\item $(\lambda_\eps,U_\eps)$ is a solution of problem \eqref{eq:PUeps} in $\R \times K_0'$.

\item $U_\eps= \gamma_\eps(V_\eps) \cdot + V_\eps$, with $V_\eps \in \Eaz\cap K_0'$, $\H(V_\eps) = V_\eps$, and $\lambda_\eps = \cI_\eps(V_\eps)(0)$.
\end{itemize}
Moreover, the statement of \cref{existunique fixedpoint} holds true in the set $\Eaz\cap K_0'$.
\end{prop}

The main mathematical difficulties are stacked into \cref{existunique fixedpoint}.
The rest of the article is organized as follows:
\begin{itemize}
\item In \cref{sec existunique gammaeps}, we justify why the function $\gamma_\eps$ is well defined in Proposition \ref{existunique gammaeps}.

\item Then in \cref{sec prop Ieps}, we provide the main properties and the key estimates of the nonlocal operator $\cI_\eps$. We point out why this term plays the role of a perturbation between problem \eqref{eq:PUeps} and problem \eqref{eq:PU0}. In \cref{sec a priori estimates} we prove crucial contraction estimates.

\item Those estimates are the main ingredients of the proof of properties of $\H$ in \Cref{sec properties H}: most notably the finiteness of $\H(V)$, and the fact that $\H$ is a contraction mapping.

\item This allows us to establish the proof of \cref{existunique fixedpoint,solutionisfixedpoint}, and finally to come back to the proof of our main result \Cref{convergence PUeps} in the \cref{sec proof reformulation,sec proof convergence PUeps}.

\item Section \ref{sec large dim} is devoted to those specific arguments that require an extension to the higher dimensional case $d>1$.
\end{itemize}
\section{Well-posedness of the implicit function \texorpdfstring{$\gamma_\eps$}{ge}}\label{sec existunique gammaeps}
\subsection{Heuristics on finding \texorpdfstring{$\gamma_\eps$}{ge}}\label{sec heuristicsgammaeps}
We consider $V \in \Eaz$, and we look for solutions $\gamma_\eps$ of $\Je(\gamma_\eps,V) = 0$, or equivalently:
\begin{multline}\label{eq:heurgam_equ}
0 = \dfrac{1}{\eps^2\sqrt{2}\pi} \ds \iint_{\R^2} \exp \left[-Q(y_1,y_2) - \eps \gamma_\eps (y_1+y_2) +2 \D(V)(y_1,y_2,0) \right]\\
\times \bigl(\D(\partial_z V)(y_1,y_2,0)\bigr) d y_1 d y_2,
\end{multline}
in accordance with \eqref{eq:def_Jeps}. We will see here how a Taylor expansion of the right-hand-side around $\eps = 0$ helps to understand why it defines a unique $\gamma_\eps$ in a given interval for small $\eps$. We will show formally why $\Je(\cdot,V)$ can be uniformly approximated by a non-degenerate linear function for small $\eps$.

We expand the right-hand-side with respect to $\eps$:
\begin{align*}
\dfrac{1}{\eps^2\sqrt{2}\pi}\iint_{\R^2}& \exp \left[-Q(y_1,y_2) \right] \exp \left[ - \eps \gamma_\eps (y_1+y_2) + 2 \D(V)(y_1,y_2,0) \right]\\
& \hspace*{6cm}\times\bigl(\D(\partial_z V)(y_1,y_2,0) \bigr) d y_1 d y_2 \\
&=
- \dfrac{1}{\eps^2 \sqrt{2}\pi}\iint_{\R^2} \exp \left[-Q(y_1,y_2) \right] \left[1 - \eps \gamma_\eps (y_1+y_2) + o\left (\eps \right) \right]
\\
&\hspace*{1cm}\times \Bigl (\frac\eps2 \left (y_1 + y_2 \right) \partial_z^2 V(0) + \dfrac{\eps^2}4 \left (y_1^2 + y_2^2\right) \partial_z^3 V(0) + o(\eps^2) \Bigr) d y_1 d y_2
\\
& =\frac1{\eps^2} \Bigl(\dfrac{\eps^2}{2}\, \gamma_\eps \partial_z^2 V(0) - \eps^2\, \dfrac{3 \partial_z^3 V(0)}{8} + o(\eps^2) \Bigr).
\end{align*}
Then solving
\begin{align*}
0 = - \dfrac{3 \partial_z^3 V(0)}{8}+ \dfrac{1}{2} \gamma_\eps \partial_z^2 V(0) + o(1),
\end{align*}
we get the expression:
\begin{equation}\label{eq:gammaepsd=1}
\gamma_\eps \underset{\eps \to 0}{\sim} \dfrac{3}{4}\dfrac{\partial_z^3V(0)}{\partial_z^2 V(0)}.
\end{equation}
These heuristics are consistent with the statement in Theorem \ref{convergence PUeps}, up to the relation between $V_0$ and $m$ that can be easily read out from \eqref{eq:gamma0value}. Note that the denominator involves $\partial_z^2 V(0)$, so that the local convexity of $V$ should be controlled uniformly during our construction. This is the purpose of the restriction in $\Eaz$ \eqref{eq:E0}. In the following, we provide estimates that turn these heuristics into a rigorous proof.

\subsection{Proof of \cref{existunique gammaeps}}\label{sec:proof of prop24}
The aim of this section is to prove the existence and uniqueness of $\gamma_\eps(V)$ stated in \cref{existunique gammaeps}. We first start with a Lemma providing some useful estimates on the function $\Je$. Combining these estimates with a continuity and monotonicity arguments, we will be able to prove the \cref{existunique gammaeps}.

\begin{lem}[Estimates of $\Je$]\label{estimate Jeps}
For any ball $K \subset \Eaz$, there exists $\eps_K>0$, such that for all $\eps \leq \eps_K$ and $V \in K$, the following estimate holds true for all $g$ in the interval $(-\RK, \RK)$:
\begin{align}
\label{eq:estim_Jeps}
\Je(0,V) & = - \dfrac{1}{4 \sqrt{2}\pi} \iint _{\R^2} \exp(-Q (y_1,y_2))\\
&\hspace*{3cm}\times \left[ y_1^2 \partial_z^3 V(\eps \tilde{y_1}) + y_2^2 \partial_z^3 V(\eps \tilde{y_2})) \right] dy_1dy_2 + \cO(\eps),\notag \\
\label{eq:estim_Jeps'} \partial_g \Je(g,V)& =\dfrac{\partial^2_z V(0)}{2} + \cO(\eps),
\end{align}
where, in the former expansion, the variable $\tilde{y_i}$ is a by-product of Taylor expansions and is such that $\abs{\tilde{y_i}} \leq \abs{ y_i}+1$.
\end{lem}

\begin{remark}
We prove the uniqueness of $\gamma_\eps$ on a uniformly bounded interval. One may think it is a strong restriction not to look at large $\gamma_\eps$. It is in fact a natural restriction as we have by definition $\gamma_\eps = \partial_zU_\eps(0)$, and $\partial_z U_\eps \in L^\infty$ in our perturbative setting.
\end{remark}
We postpone the proof of the technical \cref{estimate Jeps} at the end of this section and we first use it to prove the \cref{existunique gammaeps}: \begin{proof}[Proof of \cref{existunique gammaeps}]
Let $K$ be a ball of $\Eaz$ and $V \in K$. We deduce from \cref{estimate Jeps} that $|\Je(0,V)| \leq \GK + 1$, where
\begin{equation*}
\GK = \dfrac{\nalph{K}}{4 \sqrt{2}\pi } \ \iint _{\R^2} \exp(-Q (y_1,y_2)) \left (y_1^2 + y_2^2 \right) dy_1dy_2,
\end{equation*}
for $\eps$ small enough. Integrating \eqref{eq:estim_Jeps'} with respect to $g$, we obtain
\begin{equation*}
\Je(g,V) = \Je(0,V) + \dfrac{\partial^2_z V(0)}{2} g + \cO(\eps),
\end{equation*}
where it is important to notice that the perturbation $\cO(\eps)$ is uniform with respect to~$\eps$ for $g\in (-\RK,\RK)$ and $V\in K$.
Since $V\in \Eaz$, we know that $\partial_z^2V(0)\geq \partial_z^2m(0)>0$. Therefore, $\Je$ is uniformly increasing with respect to $g$ on $(-\RK,\RK)$. Moreover, the choice of $\RK$ is such that
\begin{equation*}
\Je(\RK,V) \geq - 1 - \GK + \dfrac{\partial^2_z m(0)}{2}\, \RK + \cO(\eps) = 1 + \cO(\eps) >0,
\end{equation*}
for $\eps$ small enough, and similarly, $\Je(-\RK,V) < 0$. Finally, there exists a unique $\gamma_\eps(V)$ satisfying $\Je(\gamma_\eps(V),V)= 0$ because $\Je$ is continuous with respect to $g$ for $V\in \Eaz$.
\end{proof}

\begin{proof}[Proof of \cref{estimate Jeps}]
Let $K$ be a ball of $\Eaz$ of radius $\nalph{K}$. In \cref{sec heuristicsgammaeps}, we have used formal Taylor expansions to get a formula for $\gamma_\eps(V)$, morally valid when $\eps = 0$. The idea here is to write exact rests to broaden the formula for small but positive $\eps$.

\subsubsection*{Proof of expansion \eqref{eq:estim_Jeps}}
Let us pick $V\in K$ and $\eps>0$. Recall the expression of $\Je(0,V)$:
\begin{multline*}
\Je(0,V)\\[-5pt]
= \dfrac{1}{\eps^2 \sqrt{2}\pi } \ds \iint_{\R^2} \exp \left[-Q(y_1,y_2) + 2 \D(V)(y_1,y_2,0) \right] \big(\D(\partial_z V)(y_1,y_2,0) \big) d y_1 d y_2.
\end{multline*}
We perform two Taylor expansions, namely:
\begin{equation}\label{eq:Taylor1}
\begin{cases}
2 \D(V)(y_1,y_2,0) = - \dfrac{\eps^2}{2}\left(y_1^2 \partial_z^2 V(\eps \tilde{y_1}) + y_2^2 \partial_z^2 V(\eps \tilde{y_2}) \right)\\
\ds \D(\partial_z V)(y_1,y_2,0) = - \dfrac{\eps (y_1+y_2)}{2} \partial_z^2 V(0)\\[-5pt]
\hspace*{6cm}- \dfrac{\eps^2}{4} (y_1^2 \partial_z^3 V(\eps \tilde{y_1}) + y_2^2 \partial_z^3 V(\eps \tilde{y_2})),
\end{cases}
\end{equation}
where $\tilde{y_i}$ denote some generic number such that $\abs{\tilde{y_i}} \leq \abs{y_i}$ for $i=1,2$.
Moreover, we can write
\begin{equation}\label{eq:P}
\begin{gathered}
\exp(-\eps^2 P) = 1 -\eps^2 P \exp(-\theta\eps^2 P), \quad P = \dfrac{1}{2}\left(y_1^2 \partial_z^2 V(\eps \tilde{y_1}) + y_2^2 \partial_z^2 V(\eps \tilde{y_2}) \right),\\ |P|\leq \frac12 \left (y_1^2 + y_2^2\right) \|V\|_\alpha,
\end{gathered}
\end{equation}
for some $\theta = \theta(y_1,y_2)\in (0,1)$. Combining the expansions, we find:
\begin{multline*}
\Je(0,V) = \dfrac{1}{\eps^2 \sqrt{2}\pi} \ds \iint_{\R^2} \exp \left[-Q(y_1,y_2)\right ] \left (1 -\eps^2 P \exp(-\theta\eps^2 P) \right) \\ \times\Bigl (- \dfrac{\eps (y_1+y_2)}{2} \partial_z^2 V(0)- \dfrac{\eps^2}{4} (y_1^2 \partial_z^3 V(\eps \tilde{y_1}) + y_2^2 \partial_z^3 V(\eps \tilde{y_2})) \Bigr) d y_1 d y_2.
\end{multline*}
The crucial point is the cancellation of the $O(\eps^{-1})$ contribution due to the symmetry of $Q$:
\begin{equation}\label{eq:cancellation}
\iint_{\R^2} \exp (-Q(y_1,y_2)) (y_1 + y_2) d y_1 d y_2 = 0.
\end{equation}
So, it remains
\begin{multline*}
\Je(0,V) = - \dfrac{1}{4 \sqrt{2}\pi} \iint _{\R^2} \exp(-Q (y_1,y_2)) \left[ y_1^2 \partial_z^3 V(\eps \tilde{y_1}) + y_2^2 \partial_z^3 V(\eps \tilde{y_2})) \right] dy_1dy_2 \\
\shoveright{+ \frac\eps{2 \sqrt{2}\pi} \iint _{\R^2} \exp(-Q (y_1,y_2)) P \exp(-\theta \eps^2 P) (y_1+y_2) \partial_z^2 V(0) dy_1dy_2} \\
+ \frac{\eps^2}{4\sqrt{2}\pi} \iint _{\R^2} \exp(-Q (y_1,y_2)) P \exp(-\theta \eps^2 P) \left (y_1^2 \partial_z^3 V(\eps \tilde{y_1}) + y_2^2 \partial_z^3 V(\eps \tilde{y_2}) \right) dy_1dy_2.
\end{multline*}
Clearly the last two contributions are uniform $\cO(\eps)$ for $V\in K$ and $\eps \leq \eps_K$ small enough. Indeed, the term $P$ is at most quadratic with respect to $y_i$ \eqref{eq:P}, so $Q + \theta\eps^2 P$ is uniformly bounded below by a positive quadratic form for $\eps$ small enough.

\subsubsection*{Proof of expansion \eqref{eq:estim_Jeps'}}
The first step is to compute the derivative of $J$ with respect to $g$:
\begin{multline*}
\partial_g \Je(g,V) = -\frac{1}{\eps \sqrt{2}\pi} \ \iint_{\R^2} \exp\left[-Q(y_1,y_2) - \eps g (y_1+y_2) + 2 \D(V)(y_1,y_2,0) \right]\\
\times (y_1+y_2) \left[\D(\partial_z V)(y_1,y_2,0) \right] d y_1 d y_2.
\end{multline*}
Similar Taylor expansions as above yields:
\begin{multline*}
\partial_g \Je(g,V) = -\frac{1}{\eps \sqrt{2}\pi} \iint_{\R^2} \exp\left[-Q(y_1,y_2)\right ] \left (1 - \eps P' \exp(-\theta\eps P') \right) \\ \times
(y_1+y_2) \Bigl(- \dfrac{\eps (y_1+y_2)}{2} \partial_z^2 V(0)- \dfrac{\eps^2}{4} (y_1^2 \partial_z^3 V(\eps \tilde{y_1}) + y_2^2 \partial_z^3 V(\eps \tilde{y_2})) \Bigr) d y_1 d y_2,
\end{multline*}
where $P' = g(y_1 + y_2) + y_1 \partial_z V(\eps \tilde{y_1}) + y_2 \partial_z V(\eps \tilde{y_2})$. Interestingly, the leading order term does not cancel anymore, and it remains:
\begin{equation*}
\partial_g \Je(g,V) = \frac{1}{2 \sqrt{2}\pi} \left (\iint_{\R^2} \exp\left[-Q(y_1,y_2)\right ](y_1+y_2)^2 \, dy_1dy_2\right) \partial_z^2 V(0) + \cO(\eps).
\end{equation*}
The justification that the remainder is a uniform $\cO(\eps)$ is similar as above, except that now $P'$ has a linear part depending on $g$, but the latter is assumed to be bounded a priory by $\RK$.
\end{proof}

\section{Analysis of the perturbative term \texorpdfstring{$\cI_\eps$}{Ie}}\label{sec prop Ieps}
\subsection{Lipschitz continuity of some auxiliary functionals}\label{sec reg prop Ieps}\label{sec regprop Ieps}
The function $\cI_\eps$ is crucially involved in the definition of the mapping $\H$. Thus to prove any contraction property on this mapping we will need Lipschitz estimates about $\cI_\eps$ and the three first derivatives of its logarithm. But first we show that $\cI_\eps$ really plays the role of a perturbative term between problem \eqref{eq:PUeps} and problem \eqref{eq:PU0} that converges to $1$ uniformly as $\eps\to0$.

\begin{prop}[Estimation of $\cI_\eps$]\label{estim Ieps}
For every $K$ ball of $\Eaz$, for every $\delta>0$, there exists a constant $\eps_\delta$ that depends only on $K$ and $\delta$, such that for every $\eps \leq \eps_\delta$ and for every $V \in K$:
\begin{align*}
(\forall z\in \R)\quad 1-\delta \leq \cI_\eps(V)(z) \leq 1+\delta.
\end{align*}
\end{prop}
\begin{proof}
Let $V$ in $K$. For $\eps\leq\eps_K$, one can apply \cref{existunique gammaeps} which gives \hbox{$\abs{\gamma_\eps(V)}\leq\RK$}. Next it is enough to write that:
\begin{align*}
\underline{C}_\eps &\doteqdot \dfrac{\ds \iint_{\R^2} \exp\left[-Q(y_1,y_2) - 2 \eps R_K (\abs{y_1}+\abs{y_2}) \right]d y_1 d y_2 }{\ds\sqrt{2 } \pi \int_\R \exp\left(- y^2/2 - 2 \eps R_K \abs{y} \right) d y} \leq \cI_\eps(V)(z),\\
\tag*{and}
\cI_\eps(V)(z) &\leq \dfrac{\ds \iint_{\R^2} \exp\big(-Q(y_1,y_2) + 2 \eps R_K(\abs{y_1}+\abs{y_2}) 	 \big)d y_1 d y_2 }{\ds\sqrt{2 } \pi \int_\R \exp\left(- y^2/2 - 2 \eps R_K \abs{y} \right) d y} \doteqdot \overline{C}_\eps.
\end{align*}
We deduce from this lower and upper estimates that the whole $\cI_\eps(V)$ converges uniformly to $1$ as $\eps \to 0$.
\end{proof}

Next, we show Lipschitz continuity of various quantities of interest.

\begin{prop}[Lipschitz continuity of $\gamma_\eps$]\label{contraction gamma}
For every ball $K\subset \Eaz$, there exist constants $\Cgamma$, and $\eps_K $, depending only on $K$, such that for all $\eps \leq \eps_K$, $V_1, V_2 \in K$
\begin{equation*}
\abs{\gamma_\eps(V_1)-\gamma_\eps(V_2)} \leq \Cgamma \nalph{V_1-V_2}.
\end{equation*}
\end{prop}
\begin{proof}
Let $K$ be a ball of $\Eaz$, and let $V_1,V_2 \in K$. Let denote $\GammaI = \gamma_\eps(V_i)$ for $i = 1,2$.
We argue by means of Fréchet derivatives: let $s\in (0,1)$, $\gamma_s = s \gamma_1 + (1-s)\gamma_2$, $V_s = s V_1 + (1-s)V_2$, and consider the following computation:
\begin{equation}\label{eq:dsJ}
\dfrac{d}{ds} \Je(\gamma_s, V_s) = \partial_\gamma \Je(\gamma_s,V_s) (\gamma_1 - \gamma_2) + D_V \Je (\gamma_s,V_s)\cdot (V_1 - V_2),
\end{equation}
where the Fréchet derivative of $J$ with respect to $V$ is:
\begin{multline*}
D_V \Je(\gamma,V)\cdot H = \dfrac{1}{\eps^2\sqrt{2}\pi} \iint_{\R^2} \exp \left[-Q(y_1,y_2)- \eps \gamma (y_1+y_2) + 2 \D(V)(y_1,y_2,0) \right] \\
\shoveright{\times \bigl (2 \D(H)(y_1,y_2,0) \bigr) \bigl(\D(\partial_z V)(y_1,y_2,0) \bigr) d y_1 d y_2} \\ +
\dfrac{1}{\eps^2 \sqrt{2}\pi} \iint_{\R^2} \exp \left[-Q(y_1,y_2)- \eps \gamma (y_1+y_2) + 2 \D(V)(y_1,y_2,0) \right]\\
\times \bigl(\D(\partial_z H)(y_1,y_2,0) \bigr) d y_1 d y_2.
\end{multline*}
We perform similar Taylor expansions as in \eqref{eq:Taylor1},
\begin{equation*}
2 \D(W)(y_1,y_2,0) =
\begin{cases}
-\eps (y_1 + y_2) O\left (\|\partial_z W\|_\infty \right)\\
-\eps (y_1 + y_2)\partial_z W(0) - (\eps^2/2)\left (y_1^2 + y_2^2 \right) O\left (\|\partial_z^2 W\|_\infty \right)
\end{cases}
\end{equation*}
either for $W =V, H\in \Eaz$, or $W = \partial_z V, \partial_z H$. We deduce that
\begin{multline}\label{eq:DVJ}
D_V \Je(\gamma,V)\cdot H\\
= \dfrac{1}{\eps^2 \sqrt{2}\pi} \iint_{\R^2} \exp \left[-Q(y_1,y_2)- \eps \gamma (y_1+y_2) -\eps (y_1 + y_2) O\left (\|\partial_z V\|_\infty \right) \right] \\
\times
\Bigl[ \Bigl (- \frac{\eps^2}2\left (y_1^2 + y_2^2 \right) O\left (\|\partial_z^2 H\|_\infty \right) \Bigr) \bigl(-\eps (y_1 + y_2) O\left (\|\partial_z^2 V\|_\infty \right) \bigr) \\ +
\Bigl(-\eps (y_1 + y_2)\partial_z^2 H(0) - \frac{\eps^2}2\left (y_1^2 + y_2^2 \right) O\left (\|\partial_z^3H\|_\infty \right) \Bigr) \Bigr] d y_1 d y_2.
\end{multline}
We proceed as in the previous section for the exponential term: there exists $\theta = \theta(y_1,y_2)\in (0,1)$ such that
\begin{equation*}
\exp (- \eps P') = 1 - \eps P' \exp(-\theta \eps P'), \quad \text{where}\quad P' = \gamma (y_1+y_2) + (y_1 + y_2) O\left (\|\partial_z V\|_\infty \right).
\end{equation*}
Again, the crucial point is the cancellation of the $O(\eps^{-1})$ contribution in \eqref{eq:DVJ}, as in \eqref{eq:cancellation}
What remains is of order one or below, and one can easily show that there exists~$C_K$ such that
\begin{align*}
\abs{D_V \Je(\gamma,V)\cdot H}& \leq C_K \left (\|\partial_z^3H\|_\infty + |\partial_z^2 H(0)| \left (|\gamma + \|\partial_z V\|_\infty | \right) \right.\\
& \hspace*{2cm} + \left. \eps \|\partial_z^2H\|_\infty \|\partial_z^2V\|_\infty + \eps \|\partial_z^3H\|_\infty \left (|\gamma + \|\partial_z V\|_\infty | \right) \right)\\
& \leq C_K \|H\|_\alpha ,
\end{align*}
provided $\eps \leq \eps_K$ is small enough.

On the other hand, we have already established that $\partial_\gamma \Je(\gamma,V) = \partial_z^2 V(0)/2 + \cO(\eps)$ in Lemma \ref{estimate Jeps}. Consequently, integrating \eqref{eq:dsJ} from $s = 0$ to $1$, we find:
\begin{multline*}
0 = \Je(\gamma_1,V_1) - \Je(\gamma_2,V_2)\\
= \Bigl (\frac{\partial_z^2 V(0)}2 + \cO(\eps) \Bigr) (\gamma_1 - \gamma_2) + \left (\int_0^1 D_V \Je (\gamma_s,V_s)\cdot (V_1 - V_2)\, ds\right).
\end{multline*}
We deduce from the previous estimates and the local convexity condition in \eqref{eq:E0} that
\begin{equation*}
|\gamma_1 - \gamma_2| \leq C_K \Bigl (\dfrac{2 }{\partial_z^2m(0)} + C_K\eps \Bigr) \|V_1 - V_2\|_\alpha ,
\end{equation*}
for some $C_K$ and $\eps \leq \eps_K$ small enough.
\end{proof}

In turn, \cref{contraction gamma} implies the Lipschitz continuity of $\cI_\eps$ as a function of $V$.

\begin{prop}[Lipschitz continuity of $\cI_\eps$]\label{cont Ieps}
For every ball $K$ of $\Eaz$, there exist constants $\eps_K$, $C_K$ depending only on $K$, such that for all $\eps \leq \eps_K $, $V_1, V_2 \in K$,
\begin{equation}\label{eq:cont_Ieps}
\sup_{z\in \R}\abs{\cI_\eps(V_1)(z)-\cI_\eps(V_2)(z)} \leq \eps C_K \nalph{ V_1 - V_2}.
\end{equation}
\end{prop}
\begin{proof}
The Lipschitz continuity of $\cI_\eps$ with respect to $V$ can be proven by composition of Lipschitz functions. With the same notations as in the proof of \cref{contraction gamma}, and with the shortcut notation $\cI_\eps = A_\eps/B_\eps$ to separate the numerator from the deno\-mi\-nator in \eqref{eq:def_Ieps} we have,
\begin{multline*}
\dfrac{d}{ds} A_\eps(V_s)(z) = - \iint_{\R^2} \QV(y_1,y_2, z)\\
\times \biggl (\eps \dfrac{d}{ds} \gamma_\eps (V_s) (y_1 + y_2)
+ \dint_{\bz}^{\bz+\eps y_1} \partial_z (V_1-V_2)(z') dz' -\dint_{\bz}^{\bz+\eps y_2} \partial_z (V_1-V_2)(z') dz' \biggr) \, dy_1 dy_2,
\end{multline*}
where we have simply written $V(\bz+\eps y_1) - V(\bz) = \int_{\bz}^{\bz+\eps y_1} \partial_z V(z')\, dz'$, and where $\QV$ denotes the exponential weight:
\begin{equation*}
\QV(y_1,y_2, z) = \dfrac1{\sqrt{2}\pi} \ds \exp\left[-Q(y_1,y_2) -\eps\gamma_\eps(V)(y_1+y_2) + 2 \D(V)(y_1,y_2,z) \right].
\end{equation*}
We deduce that $A_\eps$ is such that:
\begin{multline*}
(\forall z)\quad \Bigl | \dfrac{d}{ds} A_\eps(V_s)(z) \Bigr |\\
\leq \eps \iint_{\R^2} \QV(y_1,y_2, z) \left (\Cgamma \| V_1 - V_2\|_\alpha + \| V_1 - V_2\|_\alpha \right) \left (|y_1| + |y_2|\right) \, dy_1 dy_2.
\end{multline*}
As the weight $\QV$ is uniformly close to a positive quadratic form for small $\eps$, we find that the numerator has a Lipschitz constant of order $\eps$ uniformly with respect to $z$:
\begin{equation*}
\sup_{z\in \R}\abs{A_\eps(V_1)(z)-A_\eps(V_2)(z)} \leq \eps C_K \nalph{ V_1 - V_2}.
\end{equation*}
The same holds true for the denominator $B_\eps$. In addition, a direct by-product of the proof of \cref{estim Ieps} is that $A_\eps$ and $B_\eps$ are uniformly bounded above and below by positive constants for $\eps$ small enough. Consequently, the quotient $\cI_\eps = A_\eps/B_\eps$ is Lipschitz continuous.
\end{proof}

It is useful to introduce the probability measure $d\QV$ induced by the exponential weight $\QV$:
\begin{multline*}
d\QV(y_1,y_2,z) = \dfrac{\QV(y_1,y_2,z)}{\ds \iint_{\R^2} \QV(\cdot, \cdot, z)} \\
= \dfrac{\ds \exp\left[-Q(y_1,y_2) -\eps\gamma_\eps(V)(y_1+y_2) + 2 \D(V)(y_1,y_2,z) \right] } {\ds\iint_{\R^2} \exp\left[-Q(y_1,y_2)-\eps\gamma_\eps(V)(y_1+y_2) + 2 \D(V)(y_1,y_2,z) \right] d y_1 d y_2 }.
\end{multline*}
As a consequence of the previous estimates, we obtain the following one.
\begin{lem}[Lipschitz continuity of $d\QV$]\label{contraction measure lem}
For every ball $K$ of $\Eaz$, there exist constants $\eps_K$, $C_K$ depending only on $K$, such that for all $\eps \leq \eps_K $, $V_1, V_2 \in K$,
\begin{multline}\label{eq:cont_measure}
\sup_{z\in \R}\abs{\dQVA(y_1,y_2,z)-\dQVB(y_1,y_2,z)} \\
\leq \eps C_K \norm{V_1-V_2}_\alpha (1+ \abs{y_1} + \abs{y_2}) \exp \bigl(-Q(y_1,y_2) + 2 \eps R_K (\abs{y_1}+\abs{y_2}) \bigr).
\end{multline}
Furthermore, under the same conditions, we have the following bound, uniform with respect to $z \in \R $:
\begin{equation}\label{eq:control dQV}
d\QV(y_1,y_2,z) \leq \dfrac{1}{4}\exp\left[-Q(y_1,y_2) + 2 \eps R_K (\abs{y_1}+\abs{y_2}) \right].
\end{equation}
\end{lem}

\begin{proof}
We first prove \eqref{eq:control dQV}: the function $\QV$ is such that
\begin{equation*}
\QV(y_1,y_2,z) \gtrless \dfrac1{\sqrt{2}\pi} \exp\left[-Q(y_1,y_2) \mp 2 \eps R_K (\abs{y_1}+\abs{y_2}) \right].
\end{equation*}
Therefore, its integral over $(y_1,y_2)\in \R^2$ converges to 1 as $\eps\to 0$, and there exists $\eps_K$ depending on $K$ such that $\iint \QV(y_1,y_2,z)\,dy_1 dy_2 \geq 4/{\sqrt{2}\pi}$ for $\eps \leq \eps_K$. This leads to~\eqref{eq:control dQV}.

In order to obtain \eqref{eq:cont_measure}, we proceed as in the proof of \cref{cont Ieps}, as the denominator of $d\QV$ is the numerator $A_\eps$ of $\cI_\eps$. For the Lipschitz continuity of the numerator of $d\QV$, we find:
\begin{multline*}
(\forall z)\quad \Bigl | \dfrac{d}{ds} G_\eps^{V_s}(y_1,y_2,z) \Bigr |\\ \leq \eps G_\eps^{V_s} (y_1,y_2, z) \left (\Cgamma \| V_1 - V_2\|_\alpha + \| V_1 - V_2\|_\alpha \right) \left (|y_1| + |y_2|\right).
\end{multline*}
We deduce that the quotient $d\QV =\QV/{A_\eps(V)}$ is also Lipschitz continuous:
\begin{align*}
\abs{\dQVA - \dQVB} &\leq \Babs{\dfrac{G_\eps^{V_1} - G_\eps^{V_2}}{A_\eps(V_1)} + \dfrac{A_\eps(V_2) - A_\eps(V_1)}{A_\eps(V_1)A_\eps(V_2)} G_\eps^{V_2}}\\
& \leq \eps C_K\| V_1 - V_2\|_\alpha \left (|y_1| + |y_2|\right) \exp \bigl(-Q(y_1,y_2) + 2 \eps R_K(\abs{y_1}+\abs{y_2}) \bigr)\\
& \hspace*{2cm} + \eps C_K \| V_1 - V_2\|_\alpha \exp \bigl(-Q(y_1,y_2) + 2 \eps R_K (\abs{y_1}+\abs{y_2}) \bigr).
\end{align*}
This concludes the proof of \eqref{eq:cont_measure}.
\end{proof}

To conclude, we have established in this section that $\cI_\eps$ is a perturbative term, both in the uniform sense $\cI_\eps (V) \to 1$, and in the Lipschitz sense: $\mathrm{Lip}_V \cI_\eps = \cO(\eps)$. In addition, we have proven a similar Lipschitz smallness property for a probability distribution $d\QV$ that will appear frequently in our contraction estimates.

\subsection{Contraction properties (first part)}\label{sec a priori estimates}
On the way to estimating the fixed point mapping $\H$ \eqref{eq:defH}, we need good estimates on the logarithmic derivatives of~$\cI_\eps$. For that purpose, we introduce the following quantities for $i =1,2,3$:
\begin{equation}\label{def:W}
W^{(i)}_\eps (V) (z)= \dfrac{\partial_z^i \cI_\eps(V)(z)}{\cI_\eps(V)(z)}.
\end{equation}

For the sake of conciseness, we omit sometimes the dependency with respect to $y_1,y_2$ in the notations, as for instance: $d\QV(y_1,y_2,z) = d\QV(z)$.
The following notation with a duality bracket is useful:
\begin{align*}
\left\langle d\QV(z), f \right\rangle = \iint_{R^2} d\QV(y_1,y_2,z) f(y_1, y_2)\, dy_1 dy_2.
\end{align*}
Indeed, for any $V \in \Eaz $, we have:
\begin{equation}\label{eq:W1}
W_\eps^{(1)}(V)(z)= \left\langle d\QV(z), \D(\partial_z V)(z)
\right\rangle.
\end{equation}
Similarly:
\begin{equation*}
W_\eps^{(2)}(V)(z) =
\Bigl\langle d\QV(z), \dfrac{1}{2} \D(\partial_z^2 V)(z) + \left(\D(\partial_z V)(z)
\right)^2
\Bigr\rangle.
\end{equation*}
And finally:
\begin{multline}\label{eq:W3V}
W_\eps^{(3)}(V)(z)\\ =
\Bigl\langle d\QV(z), \dfrac{1}{4} \D(\partial_z^3 V)(z) + \left(\D(\partial_z V)(z)\right)^3
+ 3 \D(\partial_z V)(z) \Bigl(\dfrac{1}{2}\D(\partial_z^2 V)(z) \Bigr) \Bigr\rangle.
\end{multline}
In order to obtain estimates on $W^{(i)}$ it seems natural from the previous pattern of differentiation to begin with estimates on the symmetric difference of the derivatives of $V$.
\begin{lem}\label{estim derivatives}
For any $V\in \Ea$, and $(y_1,y_2) \in \R^2$, we have:
\begin{align}
\label{estim der Ea 1}
\sup_z \ (1+|z|)^\alpha \Babs{ \D(\partial_z V&)(y_1,y_2,z) }\\
& \leq \eps 2^\alpha \Vert V \Vert_\alpha \left[\vert y_1 \vert+ \vert y_2 \vert + \eps^{\alpha}\vert y_1 \vert^{1+\alpha} + \eps^{\alpha}\vert y_2 \vert^{1+\alpha} \right],\notag\\
\label{estim der Ea 2}
\sup_z \ (1+|z|)^\alpha \Babs{ \dfrac{1}{2} \D(\partial_z^2 V&)(y_1,y_2,z) }\\
& \leq \eps 2^{\alpha-1} \Vert V \Vert_\alpha \left[\vert y_1 \vert+ \vert y_2 \vert + \eps^{\alpha}\vert y_1 \vert^{1+\alpha} + \eps^{\alpha}\vert y_2 \vert^{1+\alpha} \right],\notag\\
\label{estim der Ea 3}
\sup_z \ (1+|z|)^\alpha \Babs{ \dfrac{1}{4} \D(\partial_z^3 V&)(y_1,y_2,z)}\\
& \leq 2^{\alpha -1} \Vert V \Vert_\alpha \Bigl(1+ \frac{\eps^\alpha}4 \left[\vert y_1 \vert^{\alpha}+ \vert y_2 \vert^{\alpha} \right] \Bigr).\notag
\end{align}
\end{lem}
It is important to notice that the first two right-hand-sides (resp. first and second derivatives) are of order $\eps$. The third one is larger but controlled by $2^{\alpha-1}<1$. This is the first occurrence of the contraction property we are seeking. This is the main reason why we make the analysis up to the third derivatives.

\begin{proof}
We introduce the additional notation $\vphia(z) = (1+|z|)^\alpha$. First, since \hbox{$\bz=z/2$}, we have $\vphia(z) \leq 2^{\alpha} \vphia(\bz)$.

\subsubsection*{Proof of \eqref{estim der Ea 1}}
By Taylor expansions, we have:
\begin{equation*}
\vphia(z) \left| \D(\partial_z V)(y_1,y_2,z)\right| \leq 2^{\alpha} \vphia(\bz) \left| \dfrac{\eps y _1}{2} \partial^2_z V(\bz+\eps \tilde y_1)+\dfrac{\eps y_2 }{2} \partial^2_z V(\bz+\eps \tilde y_2) \right|,
\end{equation*}
where $\abs{ \tilde{y_i} } \leq \abs{y_i}$.
Using the definition of $\|\cdot \|_\alpha$ \eqref{eq:normalpha}, we obtain
\begin{equation*}
\vphia(\bz) \left| \eps y _1 \partial^2_z V(\bz+\eps \tilde y_1) \right| \leq \dfrac{\eps |y_1 | \vphia(\bz)} {\vphia(\bz+\eps \tilde{y_1}) }\nalph{V} \leq \dfrac{\eps |y_1 | (1+|\eps \tilde y_1| + |\bz + \eps \tilde{y_1} |)^\alpha}{(1+|\bz+\eps \tilde y_1|)^\alpha}\nalph{V}.
\end{equation*}
Since we chose $\alpha < 1$, $|\cdot|^\alpha$ is sub-additive. Thus, we get
\begin{multline*}
\vphia(\bz) \left| \eps y _1 \partial^2_z V(\bz+\eps \tilde y_1) \right| \leq \eps |y_1 | \Bigl (1 + \dfrac{|\eps \tilde y_1|^\alpha}{(1+|\bz+\eps \tilde y_1|)^\alpha} \Bigr)\nalph{V} \\
\leq \eps |y_1 | (1 + |\eps y_1|^\alpha)\nalph{V} \leq \eps (|y_1|+|y_1|^{1+\alpha}).
\end{multline*}
By symmetry of the role played by $y_1$ and $y_2$, we have proven \cref{estim der Ea 1}.

\subsubsection*{Proof of \eqref{estim der Ea 2}}
The second estimate is a consequence of the first one, applied to the derivative of $V$. Notice that it is allowed as $\Eaz$ enables control of derivatives up to the third order.

\subsubsection*{Proof of \eqref{estim der Ea 3}}
We must be a little more careful in the estimations of the third estimate \eqref{estim der Ea 3}, because we cannot go up to the fourth derivative in the Taylor expansions. This is why we do not have an $\eps$ bound, but we gain a contraction factor instead. We have
\begin{align*}
\vphia(z) \Bigl| \dfrac{1}{4} \D(\partial_z^3 V)(y_1,y_2,z) \Bigr| & \leq 2^{\alpha} \vphia(\bz) \Bigl | \dfrac{1}{4} \partial_z^3 V(\bz) -\dfrac{1}{8} \partial^3_z V(\bz+\eps y_1)-\dfrac{1}{8} \partial^3_z V(\bz+\eps y_2) \Bigr| \\
& \leq \dfrac{2^{\alpha}}{4} \nalph{V} +2^{\alpha}\vphia(\bz) \Bigl | \dfrac{1}{8} \partial^3_z V(\bz+\eps y_1)+\dfrac{1}{8} \partial^3_z V(\bz+\eps y_2) \Bigr|.
\end{align*}
We bound separately each term using again the sub-additivity of $\abs{\cdot}^\alpha$. For $\eps \leq 1$:
\begin{multline*}
\vphia(\bz) \Bigl | \dfrac{1}{8} \partial^3_z V(\bz+\eps y_1) \Bigr | \leq \dfrac{\vphia(\bz)} { 8 \vphia(\bz+\eps y_1) } \nalph{V} \\
\leq \dfrac{\nalph{V}}{8} \Bigl(1 + \dfrac{(|\eps y_1 |)^\alpha}{(1+|\bz+\eps y_1|)^\alpha} \Bigr) \leq (1 + |\eps y_1|^\alpha)\dfrac{\nalph{V}}{8}.
\end{multline*}
Summing it all up, one ends up with:
\begin{equation*}
\vphia(z) \Bigl | \dfrac{1}{4} \D(\partial_z^3 V)(y_1,y_2,z) \Bigr| \leq 2^{\alpha-1} \nalph{V} \Bigl(1+ \frac14 \eps^\alpha \left[\vert y_1 \vert^{\alpha}+ \vert y_2 \vert^{\alpha} \right] \Bigr).
\end{equation*}
This is precisely \cref{estim der Ea 3}.
\end{proof}

The following proposition is a first step towards contraction properties that will be established in \cref{sec properties H}. For convenience, we introduce the following notation:
\begin{equation*}
\begin{cases}
\triangle W_\eps^{(i)} = W^{(i)}_\eps(V_1)-W^{(i)}_\eps(V_2), \\
\triangle V = V_1-V_2.
\end{cases}
\end{equation*}

\begin{prop}[Lipschitz continuity of $W_\eps$ with respect to $V$]\label{unif boundsDeltaW}
Let $K$ a ball of $\Eaz$, and $V_1, V_2 \in K $. There exists constants $\eps_K$, $C_K$ depending only on $K$ such that for all $\eps \leq \eps_K$, we have:
\begin{align}
& \label{estim Delta 1} \ds \sup_z\; (1+|z|)^\alpha \vert\triangle W_\eps^{(1)}	(z) \vert \leq \eps C_K \Vert \triangle V \Vert_\alpha\\
& \label{estim Delta 2} \ds \sup_z\; (1+|z|)^\alpha \vert\triangle W_\eps^{(2)}(z) \vert \leq \eps C_K \Vert \triangle V \Vert_\alpha, \\
& \label{estim Delta 3} \ds \sup_z \; (1+|z|)^\alpha \vert\triangle W_\eps^{(3)}(z)\vert \leq \left(2^{\alpha-1} + \eps^\alpha C_K \right)\norm{\triangle V}_\alpha.
\end{align}
\end{prop}

It is also possible to get estimates on $W_\eps^{(i)}(V)$ itself, with the same hypotheses. This is useful to prove the invariance of certain subsets of $\Eaz$.
\begin{prop}\label{unif boundsW}
With the same setting as in Proposition \ref{unif boundsDeltaW}, we also have:
\begin{align*}
& \ds \sup_z \; (1+|z|)^\alpha \vert W^{(1)}_\eps(V)(z)\vert \leq \eps C_K \nalph{V},\\
& \ds \sup_z \; (1+|z|)^\alpha \vert W^{(2)}_\eps(V)(z)\vert \leq \eps C_K \nalph{V},\\
& \ds \sup_z \; (1+|z|)^\alpha \vert W_\eps^{(3)}(V)(z) \vert \leq \left(2^{\alpha-1} + \eps^\alpha C_K \right) \nalph{V}.
\end{align*}
\end{prop}

We do not give the details of the proof of the latter Proposition, since it is a straightforward adaptation of \cref{unif boundsDeltaW}. Actually, we cannot readily apply Proposition~\ref{unif boundsDeltaW} to $(V_1,V_2) = (V,0)$ as $0\notin \Eaz$, because of the additional condition \eqref{eq:E0} on $\partial_z^2V(0)$ which is required to prove boundedness and Lipschitz continuity of $\gamma_\eps$.

\begin{proof}[Proof of \cref{unif boundsDeltaW}]
The proof of theses inequalities is quite tedious because of the numerous non-linear calculations. However, the technique is similar for each inequality, and consists in separating the fully non linear behavior from the quasi-linear parts of the left-hand-sides of \cref{estim Delta 1,estim Delta 2,estim Delta 3}.

\subsubsection*{Proof of \eqref{estim Delta 1}}
This is the easiest part, because it is quasi-linear with respect to~$V$. Indeed, we have
\begin{equation*}
\triangle W_\eps^{(1)}(z) = \left\langle \dQVA(z), \D(\partial_z V_1)(z)\right\rangle
- \left\langle \dQVB(z), \D(\partial_z V_2)(z) \right\rangle.
\end{equation*}
We reformulate it in two parts, one involving $V_1-V_2$, and the other involving \hbox{$\dQVA-\dQVB$}:
\begin{equation}\label{eq:triangle W1}
\triangle W_\eps^{(1)}(z)=
\left\langle \dQVB(z),\D(\partial_z \triangle V)(z) \right\rangle + \left\langle \dQVA(z)-\dQVB(z), \D(\partial_z V_1)(z) \right\rangle.
\end{equation}
For the first contribution in \eqref{eq:triangle W1}, we apply directly \cref{estim derivatives} to $V_1-V_2$:
\begin{align*}
\ds (1+\abs{z})^\alpha \bigl|\bigl\langle \dQVB(z),& \D(\partial_z \triangle V)(z) \bigr\rangle\bigr|\\
&
\leq \eps 2^\alpha \norm{ \triangle V}_\alpha \left\langle \dQVB(z), \left(\vert y_1 \vert+ \vert y_2 \vert + \eps^\alpha \vert y_1 \vert^{1+\alpha} + \eps^\alpha\vert y_2 \vert^{1+\alpha} \right) \right\rangle\\
& \leq \eps C_K \norm{\triangle V}_\alpha.
\end{align*}
For the last inequality we used \cref{eq:control dQV}, which enables to bound uniformly the measure $d\QV$ with respect to~$z$.
From \cref{contraction measure lem,estim derivatives}, there exists $\eps_K$ and $C_K$ such that for $\eps\leq \eps_K$, the second contribution in the right-hand-side \eqref{eq:triangle W1} satisfies
\begin{multline}\label{eq:truc}
\ds (1+\abs{z})^\alpha \abs{ \left\langle \dQVA(z)-\dQVB(z), \D(\partial_z V_1)(z) \right\rangle } \\
\leq \eps^2 C_K \norm{\triangle V}_\alpha \Vert V_1 \Vert_\alpha \Big\langle (1+\abs{y_1} + \abs{y_2}) \exp (-Q(y_1,y_2) + 2\eps \RK(\abs{y_1}+\abs{y_2})),
\\
\left(\vert y_1 \vert+ \vert y_2 \vert + \eps^\alpha\vert y_1 \vert^{1+\alpha} + \eps^\alpha\vert y_2 \vert^{1+\alpha} \right) \Big\rangle.
\end{multline}
The last integral is uniformly bounded for $\eps$ small enough, involving moments of a Gaussian distribution. Therefore, the whole quantity is bounded by $\eps^2 C_K \norm{\triangle V}_\alpha$, uniformly with respect to $z$. This concludes the proof of \cref{estim Delta 1}.

\subsubsection*{Proof of \eqref{estim Delta 2}}
To begin with, we have
\begin{multline*}
\triangle W_\eps^{(2)}(z) =
\Bigl\langle \dQVA(z), \dfrac{1}{2} \D(\partial_z^2 V_1)(z) + \left(\D(\partial_z V_1)(z)\right)^2 \Bigr\rangle \\
-\Bigl\langle \dQVB(z), \dfrac{1}{2} \D(\partial_z^2 V_2)(z) + \left(\D(\partial_z V_2)(z)\right)^2 \Bigr\rangle.
\end{multline*}
We split the difference into two, as in the previous part,
\begin{align*}
\triangle W_\eps^{(2)}&(z)\\
& \hspace*{-5mm}=
\Bigl\langle \dQVB(z), \dfrac{1}{2} \D(\partial_z^2 V_1)(z) + \left(\D(\partial_z V_1)(z)\right)^2
- \dfrac{1}{2} \D(\partial_z^2 V_2)(z) - \left(\D(\partial_z V_2)z)\right)^2 \Bigr\rangle
\\
&\hspace*{3cm} + \Bigl\langle \dQVA(z)-\dQVB(z), \dfrac{1}{2} \D(\partial_z^2 V_1)(z) + \left(\D(\partial_z V_1)(z)\right)^2 \Bigr\rangle \\
&\hspace*{-5mm}= A + B.
\end{align*}
The first contribution can be rearranged as follows, by factorizing the difference of squares:
\begin{equation*}
A
= \Bigl\langle \dQVB(z),\dfrac{1}{2} \D(\partial_z^2 \triangle V)(z)
+ \D(\partial_z \triangle V)(z) \D(\partial_z (V_1+V_2))(z)
\Bigr\rangle.
\end{equation*}
The term involving $V_1+V_2$ is bounded uniformly in a crude way: $$\|\D(\partial_z (V_1+V_2))\|_\infty \leq 2 \|V_1+V_2\|_\alpha$$ (in fact it is bounded by a $\cO(\eps)$ uniformly with respect to $z$, but this detail is omitted here).
Then, we apply \cref{estim derivatives} twice with $V_1-V_2$ to obtain:
\begin{align*}
\ds (1+\abs{z})^\alpha \abs{A} & \leq \eps C_K \Vert \triangle V \Vert_\alpha \left\langle \dQVB(z), \left(\vert y_1 \vert+ \vert y_2 \vert +\eps^\alpha \vert y_1 \vert^{1+\alpha} + \eps^\alpha\vert y_2 \vert^{1+\alpha} \right) \right\rangle.
\end{align*}

To estimate $B$, the term involving the difference of measures $d\QV$, we apply \eqref{eq:cont_measure} and \cref{estim derivatives}:
\begin{multline}\label{eq:estim PSI}
(1+\abs{z})^\alpha \abs{B}\\
\leq \bigl\langle \abs{\dQVA(z)-\dQVB(z) }, \eps C \bigl (\norm{V_1}_\alpha^2 + \nalph{V_2} \bigr)\bigl(\vert y_1 \vert+ \vert y_2 \vert + \eps^\alpha\vert y_1 \vert^{1+\alpha} + \eps^\alpha\vert y_2 \vert^{1+\alpha} \bigr) \bigr\rangle.
\end{multline}
We find, exactly as above, that the quantity $(1+\abs{z})^\alpha \abs{B} $ is bounded by $\eps^2 C_K \norm{\triangle V}_\alpha$.
Combining both estimates on $A,B$, we deduce \cref{estim Delta 2}.

\subsubsection*{Proof of \eqref{estim Delta 3}}
The full expression for $\triangle W_\eps^{(3)}$ is as follows:
\begin{multline*}
\triangle W_\eps^{(3)}(z)\\ =
\Bigl\langle \dQVA(z), \dfrac{1}{4} \D(\partial_z^3 V_1)(z) + \left(\D(\partial_z V_1)(z)\right)^3 + 3\D(\partial_z V_1)(z) \left(\dfrac{1}{2} \D(\partial_z^2 V_1)(z)\right) \Bigr\rangle\\
-\Bigl\langle \dQVB(z), \dfrac{1}{4} \D(\partial_z^3 V_2)(z) + \left(\D(\partial_z V_2)(z)\right)^3 + 3 \D(\partial_z V_2)(z) \Bigl(\dfrac{1}{2} \D(\partial_z^2 V_2)(z) \Bigr) \Bigr\rangle.	
\end{multline*}
We split again in two pieces, one involving $V_1-V_2$, and the other one involving \hbox{$\dQVA-\dQVB$}:
\begin{equation*}
\triangle W_\eps^{(3)}(V)(z) = \left\langle \dQVB(z), A_1 + A_2 + A_3 \right\rangle + \left\langle \dQVA(z)-\dQVB(z),B \right\rangle,
\end{equation*}
with
\begin{align*}
A_1 &= \dfrac{1}{4} \D(\partial_z^3 \triangle V)(z) \\
A_2 & = \left(\D(\partial_z V_1)(z)\right)^3 - \left(\D(\partial_z V_2)(z)\right)^3 \\
& =
\left(\D(\partial_z \triangle V)(z)\right)
\Bigl[ \left(\D(\partial_z V_1)(z)\right)^2
+ \left(\D(\partial_z V_2)(z)\right)^2\\
&\hspace*{6cm} + \left(\D(\partial_z V_1)(z)\right)\left(\D(\partial_z V_2)(z)\right) \Bigr]\\
A_3 & = 
3 \D(\partial_z^2 V_1)(z) \Bigl( \dfrac{1}{2} \D(\partial_z V_1)(z) \Bigr) -  3 \D(\partial_z V_2)(z) \Bigl( \dfrac{1}{2} \D(\partial_z^2 V_2)(z) \Bigr)\\
& = 3 \D(\partial_z V_1)(z) \Bigl(\dfrac{1}{2} \D(\partial_z^2 \triangle V)(z) \Bigr) + 3 \D(\partial_z \triangle V)(z) \Bigl(\dfrac{1}{2} \D(\partial_z^2 V_2)(z) \Bigr)\\
B &= \dfrac{1}{4} \D(\partial_z^3 V_1)(z) + \left(\D(\partial_z V_1)(z)\right)^3
+ 3\D(\partial_z V_1)(z) \Bigl(\dfrac{1}{2} \D(\partial_z^2 V_1)(z) \Bigr).
\end{align*}
We shall estimate all the contributions separately. Firstly, $A_1$ yields the contraction factor:
\begin{align*}
(1+\abs{z})^\alpha \left\langle \dQVB(z), \abs{ A_1} \right \rangle &\leq 2^{\alpha - 1} \norm{\triangle V}_\alpha	\Bigl\langle \dQVB(z), 1 + \frac{\eps^\alpha}4 \left[\vert y_1 \vert^\alpha + \abs{y_2}^\alpha\right] \Bigr\rangle\\
& \leq \left (2^{\alpha - 1} + \eps^\alpha C_K\right) \norm{\triangle V}_\alpha.
\end{align*}
The latter is the main contribution in \eqref{estim Delta 3}. The remaining terms are lower-order contributions with respect to $\eps$.
For $A_2$, we have
\begin{align*}
(1+\abs{z})^\alpha \left\langle \dQVB(z), \abs{ A_2} \right \rangle &\leq \eps 2^{\alpha} \norm{\triangle V }_\alpha \Bigl\langle \dQVB(z), \left(\nalph{V_1}^2+\nalph{V_2}^2+ \nalph{V_1} \nalph{V_2} \right)\\
&\hspace*{3cm}\times\left[\vert y_1 \vert+ \vert y_2 \vert + \eps^\alpha \vert y_1 \vert^{1+\alpha} + \eps^\alpha\vert y_2 \vert^{1+\alpha} \right] \Bigr \rangle\\
& \leq \eps C_K \norm{\triangle V }_\alpha.
\end{align*}
For $A_3$, we have similarly
\begin{equation*}
(1+\abs{z})^\alpha \left\langle \dQVB(z), \abs{ A_3} \right \rangle \leq \eps C_K \norm{\triangle V }_\alpha.
\end{equation*}

It remains to control the term involving $B$. We argue as in \eqref{eq:truc} and \eqref{eq:estim PSI}. We~set
\begin{align*}
P^1_{\alpha,\eps}(y_1,y_2)&=\Bigl (1+ \frac{\eps^\alpha}4 \left[\vert y_1 \vert^{\alpha}+ \vert y_2 \vert^{\alpha} \right] \Bigr),\\
P^2_{\alpha,\eps}(y_1,y_2)&=\vert y_1 \vert+ \vert y_2 \vert + \eps^\alpha\vert y_1 \vert^{1+\alpha} + \eps^\alpha\vert y_2 \vert^{1+\alpha}.
\end{align*}
Then
\begin{multline*}
\left\langle \abs{ \dQVA(z)- \dQVB(z) }, (1+\abs{z})^\alpha\abs{B} \right\rangle
\leq \eps C_K \norm{\triangle V}_\alpha\\
\shoveleft{\times \Bigl\langle (1+ \abs{y_1} + \abs{y_2}) \exp (-Q(y_1,y_2) + 2\eps \RK(\abs{y_1}+\abs{y_2})),}\\[-3pt]
2^{\alpha-1} \norm{V_1}_\alpha P^1_{\alpha,\eps}(y_1,y_2)
+ C \eps \bigl (\norm{V_1}_\alpha^3 + \norm{V_1}_\alpha^2\bigr) P^2_{\alpha,\eps}(y_1,y_2)\Bigr\rangle.
\end{multline*}
The latter is controlled by $ \eps C_K \norm{\triangle V }_\alpha$ for the same reasons as usual.

Combining all the pieces together, we obtain finally \eqref{estim Delta 3}.
\end{proof}

\section{Analysis of the fixed point mapping \texorpdfstring{$\H$}{He}}\label{sec properties H}
In this section we focus on the fixed point mapping $\H$ \eqref{eq:defH}, which is defined through an infinite series.
We are first concerned with the convergence of the series for $V\in \Eaz$.
\subsection{Well-posedness of $\H$ on balls}\label{sec finiteness H}
Consider the following decomposition of each term of the series \eqref{eq:defH} in two parts, with the corresponding notations:
\begin{equation*}
\Gamma_\eps(z) = \log \Bigl(\dfrac{\cI_\eps(V)(0)+m(z)}{\cI_\eps(V)(0)} \Bigr) - \log \Bigl(\dfrac{\cI_\eps(V)(z)}{\cI_\eps(V)(0)} \Bigr) = \Gammam(z)- \GammaI(z).
\end{equation*}
They have the following properties:

\begin{lem}\label{cond log Ieps+m Eaz}
For every ball $K\subset \Eaz$, there exists $\eps_K$ such that for any $\eps \leq \eps_K$, and $V\in K$, we have $\Gammam \in \Eaz$. Moreover, we have $(1+|z|)^\alpha\partial_z \Gammam \in L^\infty$.
\end{lem}
The proof of \cref{cond log Ieps+m Eaz} is a straightforward consequence of \cref{estim Ieps} and the assumptions on $m$ made in \cref{def m}, particularly \eqref{eq:log m}.

\begin{lem}\label{cond log Ieps Eaz}
For every ball $K\subset \Eaz$, there exists $\eps_K$ such that for any $\eps \leq \eps_K$, and $V\in K$, we have $\GammaI\in \Ea$, and $\partial_z \GammaI (0) = 0$. Moreover, we have $(1+|z|)^\alpha\partial_z \GammaI \in L^\infty$.
\end{lem}
\begin{proof}
We begin by verifying the condition $\partial_z \GammaI (0) = 0$. This is in fact equivalent to the choice of $\gamma_\eps(V)$, as can be seen on the following computation:
\begin{align*}
\partial_z \GammaI(0)= \dfrac{\partial_z \cI_\eps(V)(0)}{\cI_\eps(V)(0)} = W_\eps^{(1)}(V)(0).
\end{align*}
Now, comparing \eqref{eq:heurgam_equ} with \eqref{eq:W1}, we see that $\partial_z \GammaI(0) = 0$ is equivalent to $J(\gamma_\eps(V),V) = 0$, provided $\eps$ is small enough (for the quantities to be well defined).

Secondly, we need to get uniform bounds on the derivatives of $\GammaI$ to prove that it belongs to $\Ea$. The following formulas relate the successive logarithmic derivatives of $\cI_\eps(V)$ to the $W_\eps^{(i)}(V)$ introduced in \cref{def:W}:
\begin{align}
\partial_z \GammaI(z) & = W_\eps^{(1)}(V)(z) \label{eq:pz gammaI}\\
\partial_z^2 \GammaI(z) & = W_\eps^{(2)}(V)(z) - \bigl [W_\eps^{(1)}(V)(z) \bigr ]^2, \label{eq:pz2 gammaI}\\
\partial_z^3 \GammaI(z) & = W_\eps^{(3)}(V)(z) + 3W_\eps^{(1)}(V)(z)W_\eps^{(2)}(V)(z) +2 \bigl [W_\eps^{(1)}(V)(z) \bigr ]^3. \label{eq:pz3 gammaI}
\end{align}
We can use directly the weighted estimates in \cref{unif boundsW}, which include the algebraic decay of the first order derivative. Algebraic combinations are compatible with those estimates because $W_\eps^{(i)}(V) \in L^\infty(\R)$.
A fortiori those terms are all uniformly bounded and so we obtain that $\GammaI\in \Ea$.
\end{proof}

The main result of this section is the following one:
\begin{prop}[Convergence of the series $\H(V)$]\label{finiteness Heps}
For every ball $K\subset \Eaz$, there exists $\eps_K$ such that for any $\eps \leq \eps_K$, and $V\in K$, the sum $\H(V)$ is finite.
\end{prop}
Before proving this statement, we first establish an auxiliary technical lemma about the following summation operator $S$:
\begin{equation*}
\cS: \Lambda \mto \biggl(h \mapsto \sum_{k \geq 0} 2^k \Lambda	 (2^{-k}h) \biggr).
\end{equation*}

\begin{lem}[Existence of the sum]\label[lem]{existence sums}
Take any function $\Lambda\!\in\!\Ea$ such that \hbox{$\partial_z \Lambda(0) \!=\!0$}. Then $\cS(\Lambda)(h)$ is well-defined for every $h\in \R$.
\end{lem}
\begin{proof}
We perform a Taylor expansion: there exists $\tilde{h}_k$, such that
$\Lambda (2^{-k}h) = \frac12 (2^{-k}h)^2 \partial_z^2 \Lambda(2^{-k} \tilde{h_k})$. Therefore, we have immediately
\begin{equation*}
\ds \bbabs {\sum_{k \geq 0} 2^k \Lambda (2^{-k}h) } \leq \biggl (h^2 \sum_{k \geq 0} 2^{-k} \biggr) \left\| \partial_z^2 \Lambda\right \|_{\infty} < \infty.\qedhere
\end{equation*}
\end{proof}
One can now proceed to the proof of the finiteness of the sum of $\H$ in \cref{def:H}.
\begin{proof}[Proof of \cref{finiteness Heps}]
Let $K$ be the ball of $\Eaz$ of radius $\nalph{K}$ and take $V \in K$, $z \in \R$. To use the previous lemma, we first notice the identity by definition:
\begin{equation}\label{eq:relation HVS}
\H(V) = \cS(\Gamma_\eps).
\end{equation}
There are two conditions to verify in order to apply \cref{existence sums}:
\begin{align*}
\partial_z \Gamma_\eps (0)= 0, \quad\text{and } \Gamma_\eps \in \Ea.
\end{align*}
Those properties are verified thanks to \cref{cond log Ieps+m Eaz,cond log Ieps Eaz}. The \cref{finiteness Heps} immediately follows.
\end{proof}

So far, we have not used the algebraic decay condition which is part of the definition of $\Ea$. In the following lemma, we refine the estimate on $\cS(\Lambda)\in \Ea$.
This foreshadows the same result for the function $\H(V)$, as stated in the next section.

\begin{lem}[Better control of the series]\label{control sums}
Assume that $\Lambda\in \Ea$, that $\partial_z \Lambda(0) = 0$, and that $(1+|z|)^\alpha\partial_z \Lambda\in L^\infty$. Then, $\cS(\Lambda)$ belongs to $\Ea$, with a uniform estimate:
\begin{equation}\label{eq:control S alpha}
\nalph{ \cS(\Lambda)} \leq C\max \Bigl (\|\Lambda\|_\alpha, \sup_{z\in \R}\ (1+|z|)^\alpha|\partial_z \Lambda(z)| \Bigr).
\end{equation}
\end{lem}

There is some subtlety hidden here. In fact, we were not able to propagate the algebraic decay at first order from $\Lambda$ to $\cS(\Lambda)$. What saves the day is that we gain some algebraic decay of the first order derivatives somewhere in our procedure (see \eg Proposition \ref{unif boundsW}).

\begin{proof}
Recall the notation $\vphia (h)= (1 + \abs{h})^\alpha$. We begin with the uniform bound on the first derivative, which is the main reason why we have to impose algebraic decay in our functional spaces.

\subsubsection*{Step 1: $ \partial_z \cS(\Lambda)$ is uniformly bounded}
We split the sum in two parts. Let $h \in \R$, and let $N_h \in \N$ be the lowest integer such that $|h| \leq 2^{N_h}$.
We consider the two regimes: $k> N_h$ and $k \leq N_h$. In the former regime, a simple Taylor expansion yields
\begin{equation*}
\ds \bbabs{\sum_{k > N_h} \partial_z \Lambda (2^{-k}h)} \leq \ds \sum_{k > N_h} 2^{-k}| h | \left \|\partial_z^2 \Lambda \right \|_{\infty} \leq \left \|\partial_z^2 \Lambda \right \|_{\infty},
\end{equation*}
by definition of $N_h$.
In the regime $k \leq N_h $, we use the algebraic decay which is encoded in the space $\Ea$. If $|h|>1$, we have $N_h\geq 1$, and
\begin{align*}
\biggl | \sum_{k\leq N_h} \partial_z \Lambda (2^{-k}h)\biggr| &\leq \sum_{k\leq N_h } \frac{\|\vphia \partial_z \Lambda \|_{\infty}} {(1+2^{-k}|h|)^\alpha}\\
&\leq \biggl (\sum_{k\leq N_h } \dfrac{2^{k \alpha}}{|h|^\alpha} \biggr) \|\vphia \partial_z \Lambda \|_{\infty} = \Bigl (\dfrac{1}{|h|^\alpha} \dfrac{2^{(N_h+1) \alpha }-1}{2^\alpha-1} \Bigr) \|\vphia \partial_z \Lambda \|_{\infty}.
\end{align*}
By definition of $N_h$, we have $2^{N_h-1} < |h|$, so that the right-hand-side above is bounded by a constant that get arbitrarily large as $\alpha\to 0$ (hence, the restriction on $\alpha>0$):
\begin{equation}\label{eq:alpha collapses}
\bbabs{ \sum_{k\leq N_h} \partial_z \Lambda (2^{-k}h) } \leq \Bigl (\dfrac{4^\alpha}{2^\alpha - 1} \Bigr) \|\vphia \partial_z \Lambda \|_{\infty}.
\end{equation}
The case $|h|\leq 1$ is trivial as the sum is reduced to a single term $\partial_z \Lambda (h)$ since $N_h = 0$.

\subsubsection*{Step 2: $ \vphia\abs{ \partial_z^2 \cS(\Lambda)} $ is uniformly bounded} This bound and the next one are easier.
For any $h \in \R $, we have
\begin{equation*}
\vphia(h) \bbabs{ \sum_{k\geq 0} 2^{-k} \partial_z^2 \Lambda (2^{-k}h) } \leq \biggl (\sum_{k \geq 0} 2^{-k} \dfrac{\vphia(h)}{\vphia(2^{-k}h)} \biggr) \|\vphia \partial_z^2 \Lambda \|_{\infty}.
\end{equation*}
Since $1\geq 2^{-k}$, one obtains
\begin{equation*}
\vphia(h) \bbabs{ \sum_{k\geq 0} 2^{-k} \partial_z^2 \Lambda (2^{-k}h) } \leq \biggl(\sum_{k \geq 0} 2^{k (\alpha-1)} \biggr) \|\vphia \partial_z^2 \Lambda \|_{\infty} = \Bigl (\dfrac{2}{2 - 2^\alpha} \Bigr) \|\vphia \partial_z^2 \Lambda \|_{\infty}.
\end{equation*}
The latter sum is finite since $\alpha<1$.

\subsubsection*{Step 3: $ \vphia\abs{ \partial_z^3 \cS(\Lambda)} $ is uniformly bounded} The proof is similar to the previous argument.
\end{proof}

\subsection{Contraction properties (second part)}\label{sec cotraction properties}
In this section we prove that $\H$ stabilizes some subset of $\Ea_0$. We first show that $\H$ maps balls into balls with incremental radius that do not depends on the initial ball (\cref{invariant subsets}). This property immediately implies the existence of an invariant subset for $\H$ (\cref{cor invariant subset}). Final\-ly, we prove that the mapping $\H$ is a contraction mapping for $\eps$ small enough (\cref{contraction mapping}).
To completely justify the definition of $\H$, it remains to show that $\H(V) \in \Eaz$. We begin with the lower bound on the second derivative, which is for free.

\begin{lem}[Lower bound on $\partial_z^2 \H(V)(0)$]\label{lowerbound p2HV}
For every ball $K\subset \Eaz$, there exists~$\eps_K$ such that for any $\eps \leq \eps_K$, and $V \in K$, we have:
\begin{align*}
\partial_z \H(V)(0) = 0, \quad \partial_z^2 \H(V)(0) \geq \partial_z^2 m(0).
\end{align*}
\end{lem}

\begin{proof}
The identity $\partial_z \H(V)(0) = 0$, and more particularly $\partial_z \GammaI(0) = 0$ is a consequence of the choice of $\gamma_e(V)$ in \cref{existunique gammaeps}. Indeed, we have, by \eqref{eq:relation HVS},
\begin{align*}
\partial_z \H(V)(0) = \sum_{k \geq 0} \partial_z \Gamma_\eps(V)(0) = 0.
\end{align*}

For the second estimate, a simple computation yields, using $m(0)= \partial_z m(0) = 0$:
\begin{equation*}
\partial^2_z \H(V) (0) = \sum_{k \geq 0} 2^{-k}\Bigl[\dfrac{\partial^2_z m(0)}{\cI_\eps(V)(0)} -W_\eps^{(2)}(V)(0)-W_\eps^{(1)}(V)(0)^2 \Bigr].
\end{equation*}
But since $V \in \Eaz$, one can use again the uniform estimates of \cref{unif boundsW} to write that for $\eps \leq \eps_K$, that depends only on the ball $K$:
\begin{equation}\label{eq:calc_d2Veps_int}
\ds \partial^2_z \H(V) = 2 \dfrac{\partial^2_z m(0)}{\cI_\eps(V)(0)} + \cO(\eps),
\end{equation}
where $\cO(\eps)$ that depends only on the ball $K$. Then, we use \cref{estim Ieps} with $\delta = 1/3$ to deduce that for $\eps$ small enough, we have $\cI_\eps(V) \leq {4}/{3}$. Then \eqref{eq:calc_d2Veps_int} can be simplified into
\begin{equation*}
\ds \partial^2_z \H(V)(0) \geq \dfrac{3 \partial^2_z m(0)}{ 2 } +\cO(\eps).
\end{equation*}
Recall that $\partial_z^2m(0)>0$ by assumption. Therefore, for $\eps$ small enough, we get as claimed
\begin{equation*}
\ds \partial^2_z \H(V)(0) \geq \partial^2_z m(0).\qedhere
\end{equation*}
\end{proof}
\begin{remark}Considering the proof, another way to interpret the result is that automatically for any function $V \in \Ea$ such that $\partial_z V(0) = 0$, the function $\H$ prescribes a lower bound on $\partial_z^2 V(0)$. Since we are seeking a fixed point $\H(V)= V$, we may as well put this condition in the subspace $\Eaz$ without loss of generality.
\end{remark}

Finally, we can establish a first useful estimate on $\nalph{\H(V)}$, showing more than just its finiteness:
\begin{prop}[Contraction in the large]\label[prop]{invariant subsets}
For every ball $K \in \Eaz$, there exists an explicit constant $\kappa(\alpha)<1$, as well as $C_m$, $C_K$ and $\eps_K$ that depend only on $K$ such that, for all $\eps \leq \eps_K$, and for every $V \in K$,
\begin{equation}\label{eq:bound nalphHeps}
\nalph{\H(V)} \leq C_m + (\kappa(\alpha)+\eps^\alpha C_K)\nalph{V}.
\end{equation}
\end{prop}

\begin{proof}
Let $K$ be the ball of $\Eaz$, and take $V \in K$. For clarity we write respectively $\cI_\eps(h) $ and $W_\eps^{(i)}(h)$ instead of $\cI_\eps(V) (h)$ and $W_\eps^{(i)}(V) (h)$. Combining various estimates derived in Section \ref{sec finiteness H}, and particularly Lemma \ref{control sums} together with \cref{cond log Ieps+m Eaz,cond log Ieps Eaz}, we find that $ \H(V) = \cS(\Gamma_\eps) = \cS(\Gammam) - \cS(\GammaI)$ belongs to $\Ea$. However, the associated estimate \eqref{eq:control S alpha} is not satisfactory, at least for the $\cS(\GammaI)$ and we need to re-examine the dependency of the constants upon $\eps$ and $\alpha$.

The first and second derivatives of $\GammaI$ involve $W_\eps^{(1)}$ and $W_\eps^{(2)}$ which are both of order $\eps C_K \nalph{V}$ thanks to \cref{unif boundsW}. Back to the proof of \cref{control sums}, the quantities $\|\vphia\partial_z \GammaI\|_{\infty} $ and $\|\vphia\partial_z^2 \GammaI\|_{\infty} $ are in fact of order $\eps \nalph{\Lambda}$, and so are $\| \partial_z\cS(\GammaI)\|_{\infty} $ and $\| \vphia\partial_z^2\cS(\GammaI)\|_{\infty} $.

This cannot be extended readily to the third derivative as we lose the order $\eps$ at this stage. However, \cref{unif boundsW} provides an explicit constant that is going to be used. From \eqref{eq:pz3 gammaI}, we have:
\begin{equation*}
\partial^3_z \cS \left(\GammaI \right)(h) = \sum_{k \geq 0} 4^{-k} \Bigl[W_\eps^{(3)}(2^{-k}h)+3W_\eps^{(2)}(2^{-k}h)W_\eps^{(1)}(2^{-k}h)+2W_\eps^{(1)}(2^{-k}h)^3 \Bigr].
\end{equation*}
The contributions involving $W^{(1)}_\eps$ and $W^{(2)}_\eps$ are of order $\eps$, and can be handled exactly as above. However, the linear term involving $W_\eps^{(3)}$ requires a careful attention. We obtain from \cref{unif boundsW} that $\vphia W_\eps^{(3)}$ is bounded uniformly by $\left(2^{\alpha-1} + \eps^\alpha C_K \right) \nalph{V}$. Therefore,
\begin{multline}\label{eq:contraction kappa}
\vphia(h) \bbabs{ \sum_{k\geq 0} 4^{-k}W^{(3)}_\eps(2^{-k}h) }
\leq \left(2^{\alpha-1} + \eps^\alpha C_K \right) \biggl (\sum_{k \geq 0} 4^{-k} \dfrac{\vphia(h)}{\vphia(2^{-k}h)} \biggr) \nalph{V} \\
\leq
\left(2^{\alpha-1} + \eps^\alpha C_K \right) \biggl (\sum_{k \geq 0} 2^{k(\alpha - 2)} \biggr) \nalph{V} =
\Bigl(\dfrac{2^{\alpha+1}}{4 - 2^\alpha} + \eps^\alpha C_K \Bigr) \nalph{V}.
\end{multline}
In view of the latter estimate, we define the explicit constant $\kappa(\alpha)$ as
\begin{equation*}
\kappa(\alpha) = \dfrac{2^{1+\alpha}}{4-2^\alpha}.
\end{equation*}
A simple calculation shows that $\kappa(\alpha)<1$ if and only if $\alpha < 2 - \log_2(3) \approx 0.415$.
The choice $\alpha < 2/5$ gives some room below this threshold. We conclude that $\nalph{\cS(\GammaI)}\leq (\kappa(\alpha)+\eps^\alpha C_K)\nalph{V}$.

The other contribution to $\H(V)$, namely $\cS(\Gammam)$ can be bounded in an easier way. Indeed, we have
\begin{equation}\label{eq:gamma m decomposed}
\begin{split}
\Gammam &= \log(1 + m) + \log \Bigl(1 + \dfrac{m}{\cI_\eps(0)} \Bigr) - \log(1 + m)\\
&= \log(1 + m) + \log \Bigl(1 + \dfrac{m}{1 + m} \Bigl (\dfrac1{\cI_\eps(0)} - 1 \Bigr) \Bigr).
\end{split}
\end{equation}
We define accordingly
\begin{equation*}
C_m = \max_{k = 1,2,3} \Bigl (\Bigl \|\vphia \dfrac{\partial_z^{k} m}{1 + m} \Bigl \|_{\infty} \Bigl),
\end{equation*}
Moreover, \cref{estim Ieps} can be easily refined into $|\cI_\eps(0) - 1|\leq \eps C_m \|V\|_\alpha$, using the definition of $R_K$ in \eqref{def G+G-}. Straightforward computations show that the last contribution in \eqref{eq:gamma m decomposed} can be estimated by $\eps C_m \nalph{V}$. Combining the estimates obtained for $\cS(\Gammam)$ and $\cS(\GammaI)$, we come to the conclusion:
\[
\nalph{\H(V)} \leq C_m + (\kappa(\alpha) + \eps^\alpha C_K)\nalph{V}.\qedhere
\]
\end{proof}

\cref{invariant subsets} calls an immediate corollary.
\begin{cor}[Invariant subset]\label{cor invariant subset}
There exist $K_0$ a ball of $\Eaz$, and $\eps_0 $ a positive constant
such that for all $\eps \leq \eps_0$ the set $K_0$ is invariant by $\H$:
\begin{align*}
\H(K_0) \subset K_0.
\end{align*}
\end{cor}

\begin{proof}
Let $K_0$ be the ball of radius $R_0 = 2C_m/ (1 - \kappa(\alpha))$. We deduce from \cref{invariant subsets} that, for all $V\in K_0$,
\begin{align*}
\nalph{\H(V)} \leq C_m + (\kappa(\alpha) + \eps^\alpha C_{K_0})R_0 &= C_m \Bigl (1 + \dfrac{2\kappa(\alpha)}{1 - \kappa(\alpha)} \Bigr) + \eps^{\alpha} C_{K_0} R_0 \\
&= C_m \Bigl (\dfrac{2}{1 - \kappa(\alpha)} - 1 \Bigr) + \eps^{\alpha} C_{K_0} R_0 \\
& = R_0 + C_m \Bigl (-1 + \dfrac{2\eps^{\alpha} C_{K_0}}{1 - \kappa(\alpha)} \Bigr).
\end{align*}
Therefore, the choice
$\eps_0 = \left(\sfrac{1-\kappa(\alpha)}{2 C_{K_0}} \right)^{\sfrac1\alpha} $ guarantees that $K_0$ is left invariant by $\H$.
\end{proof}

We are now in position to state the more important result of this section:

\begin{thm}[Contraction mapping]\label{contraction mapping}
There exists a constant $C_{K_0}$ such that for any $\eps\leq \eps_0$, and every function $V_1$, $V_2 \in K_0$, the following estimate holds true
\begin{equation}\label{eq: contraction th}
\nalph{ \H(V_1)- \H(V_2)} \leq (\kappa(\alpha) + \eps^\alpha C_K)\nalph{V_1-V_2}.
\end{equation}
\end{thm}
\begin{proof}
We denote by $\triangle V$ the difference $V_1 - V_2$, again.
The proof is analogous to \cref{invariant subsets}.
For clarity we write respectively $\cI_\eps^i(h) $ instead of $\cI_\eps(V_i) (h)$ and $\triangle W_\eps^{(i)}(h)$ instead of $W_\eps^{(i)}(V_1) (h)-W_\eps^{(i)}(V_2) (h)$.
We decompose $ \triangle \H(V)$ as above:
\begin{equation*}
\triangle \H = \triangle \left (\cS(\Gammam) - \cS(\GammaI)\right) = \triangle \H^m - \triangle \H^I.
\end{equation*}
We deal with $\triangle \H^m$ in the following lemma:
\begin{lem}\label{unif bound affpart diff}
There exists a constant $C_{0}$ such that for any $\eps\leq \eps_0$, and every function $V_1$, $V_2 \in K_0$, we have
\begin{align*}
\nalph{\triangle \H^m} \leq \eps C_0 \nalph{ \triangle V }.
\end{align*}
\end{lem}

\begin{proof}
Recall the following definition:
\begin{equation*}
\triangle \Gammam = \log\left (\cI_\eps^1(0) + m \right) - \log\left (\cI_\eps^2(0) + m \right) - \log\left (\sfrac{\cI_\eps^1(0) }{\cI_\eps^2(0) } \right).
\end{equation*}
The first derivative has the following expression,
\begin{equation}\label{eq:triangle gammam}
\partial_z \triangle \Gammam = - \dfrac{\partial_z m}{(\cI_\eps^1(0) + m)(\cI_\eps^2(0) + m)}\, \triangle \cI_\eps(0).
\end{equation}
Clearly, $\cI_\eps^2(0) + m$ is bounded below, uniformly for $\eps$ small enough. Therefore, we can repeat the arguments of \cref{control sums}, with $\Lambda = \log(\cI_\eps^1(0) + m)$ in order to get
\begin{equation*}
\|\partial_z \cS(\triangle \Gammam)\|_{\infty} \leq
C_m |\triangle \cI_\eps(0)|.
\end{equation*}
However, \cref{cont Ieps} yields that $|\triangle \cI_\eps(0)| \leq \eps C_{0} \nalph{\triangle V}$.

The next order derivatives can be handled similarly. Indeed, the following quantities must be bounded uniformly by $\eps C_{0} \nalph{\triangle V}$:
\begin{align*}
\vphia(h) \bbabs{ \sum_{k \geq 0} 2^{-k} \Bigl[ \dfrac{\partial_z^2 m(2^{-k}h)}{\cI_\eps^1(0)+m(2^{-k}h)}-\dfrac{\partial_z^2 m(2^{-k}h)}{\cI_\eps^2(0)+m(2^{-k}h)} \Bigr] }& \leq\eps C_{0} \nalph{\triangle V}\\
\vphia(h) \bbabs{\sum_{k \geq 0} 2^{-k} \Bigl[ \dfrac{\partial_z m(2^{-k}h)^2}{(\cI_\eps^1(0)+m(2^{-k}h))^2}- \dfrac{\partial_z m(2^{-k}h)^2}{(\cI_\eps^2(0)+m(2^{-k}h))^2} \Bigr] }& \leq \eps C_{0} \nalph{\triangle V} \\
\vphia(h) \bbabs{ \sum_{k \geq 0} 4^{-k} \Bigl[ \dfrac{\partial_z^3 m(2^{-k}h)}{\cI_\eps^1(0)+m(2^{-k}h)}-\dfrac{\partial_z^3 m(2^{-k}h)}{\cI_\eps^2(0)+m(2^{-k}h)} \Bigr] }& \leq\eps C_{0} \nalph{\triangle V} \\
\vphia(h) \bbabs{\sum_{k \geq 0} 4^{-k} \Bigl [ \dfrac{\partial_z m(2^{-k}h)^3}{(\cI_\eps^1(0)+m(2^{-k}h))^3} -\dfrac{\partial_z m(2^{-k}h)^3}{(\cI_\eps^2(0)+m(2^{-k}h))^3} \Bigr ] }& \leq\eps C_{0} \nalph{\triangle V},\\
\vphia(h) \bbabs{ \sum_{k \geq 0} 4^{-k} \Bigl [ \dfrac{\partial^2_z m(2^{-k}h)\partial_z m(2^{-k}h)}{(\cI_\eps^1	 (0)+m(2^{-k}h))^2} -\dfrac{\partial^2_z m(2^{-k}h)\partial_z m(2^{-k}h)}{(\cI_\eps^2(0)+m(2^{-k}h))^2} \Bigr ]} & \leq \eps C_{0} \nalph{\triangle V}.
\end{align*}
The first and the third items are handled similarly as for the first derivative. The three other items are handled analogously. For the sake of concision, we focus on the second line:
We have,\vspace*{-3pt}
\begin{multline*}
\dfrac{\partial_z m(z)^2}{(\cI_\eps^1(0)+m(z))^2}- \dfrac{\partial_z m(z)^2}{(\cI_\eps^2(0)+m(z))^2} \\
= \Bigl[ \dfrac{\partial_z m(z)}{\cI_\eps^1(0)+m(z)}+\dfrac{\partial_z m(z)}{\cI_\eps^2(0)+m(z)} \Bigr] \Bigl[ \dfrac{- \partial_z m(z) \triangle \cI_\eps (0) }{(\cI_\eps^1(0)+m(z))(\cI_\eps^2(0)+m(z))} \Bigr].
\end{multline*}
The first factor is uniformly bounded by assumption \eqref{eq:log m}, for $\eps$ small enough. The second factor is the same as above, so we can conclude directly.
\end{proof}

It remains to handle $\triangle \H^I$. We have the following formulas for the two first derivatives \eqref{eq:pz gammaI}--\eqref{eq:pz3 gammaI}:\vspace*{-3pt}
\begin{align*}
\partial_z \triangle \H^I (h) & = \sum_{k \geq 0} \triangle W_\eps^{(1)}(2^{-k}h), \\
\partial^2_z \triangle \H^I(h) & = \sum_{k\geq 0} 2^{-k} \left[\triangle W_\eps^{(2)}(2^{-k}h)-\triangle \bigl(W_\eps^{(1)}(2^{-k}h\bigr)^2) \right].
\end{align*}
Finally the formula for the third derivative is:\vspace*{-3pt}
\begin{multline}\label{eq:delta 3 H}
\ds \partial^3_z \triangle \H^I(h)\\
= \ds \sum_{k \geq 0} 4^{-k} \left[\triangle W_\eps^{(3)}(2^{-k}h)+3 \triangle \bigl (W_1^{(2)}W_1^{(1)}(2^{-k}h) \bigr) +2 \triangle \bigl (W_\eps^{(1)}(2^{-k}h)^3 \bigr) \right].	
\end{multline}

The combination of \cref{unif boundsDeltaW} and \cref{control sums} yields
\begin{equation*}
\|\partial_z \triangle \H^I\|_{\infty} \leq \eps C_0 \nalph{\triangle V}.
\end{equation*}
In the same way, we get the bound for the second derivative, using the factorization
\begin{equation*}
\triangle \bigl (W_\eps^{(1)}(z)^2 \bigr) = \bigl (W_\eps^{(1)}(V_1)(z) + W_\eps^{(1)}(V_2)(z) \bigr) \triangle \bigl (W_\eps^{(1)}(z) \bigr),
\end{equation*}
together with the uniform bound in \cref{unif boundsW}.

As in the proof of \cref{invariant subsets}, the third order derivative must be handled with care, as it does not yield a $\cO(\eps)$ bound.

Exactly as above, the contribution involving $\triangle W_\eps^{(3)}$ in \eqref{eq:delta 3 H} is the one that yields the contraction factor, the remaining part being of order $\cO(\eps) \nalph{\triangle V}$. Actually, we have precisely:
\begin{equation*}
\vphia(h) \ds \bbabs{ \sum_{k\geq 0} 4^{-k} \triangle W_\eps^{(3)} (2^{-k}h)} \leq \left(\kappa(\alpha) + \eps^\alpha C_0 \right) \nalph{\triangle V}
\end{equation*}
as in \eqref{eq:contraction kappa}. This concludes the proof of the main contraction estimate.
\end{proof}

\section{Existence of a (locally) unique \texorpdfstring{$U_\eps$}{Ue}, and convergence as \texorpdfstring{$\eps\to 0$}{eo}}

\subsection{Solving problem (\ref{eq:PUeps}) -- \cref{convergence PUeps}(i)}
\label{sec proof reformulation}

First of all, \cref{contraction mapping} immediately implies \cref{existunique fixedpoint}, that is the existence of a unique fixed point $\H(V_\eps) = V_\eps$ in the invariant subset $K_0$, for $\eps \leq \eps_0$. Note that $\eps_0$ could possibly be reduced to meet the requirement of the last estimate in \eqref{eq: contraction th}.

However, due to the peculiar role played by the linear part $\gamma_\eps(V_\eps)$, it is convenient to enlarge slightly the set $K_0$. More precisely, after \cref{cor invariant subset} we define $K_0' $ the ball of radius
\begin{equation}\label{eq:R0'}
R_0' = R_0 + \sup_{V\in K_0}|\gamma_\eps(V)|.
\end{equation}
It is clear that, up to reducing further $\eps_0$ to $\eps_0'$ in order to control the new constant $C_{K_0'}$, the set $K_0'$ is also invariant for $\eps\leq \eps_0'$. The same contraction estimate as in \cref{contraction mapping} holds, obviously. Furthermore, the fixed point on $K_0'$ coincides with the fixed point on the smaller ball $K_0$, by uniqueness.

Next, we show that finding this fixed point is equivalent to solving problem \eqref{eq:PUeps}, as claimed in \cref{solutionisfixedpoint}. We prove in fact the two sides of the equivalence.

\begin{itemize}
\item
The easy part consists in saying that, being given $V_\eps$ the unique fixed point in~$K_0$, the function $U_\eps = \gamma_\eps(V_\eps)\cdot + V_\eps$ belongs to $K_0'$ by definition of $K_0'$ \eqref{eq:R0'}, and it solves problem \eqref{eq:PUeps} by construction.

On the other side, suppose that $(\lambda_\eps,U_\eps) \in \R \times K_0' $ is a solution of the problem \eqref{eq:PUeps}.
As in \cref{sec reformulation}, evaluating \eqref{eq:PUeps} at $z=0$ yields the following necessary condition on $\lambda_\eps$, since $m(0)=0$:
\begin{equation*}
\lep = \iep{0}.\footnote{ We use the notation $I_\eps(U_\eps)$ introduced in \cref{eq:def_Ieps_int}, that should not be confused with $\cI_\eps(V_\eps)$. It is the purpose of the present argument to show that the two quantities do coincide.}
\end{equation*}
Then, we focus on $U_\eps$.
We decompose it as $U_\eps = \gamma_U\cdot + V_U$, with $\gamma_U = \partial_z U_\eps(0) $, and $\partial_z V_U(0)=0$.
Our purpose is threefold: (i) first, we show that $\gamma_U = \gamma_\eps(V_U)$, then (ii) we prove that $V_U \in \Eaz$, and finally (iii), we prove that $\H(V_U)= V_U$.
\end{itemize}

We can reformulate problem \eqref{eq:PUeps} as follows:
\begin{equation}\label{eq:PFV'}
I_\eps(\gamma_U \cdot + V_U)(0) + m(z) = I_\eps(\gamma_U \cdot + V_U)\exp\left (V_U(z)-2V_U\left (\bz\right) + V_U(0) \right).
\end{equation}
Since we assume $U_\eps \in \Ea$, we can differentiate the previous equation, and evaluate it at $z=0$ to get:
\begin{align*}
\partial_z I_\eps(\gamma_U \cdot + V_U)(0) = 0.
\end{align*}
As in Section \ref{sec reformulation}, a direct computation shows that $\gamma_U$ and $V_U$ are linked by the following relation:
\begin{equation}\label{eq:J'}
0 = \Je(\gamma_U, V_U),
\end{equation}
In order to invert this relationship, and deduce that $\gamma_U = \gamma_\eps(V_U)$, it is important to prove that $V_\eps \in \Eaz$, which amounts to showing that $\partial_z^2 V_\eps(0) \geq \partial_z^2 m(0)$, the other conditions being clearly verified.

Differentiating the problem \eqref{eq:PUeps} twice, and evaluating at $z=0$, we get:
\begin{align*}
\partial_z^2 m(0) & = \partial_z^2 I_\eps(U_\eps)(0) + I_\eps(U_\eps)(0)\, \dfrac{\partial_z^2 U_\eps(0)}{2} \\
& = I_\eps(U_\eps)(0) \Bigl(\dfrac{\partial_z^2 I_\eps(U_\eps)(0)}{I_\eps(U_\eps)(0)} + \dfrac{\partial_z^2 U_\eps(0)}{2} \Bigr).
\end{align*}
Then, using straightforward adaptations of \cref{estim Ieps,unif boundsW}, where $V$ should be replaced with $V_U\in \Ea$ and $\gamma_\eps(V)$ should be replaced by $\gamma_U$, we find that
\begin{align*}
\partial_z^2 m(0) \leq \frac32 \Bigl(\eps C_{K_0'} + \dfrac{\partial_z^2 U_\eps(0)}{2} \Bigr).
\end{align*}
for $\eps$ sufficiently small.
We deduce that the missing condition is in fact a consequence of the formulation \eqref{eq:PUeps}:
\begin{align*}
\partial_z^2 U_\eps(0) \geq \partial_z^2 m(0).
\end{align*}
By definition, $\partial_z^2 U_\eps(0) = \partial_z^2 V_\eps(0)$, so we have established that $V_\eps \in \Eaz$.

Hence, we can legitimately invert \eqref{eq:J'}, so as to find $\gamma_U = \gamma_\eps(V_U)$, where the function $\gamma_\eps$ is defined in \cref{existunique gammaeps}. Since $U_\eps\in K_0'$ by assumption, we have in particular $\nalph{V_U}\leq R_0'$. Of course, $V_U$ is the candidate of being the unique fixed point of $\H$ in $K_0'$ (but also in $K_0$). The proof of this claim follows the lines of \cref{eq:formal equivalence}, checking that all manipulations are justified.

First, we divide \eqref{eq:PFV'} by $I_U = I_\eps(\gamma_U \cdot + V_U) = I_\eps(\gamma_\eps(V_U) \cdot + V_U) = \cI_\eps(V_U)$. According to \cref{estim Ieps}, this quantity is uniformly close to $1$ for $\eps$ small, so it does not vanish. Taking the logarithm on both sides, we get for all $z \in \R$:
\begin{equation*}
V_U(z)-2V_U(\bz)+V_U(0) = \log \Bigl(\dfrac{I_U(0)+ m(z)}{I_U(z)} \Bigr).
\end{equation*}
We differentiate the last equation to end up with the following recursive equation for every $z \in \R$
\begin{equation*}
\partial_z V_U (z) - \partial_z V_U(\bz) = \partial_z \log \Bigl(\dfrac{I_U(0)+ m}{I_U(z)} \Bigr)(z).
\end{equation*}
One simply deduces, that for all $z \in \R$, we necessarily have:
\begin{equation*}
\ds \partial_z V_U(z) = \partial_z V_U (0) + \sum_{k \geq 0} \log \Bigl(\dfrac{I_U(0)+ m(2^{-k}z)}{I_U(2^{-k}z)} \Bigr).
\end{equation*}
Note that the $\cC^1$ continuity at $z=0$ is used here. Moreover, $\partial_z V_U (0) = 0$ by definition of $V_U$.
The analysis performed in \cref{finiteness Heps} guarantees that this sum is indeed finite. Finally, integrating back the previous identity yields
\begin{equation*}
\ds V_U(z)= \sum_{k\geq 0} 2^k \log \Bigl(\dfrac{I_U(0)+ m(2^{-k}z)}{I_U(2^{-k}z)} \Bigr) = \sum_{k\geq 0} 2^k \log \Bigl(\dfrac{\cI_\eps(V_U)(0)+ m(2^{-k}z)}{\cI_\eps(V_U)(2^{-k}z)} \Bigr).
\end{equation*}
The last expression is nothing but $\H(V_U)$, by definition \eqref{eq:defH}. Therefore, $V_U = \H(V_U)$ is the unique fixed point of $\H$ in $K_0'$.

\Subsection{Convergence of $(\lep, U_\eps)$ towards $(\lambda_0,U_0)$ -- \Cref{convergence PUeps}\eqref{convergence PUeps2}}\label{sec proof convergence PUeps}
As previously, we decompose $U_\eps = \gamma_\eps\cdot + V_\eps$, where $\gamma_\eps$ stands for $\gamma_\eps(V_\eps)$. Firstly, we have $\lambda_\eps = \cI_\eps(V_\eps)(0)\to 1$, using \cref{estim Ieps}. Secondly, using an argument of diagonal extraction, there exists a subsequence $\eps_n$, and a limit function $V_0$ such that
\begin{align}
\label{eq:convegence pzVe}\lim_{\eps\to 0} \partial_z V_\eps= \partial_z V_0 ,\quad \text{in $L^\infty_\loc$},\\
\label{eq:convegence pz2Ve}\lim_{\eps\to 0} \partial_z^2 V_\eps= \partial_z^2 V_0 ,\quad \text{in $L^\infty_\loc$}.
\end{align}
We have used the Arzelà-Ascoli theorem and the uniform $\cC^3$ bound in order to get the convergence up to the second derivative. However, there is no reason why the convergence should hold for the third derivative, due to the lack of compactness.

Looking at \eqref{eq:PUeps}, we see that $\cI_\eps(U_\eps)$ converges uniformly to 1, and, for every given $z\in \R$, \eqref{eq:convegence pzVe} implies that
\begin{multline}\label{eq:vareq_V}
U_\eps(z)-2U_\eps(\bz) + U_\eps(0) = V_\eps(z)-2V_\eps(\bz) + V_\eps(0)\\ \xrightarrow[\eps \to 0]{} V_0(z)-2V_0(\bz) + V_0(0).
\end{multline}

Passing to the pointwise limit in problem \eqref{eq:PUeps}, we get that $V_0$ solves the following problem:
\begin{equation*}
1 + m(z) = \exp \left(V_0(z)-2 V_0(\bz) + V_0(0) \right).
\end{equation*}
Then, we have necessarily:
\begin{equation}\label{eq:V0defsec6}
V_0(z) = \ds \sum_{k\geq 0} 2^k \log \left(1 + m(2^{-k}z) \right).
\end{equation}
This completes the proof of \Cref{convergence PUeps}\eqref{convergence PUeps2}, up to the identification of the limit of $\gamma_\eps$, if it exists. In our approach, this goes through the characterization of the functional~$\Je$ \eqref{eq:def_Jeps}. This was indeed the purpose of \cref{estimate Jeps}. Here comes an important difficulty, as compactness estimates are not sufficient to pass to the limit in $\Je(0,V_\eps)$ as $\eps\to0$ \eqref{eq:estim_Jeps}, as it would formally involve the pointwise value $\partial_z^3V_0(0)$ which is beyond what our compactness estimates can provide. Note that passing to the limit in $\partial_g\Je(g,V_\eps)$ as $\eps\to0$ is not an issue, as it can be encompassed by \eqref{eq:convegence pz2Ve}, see \eqref{eq:estim_Jeps'}.

It remains to prove that the following limit holds true
\begin{multline}\label{eq:limV3}
\lim_{\eps \to 0}\dfrac{1}{4\sqrt{2}\pi} \iint _{\R^2} \exp(-Q (y_1,y_2)) \left[ y_1^2 \partial_z^3 V(\eps \tilde{y_1}) + y_2^2 \partial_z^3 V(\eps \tilde{y_2})) \right] dy_1dy_2\\[-5pt]
= \dfrac12 \partial_z^3m(0).
\end{multline}
Indeed, this would directly imply that
\begin{equation*}
\lim_{\eps\to 0} \Je(g,V_\eps) = - \dfrac{1}2\partial_z^3m(0) + g \partial_z^2m(0) ,
\end{equation*}
as $\partial_z^2 V_0(0) = 2\partial_z^2 m(0)$ as a consequence of \eqref{eq:V0defsec6}. We could deduce immediately that the root $\gamma_\eps(V_\eps)$ converges to the expected value \eqref{eq:gamma0value}.

In the absence of compactness, we call the contraction argument, in order to prove the following key result:

\begin{lem}\label{lem:last contraction}
For every $\delta\!>\!0$, there exists $R_1(\delta)\!>\!0$, such that, for every \hbox{$R\!\geq\!R_1(\delta)$}, there exists $\eps_1(\delta,R)$ such that for all $\eps \leq \eps_1(\delta,R)$, we have:
\begin{equation}\label{eq:convgamma_obj}
\sup_{ \abs{z} \leq \eps R} \Babs{ \partial_z^3 V_\eps(z) - \frac43 \partial_z^3 m(z) } \leq \delta.
\end{equation}
\end{lem}

\begin{proof}
To begin with, we differentiate the problem \eqref{eq:PUeps} three times:
\begin{equation*}
\partial_z^3 V_\eps(z) - \dfrac{1}{4}\partial_z^3 V_\eps(\bz) = \partial_z^3 \log\left (\lambda_\eps + m(z)\right) - \partial_z^3 \log\left (\cI_\eps(U_\eps)(z) \right).
\end{equation*}
We expand the right hand side as usual:
\begin{multline*}
\partial_z^3 V_\eps(z) - \dfrac{1}{4} \partial_z^3 V_\eps(\bz) = \dfrac{\partial^3_z m(z)}{\lambda_\eps +m(z)}+\dfrac{3 \partial^2_z m(z)\partial_z m(z)}{(\lambda_\eps +m(z))^2}
+\dfrac{2 \partial_z m(z	)^3}{(\lambda_\eps +m(z))^3} \\ - W_\eps^{(3)}(z)- 3W_\eps^{(2)}(z)W_\eps^{(1)}(z)-2W_\eps^{(1)}(z)^3.
\end{multline*}
We subtract $\partial_z^3 m(z)$ on each side, and we reorganize the terms in order to conjure the difference $\partial_z^3 V_\eps(z) - (4/3) \partial_z^3 m(z)$ we are interested in:
\begin{multline}\label{eq:convgamma_1}
\partial_z^3 V_\eps(z) - \frac43 \partial_z^3 m(z) - \dfrac{1}{4}\Bigl(\partial_z^3 V_\eps(\bz)-\frac43 \partial_z^3 m(\bz) \Bigr) + \dfrac{1}{3} \left(\partial_z^3 m(z) - \partial_z^3 m(\bz)\right)\\
=\partial^3_z m(z) \Bigl(\dfrac{1}{\lambda_\eps +m(z)}-1 \Bigr) + \dfrac{3 \partial^2_z m(z)\partial_z m(z)}{(\lambda_\eps +m(z))^2}
+\dfrac{2 \partial_z m(z	)^3}{(\lambda_\eps +m(z))^3}\\ - W_\eps^{(3)}(z)- 3W_\eps^{(2)}(z)W_\eps^{(1)}(z)-2W_\eps^{(1)}(z)^3.
\end{multline}
We estimate below each term of \eqref{eq:convgamma_1}.
First, the terms involving $m$ and its derivatives on the right hand side of \eqref{eq:convgamma_1} converge to zero, uniformly for $|z|\leq \eps R$, as $\eps\to 0$, simply because $m(0) = \partial_z m(0)= 0$, and $\lambda_\eps\to 1$.
Actually, the same holds true for the difference of $ \partial_z^3 m(z) - \partial_z^3 m(\bz)$ by continuity of $\partial_z^3m$ at the origin.

Second, from \cref{unif boundsW}, we know that
\begin{equation*}
\max\bigl (\bigl \| W_\eps^{(1)} \bigr \|_{\infty}, \bigl \| W_\eps^{(2)} \bigr \|_{\infty} \bigr)= \cO(\eps).
\end{equation*}
The remaining term, $W_\eps^{(3)}(z)$ is more delicate to handle. In fact, it will result in a contraction estimate, exactly as in \cref{sec properties H}. We recall the expression of $W_\eps^{(3)} $ \eqref{eq:W3V}:
\begin{equation*}
W_\eps^{(3)}(z) =
\Bigl\langle \dQVe(z), \dfrac{1}{4} \D(\partial_z^3 V_\eps)(z) + \left(\D(\partial_z V_\eps)(z)\right)^3
+ \frac32 \D(\partial_z V_\eps)(z) \D(\partial_z^2 V_\eps)(z) \Bigr\rangle.
\end{equation*}
As in the proof of \cref{estim Delta 1,estim Delta 2,estim Delta 3}, we get that the last two contributions involving the non-linear and lower order terms $\left(\D(\partial_z V_\eps) \right)^3$ and
$ \D(\partial_z V_\eps) \D(\partial_z^2 V_\eps)$ are $\cO(\eps)$.
It remains the term $\left\langle \dQVe, (1/4) \D(\partial_z^3 V_\eps) \right \rangle$, which is a double integral in variables $(y_1,y_2)$ that we split in two regions of integration: $$\Omega = \left\{ \abs{y_1} \leq R/2, \text{ and } \abs{y_2} \leq R/2 \right\}\quad\text{and}\quad \comega= \left\{ \abs{y_1} > R/2, \text{ or } \abs{y_2} > R/2 \right\}.$$

Let $\delta>0$. We can choose $R_1(\delta)$ large enough so that, for all $R\geq R_1(\delta)$, we have
\begin{equation*}
\begin{split}
\frac14 \left |\left\langle \dQVe(z)\mathbf{1}_{\comega}(y_1,y_2), \D(\partial_z^3 V_\eps)(z) \right\rangle \right |
&\leq \frac12 \left\langle \dQVe(z)\mathbf{1}_{\comega}(y_1,y_2), 1 \right\rangle \nalph{K_0}\\
& \leq \dfrac{\delta}{10}.
\end{split}
\end{equation*}
In the region where $y_1$ and $y_2$ are both below $R/2$,
we introduce the difference with $\partial_z^3m$, as in \eqref{eq:convgamma_obj}:
\begin{equation*}
\Bigl\langle \dQVe(z) \mathbf{1}_{\Omega}, \dfrac{1}{4} \partial_z^3 V_\eps(\bz) -\dfrac{1}{8} \partial^3_z V_\eps(\bz+\eps y_1)-\dfrac{1}{8} \partial^3_z V_\eps(\bz+\eps y_2) \Bigr\rangle = A + B,
\end{equation*}
where
\begin{multline*}
A = \Bigl\langle \dQVe(z)\mathbf{1}_{\Omega}, \dfrac{1}{4} \Bigl(\partial_z^3 V_\eps(\bz)-\frac43 \partial_z^3 m(\bz) \Bigr) \\
-\dfrac{1}{8} \Bigl(\partial^3_z V_\eps(\bz+\eps y_1)-\frac43 \partial_z^3 m(\bz + \eps y_1) \Bigr)-\dfrac{1}{8} \Bigl(\partial^3_z V_\eps(\bz+\eps y_2) -\frac43 \partial_z^3 m(\bz +\eps y_2) \Bigr) \Bigr\rangle
\end{multline*}
and
\begin{equation*}
B = \frac16 \left\langle \dQVe(z)\mathbf{1}_{\Omega}, \left (\partial^3_z m(\bz) - \partial_z^3 m(\bz + \eps y_1)\right) +\left (\partial^3_z m(\bz) - \partial_z^3 m(\bz +\eps y_2) \right)\right\rangle.
\end{equation*}
By construction, we have $|\bz + \eps y_i| \leq \eps R/2 + \eps R/2 \leq \eps R$. Therefore, we have
\begin{align*}
\abs{A} & \leq \Bigl\langle \dQVe(z) \mathbf{1}_{\Omega}, \dfrac{1}{4} \sup_{\abs{z} \leq \eps R}\Babs{ \partial_z^3 V_\eps(z)- \frac43 \partial_z^3 m(z)} + \dfrac{2}{8} \sup_{\abs{z} \leq \eps R} \Babs{ \partial_z^3 V_\eps(z)- \frac43 \partial_z^3 m(z)} \Bigr\rangle \\
& \leq \dfrac{1}{2}\sup_{\abs{z} \leq \eps R} \Babs{ \partial_z^3 V_\eps(z)- \frac43 \partial_z^3 m(z)}.
\end{align*}
As for $B$ we find:
\begin{equation*}
\abs{B} \leq \dfrac13 \Bigl\langle \dQVe(z) \mathbf{1}_{\Omega}, \underset{\abs{z} \leq \eps R} { \text{ osc }}(\partial_z^3 m) \Bigr\rangle \leq \dfrac13 \underset{\abs{z} \leq \eps R} { \text{ osc }}\left (\partial_z^3 m\right) \xrightarrow[\eps \to 0]{} 0.
\end{equation*}
Going back to \eqref{eq:convgamma_1}, we have shown that for $R\geq R_1$, there exists $\eps_1>0$ small enough such that for all $\eps \leq \eps_1$ we have:
\begin{align*}
\ds \sup_{\abs{z} \leq \eps R} \Babs{ \partial_z^3 V_\eps(z)- \frac43 \partial_z^3 m(z) }
& \leq \ds \frac\delta4 + \dfrac{1}{4} \sup_{\abs{z} \leq \eps R} \Babs{ \partial_z^3 V_\eps(\bz)- \frac43 \partial_z^3 m(\bz)}\\[-3pt]
&\hspace*{4cm} +
\dfrac{1}{2}\sup_{\abs{z} \leq \eps R} \Babs{ \partial_z^3 V_\eps(z)- \frac43 \partial_z^3 m(z)} \\
& \leq \frac\delta4 + \dfrac{3}{4} \sup_{\abs{z} \leq \eps R} \Babs{ \partial_z^3 V_\eps(z)- \frac43 \partial_z^3 m(z)}.
\end{align*}
As a consequence, we find that
\begin{align*}
\sup_{\abs{z} \leq \eps R} \Babs{ \partial_z^3 V_\eps(z)- \frac43 \partial_z^3 m(z) } \leq \delta.
\end{align*}
This completes the proof of \cref{lem:last contraction}.
\end{proof}

Back to \eqref{eq:limV3}, we recall that $\abs{\tilde{y_i}} \leq \abs{ y_i}+1$, as a by-product of Taylor expansions. Let $\delta>0$, and take $R$ sufficiently large such that
\begin{equation*}
\dfrac{1}{4\sqrt{2}\pi}\iint _{\comega} \exp(-Q (y_1,y_2)) \Bigl (\nalph{K_0} + \dfrac12 \partial_z^3m(0)\Bigr) \left[ y_1^2 + y_2^2 \right] dy_1dy_2
\leq \frac\delta{10},
\end{equation*}
where $\Omega = \left\{ \abs{y_1} \leq R - 1, \text{ and } \abs{y_2} \leq R - 1 \right\}$. The other part of the double integral~is:
\begin{equation*}
\dfrac{1}{4\sqrt{2}\pi}\iint _{\Omega} \exp(-Q (y_1,y_2)) \left[ y_1^2 \partial_z^3 V(\eps \tilde{y_1}) + y_2^2 \partial_z^3 V(\eps \tilde{y_2})) \right] dy_1dy_2.
\end{equation*}
Using \cref{lem:last contraction} and the continuity of $\partial_z^3m$ at $z = 0$, we can find $\eps_1>0$ such that for all $\eps\leq \eps_1$,
\begin{multline*}
\biggl|\dfrac{1}{4\sqrt{2}\pi}\iint _{\Omega} \exp(-Q (y_1,y_2))\\[-3pt]
\shoveright{\times\Bigl[ y_1^2 \Bigl (\partial_z^3 V(\eps \tilde{y_1})- \dfrac43 \partial_z^3m(0)\Bigr) + y_2^2 \Bigl (\partial_z^3 V(\eps \tilde{y_2})- \dfrac43 \partial_z^3m(0)\Bigr) \Bigr] dy_1dy_2 \biggr|}\\
\leq \left (\dfrac{1}{4\sqrt{2}\pi}\iint _{\Omega} \exp(-Q (y_1,y_2)) \left[ y_1^2 + y_2^2 \right] dy_1dy_2\right) \dfrac{\delta}{10}.
\end{multline*}
Putting all the pieces together, and using that $$\frac1{\sqrt{2}\pi} \iint_{\R^2} \exp(-Q (y_1,y_2)) \left[ y_1^2 + y_2^2 \right] dy_1dy_2 = \frac32$$ by \eqref{eq:covariance}, we deduce that:
\begin{equation*}
\abs{\dfrac{1}{4\sqrt{2}\pi} \iint _{\R^2} \exp(-Q (y_1,y_2)) \left[ y_1^2 \partial_z^3 V(\eps \tilde{y_1}) + y_2^2 \partial_z^3 V(\eps \tilde{y_2})) \right] dy_1dy_2 - \dfrac12 \partial_z^3m(0)} \leq \delta.
\end{equation*}
Hence, the limit announced in \eqref{eq:limV3} holds true. This completes the proof of the asymp\-totic behavior $(\lep, U_\eps)\to (\lambda_0,U_0)$ as described in \Cref{convergence PUeps}\eqref{convergence PUeps2}.

\section{Extension to higher dimensions}\label{sec large dim}

Our methodology can be extended to higher dimension, without too much effort.
This section is devoted to the generalization of the elements of proof that were specific to the one-dimensional case.

All the estimates on the operator $\H$ and its constitutive pieces are still operational in higher dimension. The only part of our proof that requires some specific attention is the construction of the linear part $\gamma_\eps(V_\eps)$ which was performed in~\Cref{sec existunique gammaeps}. Indeed, we used a monotonicity argument to show that $\gamma_\eps(V_\eps)$ can be defined in a unique way.

We proceed as in~\Cref{sec existunique gammaeps}.
First we show formally how to obtain the expression of the vector $\gamma_0$ \eqref{eq:gamma0value} via suitable Taylor expansions. Then, we justify these Taylor expansions, and we exhibit a monotonic function that enables to conclude, exactly as in dimension 1.

\subsection{The formal expression of the linear part $\gamma_0$}
Following the very same heuristics as in \cref{sec heuristicsgammaeps}, but being careful during the Taylor expansions, we formally end up with the following matrix valued identity:
\begin{multline}\label{eq:impgamma_multid}
D^2 V(0) \left(\dfrac{1}{(\sqrt{2}\pi)^d} \ds \iint_{\R^{2d}} e^{ -Q(y_1,y_2)} (y_1 \otimes y_1 + y_1 \otimes y_2) dy_1 dy_2 \right) \gamma_0 \\
=\dfrac{1}{2} D^3 V(0) \left (\dfrac{1}{(\sqrt{2}\pi)^d} \iint_{\R^{2d}} e^{ -Q(y_1,y_2) } y_1 \otimes y_1 dy_1 dy_2 \right).
\end{multline}
The quadratic form $Q$ yields the multivariate centered Gaussian distribution associated with the following covariance matrix $\Sigma \in \cM_{2d}(\R) $:
\[\arraycolsep3.5pt
\Sigma = \dfrac{1}{4} \begin{pmatrix}
3 \Id & - \Id \\
- \Id & 3 \Id
\end{pmatrix}.
\]
The Kronecker product $y_1 \otimes y_1 $ yields a matrix of moments, and so the relation \eqref{eq:impgamma_multid} can be simplified, similarly to the one dimensional case, so as to obtain:
\begin{align*}
\Bigl (D^2V(0) \Bigl(\dfrac{3}{4}-\dfrac{1}{4}\Bigr) \Id\Bigr) \gamma_0 &= \frac12 D^3V(0) \dfrac{3}{4} \Id, \\
\frac12 D^2V(0)\gamma_0 & = \frac38 D^3V(0) \Id.
\end{align*}
The right hand side is a tensor applied to a matrix yields a vector that can be simplified even further using tensorial properties:
$D^3 V(0) \Id = D (\Delta V)(0)$.
Then, provided that $D^2V(0)$ is non degenerate, we obtain the limited expected value of $\gamma_0$ in dimension higher than $1$, that is a generalization of \eqref{eq:gammaepsd=1}:
\begin{align*}
\gamma_0(V) = \dfrac{3}{4} \left (D^2 V(0)\right)^{-1} D (\Delta V)(0).
\end{align*}
In the case where $V_0$ is given by \eqref{eq:gamma0value} through the fixed point procedure, we obtain
\begin{equation*}
\gamma_0(V_0) = \dfrac{1}{2} \left (D^2 m(0)\right)^{-1} D (\Delta m)(0).
\end{equation*}

\subsection{Extension of the proof of~\cref{existunique gammaeps} (\cref{sec:proof of prop24})}
We now fix $V \in K$, where $K$ is a ball of $\Eaz$. The purpose is to prove that there is a unique solution in~$\R^d$ of the following problem:
\begin{equation}\label{eq:Je_0}
\Je(\gamma,V) = 0.
\end{equation}
We insist upon the fact that the variable $g$ belongs to $\R^d$ and the function $\Je(\cdot,V)$ is now defined as a vector field on $\R^d$, $\Je: \R^d \times \Ea \to \R^d$.

As in \cref{sec:proof of prop24}, we can obtain the following estimate
\begin{equation}\label{eq:prep brouwer}
\Je(g,V) = \Je(0,V) + \frac12 D^2 V(0) g + \cO(\eps),
\end{equation}
by means of refined Taylor expansions, where $\Je(0,V)$ is bounded a priori, independently upon $\eps>0$ for $V\in K$. To prove the existence of a root $\gamma_\eps$, we used the mean value theorem in the proof of~\cref{existunique gammaeps}. The analogous statement in higher dimension is the Brouwer fixed point theorem. Indeed, \eqref{eq:Je_0} can be recast as follows:
\begin{align*}
g = \Bigl (\Id + \dfrac{1}{2} D^2 V(0) \Bigr)^{-1}\left (g - \Je(0,V) + \cO(\eps)\right) = \cT(g).
\end{align*}
Thus, we are led to finding a fixed point of a continuous function. As in the one-dimensional case, thanks to the lower bounded $D^2V(0) \geq \mu_0 \Id$ encoded in the definition of $\Eaz$ \eqref{eq:E0}, we can show easily that there exists $R_K$ such that the ball of radius~$R_K$ in $\R^d$ is left invariant by $\cT$.
Brouwer's fixed point theorem guarantees that there exists a fixed point $\gamma_\eps$ to $\cT$, which is also a root of \eqref{eq:Je_0}.

For the uniqueness part, we can use strict monotonicity, similarly as in the one dimensional case. This is possible, thanks to \eqref{eq:estim_Jeps'}:
\begin{equation}\label{eq:pJe_approx}
D_g \Je(g,V) =\frac12 D^2 V(0) + \cO(\eps).
\end{equation}
We deduce from this strong estimate that the vector field $\Je(\cdot,V)$ is locally uniformly monotonic, in the sense that there exists $\mu_K$ such that the following inequality holds true for all $\eps$ sufficient small, and every $g_1,g_2\in B(0,R_K)$:
\begin{equation}\label{eq:cond posvectorfield}
\left(\Je(g_1,V)-\Je(g_2,V)\right) \cdot(g_1-g_2)\geq \frac12 \mu_K \norm{g_1-g_2}^2.
\end{equation}
This monotonicity condition is clearly satisfied, as it is equivalent to the following first order condition,
\begin{equation}\label{eq:jacob pos}
\dfrac{1}{2} \left(D_g \Je(g,V) + D_g \Je(g,V)^\top \right) \geq \mu_K \Id.
\end{equation}
It is immediate that any strictly monotonic vector field admits at most one root. This completes the proof of uniqueness of $\gamma_\eps(V)$.

\backmatter
\bibliographystyle{jepalpha+eid}
\bibliography{calvez-et-al}
\end{document}
