A modified Christoffel function and its asymptotic properties
We introduce a certain variant (or regularization) $\tildeΛ^μ_n$ of the standard Christoffel function $Λ^μ_n$ associated with a measure $μ$ on a compact set $Ω\subset \mathbb{R}^d$. Its reciprocal is now a sum-of-squares polynomial in the variables $(x,\varepsilon)$, $\varepsilon>0$. It shares the same dichotomy property of the standard Christoffel function, that is, the growth with $n$ of its inverse is at most polynomial inside and exponential outside the support of the measure. Its distinguishing and crucial feature states that for fixed $\varepsilon>0$, and under weak assumptions, $\lim_{n\to\infty} \varepsilon^{-d}\tildeΛ^μ_n(ξ,\varepsilon)=f(ζ_\varepsilon)$ where $f$ (assumed to be continuous) is the unknown density of $μ$ w.r.t. Lebesgue measure on $Ω$, and $ζ_\varepsilon\in\mathbf{B}_\infty(ξ,\varepsilon)$ (and so $f(ζ_\varepsilon)\approx f(ξ)$ when $\varepsilon>0$ is small). This is in contrast with the standard Christoffel function where if $\lim_{n\to\infty} n^dΛ^μ_n(ξ)$ exists, it is of the form $f(ξ)/ω_E(ξ)$ where $ω_E$ is the density of the equilibrium measure of $Ω$, usually unknown. At last but not least, the additional computational burden (when compared to computing $Λ^μ_n$) is just integrating symbolically the monomial basis $(x^α)_{α\in\mathbb{N}^d_n}$ on the box $\{x: \Vert x-ξ\Vert_\infty<\varepsilon/2\}$, so that $1/\tildeΛ^μ_n$ is obtained as an explicit polynomial of $(ξ,\varepsilon)$.