Ground state for a double well potential (Schrödinger) Consider $V(x)$ a one dimensional polynomial, confining, symmetric double well potential i.e. 


*

*$V(x)=V(-x)$ for all $x\in\mathbb{R}$

*$\displaystyle \lim_{x\to\pm\infty} V(x)=+\infty$

*$V(x)\in \mathbb{R}_{2n}[x]$

*$V$ has two local minima $x_1,x_2$ such that $x_1=-x_2$.


Then the operator $H=-\frac{d^2}{dx^2}+V(x)$ has pure discrete spectrum $(\lambda_i)_{i\geq0}$ and associated to each eigenvalue there is an eigenfunction $\phi_i$. 
My questions are:


*

*I read that there are 2 eigenfunctions $\psi_1,\psi_2$ , associated to "each well of the potential" (localisation in one side or the other). What is the relation between  those "more elementary eigenfunctions" $\psi_1,\psi_2$ and the ground state $\phi_0$. I understant that is a sort of linear combination, but, why we cannot say that it's $\psi_1$ the ground state instead of $\phi_0$?

*With the above assumptions on the potential, the question asked here has a positive answer? Or can we at least make explicit the growth of a bound $M_k$ depending on $k$? i.e. $\lvert\lvert \phi_k \rvert \rvert_\infty \leq M_k $ and $M_k\sim k^{\rm something}$
Thanks!
 A: A power bound on $M_k$ is easy. Here's a crude argument, with no attempt made to obtain good bounds. If $\phi_k$ is a normalized eigenfunction with eigenvalue $E=E_k$, and $\phi_k(x)=M\gg 1$ at some local maximum, then $\phi_k$ must decrease to values $\le M/2$ within distance $\lesssim 1/M^2$, or otherwise we would pick up too much $L^2$ norm. Thus $-\phi''_k\gtrsim M^5$ somewhere, so from the equation satisfied by $\phi_k$ we see that we must have $E-V\gtrsim M^4$, or, since $V$ is bounded below, we can just say $E\gtrsim M^4$.
A large $E$ requires a large $k$, and we can get a quantitative estimate from oscillation theory. For a given large $E$, we will have $E-V\ge E/2$ on at least an interval of length $\gtrsim E^{+1/2n}$ (since $V(x)=cx^{2n}(1+o(1))$). The actual solution will have at least as many zeros as the one where we replace $E-V$ by $E/2$, and since this one is given by $\sin \sqrt{E/2}\, x$, we find $\gtrsim E^{(1+1/n)/2}$ zeros. By oscillation theory, there are thus at least this many eigenvalues below $E$.
In other words, $k\ge E^{(1+1/n)/2}$ or $k^{2n/(n+1)}\ge E$. It follows that
$M_k\lesssim k^{n/(2(n+1))}$, as desired.
I think the stronger version $M_k=O(1)$ is a plausible conjecture, but I don't even know if this holds for the harmonic oscillator (this must be straightforward to check).
