Pith. sign in

REVIEW 4 major objections 4 minor 24 references

Global Dynamics Of Quadratic And Cubic Planar Quasi-homogeneous Differential Systems

T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that planar quadratic and cubic quasi-homogeneous (but non-homogeneous) polynomial systems have global phase portraits drawn from a short finite list, completing the low-degree classification.

desk verdict A concrete sign error in Proposition 10 flips the local classification at u1, so the main cubic classification is not proven as written; the reduction framework is sound but the paper needs major revision. read the letter →

arxiv 2505.21871 v1 pith:N2IVROYK submitted 2025-05-28 math.DS math.CA

Jaume Llibre , Yilei Tang , Jiang Yu , Pengyu Zhou This is my paper
classification math.DSmath.CA MSC 34C0534C0734C1437C1037C15
keywords quasi-homogeneousdifferentialsystemsglobalphaseportraitPoincarécompactificationblow-upmethodnormalsectorhomogeneousreductioncubicplanarquadratic
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Quasi-homogeneous systems generalize homogeneous ones by weighting the two variables differently; the genuinely non-homogeneous quadratic and cubic cases had known canonical forms but not a global phase-portrait classification. This paper closes that gap. It first shows that, on a half-plane, every such quadratic system transforms into one of two homogeneous systems and every cubic one into one of three, using power changes of coordinates and time re-scalings. It then classifies the homogeneous systems by blow-up, normal sectors, and Poincaré compactification, and reflects the half-plane dynamics back using symmetry. The outcome is a finite catalogue: quadratic quasi-homogeneous systems are topologically one of Figure 6(A), 6(B), or 7(A); cubic ones are one of Figures 4, 5, 6, or 7(B), disregarding the direction of time.

What carries the argument

The argument is carried by four tools. (1) The canonical-form lists of Lemma 4 and Lemma 5, taken from [1], which reduce all quadratic and cubic quasi-homogeneous non-homogeneous systems to three and seven explicit normal forms. (2) The power transformation $\tilde{x}=x^{s_2}$, $\tilde{y}=y^{s_1}$ of [4], which converts each normal form on a half-plane into a homogeneous system, together with the accompanying time re-scalings. (3) The function $G(x,y)=xQ-yP$, whose zeros give invariant lines and characteristic directions, feeding the blow-up and normal-sector analysis of [4], [6], [7]. (4) Poincaré compactification from [8] to control the behaviour at infinity. Lemma 7's symmetry rules then let the authors reflect the half-plane dynamics to the full plane.

What would settle it

Re-run the algorithm of [1] to enumerate all quadratic and cubic quasi-homogeneous non-homogeneous systems and check them against Lemma 4 and Lemma 5; one counterexample outside those lists, or a concrete canonical system whose global portrait is not in Figures 4–7, would refute the classification. A cheaper check: simulate each canonical form at representative parameter values and verify that the separatrix graph (number of nodes, saddles, saddle-nodes and connections) matches the claimed figure.

Watch

Extended reading notes

Core claim

The central discovery is the reduction: every planar quadratic or cubic quasi-homogeneous but non-homogeneous polynomial differential system, restricted to $y>0$ or $x>0$, can be transformed into one of only three homogeneous systems — a constant field ($H_0$), a linear field ($H_1$), or a quadratic homogeneous field ($H_2$). Because the original systems are symmetric under reflection across an axis or the origin, the global portrait on the whole plane is determined by the half-plane portrait. The paper then classifies the global phase portraits of the quasi-homogeneous systems directly: Theorem 12 lists three topological types for the quadratic case and Theorem 13 lists the cubic cases, all up to reversing the direction of time. In particular the classification is complete and finite, and the paper supplies the parameter conditions that select each portrait.

Load-bearing premise

The classification inherits, without proof, the completeness of the canonical-form lists in Lemmas 4 and 5 from reference [1]; if any quadratic or cubic quasi-homogeneous non-homogeneous system is missing from those lists, its phase portrait would be missing from Theorems 12 and 13.

Editorial extensions

