|
Packit |
67cb25 |
/* specfunc/hyperg_0F1.c
|
|
Packit |
67cb25 |
*
|
|
Packit |
67cb25 |
* Copyright (C) 1996, 1997, 1998, 1999, 2000 Gerard Jungman
|
|
Packit |
67cb25 |
*
|
|
Packit |
67cb25 |
* This program is free software; you can redistribute it and/or modify
|
|
Packit |
67cb25 |
* it under the terms of the GNU General Public License as published by
|
|
Packit |
67cb25 |
* the Free Software Foundation; either version 3 of the License, or (at
|
|
Packit |
67cb25 |
* your option) any later version.
|
|
Packit |
67cb25 |
*
|
|
Packit |
67cb25 |
* This program is distributed in the hope that it will be useful, but
|
|
Packit |
67cb25 |
* WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit |
67cb25 |
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Packit |
67cb25 |
* General Public License for more details.
|
|
Packit |
67cb25 |
*
|
|
Packit |
67cb25 |
* You should have received a copy of the GNU General Public License
|
|
Packit |
67cb25 |
* along with this program; if not, write to the Free Software
|
|
Packit |
67cb25 |
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
|
Packit |
67cb25 |
*/
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Author: G. Jungman */
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
#include <config.h>
|
|
Packit |
67cb25 |
#include <gsl/gsl_math.h>
|
|
Packit |
67cb25 |
#include <gsl/gsl_errno.h>
|
|
Packit |
67cb25 |
#include <gsl/gsl_sf_exp.h>
|
|
Packit |
67cb25 |
#include <gsl/gsl_sf_gamma.h>
|
|
Packit |
67cb25 |
#include <gsl/gsl_sf_bessel.h>
|
|
Packit |
67cb25 |
#include <gsl/gsl_sf_hyperg.h>
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
#include "error.h"
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
#define locEPS (1000.0*GSL_DBL_EPSILON)
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Evaluate bessel_I(nu, x), allowing nu < 0.
|
|
Packit |
67cb25 |
* This is fine here because we do not not allow
|
|
Packit |
67cb25 |
* nu to be a negative integer.
|
|
Packit |
67cb25 |
* x > 0.
|
|
Packit |
67cb25 |
*/
|
|
Packit |
67cb25 |
static
|
|
Packit |
67cb25 |
int
|
|
Packit |
67cb25 |
hyperg_0F1_bessel_I(const double nu, const double x, gsl_sf_result * result)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
if(x > GSL_LOG_DBL_MAX) {
|
|
Packit |
67cb25 |
OVERFLOW_ERROR(result);
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
if(nu < 0.0) {
|
|
Packit |
67cb25 |
const double anu = -nu;
|
|
Packit |
67cb25 |
const double s = 2.0/M_PI * sin(anu*M_PI);
|
|
Packit |
67cb25 |
const double ex = exp(x);
|
|
Packit |
67cb25 |
gsl_sf_result I;
|
|
Packit |
67cb25 |
gsl_sf_result K;
|
|
Packit |
67cb25 |
int stat_I = gsl_sf_bessel_Inu_scaled_e(anu, x, &I);
|
|
Packit |
67cb25 |
int stat_K = gsl_sf_bessel_Knu_scaled_e(anu, x, &K);
|
|
Packit |
67cb25 |
result->val = ex * I.val + s * (K.val / ex);
|
|
Packit |
67cb25 |
result->err = ex * I.err + fabs(s * K.err/ex);
|
|
Packit |
67cb25 |
result->err += fabs(s * (K.val/ex)) * GSL_DBL_EPSILON * anu * M_PI;
|
|
Packit |
67cb25 |
return GSL_ERROR_SELECT_2(stat_K, stat_I);
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else {
|
|
Packit |
67cb25 |
const double ex = exp(x);
|
|
Packit |
67cb25 |
gsl_sf_result I;
|
|
Packit |
67cb25 |
int stat_I = gsl_sf_bessel_Inu_scaled_e(nu, x, &I);
|
|
Packit |
67cb25 |
result->val = ex * I.val;
|
|
Packit |
67cb25 |
result->err = ex * I.err + GSL_DBL_EPSILON * fabs(result->val);
|
|
Packit |
67cb25 |
return stat_I;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Evaluate bessel_J(nu, x), allowing nu < 0.
|
|
Packit |
67cb25 |
* This is fine here because we do not not allow
|
|
Packit |
67cb25 |
* nu to be a negative integer.
|
|
Packit |
67cb25 |
* x > 0.
|
|
Packit |
67cb25 |
*/
|
|
Packit |
67cb25 |
static
|
|
Packit |
67cb25 |
int
|
|
Packit |
67cb25 |
hyperg_0F1_bessel_J(const double nu, const double x, gsl_sf_result * result)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
if(nu < 0.0) {
|
|
Packit |
67cb25 |
const double anu = -nu;
|
|
Packit |
67cb25 |
const double s = sin(anu*M_PI);
|
|
Packit |
67cb25 |
const double c = cos(anu*M_PI);
|
|
Packit |
67cb25 |
gsl_sf_result J;
|
|
Packit |
67cb25 |
gsl_sf_result Y;
|
|
Packit |
67cb25 |
int stat_J = gsl_sf_bessel_Jnu_e(anu, x, &J);
|
|
Packit |
67cb25 |
int stat_Y = gsl_sf_bessel_Ynu_e(anu, x, &Y);
|
|
Packit |
67cb25 |
result->val = c * J.val - s * Y.val;
|
|
Packit |
67cb25 |
result->err = fabs(c * J.err) + fabs(s * Y.err);
|
|
Packit |
67cb25 |
result->err += fabs(anu * M_PI) * GSL_DBL_EPSILON * fabs(J.val + Y.val);
|
|
Packit |
67cb25 |
return GSL_ERROR_SELECT_2(stat_Y, stat_J);
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else {
|
|
Packit |
67cb25 |
return gsl_sf_bessel_Jnu_e(nu, x, result);
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/*-*-*-*-*-*-*-*-*-*-*-* Functions with Error Codes *-*-*-*-*-*-*-*-*-*-*-*/
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
int
|
|
Packit |
67cb25 |
gsl_sf_hyperg_0F1_e(double c, double x, gsl_sf_result * result)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
const double rintc = floor(c + 0.5);
|
|
Packit |
67cb25 |
const int c_neg_integer = (c < 0.0 && fabs(c - rintc) < locEPS);
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* CHECK_POINTER(result) */
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
if(c == 0.0 || c_neg_integer) {
|
|
Packit |
67cb25 |
DOMAIN_ERROR(result);
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else if(x < 0.0) {
|
|
Packit |
67cb25 |
gsl_sf_result Jcm1;
|
|
Packit |
67cb25 |
gsl_sf_result lg_c;
|
|
Packit |
67cb25 |
double sgn;
|
|
Packit |
67cb25 |
int stat_g = gsl_sf_lngamma_sgn_e(c, &lg_c, &sgn);
|
|
Packit |
67cb25 |
int stat_J = hyperg_0F1_bessel_J(c-1.0, 2.0*sqrt(-x), &Jcm1);
|
|
Packit |
67cb25 |
if(stat_g != GSL_SUCCESS) {
|
|
Packit |
67cb25 |
result->val = 0.0;
|
|
Packit |
67cb25 |
result->err = 0.0;
|
|
Packit |
67cb25 |
return stat_g;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else if(Jcm1.val == 0.0) {
|
|
Packit |
67cb25 |
result->val = 0.0;
|
|
Packit |
67cb25 |
result->err = 0.0;
|
|
Packit |
67cb25 |
return stat_J;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else {
|
|
Packit |
67cb25 |
const double tl = log(-x)*0.5*(1.0-c);
|
|
Packit |
67cb25 |
double ln_pre_val = lg_c.val + tl;
|
|
Packit |
67cb25 |
double ln_pre_err = lg_c.err + 2.0 * GSL_DBL_EPSILON * fabs(tl);
|
|
Packit |
67cb25 |
return gsl_sf_exp_mult_err_e(ln_pre_val, ln_pre_err,
|
|
Packit |
67cb25 |
sgn*Jcm1.val, Jcm1.err,
|
|
Packit |
67cb25 |
result);
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else if(x == 0.0) {
|
|
Packit |
67cb25 |
result->val = 1.0;
|
|
Packit |
67cb25 |
result->err = 1.0;
|
|
Packit |
67cb25 |
return GSL_SUCCESS;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else {
|
|
Packit |
67cb25 |
gsl_sf_result Icm1;
|
|
Packit |
67cb25 |
gsl_sf_result lg_c;
|
|
Packit |
67cb25 |
double sgn;
|
|
Packit |
67cb25 |
int stat_g = gsl_sf_lngamma_sgn_e(c, &lg_c, &sgn);
|
|
Packit |
67cb25 |
int stat_I = hyperg_0F1_bessel_I(c-1.0, 2.0*sqrt(x), &Icm1);
|
|
Packit |
67cb25 |
if(stat_g != GSL_SUCCESS) {
|
|
Packit |
67cb25 |
result->val = 0.0;
|
|
Packit |
67cb25 |
result->err = 0.0;
|
|
Packit |
67cb25 |
return stat_g;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else if(Icm1.val == 0.0) {
|
|
Packit |
67cb25 |
result->val = 0.0;
|
|
Packit |
67cb25 |
result->err = 0.0;
|
|
Packit |
67cb25 |
return stat_I;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else {
|
|
Packit |
67cb25 |
const double tl = log(x)*0.5*(1.0-c);
|
|
Packit |
67cb25 |
const double ln_pre_val = lg_c.val + tl;
|
|
Packit |
67cb25 |
const double ln_pre_err = lg_c.err + 2.0 * GSL_DBL_EPSILON * fabs(tl);
|
|
Packit |
67cb25 |
return gsl_sf_exp_mult_err_e(ln_pre_val, ln_pre_err,
|
|
Packit |
67cb25 |
sgn*Icm1.val, Icm1.err,
|
|
Packit |
67cb25 |
result);
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/*-*-*-*-*-*-*-*-*-* Functions w/ Natural Prototypes *-*-*-*-*-*-*-*-*-*-*/
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
#include "eval.h"
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
double gsl_sf_hyperg_0F1(const double c, const double x)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
EVAL_RESULT(gsl_sf_hyperg_0F1_e(c, x, &result));
|
|
Packit |
67cb25 |
}
|