Hi - Thanks for the good info - I'm sorry I didn't check the equation after I copied and pasted it, and I thought maybe it would display properly if cut and pasted from the post. I am using Mathematica 9 Home Edition, and the equation is (in plain letters):

Assuming[x>0&&a>0&&k>0&&m>0,FullSimplify[Integrate[(k(1+a)(1-a (t/m)^k)^(1/a)(t/m)^k)/t,{t, 0, x}]]]

I cut and pasted the above, just to be sure it survived the process, and then I quit the kernel before evaluating, and I get the answer:

ConditionalExpression[1 + E^((I [Pi])/a) (a - (m/x)^k)^(1 + 1/a) (m/x)^(-(1 + 1/a) k), (m/x)^k < a && a^(1/k) x <= m]

(copying and pasting the output looks good on my Mathematica) I'm fairly sure the Exp[i [Pi]/a] term should not be there, but what really concerns me is the condition. Since all parameters are positive, it appears to be invariably False.

To Sean Clarke - Thanks for the note on Reduce - I did not know that, and that solves some puzzles I have been dealing with. However, using Solve as you suggests gives me "Solve::ifun: Inverse functions are being used by Solve, so some solutions may not be found; use Reduce for complete solution information. >>" and I am very interested in everything about this equation.

I don't expect anyone to obsess over the mathematical intricacies of the equation, just to see if the outputs match on other versions, or some obvious syntax problem I am having.

• Paul

There seems to be an issue again with how your code is being posted on the forum. If you can see, there's square brackets around Alpha and Lambda and some of it is a hyperlink.

So we know exactly what you're seeing, can you copy the code, run it as plaintext, and then code as plaintext the output?

What version of Mathematica are you using?

I'm not seeing the same issue. Most likely this is being caused by something else that has been defined at some point.

Save any work you have and then restart Mathematica so that it has a fresh kernel. After that try evaluating the following code:

Assuming[x > 0 && Alpha > 0 && k > 0 && Lambda > 0, 
 FullSimplify@
  Integrate[(k (1 + Alpha) (1 - Alpha^k)^(1/Alpha) (t/Lambda)^k)/t, {t, 0, x}]]

This is essentially the same syntax above but without any special characters. Does this work for you? It should give:

(1 + Alpha) (1 - Alpha^k)^(1/Alpha) (x/Lambda)^k

Concerning this piece of code:

Assuming[x > 0 && Alpha > 0 && k > 0 && Lambda > 0, Reduce[x Alpha^(1/k) <= Lambda, Alpha]]

Assuming[...., SomeFunction[....]] is syntactic sugar for SomeFunction[.....,Assumptions->....]. Reduce in this case doesn't have an assumptions option, so Assuming effectively does nothing here.

The operation might be best done an equality instead and done with Solve. (x Alpha^(1/k) == Lambda)

Assuming[x > 0 && Alpha > 0 && k > 0 && Lambda > 0, 
 Solve[x Alpha^(1/k) == Lambda, Alpha]]

Once you have where they're equal, you can label which regions satisfy the original inequality.