リアプノフ指数
where formula_14 denotes the maximum Lyapunov exponent of the isolated system. Now using the ansatz formula_15