For an –dimensional local analytic differential system with , the Poincar'e nonintegrability theorem states that if the eigenvalues of are not resonant, the system does not have an analytic or a formal first integral in a neighborhood of the origin. This result was extended in 2003 to the case when admits one zero eigenvalue and the other are non–resonant: for the system has an analytic first integral at the origin if and only if the origin is a non–isolated singular point; for the system has a formal first integral at the origin if and only if the origin is not an isolated singular point. However, the question of \emph{whether the system has an analytic first integral at the origin provided that the origin is not an isolated singular point} remains open.

生成讲解博客的中文版本

生成AI智能校验的中文版本