Re: Re: Help: ratio of integral of f(x)^2 to square of integral of f(x)

• To: mathgroup at smc.vnet.net
• Subject: [mg67386] Re: [mg67364] Re: Help: ratio of integral of f(x)^2 to square of integral of f(x)
• From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
• Date: Wed, 21 Jun 2006 02:13:03 -0400 (EDT)
• References: <e7589k\$l5d\$1@smc.vnet.net> <200606200614.CAA15901@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

```First of all this is has nothing to do with Mathematica and you do
not even  seem to know the proper Mathematica syntax for Integrate (I
wonder how this got past the moderator, twice). To make it more
acceptable I will try to use Mathematica in the proof as much as
possible and I do hope I am not solving your homework!

Clearly, what you want to show is equivalent to proving that the
function:

g[t_] := (t - a)*Integrate[f[x]^2, {x, a, t}] - Integrate[f[x], {x,
a, t}]^2

is >=0 for all real t>=a. This is trivially true for t=a. Since g is
differentiable we can compute D[g[t],t].  Using Mathematica we obtain:

D[g[t], t]

(t - a)*f[t]^2 - 2*Integrate[f[x], {x, a, t}]*f[t] + Integrate[f[x]
^2, {x, a, t}]

Let's re-arrange this by hand. The above is equal to:

(t - a)*f[t]^2 + Integrate[f[x]^2-2*f[x]*f[t]+f[t]^2, {x, a, t}]-
Integrate[f[t]^2, {x, a, t}]

that is

((t - a)*f[t]^2- Integrate[f[t]^2, {x, a, t}]) + Integrate[f[x]^2-2*f
[x]*f[t]+f[t]^2, {x, a, t}]

that is

(t - a)*f[t]^2- Integrate[f[t]^2, {x, a, t}]) + Integrate[(f[x]-f[t])
^2, {x, a, t}]

However:

Simplify[(t - a)*f[t]^2 - Integrate[f[t]^2, {x, a, t}]]

0

so we are left with

Integrate[(f[x]-f[t])^2, {x, a, t}]

But the integral of a non-negative function over an interval is non-
negative. Hence we have shown that D[g[t],t]>=0 and g[a]=0, which
implies what we wished to prove.

Andrzej Kozlowski

Tokyo, Japan

On 20 Jun 2006, at 15:14, ronnen.levinson at gmail.com wrote:

> Hi folks.
>
> Sorry, I omitted a trailing exponent in my definition of r:
>
> r = (b-a) Integral[ f(x)^2 dx, {x, a, b} ] /
>                Integral[ f(x) dx, {x, a, b} ]^2
>
> I hope this correction makes my question clearer.
>
> Thanks,
>
> Ronnen.
>
> ronnen.levinson at gmail.com wrote:
>> Hi.
>>
>> I'm trying to determine whether the following ratio
>>
>> r = (b-a) Integral[ f(x)^2 dx, {x, a, b} ] /
>>               Integral[ f(x) dx, {x, a, b} ]
>>
>> is always greater than or equal to one for 0 < f(x) <= 1. All values
>> all real.
>>
>> I've obtained r>=1 for all tested choices of f(x), but seek
>> guidance to
>>
>> Yours truly,
>>
>> Ronnen Levinson.
>>
>> P.S. E-mailed CC:s of posted replies appreciated.
>

```

• Prev by Date: Re: Interrogating lists of unequal lenghths
• Next by Date: Re: Interrogating lists of unequal lenghths
• Previous by thread: Re: Help: ratio of integral of f(x)^2 to square of integral of f(x)
• Next by thread: Re: Re: Help: ratio of integral of f(x)^2 to square of integral of f(x)