Blame specfunc/bessel_In.c

Packit 67cb25
/* specfunc/bessel_In.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_bessel.h>
Packit 67cb25
Packit 67cb25
#include "error.h"
Packit 67cb25
Packit 67cb25
#include "bessel.h"
Packit 67cb25
Packit 67cb25
/*-*-*-*-*-*-*-*-*-*-*-* Functions with Error Codes *-*-*-*-*-*-*-*-*-*-*-*/
Packit 67cb25
Packit 67cb25
Packit 67cb25
int
Packit 67cb25
gsl_sf_bessel_In_scaled_e(int n, const double x, gsl_sf_result * result)
Packit 67cb25
{
Packit 67cb25
  const double ax = fabs(x);
Packit 67cb25
Packit 67cb25
  n = abs(n);  /* I(-n, z) = I(n, z) */
Packit 67cb25
Packit 67cb25
  /* CHECK_POINTER(result) */
Packit 67cb25
Packit 67cb25
  if(n == 0) {
Packit 67cb25
    return gsl_sf_bessel_I0_scaled_e(x, result);
Packit 67cb25
  }
Packit 67cb25
  else if(n == 1) {
Packit 67cb25
    return gsl_sf_bessel_I1_scaled_e(x, result);
Packit 67cb25
  }
Packit 67cb25
  else if(x == 0.0) {
Packit 67cb25
    result->val = 0.0;
Packit 67cb25
    result->err = 0.0;
Packit 67cb25
    return GSL_SUCCESS;
Packit 67cb25
  }
Packit 67cb25
  else if(x*x < 10.0*(n+1.0)/M_E) {
Packit 67cb25
    gsl_sf_result t;
Packit 67cb25
    double ex   = exp(-ax);
Packit 67cb25
    int stat_In = gsl_sf_bessel_IJ_taylor_e((double)n, ax, 1, 50, GSL_DBL_EPSILON, &t);
Packit 67cb25
    result->val  = t.val * ex;
Packit 67cb25
    result->err  = t.err * ex;
Packit 67cb25
    result->err += 2.0 * GSL_DBL_EPSILON * fabs(result->val);
Packit 67cb25
    if(x < 0.0 && GSL_IS_ODD(n)) result->val = -result->val;
Packit 67cb25
    return stat_In;
Packit 67cb25
  }
Packit 67cb25
  else if(n < 150 && ax < 1e7) {
Packit 67cb25
    gsl_sf_result I0_scaled;
Packit 67cb25
    int stat_I0 = gsl_sf_bessel_I0_scaled_e(ax, &I0_scaled);
Packit 67cb25
    double rat;
Packit 67cb25
    int stat_CF1 = gsl_sf_bessel_I_CF1_ser((double)n, ax, &rat);
Packit 67cb25
    double Ikp1 = rat * GSL_SQRT_DBL_MIN;
Packit 67cb25
    double Ik   = GSL_SQRT_DBL_MIN;
Packit 67cb25
    double Ikm1;
Packit 67cb25
    int k;
Packit 67cb25
    for(k=n; k >= 1; k--) {
Packit 67cb25
      Ikm1 = Ikp1 + 2.0*k/ax * Ik;
Packit 67cb25
      Ikp1 = Ik;
Packit 67cb25
      Ik   = Ikm1;
Packit 67cb25
    }
Packit 67cb25
    result->val  = I0_scaled.val * (GSL_SQRT_DBL_MIN / Ik);
Packit 67cb25
    result->err  = I0_scaled.err * (GSL_SQRT_DBL_MIN / Ik);
Packit 67cb25
    result->err += 2.0 * GSL_DBL_EPSILON * fabs(result->val);
Packit 67cb25
    if(x < 0.0 && GSL_IS_ODD(n)) result->val = -result->val;
Packit 67cb25
    return GSL_ERROR_SELECT_2(stat_I0, stat_CF1);
Packit 67cb25
  }
Packit 67cb25
  else if( GSL_MIN( 0.29/(n*n), 0.5/(n*n + x*x) ) < 0.5*GSL_ROOT3_DBL_EPSILON) {
Packit 67cb25
    int stat_as = gsl_sf_bessel_Inu_scaled_asymp_unif_e((double)n, ax, result);
Packit 67cb25
    if(x < 0.0 && GSL_IS_ODD(n)) result->val = -result->val;
Packit 67cb25
    return stat_as;
Packit 67cb25
  }
Packit 67cb25
  else {
Packit 67cb25
    const int nhi = 2 + (int) (1.2 / GSL_ROOT6_DBL_EPSILON);
Packit 67cb25
    gsl_sf_result r_Ikp1;
Packit 67cb25
    gsl_sf_result r_Ik;
Packit 67cb25
    int stat_a1 = gsl_sf_bessel_Inu_scaled_asymp_unif_e(nhi+1.0,     ax, &r_Ikp1);
Packit 67cb25
    int stat_a2 = gsl_sf_bessel_Inu_scaled_asymp_unif_e((double)nhi, ax, &r_Ik);
Packit 67cb25
    double Ikp1 = r_Ikp1.val;
Packit 67cb25
    double Ik   = r_Ik.val;
Packit 67cb25
    double Ikm1;
Packit 67cb25
    int k;
Packit 67cb25
    for(k=nhi; k > n; k--) {
Packit 67cb25
      Ikm1 = Ikp1 + 2.0*k/ax * Ik;
Packit 67cb25
      Ikp1 = Ik;
Packit 67cb25
      Ik   = Ikm1;
Packit 67cb25
    }
Packit 67cb25
    result->val = Ik;
Packit 67cb25
    result->err = Ik * (r_Ikp1.err/r_Ikp1.val + r_Ik.err/r_Ik.val);
Packit 67cb25
    if(x < 0.0 && GSL_IS_ODD(n)) result->val = -result->val;
Packit 67cb25
    return GSL_ERROR_SELECT_2(stat_a1, stat_a2);
Packit 67cb25
  }
Packit 67cb25
}
Packit 67cb25
Packit 67cb25
Packit 67cb25
int
Packit 67cb25
gsl_sf_bessel_In_scaled_array(const int nmin, const int nmax, const double x, double * result_array)
Packit 67cb25
{
Packit 67cb25
  /* CHECK_POINTER(result_array) */
Packit 67cb25
Packit 67cb25
  if(nmax < nmin || nmin < 0) {
Packit 67cb25
    int j;
Packit 67cb25
    for(j=0; j<=nmax-nmin; j++) result_array[j] = 0.0;
Packit 67cb25
    GSL_ERROR ("domain error", GSL_EDOM);
Packit 67cb25
  }
Packit 67cb25
  else if(x == 0.0) {
Packit 67cb25
    int j;
Packit 67cb25
    for(j=0; j<=nmax-nmin; j++) result_array[j] = 0.0;
Packit 67cb25
    if(nmin == 0) result_array[0] = 1.0;
Packit 67cb25
    return GSL_SUCCESS;
Packit 67cb25
  }
Packit 67cb25
  else if(nmax == 0) {
Packit 67cb25
    gsl_sf_result I0_scaled;
Packit 67cb25
    int stat = gsl_sf_bessel_I0_scaled_e(x, &I0_scaled);
Packit 67cb25
    result_array[0] = I0_scaled.val;
Packit 67cb25
    return stat;
Packit 67cb25
  }
Packit 67cb25
  else {
Packit 67cb25
    const double ax = fabs(x);
Packit 67cb25
    const double two_over_x = 2.0/ax;
Packit 67cb25
Packit 67cb25
    /* starting values */
Packit 67cb25
    gsl_sf_result r_Inp1;
Packit 67cb25
    gsl_sf_result r_In;
Packit 67cb25
    int stat_0 = gsl_sf_bessel_In_scaled_e(nmax+1, ax, &r_Inp1);
Packit 67cb25
    int stat_1 = gsl_sf_bessel_In_scaled_e(nmax,   ax, &r_In);
Packit 67cb25
    double Inp1 = r_Inp1.val;
Packit 67cb25
    double In   = r_In.val;
Packit 67cb25
    double Inm1;
Packit 67cb25
    int n;
Packit 67cb25
Packit 67cb25
    for(n=nmax; n>=nmin; n--) {
Packit 67cb25
      result_array[n-nmin] = In;
Packit 67cb25
      Inm1 = Inp1 + n * two_over_x * In;
Packit 67cb25
      Inp1 = In;
Packit 67cb25
      In   = Inm1;
Packit 67cb25
    }
Packit 67cb25
Packit 67cb25
    /* deal with signs */
Packit 67cb25
    if(x < 0.0) {
Packit 67cb25
      for(n=nmin; n<=nmax; n++) {
Packit 67cb25
        if(GSL_IS_ODD(n)) result_array[n-nmin] = -result_array[n-nmin];
Packit 67cb25
      }
Packit 67cb25
    }
Packit 67cb25
Packit 67cb25
    return GSL_ERROR_SELECT_2(stat_0, stat_1);
Packit 67cb25
  }
Packit 67cb25
}
Packit 67cb25
Packit 67cb25
Packit 67cb25
int
Packit 67cb25
gsl_sf_bessel_In_e(const int n_in, const double x, gsl_sf_result * result)
Packit 67cb25
{
Packit 67cb25
  const double ax = fabs(x);
Packit 67cb25
  const int n = abs(n_in);  /* I(-n, z) = I(n, z) */
Packit 67cb25
  gsl_sf_result In_scaled;
Packit 67cb25
  const int stat_In_scaled = gsl_sf_bessel_In_scaled_e(n, ax, &In_scaled);
Packit 67cb25
Packit 67cb25
  /* In_scaled is always less than 1,
Packit 67cb25
   * so this overflow check is conservative.
Packit 67cb25
   */
Packit 67cb25
  if(ax > GSL_LOG_DBL_MAX - 1.0) {
Packit 67cb25
    OVERFLOW_ERROR(result);
Packit 67cb25
  }
Packit 67cb25
  else {
Packit 67cb25
    const double ex = exp(ax);
Packit 67cb25
    result->val  = ex * In_scaled.val;
Packit 67cb25
    result->err  = ex * In_scaled.err;
Packit 67cb25
    result->err += ax * GSL_DBL_EPSILON * fabs(result->val);
Packit 67cb25
    if(x < 0.0 && GSL_IS_ODD(n)) result->val = -result->val;
Packit 67cb25
    return stat_In_scaled;
Packit 67cb25
  }
Packit 67cb25
}
Packit 67cb25
Packit 67cb25
Packit 67cb25
int
Packit 67cb25
gsl_sf_bessel_In_array(const int nmin, const int nmax, const double x, double * result_array)
Packit 67cb25
{
Packit 67cb25
  double ax = fabs(x);
Packit 67cb25
Packit 67cb25
  /* CHECK_POINTER(result_array) */
Packit 67cb25
Packit 67cb25
  if(ax > GSL_LOG_DBL_MAX - 1.0) {
Packit 67cb25
    int j;
Packit 67cb25
    for(j=0; j<=nmax-nmin; j++) result_array[j] = 0.0; /* FIXME: should be Inf */
Packit 67cb25
    GSL_ERROR ("overflow", GSL_EOVRFLW);
Packit 67cb25
  }
Packit 67cb25
  else {
Packit 67cb25
    int j;
Packit 67cb25
    double eax = exp(ax);
Packit 67cb25
    int status = gsl_sf_bessel_In_scaled_array(nmin, nmax, x, result_array);
Packit 67cb25
    for(j=0; j<=nmax-nmin; j++) result_array[j] *= eax;
Packit 67cb25
    return status;
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_bessel_In_scaled(const int n, const double x)
Packit 67cb25
{
Packit 67cb25
  EVAL_RESULT(gsl_sf_bessel_In_scaled_e(n, x, &result));
Packit 67cb25
}
Packit 67cb25
Packit 67cb25
double gsl_sf_bessel_In(const int n, const double x)
Packit 67cb25
{
Packit 67cb25
  EVAL_RESULT(gsl_sf_bessel_In_e(n, x, &result));
Packit 67cb25
}