The hankel function computes the Hankel transform (F[nu](s)) of expr (f(t)), a linear transformation $C\left[0,\infty \right)\to C\left[0,\infty \right)$ defined by:

The function $F\left(s\right)$ returned is defined on the positive real axis only.

Expressions involving exponentials, products involving powers of t, trigonometrics (sin, cos) with linear arguments, and a variety of other functions can all be transformed.

The Hankel transform is self-inverting for nu >$-\frac{1}{2}$ .

The hankel function can transform Bessel's operator, and if nu$\ne 0$, derivatives of functions as well, and can be used in the solution of ODEs and PDEs.

The hankel function attempts to simplify an expression according to a set of heuristics and then match the result with a table of patterns.  Entries can be added to this table by addtable(hankel, f(t), F(s), t, s), where F(s) is the transform of f(t), which may have an arbitrary number of parameters.

hankel  recognizes the Dirac-delta (or unit-impulse) function as Dirac(t) and Heaviside's unit step function as Heaviside(t).

If the option opt is set to 'NO_INT', then the program will not resort to integration of the original problem if all other methods fail.  This will increase the speed at which the transform will run.

The command with(inttrans,hankel) allows the use of the abbreviated form of this command.

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

$\mathrm{assume}\left(0<a\right)\&colon;$

$\mathrm{assume}\left(-\frac{1}{2}<\mathrm{\nu }\right)\&colon;$$\mathrm{additionally}\left(\mathrm{\nu }\ne 0\right)\&colon;$

$F≔\mathrm{hankel}\left(g\left(x\right)\&comma;x\&comma;y\&comma;\mathrm{\nu }\right)$

$F≔\mathrm{`?`}$

$\mathrm{hankel}\left(F\&comma;y\&comma;z\&comma;\mathrm{\nu }\right)$

$g\left(z\right)$

$\mathrm{setup}\left(\mathrm{computederivatives}\right)$

$\mathrm{computederivatives}=\mathrm{true}$

$\mathrm{diff}\left(\mathrm{hankel}\left(f\left(t\right)\&comma;t\&comma;s\&comma;1\right)\&comma;s\right)$

$-\frac{-\mathrm{`?`}s+6\mathrm{`?`}}{s}+\frac{\mathrm{`?`}}{s}$

$\mathrm{hankel}\left(tf\left(t\right)\&comma;t\&comma;s\&comma;\mathrm{\nu }\right)$

$\frac{2\mathrm{`?`}\mathrm{\&nu;~}-\mathrm{`?`}s+2\mathrm{`?`}}{s}$

$\mathrm{setup}\left(\mathrm{computederivatives}=\mathrm{false}\&comma;\mathrm{alternativehankeldefinition}=\mathrm{false}\right)$

$\mathrm{alternativehankeldefinition}=\mathrm{false},\mathrm{computederivatives}=\mathrm{false}$

$\mathrm{hankel}\left(tf\left(t\right)\&comma;t\&comma;s\&comma;\mathrm{\nu }\right)$

$\frac{\mathrm{`?`}\mathrm{\&nu;~}+\left(\frac{\partial }{\partial s}\mathrm{`?`}\right)s+\mathrm{`?`}}{s}$

$\mathrm{hankel}\left(\frac{f\left(t\right)}{t}\&comma;t\&comma;s\&comma;\mathrm{\nu }\right)$

$\frac{s\left(\mathrm{`?`}+\mathrm{`?`}\right)}{2\mathrm{\&nu;~}}$

$\mathrm{hankel}\left(\mathrm{D}\left(f\right)\left(t\right)\&comma;t\&comma;s\&comma;\mathrm{\nu }\right)$

$-\frac{s\left(\mathrm{`?`}\mathrm{\&nu;~}-\mathrm{`?`}\mathrm{\&nu;~}+\mathrm{`?`}+\mathrm{`?`}\right)}{2\mathrm{\&nu;~}}$

$\mathrm{pde}≔\mathrm{diff}\left(f\left(r\&comma;z\right)\&comma;z\&comma;z\right)+\mathrm{diff}\left(f\left(r\&comma;z\right)\&comma;r\&comma;r\right)+\frac{\mathrm{diff}\left(f\left(r\&comma;z\right)\&comma;r\right)}{r}-{\left(\frac{\mathrm{\nu }}{r}\right)}^{2}f\left(r\&comma;z\right)=0$

$\mathrm{pde}≔\frac{{\partial }^2}{\partial z^2}f\left(r\&comma;z\right)+\frac{{\partial }^2}{\partial r^2}f\left(r\&comma;z\right)+\frac{\frac{\partial }{\partial r}f\left(r\&comma;z\right)}{r}-\frac{{\mathrm{\&nu;~}}^{2}f\left(r\&comma;z\right)}{r^2}=0$

$\mathrm{hankel}\left(\mathrm{pde}\&comma;r\&comma;p\&comma;\mathrm{\nu }\right)$

$\frac{{\partial }^2}{\partial z^2}\mathrm{`?`}-p^2\mathrm{`?`}=0$

$\mathrm{setup}\left(\mathrm{alternativehankeldefinition}=\mathrm{true}\right)$

$\mathrm{alternativehankeldefinition}=\mathrm{true}$

$\mathrm{hankel}\left(t^{\frac{1}{2}}\&comma;t\&comma;s-2\&comma;1\right)$

$\frac{1}{{\left(s-2\right)}^{\raisebox{1ex}{$3$}\!\left/ \!\raisebox{-1ex}{$2$}\right.}}$

$\mathrm{hankel}\left(\exp \left(-at\right)\&comma;t\&comma;s\&comma;\mathrm{\nu }\right)$

$\frac{\mathrm{\Gamma }\left(\mathrm{\&nu;~}+\frac{3}{2}\right)\mathrm{hypergeom}\left(\left[\frac{\mathrm{\&nu;~}}{2}+\frac{5}{4}\&comma;\frac{\mathrm{\&nu;~}}{2}+\frac{3}{4}\right]\&comma;\left[\mathrm{\&nu;~}+1\right]\&comma;-\frac{s^2}{{\mathrm{a~}}^2}\right)s^{\mathrm{\&nu;~}+\frac{1}{2}}{2}^{-\mathrm{\&nu;~}}{\mathrm{a~}}^{-\mathrm{\&nu;~}-\frac{3}{2}}}{\mathrm{\Gamma }\left(\mathrm{\&nu;~}+1\right)}$

$\mathrm{addtable}\left(\mathrm{hankel}\&comma;\mathrm{myfunc}\left(t\right)\&comma;\mathrm{MyFunc}\left(s\&comma;\mathrm{\nu }\right)\&comma;t\&comma;s\&comma;\mathrm{hankel}=\mathrm{\nu }::\mathrm{Range}\left(-\mathrm{\infty }\&comma;\mathrm{\infty }\right)\right)$

$\mathrm{hankel}\left(\mathrm{myfunc}\left(x\right)\&comma;x\&comma;y\&comma;\mathrm{\nu }\right)$

$\mathrm{MyFunc}\left(y\&comma;\mathrm{\&nu;~}\right)$