I am interested in the critical equation $- \Delta w(x) = w(x)^p $ in $ R^N$ where $p=\frac{N+2}{N-2}$. After translation the solutions of this equation are all radial with maximum at the origin (and there is an explicit formula). Lets assume $ w(x)>0$ is the radial solution of the above problem with the added condition that $w(0)=1$.

Define $ L(\phi)= - \Delta \phi - p w(x)^{p-1} \phi$. My interest is in the kernel of $L$ and lets not worry about the exact domain of $L$.

So we expect that $ \phi_i:=w_{x_i}$ is in the kernel of $L$ for each $ 1 \le i \le N$. But also note the original equation is scale invariant and lets assume that $ w_\lambda(x)$ satisfies the equation (without the constraint $w_\lambda(0)=1$)) for all $ \lambda >0$ with $ w_1(0)=1$. Then $ \phi_{N+1}:=\partial_\lambda w_\lambda(x)|_{\lambda=1}$ is also in the kernel of $L$.

So my question is: is the kernel of $L$ given by $ \{\phi_i : 1 \le i \le N\}$ or $ \{ \phi: 1 \le i \le N+1\}$ or neither.

This answer is well known (just not by me and I haven't been able to locate the answer). I attempted to see if $\phi_{N+1}$ is really a linear combination of the other terms (recall there is an explicit formula for $w(x)$ but I am getting bog down in computations).

thanks

NEW QUESTION

Here is the full question I am really interested in. Again I believe this is known material but I can't seem to find the explicit references and my linear analysis is too weak to figure this out. Let $W(x)=w(x)$ be as above and we let $ W_{\lambda,z}(x)$ denote $W(x)$ dialated by $ \lambda>0$ and translated so its maximum is at $z \in R^N$. Let $ V_{\lambda,z}$ dennote the projection of $W_{\lambda,z}$ onto $H_0^1(\Omega)$. So $ V_{\lambda,z}(x)$ solves $-\Delta V_{\lambda,z}(x)= W_{\lambda,z}(x)^p$ in $ \Omega$ with $V_{\lambda,z} =0$ on \partial \Omega$. \

I am interested in the following linear operator:
$$ L_{\lambda,z}(\phi)= -\Delta \phi - p V_{\lambda,z}^{p-1} \phi,$$ on certain weighted spaces which i now define.

$$ \| \phi\|_{X_\lambda}:=\sup_{x \in \Omega} (1 + \lambda^2 |x-z|^2 )^\frac{N-2}{4} \lambda^\frac{-(N-2)}{2} | \phi(x)| $$
$$\| f\|_{X_\lambda}:=\sup_{x \in \Omega} (1 + \lambda^2 |x-z|^2 )^\frac{N+2}{4} \lambda^\frac{-(N+2)}{2} | f(x)| $$ and we let $ X_\lambda$ and $Y_\lambda$ denote the completion of some suitable spaces under the appropriate norms; the functions in $ X_\lambda$ should satisfy a zero Dirichlet boundary condition.

This problem is coming up since I am attempting to solve some nonlinear PDE and I need to understand the linear theory on these spaces. In particular I would like a theory which is uniform in $ \lambda$ for large $\lambda$. Lets assume $ B_1 \subset \subset \Omega$.

So I would like a theory along the lines of: there is some $C>0$ and $ \lambda_0>0$ such that for all $ |z|<1$, $ \lambda > \lambda_0$ and $ f \in L^\infty(\Omega)$ there is some $ \phi_{\lambda,z} \in X_\lambda$ such that $L_{\lambda,z}(\phi_{\lambda,z})=f$ in $ \Omega$ and $$ \| \phi_{\lambda,z}\|_{X_\lambda} \le C \|f \|_{Y_\lambda}.$$ The important property I would like is the uniform bounds in $ \lambda$ and $z$.

Now I would assume this is infact not true. Define $$ \phi_i := \partial_{z_i} V_{\lambda,z} \quad 1 \le i \le N, \qquad \phi_{N+1}:=\partial_{\lambda} V_{\lambda,z}$$.

It appears that the functions $ \phi_i \; 1 \le i \le N+1$ should almost be in the kernel of $L_{\lambda,z}$ for large $ \lambda$. Lets decompose $X_\lambda$ by $ X_\lambda= \tilde{X}_\lambda + span\{ \phi_i: 1 \le i \le N+1\}$ and let $\tilde{Y}_\lambda$ denote the range of $L_{\lambda,z}$ restricted to $\tilde{X}_\lambda $ and we should be able to write $ Y_\lambda= \tilde{Y}_\lambda + span\{ \psi_i: 1 \le i \le N+1\}$.

QUESTION.

Is it plausable that one would have the following linear theory: there is some $ C>0$ and $ \lambda_0 >0$ such that for all $ f \in L^\infty(\Omega)$, $\lambda > \lambda_0$ and $ |z|<1$ there is some $ \phi_{\lambda,z} \in \tilde{X}_\lambda$ and $ c_i \in R$ such that $$L_{\lambda,z}( \phi_{\lambda,z})= f - \sum_{i=1}^{N+1} c_i \psi_i$$ and one has a uniform estimate of the form $$ \| \phi_{\lambda,z}\|_{X_\lambda} \le C \|f\|_{Y_\lambda}$$. ($c_i$ and $\psi_i$ will also depend on $z$ and $ \lambda$).

I realize there are a lot of details. The main issue I am having trouble with is exactly how to mod out the terms which are almost in the kernel for large $ \lambda$ and also how to mod out on the range... Anyhow comments would be greatly appreciated. thanks