Mellin/Inverse Mellin Transforms (inttrans Package)
restart
withinttrans:
Introduction
The Mellin and Inverse Mellin transforms mellin and invmellin are part of the inttrans package. The Mellin transform is closely related to the Laplace and Fourier transforms and has applications in many areas, including:
digital data structures
probabilistic algorithms
asymptotics of Gamma-related functions
coefficients of Dirichlet series
asymptotic estimation of integral forms
asymptotic analysis of algorithms
communication theory
The Mellin transform, as a function M⁡s of s, of a function m⁡x of x, is defined by the integral
M⁡s=∫−0∞m⁡x⁢xs−1ⅆx
The Inverse Mellin transform is defined by the contour integral
F⁡s=1⁢π⁢I⁢∫−I⁢c+∞I⁢c+∞f⁡t⁢t−sⅆt2
for a function f⁡t of t.
Simple Examples
Here are a few examples of invmellin, the inverse Mellin transform, in action.
j≔23+I
j:=23+I
invmellin⁡asj+s2,s,x
∫0∞_U−13+I⁢invmellin⁡as,s,x_U⁢invmellin⁡1s2,s,_U,−∞..∞ⅆ_U
Try an assumption on a:
assume⁡0<a
invmellinasj+s2,s,x
invmellin⁡9⁢ⅇs⁢ln⁡a~2+3⁢I+3⁢s2,s,x
Try changing the range:
invmellin⁡asj+s2,s,x,−∞..−1
Heaviside⁡x−a~⁢xa~23+I⁢ln⁡xa~
In the above, we see that the correct assumptions on parameters and the correct range must be specified for the inverse Mellin transform.
Continuing with another example:
invmellin⁡γ+Ψ⁡1+ss,s,x,−1..∞
−Heaviside⁡1−x⁢ln⁡1−x
Check to see that the Mellin transform of this is our original expression:
mellin⁡%,x,s
γ+Ψ⁡1+ss
Further Examples
The following is an example of a Mellin transform which does not simplify:
mellin⁡Heaviside⁡1−x⁢sin⁡2⁢x−1x1−x2,x,s
−π⁢BesselI⁡12⁢s,2⁢BesselK⁡12⁢s−12,2
We try taking the inverse Mellin transform of this, with the valid range, and check to see that we get the original function:
invmellin⁡,s,x,−1..∞
Heaviside⁡1−x⁢sin⁡2⁢x−2x1−x2
The mellin and invmellin functions can also handle the Whittaker functions:
invmellin⁡2s⁢WhittakerW⁡13−s,s,2,s,x
14⁢Heaviside⁡1−x⁢2⁢Γ⁡56⁢ⅇ−2xπ⁢1−x2/3
mellinexp−3*x*WhittakerM5,1/2,2*x,x,s
2⁢Γ⁡1+s⁢2−1−s⁢hypergeom⁡6,1+s,2,−1
Try some general formulae:
mellin⁡invmellin⁡f⁡x,x,s,s,x
f⁡x
invmellinmellin⁡f⁡x,x,s,s,x
mellin⁡f⁡a⁢x,x,s
1a~s⁢mellin⁡f⁡x,x,s
invmellin⁡f⁡x+a,x,s
sa~⁢invmellin⁡f⁡x,x,s
For more information, see the following help pages: Mellin, Inverse Mellin, inttrans package, Laplace transform, and Fourier transform.
Return to Index for Example Worksheets
Download Help Document