Special Functions API

All functions return numeric results (or {re, im} tables for complex results). Errors surface as Lua errors when inputs fall outside supported domains.

Digamma

Logarithmic derivative of the Gamma function,

$$\psi(z) = \frac{d}{dz}\log \Gamma(z) = \frac{\Gamma'(z)}{\Gamma(z)}.$$

local psi = ooc.digamma(1.5)
local psi_c = ooc.digamma({1.0, 0.2})

Trigamma

First polygamma (derivative of digamma),

$$\psi_1(z) = \frac{d}{dz}\psi(z) = \sum_{k=0}^{\infty} \frac{1}{(z+k)^2}.$$

local trig = ooc.trigamma(2.0)
local trig_c = ooc.trigamma({0.5, -0.3})

Hyperexponential

$$\phi(\lambda,\varepsilon;K) = \sum_{k=0}^{K-1} \frac{\lambda}{\lambda + \varepsilon + k},$$

-- High precision evaluation of hyperexponential sum
local val = ooc.hyperexp(2.0, 0.5, 8)

-- Digamma backed evaluation for stability at large K
local phi = ooc.hyperexp_phi(2.0, 0.5, 8)

-- Complex extension
local phi_c = ooc.hyperexp_phi_complex({1.2, 0.3}, {0.8, -0.1}, 8)

-- Derivative of phi with respect to lambda
local dphi = ooc.hyperexp_phi_deriv(1.5, 0.4, 6)

q-Deformed Hyperexponential

$$\phi_q(\lambda,\varepsilon;K,q) = \sum_{k=0}^{K-1} \frac{\lambda}{\lambda + \varepsilon q^{k}},$$

local qh = ooc.qhyperexp(1.5, 0.2, 12, 0.9)

-- Alias of `ooc.qhyperexp`; evaluates the same $\phi_q$ for real arguments.
local qphi = ooc.qhyperexp_phi(1.5, 0.2, 12, 0.9)

-- Complex extension
local qphi_c = ooc.qhyperexp_phi_complex({0.6, 0.4}, {0.3, -0.2}, 12, 0.9)

-- Derivative of $\phi_q$ with respect to $\lambda$
local qphi_d = ooc.qhyperexp_phi_deriv(1.5, 0.2, 12, 0.9)

-- Complex derivative
local qphi_dc = ooc.qhyperexp_phi_deriv_complex({0.6, 0.4}, {0.3, -0.2}, 12, 0.9)

Jackson q-Number

$$[x]_q = \frac{1 - q^{x}}{1 - q},$$

with limit $[x]_1 = x$ as $q \to 1$.

local qn = ooc.qnumber(1.5, 0.8)
local qn_c = ooc.qnumber({0.5, 0.2}, 0.8)

q-Deformed Hurwitz Zeta

$$\zeta_q(s,a) = \sum_{n=0}^{\infty} \frac{q^{(n+a)(s-1)}}{[n+a]_q^{\,s}},$$

convergent for $q \in (0,1)$, $s>1$, $a>0$.

local z = ooc.qzeta(1.5, 0.5, 0.9)

q-Digamma Series

$$\psi_q(z) = -\ln(1 - q) + \ln(q)\sum_{n=0}^{\infty} \frac{q^{n+z}}{1 - q^{n+z}},$$

falling back to the classical $\psi$ as $q \to 1$.

local qpsi = ooc.qdigamma(1.25, 0.9)
local qpsi_c = ooc.qdigamma({1.0, -0.25}, 0.9)