Escobar Cheeger Constant

• The Escobar Cheeger constant is a boundary-sensitive isoperimetric invariant defined on manifolds with boundary, optimizing the ratio of interior to boundary areas.
• It plays a crucial role in controlling the first Steklov eigenvalue and extends to discrete graphs and higher-order settings with precise isoperimetric inequalities.
• Generalizations such as Jammes-type constants and higher-order Escobar constants provide sharp spectral estimates, influencing both continuous and discrete geometric analysis.

The Escobar Cheeger constant is a boundary-sensitive isoperimetric invariant associated with the Steklov problem on manifolds with boundary. In the formulation recalled for a compact connected Riemannian manifold $M$ with smooth boundary, it is

$$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$

The denominator measures how much of $A$ lies on the boundary $\partial M$, while the numerator measures the “interior boundary” of $A$, namely the part of $\partial A$ lying inside $M$ (Hua et al., 6 Sep 2025). In contrast with the classical Cheeger constant, which controls Laplace-type spectra through bulk volume and interior boundary, the Escobar constant is adapted to Steklov eigenvalues and boundary geometry; later work extends the same idea to finite graphs, higher-order Steklov inequalities, and planar higher-order Escobar constants (Hassannezhad et al., 2017, Hassannezhad et al., 2019).

1. Classical definition and boundary-isoperimetric structure

Escobar’s constant is defined by minimizing an interior-to-boundary ratio over subsets $A\subset M$ subject to the admissibility constraint

$$\operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M).$$

This is the boundary analogue of the half-measure restriction familiar from Cheeger theory, but here the relevant size functional is the amount of boundary captured by $A$, not the Riemannian volume of $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$0 itself (Hua et al., 6 Sep 2025).

The geometric interpretation is intrinsic to the Steklov setting. The numerator

$$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$1

measures the new interface created inside the manifold by cutting out $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$2, whereas the denominator

$$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$3

measures the portion of the ambient boundary on which Steklov data live (Hua et al., 6 Sep 2025). This is why the Escobar constant is naturally described as a boundary-sensitive isoperimetric quantity.

A related but notationally different framework appears in the study of planar domains. For a bounded planar domain $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$4, one paper defines, for non-empty open subsets $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$5 with piecewise smooth boundary, the decomposition

$$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$6

and writes the Escobar ratio as

$$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$7

with the convention that $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$8 if $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$9 (Hassannezhad et al., 2019). That paper further states that $A$0 is the classical Escobar constant and that $A$1, $A$2, are higher-order analogues (Hassannezhad et al., 2019). The coexistence of $A$3 and $A$4 indicates that the literature uses closely related but convention-dependent normalizations.

2. Steklov eigenvalues and first-order Cheeger-type inequalities

The principal role of the Escobar Cheeger constant is spectral. In the Steklov problem, the first non-trivial eigenvalue is governed by mixed interior-boundary isoperimetry rather than by the ordinary Cheeger ratio. Hassannezhad and Miclo explicitly place their work as an extension of the Cheeger type inequality for the first nonzero Steklov eigenvalue previously studied by Escobar in 1997 and by Jammes in 2015 (Hassannezhad et al., 2017).

In the form recorded there, Jammes’ inequality is

$A$5

where

$A$6

Within that framework, $A$7 is essentially the classical Cheeger constant, while $A$8 is the boundary or Steklov analogue; their product reflects the fact that Steklov spectra depend simultaneously on bulk connectivity and boundary accessibility (Hassannezhad et al., 2017).

A later generalized Cheeger framework on finite graphs yields an explicit Escobar-type bound for the first non-trivial discrete Steklov eigenvalue: $A$9 Here $\partial M$0 is the discrete analogue of Escobar’s constant, while $\partial M$1 is a Jammes-type factor. The upper estimate

$\partial M$2

is highlighted as sharp (Hua et al., 6 Sep 2025). This makes the Escobar constant the natural upper-control quantity for $\partial M$3, with the lower bound requiring an additional bulk-degree term.

3. Discrete analogue on finite weighted graphs

For a finite weighted graph $\partial M$4 with boundary subset $\partial M$5, the relevant boundary measure is

$\partial M$6

so that $\partial M$7 for $\partial M$8 and $\partial M$9 otherwise (Hua et al., 6 Sep 2025). The generalized Cheeger constant is extended to measures that may vanish on vertices by

$A$0

and the discrete Escobar Cheeger constant is the special case

$A$1

In this setting, $A$2 plays the role of boundary measure, while

$A$3

plays the role of interior boundary size (Hua et al., 6 Sep 2025).

This discrete formulation is embedded in a reversible weighted-graph Steklov theory. The proof strategy first establishes a generalized Cheeger inequality for graph Laplacians,

$A$4

and then passes from Laplacian eigenvalues to Steklov eigenvalues by accelerating the dynamics on the interior vertices $A$5. With

$A$6

the relevant Laplacian eigenvalues converge as

$A$7

yielding the Steklov inequalities in the limit (Hua et al., 6 Sep 2025).

Sharpness is illustrated by explicit examples. For the path graph $A$8 with boundary $A$9, weights $\partial A$0, and measure

$\partial A$1

one has

$\partial A$2

This shows that the estimate has the correct order and is sharp in $\partial A$3 (Hua et al., 6 Sep 2025).

4. Higher-order generalizations

The higher-order theory replaces a single test region by $\partial A$4-tuples of disjoint regions. Hassannezhad and Miclo define the $\partial A$5-th Cheeger-Steklov constant by

$\partial A$6

and prove, in finite spaces, measurable spaces, and Riemannian manifolds, that

$\partial A$7

