Double-Sided Price Inequality

• Double-sided price inequality is a framework that provides two-sided exponential bounds for the L2-norm of harmonic functions in Riemannian manifolds and measures market equilibrium efficiency.
• It employs geometric comparison methods, such as mean curvature constraints and the divergence theorem, to derive sharp analytic estimates in nonpositively curved spaces.
• In economic models, it underpins two-price equilibrium concepts that guarantee approximate welfare bounds in markets with indivisible goods.

Double-sided Price Inequality arises in various mathematical and economic contexts as a framework for quantifying two-sided bounds—typically exponential in nature—for functionals such as the $L^2$-norm of harmonic functions, or as a two-price system in market equilibria where each good is associated with distinct "owner" and "outsider" prices. The principal mathematical usage, as formally developed in Riemannian geometry, provides sharp growth constraints for harmonic functions on non-positively curved manifolds using geometric and analytic comparison. In economic theory, an analogous "double-sided" concept materializes in the two-price equilibrium (2PE) model for indivisible goods markets, capturing welfare guarantees in contexts where classical single-price (Walrasian) equilibria may not exist.

1. Double-Sided Price Inequality in Geometric Analysis

Consider a complete, simply connected Riemannian manifold $(M^n, g)$ with sectional curvatures clipped between two negative values, precisely,

$$k' \leq \sec_g \leq k \leq 0 \quad \text{with} \quad k = -a^2,\; k' = -b^2,\ 0 \le a \le b.$$

Given a basepoint $p \in M$, the geodesic ball and sphere of radius $R$ are denoted $B_R(p),\, S_R(p)$. For any nonconstant harmonic function $f: M \to \mathbb{R}$, one defines the auxiliary $\mu$-function:

$$\mu(R) = \frac{2 \int_{0}^{R} \!\int_{B_r(p)} |\nabla f|^2\, d\mu_g \, dr}{\int_{S_R(p)} f^2 \, d\sigma_R} \qquad (0 \leq \mu(R) < 1).$$

The double-sided Price inequality establishes two-sided exponential bounds for the $L^2$-energy of $f$ over balls via

