Search arXiv⌕ Search

arXiv · math/0701010

Hopf algebras in dynamical systems theory

Abstract

The theory of exact and of approximate solutions for non-autonomous linear differential equations forms a wide field with strong ties to physics and applied problems. This paper is meant as a stepping stone for an exploration of this long-established theme, through the tinted glasses of a (Hopf and Rota-Baxter) algebraic point of view. By reviewing, reformulating and strengthening known results, we give evidence for the claim that the use of Hopf algebra allows for a refined analysis of differential equations. We revisit the renowned Campbell-Baker-Hausdorff-Dynkin formula by the modern approach involving Lie idempotents. Approximate solutions to differential equations involve, on the one hand, series of iterated integrals solving the corresponding integral equations; on the other hand, exponential solutions. Equating those solutions yields identities among products of iterated Riemann integrals. Now, the Riemann integral satisfies the integration-by-parts rule with the Leibniz rule for derivations as its partner; and skewderivations generalize derivations. Thus we seek an algebraic theory of integration, with the Rota-Baxter relation replacing the classical rule. The methods to deal with noncommutativity are especially highlighted. We find new identities, allowing for an extensive embedding of Dyson-Chen series of time- or path-ordered products (of generalized integration operators); of the corresponding Magnus expansion; and of their relations, into the unified algebraic setting of Rota-Baxter maps and their inverse skewderivations. This picture clarifies the approximate solutions to generalized integral equations corresponding to non-autonomous linear (skew)differential equations.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

J. F. Carinena, K. Ebrahimi-Fard, H. Figueroa, J. M. Gracia-Bondia. 2007-04-17. Hopf algebras in dynamical systems theory. https://doi.org/10.1142/s0219887807002211

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Group-free radial Kunze-Stein phenomenon on affine buildings

We give a geometric proof of the radial Kunze--Stein phenomenon on the good vertices of a thick, locally finite, regular affine building of irreducible type. The proof uses a positive spherical function, its joint eigenvalues for sphere averages, and the growth of vector-distance spheres. Conjugation by this function and complex interpolation yield a weighted $\ell^2$ estimate and the boundedness of radial operators with $\ell^p$ kernels for $1\leq p<2$. We also present proofs by the averaging operators norms, by the Schur test and by Helgason transform. A further interpolation gives weighted mixed-exponent estimates. No transitivity assumption on the automorphism group is required; in particular the argument applies to buildings of type $\widetilde A_2$ without a Bruhat--Tits realization.

math.CA↗

Borel Summability for Nonlinear Differential Systems on Characteristic Domains

We investigate singularly perturbed nonlinear complex differential systems of the form $\hbar \partial_x f = F (x, \hbar, f)$, where $\hbar$ is a small complex perturbation parameter. We give geometric and analytic conditions under which the formal perturbative solution associated with a fixed regular leading-order branch is locally uniformly Borel summable. This leads to an existence and uniqueness theorem of holomorphic solutions with prescribed perturbative expansion. We give an explicit triangular example and a self-contained application to the singularly perturbed Painlevé I equation.

math.CA↗

Necessary and sufficient conditions for universality limits

We derive necessary and sufficient conditions for universality limits for orthogonal polynomials associated to a fixed measure on the real line and related systems. One of our results is that the Christoffel--Darboux kernel has sine kernel asymptotics at a point $ξ$, with regularly varying scaling, if and only if the orthogonality measure (spectral measure) has a unique tangent measure at $ξ$ and that tangent measure is the Lebesgue measure. All previously known cases of sine kernel asymptotics, with absolutely continuous or singular measures, have regularly varying scaling. Our work is not limited to bulk universality; we show that the Christoffel--Darboux kernel has a regularly varying scaling limit with a nontrivial limit kernel if and only if the orthogonality measure has a unique tangent measure at $ξ$ and that tangent measure is not a point mass. The possible limit kernels correspond to homogeneous de Branges spaces; in particular, this equivalence completely characterizes several prominent universality classes such as hard edge universality, Fisher--Hartwig singularities, and jump discontinuities in the weights. A key ingredient in the proof is a new correspondence between measures and chains of de Branges spaces, not between Weyl functions and Hamiltonians. In order to handle limits with power law weights, this correspondence goes beyond the more common setting of Poisson-finite measures, and allows arbitrary power bounded measures.

math.CA↗