FunctionAdvisor/special_values
return the special values of a given mathematical function
Calling Sequence
Parameters
Description
Examples
FunctionAdvisor(special_values, math_function)
special_values
-
literal name; 'special_values'
math_function
Maple name of mathematical function
The FunctionAdvisor(special_values, math_function) command returns special values of the function computed at a selected list of special points.
FunctionAdvisor⁡special_values,arccsc
arccsc⁡−1=−π2,arccsc⁡−2⁢33=−π3,arccsc⁡−2=−π4,arccsc⁡−2=−π6,arccsc⁡2=π6,arccsc⁡2=π4,arccsc⁡2⁢33=π3,arccsc⁡1=π2,arccsc⁡I=−I⁢ln⁡1+2,arccsc⁡−I=I⁢ln⁡1+2,arccsc⁡0=π2−∞⁢I,arccsc⁡∞=0,arccsc⁡−∞=0
FunctionAdvisor⁡special_values,sin
sin⁡π6=12,sin⁡π4=22,sin⁡π3=32,sin⁡∞=undefined,sin⁡∞⁢I=∞⁢I,sin⁡π⁢n=0,n::ℤ,sin⁡2⁢n+1⁢π2=−1,n::odd,sin⁡2⁢n+1⁢π2=1,n::even
ex1≔FunctionAdvisor⁡special_values,binomial
ex1≔0z=1z=0sin⁡π⁢zπ⁢zotherwise,a0=1,a1=a,00=1
The variables used by the FunctionAdvisor command to create the function calling sequences are local variables. Therefore, the previous example does not depend on a or z.
depends⁡ex1,a,depends⁡ex1,z
false,false
To make the FunctionAdvisor command return results using global variables, pass the function call itself.
ex2≔FunctionAdvisor⁡special_values,binomial⁡a,z
ex2≔0z=1z=0sin⁡π⁢zπ⁢zotherwise,a0=1,a1=a,00=1
depends⁡ex2,a,depends⁡ex2,z
true,true
For functions which accept more than one argument, the special values of interest could be restricted by passing the function call. For example, these are special values for Ψ⁡1,z
FunctionAdvisor⁡special_values,Ψ⁡1,z
Ψ⁡−1,z=lnGAMMA⁡z−ln⁡2⁢π2,Ψ⁡1,1=π26,Ψ⁡1,12=π22,Ψ⁡1,14=π2+8⁢Catalan,Ψ⁡0,z=Ψ⁡z,Ψ⁡1,−1=∞,Ψ⁡1,0=∞,Ψ⁡1,−n=∞,Ψ⁡1,n=π26−∑k=1n−1⁡1k2,Ψ⁡1,n+12=π22−∑k=1n⁡42⁢k−12,Ψ⁡1,12−n=π22+∑k=1n⁡42⁢k−12,n::ℤ+
and these are special values for Ψ⁡z.
FunctionAdvisor⁡special_values,Ψ⁡z
Ψ⁡−32=83−γ−2⁢ln⁡2,Ψ⁡−12=2−γ−2⁢ln⁡2,Ψ⁡14=−γ−3⁢ln⁡2−π2,Ψ⁡12=−γ−2⁢ln⁡2,Ψ⁡34=−γ−3⁢ln⁡2+π2,Ψ⁡13=−γ−π⁢36−3⁢ln⁡32,Ψ⁡23=−γ+π⁢36−3⁢ln⁡32,Ψ⁡1=−γ,Ψ⁡2=1−γ,Ψ⁡−1=∞+∞⁢I,Ψ⁡0=∞+∞⁢I,Ψ⁡∞=∞,Ψ⁡−∞=undefined,Ψ⁡∞⁢I=∞+I⁢π2,Ψ⁡−∞⁢I=∞−I⁢π2,Ψ⁡n=∑k=1n−1⁡1k−γ,n::ℤ+,Ψ⁡n+pq=q⁢∑k=0n−1⁡1k⁢q+p+2⁢∑k=1q2−12⁡cos⁡2⁢π⁢p⁢kq⁢ln⁡sin⁡π⁢kq−π⁢cot⁡π⁢pq2−ln⁡2⁢q−γ,Ψ⁡pq−n=q⁢∑k=0n−1⁡1q⁢k+1−p+2⁢∑k=1q2−12⁡cos⁡2⁢π⁢p⁢kq⁢ln⁡sin⁡π⁢kq−π⁢cot⁡π⁢pq2−ln⁡2⁢q−γ,n::ℤ0,+∧p,q::set⁡ℤ+∧p<q
In these cases, when the FunctionAdvisor command is called with the function name, for example, Psi, the values are listed on the screen starting with those involving less arguments in the function call (in this example, Ψ⁡z).
See Also
depends
FunctionAdvisor
FunctionAdvisor/ branch_cuts
FunctionAdvisor/ branch_points
FunctionAdvisor/ identities
FunctionAdvisor/ topics
Psi
Download Help Document