---
title: Local Dirichlet Integral of Distance Functions
url: https://www.emergentmind.com/topics/local-dirichlet-integral-of-distance-functions
type: topic
---

# Local Dirichlet Integral of Distance Functions

The local Dirichlet integral of distance functions is a central object in the analysis of Dirichlet forms, quantitative potential theory, and the structure of harmonic function spaces. It appears in settings ranging from classical function theory on the disc and the unit circle to abstract strongly local Dirichlet spaces, including metric measure spaces and fractal geometries. The local Dirichlet integral provides a rigorous measure of the infinitesimal oscillation of a function, particularly functions representing intrinsic or geodesic distances, and underpins the fine geometric and analytic structure of the associated function space.

## 1. Definition and Formalism

The local Dirichlet integral is defined in various contexts, notably on the unit circle and in the framework of strongly local Dirichlet forms. For a holomorphic function \( f \) on the unit disc \( \mathbb{D} \) with nontangential boundary values \( f^*(\zeta) \) on the unit circle \( \mathbb{T} \), the local Dirichlet integral at a boundary point \( \zeta \in \mathbb{T} \) is given by
\[
D_{\zeta}(f) = \frac{1}{2\pi} \int_{\mathbb{T}} \frac{|f^*(\zeta) - f^*(\eta)|^2}{|\zeta - \eta|^2}\, |d\eta|.
\]
If \( f^* \) fails to exist at \( \zeta \), \( D_\zeta(f) \) is set to \( +\infty \). Integration with respect to arc length measure yields the global Dirichlet integral. For a subset \( E \subset \mathbb{T} \), a localized version is
\[
D_{\zeta,E}(f) = \frac{1}{2\pi} \int_E \frac{|f^*(\zeta) - f^*(\eta)|^2}{|\zeta - \eta|^2} |d\eta|.
\]

In the context of strongly local Dirichlet spaces \( (X, \mathcal{F}, \mathcal{E}, m) \), and for \( f \in \mathcal{F} \) (domain of the Dirichlet form), the energy measure \( \Gamma(f) \) is a Radon measure, and for a measurable set \( A \subset X \),
\[
\int_A d\Gamma(f) = \Gamma(f)(A)
\]
is the local Dirichlet integral of \( f \) over \( A \) [2008.01492].

For metric measure spaces with an intrinsic metric \( d \) from the Dirichlet form, the function \( d_y(x) := d(x, y) \) defines a distance function whose local Dirichlet integral over a subset \( U \) is \( \mathcal{E}_U(d_y, d_y) = \int_U d\Gamma(d_y) \) [1208.4955].

## 2. Energy of Distance Functions

The Dirichlet integral of distance functions, specifically those of the form \( f_y(x) = d(x, y) \), exhibits a canonical behavior in strongly local Dirichlet settings. Under the mild regularity conditions of doubling and a weak Poincaré inequality, and especially when the so-called Newtonian property holds, the following fundamental property is established [1208.4955, 2008.01492]:
- The energy measure \( \Gamma(d_y) \) satisfies \( \Gamma(d_y) = m \) almost everywhere, where \( m \) is the reference measure.
- The local Dirichlet integral over any open set \( U \) is \( \int_U d\Gamma(d_y) = m(U) \).
- For a ball \( B(x, r) \), \( \mathcal{E}_{B(x, r)}(d_y, d_y) = m(B(x, r)) \).

These results extend, via the Rademacher-type theorem, to any function which is 1-Lipschitz with respect to the intrinsic distance, reflecting the deep link between metric geometry and Dirichlet (energy) structures.

## 3. Local Dirichlet Integral in Harmonic Dirichlet Spaces

On the unit circle, the harmonic Dirichlet space \( \mathcal{D}(\mu) \) (for a Borel measure \( \mu \) on \( \mathbb{T} \)) consists of holomorphic functions with finite norm
\[
\|f\|^2_{\mathcal{D}(\mu)} = \|f\|^2_{H^2} + \int_{\mathbb{T}} D_\zeta(f)\, d\mu(\zeta)
\]
[2601.04987]. The local Dirichlet integral directly enters this norm as the integrand.

