On Two Theorems of Darboux
Michael Benfield, Helge Kristian Jenssen, Irina A. Kogan

TL;DR
This paper rigorously formulates and proves two of Darboux's theorems on local existence and uniqueness of solutions for certain first-order PDE systems, extending results to non-analytic cases and arbitrary dimensions.
Contribution
It provides precise proofs of Darboux's theorems, including the overdetermined case, with explicit conditions and applicability to non-analytic situations and higher dimensions.
Findings
Proved local existence and uniqueness for determined systems using Picard iteration.
Extended Darboux's overdetermined systems theorem to any number of variables.
Connected the results to the classical Frobenius theorem as a special case.
Abstract
We provide precise formulations and proofs of two theorems from Darboux's lectures on orthogonal systems. These results provide local existence and uniqueness of solutions to certain types of first order PDE systems where each equation contains a single derivative for which it is solved: \[\frac{\partial u_i}{\partial x_j}(x)=f_{ij}(x,u(x)).\] The data prescribe values for the unknowns along certain hyperplanes through a given point . The first theorem applies to determined systems (the number of equations equals the number unknowns), and a unique, local solution is obtained via Picard iteration. While Darboux's statement of the theorem leaves unspecified "certaines conditions de continuit\'e," it is clear from his proof that he assumes Lipschitz continuity of the maps . On the other hand, he did not address the regularity of the data. We provide a precise…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNonlinear Waves and Solitons · Advanced Differential Equations and Dynamical Systems · Quantum chaos and dynamical systems
