对于代数不变量的密度函数是在$\mathbb{R}$上可测的函数，它按$\mathbb{R}$尺度测量该不变量。这一函数在不寻求额外数据的情况下携带了大量与不变量相关的信息，已被证明是一种有用的工具，由第三作者引入，用于研究特征$p$下的不变量，即齐次${\bf m}$-主理想上的Hilbert-Kunz重数。本文构造了Noetherian滤子$\{I_n\}_{n\in\mathbb{N}}$和齐次理想$I$的饱和幂给出的滤子上的密度函数$f_{A,\{I_n\}}$和$f_{A,\{\widetilde{I^n}\}}$。由此得到了齐次理想$I$在$A$上的ε重数$\varepsilon(I)$的密度函数$f_{\varepsilon(I)}$。进一步证明了函数$f_{A,\{I_n\}}$在可能的一个点之外处处连续，而$f_{A,\{\widetilde{I^n}\}}$是处处连续且除了可能一个点外处处可微的函数。作为推论，ε密度函数$f_{\varepsilon(I)}$是$\mathbb{R}$上在除一个点外具有紧支集的连续函数，并且$\int_{\mathbb{R}_{\geq 0}} f_{\varepsilon(I)} = \varepsilon(I)$。这三种函数$f_{A,\{I^n\}}$、$f_{A,\{\widetilde{I^n}\}}$和$f_{\varepsilon(I)}$在传递到理想$I$的积分闭包时保持不变。作为这一理论的一个推论，我们观察到对角子代数的“重新缩放”Hilbert-Samuel重数形成一个连续族。

A density function for an algebraic invariant is a measurable function on $\mathbb{R}$ which measures the invariant on an $\mathbb{R}$-scale. This function carries a lot more information related to the invariant without seeking extra data. It has turned out to be a useful tool, which was introduced by the third author, to study the characteristic $p$ invariant, namely Hilbert-Kunz multiplicity of a homogeneous ${\bf m}$-primary ideal. Here we construct density functions $f_{A,\{I_n\}}$ for a Noetherian filtration $\{I_n\}_{n\in\mathbb{N}}$ of homogeneous ideals and $f_{A,\{\widetilde{I^n}\}}$ for a filtration given by the saturated powers of a homogeneous ideal $I$ in a standard graded domain $A$. As a consequence, we get a density function $f_{\varepsilon(I)}$ for the epsilon multiplicity $\varepsilon(I)$ of a homogeneous ideal $I$ in $A$. We further show that the function $f_{A,\{I_n\}}$ is continuous everywhere except possibly at one point, and $f_{A,\{\widetilde{I^n}\}}$ is a continuous function everywhere and is continuously differentiable except possibly at one point. As a corollary the epsilon density function $f_{\varepsilon(I)}$ is a compactly supported continuous function on $\mathbb{R}$ except at one point, such that $\int_{\mathbb{R}_{\geq 0}} f_{\varepsilon(I)} = \varepsilon(I)$. All the three functions $f_{A,\{I^n\}}$, $f_{A,\{\widetilde{I^n}\}}$ and $f_{\varepsilon(I)}$ remain invariant under passage to the integral closure of $I$. As a corollary of this theory, we observe that the `rescaled' Hilbert-Samuel multiplicities of the diagonal subalgebras form a continuous family.