Center Manifolds and Normal Forms for Nonlinearly Periodically Forced DDEs

Bram Lentjes; Meinder Follon; Seppe Dani\"els; Yuri A. Kuznetsov

arxiv: 2601.18918 · v2 · submitted 2026-01-26 · 🧮 math.DS · math.FA

Center Manifolds and Normal Forms for Nonlinearly Periodically Forced DDEs

Bram Lentjes , Seppe Dani\"els , Meinder Follon , Yuri A. Kuznetsov This is my paper

Pith reviewed 2026-05-16 10:36 UTC · model grok-4.3

classification 🧮 math.DS math.FA

keywords center manifoldnormal formsdelay differential equationsperiodic forcingbifurcationfold bifurcationHopf bifurcationsun-star calculus

0 comments

The pith

A periodic smooth finite-dimensional center manifold exists near nonhyperbolic equilibria in nonlinearly periodically forced DDEs, allowing reduction to periodically forced normal forms.

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

The paper shows how to reduce the local analysis of bifurcations in delay differential equations with nonlinear periodic forcing to finite-dimensional problems. It first proves the existence of a periodic center manifold using dual semigroup methods, then builds a parametrization that converts the dynamics on that manifold into normal forms. Explicit formulas for the leading coefficients are derived for the forced fold and nonresonant Hopf cases. This matters because DDEs are infinite-dimensional; the reduction makes concrete bifurcation calculations feasible while preserving the periodic forcing.

Core claim

Near a nonhyperbolic equilibrium of a nonlinearly periodically forced DDE, there exists a periodic smooth finite-dimensional center manifold. A center-manifold parametrization reduces the local dynamics to a periodically forced normal form, and a normalization procedure yields explicit computational formulas for the critical coefficients at the periodically forced fold and nonresonant Hopf bifurcations.

What carries the argument

The sun-star calculus on dual semigroups, which supplies the functional-analytic setting for proving the existence and smoothness of the periodic center manifold and for constructing its parametrization.

If this is right

Local dynamics near the equilibrium are captured by a low-dimensional periodically forced system whose coefficients are computable.
Explicit formulas exist for the leading-order terms in the periodically forced fold bifurcation.
Explicit formulas exist for the leading-order terms in the nonresonant periodically forced Hopf bifurcation.
The same reduction procedure applies to any bifurcation for which the linear operator admits a suitable spectral decomposition under the sun-star framework.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The method should extend to other codimension-one bifurcations once the corresponding normal-form coefficients are derived within the same framework.
Numerical continuation packages for DDEs could incorporate these formulas to locate forced bifurcations without full infinite-dimensional simulation.
The periodic center manifold may serve as a starting point for averaging or multiple-scale analysis when the forcing frequency is large or small.

Load-bearing premise

The linear operator of the DDE must generate a strongly continuous semigroup to which sun-star calculus applies, while the nonlinearity and periodic forcing must be sufficiently smooth and periodic.

What would settle it

A concrete DDE example in which the computed normal-form coefficients fail to predict the local bifurcation diagram observed in direct numerical simulation of the full equation.

read the original abstract

The aim of this paper is to provide an effective framework for analysing bifurcations of equilibria in nonlinearly periodically forced delay differential equations. First, we establish the existence of a periodic smooth finite-dimensional center manifold near a nonhyperbolic equilibrium using the rigorous functional analytic framework of dual semigroups (sun-star calculus). Second, we construct a center manifold parametrization that allows us to describe the local dynamics on the center manifold near the equilibrium in terms of periodically forced normal forms. Third, we present a normalization method to derive explicit computational formulas for the critical normal form coefficients at a bifurcation of interest. In particular, we obtain such formulas for the periodically forced fold and nonresonant Hopf bifurcation. Several examples and indications from the literature confirm the validity and effectiveness of our approach.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper extends sun-star calculus to get periodic center manifolds for nonlinearly forced DDEs and supplies explicit normal-form coefficients for the forced fold and nonresonant Hopf cases.

read the letter

This paper extends sun-star calculus to get periodic center manifolds for nonlinearly forced DDEs and supplies explicit normal-form coefficients for the forced fold and nonresonant Hopf cases. The linear part stays autonomous while the periodic forcing sits in the nonlinearity, so standard variation-of-constants and contraction arguments produce a smooth time-periodic manifold whose dimension matches the critical eigenvalues. From there they parametrize the manifold and normalize the reduced equation to obtain concrete formulas for the coefficients. That combination is new relative to the cited autonomous-DDE literature and directly addresses a gap people hit when they try to compute local dynamics in forced delay models. The stress-test note finds no internal contradictions in the periodicity preservation or the reduction steps, and the hypotheses on smoothness and periodicity line up with what the contraction mapping needs. The examples drawn from the literature give a practical check that the formulas are usable. Soft spots are small. Without the full derivations in front of me I cannot verify every algebraic step in the coefficient expressions, but the overall framework is standard enough that any real gap would have shown up in the stress test. The conditions on the forcing are stated clearly and are not overly restrictive for the intended applications. This work is aimed at people who already know sun-star calculus and normal-form calculations and who need to handle periodic forcing in DDE models from biology or engineering. A reader who wants explicit, computable coefficients rather than abstract existence will get the most value. I would send it to peer review. The existence result plus the explicit formulas are grounded enough to justify referee time, even if some polishing on the examples or generality statements is needed.

Referee Report

2 major / 3 minor

