Supongamos $U \times V \subset \mathbb R^n \times \mathbb R^n$ es un conjunto abierto y $\phi, \psi: U \times V \to \mathbb R$ dos $C^{\infty}$-suave funciones. Además, para cada una de las $y \in V$, $\phi_y: U \to \mathbb R$ tiene la propiedad: todos subnivel conjuntos son compactos, es decir,
$$S_a = \{x \in U: \phi_y(x) = \phi(x, y) \le a\}$$
es compacto para cada $a \in \mathbb R$. Para $\psi$, tenemos que para cada una de las $x$, la función de $\psi_x: V \to \mathbb R$ ha compacto subnivel conjuntos. Podemos definir un sistema de ecuaciones diferenciales ordinarias de la siguiente manera
$$\begin{align*} \dot{x}(t) = -\partial_x \phi(x, y), \\ \dot{y}(t) = -\partial_y \psi(x, y). \end{align*}$$
Ya que las derivadas parciales son suaves y por lo tanto localmente Lipschitz, para cualquier condición inicial, no debería ser un local de solución única.
Mis preguntas:
Es posible inferir que las soluciones están definidos para todos los tiempos?
Hay un nombre (y el de referencia) para los sistemas definidos? Parece que se asemejan a un sistema de gradiente sin embargo ellos están acoplados entre sí.