Re: Re: Infrequent Mathematica User

• To: mathgroup at smc.vnet.net
• Subject: [mg47299] Re: [mg47244] Re: Infrequent Mathematica User
• From: Paul Abbott <paul at physics.uwa.edu.au>
• Date: Fri, 2 Apr 2004 03:31:50 -0500 (EST)
• Sender: owner-wri-mathgroup at wolfram.com

```On 2/4/04, Andrzej Kozlowski wrote:

>Actually one can use Paul's argument to prove
>the following stronger statement:
>
>Sum[(Subscript[x,i]/(1 + Sum[Subscript[x,j]^2, {j, i}]))^2, {i, n}] < 1
>
>for every positive integer n.
>
>It is easy to see that this implies the
>inequality in the original problem (use
>Schwarz's inequality).

MathWorld only gives the integral form at

http://mathworld.wolfram.com/SchwarzsInequality.html

The required form of the inequality is at

http://mathworld.wolfram.com/CauchysInequality.html

>Moreover, the proof is easier since the inductive step is now trivial.

Nice.

>intriguing observations and also to what looks
>like a bug in Limit (?)

Actually, I think the problem is with Series. I've submitted a bug report.

>The inequality implies that the sums, considered
>as functions on the real line, are bounded and
>attain their maxima. So it is natural to
>consider the functions f[n] (obtained by setting
>all the Subscript[x,i] = Subscript[x,j)]
>
>f[n_][x_] := NSum[(x/(i*x^2 + 1))^2, {i, 1, n}]
>
>It is interesting to look at:
>
>plots = Table[
>     Plot[f[n][x], {x, -1, 1}, DisplayFunction -> Identity], {n, 1, 10}];
>
>Show[plots, DisplayFunction -> \$DisplayFunction]
>
>The f[n] of course also bounded by 1 and so in the limit we have the function:
>
>f[x_] = Sum[(x/(i*x^2 + 1))^2, {i, 1, Infinity}]
>
>PolyGamma[1, (x^2 + 1)/x^2]/x^2
>
>which also ought to be bounded bu 1.
>
>Plotting the graph of this, e.g.
>
>Plot[f[x], {x, -0.1, 0.1}]
>
>shows a maximum value 1 at 0 (where the function
>is not defined), however Mathematica seems to
>give the wrong limit:
>
>Limit[f[x],x->0]
>
>-?

Series also gives an incorrect result (I think Limit is using this).

Cheers,
Paul

```

• Prev by Date: Re: Expanding \$Path
• Next by Date: Re: sort list