7. Special Functions

This chapter describes the GSL special function library. The library includes routines for calculating the values of Airy functions, Bessel functions, Clausen functions, Coulomb wave functions, Coupling coefficients, the Dawson function, Debye functions, Dilogarithms, Elliptic integrals, Jacobi elliptic functions, Error functions, Exponential integrals, Fermi-Dirac functions, Gamma functions, Gegenbauer functions, Hypergeometric functions, Laguerre functions, Legendre functions and Spherical Harmonics, the Psi (Digamma) Function, Synchrotron functions, Transport functions, Trigonometric functions and Zeta functions. Each routine also computes an estimate of the numerical error in the calculated value of the function.

The functions in this chapter are declared in individual header files, such as ‘gsl_sf_airy.h’, ‘gsl_sf_bessel.h’, etc. The complete set of header files can be included using the file ‘gsl_sf.h’.

7.1 Usage

The special functions are available in two calling conventions, a natural form which returns the numerical value of the function and an error-handling form which returns an error code. The two types of function provide alternative ways of accessing the same underlying code.

The natural form returns only the value of the function and can be used directly in mathematical expressions. For example, the following function call will compute the value of the Bessel function ,

double y = gsl_sf_bessel_J0 (x);

There is no way to access an error code or to estimate the error using this method. To allow access to this information the alternative error-handling form stores the value and error in a modifiable argument,

gsl_sf_result result;
int status = gsl_sf_bessel_J0_e (x, &result);

The error-handling functions have the suffix _e. The returned status value indicates error conditions such as overflow, underflow or loss of precision. If there are no errors the error-handling functions return GSL_SUCCESS.

7.2 The gsl_sf_result struct

The error handling form of the special functions always calculate an error estimate along with the value of the result. Therefore, structures are provided for amalgamating a value and error estimate. These structures are declared in the header file ‘gsl_sf_result.h’.

The gsl_sf_result struct contains value and error fields.

typedef struct
{
  double val;
  double err;
} gsl_sf_result;

The field val contains the value and the field err contains an estimate of the absolute error in the value.

In some cases, an overflow or underflow can be detected and handled by a function. In this case, it may be possible to return a scaling exponent as well as an error/value pair in order to save the result from exceeding the dynamic range of the built-in types. The gsl_sf_result_e10 struct contains value and error fields as well as an exponent field such that the actual result is obtained as result * 10^(e10).

typedef struct
{
  double val;
  double err;
  int    e10;
} gsl_sf_result_e10;

7.3 Modes

The goal of the library is to achieve double precision accuracy wherever possible. However the cost of evaluating some special functions to double precision can be significant, particularly where very high order terms are required. In these cases a mode argument allows the accuracy of the function to be reduced in order to improve performance. The following precision levels are available for the mode argument,

GSL_PREC_DOUBLE

Double-precision, a relative accuracy of approximately .

GSL_PREC_SINGLE

Single-precision, a relative accuracy of approximately .

GSL_PREC_APPROX

Approximate values, a relative accuracy of approximately .

The approximate mode provides the fastest evaluation at the lowest accuracy.

7.4 Airy Functions and Derivatives

The Airy functions and are defined by the integral representations, For further information see Abramowitz & Stegun, Section 10.4. The Airy functions are defined in the header file ‘gsl_sf_airy.h’.

7.4.1 Airy Functions

Function: double gsl_sf_airy_Ai (double x, gsl_mode_t mode)

