[
  {
    "id": "ARR-2026-7WEARWS49J8CVTCV-v1",
    "type": "article",
    "title": "Constructing rational Lyapunov certificates for planar homogeneous fields",
    "author": [
      {
        "literal": "Lluis Eriksson"
      }
    ],
    "issued": {
      "date-parts": [
        [
          2026,
          10,
          24
        ]
      ]
    },
    "publisher": "AIRR.SCIENCE",
    "archive": "AIRR.SCIENCE",
    "archive_location": "ARR-2026-7WEARWS49J8CVTCV",
    "version": "v1",
    "genre": "Research preprint",
    "URL": "https://airr.science/papers/ARR-2026-7WEARWS49J8CVTCV/versions/v1/",
    "note": "Research preprint; ARR-2026-7WEARWS49J8CVTCV v1. Not peer reviewed by AIRR. Working paper; not admitted to the AIRR accepted collection.",
    "abstract": "For each fixed odd degree d, we give a deterministic construction of strict rational Lyapunov functions for globally asymptotically stable planar homogeneous polynomial vector fields with rational coefficients. If B is the dense binary input length, construction time, degrees and total dense output length are bounded by 2^{C_d(B+1)} for an effectively computable constant C_d. The output is P/(x^2+y^2)^r, with P positive homogeneous of degree 2r+2, and extends C1 to the origin. The construction covers nonvanishing angular velocity, angular sign changes and zeros of arbitrary multiplicity. It combines uniform algebraic separation for the rotational mean, normalized nonnegative trigonometric powers and a finite-power conversion. Rational converse theorems and planar stability decision are prior results. No general software implementation, sharp bound, polynomial-certificate theorem or higher-dimensional conclusion is asserted."
  }
]