Pith. sign in

REVIEW

Open Maps Preserve Stability

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2304.07834 v1 pith:BNJNKYFE submitted 2023-04-16 math.DS

classification math.DS
keywords stabilitytrajectoriesdynamicalmapsmethodsnotionopenstable
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Stability is a fundamental notion in dynamical systems and control theory that, traditionally understood, describes asymptotic behavior of solutions around an equilibrium point. This notion may be characterized abstractly as continuity of a map associating to each point in a state-space the corresponding integral curve with specified initial condition. Interpreting stability as such permits a natural perspective of arbitrary trajectories as stable, irrespective of whether they are stationary or even bounded, so long as trajectories starting nearby stay nearby for all time. While methods exist for recognizing stability of equilibria points, such as Lyapunov's first and second methods, such rely on the state's local property, which may be readily computed or evaluated because solutions starting at equilibria go nowhere. Such methods do not obviously extend for non-stationary stable trajectories. After introducing a notion of stability which makes sense for trajectories generally, we give examples confirming intuition and then present a method for using knowledge of stability of one system to guarantee stability of another, so long as there is an open map of dynamical systems from the known stable system. We thus define maps of dynamical systems and prove that a class of open maps preserve stability.

Discussion (0). Sign in to comment.

Pith tools