Function: int gsl_sf_airy_Ai_e (double x, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the Airy function with an accuracy specified by mode.

Function: double gsl_sf_airy_Bi (double x, gsl_mode_t mode)

Function: int gsl_sf_airy_Bi_e (double x, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the Airy function with an accuracy specified by mode.

Function: double gsl_sf_airy_Ai_scaled (double x, gsl_mode_t mode)

Function: int gsl_sf_airy_Ai_scaled_e (double x, gsl_mode_t mode, gsl_sf_result * result)

These routines compute a scaled version of the Airy function . For the scaling factor is , and is 1 for .

Function: double gsl_sf_airy_Bi_scaled (double x, gsl_mode_t mode)

Function: int gsl_sf_airy_Bi_scaled_e (double x, gsl_mode_t mode, gsl_sf_result * result)

These routines compute a scaled version of the Airy function . For the scaling factor is , and is 1 for .

7.4.2 Derivatives of Airy Functions

Function: double gsl_sf_airy_Ai_deriv (double x, gsl_mode_t mode)

Function: int gsl_sf_airy_Ai_deriv_e (double x, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the Airy function derivative with an accuracy specified by mode.

Function: double gsl_sf_airy_Bi_deriv (double x, gsl_mode_t mode)

Function: int gsl_sf_airy_Bi_deriv_e (double x, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the Airy function derivative with an accuracy specified by mode.

Function: double gsl_sf_airy_Ai_deriv_scaled (double x, gsl_mode_t mode)

Function: int gsl_sf_airy_Ai_deriv_scaled_e (double x, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the scaled Airy function derivative . For the scaling factor is , and is 1 for .

Function: double gsl_sf_airy_Bi_deriv_scaled (double x, gsl_mode_t mode)

Function: int gsl_sf_airy_Bi_deriv_scaled_e (double x, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the scaled Airy function derivative . For the scaling factor is , and is 1 for .

7.4.3 Zeros of Airy Functions

Function: double gsl_sf_airy_zero_Ai (unsigned int s)

Function: int gsl_sf_airy_zero_Ai_e (unsigned int s, gsl_sf_result * result)

These routines compute the location of the s-th zero of the Airy function .

Function: double gsl_sf_airy_zero_Bi (unsigned int s)

Function: int gsl_sf_airy_zero_Bi_e (unsigned int s, gsl_sf_result * result)

These routines compute the location of the s-th zero of the Airy function .

7.4.4 Zeros of Derivatives of Airy Functions

Function: double gsl_sf_airy_zero_Ai_deriv (unsigned int s)

Function: int gsl_sf_airy_zero_Ai_deriv_e (unsigned int s, gsl_sf_result * result)

These routines compute the location of the s-th zero of the Airy function derivative .

Function: double gsl_sf_airy_zero_Bi_deriv (unsigned int s)

Function: int gsl_sf_airy_zero_Bi_deriv_e (unsigned int s, gsl_sf_result * result)

These routines compute the location of the s-th zero of the Airy function derivative .

7.5 Bessel Functions

The routines described in this section compute the Cylindrical Bessel functions , , Modified cylindrical Bessel functions , , Spherical Bessel functions , , and Modified Spherical Bessel functions , . For more information see Abramowitz & Stegun, Chapters 9 and 10. The Bessel functions are defined in the header file ‘gsl_sf_bessel.h’.

7.5.1 Regular Cylindrical Bessel Functions

Function: double gsl_sf_bessel_J0 (double x)

Function: int gsl_sf_bessel_J0_e (double x, gsl_sf_result * result)

These routines compute the regular cylindrical Bessel function of zeroth order, .

Function: double gsl_sf_bessel_J1 (double x)

Function: int gsl_sf_bessel_J1_e (double x, gsl_sf_result * result)

These routines compute the regular cylindrical Bessel function of first order, .

Function: double gsl_sf_bessel_Jn (int n, double x)

Function: int gsl_sf_bessel_Jn_e (int n, double x, gsl_sf_result * result)

These routines compute the regular cylindrical Bessel function of order n, .

Function: int gsl_sf_bessel_Jn_array (int nmin, int nmax, double x, double result_array[])

This routine computes the values of the regular cylindrical Bessel functions for from nmin to nmax inclusive, storing the results in the array result_array. The values are computed using recurrence relations for efficiency, and therefore may differ slightly from the exact values.

7.5.2 Irregular Cylindrical Bessel Functions

Function: double gsl_sf_bessel_Y0 (double x)

Function: int gsl_sf_bessel_Y0_e (double x, gsl_sf_result * result)

These routines compute the irregular cylindrical Bessel function of zeroth order, , for .

Function: double gsl_sf_bessel_Y1 (double x)

Function: int gsl_sf_bessel_Y1_e (double x, gsl_sf_result * result)

These routines compute the irregular cylindrical Bessel function of first order, , for .

Function: double gsl_sf_bessel_Yn (int n,double x)

Function: int gsl_sf_bessel_Yn_e (int n,double x, gsl_sf_result * result)

These routines compute the irregular cylindrical Bessel function of order n, , for .

Function: int gsl_sf_bessel_Yn_array (int nmin, int nmax, double x, double result_array[])

This routine computes the values of the irregular cylindrical Bessel functions for from nmin to nmax inclusive, storing the results in the array result_array. The domain of the function is . The values are computed using recurrence relations for efficiency, and therefore may differ slightly from the exact values.

7.5.3 Regular Modified Cylindrical Bessel Functions

Function: double gsl_sf_bessel_I0 (double x)

Function: int gsl_sf_bessel_I0_e (double x, gsl_sf_result * result)

These routines compute the regular modified cylindrical Bessel function of zeroth order, .

Function: double gsl_sf_bessel_I1 (double x)

Function: int gsl_sf_bessel_I1_e (double x, gsl_sf_result * result)

These routines compute the regular modified cylindrical Bessel function of first order, .

Function: double gsl_sf_bessel_In (int n, double x)

Function: int gsl_sf_bessel_In_e (int n, double x, gsl_sf_result * result)

These routines compute the regular modified cylindrical Bessel function of order n, .

Function: int gsl_sf_bessel_In_array (int nmin, int nmax, double x, double result_array[])

This routine computes the values of the regular modified cylindrical Bessel functions for from nmin to nmax inclusive, storing the results in the array result_array. The start of the range nmin must be positive or zero. The values are computed using recurrence relations for efficiency, and therefore may differ slightly from the exact values.

Function: double gsl_sf_bessel_I0_scaled (double x)

Function: int gsl_sf_bessel_I0_scaled_e (double x, gsl_sf_result * result)

These routines compute the scaled regular modified cylindrical Bessel function of zeroth order .

Function: double gsl_sf_bessel_I1_scaled (double x)

Function: int gsl_sf_bessel_I1_scaled_e (double x, gsl_sf_result * result)

These routines compute the scaled regular modified cylindrical Bessel function of first order .

Function: double gsl_sf_bessel_In_scaled (int n, double x)

Function: int gsl_sf_bessel_In_scaled_e (int n, double x, gsl_sf_result * result)

These routines compute the scaled regular modified cylindrical Bessel function of order n,

Function: int gsl_sf_bessel_In_scaled_array (int nmin, int nmax, double x, double result_array[])

This routine computes the values of the scaled regular cylindrical Bessel functions for from nmin to nmax inclusive, storing the results in the array result_array. The start of the range nmin must be positive or zero. The values are computed using recurrence relations for efficiency, and therefore may differ slightly from the exact values.

7.5.4 Irregular Modified Cylindrical Bessel Functions

Function: double gsl_sf_bessel_K0 (double x)

Function: int gsl_sf_bessel_K0_e (double x, gsl_sf_result * result)

These routines compute the irregular modified cylindrical Bessel function of zeroth order, , for .

Function: double gsl_sf_bessel_K1 (double x)

Function: int gsl_sf_bessel_K1_e (double x, gsl_sf_result * result)

These routines compute the irregular modified cylindrical Bessel function of first order, , for .

Function: double gsl_sf_bessel_Kn (int n, double x)

Function: int gsl_sf_bessel_Kn_e (int n, double x, gsl_sf_result * result)

These routines compute the irregular modified cylindrical Bessel function of order n, , for .

Function: int gsl_sf_bessel_Kn_array (int nmin, int nmax, double x, double result_array[])

This routine computes the values of the irregular modified cylindrical Bessel functions for from nmin to nmax inclusive, storing the results in the array result_array. The start of the range nmin must be positive or zero. The domain of the function is . The values are computed using recurrence relations for efficiency, and therefore may differ slightly from the exact values.

Function: double gsl_sf_bessel_K0_scaled (double x)

Function: int gsl_sf_bessel_K0_scaled_e (double x, gsl_sf_result * result)

These routines compute the scaled irregular modified cylindrical Bessel function of zeroth order for .

Function: double gsl_sf_bessel_K1_scaled (double x)

Function: int gsl_sf_bessel_K1_scaled_e (double x, gsl_sf_result * result)

These routines compute the scaled irregular modified cylindrical Bessel function of first order for .

Function: double gsl_sf_bessel_Kn_scaled (int n, double x)

Function: int gsl_sf_bessel_Kn_scaled_e (int n, double x, gsl_sf_result * result)

These routines compute the scaled irregular modified cylindrical Bessel function of order n, , for .

Function: int gsl_sf_bessel_Kn_scaled_array (int nmin, int nmax, double x, double result_array[])

This routine computes the values of the scaled irregular cylindrical Bessel functions for from nmin to nmax inclusive, storing the results in the array result_array. The start of the range nmin must be positive or zero. The domain of the function is . The values are computed using recurrence relations for efficiency, and therefore may differ slightly from the exact values.

7.5.5 Regular Spherical Bessel Functions

Function: double gsl_sf_bessel_j0 (double x)

Function: int gsl_sf_bessel_j0_e (double x, gsl_sf_result * result)

These routines compute the regular spherical Bessel function of zeroth order, .

Function: double gsl_sf_bessel_j1 (double x)

Function: int gsl_sf_bessel_j1_e (double x, gsl_sf_result * result)

These routines compute the regular spherical Bessel function of first order, .

Function: double gsl_sf_bessel_j2 (double x)

Function: int gsl_sf_bessel_j2_e (double x, gsl_sf_result * result)

These routines compute the regular spherical Bessel function of second order, .

Function: double gsl_sf_bessel_jl (int l, double x)

Function: int gsl_sf_bessel_jl_e (int l, double x, gsl_sf_result * result)

These routines compute the regular spherical Bessel function of order l, , for and .

Function: int gsl_sf_bessel_jl_array (int lmax, double x, double result_array[])

This routine computes the values of the regular spherical Bessel functions for from 0 to lmax inclusive for and , storing the results in the array result_array. The values are computed using recurrence relations for efficiency, and therefore may differ slightly from the exact values.

Function: int gsl_sf_bessel_jl_steed_array (int lmax, double x, double * jl_x_array)

This routine uses Steed's method to compute the values of the regular spherical Bessel functions for from 0 to lmax inclusive for and , storing the results in the array result_array. The Steed/Barnett algorithm is described in Comp. Phys. Comm. 21, 297 (1981). Steed's method is more stable than the recurrence used in the other functions but is also slower.

7.5.6 Irregular Spherical Bessel Functions

Function: double gsl_sf_bessel_y0 (double x)

Function: int gsl_sf_bessel_y0_e (double x, gsl_sf_result * result)

These routines compute the irregular spherical Bessel function of zeroth order, .

Function: double gsl_sf_bessel_y1 (double x)

Function: int gsl_sf_bessel_y1_e (double x, gsl_sf_result * result)

These routines compute the irregular spherical Bessel function of first order, .

Function: double gsl_sf_bessel_y2 (double x)

Function: int gsl_sf_bessel_y2_e (double x, gsl_sf_result * result)

These routines compute the irregular spherical Bessel function of second order, .

Function: double gsl_sf_bessel_yl (int l, double x)

Function: int gsl_sf_bessel_yl_e (int l, double x, gsl_sf_result * result)

These routines compute the irregular spherical Bessel function of order l, , for .

Function: int gsl_sf_bessel_yl_array (int lmax, double x, double result_array[])

This routine computes the values of the irregular spherical Bessel functions for from 0 to lmax inclusive for , storing the results in the array result_array. The values are computed using recurrence relations for efficiency, and therefore may differ slightly from the exact values.

7.5.7 Regular Modified Spherical Bessel Functions

The regular modified spherical Bessel functions are related to the modified Bessel functions of fractional order,

Function: double gsl_sf_bessel_i0_scaled (double x)

Function: int gsl_sf_bessel_i0_scaled_e (double x, gsl_sf_result * result)

These routines compute the scaled regular modified spherical Bessel function of zeroth order, .

Function: double gsl_sf_bessel_i1_scaled (double x)

Function: int gsl_sf_bessel_i1_scaled_e (double x, gsl_sf_result * result)

These routines compute the scaled regular modified spherical Bessel function of first order, .

Function: double gsl_sf_bessel_i2_scaled (double x)

Function: int gsl_sf_bessel_i2_scaled_e (double x, gsl_sf_result * result)

These routines compute the scaled regular modified spherical Bessel function of second order,

Function: double gsl_sf_bessel_il_scaled (int l, double x)

Function: int gsl_sf_bessel_il_scaled_e (int l, double x, gsl_sf_result * result)

These routines compute the scaled regular modified spherical Bessel function of order l,

Function: int gsl_sf_bessel_il_scaled_array (int lmax, double x, double result_array[])

This routine computes the values of the scaled regular modified cylindrical Bessel functions for from 0 to lmax inclusive for , storing the results in the array result_array. The values are computed using recurrence relations for efficiency, and therefore may differ slightly from the exact values.

7.5.8 Irregular Modified Spherical Bessel Functions

The irregular modified spherical Bessel functions are related to the irregular modified Bessel functions of fractional order, .

Function: double gsl_sf_bessel_k0_scaled (double x)

Function: int gsl_sf_bessel_k0_scaled_e (double x, gsl_sf_result * result)

These routines compute the scaled irregular modified spherical Bessel function of zeroth order, , for .

Function: double gsl_sf_bessel_k1_scaled (double x)

Function: int gsl_sf_bessel_k1_scaled_e (double x, gsl_sf_result * result)

These routines compute the scaled irregular modified spherical Bessel function of first order, , for .

Function: double gsl_sf_bessel_k2_scaled (double x)

Function: int gsl_sf_bessel_k2_scaled_e (double x, gsl_sf_result * result)

These routines compute the scaled irregular modified spherical Bessel function of second order, , for .

Function: double gsl_sf_bessel_kl_scaled (int l, double x)

Function: int gsl_sf_bessel_kl_scaled_e (int l, double x, gsl_sf_result * result)

These routines compute the scaled irregular modified spherical Bessel function of order l, , for .

Function: int gsl_sf_bessel_kl_scaled_array (int lmax, double x, double result_array[])

This routine computes the values of the scaled irregular modified spherical Bessel functions for from 0 to lmax inclusive for and , storing the results in the array result_array. The values are computed using recurrence relations for efficiency, and therefore may differ slightly from the exact values.

7.5.9 Regular Bessel Function—Fractional Order

Function: double gsl_sf_bessel_Jnu (double nu, double x)

Function: int gsl_sf_bessel_Jnu_e (double nu, double x, gsl_sf_result * result)

These routines compute the regular cylindrical Bessel function of fractional order , .

Function: int gsl_sf_bessel_sequence_Jnu_e (double nu, gsl_mode_t mode, size_t size, double v[])

This function computes the regular cylindrical Bessel function of fractional order , , evaluated at a series of values. The array v of length size contains the values. They are assumed to be strictly ordered and positive. The array is over-written with the values of .

7.5.10 Irregular Bessel Functions—Fractional Order

Function: double gsl_sf_bessel_Ynu (double nu, double x)

Function: int gsl_sf_bessel_Ynu_e (double nu, double x, gsl_sf_result * result)

These routines compute the irregular cylindrical Bessel function of fractional order , .

7.5.11 Regular Modified Bessel Functions—Fractional Order

Function: double gsl_sf_bessel_Inu (double nu, double x)

Function: int gsl_sf_bessel_Inu_e (double nu, double x, gsl_sf_result * result)

These routines compute the regular modified Bessel function of fractional order , for , .

Function: double gsl_sf_bessel_Inu_scaled (double nu, double x)

Function: int gsl_sf_bessel_Inu_scaled_e (double nu, double x, gsl_sf_result * result)

These routines compute the scaled regular modified Bessel function of fractional order , for , .

7.5.12 Irregular Modified Bessel Functions—Fractional Order

Function: double gsl_sf_bessel_Knu (double nu, double x)

Function: int gsl_sf_bessel_Knu_e (double nu, double x, gsl_sf_result * result)

These routines compute the irregular modified Bessel function of fractional order , for , .

Function: double gsl_sf_bessel_lnKnu (double nu, double x)

Function: int gsl_sf_bessel_lnKnu_e (double nu, double x, gsl_sf_result * result)

These routines compute the logarithm of the irregular modified Bessel function of fractional order , for , .

Function: double gsl_sf_bessel_Knu_scaled (double nu, double x)

Function: int gsl_sf_bessel_Knu_scaled_e (double nu, double x, gsl_sf_result * result)

These routines compute the scaled irregular modified Bessel function of fractional order , for , .

7.5.13 Zeros of Regular Bessel Functions

Function: double gsl_sf_bessel_zero_J0 (unsigned int s)

Function: int gsl_sf_bessel_zero_J0_e (unsigned int s, gsl_sf_result * result)

These routines compute the location of the s-th positive zero of the Bessel function .

Function: double gsl_sf_bessel_zero_J1 (unsigned int s)

Function: int gsl_sf_bessel_zero_J1_e (unsigned int s, gsl_sf_result * result)

These routines compute the location of the s-th positive zero of the Bessel function .

Function: double gsl_sf_bessel_zero_Jnu (double nu, unsigned int s)

Function: int gsl_sf_bessel_zero_Jnu_e (double nu, unsigned int s, gsl_sf_result * result)

These routines compute the location of the s-th positive zero of the Bessel function . The current implementation does not support negative values of nu.

7.6 Clausen Functions

The Clausen function is defined by the following integral, It is related to the dilogarithm by . The Clausen functions are declared in the header file ‘gsl_sf_clausen.h’.

Function: double gsl_sf_clausen (double x)

Function: int gsl_sf_clausen_e (double x, gsl_sf_result * result)

These routines compute the Clausen integral .

7.7 Coulomb Functions

The prototypes of the Coulomb functions are declared in the header file ‘gsl_sf_coulomb.h’. Both bound state and scattering solutions are available.

7.7.1 Normalized Hydrogenic Bound States

Function: double gsl_sf_hydrogenicR_1 (double Z, double r)

Function: int gsl_sf_hydrogenicR_1_e (double Z, double r, gsl_sf_result * result)

These routines compute the lowest-order normalized hydrogenic bound state radial wavefunction .

Function: double gsl_sf_hydrogenicR (int n, int l, double Z, double r)

Function: int gsl_sf_hydrogenicR_e (int n, int l, double Z, double r, gsl_sf_result * result)

These routines compute the n-th normalized hydrogenic bound state radial wavefunction, where is the generalized Laguerre polynomial (see section Laguerre Functions). The normalization is chosen such that the wavefunction is given by .

7.7.2 Coulomb Wave Functions

The Coulomb wave functions , are described in Abramowitz & Stegun, Chapter 14. Because there can be a large dynamic range of values for these functions, overflows are handled gracefully. If an overflow occurs, GSL_EOVRFLW is signalled and exponent(s) are returned through the modifiable parameters exp_F, exp_G. The full solution can be reconstructed from the following relations,

Function: int gsl_sf_coulomb_wave_FG_e (double eta, double x, double L_F, int k, gsl_sf_result * F, gsl_sf_result * Fp, gsl_sf_result * G, gsl_sf_result * Gp, double * exp_F, double * exp_G)

This function computes the Coulomb wave functions , and their derivatives , with respect to . The parameters are restricted to , and integer . Note that itself is not restricted to being an integer. The results are stored in the parameters F, G for the function values and Fp, Gp for the derivative values. If an overflow occurs, GSL_EOVRFLW is returned and scaling exponents are stored in the modifiable parameters exp_F, exp_G.

Function: int gsl_sf_coulomb_wave_F_array (double L_min, int kmax, double eta, double x, double fc_array[], double * F_exponent)

This function computes the Coulomb wave function for , storing the results in fc_array. In the case of overflow the exponent is stored in F_exponent.

Function: int gsl_sf_coulomb_wave_FG_array (double L_min, int kmax, double eta, double x, double fc_array[], double gc_array[], double * F_exponent, double * G_exponent)

This function computes the functions , for storing the results in fc_array and gc_array. In the case of overflow the exponents are stored in F_exponent and G_exponent.

Function: int gsl_sf_coulomb_wave_FGp_array (double L_min, int kmax, double eta, double x, double fc_array[], double fcp_array[], double gc_array[], double gcp_array[], double * F_exponent, double * G_exponent)

This function computes the functions , and their derivatives , for storing the results in fc_array, gc_array, fcp_array and gcp_array. In the case of overflow the exponents are stored in F_exponent and G_exponent.

Function: int gsl_sf_coulomb_wave_sphF_array (double L_min, int kmax, double eta, double x, double fc_array[], double F_exponent[])

This function computes the Coulomb wave function divided by the argument for , storing the results in fc_array. In the case of overflow the exponent is stored in F_exponent. This function reduces to spherical Bessel functions in the limit .

7.7.3 Coulomb Wave Function Normalization Constant

The Coulomb wave function normalization constant is defined in Abramowitz 14.1.7.

Function: int gsl_sf_coulomb_CL_e (double L, double eta, gsl_sf_result * result)

This function computes the Coulomb wave function normalization constant for .

Function: int gsl_sf_coulomb_CL_array (double Lmin, int kmax, double eta, double cl[])

This function computes the Coulomb wave function normalization constant for , .

7.8 Coupling Coefficients

The Wigner 3-j, 6-j and 9-j symbols give the coupling coefficients for combined angular momentum vectors. Since the arguments of the standard coupling coefficient functions are integer or half-integer, the arguments of the following functions are, by convention, integers equal to twice the actual spin value. For information on the 3-j coefficients see Abramowitz & Stegun, Section 27.9. The functions described in this section are declared in the header file ‘gsl_sf_coupling.h’.

7.8.1 3-j Symbols

Function: double gsl_sf_coupling_3j (int two_ja, int two_jb, int two_jc, int two_ma, int two_mb, int two_mc)

Function: int gsl_sf_coupling_3j_e (int two_ja, int two_jb, int two_jc, int two_ma, int two_mb, int two_mc, gsl_sf_result * result)

These routines compute the Wigner 3-j coefficient, where the arguments are given in half-integer units, = two_ja/2, = two_ma/2, etc.

7.8.2 6-j Symbols

Function: double gsl_sf_coupling_6j (int two_ja, int two_jb, int two_jc, int two_jd, int two_je, int two_jf)

Function: int gsl_sf_coupling_6j_e (int two_ja, int two_jb, int two_jc, int two_jd, int two_je, int two_jf, gsl_sf_result * result)

These routines compute the Wigner 6-j coefficient, where the arguments are given in half-integer units, = two_ja/2, = two_ma/2, etc.

7.8.3 9-j Symbols

Function: double gsl_sf_coupling_9j (int two_ja, int two_jb, int two_jc, int two_jd, int two_je, int two_jf, int two_jg, int two_jh, int two_ji)

Function: int gsl_sf_coupling_9j_e (int two_ja, int two_jb, int two_jc, int two_jd, int two_je, int two_jf, int two_jg, int two_jh, int two_ji, gsl_sf_result * result)

These routines compute the Wigner 9-j coefficient, where the arguments are given in half-integer units, = two_ja/2, = two_ma/2, etc.

7.9 Dawson Function

The Dawson integral is defined by . A table of Dawson's integral can be found in Abramowitz & Stegun, Table 7.5. The Dawson functions are declared in the header file ‘gsl_sf_dawson.h’.

Function: double gsl_sf_dawson (double x)

Function: int gsl_sf_dawson_e (double x, gsl_sf_result * result)

These routines compute the value of Dawson's integral for x.

7.10 Debye Functions

The Debye functions are defined by the following integral, For further information see Abramowitz & Stegun, Section 27.1. The Debye functions are declared in the header file ‘gsl_sf_debye.h’.

Function: double gsl_sf_debye_1 (double x)

Function: int gsl_sf_debye_1_e (double x, gsl_sf_result * result)

These routines compute the first-order Debye function .

Function: double gsl_sf_debye_2 (double x)

Function: int gsl_sf_debye_2_e (double x, gsl_sf_result * result)

These routines compute the second-order Debye function .

Function: double gsl_sf_debye_3 (double x)

Function: int gsl_sf_debye_3_e (double x, gsl_sf_result * result)

These routines compute the third-order Debye function .

Function: double gsl_sf_debye_4 (double x)

Function: int gsl_sf_debye_4_e (double x, gsl_sf_result * result)

These routines compute the fourth-order Debye function .

Function: double gsl_sf_debye_5 (double x)

Function: int gsl_sf_debye_5_e (double x, gsl_sf_result * result)

These routines compute the fifth-order Debye function .

Function: double gsl_sf_debye_6 (double x)

Function: int gsl_sf_debye_6_e (double x, gsl_sf_result * result)

These routines compute the sixth-order Debye function .

7.11 Dilogarithm

The functions described in this section are declared in the header file ‘gsl_sf_dilog.h’.

7.11.1 Real Argument

Function: double gsl_sf_dilog (double x)

Function: int gsl_sf_dilog_e (double x, gsl_sf_result * result)

These routines compute the dilogarithm for a real argument. In Lewin's notation this is , the real part of the dilogarithm of a real . It is defined by the integral representation . Note that for , and for .

7.11.2 Complex Argument

Function: int gsl_sf_complex_dilog_e (double r, double theta, gsl_sf_result * result_re, gsl_sf_result * result_im)

This function computes the full complex-valued dilogarithm for the complex argument . The real and imaginary parts of the result are returned in result_re, result_im.

7.12 Elementary Operations

The following functions allow for the propagation of errors when combining quantities by multiplication. The functions are declared in the header file ‘gsl_sf_elementary.h’.

Function: int gsl_sf_multiply_e (double x, double y, gsl_sf_result * result)

This function multiplies x and y storing the product and its associated error in result.

Function: int gsl_sf_multiply_err_e (double x, double dx, double y, double dy, gsl_sf_result * result)

This function multiplies x and y with associated absolute errors dx and dy. The product is stored in result.

7.13 Elliptic Integrals

The functions described in this section are declared in the header file ‘gsl_sf_ellint.h’. Further information about the elliptic integrals can be found in Abramowitz & Stegun, Chapter 17.

7.13.1 Definition of Legendre Forms

The Legendre forms of elliptic integrals , and are defined by, The complete Legendre forms are denoted by and .

The notation used here is based on Carlson, Numerische Mathematik 33 (1979) 1 and differs slightly from that used by Abramowitz & Stegun, where the functions are given in terms of the parameter and is replaced by .

7.13.2 Definition of Carlson Forms

The Carlson symmetric forms of elliptical integrals , , and are defined by,

7.13.3 Legendre Form of Complete Elliptic Integrals

Function: double gsl_sf_ellint_Kcomp (double k, gsl_mode_t mode)

Function: int gsl_sf_ellint_Kcomp_e (double k, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the complete elliptic integral to the accuracy specified by the mode variable mode. Note that Abramowitz & Stegun define this function in terms of the parameter .

Function: double gsl_sf_ellint_Ecomp (double k, gsl_mode_t mode)

Function: int gsl_sf_ellint_Ecomp_e (double k, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the complete elliptic integral to the accuracy specified by the mode variable mode. Note that Abramowitz & Stegun define this function in terms of the parameter .

Function: double gsl_sf_ellint_Pcomp (double k, double n, gsl_mode_t mode)

Function: int gsl_sf_ellint_Pcomp_e (double k, double n, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the complete elliptic integral to the accuracy specified by the mode variable mode. Note that Abramowitz & Stegun define this function in terms of the parameters and , with the change of sign .

7.13.4 Legendre Form of Incomplete Elliptic Integrals

Function: double gsl_sf_ellint_F (double phi, double k, gsl_mode_t mode)

Function: int gsl_sf_ellint_F_e (double phi, double k, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the incomplete elliptic integral to the accuracy specified by the mode variable mode. Note that Abramowitz & Stegun define this function in terms of the parameter .

Function: double gsl_sf_ellint_E (double phi, double k, gsl_mode_t mode)

Function: int gsl_sf_ellint_E_e (double phi, double k, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the incomplete elliptic integral to the accuracy specified by the mode variable mode. Note that Abramowitz & Stegun define this function in terms of the parameter .

Function: double gsl_sf_ellint_P (double phi, double k, double n, gsl_mode_t mode)

Function: int gsl_sf_ellint_P_e (double phi, double k, double n, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the incomplete elliptic integral to the accuracy specified by the mode variable mode. Note that Abramowitz & Stegun define this function in terms of the parameters and , with the change of sign .

Function: double gsl_sf_ellint_D (double phi, double k, double n, gsl_mode_t mode)

Function: int gsl_sf_ellint_D_e (double phi, double k, double n, gsl_mode_t mode, gsl_sf_result * result)

These functions compute the incomplete elliptic integral which is defined through the Carlson form by the following relation, The argument n is not used and will be removed in a future release.

7.13.5 Carlson Forms

Function: double gsl_sf_ellint_RC (double x, double y, gsl_mode_t mode)

Function: int gsl_sf_ellint_RC_e (double x, double y, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the incomplete elliptic integral to the accuracy specified by the mode variable mode.

Function: double gsl_sf_ellint_RD (double x, double y, double z, gsl_mode_t mode)

Function: int gsl_sf_ellint_RD_e (double x, double y, double z, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the incomplete elliptic integral to the accuracy specified by the mode variable mode.

Function: double gsl_sf_ellint_RF (double x, double y, double z, gsl_mode_t mode)

Function: int gsl_sf_ellint_RF_e (double x, double y, double z, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the incomplete elliptic integral to the accuracy specified by the mode variable mode.

Function: double gsl_sf_ellint_RJ (double x, double y, double z, double p, gsl_mode_t mode)

Function: int gsl_sf_ellint_RJ_e (double x, double y, double z, double p, gsl_mode_t mode, gsl_sf_result * result)

These routines compute the incomplete elliptic integral to the accuracy specified by the mode variable mode.

7.14 Elliptic Functions (Jacobi)

The Jacobian Elliptic functions are defined in Abramowitz & Stegun, Chapter 16. The functions are declared in the header file ‘gsl_sf_elljac.h’.

Function: int gsl_sf_elljac_e (double u, double m, double * sn, double * cn, double * dn)

This function computes the Jacobian elliptic functions , , by descending Landen transformations.

7.15 Error Functions

The error function is described in Abramowitz & Stegun, Chapter 7. The functions in this section are declared in the header file ‘gsl_sf_erf.h’.

7.15.1 Error Function

Function: double gsl_sf_erf (double x)

Function: int gsl_sf_erf_e (double x, gsl_sf_result * result)

These routines compute the error function , where .

7.15.2 Complementary Error Function

Function: double gsl_sf_erfc (double x)

Function: int gsl_sf_erfc_e (double x, gsl_sf_result * result)

These routines compute the complementary error function .

7.15.3 Log Complementary Error Function

Function: double gsl_sf_log_erfc (double x)

Function: int gsl_sf_log_erfc_e (double x, gsl_sf_result * result)

These routines compute the logarithm of the complementary error function .

7.15.4 Probability functions

The probability functions for the Normal or Gaussian distribution are described in Abramowitz & Stegun, Section 26.2.

Function: double gsl_sf_erf_Z (double x)

Function: int gsl_sf_erf_Z_e (double x, gsl_sf_result * result)

These routines compute the Gaussian probability density function .

Function: double gsl_sf_erf_Q (double x)

Function: int gsl_sf_erf_Q_e (double x, gsl_sf_result * result)

These routines compute the upper tail of the Gaussian probability function .

The hazard function for the normal distribution, also known as the inverse Mill's ratio, is defined as, It decreases rapidly as approaches and asymptotes to as approaches .

Function: double gsl_sf_hazard (double x)

Function: int gsl_sf_hazard_e (double x, gsl_sf_result * result)

These routines compute the hazard function for the normal distribution.

7.16 Exponential Functions

The functions described in this section are declared in the header file ‘gsl_sf_exp.h’.

7.16.1 Exponential Function

Function: double gsl_sf_exp (double x)

Function: int gsl_sf_exp_e (double x, gsl_sf_result * result)

These routines provide an exponential function using GSL semantics and error checking.

Function: int gsl_sf_exp_e10_e (double x, gsl_sf_result_e10 * result)

This function computes the exponential using the gsl_sf_result_e10 type to return a result with extended range. This function may be useful if the value of would overflow the numeric range of double.

Function: double gsl_sf_exp_mult (double x, double y)

Function: int gsl_sf_exp_mult_e (double x, double y, gsl_sf_result * result)

These routines exponentiate x and multiply by the factor y to return the product .

Function: int gsl_sf_exp_mult_e10_e (const double x, const double y, gsl_sf_result_e10 * result)

This function computes the product using the gsl_sf_result_e10 type to return a result with extended numeric range.

7.16.2 Relative Exponential Functions

Function: double gsl_sf_expm1 (double x)

Function: int gsl_sf_expm1_e (double x, gsl_sf_result * result)

These routines compute the quantity using an algorithm that is accurate for small .

Function: double gsl_sf_exprel (double x)

Function: int gsl_sf_exprel_e (double x, gsl_sf_result * result)

These routines compute the quantity using an algorithm that is accurate for small . For small the algorithm is based on the expansion .

Function: double gsl_sf_exprel_2 (double x)

Function: int gsl_sf_exprel_2_e (double x, gsl_sf_result * result)

These routines compute the quantity using an algorithm that is accurate for small . For small the algorithm is based on the expansion .

Function: double gsl_sf_exprel_n (int n, double x)

Function: int gsl_sf_exprel_n_e (int n, double x, gsl_sf_result * result)

These routines compute the -relative exponential, which is the n-th generalization of the functions gsl_sf_exprel and gsl_sf_exprel2. The -relative exponential is given by,

7.16.3 Exponentiation With Error Estimate

Function: int gsl_sf_exp_err_e (double x, double dx, gsl_sf_result * result)

This function exponentiates x with an associated absolute error dx.

Function: int gsl_sf_exp_err_e10_e (double x, double dx, gsl_sf_result_e10 * result)

This function exponentiates a quantity x with an associated absolute error dx using the gsl_sf_result_e10 type to return a result with extended range.

Function: int gsl_sf_exp_mult_err_e (double x, double dx, double y, double dy, gsl_sf_result * result)

This routine computes the product for the quantities x, y with associated absolute errors dx, dy.

Function: int gsl_sf_exp_mult_err_e10_e (double x, double dx, double y, double dy, gsl_sf_result_e10 * result)

This routine computes the product for the quantities x, y with associated absolute errors dx, dy using the gsl_sf_result_e10 type to return a result with extended range.

7.17 Exponential Integrals

Information on the exponential integrals can be found in Abramowitz & Stegun, Chapter 5. These functions are declared in the header file ‘gsl_sf_expint.h’.

7.17.1 Exponential Integral

Function: double gsl_sf_expint_E1 (double x)

Function: int gsl_sf_expint_E1_e (double x, gsl_sf_result * result)

These routines compute the exponential integral ,

Function: double gsl_sf_expint_E2 (double x)

Function: int gsl_sf_expint_E2_e (double x, gsl_sf_result * result)

These routines compute the second-order exponential integral ,

7.17.2 Ei(x)

Function: double gsl_sf_expint_Ei (double x)

Function: int gsl_sf_expint_Ei_e (double x, gsl_sf_result * result)

These routines compute the exponential integral , where denotes the principal value of the integral.

7.17.3 Hyperbolic Integrals

Function: double gsl_sf_Shi (double x)

Function: int gsl_sf_Shi_e (double x, gsl_sf_result * result)

These routines compute the integral .

Function: double gsl_sf_Chi (double x)

Function: int gsl_sf_Chi_e (double x, gsl_sf_result * result)

These routines compute the integral , where is the Euler constant (available as the macro M_EULER).

7.17.4 Ei_3(x)

Function: double gsl_sf_expint_3 (double x)

Function: int gsl_sf_expint_3_e (double x, gsl_sf_result * result)

These routines compute the third-order exponential integral for .

7.17.5 Trigonometric Integrals

Function: double gsl_sf_Si (const double x)

Function: int gsl_sf_Si_e (double x, gsl_sf_result * result)

These routines compute the Sine integral .

Function: double gsl_sf_Ci (const double x)

Function: int gsl_sf_Ci_e (double x, gsl_sf_result * result)

These routines compute the Cosine integral for .

7.17.6 Arctangent Integral

Function: double gsl_sf_atanint (double x)

Function: int gsl_sf_atanint_e (double x, gsl_sf_result * result)

These routines compute the Arctangent integral, which is defined as .

7.18 Fermi-Dirac Function

The functions described in this section are declared in the header file ‘gsl_sf_fermi_dirac.h’.

7.18.1 Complete Fermi-Dirac Integrals

The complete Fermi-Dirac integral is given by,

Function: double gsl_sf_fermi_dirac_m1 (double x)

Function: int gsl_sf_fermi_dirac_m1_e (double x, gsl_sf_result * result)

These routines compute the complete Fermi-Dirac integral with an index of . This integral is given by .

Function: double gsl_sf_fermi_dirac_0 (double x)

Function: int gsl_sf_fermi_dirac_0_e (double x, gsl_sf_result * result)

These routines compute the complete Fermi-Dirac integral with an index of . This integral is given by .

Function: double gsl_sf_fermi_dirac_1 (double x)

Function: int gsl_sf_fermi_dirac_1_e (double x, gsl_sf_result * result)

These routines compute the complete Fermi-Dirac integral with an index of , .

Function: double gsl_sf_fermi_dirac_2 (double x)

Function: int gsl_sf_fermi_dirac_2_e (double x, gsl_sf_result * result)

These routines compute the complete Fermi-Dirac integral with an index of , .

Function: double gsl_sf_fermi_dirac_int (int j, double x)

Function: int gsl_sf_fermi_dirac_int_e (int j, double x, gsl_sf_result * result)

These routines compute the complete Fermi-Dirac integral with an integer index of , .

Function: double gsl_sf_fermi_dirac_mhalf (double x)

Function: int gsl_sf_fermi_dirac_mhalf_e (double x, gsl_sf_result * result)

These routines compute the complete Fermi-Dirac integral .

Function: double gsl_sf_fermi_dirac_half (double x)

Function: int gsl_sf_fermi_dirac_half_e (double x, gsl_sf_result * result)

These routines compute the complete Fermi-Dirac integral .

Function: double gsl_sf_fermi_dirac_3half (double x)

Function: int gsl_sf_fermi_dirac_3half_e (double x, gsl_sf_result * result)

These routines compute the complete Fermi-Dirac integral .

7.18.2 Incomplete Fermi-Dirac Integrals

The incomplete Fermi-Dirac integral is given by,

Function: double gsl_sf_fermi_dirac_inc_0 (double x, double b)

Function: int gsl_sf_fermi_dirac_inc_0_e (double x, double b, gsl_sf_result * result)

These routines compute the incomplete Fermi-Dirac integral with an index of zero, .

7.19 Gamma and Beta Functions

The functions described in this section are declared in the header file ‘gsl_sf_gamma.h’.

7.19.1 Gamma Functions

The Gamma function is defined by the following integral, It is related to the factorial function by for positive integer . Further information on the Gamma function can be found in Abramowitz & Stegun, Chapter 6. The functions described in this section are declared in the header file ‘gsl_sf_gamma.h’.

Function: double gsl_sf_gamma (double x)

Function: int gsl_sf_gamma_e (double x, gsl_sf_result * result)

These routines compute the Gamma function , subject to not being a negative integer or zero. The function is computed using the real Lanczos method. The maximum value of such that is not considered an overflow is given by the macro GSL_SF_GAMMA_XMAX and is 171.0.

Function: double gsl_sf_lngamma (double x)

Function: int gsl_sf_lngamma_e (double x, gsl_sf_result * result)

These routines compute the logarithm of the Gamma function, , subject to not being a negative integer or zero. For the real part of is returned, which is equivalent to . The function is computed using the real Lanczos method.

Function: int gsl_sf_lngamma_sgn_e (double x, gsl_sf_result * result_lg, double * sgn)

This routine computes the sign of the gamma function and the logarithm of its magnitude, subject to not being a negative integer or zero. The function is computed using the real Lanczos method. The value of the gamma function can be reconstructed using the relation .

Function: double gsl_sf_gammastar (double x)

Function: int gsl_sf_gammastar_e (double x, gsl_sf_result * result)

These routines compute the regulated Gamma Function for . The regulated gamma function is given by, and is a useful suggestion of Temme.

Function: double gsl_sf_gammainv (double x)

Function: int gsl_sf_gammainv_e (double x, gsl_sf_result * result)

These routines compute the reciprocal of the gamma function, using the real Lanczos method.

Function: int gsl_sf_lngamma_complex_e (double zr, double zi, gsl_sf_result * lnr, gsl_sf_result * arg)

This routine computes for complex and not a negative integer or zero, using the complex Lanczos method. The returned parameters are and in . Note that the phase part (arg) is not well-determined when is very large, due to inevitable roundoff in restricting to . This will result in a GSL_ELOSS error when it occurs. The absolute value part (lnr), however, never suffers from loss of precision.

7.19.2 Factorials

Although factorials can be computed from the Gamma function, using the relation for non-negative integer , it is usually more efficient to call the functions in this section, particularly for small values of , whose factorial values are maintained in hardcoded tables.

Function: double gsl_sf_fact (unsigned int n)

Function: int gsl_sf_fact_e (unsigned int n, gsl_sf_result * result)

These routines compute the factorial . The factorial is related to the Gamma function by . The maximum value of such that is not considered an overflow is given by the macro GSL_SF_FACT_NMAX and is 170.

Function: double gsl_sf_doublefact (unsigned int n)

Function: int gsl_sf_doublefact_e (unsigned int n, gsl_sf_result * result)

These routines compute the double factorial . The maximum value of such that is not considered an overflow is given by the macro GSL_SF_DOUBLEFACT_NMAX and is 297.

Function: double gsl_sf_lnfact (unsigned int n)

Function: int gsl_sf_lnfact_e (unsigned int n, gsl_sf_result * result)

These routines compute the logarithm of the factorial of n, . The algorithm is faster than computing via gsl_sf_lngamma for , but defers for larger n.

Function: double gsl_sf_lndoublefact (unsigned int n)

Function: int gsl_sf_lndoublefact_e (unsigned int n, gsl_sf_result * result)

These routines compute the logarithm of the double factorial of n, .

Function: double gsl_sf_choose (unsigned int n, unsigned int m)

Function: int gsl_sf_choose_e (unsigned int n, unsigned int m, gsl_sf_result * result)

These routines compute the combinatorial factor n choose m

Function: double gsl_sf_lnchoose (unsigned int n, unsigned int m)

Function: int gsl_sf_lnchoose_e (unsigned int n, unsigned int m, gsl_sf_result * result)

These routines compute the logarithm of n choose m. This is equivalent to the sum .

Function: double gsl_sf_taylorcoeff (int n, double x)

Function: int gsl_sf_taylorcoeff_e (int n, double x, gsl_sf_result * result)

These routines compute the Taylor coefficient for , .

7.19.3 Pochhammer Symbol

Function: double gsl_sf_poch (double a, double x)

Function: int gsl_sf_poch_e (double a, double x, gsl_sf_result * result)

These routines compute the Pochhammer symbol , subject to and not being negative integers or zero. The Pochhammer symbol is also known as the Apell symbol and sometimes written as .

Function: double gsl_sf_lnpoch (double a, double x)

Function: int gsl_sf_lnpoch_e (double a, double x, gsl_sf_result * result)

These routines compute the logarithm of the Pochhammer symbol, for , .

Function: int gsl_sf_lnpoch_sgn_e (double a, double x, gsl_sf_result * result, double * sgn)

These routines compute the sign of the Pochhammer symbol and the logarithm of its magnitude. The computed parameters are and where , subject to , not being negative integers or zero.

Function: double gsl_sf_pochrel (double a, double x)

Function: int gsl_sf_pochrel_e (double a, double x, gsl_sf_result * result)

These routines compute the relative Pochhammer symbol where .

7.19.4 Incomplete Gamma Functions

Function: double gsl_sf_gamma_inc (double a, double x)

Function: int gsl_sf_gamma_inc_e (double a, double x, gsl_sf_result * result)

These functions compute the unnormalized incomplete Gamma Function for real and .

Function: double gsl_sf_gamma_inc_Q (double a, double x)

Function: int gsl_sf_gamma_inc_Q_e (double a, double x, gsl_sf_result * result)

These routines compute the normalized incomplete Gamma Function for , .

Function: double gsl_sf_gamma_inc_P (double a, double x)

Function: int gsl_sf_gamma_inc_P_e (double a, double x, gsl_sf_result * result)

These routines compute the complementary normalized incomplete Gamma Function for , .

Note that Abramowitz & Stegun call the incomplete gamma function (section 6.5).

7.19.5 Beta Functions

Function: double gsl_sf_beta (double a, double b)

Function: int gsl_sf_beta_e (double a, double b, gsl_sf_result * result)

These routines compute the Beta Function, subject to and not being negative integers.

Function: double gsl_sf_lnbeta (double a, double b)

Function: int gsl_sf_lnbeta_e (double a, double b, gsl_sf_result * result)

These routines compute the logarithm of the Beta Function, subject to and not being negative integers.

7.19.6 Incomplete Beta Function

Function: double gsl_sf_beta_inc (double a, double b, double x)

Function: int gsl_sf_beta_inc_e (double a, double b, double x, gsl_sf_result * result)

These routines compute the normalized incomplete Beta function where for , , and .

7.20 Gegenbauer Functions

The Gegenbauer polynomials are defined in Abramowitz & Stegun, Chapter 22, where they are known as Ultraspherical polynomials. The functions described in this section are declared in the header file ‘gsl_sf_gegenbauer.h’.

Function: double gsl_sf_gegenpoly_1 (double lambda, double x)

Function: double gsl_sf_gegenpoly_2 (double lambda, double x)

Function: double gsl_sf_gegenpoly_3 (double lambda, double x)

Function: int gsl_sf_gegenpoly_1_e (double lambda, double x, gsl_sf_result * result)

Function: int gsl_sf_gegenpoly_2_e (double lambda, double x, gsl_sf_result * result)

Function: int gsl_sf_gegenpoly_3_e (double lambda, double x, gsl_sf_result * result)

These functions evaluate the Gegenbauer polynomials using explicit representations for .

Function: double gsl_sf_gegenpoly_n (int n, double lambda, double x)

Function: int gsl_sf_gegenpoly_n_e (int n, double lambda, double x, gsl_sf_result * result)

These functions evaluate the Gegenbauer polynomial for a specific value of n, lambda, x subject to , .

Function: int gsl_sf_gegenpoly_array (int nmax, double lambda, double x, double result_array[])

This function computes an array of Gegenbauer polynomials for , subject to , .

7.21 Hypergeometric Functions

Hypergeometric functions are described in Abramowitz & Stegun, Chapters 13 and 15. These functions are declared in the header file ‘gsl_sf_hyperg.h’.

Function: double gsl_sf_hyperg_0F1 (double c, double x)

Function: int gsl_sf_hyperg_0F1_e (double c, double x, gsl_sf_result * result)

These routines compute the hypergeometric function .

Function: double gsl_sf_hyperg_1F1_int (int m, int n, double x)

Function: int gsl_sf_hyperg_1F1_int_e (int m, int n, double x, gsl_sf_result * result)

These routines compute the confluent hypergeometric function for integer parameters m, n.

Function: double gsl_sf_hyperg_1F1 (double a, double b, double x)

Function: int gsl_sf_hyperg_1F1_e (double a, double b, double x, gsl_sf_result * result)

These routines compute the confluent hypergeometric function for general parameters a, b.

Function: double gsl_sf_hyperg_U_int (int m, int n, double x)

Function: int gsl_sf_hyperg_U_int_e (int m, int n, double x, gsl_sf_result * result)

These routines compute the confluent hypergeometric function for integer parameters m, n.

Function: int gsl_sf_hyperg_U_int_e10_e (int m, int n, double x, gsl_sf_result_e10 * result)

This routine computes the confluent hypergeometric function for integer parameters m, n using the gsl_sf_result_e10 type to return a result with extended range.

Function: double gsl_sf_hyperg_U (double a, double b, double x)

Function: int gsl_sf_hyperg_U_e (double a, double b, double x, gsl_sf_result * result)

These routines compute the confluent hypergeometric function .

Function: int gsl_sf_hyperg_U_e10_e (double a, double b, double x, gsl_sf_result_e10 * result)

This routine computes the confluent hypergeometric function using the gsl_sf_result_e10 type to return a result with extended range.

Function: double gsl_sf_hyperg_2F1 (double a, double b, double c, double x)

Function: int gsl_sf_hyperg_2F1_e (double a, double b, double c, double x, gsl_sf_result * result)

These routines compute the Gauss hypergeometric function for .

If the arguments are too close to a singularity then the function can return the error code GSL_EMAXITER when the series approximation converges too slowly. This occurs in the region of , for integer m.

Function: double gsl_sf_hyperg_2F1_conj (double aR, double aI, double c, double x)

Function: int gsl_sf_hyperg_2F1_conj_e (double aR, double aI, double c, double x, gsl_sf_result * result)

These routines compute the Gauss hypergeometric function with complex parameters for . exceptions:

Function: double gsl_sf_hyperg_2F1_renorm (double a, double b, double c, double x)

Function: int gsl_sf_hyperg_2F1_renorm_e (double a, double b, double c, double x, gsl_sf_result * result)

These routines compute the renormalized Gauss hypergeometric function for .

Function: double gsl_sf_hyperg_2F1_conj_renorm (double aR, double aI, double c, double x)

Function: int gsl_sf_hyperg_2F1_conj_renorm_e (double aR, double aI, double c, double x, gsl_sf_result * result)

These routines compute the renormalized Gauss hypergeometric function for .

Function: double gsl_sf_hyperg_2F0 (double a, double b, double x)

Function: int gsl_sf_hyperg_2F0_e (double a, double b, double x, gsl_sf_result * result)

These routines compute the hypergeometric function . The series representation is a divergent hypergeometric series. However, for we have

7.22 Laguerre Functions

The generalized Laguerre polynomials are defined in terms of confluent hypergeometric functions as , and are sometimes referred to as the associated Laguerre polynomials. They are related to the plain Laguerre polynomials by and . For more information see Abramowitz & Stegun, Chapter 22.

The functions described in this section are declared in the header file ‘gsl_sf_laguerre.h’.

Function: double gsl_sf_laguerre_1 (double a, double x)

Function: double gsl_sf_laguerre_2 (double a, double x)

Function: double gsl_sf_laguerre_3 (double a, double x)

Function: int gsl_sf_laguerre_1_e (double a, double x, gsl_sf_result * result)

Function: int gsl_sf_laguerre_2_e (double a, double x, gsl_sf_result * result)

Function: int gsl_sf_laguerre_3_e (double a, double x, gsl_sf_result * result)

These routines evaluate the generalized Laguerre polynomials , , using explicit representations.

Function: double gsl_sf_laguerre_n (const int n, const double a, const double x)

Function: int gsl_sf_laguerre_n_e (int n, double a, double x, gsl_sf_result * result)

These routines evaluate the generalized Laguerre polynomials for , .

7.23 Lambert W Functions

Lambert's W functions, , are defined to be solutions of the equation . This function has multiple branches for ; however, it has only two real-valued branches. We define to be the principal branch, where for , and to be the other real branch, where for . The Lambert functions are declared in the header file ‘gsl_sf_lambert.h’.

Function: double gsl_sf_lambert_W0 (double x)

Function: int gsl_sf_lambert_W0_e (double x, gsl_sf_result * result)

These compute the principal branch of the Lambert W function, .

Function: double gsl_sf_lambert_Wm1 (double x)

Function: int gsl_sf_lambert_Wm1_e (double x, gsl_sf_result * result)

These compute the secondary real-valued branch of the Lambert W function, .

7.24 Legendre Functions and Spherical Harmonics

The Legendre Functions and Legendre Polynomials are described in Abramowitz & Stegun, Chapter 8. These functions are declared in the header file ‘gsl_sf_legendre.h’.

7.24.1 Legendre Polynomials

Function: double gsl_sf_legendre_P1 (double x)

Function: double gsl_sf_legendre_P2 (double x)

Function: double gsl_sf_legendre_P3 (double x)

Function: int gsl_sf_legendre_P1_e (double x, gsl_sf_result * result)

Function: int gsl_sf_legendre_P2_e (double x, gsl_sf_result * result)

Function: int gsl_sf_legendre_P3_e (double x, gsl_sf_result * result)

These functions evaluate the Legendre polynomials using explicit representations for .

Function: double gsl_sf_legendre_Pl (int l, double x)

Function: int gsl_sf_legendre_Pl_e (int l, double x, gsl_sf_result * result)

These functions evaluate the Legendre polynomial for a specific value of l, x subject to ,

Function: int gsl_sf_legendre_Pl_array (int lmax, double x, double result_array[])

Function: int gsl_sf_legendre_Pl_deriv_array (int lmax, double x, double result_array[], double result_deriv_array[])

These functions compute an array of Legendre polynomials , and optionally their derivatives , for ,

Function: double gsl_sf_legendre_Q0 (double x)

Function: int gsl_sf_legendre_Q0_e (double x, gsl_sf_result * result)

These routines compute the Legendre function for , .

Function: double gsl_sf_legendre_Q1 (double x)

Function: int gsl_sf_legendre_Q1_e (double x, gsl_sf_result * result)

These routines compute the Legendre function for , .

Function: double gsl_sf_legendre_Ql (int l, double x)

Function: int gsl_sf_legendre_Ql_e (int l, double x, gsl_sf_result * result)

These routines compute the Legendre function for , and .

7.24.2 Associated Legendre Polynomials and Spherical Harmonics

The following functions compute the associated Legendre Polynomials . Note that this function grows combinatorially with and can overflow for larger than about 150. There is no trouble for small , but overflow occurs when and are both large. Rather than allow overflows, these functions refuse to calculate and return GSL_EOVRFLW when they can sense that and are too big.

If you want to calculate a spherical harmonic, then do not use these functions. Instead use gsl_sf_legendre_sphPlm below, which uses a similar recursion, but with the normalized functions.

Function: double gsl_sf_legendre_Plm (int l, int m, double x)

Function: int gsl_sf_legendre_Plm_e (int l, int m, double x, gsl_sf_result * result)

These routines compute the associated Legendre polynomial for , , .

Function: int gsl_sf_legendre_Plm_array (int lmax, int m, double x, double result_array[])

Function: int gsl_sf_legendre_Plm_deriv_array (int lmax, int m, double x, double result_array[], double result_deriv_array[])

These functions compute an array of Legendre polynomials , and optionally their derivatives , for , , .

Function: double gsl_sf_legendre_sphPlm (int l, int m, double x)

Function: int gsl_sf_legendre_sphPlm_e (int l, int m, double x, gsl_sf_result * result)

These routines compute the normalized associated Legendre polynomial

suitable for use in spherical harmonics. The parameters must satisfy , , . Theses routines avoid the overflows that occur for the standard normalization of .

Function: int gsl_sf_legendre_sphPlm_array (int lmax, int m, double x, double result_array[])

Function: int gsl_sf_legendre_sphPlm_deriv_array (int lmax, int m, double x, double result_array[], double result_deriv_array[])

These functions compute an array of normalized associated Legendre functions

, and optionally their derivatives, for , ,

Function: int gsl_sf_legendre_array_size (const int lmax, const int m)

This function returns the size of result_array[] needed for the array versions of , .

7.24.3 Conical Functions

The Conical Functions and are described in Abramowitz & Stegun, Section 8.12.

Function: double gsl_sf_conicalP_half (double lambda, double x)

Function: int gsl_sf_conicalP_half_e (double lambda, double x, gsl_sf_result * result)

These routines compute the irregular Spherical Conical Function for .

Function: double gsl_sf_conicalP_mhalf (double lambda, double x)

Function: int gsl_sf_conicalP_mhalf_e (double lambda, double x, gsl_sf_result * result)

These routines compute the regular Spherical Conical Function for .

Function: double gsl_sf_conicalP_0 (double lambda, double x)

Function: int gsl_sf_conicalP_0_e (double lambda, double x, gsl_sf_result * result)

These routines compute the conical function for .

Function: double gsl_sf_conicalP_1 (double lambda, double x)

Function: int gsl_sf_conicalP_1_e (double lambda, double x, gsl_sf_result * result)

These routines compute the conical function for .

Function: double gsl_sf_conicalP_sph_reg (int l, double lambda, double x)

Function: int gsl_sf_conicalP_sph_reg_e (int l, double lambda, double x, gsl_sf_result * result)

These routines compute the Regular Spherical Conical Function for , .

Function: double gsl_sf_conicalP_cyl_reg (int m, double lambda, double x)

Function: int gsl_sf_conicalP_cyl_reg_e (int m, double lambda, double x, gsl_sf_result * result)

These routines compute the Regular Cylindrical Conical Function for , .

7.24.4 Radial Functions for Hyperbolic Space

The following spherical functions are specializations of Legendre functions which give the regular eigenfunctions of the Laplacian on a 3-dimensional hyperbolic space . Of particular interest is the flat limit, , , fixed.

Function: double gsl_sf_legendre_H3d_0 (double lambda, double eta)

Function: int gsl_sf_legendre_H3d_0_e (double lambda, double eta, gsl_sf_result * result)

These routines compute the zeroth radial eigenfunction of the Laplacian on the 3-dimensional hyperbolic space, for . In the flat limit this takes the form .

Function: double gsl_sf_legendre_H3d_1 (double lambda, double eta)

Function: int gsl_sf_legendre_H3d_1_e (double lambda, double eta, gsl_sf_result * result)

These routines compute the first radial eigenfunction of the Laplacian on the 3-dimensional hyperbolic space, for . In the flat limit this takes the form .

Function: double gsl_sf_legendre_H3d (int l, double lambda, double eta)

Function: int gsl_sf_legendre_H3d_e (int l, double lambda, double eta, gsl_sf_result * result)

These routines compute the l-th radial eigenfunction of the Laplacian on the 3-dimensional hyperbolic space , . In the flat limit this takes the form .

Function: int gsl_sf_legendre_H3d_array (int lmax, double lambda, double eta, double result_array[])

This function computes an array of radial eigenfunctions for .

7.25 Logarithm and Related Functions

Information on the properties of the Logarithm function can be found in Abramowitz & Stegun, Chapter 4. The functions described in this section are declared in the header file ‘gsl_sf_log.h’.

Function: double gsl_sf_log (double x)

Function: int gsl_sf_log_e (double x, gsl_sf_result * result)

These routines compute the logarithm of x, , for .

Function: double gsl_sf_log_abs (double x)

Function: int gsl_sf_log_abs_e (double x, gsl_sf_result * result)

These routines compute the logarithm of the magnitude of x, , for .

Function: int gsl_sf_complex_log_e (double zr, double zi, gsl_sf_result * lnr, gsl_sf_result * theta)

This routine computes the complex logarithm of . The results are returned as lnr, theta such that , where lies in the range .

Function: double gsl_sf_log_1plusx (double x)

Function: int gsl_sf_log_1plusx_e (double x, gsl_sf_result * result)

These routines compute for using an algorithm that is accurate for small .

Function: double gsl_sf_log_1plusx_mx (double x)

Function: int gsl_sf_log_1plusx_mx_e (double x, gsl_sf_result * result)

These routines compute for using an algorithm that is accurate for small .

7.26 Mathieu Functions

The routines described in this section compute the angular and radial Mathieu functions, and their characteristic values. Mathieu functions are the solutions of the following two differential equations: The angular Mathieu functions , are the even and odd periodic solutions of the first equation, which is known as Mathieu's equation. These exist only for the discrete sequence of characteristic values (even-periodic) and (odd-periodic).

The radial Mathieu functions , are the solutions of the second equation, which is referred to as Mathieu's modified equation. The radial Mathieu functions of the first, second, third and fourth kind are denoted by the parameter , which takes the value 1, 2, 3 or 4.

For more information on the Mathieu functions, see Abramowitz and Stegun, Chapter 20. These functions are defined in the header file ‘gsl_sf_mathieu.h’.

7.26.1 Mathieu Function Workspace

The Mathieu functions can be computed for a single order or for multiple orders, using array-based routines. The array-based routines require a preallocated workspace.

Function: gsl_sf_mathieu_workspace * gsl_sf_mathieu_alloc (size_t n, double qmax)

This function returns a workspace for the array versions of the Mathieu routines. The arguments n and qmax specify the maximum order and -value of Mathieu functions which can be computed with this workspace.

Function: void gsl_sf_mathieu_free (gsl_sf_mathieu_workspace *work)

This function frees the workspace work.

7.26.2 Mathieu Function Characteristic Values

Function: int gsl_sf_mathieu_a (int n, double q, gsl_sf_result *result)

Function: int gsl_sf_mathieu_b (int n, double q, gsl_sf_result *result)

These routines compute the characteristic values , of the Mathieu functions and , respectively.

Function: int gsl_sf_mathieu_a_array (int order_min, int order_max, double q, gsl_sf_mathieu_workspace *work, double result_array[])

Function: int gsl_sf_mathieu_b_array (int order_min, int order_max, double q, gsl_sf_mathieu_workspace *work, double result_array[])

These routines compute a series of Mathieu characteristic values , for from order_min to order_max inclusive, storing the results in the array result_array.