@prefix psr: . @prefix skos: . @prefix dc: . @prefix xsd: . psr:-Q10Q14NT-1 skos:prefLabel "topologie différentielle"@fr, "differential topology"@en ; a skos:Concept ; skos:narrower psr:-L2MHCD1K-M . psr: a skos:ConceptScheme . psr:-LM732D0H-P skos:prefLabel "équation aux dérivées partielles"@fr, "partial differential equation"@en ; a skos:Concept ; skos:related psr:-L2MHCD1K-M . psr:-V0G085HP-P skos:prefLabel "differential geometry"@en, "géométrie différentielle"@fr ; a skos:Concept ; skos:narrower psr:-L2MHCD1K-M . psr:-L2MHCD1K-M skos:definition """In mathematics, Frobenius' theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an overdetermined system of first-order homogeneous linear partial differential equations. In modern geometric terms, given a family of vector fields, the theorem gives necessary and sufficient integrability conditions for the existence of a foliation by maximal integral manifolds whose tangent bundles are spanned by the given vector fields. The theorem generalizes the existence theorem for ordinary differential equations, which guarantees that a single vector field always gives rise to integral curves; Frobenius gives compatibility conditions under which the integral curves of r vector fields mesh into coordinate grids on r-dimensional integral manifolds. The theorem is foundational in differential topology and calculus on manifolds.
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Frobenius_theorem_(differential_topology))"""@en, """Le théorème de Frobenius donne une condition nécessaire et suffisante d'intégrabilité locale d'un système d'équations aux dérivées partielles du premier ordre dont le membre de droite dépend des variables, des inconnues, mais ne dépend pas de dérivées partielles de ces inconnues : un tel système d'équations aux dérivées partielles est appelé un « système de Pfaff ». Les fonctions du second membre sont supposées seulement de classe ,, ce qui rend impossible l'application du théorème de Cauchy-Kowalevski, qui suppose ces fonctions analytiques. Le théorème de Frobenius a des liens étroits avec le lemme de Poincaré pour les 1-formes, ce lemme indiquant alors sous quelle condition une 1-forme différentielle est localement exacte. Le théorème de Frobenius conduit à considérer les « variétés intégrales » de la géométrie différentielle et peut s'exprimer dans ce langage. Ces variétés intégrales conduisent à la notion de feuilletage. Le « théorème de Frobenius » a en réalité été établi par Feodor Deahna en 1840, dans un article approfondissant les travaux de Johann Friedrich Pfaff et de Charles Gustave Jacob Jacobi sur les équations aux dérivées partielles du premier ordre (remontant quant à eux à 1815 et 1827 respectivement) et qui est passé inaperçu jusqu'à ce que Ferdinand Georg Frobenius l'exhume en 1875. Le théorème de Chow-Rashevskii et celui de Hector Sussmann, datant de 1938-39 et 1973 respectivement, étudient l'existence de variétés intégrales pour des « p-champs » singuliers ; ils sont, comme le théorème de Frobenius, très utilisés pour étudier la commandabilité des systèmes non linéaires (le lien entre cette question de commandabilité et le théorème de Frobenius a en premier lieu été noté par Robert Hermann en 1963).
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_Frobenius_(g%C3%A9om%C3%A9trie_diff%C3%A9rentielle))"""@fr ; dc:created "2023-07-19"^^xsd:date ; skos:prefLabel "théorème de Frobenius"@fr, "Frobenius' theorem"@en ; skos:broader psr:-V0G085HP-P, psr:-Q10Q14NT-1 ; skos:related psr:-LM732D0H-P ; skos:exactMatch , ; a skos:Concept ; skos:inScheme psr: ; dc:modified "2023-07-19"^^xsd:date .