Signature of [Modified] Bessel Functions [of the Second Kind] about math HOT 7 CLOSED

From @bob-carpenter on September 22, 2013 19:47

See the previous discussion in issue #96 about implementing the Bessel functions. I think the only thing holding us up might be derivatives for the functions, because the Boost functions are general enough:

http://www.boost.org/doc/libs/1_54_0/libs/math/doc/html/math_toolkit/bessel/mbessel.html

Do you need parameters in that argument or just a real (double) constant? As is, Stan's language doesn't distinguish between the two, which means every function must be differentialble with respect to its real arguments.

One thing we might consider is allowing functions that take real constants/data only. Simplest would be to throw run-time errors, but we could make it compile time by refining the function signatures and adding some expression tests in the abstract syntax tree code.

from math.

From @ecbrown on September 22, 2013 19:56

In order to implement full kriging with the Matern covariance, I would need to have both v and z as real parameters.

It seems like Mathematica can take the symbolic derivative of K_v(z) with respect to z, but it bounces back for the derivative w.r.t. v. :-(

from math.

From @ecbrown on September 22, 2013 20:24

http://dlmf.nist.gov/10.38 gives me some hope for an evaluation of analytic derivative w.r.t. real-valued order in an implementable form. I think this would require the regularized generalized hypergeometric function to be available.

(This is 10 steps beyond my mathematical comfort zone)

from math.

From @bob-carpenter on September 22, 2013 20:36

They look too tricky for Boost, so I doubt we'll be
able to build them in Stan:

https://groups.google.com/forum/#!msg/boost-list/wOjuIYQuqkM/0l5zogA9e0YJ

The above thread indicates that GSL has them, but we don't want
to depend on GPL-ed code and the thread above indicates they're
rather touchy.

• Bob

On 9/22/13 4:24 PM, Eric Brown wrote:

http://dlmf.nist.gov/10.38 gives me some hope for an evaluation of analytic derivative w.r.t. real-valued order in an
implementable form. I think this would require the regularized generalized hypergeometric function to be available.

(This is 10 steps beyond my mathematical comfort zone)

—
Reply to this email directly or view it on GitHub stan-dev/stan#231 (comment).

from math.

There is a user-defined function on stan-users for modified Bessel functions with real nu
https://groups.google.com/d/msg/stan-users/sW61HeIT24I/ZH-WuMCSBgAJ
I don't think anyone is planning on putting this into Stan Math.

from math.

Not until someone can work out a good algorithm for the derivatives.

from math.

Matern with half-integer v = p+1/2 does not need Bessel. In this case the covariance function is a product
of an exponential and a polynomial of order p. See, e.g., Ch 4, p. 85 in GPML http://www.gaussianprocess.org/gpml/chapters/

from math.