Time-Dependent Two-Center Stark-Zeeman System

• The topic is a planar Hamiltonian model where a charged particle is influenced by two fixed Coulomb centers, a magnetic field, and a time-periodic electric perturbation.
• It employs a variational framework using Birkhoff regularization and non-local loop-space blow-up to handle collision singularities and explicit time dependence.
• The approach adapts methods from one-center Stark–Zeeman systems to reconstruct generalized periodic orbits and capture the system's nonautonomous dynamics.

Searching arXiv for the cited papers on time-dependent Stark–Zeeman systems and related two-center regularization. Searching "Periodic orbits in time-dependent planar Stark-Zeeman systems" and "A variational approach to time-dependent planar two-center Stark-Zeeman systems". A time-dependent two-center Stark–Zeeman system is a planar Hamiltonian model for a charged particle attracted by two fixed Coulomb centers and subject to both a magnetic field and a time-periodic external electric perturbation. In the formulation developed in "A variational approach to time-dependent planar two-center Stark-Zeeman systems" (Frauenfelder et al., 7 Jul 2025), the singular dynamics arise from the two Coulomb centers, while the explicit time dependence precludes the standard autonomous strategy of regularizing collisions on a fixed energy hypersurface. The resulting theory combines the Birkhoff regularization map with a non-local blow-up of loop space, following the Barutello–Ortega–Vernizi approach that had previously been applied to the one-center time-dependent planar Stark–Zeeman problem in "Periodic orbits in time-dependent planar Stark-Zeeman systems" (Frauenfelder, 12 Mar 2025).

1. Geometric and dynamical formulation

The system is defined on a punctured planar domain

$\mathfrak{D}=\mathfrak{D}_0\setminus\{E,M\},$

where $\mathfrak{D}_0$ is an open set containing the two fixed Coulomb centers $E$ and $M$. The external forcing is periodic in time $t\in S^1$, and the electric contribution is encoded by a smooth time-dependent potential $E_t(q)$. The total potential is

$$V_t(q)=E_t(q)-\frac{1-\mu}{|q-E|}-\frac{\mu}{|q-M|},$$

with Hamiltonian

$H_t(q,p)=\frac12 |p|^2 + V_t(q).$

The magnetic field $\mathfrak{B}(q)$ determines the magnetic $2$-form

$\mathfrak{D}_0$0

and the phase space carries the twisted symplectic form

$\mathfrak{D}_0$1

Because $\mathfrak{D}_0$2, there exists a primitive $\mathfrak{D}_0$3 satisfying

$\mathfrak{D}_0$4

The associated twisted Hamiltonian flow is

$\mathfrak{D}_0$5

and in configuration variables this becomes

$\mathfrak{D}_0$6

that is,

$\mathfrak{D}_0$7

After normalization $\mathfrak{D}_0$8, $\mathfrak{D}_0$9, the equation takes the explicit form

$E$0

This formulation places the model within the Stark–Zeeman class: Coulomb attraction supplies the singular Newtonian part, the magnetic field contributes the Lorentz-type term, and the periodic electric forcing renders the system nonautonomous (Frauenfelder et al., 7 Jul 2025).

2. Time dependence, singularities, and the variational obstruction

For collision-free periodic loops, the natural action functional is

$E$1

This functional is singular at the Coulomb centers $E$2, because the potential contains terms of the form

$E$3

Accordingly, standard local variational methods do not apply directly to periodic orbits that may collide with the primaries (Frauenfelder et al., 7 Jul 2025).

The time dependence creates a second obstruction. In the one-center time-dependent planar Stark–Zeeman setting, the explicit $E$4-dependence of the Hamiltonian implies that

$E$5

so there is no preserved energy and no invariant energy hypersurface available for the classical blow-up procedure (Frauenfelder, 12 Mar 2025). The two-center paper states the same structural difficulty in the time-dependent case: energy is not conserved, so one cannot regularize by blowing up a fixed energy hypersurface as in autonomous classical approaches (Frauenfelder et al., 7 Jul 2025).

A common misconception is that collision regularization in Stark–Zeeman dynamics can always be reduced to a local change of coordinates on phase space. The time-dependent two-center theory does not support that view. In the nonautonomous setting, the regularization is formulated on loop space rather than on an energy level, and the resulting Euler–Lagrange equation is non-local rather than an ordinary differential equation (Frauenfelder et al., 7 Jul 2025).

