The convert(expr, Int) command replaces occurrences of mathematical functions by their integral representations using the inert form Int. It does not attempt to compute the integrals. This conversion facility accepts the optional arguments explained in convert/to_special_function so that you can restrict its application. By default, when possible, all mathematical functions are converted.

The convert(expr, int) command replaces occurrences of the inert form Int by the active form int, and then attempts to compute the integrals. This function also replaces any integral transforms,

FunctionAdvisor(integral_transforms);

The 11 functions in the "integral_transforms" class are:

$\left[\mathrm{fourier}\,\mathrm{fouriercos}\,\mathrm{fouriersin}\,\mathrm{hankel}\,\mathrm{hilbert}\,\mathrm{invfourier}\,\mathrm{invhilbert}\,\mathrm{invlaplace}\,\mathrm{invmellin}\,\mathrm{laplace}\,\mathrm{mellin}\right]$

in an expression by the mathematically equivalent active form using int, and then attempts to compute the integrals. The exception to this is the inverse Laplace transform, which would require a convolution integral. It cannot be represented in Maple. By default, only the integral transforms mentioned above and occurrences of the inert Int are converted into active integrals. To override this default use the optional arguments described in convert/to_special_function.

$\mathrm{with}\left(\mathrm{inttrans}\right)\:$

$\mathrm{ee}≔\mathrm{fourier}\left(f\left(t\right)\,t\,s\right)+\mathrm{mellin}\left(h\left(x\right)\,x\,y\right)$

$\mathrm{ee}≔\mathrm{`?`}+\mathrm{`?`}$

$\mathrm{convert}\left(\mathrm{ee}\,\mathrm{int}\right)$

${\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f\left(t\right){\ⅇ}^{\mathrm{-I}ts}\ⅆt+{\int }_0^{\mathrm{\infty }}h\left(x\right)x^{y-1}\ⅆx$

$\mathrm{convert}\left(\mathrm{ee}\,\mathrm{Int}\right)$

${\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f\left(t\right){\ⅇ}^{\mathrm{-I}ts}\ⅆt+{\int }_0^{\mathrm{\infty }}h\left(x\right)x^{y-1}\ⅆx$

$\mathrm{FunctionAdvisor}\left(\mathrm{Ei\_related}\right)\left(z\right)$

The 7 functions in the "Ei_related" class are:

$\left[\mathrm{Chi}\left(z\right)\,\mathrm{Ci}\left(z\right)\,\mathrm{Ei}\left(z\right)\,\mathrm{Li}\left(z\right)\,\mathrm{Shi}\left(z\right)\,\mathrm{Si}\left(z\right)\,\mathrm{Ssi}\left(z\right)\right]$

$\mathrm{map}\left(u\mapsto u=\mathrm{convert}\left(u\,\mathrm{Int}\right)\,\right)$

$\left[\mathrm{Chi}\left(z\right)=\mathrm{\gamma }+\ln \left(z\right)+{\int }_0^z\frac{\cosh \left(\mathrm{\_k1}\right)-1}{\mathrm{\_k1}}\ⅆ\mathrm{\_k1}\,\mathrm{Ci}\left(z\right)=\mathrm{\gamma }+\ln \left(z\right)+{\int }_0^z\frac{\cos \left(\mathrm{\_k1}\right)-1}{\mathrm{\_k1}}\ⅆ\mathrm{\_k1}\,\mathrm{Ei}\left(z\right)=\mathrm{Ei}\left(z\right)\,\mathrm{Li}\left(z\right)=\mathrm{Li}\left(z\right)\,\mathrm{Shi}\left(z\right)={\int }_0^z\frac{\sinh \left(\mathrm{\_k1}\right)}{\mathrm{\_k1}}\ⅆ\mathrm{\_k1}\,\mathrm{Si}\left(z\right)={\int }_0^z\frac{\sin \left(\mathrm{\_k1}\right)}{\mathrm{\_k1}}\ⅆ\mathrm{\_k1}\,\mathrm{Ssi}\left(z\right)={\int }_0^z\frac{\sin \left(\mathrm{\_k1}\right)}{\mathrm{\_k1}}\ⅆ\mathrm{\_k1}-\frac{\mathrm{\pi }}{2}\right]$

$\mathrm{convert}\left(\left[-1\right]\,\mathrm{int}\right)$

$\mathrm{Ssi}\left(z\right)=\mathrm{Si}\left(z\right)-\frac{\mathrm{\pi }}{2}$

$\mathrm{simplify}\left(\left(\mathrm{lhs}-\mathrm{rhs}\right)\left(\right)\right)$

$0$

$\mathrm{FunctionAdvisor}\left(\mathrm{Int}\,\mathrm{{\rm B}}\right)$

* Partial match of "Int" against topic "integral_form".

$\left[\mathrm{{\rm B}}\left(x\&comma;y\right)={\int }_0^1{\mathrm{\_k1}}^{x-1}{\left(1-\mathrm{\_k1}\right)}^{y-1}\&DifferentialD;\mathrm{\_k1}\&comma;0<\mathrm{\Re }\left(x\right)\wedge 0<\mathrm{\Re }\left(y\right)\right]$

$\mathrm{convert}\left(\mathrm{{\rm B}}\left(a\&comma;z\right)\&comma;\mathrm{Int}\right)$

$\mathrm{{\rm B}}\left(a\&comma;z\right)$

$\mathrm{convert}\left(\mathrm{{\rm B}}\left(a\&comma;z\right)\&comma;\mathrm{Int}\right)\mathbf{assuming}\mathrm{And}\left(0<\mathrm{\Re }\left(a\right)\&comma;0<\mathrm{\Re }\left(z\right)\right)$

${\int }_0^1{\mathrm{\_k1}}^{a-1}{\left(1-\mathrm{\_k1}\right)}^{z-1}\&DifferentialD;\mathrm{\_k1}$