If this is right

  • The quadratic classification is exhaustive: every quadratic quasi-homogeneous non-homogeneous system is topologically equivalent to Figure 6(A), 6(B), or 7(A).
  • The cubic classification is exhaustive: every cubic such system is topologically equivalent to one of Figures 4, 5, 6, or 7(B).
  • The listed portraits contain no limit cycles, so the theorems rule out limit-cycle bifurcations from these systems themselves.
  • The reduction shows that low-degree quasi-homogeneous systems are governed by a handful of sign conditions, so for any concrete system in canonical form the portrait can be read off from parameter signs.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the canonical lists of [1] are complete, the same reduction scheme should apply mechanically to fourth-degree quasi-homogeneous systems; the bottleneck will be the size of the canonical list, not the blow-up analysis.
  • The paper's distinction between topological and geometric portraits (Remark 5) suggests that finer equivalence relations, preserving node versus focus or straight separatrix, would split each topological class further; a natural next step is an analytic or $C^1$ classification.
  • Because [1] already establishes Liouvillian integrability of quasi-homogeneous systems, coupling that integrability with the finite portrait list should yield explicit first integrals for each normal form, allowing quantitative statements about period functions and bifurcation.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper claims to classify, up to topological equivalence and ignoring time direction, the global phase portraits of all planar quadratic and cubic quasi-homogeneous but non-homogeneous polynomial differential systems. The method is to transform such systems into homogeneous systems (Theorems 8 and 9), classify the resulting homogeneous systems H2, H1, and H0, and then transfer the portraits back to the original systems. The main results are Theorem 12 for quadratic systems and Theorem 13 for cubic systems, which assert that every system in the respective class is topologically equivalent to one of a small list of figures.

Significance. If correct, the paper would complete the topological classification of quadratic and cubic quasi-homogeneous non-homogeneous planar systems, a natural extension of the classical homogeneous classifications. The overall strategy is attractive, and the computations in Theorems 8 and 9 showing the reduction to homogeneous systems appear sound. However, the central local analysis in Proposition 10 contains a sign error in the application of Lemma 1. Since Proposition 10 is the foundation for Theorem 11 and ultimately for Theorem 13, the main classification is not established by the arguments given. The paper also inherits the completeness of its canonical-form lists from an external published classification, which should be stated precisely.

major comments (4)
  1. [§5, Proposition 10, Eq. (18)] The classification of the singularity corresponding to u1 = (1-2b12)/(2-a12) omits a factor in the product required by Lemma 1. For system (18), G2(1,u) = (2b12-1)u + (2-a12)u^2, so at u1 one has P2(1,u1) = 2(1-a12b12)/(2-a12) and G2'(1,u1) = 1-2b12. Lemma 1 therefore gives a saddle when 2(1-a12b12)(1-2b12)/(2-a12) < 0 and a node when this product is positive. The paper instead uses only the sign of (a12b12-1)/(a12-2), which is proportional to (1-a12b12)/(a12-2) and omits the factor (1-2b12). For (a12,b12) = (0,2), the paper's condition predicts a node, but the product equals -3, so Lemma 1 gives a saddle. This is an internal inconsistency with the paper's own Lemma 1.
  2. [§5, Proposition 10, case (a)] Because the sign condition for u1 is incorrect, the assertion that the global portrait is determined solely by the signs of A = 2b12-1, B = 2(a12-2), and C = 2(1-a12b12) is not justified, and the three cases (A), (B), (C) in Figure 2 are not shown to be exhaustive or correctly assigned. For example, the triple A>0, B<0, C>0, realized by (a12,b12) = (0,2), is placed in case (B) by the paper, but the corrected product gives a saddle at u1 rather than a node. A full re-derivation of the local types at all characteristic directions and a new case table are needed before the portraits in Figure 2 can be accepted.
  3. [§5, Theorem 11 and Theorem 13] Theorem 11 is proved by invoking Proposition 10 and then asserting that the homogeneous portraits lift to the quasi-homogeneous portraits in Figures 4 and 5. Since Proposition 10 is incorrect, the eight portraits in Theorem 11 are not established, and consequently Theorem 13, which lists Figure 4, Figure 5, Figure 6, and Figure 7(B) as the complete list for cubic systems, is unsupported. Even apart from the sign error, the lifting argument is stated only descriptively ('the invariant line ... corresponds to an invariant curve ...') without a precise topological argument; the proof should spell out how the finite and infinite separatrices are transformed under the variable change (17).
  4. [§3, Lemmas 4 and 5] The completeness of the entire classification is conditional on the canonical-form lists in Lemmas 4 and 5, which are imported from García, Llibre, and Pérez del Río [1] without proof or even a precise statement of the theorem in [1] that supplies them. The authors should either provide a short verification or cite the exact result in [1] that establishes that every quadratic or cubic quasi-homogeneous non-homogeneous coprime system can be written, after rescaling, in one of the listed forms. Without this, the word 'all' in the abstract and in Theorems 12 and 13 rests on an unstated external completeness claim.
