While studying a nonlinear PDE arising from quantum mechanics, I met a statement that I cannot prove easily. Let us write $E=W^{1,2}(\mathbb{R}^3)$ for the usual Sobolev space, and define the functional $$ \mathcal{D}(u)= \int_{\mathbb{R}^3} \int_{\mathbb{R}^3} \frac{|u(x)|^2 |u(y)|^2}{|x-y|} \, dx \, dy \quad \text{for $u \in E$}. $$ It is claimed without proof that $\mathcal{D} \in C^2(E)$. I think I can prove the continuity of the second derivative at zero, but I can't switch to the continuity at different points. I would be grateful for any hint.
Smoothness of a non-local functional
6
$\begingroup$
sobolev-spaces
calculus-of-variations
-
0What did you find as second derivative? – 2012-09-23
-
0The formula for $D^2 \mathcal{D}(u)$ is trivially deduced by formal rules, since $\mathcal{D}$ contains only powers of $u$. My problem is to show that the formula is rigorous, and that it is a continuous function of $u$. This functional is used in Buffoni's paper (http://library.epfl.ch/en/theses/?nr=1035), where the smoothness is stated but not proved. – 2012-09-23
-
0First, how do you see it's well-defined? – 2012-09-23
-
0Buffoni shows that $\int \frac{|u(y)|^2}{|x-y|}dy$ is bounded (in $x$). But it can also be seen as a consequence of some Young inequality for convolutions. – 2012-09-23
-
0In this case, we can rigorously compute the first derivative, expanding $(u(x)+h(x))^2$ and the same for $y$. Then I guess from that we can prove the formula for second derivatives. – 2012-09-23
-
0I am worried by the continuity of the second derivative. For local terms, I often use the theory of superposition operators, but I do not know if I can adapt this strategy, since I cannot find a precise growth condition for the convolution term. – 2012-09-23
1 Answers
2
If I'm not wrong, the derivatives of $\mathcal{D}(u)$ are given by
$$ \mathcal{D}_u(u)[\delta u] = 4\int_{\mathbb{R}^3} \int_{\mathbb{R}^3} \frac{\delta u(x) u(x) |u(y)|^2}{|x-y|} \, dx \, dy $$
$$ \mathcal{D}_{u,u}(u)[\delta u,\delta v] = 4\int_{\mathbb{R}^3} \int_{\mathbb{R}^3} \frac{\delta u(x) \delta v(x) |u(y)|^2}{|x-y|} \, dx \, dy + \\\qquad\qquad\qquad 8\int_{\mathbb{R}^3} \int_{\mathbb{R}^3} \frac{\delta u(x) u(x) \delta v(y) u(y)}{|x-y|} \, dx \, dy $$
From here, using the fact that $W^{1,2}(\mathbb{R}^3)\hookrightarrow L^4(\mathbb{R}^3)$ and using Cauchy-Schwarz it should follow that $\mathcal{D}_{u+h,u+h}[\delta u, \delta v]=\mathcal{D}_{u,u}[\delta u, \delta v]+o(||h||_{W^{1,2}})$, which is what you want.
-
0I don't see why it's $o(\cdots)$ instead of $O(\dots)$. – 2012-10-01
-
0When it would be big-O of 2nd order terms, which means little-O of 1st order terms. Just like for functions of real variables. The differential is the linear part of the incremental quotient (as the norm of the increment goes to zero), so whatever is left has to be a little-O of the norm of the increment. – 2012-10-01
-
0My point is, if a function on a normed linear space has a modulus of continuity that's $o(h)$, then it has to be constant. – 2012-10-01
-
0Scratch what I said. It was orthogonal to your point. =) You might be right, it could be big-O. Which is actually enough for what we need to prove. Anyway, if the modulus of continuity is o(h), I think you only get to say that the function is sublinear. Not sure though...I should think about it. – 2012-10-01