Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
\(C^1\) solutions for fully nonlinear systems of differential equations of first order - MaRDI portal

\(C^1\) solutions for fully nonlinear systems of differential equations of first order (Q1028281)

From MaRDI portal





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
    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

    Identifiers