Weighted Parabolic Representation Pairs

• Weighted parabolic representation pairs are defined as pairings that match data and solution spaces via semigroup representations in parabolic Cauchy problems using weighted tent spaces.
• They underpin singular-integral operator theory and maximal regularity by ensuring stability, uniqueness, and precise off-diagonal estimates in various analytic frameworks.
• These pairs extend beyond PDE analysis to influence moduli theory, numerical schemes, and operator-algebraic models, unifying methods through weighted structural insights.

In the available literature, “weighted parabolic representation pairs” designates several related but nonidentical constructions built around a common pattern: a parabolic object is encoded by a pair, or a family of paired objects, together with weights that govern scaling, regularity, stability, or geometric position. The most developed analytic usage arises for parabolic Cauchy problems in weighted tent spaces, where source terms, solutions, and derivatives occupy distinct but precisely matched spaces linked by semigroup representations. Closely related language also appears in harmonic analysis of parabolic weights, in weighted boundary-value theory, in nonlocal parabolic equations, in moduli of punctured-surface representations, and in several more specialized geometric, numerical, and operator-algebraic settings (Auscher et al., 2023).

1. Weighted tent-space representation pairs for parabolic Cauchy problems

A central usage of the term concerns the Cauchy problem

$$\partial_t u(t,x)-\operatorname{div}_x\!\big(A(x)\nabla_x u(t,x)\big)=f(t,x), \qquad (t,x)\in (0,\infty)\times \mathbb{R}^n,$$

with initial condition $u(0,x)=0$, where $$A(x)\in L^\infty(\mathbb{R}^n;\mathrm{Mat}_n(\mathbb{C}))$$ is bounded, measurable, time-independent, and uniformly elliptic. Writing $L:=-\mathrm{div}(A\nabla)$ on $L^2(\mathbb{R}^n)$, one obtains an analytic semigroup $(e^{-tL})_{t\ge 0}$, and the solution is represented by Duhamel-type operators. The relevant function spaces are the weighted tent spaces $T^p_\beta$, defined in the parabolic case $m=2$ by

$\|f\|_{T^p_\beta} :=\left(\int_{\mathbb{R}^n} \left(\int_0^\infty \fint_{B(x,t^{1/2})}|t^{-\beta}f(t,y)|^2\,dy\,dt\right)^{p/2}dx\right)^{1/p}.$

Here “weighted” refers to the time weight $t^{-\beta}$ inside the conical square function, not to a spatial Muckenhoupt weight. The canonical representation formulas are

$u(0,x)=0$0

$u(0,x)=0$1

and

$u(0,x)=0$2

In this framework, the canonical weighted parabolic representation pair is the data/solution pair $u(0,x)=0$3. More precisely, data $u(0,x)=0$4 are represented by a solution $u(0,x)=0$5, with derivative information distributed across further shifted spaces: $u(0,x)=0$6 The decisive lower threshold is

$u(0,x)=0$7

and for $u(0,x)=0$8 and $u(0,x)=0$9, the Duhamel formula defines a unique global weak solution satisfying

$$A(x)\in L^\infty(\mathbb{R}^n;\mathrm{Mat}_n(\mathbb{C}))$$0

In this sense, a weighted parabolic representation pair is both a pairing of spaces and a pairing of represented quantities, encoded by semigroup-based singular integral operators (Auscher et al., 2023).

2. Semigroup, singular-integral, and maximal-regularity structure

The mapping theory behind these pairs is organized by off-diagonal estimates and operator-valued singular integrals on tent spaces. For families $$A(x)\in L^\infty(\mathbb{R}^n;\mathrm{Mat}_n(\mathbb{C}))$$1 acting on $$A(x)\in L^\infty(\mathbb{R}^n;\mathrm{Mat}_n(\mathbb{C}))$$2, the relevant parabolic off-diagonal bounds have the form

$$A(x)\in L^\infty(\mathbb{R}^n;\mathrm{Mat}_n(\mathbb{C}))$$3

