16.3 Inverse Chi-Square Distribution

16.3.1 Probability Density Function

If \(\nu \in \mathbb{R}^+\), then for \(y \in \mathbb{R}^+\), \[ \text{InvChiSquare}(y \, | \, \nu) = \frac{2^{-\nu/2}} {\Gamma(\nu / 2)} \, y^{-\nu/2 - 1} \, \exp\! \left( \! - \, \frac{1}{2} \, \frac{1}{y} \right) . \]

16.3.2 Sampling Statement

y ~ inv_chi_square(nu)

Increment target log probability density with inv_chi_square_lpdf( y | nu) dropping constant additive terms.

16.3.3 Stan Functions

real inv_chi_square_lpdf(reals y | reals nu)
The log of the inverse Chi-square density of y given degrees of freedom nu

real inv_chi_square_cdf(reals y, reals nu)
The inverse Chi-squared cumulative distribution function of y given degrees of freedom nu

real inv_chi_square_lcdf(reals y | reals nu)
The log of the inverse Chi-squared cumulative distribution function of y given degrees of freedom nu

real inv_chi_square_lccdf(reals y | reals nu)
The log of the inverse Chi-squared complementary cumulative distribution function of y given degrees of freedom nu

R inv_chi_square_rng(reals nu)
Generate an inverse Chi-squared variate with degrees of freedom nu; may only be used in generated quantities block. For a description of argument and return types, see section 10.8.3.