3
$\begingroup$

given the following functional

$h(\rho) = c \|\rho\|_{3} - \int_{\mathbb R^3} \, dx \frac{\rho(x)}{|x|} $ with $\rho>0$ , $\|\rho\|_1 = 1$ and obviously $\rho\in L^1(\mathbb R^3)$.

Can I see somehow that there exists a minimizer?

If I know that, I can easily derive it with the Variational principle and by including a Lagrange multiplier.

Cheers

$\endgroup$
10
  • 2
    $\begingroup$ Replacing $\rho$ with its spherical symmetrization doesn't not increase the $L^3$ norm, and doesn't effect the integral, so you may assume $\rho$ is symmetric. This makes it a one variable problem and removes the singularity at the origin. $\endgroup$ Apr 5, 2014 at 14:37
  • $\begingroup$ Thanks, but I cannot see that there exists a minimizer then. Don't I need the existence of a minimizer in order to do the variation $h(\rho_{minimizer} + t\eta)$ and $\frac{d}{dt}h(\rho_{minimizer}+ t\eta )|_{t=0}$ ? $\endgroup$
    – Peter
    Apr 5, 2014 at 15:13
  • $\begingroup$ I don't think it's enough. I was just hoping it is a simplification. $\endgroup$ Apr 5, 2014 at 16:44
  • $\begingroup$ I have another idea: With the variation principle I can conclude that $\rho_m = C \left(\frac{1}{|x|} - \frac 1 R\right)$ for $ |x|<R$ and 0 for $|x|>R$ is a function s.t. $h(\rho_m)$ is a stationary function. I also know that $h(\rho_m) = - \frac 13$. Can I then conclude that I have found a minimizer, since it cannot be a maximizer and therefore need to be a minimizer? $\endgroup$
    – Peter
    Apr 5, 2014 at 16:52
  • 1
    $\begingroup$ I guess by stationary function you mean critical point? In which case of course you absolutely cannot conclude anything, your $\rho_m$ may be a saddle point... $\endgroup$ Apr 6, 2014 at 9:39

2 Answers 2

2
$\begingroup$

Here are a few clues that might help.

Note that the $L^3$ conjugated exponent is $3'=3/2$. For given $R>0$ let $B_R=B_R(0)$ be the ball of radius $R$ centered at the origin. Using spherical coordinates with $dx\sim r^2 dr$ in dimension $3$ you can compute explicitly $$ \left|\frac{1}{|x|}\right|_{L^{3/2}(B_R)}=CR $$ for some universal $C>0$.

Claim 1: if $\mathcal{A}=\{\rho\in L^1(R^3)\cap L^3(R^3):\quad \rho \geq 0,\,\int \rho=1\}$ then $$ \inf\limits_{\rho\in\mathcal{A}} h(\rho)>-\infty. $$ Indeed for any $\rho\in \mathcal{A}$ and fixed $R>0$ we have first \begin{align*} h(\rho)& =|\rho|_{L^3}-C\int\limits_{|x|\geq R}\frac{\rho}{|x|}-C\int\limits_{|x|\leq R}\frac{\rho}{|x|}\\ & \geq |\rho|_{L^3} -\frac{C}{R}\int\limits_{|x|\geq R}\rho-C\int\limits_{|x|\leq R}\frac{\rho}{|x|}\\ &\geq |\rho|_{L^3} -\frac{C}{R}-C\int\limits_{|x|\leq R}\frac{\rho}{|x|} \end{align*} because $\int\limits_{|x|\geq R}\rho\leq |\rho|_{L^{1}(R^3)}=1$. Using now Young's inequality in the last term with $\rho\in L^{3}(B_R)$ and $|1/|x||_{L^{3/2}(B_R)}=CR$ we get \begin{align*} h(\rho)& \geq |\rho|_{L^3} -\frac{C}{R}-C\int\limits_{|x|\leq R}\rho\frac{1}{|x|}\\ & \geq |\rho|_{L^3} -\frac{C}{R}-C|\rho|_{L^{3}(B_R)}|1/|x||_{L^{3/2}(B_R)}\\ & \geq |\rho|_{L^3} -\frac{C}{R} -CR|\rho|_{L^3}. \end{align*} Choosing $R>0$ small enough we have therefore $$ h(\rho)\geq C_1|\rho|_{L^3}-C_2\hspace{3cm}(1) $$ for some $C_1,C_2>0$ and all $\rho$, and my claim obviously follows.

