Universal Integral Means Spectrum Definition

• The universal integral means spectrum is an extremal function analyzing the boundary growth of derivative moments in normalized univalent functions, key to understanding their conformal distortion and harmonic-measure multifractality.
• It’s determined through integral means spectrum calculations and the distinction between bounded and unbounded schlicht maps, using key results like the Koebe function and Makarov’s identity for precise boundaries.
• The universal spectrum's convexity and Teichmüller theory applications enable assessing the nonattainment of boundary extremals and understanding phenomena like Brennan’s conjecture, knee-shape structures, and SLE universality.

The universal integral means spectrum is an extremal function describing the maximal boundary growth of derivative moments over normalized univalent functions. For the schlicht class

$$\mathcal S=\{f:\mathbb D\to\mathbb C:\ f\text{ univalent},\ f(0)=0,\ f'(0)=1\},$$

the integral means spectrum of $f$ is

$$\beta_f(t)=\limsup_{r\to1^-} \frac{\log\displaystyle\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta} {|\log(1-r)|}, \qquad t\in\mathbb R,$$

and the universal spectrum is

$B(t)=\sup_{f\in\mathcal S}\beta_f(t).$

The bounded universal spectrum is

$B_b(t)=\sup_{f\in\mathcal S_b}\beta_f(t),$

where $\mathcal S_b$ is the subclass of bounded normalized univalent functions. These spectra encode extremal conformal distortion, harmonic-measure multifractality, and boundary singularity structure. Their precise determination is connected with the Koebe function, Brennan’s conjecture, quasiconformal Teichmüller theory, SLE, Gaussian multiplicative chaos, and thermodynamic formalism.

1. Definitions, normalizations, and basic structure

For a conformal map $f$ on the unit disk, the integral means

$$M_t(f,r)=\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta$$

measure the angularly averaged growth of $f'$ on circles approaching the boundary. The exponent $\beta_f(t)$ records the leading power-law behavior: $f$0 in the logarithmic sense when the corresponding limit exists. Positive $f$1 emphasizes large values of $f$2, while negative $f$3 emphasizes small values.

The universal spectrum takes the supremum over a class of maps rather than describing a single conformal map. The distinction between $f$4 and $f$5 reflects the different boundary behavior of bounded and unbounded schlicht maps. Makarov’s identity gives

$f$6

Thus the unbounded contribution $f$7 must be compared with the bounded spectrum. This relation is one of the principal mechanisms by which estimates for bounded univalent functions yield information for the full schlicht class (Jin, 2024).

The spectrum is convex in $f$8, as follows from Hölder’s inequality. Convexity constrains possible phase transitions and forces affine continuation in regions where the extremal boundary singularity has saturated the available distortion bound. The value at $f$9 is always

$$\beta_f(t)=\limsup_{r\to1^-} \frac{\log\displaystyle\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta} {|\log(1-r)|}, \qquad t\in\mathbb R,$$0

Two conventions are common. The unrooted means use $$\beta_f(t)=\limsup_{r\to1^-} \frac{\log\displaystyle\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta} {|\log(1-r)|}, \qquad t\in\mathbb R,$$1 directly. The rooted means use

$$\beta_f(t)=\limsup_{r\to1^-} \frac{\log\displaystyle\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta} {|\log(1-r)|}, \qquad t\in\mathbb R,$$2

For finite $$\beta_f(t)=\limsup_{r\to1^-} \frac{\log\displaystyle\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta} {|\log(1-r)|}, \qquad t\in\mathbb R,$$3, the corresponding exponents differ by a factor of $$\beta_f(t)=\limsup_{r\to1^-} \frac{\log\displaystyle\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta} {|\log(1-r)|}, \qquad t\in\mathbb R,$$4. Precise comparisons therefore require fixing the normalization before interpreting formulas.

A related averaged spectrum arises for random conformal maps: $$\beta_f(t)=\limsup_{r\to1^-} \frac{\log\displaystyle\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta} {|\log(1-r)|}, \qquad t\in\mathbb R,$$5 The expectation is taken before the logarithm and the limiting operation. This is an annealed spectrum and need not coincide with the almost-sure spectrum of a realization, as emphasized in the analysis of whole-plane SLE (Beliaev et al., 2016).

2. Universal extremals and the Koebe comparison

The Koebe function

$$\beta_f(t)=\limsup_{r\to1^-} \frac{\log\displaystyle\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta} {|\log(1-r)|}, \qquad t\in\mathbb R,$$6

is the fundamental extremal map for integral means in the normalized schlicht class. Baernstein’s star-function theorem states that, for $$\beta_f(t)=\limsup_{r\to1^-} \frac{\log\displaystyle\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta} {|\log(1-r)|}, \qquad t\in\mathbb R,$$7,

$$\beta_f(t)=\limsup_{r\to1^-} \frac{\log\displaystyle\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta} {|\log(1-r)|}, \qquad t\in\mathbb R,$$8

where the star-function compares the largest angular integrals over sets of prescribed measure. Consequently,

$$\beta_f(t)=\limsup_{r\to1^-} \frac{\log\displaystyle\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta} {|\log(1-r)|}, \qquad t\in\mathbb R,$$9

for the relevant positive and negative exponents. This is a pointwise-in-$B(t)=\sup_{f\in\mathcal S}\beta_f(t).$0 comparison and is stronger than an asymptotic inequality. It implies that the Koebe function supplies the natural extremal comparison for universal integral means (Girela et al., 2019).

The explicit Koebe spectrum is

$B(t)=\sup_{f\in\mathcal S}\beta_f(t).$1

Indeed, $B(t)=\sup_{f\in\mathcal S}\beta_f(t).$2, and integration of powers of $B(t)=\sup_{f\in\mathcal S}\beta_f(t).$3 yields the displayed branches (Jin, 2024).

The Koebe comparison does not by itself determine $B(t)=\sup_{f\in\mathcal S}\beta_f(t).$4 throughout the entire parameter range. It identifies an extremal function for the integral means inequalities, while the universal spectrum also involves the distinction between bounded and unbounded maps and the possibility of sharper extremals in different classes. Known relations include

$B(t)=\sup_{f\in\mathcal S}\beta_f(t).$5

and

$B(t)=\sup_{f\in\mathcal S}\beta_f(t).$6

For $B(t)=\sup_{f\in\mathcal S}\beta_f(t).$7, one has

$B(t)=\sup_{f\in\mathcal S}\beta_f(t).$8

while for sufficiently negative $B(t)=\sup_{f\in\mathcal S}\beta_f(t).$9,

$B_b(t)=\sup_{f\in\mathcal S_b}\beta_f(t),$0

The conjectural Kraetzer formula for the bounded spectrum is

$B_b(t)=\sup_{f\in\mathcal S_b}\beta_f(t),$1

The quadratic branch is interpreted as a multifractal high-temperature regime, and the linear branches as frozen or terminating regimes. The status of this formula is not uniform across the parameter interval: the quadratic upper bound is established in the range $B_b(t)=\sup_{f\in\mathcal S_b}\beta_f(t),$2, but equality in the interior has been challenged by recent work (Binder et al., 16 Oct 2026).

3. Convolution, star-functions, and comparison principles

For analytic functions

$B_b(t)=\sup_{f\in\mathcal S_b}\beta_f(t),$3

the Hadamard convolution is

$B_b(t)=\sup_{f\in\mathcal S_b}\beta_f(t),$4

A function $B_b(t)=\sup_{f\in\mathcal S_b}\beta_f(t),$5 is bound preserving if

$B_b(t)=\sup_{f\in\mathcal S_b}\beta_f(t),$6

for every $B_b(t)=\sup_{f\in\mathcal S_b}\beta_f(t),$7. Such functions admit a representation

$B_b(t)=\sup_{f\in\mathcal S_b}\beta_f(t),$8

and satisfy

$B_b(t)=\sup_{f\in\mathcal S_b}\beta_f(t),$9

Minkowski’s inequality gives

$\mathcal S_b$0

Therefore convolution by a bound-preserving factor cannot increase the corresponding integral-means exponents in the range $\mathcal S_b$1.

The Baernstein star-function is defined for a subharmonic function $\mathcal S_b$2 by

$\mathcal S_b$3

Star-majorization is stronger than ordinary integral-means domination. If

$\mathcal S_b$4

then

$\mathcal S_b$5

for every $\mathcal S_b$6. However, star-function inequalities are not generally preserved under convolution. There exist analytic functions $\mathcal S_b$7 individually dominated by the identity in the star order for which

$\mathcal S_b$8

There are also univalent convexity-preserving factors $\mathcal S_b$9 for which

$f$0

A positive result holds for the class $f$1 of Steiner symmetric univalent functions. If $f$2 and $f$3 is convexity preserving, then

$f$4

The additional geometric symmetry permits the extension of convolution contraction from the Banach range $f$5 to the quasi-Banach range $f$6 (Girela et al., 2019).

4. Teichmüller theory and nonattainment of bounded extremals

The universal Teichmüller space parametrizes normalized quasiconformal extensions of schlicht functions. If $f$7 is a Beltrami coefficient on $f$8, let $f$9 be the normalized quasiconformal map that is conformal on $$M_t(f,r)=\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta$$0. The universal Teichmüller space is

$$M_t(f,r)=\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta$$1

where equivalent coefficients induce the same normalized function on $$M_t(f,r)=\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta$$2.

For each fixed $$M_t(f,r)=\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta$$3, the integral means spectrum induces a functional

$$M_t(f,r)=\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta$$4

This functional is continuous in the Teichmüller metric. It is also continuous on the closure of the universal Teichmüller curve modeled by pre-Schwarzian derivatives

$$M_t(f,r)=\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta$$5

in the space

$$M_t(f,r)=\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta$$6

A pre-Schwarzian $$M_t(f,r)=\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta$$7 reconstructs a normalized function through

$$M_t(f,r)=\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta$$8

The asymptotic universal Teichmüller space identifies coefficients whose difference tends to zero at the boundary. The integral means spectrum is invariant under this asymptotic equivalence: $$M_t(f,r)=\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta$$9 Consequently, the spectrum defines a continuous functional on the asymptotic Teichmüller space as well (Jin, 2024).

A principal strictness theorem states that every fixed quasiconformally extendible function lies strictly below the bounded universal spectrum: $f'$0 for $f'$1, the class of bounded normalized schlicht functions admitting quasiconformal extensions. At the same time,

$f'$2

Thus the supremum can be approached by quasiconformally extendible functions but is not attained by any individual member of that class.

The proof uses a multiplicative deformation. Given $f'$3, one constructs a quasiconformally extendible map $f'$4 satisfying

$f'$5

Then

$f'$6

and strict monotonicity of the spectrum on the relevant positive or negative tail yields

$f'$7

This shows that any extremal, if it exists, must lie on the boundary of the relevant Teichmüller model rather than in its quasiconformal interior.

5. Brennan’s conjecture and the bounded universal spectrum

Brennan’s conjecture concerns the integrability of the derivative of a conformal map $f'$8: $f'$9 Writing $\beta_f(t)$0, a change of variables gives

$\beta_f(t)$1

The endpoint formulation in terms of integral means is

$\beta_f(t)$2

A signed-area and critical-point argument establishes the bounded-map estimate

$\beta_f(t)$3

At $\beta_f(t)$4, this yields

$\beta_f(t)$5

Makarov’s identity then gives

$\beta_f(t)$6

Slit-type examples provide the opposite inequality, so

$\beta_f(t)$7

This is the integral-means formulation of Brennan’s conjecture (Binder et al., 16 Oct 2026).

The proof introduces, for a bounded univalent map $\beta_f(t)$8, the potential

$\beta_f(t)$9

and the associated map

$f$00

Critical points of $f$01 correspond to solutions of $f$02. The sign of the Jacobian $f$03 distinguishes local maxima from saddles of the potential. An index theorem shows that maxima dominate saddles. Integrating this count yields a signed-area inequality, which is converted into a weighted radial estimate for

$f$04

Letting $f$05 produces the exponent $f$06.

The same work announces strictness,

$f$07

which would disprove equality in Kraetzer’s conjecture throughout the nontrivial interior of the quadratic range. The non-strict bound is proved, whereas the detailed strict argument is stated to be deferred (Binder et al., 16 Oct 2026). Earlier Teichmüller-theoretic work also proves strict inequality for each fixed quasiconformally extendible function, but that pointwise result does not by itself determine the universal envelope.

6. Model spectra: SLE, logarithmic tracts, and random fields

The universal spectrum is connected to several explicit but generally non-universal model spectra.

For bounded/exterior whole-plane $f$08, the averaged spectrum is

$f$09

where

$f$10

$f$11

and

$f$12

The transition parameters are

$f$13

The tip branch dominates for sufficiently negative moments, the bulk branch describes generic boundary behavior, and the linear branch results from convexity and freezing. In the bounded formulation, a second-point spectrum associated with the origin is mathematically present but is hidden in the full angular integral by the earlier tip transition (Beliaev et al., 2016).

For interior whole-plane SLE, a generalized spectrum incorporates the image-size parameter $f$14: $f$15 The line $f$16 gives the usual interior spectrum, while $f$17 corresponds to the bounded exterior formulation. The conjectured phase diagram contains tip, bulk, infinity, and linear branches. The infinity branch is

$f$18

Rigorous equality with this branch has been extended to a region $f$19, and for $f$20 to

$f$21

The full four-phase formula remains conjectural (Ho, 2022).

A different tract-dependent spectrum is defined for logarithmic tracts of entire functions in the Eremenko–Lyubich class $f$22. For rescaled tract maps $f$23,

$f$24

This is not the universal schlicht spectrum. It measures the fractal geometry of a fixed tract at infinity and controls transfer-operator convergence. The critical value

$f$25

separates convergence and divergence of the transfer operator. Hölder tracts have negative spectrum, and the resulting thermodynamic formalism yields pressure, conformal measures, Gibbs states, exponential mixing, a central limit theorem, and Bowen’s formula for the hyperbolic dimension (Mayer et al., 2017).

Random analytic models can reproduce the quadratic-to-linear profile associated with Kraetzer’s conjecture without belonging to the univalent class. The primitive of the randomized Riemann zeta function and the primitive of a holomorphic Gaussian multiplicative chaos derivative have almost surely

$f$26

The quadratic branch arises from log-correlated fluctuations, while the linear branch is a freezing transition. Both primitives are almost surely non-injective, so these results are analogues of the universal spectrum rather than proofs about normalized univalent functions (Duplantier et al., 27 Mar 2026).

The universal integral means spectrum therefore occupies a boundary position between extremal conformal geometry and a broad collection of model-specific theories. Its rigorous content includes sharp comparison principles, Teichmüller continuity, nonattainment within quasiconformal classes, the proof of Brennan’s conjecture, and extensive exact spectra for SLE, logarithmic tracts, Lévy–Loewner evolutions, and log-correlated random fields. Its complete determination, including the status of the interior quadratic regime and the existence or structure of universal extremals, remains a central problem in geometric function theory.