for a universal constant $\partial A$8 (Hassannezhad et al., 2017). In the same work they also obtain improved logarithmic versions such as

$\partial A$9

in the measurable and manifold settings, with an additional $M$0 factor in the finite-state case (Hassannezhad et al., 2017).

In the manifold case, the Steklov-adapted isoperimetric quantities are defined from an open set $M$1 by

$M$2

where $M$3 and $M$4 (Hassannezhad et al., 2017). The paper states that Escobar’s original idea is encoded in the quantity $M$5 or, in the manifold notation, $M$6: a boundary-to-volume ratio measuring how strongly a set $M$7 interacts with the Steklov boundary (Hassannezhad et al., 2017).

The proof architecture is itself part of the modern theory. In finite and measurable settings it is based on accelerated Markov operators; in the manifold setting it uses mass concentration deformations of the Laplace-Beltrami operator converging to the Steklov operator. An intermediary object, the Dirichlet-Steklov connectivity spectrum,

$M$8

or its manifold analogue, provides the bridge between spectral convergence and the final lower bound (Hassannezhad et al., 2017).

5. Higher-order Escobar constants on planar domains

A distinct but closely related development studies higher-order Escobar constants $M$9 for bounded planar domains. For $A\subset M$0,

$A\subset M$1

where $A\subset M$2 is the family of mutually disjoint $A\subset M$3-tuples of non-empty open sets in $A\subset M$4 with piecewise smooth boundary (Hassannezhad et al., 2019). In that terminology,

$A\subset M$5

and $A\subset M$6, $A\subset M$7, are the higher-order Escobar constants (Hassannezhad et al., 2019).

These constants are boundary-isoperimetric analogues of higher Cheeger constants. The paper states that $A\subset M$8 is scaling invariant, that $A\subset M$9 for bounded planar domains, and that $$\operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M).$$0. It also remarks that no positive universal lower bound exists, since for thin rectangles $$\operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M).$$1 as the width tends to $$\operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M).$$2 (Hassannezhad et al., 2019).

For the unit disk $$\operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M).$$3, the exact formula is

$$\operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M).$$4

obtained by matching upper and lower bounds through a regular $$\operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M).$$5-partition by congruent sectors or curvilinear triangular pieces (Hassannezhad et al., 2019). For a regular $$\operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M).$$6-gon $$\operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M).$$7, the same paper proves

$$\operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M).$$8

and, when $$\operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M).$$9,

$A$0

For an arbitrary Euclidean $A$1-gon $A$2 with smallest interior angle $A$3, it proves

$A$4

and for a fixed polygon there exists $A$5 such that

$A$6

(Hassannezhad et al., 2019). A recurring geometric theme is that extremal or near-extremal $A$7-tuples concentrate near the sharpest corner.

6. Relation to other constants and terminological boundaries

The term “Escobar Cheeger constant” sits inside a broader family of isoperimetric quantities, but several nearby notions are not the same object.

Quantity	Defining feature	Spectral role
Classical Cheeger constant $A$8	Bulk/interior isoperimetry	Laplacian, $A$9
Escobar constant $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$00	Interior boundary over captured ambient boundary	Steklov, $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$01
Jammes-type constant	Boundary-sensitive quantity with bulk admissibility constraint	Lower bound factor for $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$02
Higher-order Escobar constants $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$03	$$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$04-tuple boundary-isoperimetric optimization	Higher Steklov bounds on planar domains

In the generalized graph framework, the authors explicitly say that $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$05 is the discrete analogue of Escobar’s $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$06, whereas $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$07 is the discrete analogue of Jammes’ constant; their generalized quantity $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$08 encompasses both by decoupling the denominator measure from the admissibility measure (Hua et al., 6 Sep 2025). In the higher-order theory, the boundary-sensitive component appears through $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$09 or $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$10, and the final lower bounds for $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$11 involve products of interior and boundary isoperimetric factors rather than a single ratio (Hassannezhad et al., 2017).

Several works clarify what the Escobar Cheeger constant is not. The standard Cheeger constant on hyperbolic manifolds and graphs,

$$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$12

is a classical global isoperimetric constant, and one paper states explicitly that it does not discuss Escobar’s version (Martínez-Pérez et al., 2016). The graph-theoretic Cheeger constant for distance-regular graphs is likewise the standard spectral graph quantity and “not an Escobar-specific variant” (Koolen et al., 2018). The Cheeger-like graph constant

$$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$13

for controlling the largest normalized Laplacian eigenvalue is introduced as a new graph analogue, not as an Escobar-type constant (Jost et al., 2019). The $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$14-cluster constant

$$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$15

is an $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$16-partition generalization of the classical Cheeger constant and does not mention Escobar (Caroccia, 2015). Conversely, the weighted Escobar constant introduced on smooth metric measure spaces with boundary arises from a generalized Sobolev trace inequality and is explicitly described as not involving any Cheeger-type constant or terminology (Posso, 2018).

In that sense, the Escobar Cheeger constant is best understood not as a generic name for any boundary variational constant, but as the Steklov-adapted boundary isoperimetric invariant whose discrete avatar is $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$17, whose first-eigenvalue role is coupled to Jammes-type lower bounds, and whose higher-order descendants include the Cheeger-Steklov constants $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$18 and the planar higher-order Escobar constants $$h_E(M)=\inf_{\substack{ A\subset M\ \operatorname{Area}(A\cap \partial M)\le \frac12 \operatorname{Area}(\partial M) }} \frac{\operatorname{Area}(\partial A\cap \operatorname{int}(M))}{\operatorname{Area}(A\cap \partial M)}.$$19 (Hua et al., 6 Sep 2025, Hassannezhad et al., 2017, Hassannezhad et al., 2019).