arXiv subjects

Michael Benfield

Publications and source records attributed to Michael Benfield.

3 recordsLinked to original sources

arXiv2018

A generalization of an integrability theorem of Darboux

In his monograph "Leçons sur les systèmes orthogonaux et les coordonnées curvilignes. Principes de géométrie analytique", 1910, Darboux stated three theorems providing local existence and uniqueness of solutions to first order systems of the type \[\partial_{x_i} u_α(x)=f^α_i(x,u(x)),\quad i\in I_α\subseteq\{1,\dots,n\}.\] For a given point $\bar x\in \mathbb{R}^n$ it is assumed that the values of the unknown $u_α$ are given locally near $\bar x$ along $\{x\,|\, x_i=\bar x_i \, \text{for each}\, i\in I_α\}$. The more general of the theorems, Théorème III, was proved by Darboux only for the cases $n=2$ and $3$. In this work we formulate and prove a generalization of Darboux's Théorème III which applies to systems of the form \[{\mathbf r}_i(u_α)\big|_x = f_i^α(x, u(x)), \quad i\in I_α\subseteq\{1,\dots,n\}\] where $\mathcal R=\{{\mathbf r}_i\}_{i=1}^n$ is a fixed local frame of vector fields near $\bar x$. The data for $u_α$ are prescribed along a manifold $Ξ_α$ containing $\bar x$ and transverse to the vector fields $\{{\mathbf r}_i\,|\, i\in I_α\}$. We identify a certain Stable Configuration Condition (SCC). This is a geometric condition that depends on both the frame $\mathcal R$ and on the manifolds $Ξ_α$; it is automatically met in the case considered by Darboux. Assuming the SCC and the relevant integrability conditions are satisfied, we establish local existence and uniqueness of a $C^1$-solution via Picard iteration for any number of independent variables $n$.

math.AP↗

arXiv2017

On Two Theorems of Darboux

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 $u_i$ along certain hyperplanes through a given point $\bar x$. 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é," it is clear from his proof that he assumes Lipschitz continuity of the maps $f_{ij}$. On the other hand, he did not address the regularity of the data. We provide a precise formulation and proof of his first theorem. The second theorem is more involved and applies to overdetermined systems of the same general form. Under the appropriate integrability conditions, Darboux used his first theorem to treat the cases with two and three independent variables. We provide a proof for any number of independent variables. While the systems are rather special, they do appear in applications; e.g., the second theorem contains the classical Frobenius theorem on overdetermined systems as a special case. The key aspect of the proofs is that they apply to non-analytic situations. In an analytic setup the results are covered by the general Cartan-Kähler theorem.

math.AP↗

arXiv2017

Jacobians with prescribed eigenvectors

Let $Ω\subset \mathbb{R}^n$ be open and let $\mathcal{R}$ be a partial frame on $Ω$, that is a set of $m$ linearly independent vector fields prescribed on $Ω$ ($m\leq n$). We consider the issue of describing the set of all maps $F:Ω\to\mathbb{R}^n$ with the property that each of the given vector fields is an eigenvector of the Jacobian matrix of $F$. By introducing a coordinate independent definition of the Jacobian, we obtain an intrinsic formulation of the problem, which leads to an overdetermined PDE system, whose compatibility conditions can be expressed in an intrinsic, coordinate independent manner. To analyze this system we formulate and prove a generalization of the classical Frobenius integrability theorems. The size and structure of the solution set of this system depends on the properties of the partial frame, in particular, whether or not it is in involution. A particularly nice subclass of involutive partial frames, called rich, can be completely analyzed. Involutive, but non-rich case is somewhat harder to handle. We provide a complete answer in the case of $m=3$ and arbitrary $n$, as well as some general results for arbitrary $m$. The non-involutive case is far more challenging, and we only obtain a comprehensive analysis in the case $n=3$, $m=2$. Finally, we provide explicit examples illustrating the various possibilities. Our initial motivation for considering this problem comes from the geometric study of hyperbolic conservative systems in one spatial dimension.

math.DG↗