AngouriMath

Navigation

← Back to list of members

SolveAHalfOddPowerOfOnePlusAnImaginaryHyperbolicSine​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable,​System.​Boolean)

 Method (no overloads)

Summary

Half-odd powers of a ± i a sinh(y) beside anything in the hyperbolic functions of
y, by the half angle at which they are squares: 1 + i sinh(y) is
(cosh(y/2) + i sinh(y/2))^2, so sqrt(a + i a sinh(y)) is
sqrt(a) (cosh(y/2) + i sinh(y/2)) times a constant on every interval where both
are continuous. The rest of the integrand is written in the half angle, and the question
asked again in x.

Remarks

Rubi's x^3 sqrt(a + i a sinh(e + f x)) and the rest of the 47 of 6.1.1 and 6.1.5
were declined or searches past the budget: the half angle of
SolveByTheHalfAngleWhereOnePlusAHyperbolicCosineIsASquare(AngouriMath.Entity,AngouriMath.Entity.Variable,System.Boolean) reads
a ± a cosh(y), and 1 + i sinh(y) is the square of a complex function rather
than of a real one.
The constant is not written: the answer is the antiderivative of the rewritten integrand
times each power as written over the form it was rewritten to, a quotient whose
logarithmic derivative is zero, so it is constant wherever it is continuous and the
answer holds on every such interval, whatever a is.
https://github.com/asc-community/AngouriMath/issues/718

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4862 pages online