1
$\begingroup$

Let $f_n \in C^2(\bar{\Omega})$ be a sequence satisfying

$\Delta f_n - f_n^3 \to 0 \ \ {\rm in} \ \ L^2(\Omega)$

where $\Omega \subset {\mathbb R}^2$ is bounded and open with a smooth boundary. Is it necessarily true that $\|f_n^3\|_{L^2(\Omega)}$ and $\|\Delta f_n\|_{L^2(\Omega)}$ are uniformly bounded? If not, can you give a counterexample?

If there is a counterexample, I imagine it would involve $f_n$ becoming unbounded on $\partial \Omega$. If so, is it possible that this statement is true for $f_n \in C^2_c(\bar{\Omega})$ (i.e. if $f_n$ all have compact support in $\Omega$.)

The reason I believe it may be true is that the condition $\Delta f_n - f_n^3 \to 0$ seems incompatible with the sequence $f_n$ having an increasing positive interior maximum or a decreasing negative interior minimium as $\Delta f_n$ and $-f_n^3$ would have the same signs and not cancel out. I have tried to come up with counterexamples in one dimension but have had no luck yet.

Improve this question
$\endgroup$
3
  • $\begingroup$ Is "$\Delta$" equal $\partial^2/\partial x^2 + \partial^2/\partial y^2$ or the negative of that? I think both definitions are in use, and the answer to your question might depend on the sign. $\endgroup$
    – Noam D. Elkies
    Commented Oct 26, 2011 at 18:23
  • $\begingroup$ Yes, I'm using $\Delta = \partial^2/\partial x^2 + \partial^2/\partial y^2$. I think you are right that the answer would be different with $\Delta$ replaced by $-\Delta$. $\endgroup$
    – Jeff
    Commented Oct 26, 2011 at 19:27
  • $\begingroup$ In one dimension $f_n(x) = 2^{1/2} / (x-x_n)$ satisfies $\Delta f_n - f_n^3 = 0$, and if $x_n \rightarrow \partial \Omega$ from the outside then $\|f_n^3\| \rightarrow \infty$. Yes, such $f_n$ are unbounded on $\partial \Omega$. $\endgroup$
    – Noam D. Elkies
    Commented Oct 26, 2011 at 21:26

1 Answer 1

Reset to default
3
$\begingroup$

A counterexample in one dimension: take $\Omega:=(0,1)$ and $f_n(x):=\frac{\sqrt 2}{x+\frac{1}{n}}$. Then $f''_n(x)-f_n^3(x)=0$ while $\| f''_n \| _{2,\Omega}=\|f^3_n\|_{2,\Omega}=O(n^{5/2}) \, .$

Improve this answer
$\endgroup$
3
  • $\begingroup$ Thanks! Nice counterexample. This is kind of what I was expecting, $f_n$ becoming unbounded at the boundary. Any idea what happens if we restrict $f_n$ to have compact support? $\endgroup$
    – Jeff
    Commented Oct 26, 2011 at 21:27
  • $\begingroup$ Then if you multiply $\Delta f_n - f_n^3 := h_n\to 0$ in $L^2(\Omega)$ by $f_n$ and integrate on the domain you get $\|\nabla f_n\|^2_2 + \|f_n\|^ 4_ 4 = o(\|f_n\|_2)$, which implies that the LHS goes to zero. $\endgroup$
    – Pietro Majer
    Commented Oct 26, 2011 at 22:01
  • $\begingroup$ Thanks, don't know why I didn't see that before, it's not so hard. $\endgroup$
    – Jeff
    Commented Oct 26, 2011 at 23:00

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .