Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\phi \in \mathcal ( [0,1]^2)$ symetric , can we find a solution to the following minimisation problem?

$$ \inf \left\{ F[\nu] : \nu \in L^2 , \nu \geq 0, \int _0 ^1 \nu=1\right\}$$

with $$ F[\nu] := \frac{1}{2} \int_0^1 \nu^2(t) ~dt + \frac{1}{2} \int_0^1\int_0^1 \phi(s,t) ~\nu(s) ~\nu(t) ~ds~dt$$

And if it exist such a $\nu$ what optimality conditions it satisfies ?

If I made no mistakes by making the Frechet derivative equals to zero we should have for any $h \in L^2$, $\int _0^1 h=0$ :

$$ \int_0^1 \nu(t)~h(t) ~dt = - \frac{1}{2} \int_0^1\int_0^1 \phi(s,t) ~[\nu(s)~h(t)+\nu(t)~h(s)] ~ds~dt$$

After this point I can't see how to conclude exploring probably the symmetry of $\phi$. Could someone give me some advice or the solution if you see how to solve it easily?

Many thanks.

share|cite|improve this question
Besides symmetry, do you know anything else about $\phi$? Nonnegative, bounded, continuous...? – user147263 Jun 30 '14 at 17:30
@Thisismuchhealthier. There is no additional conditions about $\phi$. Please see my idea for approach the optimality condition satisfied by $nu$. – Paul Jun 30 '14 at 20:05

Here one idea of solution. Any corrections, additional steps, alternative solutions and suggestion are welcome.

Admitting that there is a solution for the optimisation problem, fact that still must be proved, we have:

$$ \int_0^1 \nu(t)~h(t) ~dt = - \frac{1}{2} \int_0^1\int_0^1 \phi(s,t) ~[\nu(s)~h(t)+\nu(t)~h(s)] ~ds~dt$$

where $\phi$ is symmetric so it implies that

$$ \int_0^1 \nu(t)~h(t) ~dt = - \int_0^1\int_0^1 \phi(s,t) ~\nu(s)~h(t) ~ds~dt$$

therefore $\forall h \in L^2, ~ \int h =0$

$$ \int_0^1 \left( \nu(t) +\int_0^1 \phi(s,t) ~\nu(s) ~ds \right) ~h(t) ~dt = 0$$


$$ \nu(t) +\int_0^1 \phi(s,t) ~\nu(s) ~ds =0$$


$$ \int_0^1 \Phi (s) ~\nu(s) ~ds = 1$$

where $\Phi(s) := -\int_0^1 \phi(s,t) ~dt$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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