m

F Nous contacter


0

Documents  35k59 | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Virtualconference  The structure group revisited
Otto, Felix (Auteur de la Conférence) | CIRM (Editeur )

Following the treatment of a class of quasi-linear SPDE with Sauer, Smith, and Weber, we approach Hairer's regularity structure $(\mathrm{A},\ \mathrm{T},\ \mathrm{G})$ from a different angle. In this approach, the model space $\mathrm{T}$ is a direct sum over an index set that corresponds to specific linear combination of (decorated) trees, and thus amounts to a more parsimonious parameterization of the solution manifold. Moreover, the same structure group $\mathrm{G}$ captures different classes of equations; depending on the class, different (sub)spaces $\mathrm{T}$ matter, which correspond to linear combinations of different types of trees.

In our approach to $\mathrm{G}$, we start from the space of tuples $(a,p)$ of (polynomial) nonlinearities $a$ and space-time polynomials $p$, which we think of parameterizing the entire manifold of solutions $u$ (satisfying the equation up to space-time polynomials) via re-centering. We consider the actions of a shift by a space-time vector $h\in \mathbb{R}^{d+1}$ and of tilt by space-time polynomial $q$ on $(a,p)$-space, where, crucially, the tilt by a constant is treated as a shift of the (one-dimensional) $u$-space. We consider the infinitesimal generators of these actions, and pull them back as derivations on the algebra of formal power series $\mathbb{R}[[\mathrm{z}_{k},\ \mathrm{z}_{\mathrm{n}}]]$ in the natural coordinates $\{\mathrm{z}_{k}\}_{k\in \mathbb{N}_{0}}$ and $\{\mathrm{z}_{\mathrm{n}}\}_{\mathrm{n}\in \mathbb{N}_{0}^{d+1}-\{\mathrm{O}\}}$ of $(a,\ p)$-space. This defines a Lie algebra $\mathrm{L}\subset \mathrm{D}\mathrm{e}\mathrm{r}(\mathbb{R}[[\mathrm{z}_{k},\ \mathrm{z}_{\mathrm{n}}]])$ . Loosely speaking, the corresponding Lie group coincides with $\mathrm{G}^{*}$, but we follow an algebraic path to construct G.

As a group, $\mathrm{G}\subset(\mathrm{T}^{+})^{*}$ arises in the standard way from the Hopf algebra $\mathrm{T}^{+}$ that is obtained from dualizing the universal enveloping algebra $\mathrm{U}(\mathrm{L})$ . Here, gradedness and finiteness properties are needed for the well-posedness of the co-product $\triangle^{+}:\mathrm{T}^{+}\rightarrow \mathrm{T}^{+}\otimes \mathrm{T}^{+}$ and the antipode. The passage from $\mathbb{R}[[\mathrm{z}_{k},\ \mathrm{z}_{\mathrm{n}}]]$ to a smaller (linear) subspace $\mathrm{T}^{*}$ is needed for dualizing the module defined through $\mathrm{L}\subset$ End(T$*$) to obtain the co-module $\triangle:\mathrm{T}\rightarrow \mathrm{T}^{+}\otimes \mathrm{T}$. This yields the representation $\mathrm{G}\subset$ End(T). Both $\triangle$ and $\triangle^{+}$ satisfy the postulates of regularity structures, in particular the properties that intertwine $\triangle, \triangle^{+}$, and the family of re-centering maps $\mathcal{J}_{\mathrm{n}}:\mathrm{T}\rightarrow \mathrm{T}^{+}$. The latter relies on choosing a natural basis of $\mathrm{U}(\mathrm{L})$ , different from the standard Poincar\'{e}-Birkhoff-Witt basis, for dualization.

This is joint work with P. Linares and M. Tempelmayr.
Following the treatment of a class of quasi-linear SPDE with Sauer, Smith, and Weber, we approach Hairer's regularity structure $(\mathrm{A},\ \mathrm{T},\ \mathrm{G})$ from a different angle. In this approach, the model space $\mathrm{T}$ is a direct sum over an index set that corresponds to specific linear combination of (decorated) trees, and thus amounts to a more parsimonious parameterization of the solution manifold. Moreover, the same ...

60H17 ; 35k59 ; 16T05

Filtrer

Z