2

A new question has emerged after this one was successfully answered by r9m: If $a+b+c+d = 2$, then $\frac{a^2}{(a^2+1)^2}+\frac{b^2}{(b^2+1)^2}+\frac{c^2}{(c^2+1)^2}+\frac{d^2}{(d^2+1)^2}\le \frac{16}{25}$. I thought of this generalization. Does it hold?

$$\dfrac{x_1^2}{(x_1^2+1)^2}+\dfrac{x_2^2}{(x_2^2+1)^2}+\cdot\cdot\cdot+\dfrac{x_n^2}{(x_n^2+1)^2}\le \dfrac{n^2}{(n+1)^2}$$ with $$x_1+x_2+\cdot\cdot\cdot+x_n= \sqrt{n}$$ $$x_1,x_2,\cdot\cdot\cdot,x_n \ge0$$ $$ n \in \mathbb{N}$$

2 Answers2

2

I'm afraid the inequality is wrong. Note that RHS $< 1$. However, if we take $x:=1$, then $x^2/(x^2+1)^2=1/4$. Thus, we choose a large $n$, and let as much $x_i$ as possible be $1$, then the inequality fails. But I believe that there exists a bound of $n$ to let the inequality hold.

Shane
  • 1,013
  • 1
    In particular, if $n=25$, then $x_1=\ldots=x_5=1$, $x_6=\ldots=x_{25}=0$ fullfills the requirements, but the LHS is $\frac{5}{4} > 1$ where as the RHS is $\left(\frac{25}{26}\right)^2 < 1$. – fgp Mar 31 '14 at 10:52
  • @fgp Yeah, I didn't notice the fact RHS $<1$ before. So, to let the inequality hold, we have $n<16$. – Shane Mar 31 '14 at 10:56
  • 1
    As a necessary condition, yes. Whether it's sufficient or not I don't immediately see... – fgp Mar 31 '14 at 11:05
1

Alternative way to reach the result, that is already proposed in the other answers:

Consider the non-linear maximization problem $$\max_{x_i}\sum_{i=1}^{n}\frac{x_i^2}{(x_i^2+1)^2}$$ subject to $x_1+x_2+\ldots+x_n=\sqrt{n}$ and $x_i\ge0$. In that case the Lagrange function is defined as $$Λ(x, λ)=\sum_{i=1}^{n}\frac{x_i^2}{(x_i^2+1)^2}+λ\left(\sum_{i=1}^{n}x_i-\sqrt{n}\right)$$ The equation $\nablaΛ=0$ yields $$λ=\frac{2x_i(1-x_i^2)}{(1+x_i^2)^3}$$ for all $1\le x_i \le n$. Obviously the point $x^0$ with $$x^0_i=\begin{cases}1, & 1\le i \le \lfloor \sqrt{n}\rfloor \\ \\0, & \lfloor \sqrt{n}\rfloor \le i \le n \end{cases}, \qquad λ=0$$ solves the above system (both sides are equal to zero) and is thus a stationary point. The value of the objective function in $x^0$ is equal to $$\lfloor \sqrt{n}\rfloor\frac14$$ It is easy to see that for $n \ge 16$ this values is greater than $1$ and thus larger than the RHS of the given inequality. For $n<16$ this point does not yield a value larger than the RHS.


Perhaps there are other stationary points that yield a higher value for the objective function, even for $n<16$.

Jimmy R.
  • 35,868