MathGroup Archive 2005

[Date Index] [Thread Index] [Author Index]

Search the Archive

Solve or Reduce on a monstrosity of an expresssion (and a prize!)


Mathemahomies,
 I have a beast of a function (though continuously differentiable) that I
need to prove is strictly decreasing in a certain range (which I *know* it
is just from plotting it).  Every combination I can think of of Reduce and
Solve and Simplify with assumptions leaves Mathematica spinning its wheels
indefinitely.

Do you have any ideas for cajoling Mathematica into crunching through
this?

Here's the function:

f[x_,n_] := 9/2/c[x,n]^2*(n+1)b[x,n]^2 (x-d[x,n])(x-x*d[x,n]+d[x,n]+
            d[x,n]^2+n (d[x,n]-1) (x+d[x,n]))

where

a[x_,n_] := 9*(n+1)^2 + Sqrt[3(n+1)^3 (x^2 (n-1) + 27(n+1))];

b[x_,n_] := (a[x,n](n-1) x^2)^(1/3);

c[x_,n_] := -3^(2/3) x^2 (n^2-1) + 3^(1/3)(x^2(n^2-1) (9 + 9n +
            Sqrt[3(n+1) (x^2(n-1) + 27(n+1))]))^(2/3);

d[x_,n_] := c[x,n] / (3 b[x,n] (n+1));


Show that f[x,n] is strictly decreasing for x in (0,(n-1)/n) for all
integers n >= 2.

Note that the limit of f[x,n] as x->0 is (n-1)/(2(n+1)) > 0
and f[(n-1)/n,n] == 0.  So it would suffice to show that f' has no roots
in (0,(n-1)/n).


PS: I have a cool prize for information leading to a solution! (whether or
not it actually involves Mathematica)

-- 
http://ai.eecs.umich.edu/people/dreeves  - -  google://"Daniel Reeves"

Sowmya:   Is this guy a mathematician?
Terence:  Worse, an economist.  At least mathematicians are honest about
          their disdain for the real world.


  • Prev by Date: Please explain this error message. I typed the code right out of the text.
  • Next by Date: Re: MultipleListPlot and Log-List plots
  • Previous by thread: Re: Please explain this error message. I typed the code right out of the text.
  • Next by thread: Re: Solve or Reduce on a monstrosity of an expresssion (and a prize!)