|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
Notice that a relation between KummerU and HermiteH does not exist for arbitrary values of their parameters.
|
>
|
|
|
* Partial match of Hermite against topic HermiteH.
Unable to establish a relation between KummerU and HermiteH
| |
However, that relation does exist for a specialization of the function parameters
|
>
|
|
|
![[KummerU(a, b, z) = HermiteH(-2*a, z^(1/2))*2^(2*a), And(b = 1/2)], [KummerU(a, b, z) = (1/2)*HermiteH(-2*a+1, z^(1/2))*2^(2*a)/z^(1/2), And(b = 3/2)]](/support/helpjp/helpview.aspx?si=7556/file01733/math124.png)
| (5) |
and also the converse.
|
>
|
|
|
![ex1 := [HermiteH(a, z) = 2^a*KummerU(-(1/2)*a, 1/2, z^2), And(0 < Re(z)) or And(Re(z) = 0, 0 < Im(z))]](/support/helpjp/helpview.aspx?si=7556/file01733/math133.png)
| (6) |
The variables used by the FunctionAdvisor command to create the function calling sequences are local variables. Therefore, the previous example does not depend on z.
|
>
|
![depends([ex1], a), depends([ex1], b), depends([ex1], z)](/support/helpjp/helpview.aspx?si=7556/file01733/math146.png)
|
|
| (7) |
To make the FunctionAdvisor command return results using global variables, pass the function call itself.
|
>
|
|
|
![ex2 := [HermiteH(a, z) = 2^a*KummerU(-(1/2)*a, 1/2, z^2), And(0 < Re(z)) or And(Re(z) = 0, 0 < Im(z))]](/support/helpjp/helpview.aspx?si=7556/file01733/math160.png)
| (8) |
|
>
|
![depends([ex2], a), depends([ex2], b), depends([ex2], z)](/support/helpjp/helpview.aspx?si=7556/file01733/math164.png)
|
|
| (9) |
You can view the default hierarchy used when calling the FunctionAdvisor command with the keyword relate as first argument using the following
|
>
|
![`convert/to_special_function/hierarchy`["function"]](/support/helpjp/helpview.aspx?si=7556/file01733/math177.png)
|
|
| (10) |
where functions to the left are selected before functions to the right when constructing the left-hand side of the output.