Summary. The paper claims to establish a rigorous framework for bifurcation analysis in nonlinearly periodically forced delay differential equations (DDEs). It proves the existence of a periodic smooth finite-dimensional center manifold near a nonhyperbolic equilibrium via sun-star calculus (dual semigroups), constructs a parametrization reducing local dynamics to periodically forced normal forms, and derives explicit computational formulas for the critical coefficients in the periodically forced fold and nonresonant Hopf cases, with supporting examples.

Significance. If the derivations hold, the work is significant for extending the standard sun-star calculus from autonomous to time-periodically forced DDEs while preserving finite-dimensional periodic center manifolds. It supplies explicit, derivable (rather than fitted) normal-form coefficients for fold and Hopf bifurcations, enabling direct computation in applications such as control systems and biological models with delays and periodic forcing. The approach builds parameter-free on existing semigroup theory and includes literature-supported validation.

major comments (2)

[§3] §3 (center manifold existence): the contraction-mapping argument establishing periodicity of the manifold under time-periodic nonlinearity requires an explicit uniform bound on the time-dependent perturbation term in the variation-of-constants formula; without it, the claim that the manifold remains C^k and periodic for all t is not fully justified from the autonomous case.
[§5.2] §5.2 (nonresonant Hopf normal form): the cubic coefficient formula integrates the periodic forcing against the adjoint eigenfunctions, but the reduction step does not explicitly verify that resonance terms vanish identically when the forcing period is incommensurate with the imaginary eigenvalues; this step is load-bearing for the 'nonresonant' claim.

minor comments (3)

[§2] The state-space notation (e.g., the precise definition of the sun-star space X^⊙*) is introduced only after the abstract and introduction; moving the preliminary definitions to §2 would improve readability.
[Figure 1] Figure 1 (phase portrait for the forced fold example) lacks axis labels and a clear indication of the periodic orbit; adding these would clarify the comparison with the normal form.
Several references to 'standard results' in sun-star calculus (e.g., Hale & Verduyn Lunel) are cited without page numbers; supplying specific theorems would aid readers unfamiliar with the autonomous case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive recommendation. The two major comments identify points where additional explicit estimates and verifications will strengthen the presentation. We address each below and will revise the manuscript accordingly.

read point-by-point responses

Referee: §3 (center manifold existence): the contraction-mapping argument establishing periodicity of the manifold under time-periodic nonlinearity requires an explicit uniform bound on the time-dependent perturbation term in the variation-of-constants formula; without it, the claim that the manifold remains C^k and periodic for all t is not fully justified from the autonomous case.

Authors: We agree that the extension from the autonomous case requires an explicit uniform bound. In the revised manuscript we will insert a new lemma (or subsection) that derives a t-uniform bound on the perturbation term appearing in the variation-of-constants formula. The bound follows from the periodicity of the nonlinearity, the exponential dichotomy on the stable/unstable subspaces, and the fact that the center subspace is finite-dimensional; the resulting estimate is independent of t and therefore preserves both the C^k regularity and the periodicity of the fixed point of the contraction mapping for all t. This closes the gap identified by the referee. revision: yes
Referee: §5.2 (nonresonant Hopf normal form): the cubic coefficient formula integrates the periodic forcing against the adjoint eigenfunctions, but the reduction step does not explicitly verify that resonance terms vanish identically when the forcing period is incommensurate with the imaginary eigenvalues; this step is load-bearing for the 'nonresonant' claim.

Authors: We accept that the reduction argument would benefit from an explicit verification. In the revised §5.2 we will add a short paragraph showing that, under the incommensurability assumption (i.e., the forcing frequency and the imaginary part of the critical eigenvalues are linearly independent over the rationals), every resonant monomial integrates to zero against the adjoint eigenfunctions over the torus. The argument uses the fact that the time-dependent coefficients become quasi-periodic and the integral of e^{i(m·ω + k·λ)t} vanishes for all integer vectors (m,k) that would produce resonance. This explicit check confirms that no resonant terms survive and justifies the label 'nonresonant'. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper's central claims rest on applying the standard sun-star calculus (dual semigroup) framework to time-periodic nonlinear forcing in DDEs, where the linear operator remains time-independent and generates a C0-semigroup. Existence of the periodic center manifold follows from variation-of-constants and contraction mapping arguments under stated smoothness and periodicity hypotheses; these are not self-definitional but are the precise conditions for the fixed-point theorem to yield a C^k periodic manifold. Normal form coefficients for the forced fold and nonresonant Hopf cases are derived explicitly from the system data rather than being renamed or fitted inputs presented as predictions. No load-bearing step reduces to a self-citation chain, ansatz smuggled via prior work, or uniqueness theorem imported from the same authors; the derivation remains self-contained against external functional-analytic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard results from the theory of semigroups for delay equations and domain-specific smoothness assumptions; no free parameters or invented entities are introduced.

axioms (2)

standard math The linear part of the DDE generates a strongly continuous semigroup to which the sun-star calculus applies
Invoked to establish the existence of the periodic center manifold near the nonhyperbolic equilibrium.
domain assumption The nonlinearity and periodic forcing are sufficiently smooth and the forcing is periodic
Required for the center manifold to be smooth and periodic and for the normal form construction to hold.

pith-pipeline@v0.9.0 · 5439 in / 1357 out tokens · 26192 ms · 2026-05-16T10:36:11.118558+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We establish the existence of a periodic smooth finite-dimensional center manifold near a nonhyperbolic equilibrium using the rigorous functional analytic framework of dual semigroups (sun-star calculus).
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

explicit computational formulas for the critical normal form coefficients at a bifurcation of interest. In particular, we obtain such formulas for the periodically forced fold and nonresonant Hopf bifurcation.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.