Bioche's rules, formulated by the French mathematician (1859âÂÂ1949), are rules to aid in the computation of certain indefinite integrals in which the integrand contains sines and cosines.
In the following, is a rational expression in and . In order to calculate , consider the integrand . We consider the behavior of this entire integrand, including the , under translation and reflections of the t axis. The translations and reflections are ones that correspond to the symmetries and periodicities of the basic trigonometric functions.
Bioche's rules state that:
Because rules 1 and 2 involve flipping the t axis, they flip the sign of dt, and therefore the behavior of ÃÂ under these transformations differs from that of ÃÂ by a sign. Although the rules could be stated in terms of ÃÂ, stating them in terms of ÃÂ has a mnemonic advantage, which is that we choose the change of variables u(t) that has the same symmetry as ÃÂ.
These rules can be, in fact, stated as a theorem: one shows that the proposed change of variable reduces (if the rule applies and if f is actually of the form ) to the integration of a rational function in a new variable, which can be calculated by partial fraction decomposition.
To calculate the integral , Bioche's rules apply as well.
Suppose one is calculating .
If Bioche's rules suggest calculating by (respectively, ), in the case of hyperbolic sine and cosine, a good change of variable is (respectively, ). In every case, the change of variable allows one to reduce to a rational function, this last change of variable being most interesting in the fourth case ().
As a trivial example, consider
Then is an odd function, but under a reflection of the t axis about the origin, ÃÂ stays the same. That is, ÃÂ acts like an even function. This is the same as the symmetry of the cosine, which is an even function, so the mnemonic tells us to use the substitution (rule 1). Under this substitution, the integral becomes . The integrand involving transcendental functions has been reduced to one involving a rational function (a constant). The result is , which is of course elementary and could have been done without Bioche's rules.
The integrand in
has the same symmetries as the one in example 1, so we use the same substitution . So
This transforms the integral into
which can be integrated using partial fractions, since . The result is that
Consider
where . Although the function f is even, the integrand as a whole ÃÂ is odd, so it does not fall under rule 1. It also lacks the symmetries described in rules 2 and 3, so we fall back to the last-resort substitution .
Using and a second substitution leads to the result