\(C^1\) solutions for fully nonlinear systems of differential equations of first order (Q1028281)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: \(C^1\) solutions for fully nonlinear systems of differential equations of first order |
scientific article; zbMATH DE number 5572144
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | \(C^1\) solutions for fully nonlinear systems of differential equations of first order |
scientific article; zbMATH DE number 5572144 |
Statements
\(C^1\) solutions for fully nonlinear systems of differential equations of first order (English)
0 references
30 June 2009
0 references
Consider the system of differential equations \[ f(x'(t))= g(t,x(t)),\quad x(0) = x_{0}. \tag{1} \] Theorem. Let \(\Omega\) be an open set containing \((0,x_{0}), g:\Omega\subset\mathbb{R}\times\mathbb{R}^{n}\to\mathbb{R}^{n}\) is a continuous function. Suppose \(f:\mathbb{R}^{n}\to\mathbb{R}^{n}\) is continuous and \( \Lambda_{f}= \{x\in\mathbb{R}^{n}: f\) is not locally Lipschitz in an open neighborhood of \(x\)\}. If \(f\) satisfies the following conditions: {\parindent7mm \begin{itemize}\item[i)] \(\mathrm{Im}(g)\subseteq \mathrm{Im}(f)\), \item[ii)] \(f\) is coercive, \item[iii)] \(f(\Lambda_{f}\cup\{x\notin\Lambda_{f}:\partial f(x)\text{ is not of maximal rank}\})\subseteq\{y\in \mathrm{Im}(f):\mathrm{card}\, f^{-1}(y) =1\},\) then there exists at least one \(C^{1}\) solution \(x:[0,T]\to\mathbb{R}^{n}\) to the Cauchy problem (1). \end{itemize}}
0 references
differential equations
0 references
differential inclusions
0 references
Couchy problem
0 references
continuously differentiable solutions
0 references
0 references
0 references