On singular equilibria of index-1 DAEs (Q1586510): Difference between revisions

Semi-explicit differential-algebraic equations (DAEs) \[ u'=f(u,v), 0=g(u,v) (\ast) \] are investigated under the assumptions (H0) \(f:\mathbb R^n\times \mathbb R^m\to\mathbb R^n\in C^2\), \(g:\mathbb R^n\times \mathbb R^m\to\mathbb R^m\in C^3\), (H1) \(g(u_0,v_0)=0\), (H2) \(D_2g(u_0,v_0)\) is singular, (H3) \(D((u,v)\mapsto\det D_2 g(u,v))(u_0,v_0)\not=0\). A sufficient condition is given in theorem 1 under which the vector field \[ h:(u,v)\mapsto(f(u,v), -(D_2g(u,v))^{-1}D_1g(u,v)f(u,v)) \] can be extended as a \(C^1\)-mapping onto some neighborhood of the point \((u_0,v_0)\) in some \(n\)-dimensional smooth submanifold \(M_1\) contained in the zero set of \(g\). A definition of ``smooth'' is not given; the proof of theorem 1, as it stands, is correct if \(M_1\) is \(C^2\). In fact, if \(M_1\) is \(C^2\), then, in local coordinates of \(M_1\), theorems 1 and 2 amount to the following: Let \(F,G:U\to\mathbb R\in C^2\), \(U\subseteq\mathbb R^n\) an open neighborhood of \(0\), \(G(0)=0\), \(G'(0)\not=0\), and \(F(x)=0\) whenever \(G(x)=0\). Then, (theorem 1) the mapping \(h:x\mapsto F(x)/G(x)\) can be extended as a \(C^1\)-mapping onto some neighborhood of \(0\), and (theorem 2) \(h(0)=F'(0)/G'(0)\). There are a lot of related results discussed in an informal way, including results on the quasi-linear DAE \(A(x)\dot x=g(x)\), where \(A\) is a square matrix depending on \(x\). There are a lot of illustrative examples. There is a misprint in definition 6, where it should read ``for all \((u,v)\in{\mathcal M}_1\cap{\mathcal S}\)'' rather than ``for all \((u,v)\in{\mathcal M}\cap{\mathcal S}\)''. Further, the condition \(f(u_0,v_0)=0\) is missing in theorem 2.