3
$\begingroup$

Question:

Find the maximum of the value $$F=\sum_{1\le i

if we find following the maximum of the value $$G=\sum_{i

so I odeled on the binary thinking of speculation,$F\le\dfrac{1}{27}?$

when $x_{1}=x_{2}=x_{3}=\dfrac{1}{3},x_{4}=x_{5}=\cdots=x_{n}=0$, However for $4\le n\le 9$,let $x_{1}=x_{2}=\cdots=x_{n}=\dfrac{1}{n}$,I get $F=\dfrac{\binom{n-1}{2}}{n^3}$.when $n=4$,then $F=\dfrac{3}{64}>\dfrac{1}{27}$.then I can't which maximum for $F$

  • 4
    compare to IMO1999 problem 2 http://www.cs.cornell.edu/~asdas/imo/imo/isoln/isoln992.html – 2017-02-17
  • 0
    I voted to close : this is a basic problem in optimization that can be solved by using standard techniques of differential calculus. – 2017-02-17
  • 4
    @PaulBroussous I disagree. Standard techniques reduce it to a system of polynomial equations whose solution is not obvious. – 2017-02-17
  • 0
    Numerical investigation (for $n\leq 10$) suggests that the maximum is always $3/64$, attained at points where four of the $x_i$ are $1/4$ and the rest are zero. The constraints $x_i\geq 0$ are definitely needed for this to be true. Maple can solve the relevant equations exactly for $n\leq 6$, but not for $n=7$. – 2017-02-17
  • 0
    @NeilStrickland Starting from $n=5$ there is a larger maximum $\frac6{125}$, attainable with five of the $x_i$ equal to $\frac15$ and the rest zero. – 2017-02-17
  • 0
    @მამუკა ჯიბლაძე You are right. The points with five entries of $1/5$ give maxima, but they are not critical points, which is consistent because they lie on the boundary. One can avoid this kind of issue by workng inductively on $n$, but I did not do that carefully enough. – 2017-02-17

1 Answers 1

3

Look at a point of maximum. If one of the variables equals 0, we deal with $n-1$ instead $n$. If all are positive, by Lagrange multipliers the partial derivatives in all variables are equal. Look at a partial derivative in $x_n$, it is $$2x_n\left(\sum_{i

Assume that they take three distinct values $a,b,c$ with multiplicities $\alpha,\beta,\gamma$. By Vieta theorem for the above cubic we get $a+b+c=3\sigma_1/4=3/4(\alpha a+\beta b+\gamma c)$, and without loss of generality we may suppose that $\gamma=1$, i.e., $c=(3\alpha-1)a+(3\beta-1)b$. Substitute it to $ab+bc+ac=2\sigma_2-p_2=\sigma_1^2-2p_2$ we quickly get a contradiction (please check this).

Now assume that $x_i$'s take two different values $a$, $b$ with multiplicities $\alpha,\beta$. We have $4(a^3-b^3)+(\sigma_1^2-2p_2)(a-b)=3\sigma_1(a^2-b^2)$, dividing by $a-b$ we get $$(4-5\alpha+\alpha^2)a^2+(4-5\beta+\beta^2)b^2=(3\alpha+3\beta-2\alpha\beta-4)ab.$$ It is not hard to see that this is impossible when $\alpha\geqslant 4$, $\beta\geqslant 4$. If, say, $\alpha=1$, we get $b=\beta-4$, so this is possible for $n-1=\beta\geqslant 6$, the value of our sum equals $\beta(\beta-1)(\beta-3)/(32(\beta-2)^3)$, worse than $6/125$.The cases when $\alpha=2$ and $\alpha=3$ are computationally painful, but it looks that again the value is less than $6/125$.

  • 0
    Just to tidy this up a bit, we have $\sigma_1=1$ and $p_2=\sigma_1^2-2\sigma_2=1-2\sigma_2$, so the cubic is $4x^3-3x^2+(4\sigma_2-1)x=\text{constant}$ – 2017-02-17
  • 0
    Yes, but homogeneous equations have their advantages. – 2017-02-17