bartha ferenc (bergen és szeged)

COMPUTER-AIDED PROOFS IN DYNAMICS

Absztrakt: The computational power has increased dramatically since the appearance of the first computers, making them a vital tool in the analysis of dynamical systems. We present further applications of those two basic ideas, namely interval arithmetic and automatic differentiation, that address the question of the reliability of the results and the difficulty of calculating derivatives.

We show a way to compute B-series,  used in numerical integration techniques, and present results about the stability of certain delay difference equations. Finally we comment on shock-like solutions of the destabilized Kuramoto-Sivashinsky equation.