Documentation

LeanPool.CarlsonFunctions.Carlson.R

Carlson's multivariate R-function #

Umbrella import for the native integral, continuation interface, differentiation kernel, associated-function theory, confluence, and Laplace representation of Carlson's R_t. The regularized slit-plane function is jointly entire in the exponent and Dirichlet parameters and holomorphic in all nodes off the nonpositive real axis. Node differentiation, the homogeneity recurrence, and polynomial dependence of associated functions are available on this full slit domain. The pinned upstream audit guide maps the selected statements to their proof modules and records scope limits. In particular, Carlson.R.Contour adds no contour representation: formula (6.8-7) remains unformalized, while joint continuation is proved without that representation.