3.5.6 Indefinite Integrals
The Mathematica function Integrate[f, x] gives you the indefinite integral . You can think of the operation of indefinite integration as being an inverse of differentiation. If you take the result from Integrate[f, x], and then differentiate it, you always get a result that is mathematically equal to the original expression f.
In general, however, there is a whole family of results which have the property that their derivative is f. Integrate[f, x] gives you an expression whose derivative is f. You can get other expressions by adding an arbitrary constant of integration, or indeed by adding any function that is constant except at discrete points.
If you fill in explicit limits for your integral, any such constants of integration must cancel out. But even though the indefinite integral can have arbitrary constants added, it is still often very convenient to manipulate it without filling in the limits.
Mathematica applies standard rules to find indefinite integrals.
You can add an arbitrary constant to the indefinite integral, and still get the same derivative. Integrate simply gives you an expression with the required derivative.
This gives the indefinite integral .
Differentiating should give the original function back again.
You need to manipulate it to get it back into the original form.
The Integrate function assumes that any object that does not explicitly contain the integration variable is independent of it, and can be treated as a constant. As a result, Integrate is like an inverse of the partial differentiation function D.
The variable a is assumed to be independent of x.
The integration variable can be any expression that does not involve explicit mathematical operations.
Another assumption that Integrate implicitly makes is that all the symbolic quantities in your integrand have "generic" values. Thus, for example, Mathematica will tell you that is even though this is not true in the special case .
Mathematica gives the standard result for this integral, implicitly assuming that n is not equal to -1.
If you specifically give an exponent of -1, Mathematica produces a different result.
You should realize that the result for any particular integral can often be written in many different forms. Mathematica tries to give you the most convenient form, following principles such as avoiding explicit complex numbers unless your input already contains them.
This integral is given in terms of ArcTan.
This integral is given in terms of ArcTanh.
This is mathematically equal to the first integral, but is given in a somewhat different form.
The derivative is still correct.
Even though they look quite different, both ArcTan[x] and -ArcTan[1/x] are indefinite integrals of .
Integrate chooses to use the simpler of the two forms.