3. Birkhoff regularization and the blown-up loop space

The central regularizing device is the Birkhoff map

$E$6

This is a branched double cover of the physical $E$7-plane, branched at $E$8, which correspond to the two collision points in the physical plane. The associated weight function is

$E$9

and it is invariant under inversion $M$0 (Frauenfelder et al., 7 Jul 2025).

Following the Barutello–Ortega–Vernizi philosophy, the regularization does not act on a fixed energy hypersurface. Instead, it blows up the loop space by means of a loop-dependent time reparametrization. For a loop $M$1,

$M$2

so that

$M$3

The critical points of $M$4 are exactly the collision points $M$5. Writing $M$6, the reconstructed physical loop is

$M$7

Thus, the regularized object is a loop in the $M$8-plane together with a non-local time change, while the physical periodic orbit is obtained only after composing the Birkhoff map with the inverse reparametrization (Frauenfelder et al., 7 Jul 2025).

The one-center precursor uses the analogous Levi–Civita squaring map

$M$9

and a loop-dependent time change

$t\in S^1$0

That earlier construction is conceptually significant because it demonstrates, in the time-dependent Stark–Zeeman setting, why loop-space blow-up replaces energy-surface blow-up and why the regularized equation becomes a delay equation (Frauenfelder, 12 Mar 2025). This suggests a structural continuity between the one-center and two-center time-dependent theories.

4. The non-local regularized action functional

Let

$t\in S^1$1

where $t\in S^1$2. Pulling back the original action $t\in S^1$3 by $t\in S^1$4 yields the regularized functional

$t\in S^1$5

given by

$t\in S^1$6

with

$t\in S^1$7

$t\in S^1$8

$t\in S^1$9

$E_t(q)$0

and

$E_t(q)$1

The dependence on $E_t(q)$2 makes $E_t(q)$3 a non-local action functional: the value of the integrand at time $E_t(q)$4 depends on the entire loop through the normalization factor $E_t(q)$5 and the time reparametrization itself (Frauenfelder et al., 7 Jul 2025).

The functional extends naturally to

$E_t(q)$6

where collisions may occur. This extension is the key variational device that allows collisional periodic solutions to be captured rather than excluded. In the one-center time-dependent theory, the regularized functional likewise lives on a blown-up loop space and decomposes as

$E_t(q)$7

with kinetic, magnetic, Coulomb, and time-dependent electric parts; there too the non-locality arises from the loop-dependent time change (Frauenfelder, 12 Mar 2025).

5. Delay equation and reconstruction of generalized periodic solutions

A critical point $E_t(q)$8 of the regularized functional $E_t(q)$9 satisfies a second-order delay differential equation. In the notation of the two-center paper,

$$V_t(q)=E_t(q)-\frac{1-\mu}{|q-E|}-\frac{\mu}{|q-M|},$$0

The constant $$V_t(q)=E_t(q)-\frac{1-\mu}{|q-E|}-\frac{\mu}{|q-M|},$$1 is

$$V_t(q)=E_t(q)-\frac{1-\mu}{|q-E|}-\frac{\mu}{|q-M|},$$2

The paper notes that the displayed typesetting is somewhat corrupted in places, but this is the stated structure (Frauenfelder et al., 7 Jul 2025).

The physical orbit is recovered by

$$V_t(q)=E_t(q)-\frac{1-\mu}{|q-E|}-\frac{\mu}{|q-M|},$$3

If $$V_t(q)=E_t(q)-\frac{1-\mu}{|q-E|}-\frac{\mu}{|q-M|},$$4 has no collisions, then $$V_t(q)=E_t(q)-\frac{1-\mu}{|q-E|}-\frac{\mu}{|q-M|},$$5 is a smooth periodic solution of the original system. If $$V_t(q)=E_t(q)-\frac{1-\mu}{|q-E|}-\frac{\mu}{|q-M|},$$6 has collisions, then $$V_t(q)=E_t(q)-\frac{1-\mu}{|q-E|}-\frac{\mu}{|q-M|},$$7 is a generalized periodic solution. The reconstruction identity is

$$V_t(q)=E_t(q)-\frac{1-\mu}{|q-E|}-\frac{\mu}{|q-M|},$$8

where

