The nondegenerate center problem and the inverse integrating factor

In this paper we study some aspects of the nondegenerate center problem for analytic and, in particular, for polynomial vector fields. The relation between the existence of an inverse integrating factor and the center problem is studied. The relationship between the conditions for a center using the Poincaré formal series and the inverse integrating factor formal series for systems with a linear center perturbed by homogeneous polynomials is proved.     

Complex polynomial vector fields having an orbit with finite total curvature

In this paper we address the following questions: (i) Let \({C \subset \mathbb{C}^2}\) be an orbit of a polynomial vector field which has finite total Gaussian curvature. Is C contained in an algebraic curve? (ii) What can be said of a polynomial vector field which has a finitely curved transcendent orbit? We give a positive answer to (i) under some non-degeneracy conditions on the singularities of the projective foliation induced by the vector field. For vector fields with a slightly more general class of singularities we prove a classification result that captures rational pull-backs of Poincaré-Dulac normal forms.     

A new approach to center conditions for simple analytic monodromic singularities

In this paper we present an alternative algorithm for computing Poincaré-Lyapunov constants of simple monodromic singularities of planar analytic vector fields based on the concept of inverse integrating factor. Simple monodromic singular points are those for which after performing the first (generalized) polar blow-up, there appear no singular points. In other words, the associated Poincaré return map is analytic. An improvement of the method determines a priori the minimum number of Poincaré-Lyapunov constants which must cancel to ensure that the monodromic singularity is in fact a center when the explicit Laurent series of an inverse integrating factor is known in (generalized) polar coordinates. Several examples show the usefulness of the method.     

Darboux integrating factors: Inverse problems

We discuss planar polynomial vector fields with prescribed Darboux integrating factors, in a nondegenerate affine geometric setting. We establish a reduction principle which transfers the problem to polynomial solutions of certain meromorphic linear systems, and show that the space of vector fields with a given integrating factor, modulo a subspace of explicitly known “standard” vector fields, has finite dimension. For several classes of examples we determine this space explicitly.     

On the remarkable values of the rational first integrals of polynomial vector fields

The remarkable values for polynomial vector fields in the plane having a rational first integral were introduced by Poincaré. He was mainly interested in their algebraic aspects. Here we are interested in their dynamic aspects; i.e. how they contribute to the phase portrait of the system, to its separatrices, to its singular points, etc. The relationship between remarkable values and dynamics mainly takes place through the inverse integrating factor.     

Decomposition of Matrices into Involutory Matrices and Symmetric Matrices

