Table of Contents
Fetching ...

Applications of the perturbation formula for Poisson processes to elementary and geometric probability

Guenter Last, Sergei Zuyev

TL;DR

The paper develops a unified perturbation framework for point processes, showing that derivatives of event probabilities can be interpreted as counts of pivotal elements via Margulis–Russo-type formulas. Building on this, it presents a perturbation formula for Poisson processes and derives distributional integral identities for classical univariate distributions (Poisson, Erlang, and compound Poisson). It then extends these ideas to multivariate strictly α-stable laws through LePage representations, obtaining new integro-differential equations for their densities. Finally, the work generalizes Crofton’s derivative formula to Poisson and binomial point processes, providing probabilistic proofs and geometric-analytic expressions that connect domain boundary geometry with stochastic perturbations. Across, derivatives acquire a clear probabilistic interpretation as expected numbers of pivotal configurations, offering new tools for analyzing densities and geometric functionals in stochastic geometry.

Abstract

The binomial, the negative binomial, the Poisson, the compound Poisson and the Erlang distribution do all admit integral representations with respect to its (continuous) parameter. We use the Margulis-Russo type formulas for Bernoulli and Poisson processes to derive these representations in a unified way and to provide a probabilistic interpretation for the derivatives. By similar variational methods, we obtain apparently new integro-differential identities which the density of a strictly $α$-stable multivariate density satisfies. Then, we extend Crofton's derivative formula known in integral geometry to the case of a Poisson process. Finally we use this extension to give a new probabilistic proof of a version of this formula for binomial point processes.

Applications of the perturbation formula for Poisson processes to elementary and geometric probability

TL;DR

The paper develops a unified perturbation framework for point processes, showing that derivatives of event probabilities can be interpreted as counts of pivotal elements via Margulis–Russo-type formulas. Building on this, it presents a perturbation formula for Poisson processes and derives distributional integral identities for classical univariate distributions (Poisson, Erlang, and compound Poisson). It then extends these ideas to multivariate strictly α-stable laws through LePage representations, obtaining new integro-differential equations for their densities. Finally, the work generalizes Crofton’s derivative formula to Poisson and binomial point processes, providing probabilistic proofs and geometric-analytic expressions that connect domain boundary geometry with stochastic perturbations. Across, derivatives acquire a clear probabilistic interpretation as expected numbers of pivotal configurations, offering new tools for analyzing densities and geometric functionals in stochastic geometry.

Abstract

The binomial, the negative binomial, the Poisson, the compound Poisson and the Erlang distribution do all admit integral representations with respect to its (continuous) parameter. We use the Margulis-Russo type formulas for Bernoulli and Poisson processes to derive these representations in a unified way and to provide a probabilistic interpretation for the derivatives. By similar variational methods, we obtain apparently new integro-differential identities which the density of a strictly -stable multivariate density satisfies. Then, we extend Crofton's derivative formula known in integral geometry to the case of a Poisson process. Finally we use this extension to give a new probabilistic proof of a version of this formula for binomial point processes.

Paper Structure

This paper contains 5 sections, 9 theorems, 93 equations.

Key Result

Theorem 2.1

Let $\lambda$ be a $\sigma$-finite and let $\nu$ be a finite measure on ${\mathbb X}$. Let $g\colon{\mathbf N}\rightarrow{\mathbb R}$ be a measurable function such that $\mathop{\mathrm{\mathbb{E}}}\nolimits |g(\eta_{\lambda+\nu})|<\infty$. Let $\theta\in(-\infty,1]$ such that $\lambda+\theta\nu$ is where the series converges absolutely.

Theorems & Definitions (19)

  • Theorem 2.1
  • Proposition 2.2
  • Proposition 2.3
  • proof
  • Proposition 2.4
  • proof
  • Remark 1
  • Remark 2
  • Remark 3
  • Remark 4
  • ...and 9 more