with corresponding estimates for $$A(x)\in L^\infty(\mathbb{R}^n;\mathrm{Mat}_n(\mathbb{C}))$$4. These estimates place the Duhamel operator $$A(x)\in L^\infty(\mathbb{R}^n;\mathrm{Mat}_n(\mathbb{C}))$$5, the gradient operator $$A(x)\in L^\infty(\mathbb{R}^n;\mathrm{Mat}_n(\mathbb{C}))$$6, and the maximal regularity operator $$A(x)\in L^\infty(\mathbb{R}^n;\mathrm{Mat}_n(\mathbb{C}))$$7 into singular-integral classes of type $$A(x)\in L^\infty(\mathbb{R}^n;\mathrm{Mat}_n(\mathbb{C}))$$8, yielding the bounded extensions

$$A(x)\in L^\infty(\mathbb{R}^n;\mathrm{Mat}_n(\mathbb{C}))$$9

Existence is thus obtained through representation, but uniqueness is proved differently. If $L:=-\mathrm{div}(A\nabla)$0 is a global weak solution of the homogeneous equation with suitable tent-space control, then for all $L:=-\mathrm{div}(A\nabla)$1,

$L:=-\mathrm{div}(A\nabla)$2

Combined with vanishing boundary behavior at $L:=-\mathrm{div}(A\nabla)$3, this homotopy identity forces uniqueness. The boundary behavior is expressed through Whitney averages: $L:=-\mathrm{div}(A\nabla)$4 For the heat equation $L:=-\mathrm{div}(A\nabla)$5, one has $L:=-\mathrm{div}(A\nabla)$6 and hence

$L:=-\mathrm{div}(A\nabla)$7

which is stated to be sharp. The general theory is explicitly contrasted with classical $L:=-\mathrm{div}(A\nabla)$8 maximal regularity: the tent-space framework bypasses $L:=-\mathrm{div}(A\nabla)$9-boundedness, works with rough coefficients, and exploits local $L^2(\mathbb{R}^n)$0 space-time control through conical square functions and off-diagonal estimates (Auscher et al., 2023).

3. Harmonic-analysis meanings: factorization pairs and two-weight pairs

A second major usage occurs in parabolic harmonic analysis, where the relevant pairs are pairs of weights rather than pairs of function spaces. On $L^2(\mathbb{R}^n)$1, with parabolic rectangles

$L^2(\mathbb{R}^n)$2

and forward and backward halves $L^2(\mathbb{R}^n)$3, the forward parabolic maximal operator is

$L^2(\mathbb{R}^n)$4

The forward parabolic Muckenhoupt class $L^2(\mathbb{R}^n)$5 is defined by

$L^2(\mathbb{R}^n)$6

The Jones-type factorization theorem states that for $L^2(\mathbb{R}^n)$7,

$L^2(\mathbb{R}^n)$8

with $L^2(\mathbb{R}^n)$9 and $(e^{-tL})_{t\ge 0}$0. In this literature, a weighted parabolic representation pair is precisely such a factorization pair $(e^{-tL})_{t\ge 0}$1: $(e^{-tL})_{t\ge 0}$2 controls the past via $(e^{-tL})_{t\ge 0}$3, while $(e^{-tL})_{t\ge 0}$4 controls the future via $(e^{-tL})_{t\ge 0}$5. This pair is nonunique, and its role is closely tied to PBMO$(e^{-tL})_{t\ge 0}$6 and to the representation of positive supersolutions of the doubly nonlinear parabolic equation

$(e^{-tL})_{t\ge 0}$7

as products of powers of one-sided maximal functions (Kinnunen et al., 2014).

A more recent development replaces one-weight factorization by off-diagonal two-weight pairs $(e^{-tL})_{t\ge 0}$8 for parabolic fractional operators with time lag. For $(e^{-tL})_{t\ge 0}$9, the uncentered forward parabolic fractional maximal operator is

$T^p_\beta$0

and the forward parabolic fractional integral is

$T^p_\beta$1

The two-weight class $T^p_\beta$2 consists of pairs $T^p_\beta$3 satisfying the stated off-diagonal testing condition, with $T^p_\beta$4. Under the extra mild assumption $T^p_\beta$5, membership in $T^p_\beta$6 is equivalent to weak-type boundedness of both $T^p_\beta$7 and $T^p_\beta$8 from $T^p_\beta$9 to $m=2$0. In the one-weight case, these weak-type statements upgrade to strong-type equivalences. The lag parameter is robust: under $m=2$1, the classes are independent of the particular $m=2$2 (Kong et al., 2024).

4. Boundary-value and nonlocal PDE representation pairs

