addtable (inttrans Package)
The integral transforms package contains functionality that allows great flexibility in the patterns that can be entered into the tables, as well as the ability to match these patterns quickly and efficiently.
restart
with⁡inttrans:
Basic Functionality
addtablefourier,f⁡t,Ff⁡s,t,s
fourier⁡f⁡x,x,y
Ff⁡y
addtable⁡fouriercos,f⁡t,Fc⁡s,t,s
fouriercos⁡f⁡x,x,y
Fc⁡y
addtable⁡fouriersin,f⁡t,Fs⁡s,t,s
fouriersin⁡f⁡x,x,y
Fs⁡y
addtable⁡hankel,f⁡t,Fha⁡s,ν,t,s,hankel=ν::Range⁡−∞,∞
hankel⁡f⁡x,x,y,μ
Fha⁡y,μ
addtable⁡hilbert,f⁡t,Fhi⁡s,t,s
hilbert⁡f⁡x,x,y
Fhi⁡y
addtable⁡invlaplace,f⁡t,Fil⁡s,t,s
invlaplace⁡f⁡x,x,y
Fil⁡y
addtable⁡invmellin,f⁡t,Fim⁡s,t,s,invmellin=−∞..∞
invmellin⁡f⁡x,x,y,−∞..∞
Fim⁡y
addtable⁡laplace,f⁡t,Fl⁡s,t,s
laplace⁡f⁡x,x,y
Fl⁡y
addtable⁡mellin,f⁡t,Fm⁡s,t,s
mellin⁡f⁡x,x,y
Fm⁡y
Functions with Several Parameters
This functionality distinguishes between user-defined symbolic constants and variable parameters.
In the following case, a is a variable parameter:
addtable⁡fourier,g⁡t⁢a,Gf⁡s−a,t,s,a
fourier⁡g⁡x,x,y;
Gf⁡y−1
Whereas, in the following situation, alpha is a user-defined symbolic constant, and it must be matched exactly by "alpha" for the pattern to be successfully returned. The first call to fouriercos will not return an answer for this reason--because 4 is not the same as alpha--while the second will.
addtable⁡fouriercos,g⁡a⁢t,α,Gc⁡s−α+a,t,s,a
fouriercos⁡g⁡3⁢x,4,x,y
fouriercos⁡g⁡3⁢x,α,x,y
Gc⁡y−α+3
The rest of these examples use variable parameters as opposed to symbolic constants:
addtable⁡fouriersin,g⁡a⁢t+b,Gs⁡a⁢s−b,t,s,a,b
fouriersin⁡g⁡α⁢x+β,x,y
Gs⁡α⁢y−β
addtable⁡hankel,g⁡t⁢a,Gha⁡s,ν−a,t,s,a,hankel=ν::Range⁡−∞,∞
hankel⁡g⁡x,x,y,μ
Gha⁡y,μ−1
addtable⁡hilbert,g⁡t+b,Ghi⁡s+sin⁡b,t,s,b
hilbert⁡g⁡x+b,x,y
Ghi⁡y+sin⁡b
addtable⁡invlaplace,g⁡t+a,Gil⁡s1−a,t,s,a
invlaplace⁡g⁡x+3,x,y
−12⁢Gil⁡y
addtable⁡invmellin,g⁡t⁢a,Gim⁡s−a,t,s,a,invmellin=−∞..∞
invmellin⁡g⁡x,x,y,−∞..∞
Gim⁡y−1
addtable⁡laplace,g⁡a⁢t,Gl⁡as+a,t,s,a
laplace⁡g⁡x,x,y
Gl⁡11+y
addtable⁡mellin,g⁡t⁢b,Gm⁡sb,t,s,b
mellin⁡g⁡6⁢x,x,y
Gm⁡y6
You can specify conditions on the parameters to be matched:
addtable⁡hankel,h⁡t⁢a,Hha⁡s,ν−a,t,s,a,a::Range⁡−3,5,hankel=ν::Range⁡−∞,∞
hankel⁡h⁡x,x,y,μ
Hha⁡y,μ−1
addtable⁡invlaplace,h⁡t+a,Hil2⁡s1−a,t,s,a,a::integer
addtable⁡invlaplace,h⁡t+a,Hil1⁡s1−a,t,s,a,a::Not⁡integer
invlaplace⁡h⁡x+32,x,y
−2⁢Hil1⁡y
invlaplace⁡h⁡x+3,x,y
−12⁢Hil2⁡y
addtable⁡mellin,h⁡t,b,Hm1⁡sb,t,s,b,_testeq⁡_signum⁡b+1
addtable⁡mellin,h⁡t,b,Hm2⁡sb,t,s,b,_testeq⁡_signum⁡b−1
mellin⁡h⁡x,6,x,y
Hm2⁡y6
mellin⁡h⁡x,−6,x,y
1Hm1⁡y6
invmellin and hankel
With invmellin and hankel, arguments are added to the addtable function, as arguments are added to the transforms themselves. These arguments can be varied, introducing greater flexibility in the information that can be added to user-defined tables.
addtable⁡hankel,i⁡t⁢a,Iha2⁡s,ν−a,t,s,a,a::Range⁡−3,5,hankel=ν::Range⁡0,∞
addtable⁡hankel,i⁡t⁢a,Iha1⁡s,ν−a,t,s,a,a::Range⁡−3,5,hankel=ν::Range⁡−∞,0
assume⁡0<μ
hankel⁡i⁡x,x,y,μ
Iha2⁡y,μ~−1
assume⁡μ<0
Iha1⁡y,μ~−1
addtable⁡invmellin,i⁡t,a,Iim1⁡s−a,t,s,a,_testeq⁡_signum⁡a+1,invmellin=0..∞
addtable⁡invmellin,i⁡t,a,Iim2⁡s−a,t,s,a,_testeq⁡_signum⁡a+1,invmellin=−∞..0
addtable⁡invmellin,i⁡t,a,Iim3⁡s−a,t,s,a,_testeq⁡_signum⁡a−1,invmellin=0..∞
addtable⁡invmellin,i⁡t,a,Iim4⁡s−a,t,s,a,_testeq⁡_signum⁡a−1,invmellin=−∞..0
invmellin⁡i⁡x,7,x,y,3..7
Iim3⁡y−7
invmellin⁡i⁡x,−7,x,y,3..7
Iim1⁡y+7
invmellin⁡i⁡x,7,x,y,−7..−3
Iim4⁡y−7
invmellin⁡i⁡x,−7,x,y,−∞..0
Iim2⁡y+7
Return to Index for Example Worksheets
Download Help Document