$$C_1\, \exp \left(\int_1^R \frac{H_{k}(s)}{1-\mu(s)}\,ds\right) \leq \int_{B_R(p)} f^2\, d\mu_g \leq C_2\, \exp \left(\int_1^R \frac{H_{k'}(s)}{1-\mu(s)}\,ds\right)$$

for constants $C_1,C_2$ and all $R \ge 1$, where $H_{\kappa}(s)$ denotes the mean curvature of the geodesic sphere of radius $s$ in the space form of constant curvature $\kappa$,

$$H_{-a^2}(s) = (n-1) a \coth(a s), \qquad H_{-b^2}(s) = (n-1) b \coth(b s).$$

This inequality sharply encapsulates the interplay between the geometric curvature bounds and the analytic growth of harmonic functions, giving precise exponential rate control on the $L^2$-mass in balls of increasing radius (Cerbo et al., 13 Jan 2026).

2. Analytical Proof Architecture and Key Ingredients

The derivation proceeds via: (i) utilizing the divergence theorem for the radial vector field $X = f^2 \partial_r$, yielding a balance between surface and volume integrals involving the mean curvature and the $\mu$-function; (ii) incorporating a weighted cutoff $\phi'(r)$ chosen via a separation-of-variables ODE so $$\phi(r) = \exp\left(-\int_1^r \frac{H_k(s)}{1-\mu(s)} ds\right)$$; and (iii) comparison geometry (Rauch’s theorem) to sandwich $H(r)$ between $H_{-a^2}(r)$ and $H_{-b^2}(r)$. Integrating and applying asymptotic analysis recovers exponential growth/decay, leveraging sharp-volume estimates for model spaces and the monotonicity encoded by the radial weight.

3. Growth Estimates for $L^2$-Energy and Hyperbolic Volume Comparison

Choosing $\mu(r) \le \bar{\mu} < 1$ (or, in extremis, $\mu(r) \equiv 0$), the lower bound specializes to

$$\int_{B_R} f^2 \gtrsim \exp \left(\int_1^R H_k(s) \, ds \right) \approx \operatorname{Vol}_{k}(B_R),$$

while for $\mu(r) \to 0$ slowly (as with uniformly bounded $\| \nabla f \|_{L^2(B_R)}$), the upper bound yields

$$\int_{B_R} f^2 \lesssim \exp \left((n-1)b \int_1^R \coth(bs) ds \right) \sim \operatorname{Vol}_{k'}(B_R).$$

Thus, for $k = -a^2$, $k' = -b^2$, the volume growth follows $\sinh^{n-1}(aR)$ and $\sinh^{n-1}(bR)$, producing an optimal two-sided sharp comparison between model-space volumes and harmonic function $L^2$-energy (Cerbo et al., 13 Jan 2026).

4. Curvature Pinching, Sharpness, and Limiting Behavior

Curvature pinching $-b^2 \leq \sec_g \leq -a^2 < 0$ is critical for:

• Mean Curvature Comparison: $H_{-a^2}(r) \leq H(r) \leq H_{-b^2}(r)$ (Rauch's theorem) underpins the exponent scaling.
• Volume Bounds: $$\operatorname{Vol}_g(B_R) \approx \frac{\sinh^{n-1}(aR)}{(n-1)a}$$ below and $\lesssim \frac{\sinh^{n-1}(bR)}{(n-1)b}$ above, further constraining the asymptotics of energy growth.

In the model case $a=b$, exact hyperbolic growth is retrieved, evidencing optimality.

5. Application to $L^2$-Cohomology and the Singer Conjecture

A direct application is provided to the Singer conjecture in degree one, concerning the vanishing of the first $L^2$-Betti number on closed nonpositively curved manifolds. If a harmonic function $f$ with square-integrable gradient exists on the universal cover $M$, then $\mu(r) \to 0$ exponentially. The lower and upper bounds provided by the double-sided Price inequality imply $\int_{B_R} f^2$ grows between two distinct exponentials when $a < b$, yielding an analytic obstruction and thus excluding the existence of nonconstant $L^2$-gradient harmonic functions—hence enforcing $L^2$-Betti vanishing in the pinched setting (Cerbo et al., 13 Jan 2026). This demonstrates the analytic reach of the inequality in geometric topology.

6. Double-Sided Price Structures in Market Equilibrium

While unrelated to the geometric context, a double-sided (two-price) structure arises in economic equilibrium models as the two-price equilibrium (2PE) concept. Each item $j$ receives a low price $\check{p}_j$ for owners and a high price $\hat{p}_j$ for outsiders, always satisfying $\hat{p}_j \ge \check{p}_j$. The 2PE imposes a utility-maximization condition for buyers over all bundles and defines the discrepancy $$D(S,\hat{p},\check{p}) = \frac{\sum_j (\hat{p}_j-\check{p}_j)}{SW(S)}$$, measuring deviation from the Walrasian (single-price) case.

2PE always exists in markets with subadditive valuations over identical goods, with bounded discrepancy guaranteeing approximate welfare: any 2PE of discrepancy $d$ ensures social welfare at least $1/(d+1)$ of optimal. For $n$ subadditive buyers, discrepancy $d \le 2.5$ yields at least $2/7$-optimal welfare, and for heterogeneous subadditive buyers, discrepancy $d \le 6$ gives at least $1/7$-optimal welfare. These two-sided welfare bounds highlight the relevance of double-sided price structures for robust equilibrium existence and efficiency in market design (Feldman et al., 2021).

7. Summary Table: Double-Sided Price Inequality—Geometric vs. Economic Contexts

Domain	Core Inequality/Principle	Main Consequence
Riemannian Geometry	Exponential two-sided bound on $\int_{B_R} f^2$ using mean curvature and $\mu$	Controls harmonic energy growth, yields analytic obstructions to cohomology
Market Equilibrium (2PE)	Item-specific "low" (owner) and "high" (outsider) prices; discrepancy measure	Polylogarithmic welfare guarantees when single-price equilibrium fails

In both settings, the double-sided structure is essential for achieving sharp, robust conclusions—be it for analytic or economic optimality. The underlying unifying theme is the rigid sandwiching of a functional via two monotonic, model-governed bounds, yielding sharp control and facilitating impossibility or existence results.