Let \Omega be a field, and let F denote the Frobenius matrix: $[F = \left( {\begin{array}{*{20}{c}} 0&{ - {\alpha _n}}\{{E_{n - 1}}}&\alpha \end{array}} \right)\]$ where \alpha is an n-1 dimentional vector over Q, and E_n- 1 is identity matrix over \Omega. Theorem 1. There hold two elementary decompositions of Frobenius matrix: (i) F=SJB, where S, J are two symmetric matrices, and B is an involutory matrix; (ii) F=CQD, where O is an involutory matrix, Q is an orthogonal matrix over \Omega, and D is a diagonal matrix. We use the decomposition (i) to deduce the following two theorems: Theorem 2. Every square matrix over \Omega is a product of twe symmetric matrices and one involutory matrix. Theorem 3. Every square matrix over \Omega is a product of not more than four symmetric matrices. By using the decomposition (ii), we easily verify the following Theorem 4(Wonenburger-Djokovic') . The necessary and sufficient condition that a square matrix A may be decomposed as a product of two involutory matrices is that A is nonsingular and similar to its inverse A^-1 over Q (See [2, 3]). We also use the decomosition (ii) to obtain Theorem 5. Every unimodular matrix is similar to the matrix CQB, where C, B are two involutory matrices, and Q is an orthogonal matrix over Q. As a consequence of Theorem 5. we deduce immediately the following Theorem 6 (Gustafson-Halmos-Radjavi). Every unimodular matrix may be decomposed as a product of not more than four involutory matrices (See [1] ). Finally, we use the decomposition (ii) to derive the following Thoerem 7. If the unimodular matrix A possesses one invariant factor which is not constant polynomial, or the determinant of the unimodular matrix A is I and A possesses two invariant factors with the same degree (>0), then A may be decomposed as a product of three involutory matrices. All of the proofs of the above theorems are constructive.     

Polynomial inverse integrating factors for quadratic differential systems

We characterize all the quadratic polynomial differential systems having a polynomial inverse integrating factor and provide explicit normal forms for such systems and for their associated first integrals. We also prove that these families of quadratic systems have no limit cycles.     

求鳞状循环因子矩阵的极小多项式的算法

提出了任意域上鳞状循环因子矩阵 ,利用多项式环的理想的Go bner基的算法给出了任意域上鳞状循环因子矩阵的极小多项式和公共极小多项式的一种算法 .同时给出了这类矩阵逆矩阵的一种求法 .在有理数域或模素数剩余类域上 ,这一算法可由代数系统软件Co CoA4 .0实现 .数值例子说明了算法的有效性     

Inverse Problems in Darboux’ Theory of Integrability

The Darboux theory of integrability for planar polynomial differential equations is a classical field, with connections to Lie symmetries, differential algebra and other areas of mathematics. In the present paper we introduce the concepts, problems and inverse problems, and we outline some recent results on inverse problems. We also prove a new result, viz. a general finiteness theorem for the case of prescribed integrating factors. A?number of relevant examples and applications is included.     

多项式系统的类旋转向量场

构造了一类依赖于某一参数δ的多项式系统,位于此系统的向量场中的多个相邻的单重极限环可以随δ的单调变化而同时扩大(或缩小),不过这时极限环的扩大(或缩小)不一定是单调的.由于这种向量场类似于旋转向量,故称此系统的这些极限环关于δ形成“类旋转向量场”,它们可以作为研究重环和分界线环分支的一种有效工具.     

Generalized cofactors and nonlinear superposition principles

It is known from Lie's works that the only ordinary differential equation of first order in which the knowledge of a certain number of particular solutions allows the construction of a fundamental set of solutions is, excepting changes of variables, the Riccati equation. For planar complex polynomial differential systems, the classical Darboux integrability theory exists based on the fact that a sufficient number of invariant algebraic curves permits the construction of a first integral or an inverse integrating factor. In this paper, we present a generalization of the Darboux integrability theory based on the definition of generalized cofactors.     

一类特殊函数的[n/n]Padé逼近

本文对［ｎ／ｎ］Ｐａｄé逼近进行探讨，证明了Ｐｎ（ｘ）／Ｑｎ（ｘ）是函数ｆ（ｘ）在ｘ＝０处的［ｎ／ｎ］Ｐａｄé逼近，而Ｑｎ（ｘ）＝Ｐｎ（－ｘ）的充要条件是ｆ（ｘ）ｆ（－ｘ）＝１，从而使这一类函数的［ｎ／ｎ］Ｐａｄé逼近计算量减少一半．     

一类非线性复微分差分方程解的不存在性

该文研究了一类复微分差分方程[f(z)f'(z)]n + fm(z + r) = 1,[f(z)f'(z)]n + [f(z + r)-f(z)]m = 1,[f(z) f'(z)] 2 + P2(z) f2(z + η) = Q(z)eα(z) 的超越整函数解,其中P(z), Q(z)为非零多项式,α(z)为多项式,...     

共形空间${\mathbb Q}^n_s$中的正则Blaschke拟全脐子流形

[Nie C X,Wu C X,Regular submanifolds in the conformal space Q_p~n,ChinAnn Math,2012,33B(5):695-714]中研究了共形空间Q_s~n中的正则子流形,并引入了共形空间Q_s~n中的子流形理论.本文作者将分类共形空间Q_s~n中的Blaschke拟全脐子流形,证明伪Riemann空间形式中具有常数量曲率和平行的平均曲率向量场的正则子流形是共形空间中的Blaschke拟全脐子流形;反之,共形空间中的Blaschke拟全脐子流形共形等价于伪Riemann空间形式中具有常数量曲率和平行的平均曲率向量场的正则子流形.这一结论可看作是共形空间Q_s~n中共形迷向子流形分类定理的推广.     

The 16th Hilbert problem on algebraic limit cycles

For real planar polynomial differential systems there appeared a simple version of the 16th Hilbert problem on algebraic limit cycles: Is there an upper bound on the number of algebraic limit cycles of all polynomial vector fields of degree m? In [J. Llibre, R. Ramírez, N. Sadovskaia, On the 16th Hilbert problem for algebraic limit cycles, J. Differential Equations 248 (2010) 1401-1409] Llibre, Ramírez and Sadovskaia solved the problem, providing an exact upper bound, in the case of invariant algebraic curves generic for the vector fields, and they posed the following conjecture: Is1+(m−1)(m−2)/2the maximal number of algebraic limit cycles that a polynomial vector field of degree m can have?In this paper we will prove this conjecture for planar polynomial vector fields having only nodal invariant algebraic curves. This result includes the Llibre et al.?s as a special one. For the polynomial vector fields having only non-dicritical invariant algebraic curves we answer the simple version of the 16th Hilbert problem.     

受限制多项式插值及在构造形函数空间中的应用

1引言 G.Strang指出：有限元法的新思想在于试控函数的选择，目标是选择这样的分片多项式，它们被少数几个方面的节点值确定，并仍具有我们需要的连续性和逼近度。受限制多项式插值空间就是这样一类空间，在P.G.Ciarlet~[4]的书中有较多的介绍，采用的方法是通过约束条件来决定试验空间，但正如[1]中指出的，这样约束条件欠直观，且容易产生一些不确     

一类非齐次复微分方程解的增长性

研究了一类线性非齐次微分方程f(k)+ak-1f(k-1)+…+a1f-′(eQ(z)-a0)f=eQ(z)+F(z)解的增长性,其中aj(j=0,1,…,k-1)为常数,Q(z)为非常数多项式,F(z)为级小于deg Q的整函数.     

二阶多项式系统的可积条件

本文推广了 Liouville关于方程可积性的定义 ,定义二阶多项式系统 ( * )的可积性为首次积分可由P( x,y) ,Q( x,y)通过有限次代数运算 ,积分 ,微分 ,指数运算和解代数方程得到 .证明了与二阶多项式系统相对应的一阶算子具有由定理给出的某种“特征”是该系统可积的充分条件 .最后 ,利用此结果给出了Burgers-K-d V方程的行波解的首次积分 .     

Note on a paper of J. Llibre and G. Rodríguez concerning algebraic limit cycles

In a recent paper of Llibre and Rodríguez (J. Differential Equations 198 (2004) 374-380) it is proved that every configuration of cycles in the plane is realizable (up to homeomorphism) by a polynomial vector field of degree at most 2(n+r)-1, where n is the number of cycles and r the number of primary cycles (a cycle C is primary if there are no other cycles contained in the bounded region limited by C). In this letter we prove the same theorem by using an easier construction but with a greater polynomial bound (the vector field we construct has degree at most 4n-1). By using the same technique we also construct R³ polynomial vector fields realizing (up to homeomorphism) any configuration of limit cycles which can be linked and knotted in R³. This answers a question of R. Sverdlove.