On the global existence of solutions and Liapunov functions

SuntoPer l'equazione differenziale ordinaria(E) $$x' = f(t, x)$$ le funzioni di Liapunov sono state construite usando ipotesi diverse; ad esempio,(1) la soluzione nulla è stabile su [0, ∞),(2) la soluzione nulla é uniformemente stabile su[0, ∞), e (3) tutte le soluzioni sono limitate nel futuro (cfr. ad es.[A, H, Y]). In questo lavoro costruiamo le funzioni di Liapunov partendo da ipotesi in certo senso minime, supponendo cioè soltanto l'esistenza globale delle soluzioni. Le funzioni di Liapunov costruite per l'esistenza sono poi usate per stabilire se le soluzioni hanno le proprietà addizionali(1), (2) e(3).Specificamente, nel teorema 1, dimostriamo che l'esistenza come soluzione della(E) della funzione nulla si può caratterizzare in termini di funzioni di Liapunov; cioè, se la funzione nulla è una soluzione, allora esistono due funzioni di Liapunov, una delle quali si può poi usare per decidere circa la stabilità di quella soluzione, e l'altra per la stabilità uniforme. Queste stabilità si considerano su (− ∞, ∞) anzichè su [0, ∞). Nel teorema 2 troviamo una condizione necessaria e sufficiente sulle funzioni di Liapunov perchè tutte le soluzioni esistano su (− ∞, ∞). Se tutte esistono su (−∞, ∞), allora la corrispondente funzione di Liapunov si può poi usare per decidere circa l'esistenza e stabilità della soluzione nulla. Nel teorema 3 si presentano alcuni risultati analoghi a quelli del teorema 2 ma « nel futuro. »