Claim 2: the functional is lower semi-continuous for the weak $L^1\cap L^3$ convergence. Indeed, observe first that $h$ is strongly continuous with respect to strong $L^1\cap L^3$ convergence: the $|\rho|_{L^3}$ term is obviously continuous, and for the second term fix any $R>0$ and argue separately in $B_R$ (use $\frac{1}{|x|}\in L^{3/2}=L^{3'}$ in $B_R$ and strong $L^3$ convergence) and in $R^3\setminus B_R$ (use now $\frac{1}{|x|}\in L^{\infty}$ and strong $L^1$ convergence). Since $h$ is convex my claim is a classical consequence of the Hahn-Banach theorem, see [Brezis, "functional analysis and applications, corollariy 3.9 p. 61]

Sketch of proof: By my claim 1 there exists a minimizing sequence $\rho_n\in\mathcal{A}$. By (1) we may assume that $\rho_n\rightharpoonup \rho$ in $L^3(R^3)$, with of course $\rho\geq 0$. If you could prove that $\rho_n\rightharpoonup \rho$ in $L^1(R^3)$ as well we would be done by my claim 2 (the limit $\rho$ would have unit mass since $\int \rho=<\rho,1>_{L^1,L^{\infty}}=\lim\limits_{n\to\infty}<\rho_n,1>_{L^1,L^{\infty}}=\int \rho_n=1$, so that $\rho\in\mathcal{A}$ would be admissible).

Due to the usual lack of $L^1$ reflexivity, obtaining the weak $L^1$ convergence is far from being trivial. By the Dunford-Pettis theorem we know that $\rho_n\rightharpoonup \rho$ iff: (i) $|\rho_n|_{L^1}\leq C$ (OK because they are probability measures), (ii) no concentration (still OK because we have here uniform $L^3$ bounds), and (iii) the familiy $\{\rho_n\}_n\subset L^1$ is uniformly integrable. Uniform integrability means basically that there is no loss of mass at infinity. My feeling is that this should be true, but I can't prove it rigorously. A sketchy argument why this should hold is the following: spreading mass at infinity does not really affect the $L^3$ norm, but forces $\rho$ to "see" $\frac{1}{|x|}$ for larger values of $|x|$. As a consequence spreading mass decreases $\int\frac{\rho}{|x|}$ and increases $h(\rho)$. So the minimizing sequence cannot spread too much mass... Now you need a quantitative result for this claim, maybe trying to control $\int \log(1+ |x|)\rho$ (this is somehow natural because of the $1/r\sim\frac{d}{dr}\log(1+r)$ for large $r$)

One last remark: I imagin you want to derive some PDE for the minimizer $\rho_m$. Because of your non-linear constraint (restriction to probability measures), the differentiation with respect to Euclidean perturbations $\frac{d}{dt}h(\rho+th)$ is not very well adapted. You should try to use instead the optimal transport approach: fix any smooth vector-field $\zeta\in \mathcal{C}^{\infty}_c(R^3,R^3)$ and let $\Phi_{\varepsilon}$ be the associated $\varepsilon$ flow (i-e $d\Phi_{\varepsilon}/d\varepsilon=\zeta(\Phi_\varepsilon)$ and $\Phi_0=\operatorname{Id}$). Looking at push-forward perturbations $$ \rho_{\varepsilon}:=\{\Phi_\varepsilon\}_{\#}\rho $$ and computing $\left.\frac{d}{d\varepsilon}h(\rho_\varepsilon)\right|_{\varepsilon=0}=0$ should give you the Euler-Lagrange equation (see Villani's book "topics in optimal transportation" for a nice introduction). If you had $|\rho|^3_{L^3}$ instead of $|\rho|_{L^3}$ you would end-up with $2\Delta(\rho^3)-c\operatorname{div}(\rho\nabla(1/|x|))=0$, here I don't know what you get. But you should definitly have the $\operatorname{div}(\rho\nabla(1/|x|))$ term.

$\endgroup$
1
$\begingroup$

i think the following paper is adapt for your question (page 19, example 4.1) :

http://www.math.utah.edu/~cherk/teach/12calcvar/constrained.pdf

here, we consider the following problem (see leo monsaingeon's proof above) :

$\int_{L_{3}}\vert{\rho}\vert(1-CR)$$=\frac{C}{R}$

we assume that :

$u+1=\vert{\rho}\vert\ge0$$,$$\vert{\rho}\vert^{'}=\pm\sqrt{1-CR}=Rx+a-\frac{1}{2}R\ge$$Rx-1-\frac{1}{2}R$

$\Longrightarrow$$x\longrightarrow1/2$$\Longrightarrow$$\vert{\rho}\vert_{L_{3}}\le\frac{C}{R}\longrightarrow0$$\Longrightarrow$$C\longrightarrow\frac{2}{R}=\epsilon$

then you can transform your equation to a minimizer problem :

$min\int{F(x,u,v)}$$\Longrightarrow$$\int{G(x,u,v)=\vert{\rho}\vert_{L_{3}}=0}$

that is my poor thinking , thank you !

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.