Take the 2-minute tour ×
Mathematica Stack Exchange is a question and answer site for users of Mathematica. It's 100% free, no registration required.

The Gudermannian function is built into Mathematica, but does not reduce to simpler terms in some simple cases. In particular, the Gudermannian is an odd function of real arguments but Mathematica does not seem to know or use this. For example:

FullSimplify[Gudermannian[2x] + Gudermannian[-2x],Assumptions->{x>0}]
Gudermannian[-2 x] + Gudermannian[2 x]

Am I missing some subtlety that invalidates simplifying to 0 or is Mathematica missing something?

share|improve this question
add comment

1 Answer

up vote 4 down vote accepted

Mathematica is having hard time knowing that ArcTan[E^(-2 x)] + ArcTan[E^(2 x) == Pi/2 and I could not figure how to tell so other than by brute force telling it so in the Assuming.

Once it knew this relation, then the simplification of the FunctionExpand applied to your input, gives zero as expected.

ClearAll[x]
inp = Gudermannian[2 x] + Gudermannian[-2 x];
Assuming[(ArcTan[E^(-2 x)] == Pi/2 - ArcTan[E^(2 x)]),Simplify@FunctionExpand@inp]

Mathematica graphics

From help, it says Use FunctionExpand to expand Gudermannian in terms of elementary functions and that is how the above relation came out. So, without using FunctionExpand it is even harder. So, I would say use `FunctionExpand on Gudermannian since then there is more chance of doing more simplification on it when it is in that form (i.e. using elementary functions)

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.