Repository navigation
Signature of [Modified] Bessel Functions [of the Second Kind] #231
Description
Activity
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.
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. :-(
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)
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 #231 (comment).This issue was moved to stan-dev/math#23
I am trying to implement a Matern Covariance function, which depends on K_v. I believe that v may take on non-integer values, e.g v=1/2 is quite significant from a theoretical standpoint.
However, when I supply both arguments as real (nu is a real<lower=0.5> parameter):
I get a compilation error:
which seems to make me think that K_v only takes integer v.
Is it possible to make it take two real arguments?