AngouriMath
SolveByAPowerAndALogarithmOfAMonomial(AngouriMath.Entity,AngouriMath.Entity.Variable,System.Boolean)
Method (no overloads)
Summary
A power of x times a function of one logarithm of a monomial, x^m G(ln(c x^n)) ,
undert = ln(c x^n) : dx = x dt/n , and x^(m + 1) is
K e^((m + 1) t/n) with K = x^(m + 1) (c x^n)^(-(m + 1)/n) , whose derivative
is 0 wherever it is defined. So the answer isK/n times the integral of
e^((m + 1) t/n) G(t) at t = ln(c x^n) , an antiderivative on the whole of
the real line where the integrand is real -- for an evenn that includes negative
x , where ln(c x^n) is not ln(c) + n ln(x) . A power of a monomial,
(e x)^p , is x^p times a factor of the same kind. What by parts leaves of
(e x)^m Si(d (a + b ln(c x^n))) is this, with G(t) a sine over a linear in
t . Rubi's answers to 8.3 to 8.5 are written in exactly this K .
https://github.com/asc-community/AngouriMath/issues/1501
under
is 0 wherever it is defined. So the answer is
the real line where the integrand is real -- for an even
https://github.com/asc-community/AngouriMath/issues/1501
Remarks
After SolveByLogarithmSubstitution(AngouriMath.Entity,AngouriMath.Entity.Variable,System.Boolean), which answers ln(x) alone.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online