Re: Why Mathematica *always* fails at quite simple integrals Maple cracks? (10 examples)



"G. A. Edgar" <edgar@xxxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:
In article <20080202220804.734$iP@xxxxxxxxxxxxxx>, David W. Cantrell
<DWCantrell@xxxxxxxxxxx> wrote:

Here's a nice little challenge for anyone who might be interested:
Evaluate precisely

Integrate[Floor[Log[10, x]], {x, 0, 100}]

I'll post the answer in about 24 hours if nobody has posted it.

800/9

Correct. Thanks to all who responded, and congratulations to Oleksandr,
quasi and Gerald.

For those who might be interested, I had gotten my answer using a general
result. Letting the floor function be denoted by square brackets, for real
x, c and d, with x and c nonzero,

the integral of [c log|t| + d] from t = 0 to x

is

x [c log|x| + d] + sign(x) e^(([c log|x| + d] + 1 - d)/c)/(1 - e^(1/c))

Of course, to answer the challenge question, we may simply substitute,
resp., 1/log(10), 0 and 100 for c, d and x in the general result.

Finally, note that, if x or c is zero, the integral can be evaluated
trivially.

David W. Cantrell
.



Relevant Pages

  • Re: Kiss - Live Cobo Hall 1/29/1977 YOU HAVE TO SEE THIS
    ... Congratulations. ... Nobody has the type of tinnitus I have and is "NOT" screwed in the ... head. ...
    (rec.music.artists.kiss)
  • Re: RANEE!!!!!!! CONGRATULATIONS!!!
    ... Congratulations! ... HUH? ... Nobody OK'd that with me! ... Having the baby or doing well? ...
    (rec.food.cooking)
  • Re: xbox 360 premium + 2 games
    ... Far too many opinionated assholes on the net. ... ITYM "arseholes". ... And congratulations, you've all but guaranteed that nobody on this group ...
    (uk.adverts.computer)
  • Re: xbox 360 premium + 2 games
    ... Far too many opinionated assholes on the net. ... ITYM "arseholes". ... And congratulations, you've all but guaranteed that nobody on this group ...
    (uk.adverts.computer)
  • Re: New address
    ... Congratulations. ... I have six e-mail addresses and nobody sends me anything. ... MS-MVP Outlook Express ... addresses and neew emails ...
    (microsoft.public.windows.inetexplorer.ie6_outlookexpress)