From algebra to analysis: new proofs of theorems by Ritt and Seidenberg
From MaRDI portal
Publication:5039231
Abstract: Ritt's theorem of zeroes and Seidenberg's embedding theorem are classical results in differential algebra allowing to connect algebraic and model-theoretic results on nonlinear PDEs to the realm of analysis. However, the existing proofs of these results use sophisticated tools from constructive algebra (characteristic set theory) and analysis (Riquier's existence theorem). In this paper, we give new short proofs for both theorems relying only on basic facts from differential algebra and the classical Cauchy-Kovalevskaya theorem for PDEs.
Recommendations
Cites work
- A course in complex analysis. From basic results to advanced topics
- Abstract Differential Algebra and the Analytic Case
- An orderly linear PDE system with analytic initial conditions with a non-analytic solution.
- Ax-Schanuel for the j-function
- Bezout-type theorems for differential fields
- Differential Algebra and System Modeling in Cellular Biology
- Differential Galois theory of linear difference equations
- Geometry of Differential Polynomial Functions, III: Moduli Spaces
- scientific article; zbMATH DE number 1703931 (Why is no real title available?)
- scientific article; zbMATH DE number 4064852 (Why is no real title available?)
- scientific article; zbMATH DE number 694883 (Why is no real title available?)
- scientific article; zbMATH DE number 1531889 (Why is no real title available?)
- scientific article; zbMATH DE number 1860838 (Why is no real title available?)
- scientific article; zbMATH DE number 3232033 (Why is no real title available?)
- scientific article; zbMATH DE number 3415973 (Why is no real title available?)
- Model theory and differential equations
- Rolling simplexes and their commensurability. III: Capelli identities and their application to differential algebras
- Strong minimality and the \(j\)-function
- Sums of products of functions of x times functions of y
This page was built for publication: From algebra to analysis: new proofs of theorems by Ritt and Seidenberg
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039231)