 Model of a regularity structure

A model of a regularity structure realizes the abstract symbols of a regularity structure $(A,T,G)$ as concrete distributions, consistently across expansion points. It comprises continuous linear realization maps ${\Pi }_x:T\to {\mathcal{S}}^{\prime }({\mathbb{R}}^d)$ and maps ${\Gamma }_{xy}\in G$ satisfyingThus ${\Gamma }_{xy}$ transports an expansion from $y$ to $x$ without changing the represented distribution.^[ref]

Analytic bounds connect each symbol's assigned order $\alpha$ to its actual small-scale size. For ordinary isotropic scaling, put ${\phi }_x^{\lambda }(z)={\lambda }^{-d}\phi ((z-x)/\lambda )$. For $\tau \in T_{\alpha }$ one requiresThese bounds are uniform on each compact set of base points, below each fixed upper order, for $0<\lambda \le 1$ and smooth test functions supported in the unit ball with $C^r$ norm at most one; choose an integer $r>\max (0,-\inf A)$. Other scaling choices change the rescaled test functions and distance. Negative $\alpha$ allows singular distributions, whose small-scale averages can grow as $\lambda$ shrinks.^[ref]

In the one-dimensional polynomial model of a regularity structure, $({\Pi }_x{X}^n)(z)=(z-x{)}^n$ and ${\Gamma }_{xy}X=X+x-y$. For $x=1,y=2$,A change of variable $z=x+\lambda w$ in the test function pairing gives exactly ${\lambda }^n\int w^n\phi (w)dw$, explaining the analytic bound for the monomial $X^n$. The realization maps supply information absent from the abstract triple alone.