Skip to Main content Skip to Navigation
Journal articles

Maurice Janet's algorithms on systems of linear partial differential equations

Abstract : This article presents the emergence of formal methods in theory of partial differential equations (PDE) in the french school of mathematics through Janet's work in the period 1913-1930. In his thesis and in a series of articles published during this period, M. Janet introduced an original formal approach to deal with the solvability of the problem of initial conditions for finite linear PDE systems. His constructions implicitly used an interpretation of a monomial PDE system as a generating family of a multiplicative set of monomials. He introduced an algorithmic method on multiplicative sets to compute compatibility conditions, and to study the problem of the existence and the unicity of a solution to a linear PDE system with given initial conditions. The compatibility conditions are formulated using a refinement of the division operation on monomials defined with respect to a partition of the set of variables into multiplicative and non-multiplicative variables. M. Janet was a pioneer in the development of these algorithmic methods, and the completion procedure that he introduced on polynomials was the first one in a long and rich series of works on completion methods which appeared independently throughout the 20th century in various algebraic contexts.
Document type :
Journal articles
Complete list of metadata

Cited literature [73 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02375192
Contributor : Philippe Malbos Connect in order to contact the contributor
Submitted on : Thursday, November 21, 2019 - 8:18:39 PM
Last modification on : Thursday, July 21, 2022 - 3:21:22 PM

File

JanetAlgorithms.pdf
Files produced by the author(s)

Identifiers

Citation

Kenji Iohara, Philippe Malbos. Maurice Janet's algorithms on systems of linear partial differential equations. Archive for History of Exact Sciences, Springer Verlag, 2021, 75, pp.43-81. ⟨10.1007/s00407-020-00255-y⟩. ⟨hal-02375192⟩

Share

Metrics

Record views

59

Files downloads

168