minor comments (4)
  1. [Throughout] There are numerous typographical errors, including 'coefficiants' in the introduction, 'senatorial decomposition' for what should be 'sectorial decomposition' in Section 2, and inconsistent accents in the names García and Pérez del Río. A careful proofreading pass is needed.
  2. [§2, Lemma 3(b)] In the statement of Lemma 3(b), the notation Gn(1,u) is used, but the function G has been defined in (8) without a subscript; either use G(1,u) or define Gn consistently.
  3. [§5, Proposition 10 proof] In the proof of Proposition 10, the sentence 'u0 also a singularity for system (17)' refers to the blow-up system (7), not to the variable change (17); the equation numbering should be corrected.
  4. [§5, Theorem 12] Theorem 12 states that quadratic systems realize only Figure 6 (A), (B), and Figure 7 (A), but the preceding discussion of H1 mentions four possible portraits in Figure 6, including focus and center. The proof should explicitly explain why the focus and center cases do not occur for the quadratic quasi-homogeneous systems (2b) and (2c).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the phase-portrait classification is derived from prior published lemmas, not assumed as an input.

full rationale

The paper's derivation chain is: canonical forms of quadratic and cubic quasi-homogeneous systems are imported from García–Llibre–Pérez del Río [1] (Lemmas 4 and 5); the reduction to homogeneous systems uses Tang–Zhang [4] (Lemmas 6 and 7); the homogeneous systems H2, H1, H0 are then analyzed directly (Proposition 10 and the subsequent discussion of H1 and H0); and the quasi-homogeneous portraits are obtained by undoing those transformations. Each imported lemma is a published, parameter-free theorem whose assumptions do not include the target classification, so the citations are independent evidence rather than circular premises. The classification itself is not assumed: Proposition 10 derives the portraits of system (18) from Lemma 1 and the sign analysis of A, B, C, and Theorem 11 transfers these to system (3d) via the explicitly stated change of variables and symmetry. Theorems 12 and 13 are the output of the derivation, not an input. The heavy reliance on self-cited canonical-form lists is a provenance and completeness concern, not a circularity. The paper's own Remark 4 notes that the origin is not analyzed directly but via infinity; that is a methodological caveat, not a circular step. The skeptic's mathematical objection to Proposition 10 case (a) — that for (a12,b12)=(0,2) Lemma 1 gives a saddle while the text claims a node — is a correctness issue that does not make the derivation circular.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central classification rests on the canonical form classifications of [1] and the reduction and symmetry theorems of [4], all cited without proof. These are published results, some co-authored by the current authors, so they carry independent standing, but the completeness of the classification depends on them. The new phase portrait analysis uses standard tools of ODE theory.

assumptions (5)
  • domain assumption Complete list of canonical forms for quadratic quasi-homogeneous non-homogeneous systems (Lemma 4)
    Imported from García, Llibre, Pérez del Río [1]; the paper does not prove completeness.
  • domain assumption Complete list of canonical forms for cubic quasi-homogeneous non-homogeneous systems (Lemma 5)
    Imported from García, Llibre, Pérez del Río [1].
  • domain assumption Every quasi-homogeneous system can be transformed to a homogeneous system by the power map (Lemma 6)
    Imported from Tang and Zhang [4].
  • domain assumption Symmetry properties of quasi-homogeneous systems (Lemma 7)
    Imported from Tang and Zhang [4]; used to reconstruct the full phase portrait from a half-plane.
  • standard math Standard results on blow-up, Poincaré compactification, and normal sectors (Lemmas 1-3)
    Background tools in planar dynamical systems.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Global Dynamics Of Quadratic And Cubic Planar Quasi-homogeneous Differential Systems." pith.science (2026). https://pith.science/paper/N2IVROYK

@misc{pith2026250521871,
  author       = {Pith},
  title        = {Pith review of: Global Dynamics Of Quadratic And Cubic Planar Quasi-homogeneous Differential Systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/N2IVROYK}},
  note         = {Machine review of arXiv:2505.21871}
}
read the original abstract

In this paper we obtain the global dynamics and phase portraits of quadratic and cubic quasi-homogeneous but non-homogeneous systems. We first prove that all planar quadratic and cubic quasi-homogeneous but non-homogeneous polynomial systems can be reduced to three homogeneous ones. Then for the homogeneous systems, we employ blow-up method, normal sector method, Poincar\'e compactification and other techniques to discuss their dynamics. Finally we characterize the global phase portraits of quadratic and cubic quasi-homogeneous but non-homogeneous polynomial systems.

Figures

Figures reproduced from arXiv: 2505.21871 by the authors.

