BV Functions and Sets of Finite Perimeter on Configuration Spaces

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Bruè, Elia, Suzuki, Kohei
Format: Preprint
Publié: 2021
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866908391870300160
author Bruè, Elia
Suzuki, Kohei
author_facet Bruè, Elia
Suzuki, Kohei
contents This paper contributes to foundations of the geometric measure theory in the infinite dimensional setting of the configuration space over the Euclidean space $\mathbb R^n$ equipped with the Poisson measure $π$. We first provide a rigorous meaning and construction of the $m$-codimensional Poisson measure -- formally written as "$(\infty-m)$-dimensional Poisson measure" -- on the configuration space. We then show that our construction is consistent with potential analysis by establishing the absolute continuity with respect to Bessel capacities. Secondly, we introduce three different definitions of BV functions based on the variational, relaxation and the semigroup approaches, and prove the equivalence of them. Thirdly, we construct perimeter measures and introduce the notion of the reduced boundary. We then prove that the perimeter measure can be expressed by the $1$-codimensional Poisson measure restricted on the reduced boundary, which is a generalisation of De Giorgi's identity to the configuration space. Finally, we construct the total variation measures for BV functions, and prove the Gauß--Green formula.
format Preprint
id arxiv_https___arxiv_org_abs_2109_06078
institution arXiv
publishDate 2021
record_format arxiv
spellingShingle BV Functions and Sets of Finite Perimeter on Configuration Spaces
Bruè, Elia
Suzuki, Kohei
Metric Geometry
Functional Analysis
Probability
Primary 28C20, Secondary 28A75, 28A78, 26E15
This paper contributes to foundations of the geometric measure theory in the infinite dimensional setting of the configuration space over the Euclidean space $\mathbb R^n$ equipped with the Poisson measure $π$. We first provide a rigorous meaning and construction of the $m$-codimensional Poisson measure -- formally written as "$(\infty-m)$-dimensional Poisson measure" -- on the configuration space. We then show that our construction is consistent with potential analysis by establishing the absolute continuity with respect to Bessel capacities. Secondly, we introduce three different definitions of BV functions based on the variational, relaxation and the semigroup approaches, and prove the equivalence of them. Thirdly, we construct perimeter measures and introduce the notion of the reduced boundary. We then prove that the perimeter measure can be expressed by the $1$-codimensional Poisson measure restricted on the reduced boundary, which is a generalisation of De Giorgi's identity to the configuration space. Finally, we construct the total variation measures for BV functions, and prove the Gauß--Green formula.
title BV Functions and Sets of Finite Perimeter on Configuration Spaces
topic Metric Geometry
Functional Analysis
Probability
Primary 28C20, Secondary 28A75, 28A78, 26E15
url https://arxiv.org/abs/2109.06078