In weighted boundary-value theory, the language of representation pairs is used for the precise matching of boundary data spaces and interior solution spaces. The model parabolic problem is

$m=2$3

with spatial weight

$m=2$4

and temporal weight

$m=2$5

The boundary data spaces $m=2$6 and interior maximal-regularity spaces $m=2$7 are linked by anisotropic Poisson operators

$m=2$8

Typical weighted parabolic representation pairs are therefore

$m=2$9

with analogous Besov and Bessel-potential variants. Under parameter-ellipticity, the Lopatinskii–Shapiro condition, and the stated smoothness assumptions, the map

$\|f\|_{T^p_\beta} :=\left(\int_{\mathbb{R}^n} \left(\int_0^\infty \fint_{B(x,t^{1/2})}|t^{-\beta}f(t,y)|^2\,dy\,dt\right)^{p/2}dx\right)^{1/p}.$0

is an isomorphism from $\|f\|_{T^p_\beta} :=\left(\int_{\mathbb{R}^n} \left(\int_0^\infty \fint_{B(x,t^{1/2})}|t^{-\beta}f(t,y)|^2\,dy\,dt\right)^{p/2}dx\right)^{1/p}.$1 onto the corresponding data space, so the boundary/interior pair is not merely formal but an isomorphic representation of the problem (Hummel et al., 2019).

A related but distinct weighted pairing appears for nonlocal parabolic equations driven by symmetric stable operators on $\|f\|_{T^p_\beta} :=\left(\int_{\mathbb{R}^n} \left(\int_0^\infty \fint_{B(x,t^{1/2})}|t^{-\beta}f(t,y)|^2\,dy\,dt\right)^{p/2}dx\right)^{1/p}.$2 domains. With $\|f\|_{T^p_\beta} :=\left(\int_{\mathbb{R}^n} \left(\int_0^\infty \fint_{B(x,t^{1/2})}|t^{-\beta}f(t,y)|^2\,dy\,dt\right)^{p/2}dx\right)^{1/p}.$3, the weighted spaces use the measure $\|f\|_{T^p_\beta} :=\left(\int_{\mathbb{R}^n} \left(\int_0^\infty \fint_{B(x,t^{1/2})}|t^{-\beta}f(t,y)|^2\,dy\,dt\right)^{p/2}dx\right)^{1/p}.$4, and the parabolic Dirichlet exterior problem

$\|f\|_{T^p_\beta} :=\left(\int_{\mathbb{R}^n} \left(\int_0^\infty \fint_{B(x,t^{1/2})}|t^{-\beta}f(t,y)|^2\,dy\,dt\right)^{p/2}dx\right)^{1/p}.$5

is formulated in very weak form by the dual pairing

$\|f\|_{T^p_\beta} :=\left(\int_{\mathbb{R}^n} \left(\int_0^\infty \fint_{B(x,t^{1/2})}|t^{-\beta}f(t,y)|^2\,dy\,dt\right)^{p/2}dx\right)^{1/p}.$6

The associated bilinear form is

$\|f\|_{T^p_\beta} :=\left(\int_{\mathbb{R}^n} \left(\int_0^\infty \fint_{B(x,t^{1/2})}|t^{-\beta}f(t,y)|^2\,dy\,dt\right)^{p/2}dx\right)^{1/p}.$7

and the paper explicitly isolates several paired structures: the solution–test-function pair $\|f\|_{T^p_\beta} :=\left(\int_{\mathbb{R}^n} \left(\int_0^\infty \fint_{B(x,t^{1/2})}|t^{-\beta}f(t,y)|^2\,dy\,dt\right)^{p/2}dx\right)^{1/p}.$8, the solution–flux pair $\|f\|_{T^p_\beta} :=\left(\int_{\mathbb{R}^n} \left(\int_0^\infty \fint_{B(x,t^{1/2})}|t^{-\beta}f(t,y)|^2\,dy\,dt\right)^{p/2}dx\right)^{1/p}.$9, and, for the fractional Laplacian, the semigroup/Duhamel pair

$t^{-\beta}$0

This suggests that the representation-pair terminology extends naturally from local weighted maximal regularity to nonlocal weighted variational theory (Dong et al., 2023).

5. Moduli, stability, and geometric-group interpretations

