Integrability conditions for differential systems

In mathematics, certain systems of partial differential equations are usefully formulated, from the point of view of their underlying geometric and algebraic structure, in terms of a system of differential forms. The idea is to take advantage of the way a differential form restricts to a submanifold, and the fact that this restriction is compatible with the exterior derivative. This is one possible approach to certain over-determined systems, for example, including Lax pairs of integrable systems. A Pfaffian system is specified by 1-forms alone, but the theory includes other types of example of differential system. To elaborate, a Pfaffian system is a set of 1-forms on a smooth manifold (which one sets equal to 0 to find solutions to the system). Given a collection of differential 1-forms on an -dimensional manifold , an integral manifold is an immersed (not necessarily embedded) submanifold whose tangent space at every point is annihilated by (the pullback of) each . A maximal integral manifold is an immersed (not necessarily embedded) submanifold such that the kernel of the restriction map on forms is spanned by the at every point of . If in addition the are linearly independent, then is ()-dimensional. A Pfaffian system is said to be completely integrable if admits a foliation by maximal integral manifolds. (Note that the foliation need not be regular; i.e. the leaves of the foliation might not be embedded submanifolds.) An integrability condition is a condition on the to guarantee that there will be integral submanifolds of sufficiently high dimension. The necessary and sufficient conditions for complete integrability of a Pfaffian system are given by the Frobenius theorem. One version states that if the ideal algebraically generated by the collection of αi inside the ring Ω(M) is differentially closed, in other words then the system admits a foliation by maximal integral manifolds. (The converse is obvious from the definitions.) Not every Pfaffian system is completely integrable in the Frobenius sense.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (5)

Related concepts (2)

Related lectures (3)

Dynamically Orthogonal Approximation for Stochastic Differential Equations

Fabio Nobile, Yoshihito Kazashi, Fabio Zoccolan

In this paper, we set the mathematical foundations of the Dynamical Low Rank Approximation (DLRA) method for high-dimensional stochastic differential equations. DLRA aims at approximating the solution as a linear combination of a small number of basis vect ...

2023

Increasing risk: Dynamic mean-preserving spreads

Max-Olivier Hongler

We extend the celebrated Rothschild and Stiglitz (1970) definition of Mean-Preserving Spreads to a dynamic framework. We adapt the original integral conditions to transition probability densities, and give sufficient conditions for their satisfaction. We t ...

2020

Random field solutions to linear SPDEs driven by symmetric pure jump Levy space-time white noises

Robert Dalang, Thomas Marie Jean-Baptiste Humeau

We study the notions of mild solution and generalized solution to a linear stochastic partial differential equation driven by a pure jump symmetric Levy white noise, with symmetric alpha-stable Levy white noise as an important special case. We identify con ...

UNIV WASHINGTON, DEPT MATHEMATICS2019

G-structure on a manifold

In differential geometry, a G-structure on an n-manifold M, for a given structure group G, is a principal G-subbundle of the tangent frame bundle FM (or GL(M)) of M. The notion of G-structures includes various classical structures that can be defined on manifolds, which in some cases are tensor fields. For example, for the orthogonal group, an O(n)-structure defines a Riemannian metric, and for the special linear group an SL(n,R)-structure is the same as a volume form.

Partial differential equation

In mathematics, a partial differential equation (PDE) is an equation which computes a function between various partial derivatives of a multivariable function. The function is often thought of as an "unknown" to be solved for, similar to how x is thought of as an unknown number to be solved for in an algebraic equation like x2 − 3x + 2 = 0. However, it is usually impossible to write down explicit formulas for solutions of partial differential equations.

Covers the calculation of eigenvalues and eigenvectors, emphasizing their significance and applications.

Explores exact linearization, determining conditions and transformations using Lie bracket and hook of Lie.

Covers canonical transformations and the Hamilton-Jacobi equation, emphasizing explicit motion solutions and system evolution.