$$V_t(q)=E_t(q)-\frac{1-\mu}{|q-E|}-\frac{\mu}{|q-M|},$$9

and

$H_t(q,p)=\frac12 |p|^2 + V_t(q).$0

A crucial lemma proves that $H_t(q,p)=\frac12 |p|^2 + V_t(q).$1. Hence the extra term vanishes, and $H_t(q,p)=\frac12 |p|^2 + V_t(q).$2 satisfies exactly

$H_t(q,p)=\frac12 |p|^2 + V_t(q).$3

on the nonsingular part of the loop (Frauenfelder et al., 7 Jul 2025).

The same section identifies the conserved generalized energy: $H_t(q,p)=\frac12 |p|^2 + V_t(q).$4 This quantity is not a standard autonomous first integral; rather, it is the expression that appears in the reconstruction argument and extends continuously across collisions for generalized solutions (Frauenfelder et al., 7 Jul 2025). A plausible implication is that the regularized variational problem restores an effective energy balance at the level of reconstructed trajectories, even though the original time-dependent Hamiltonian has no preserved energy in the ordinary autonomous sense.

6. Collisions, symmetry, winding classes, and relation to the one-center theory

The notion of generalized solution used in the two-center theory requires that the collision set

$H_t(q,p)=\frac12 |p|^2 + V_t(q).$5

is finite, that $H_t(q,p)=\frac12 |p|^2 + V_t(q).$6 is smooth away from collisions and solves the ODE there, and that the generalized energy extends continuously across collisions. The paper proves finiteness of the collision set for critical points of the regularized functional: the collision set is discrete and therefore finite on $H_t(q,p)=\frac12 |p|^2 + V_t(q).$7 (Frauenfelder et al., 7 Jul 2025). This directly addresses the singularity problem without removing collisional orbits from the variational framework.

A major structural feature is the involution

$H_t(q,p)=\frac12 |p|^2 + V_t(q).$8

Because

$H_t(q,p)=\frac12 |p|^2 + V_t(q).$9

the regularized functional is invariant: $\mathfrak{B}(q)$0 Consequently, if $\mathfrak{B}(q)$1 is a critical point, then so is $\mathfrak{B}(q)$2, and both yield the same physical periodic solution: $\mathfrak{B}(q)$3 This is the two-center analogue of the symmetry induced by the double covering nature of the regularization map (Frauenfelder et al., 7 Jul 2025).

The theory also distinguishes even and odd total winding number. For even winding number, $\mathfrak{B}(q)$4 has two connected components; for odd winding number, $\mathfrak{B}(q)$5 is connected. To treat the odd case, the paper introduces the twisted loop space

$\mathfrak{B}(q)$6

and then doubles time via

$\mathfrak{B}(q)$7

Using the combined map

$\mathfrak{B}(q)$8

the theory yields a one-to-one correspondence, modulo the involution $\mathfrak{B}(q)$9, between critical points of the extended regularized functional and periodic orbits of the original system (Frauenfelder et al., 7 Jul 2025).

The main theorem states that there is a one-to-one correspondence between critical points of the extended regularized functional $2$0 modulo the involution $2$1 and generalized periodic solutions of the time-dependent Stark–Zeeman system (Frauenfelder et al., 7 Jul 2025). This should be read together with the one-center precursor, where the analogous correspondence is formulated modulo the sign symmetry $2$2, with untwisted loops corresponding to even winding number solutions and twisted loops corresponding to odd winding number solutions (Frauenfelder, 12 Mar 2025). The comparison clarifies what is specific to the two-center problem: Levi–Civita squaring is replaced by the Birkhoff map, sign symmetry is replaced by inversion symmetry, and the collision structure is adapted from one singularity to two.

The bicircular restricted four-body problem provides the motivating example for both papers. In rotating coordinates, the earth and moon are fixed, the sun moves periodically, and the resulting Hamiltonian has two fixed Coulomb-like singularities, a time-dependent perturbation from the sun, and a magnetic/Coriolis-type term. This fits precisely into the time-dependent two-center Stark–Zeeman framework (Frauenfelder et al., 7 Jul 2025). The broader significance is therefore not merely formal: the variational theory is designed for periodic orbit analysis in a singular, nonautonomous Hamiltonian setting in which both collisions and explicit time dependence are essential features rather than perturbative complications.