1
$\begingroup$

While working on an elliptic problem in $\mathbb{R}^N$, I met an issue that I cannot work out clearly. Assume that we have a continuous function $g \colon \mathbb{R} \to \mathbb{R}$ such that

  1. $\lim_{s \to 0}\frac{g(s)}{s}=0$;
  2. $\lim_{s \to +\infty} \frac{g(s)}{s^{2^*-1}}=0$, where $2^*=\frac{2N}{N-2}$ is the critical Sobolev exponent in dimension $N\geq 3$.

Now assume I have a sequence $\{u_n\}_n$ of functions that converges strongly to some $u$ in $L^q(\mathbb{R}^N)$, where $q<2^*$. My question is: is it true that $\{g(u_n)u_n\}_n$ converges in $L^1$ to $g(u)u$?

I am in trouble because there is no precise growth condition on $g$, just some asymptotic behavior. It would be standard if $|g(s)| \leq |s|^q$ or something alike.

1 Answers 1

1

For $q < 2^*$ (as written), the answer is no.

Let $q' = \frac12(q + 2^*) > q$. Let $ u_n = n^{1/q'}\chi_{[n,n+1/n]} $ then $ \|u_n\|_q = n^{(q - q')/(qq')} \searrow 0 $ and we see that $u_n$ converges strongly to 0 in $L^q$.

Let $g(s)$ be roughly $s^{q'-1}\chi_{[1,\infty)}$, modified to be continuous. This satisfies both conditions 1 and 2, as $q' - 1 < 2^* - 1$. We have that $ \| g(u_n) u_n \|_1 = 1 \qquad \| g(u_n) u_n - g(u_m) u_m \|_1 = 2(1- \delta_{mn}) $ so does not converge strongly to $g(u)u = 0$.

  • 0
    Exactly. I either need a uniform decay at infinity or a precise bound on the growth of $g$.2012-09-10