Let be a bounded analytic Jordan domain and let be chordal in , equipped with its -dimensional natural-content measure . We retain the root in the standard integrated Brownian-bridge representation of Brownian loop measure and let be the root-intensity measure of loops with duration in whose traces hit . For every , we prove that converges in to , where is the mean specific area swept out by the Brownian-bridge offset of a natural-time two-sided whole-plane . In particular, the positive random measures converge vaguely in probability. The proof uses a duration-octave identity, a deterministic finite- reference coefficient obtained from a stopped two-arm Markov skeleton, a marked physical Palm tangent, an annular remote-return estimate, and a legal mesoscopic diagonal. As an application, the uniformly time-marked roots of an independent Brownian loop soup satisfy the corresponding vague law of large numbers. The analytic-boundary hypothesis enters only through a global finite-domain uniform-integrability estimate; its analogue for an arbitrary bounded Jordan domain remains open.

生成讲解博客的中文版本

生成AI智能校验的中文版本