In the theory of punctured-surface representations, a weighted parabolic representation pair is an intrinsically moduli-theoretic object. Let $t^{-\beta}$1 with $t^{-\beta}$2, $t^{-\beta}$3, and fixed parabolic types $t^{-\beta}$4 at the punctures. A parabolic representation pair is a pair $t^{-\beta}$5 where $t^{-\beta}$6 and $t^{-\beta}$7 is an $t^{-\beta}$8-tuple of parabolic subgroups such that $t^{-\beta}$9. A weighted parabolic representation pair adds a weight system $u(0,x)=0$00, with degree and slope

$u(0,x)=0$01

Stability and semistability are defined by comparing slopes of induced weighted parabolic sub-pairs, and polystability means decomposition into stable summands of equal slope. The corresponding parabolic representation pair variety $u(0,x)=0$02 is a closed subvariety of $u(0,x)=0$03, its weighted semistable locus admits a good categorical GIT quotient, its analytic germ is controlled by DGLAs and parabolic logarithmic flat bundles through a Riemann–Hilbert–Deligne correspondence, and polystability is equivalent to the existence of a $u(0,x)=0$04-good Hermitian metric solving explicit moment-map equations. In this setting, “weighted” governs stability, GIT linearization, and Kobayashi–Hitchin theory rather than space-time regularity (Hu et al., 25 Sep 2025).

A different geometric usage appears in the theory of two-parabolic Kleinian groups. There, a parabolic generating pair is an unordered pair $u(0,x)=0$05 of noncommuting parabolic elements generating a non-elementary Kleinian group. The paper organizes these pairs by weighted graphs associated with Heckoid orbifolds: edges labeled by $u(0,x)=0$06 represent parabolic loci, while finite integer labels record cone indices on singular arcs. In that language, a parabolic generating pair is represented by a “red thin” geodesic arc joining components of the parabolic locus. The main classification states that every hyperbolic $u(0,x)=0$07-bridge link group has precisely two parabolic generating pairs up to equivalence, namely the upper meridian pair and the lower meridian pair, whereas every Heckoid group has a unique parabolic generating pair up to equivalence. Here the weights are orbifold and Farey-graph parameters, not analytic weights on function spaces (Aimi et al., 2020).

6. Discrete and operator-algebraic variants

The expression also appears in numerical analysis, where the pair is not a pair of spaces or weights but a pair of discrete derivative representations. For the parabolic problem

$u(0,x)=0$08

the weighted and shifted $u(0,x)=0$09-step BDF method combines the standard BDF symbol $u(0,x)=0$10 with its shifted counterpart $u(0,x)=0$11 according to

$u(0,x)=0$12

leading to the scheme

$u(0,x)=0$13

In this literature, the “representation pair” is the weighted linear combination of the BDF$u(0,x)=0$14 and shifted-BDF$u(0,x)=0$15 representations of the time derivative. The combination enlarges the $u(0,x)=0$16-stability region, and corrected start-up terms are introduced to recover the desired $u(0,x)=0$17th-order convergence for nonsmooth data, including discontinuous source terms and nonsmooth initial values (Chen et al., 2 Sep 2025).

An operator-algebraic version replaces differential operators by semigroups satisfying the partial Weyl commutation relation. On $u(0,x)=0$18, a parabolic representation pair is a pair of strongly continuous semigroups of isometries realizing

$u(0,x)=0$19

The weighted model is

$u(0,x)=0$20

together with the multiplication semigroup $u(0,x)=0$21. This weighted pair satisfies the same partial Weyl commutation relation and generates a weak$u(0,x)=0$22-closed algebra unitarily equivalent to the standard parabolic algebra via conjugation by the quadratic-phase multiplier $u(0,x)=0$23. In the classification of strongly irreducible isometric representations, the associated quadratic-phase subspaces

$u(0,x)=0$24

encode the weighted structure of the representation (Kastis et al., 2020).

Taken together, these usages indicate that “weighted parabolic representation pair” is not a single standardized definition. In analysis, it most often denotes a canonical matching between weighted data spaces and represented solution or operator spaces; in moduli theory, it denotes a representation equipped with parabolic subgroups and weights; in geometry, it may refer to weighted graph models for parabolic generators; and in discrete or operator-algebraic settings, it denotes a weighted pairing of semigroup or time-stepping representations. The unifying theme is the organization of parabolic structure through a paired object whose admissibility is controlled by weights.