Figure 1
Figure 1. Three classes of normal sectors Applying the polar coordinate change x = r cos θ and y = r sin θ, system (5) can be written in (9) 1 r dr dθ = H˜ (θ) G˜(θ) , where G˜(θ) = G(cos θ,sin θ), H˜ (θ) = H(cos θ,sin θ), H(x, y) := yQn(x, y) + xPn(x, y). Hence a necessary condition for θ = θ0 to be a characteristic direction at the origin is G(cos θ0,sin θ0) = 0. If u0 is a root of equation G(1, u) = 0, then H(1, u0) ̸= 0 s… view at source ↗
Figure 2
Figure 2. Portraits of ˜ (3d) when Gb2(u) has two different zeros a saddle when a12b12−1 a12−2 < 0. As π 2 is a zero of multiplicity 1 of G˜(θ), there exists infinitely many orbits connecting the origin of system ˜ (3d) and being tangent to the y–axis at the origin when a12 > 2 and exactly one orbit when a12 < 2. And for the zero point (u, 0), the singularity located at the end of y = ux can be determined too from our previou… view at source ↗
Figure 3
Figure 3. Portraits of ˜ (3d) when Gb2(u) has one zero of mul￾tiplicity 2 □ Remark 4 Here we don’t analyze the origin directly just because when u = 0 is a singularity, the structure after blow-down is not obvious to get. However, if we analyze the infinity directly, we can see the structure clearly in this example. Moreover, from the form of the system ˜ (3d), we can see that the value of a and b shows symmetry by exchange x… view at source ↗
Figures from the paper (4 more)
Figure 4
Figure 4. Figure 4: Portraits of (3d) when the infinity has 2 singu￾larities [PITH_FULL_IMAGE:figures/full_fig_p014_4.png]
Figure 5
Figure 5. Figure 5: Portraits of (3d) when the infinity fulfills singu￾larities □ Remark 5 Although certain phase portraits of quasi-homogeneous poly￾nomial systems are topologically equivalent to those of homogeneous sys￾tems, we deliberately distinguish them in this study. This distinct…
Figure 6
Figure 6. Figure 6: Portraits of quasi-homogeneous systems corre￾sponding to H1 For H0, it’s a constant system. The global structure is not difficult to be obtained, which is a constant vector field. The portraits is omitted here. Its corresponding quasi-homogeneous systems are (2a) and (…
Figure 7
Figure 7. Figure 7: Portraits of quasi-homogeneous systems corre￾sponding to H0 Finally, the paper derives the parameter conditions under which distinct global phase portraits occur, and classifies these portraits in the sense of topological equivalence. As a result, we have the following…

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    P´ erez del R ´ ıo, Planar quasi-homogeneous poly- nomial differential systems and their integrability, Journal of Differential Equations 255 (2013), 3185–3204

    Bel´ en Garc ´ ıa, Jaume Llibre, Jes´ us S. P´ erez del R ´ ıo, Planar quasi-homogeneous poly- nomial differential systems and their integrability, Journal of Differential Equations 255 (2013), 3185–3204

    work page 2013

  2. [2]

    Yulin Zhao, Zhifen Zhang, Abelian integrals and period functions for quasihomoge- neous Hamiltonian vector fields, Applied Mathematics Letters 18 (2005), 563–569

    work page 2005

  3. [3]

    W. Aziz, J. Llibre, C. Pantazi, Centers of quasi-homogeneous polynomial differential equations of degree three, Advances in Mathematics 254 (2014), 233–250

    work page 2014

  4. [4]

    Yilei Tang, Xiang Zhang, Global dynamics of planar quasi-homogeneous differential systems, Nonlinear Analysis: Real World Applications 49 (2019), 90–110

    work page 2019

  5. [5]

    Mart ´ ınez, C

    Y.P. Mart ´ ınez, C. Vidal, Classification of global phase portraits and bifurcation dia- grams of Hamiltonian systems with rational potential, Journal of Differential Equa- tions 261 (2016), 5923–5948

    work page 2016

  6. [6]

    Freddy Dumortier, Jaume Llibre, Joan Art´ es, Qualitative Theory Of Planar Differ- ential Systems, Qualitative Theory of Planar Differential Systems (2007). 18 J. LLIBRE, Y. TANG, J. YU, P. ZHOU

    work page 2007

  7. [7]

    Anna Cima, Jaume Llibre, Algebraic and topological classification of the homoge- neous cubic vector fields in the plane, Journal of Mathematical Analysis and Appli- cations 147 (1990), 420–448

    work page 1990

  8. [8]

    Zhifeng Zhang, Wen-Zao Huang, and Zhenxi Dong, Qualitative Theory of Differen- tial Equations , Modern Mathematics Foundation Series: Collector’s Edition, Science Press, Beijing, 1985

    work page 1985

Show all 24 references
  1. [9]

    Arnold, Ten Problems, Theory of Singularities and Its Applications 1 (1990), 1–8

    Vladimir I. Arnold, Ten Problems, Theory of Singularities and Its Applications 1 (1990), 1–8

    1990

  2. [10]

    Date, Classification and analysis of two-dimensional homogeneous quadratic dif- ferential equations systems, J

    T. Date, Classification and analysis of two-dimensional homogeneous quadratic dif- ferential equations systems, J. Differential Equations 32 (1979), 311–334

    1979

  3. [11]

    Newton, Two dimensional homogeneous quadratic differential systems, SIAM Rev

    T.A. Newton, Two dimensional homogeneous quadratic differential systems, SIAM Rev. 20 (1978), 120–138

    1978

  4. [12]

    Sibirskii, N.I

    K.S. Sibirskii, N.I. Vulpe, Geometric classification of quadratic differential systems, Differential Equations 13 (1977), 548–556

    1977

  5. [13]

    Vdovina, Classification of singular points of the equation y′ = a0x2+a1xy+a2y2 b0x2+b1xy+b2y2 by Forster’s method, Differ

    E.V. Vdovina, Classification of singular points of the equation y′ = a0x2+a1xy+a2y2 b0x2+b1xy+b2y2 by Forster’s method, Differ. Uravn. 20 (1984), 1809–1813

    1984

  6. [14]

    A. Cima, J. Llibre, Algebraic and topological classification of the homogeneous cubic systems in the plane, J. Math. Anal. Appl. 147 (1990), 420–448

    1990

  7. [15]

    Ye, Qualitative Theory of Polynomial Differential Systems, Shanghai Science and Technology Pub

    Y.Q. Ye, Qualitative Theory of Polynomial Differential Systems, Shanghai Science and Technology Pub. (1995)

    1995

  8. [16]

    Llibre, J.S

    J. Llibre, J.S. P´ erez del R ´ ıo, J.A. Rodr ´ ıguez, Structural stability of planar homo- geneous polynomial vector fields. Applications to critical points and to infinity, J. Differential Equations 125 (1996), 490–520

    1996

  9. [17]

    Algaba, E

    A. Algaba, E. Gamero, C. Garc ´ ıa, The integrability problem for a class of planar systems, Nonlinearity 22 (2009), 396–420

    2009

  10. [18]

    Gin´ e, M

    J. Gin´ e, M. Grau, J. Llibre, Polynomial and rational first integrals for planar quasi- homogeneous polynomial differential systems, Discrete Contin. Dyn. Syst. 33 (2013), 4531–4547

    2013

  11. [19]

    Goriely, Integrability, partial integrability, and nonintegrability for systems of ordinary differential equations, J

    A. Goriely, Integrability, partial integrability, and nonintegrability for systems of ordinary differential equations, J. Math. Phys. 37 (1996), 1871–1893

    1996

  12. [20]

    Hu, On the integrability of quasihomogeneous systems and quasidegenerate infinity systems, Adv

    Y. Hu, On the integrability of quasihomogeneous systems and quasidegenerate infinity systems, Adv. Differential Equations 2007 (2007), 98427

    2007

  13. [21]

    Garc ´ ıa, On the integrability of quasihomogeneous and related planar vector fields, Int

    I. Garc ´ ıa, On the integrability of quasihomogeneous and related planar vector fields, Int. J. Bifurcation Chaos 13 (2003), 995–1002

    2003

  14. [22]

    Garc ´ ıa, J

    B. Garc ´ ıa, J. Llibre, J.S. P´ erez del R ´ ıo, Planar quasihomogeneous polynomial differ- ential systems and their integrability, Journal of Differential Equations 255 (2013), 3185–3204

    2013

  15. [23]

    W. Li, J. Llibre, J. Yang, Z. Zhang, Limit cycles bifurcating from the period annulus of quasi–homogeneous centers, J. Dynam. Differential Equations 21 (2009), 133–152

    2009

  16. [24]

    Email address: jllibre@mat.uab.cat(J

    Liwei Zhang, Jiang Yu, On the center criterion of planar quasi-homogeneous polyno- mial differential systems, Bulletin des Sciences Math´ ematiques147 (2018), 7–25. Email address: jllibre@mat.uab.cat(J. Llibre), mathtyl@sjtu.edu.cn (Y. Tang), jiangyu@sjtu.edu.cn(J. Yu), e-c-h-...

    2018

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.