A central application is to distance outer functions \( f_{w,E} \) with prescribed modulus \( |f_{w,E}^*(\zeta)| = w(d(\zeta, E)) \) for a closed set \( E \subset \mathbb{T} \) and a suitable weight \( w \). Main two-sided estimates on \( D_\zeta(f_{w,E}) \) depend on geometric regularity properties of \( E \) such as being a \(\Lambda^1\) or \(\Lambda^2\)-set, and on monotonicity and concavity properties of \( w \).

## 4. Geometric and Analytic Distances via Dirichlet Forms

The interplay between the local Dirichlet integral of distance functions and intrinsic versus geodesic distances is crucial on irregular (notably fractal) spaces. In the framework of strongly local regular Dirichlet forms on compact metrizable spaces or self-similar fractals, one distinguishes:
- The analytic (intrinsic) distance
  \[
  d_{\mathrm{int}}(x, y) = \sup \{ f(y) - f(x) : f \in F \cap C(K),\ \mu_{\langle f\rangle} \leq \mu_{\rightarrow} \}
  \]
  where \( \mu_{\rightarrow} \) is a reference energy measure [1311.4971].
- The geometric (geodesic) distance \( d_{\mathrm{geo}} \), defined via the pullback length of continuous curves by harmonic maps.

For wide classes of fractals (e.g., the Sierpinski gasket), it is established that these two notions of distance coincide, and analytic control over the local Dirichlet integrals of distance functions is essential to the proofs [1311.4971].

## 5. Multiplier Algebras and Carleson Measures

The Dirichlet integral of distance functions is intimately connected to the structure of multipliers of the Dirichlet space, via Carleson measure criteria. For distance outer functions, sharp estimates allow a precise characterization:
- \( f_{a,E} \) belongs to the multiplier algebra \( \mathcal{M}(\mathcal{D}) \) if and only if the measure \( (d(\zeta, E))^{2a-1}|d\zeta| \) is Carleson [2601.04987].
- The equivalence is established through the two-point characterization of Carleson measures and one-box or two-box testing conditions linked, via local Dirichlet integrals, to the geometry of \( E \).

This framework provides explicit embedding and multiplier criteria in terms of local integral estimates for a wide variety of closed sets \( E \), including Cantor-type sets where Hausdorff dimension enters the sharp threshold for membership.

## 6. Capacitary and Cyclicity Applications

The local Dirichlet integral of distance functions underlies capacity theory in function spaces:
- The capacity of a set \( E \subset \mathbb{T} \) with respect to \( \mu \) is defined as the infimum of \( \|u\|^2_{\mathcal{D}(\mu)} \) over \( u \geq 1 \) on \( E \).
- Sufficient conditions for a set to be polar (capacity zero) are given in terms of integrals involving the local Dirichlet integrals of distance-type outer functions, depending critically on the growth of tubular measures around \( E \) [2601.04987].

In the theory of invariant subspaces, especially regarding the Brown–Shields conjecture, the vanishing of distance outer functions on a polar set \( E \) (as detected via their local Dirichlet integrals) often serves as the key analytic ingredient for showing cyclicity of outer functions.

## 7. Extensions, Examples, and Open Directions

Research into the local Dirichlet integral of distance functions encompasses classical and fractal geometries, potentially singular measures, and reproducing kernel Hilbert spaces of Nevanlinna–Pick type. For generalized Cantor sets \( E \), it is shown that for distance outer functions, membership in the Dirichlet or multiplier algebras is characterized by exponents in terms of \( \dim_H(E) \), showing the sharpness of local integral estimates [2601.04987]. Notable open problems include the extension of these criteria to broader classes of function spaces and full resolution of the Brown–Shields cyclicity problem. The analytic machinery of local Dirichlet integrals retains a central role throughout potential theory and the analysis of energy measures in both classical and highly singular settings.

Source: https://www.emergentmind.com/topics/local-dirichlet-integral-of-distance-functions