Abstract
Consider analytic generic unfoldings of the three- dimensional conservative Hopf-zero singularity. Under open conditions on the parameters determining the singularity, the unfolding possesses two saddle-foci when the unfolding parameter is small enough. One of them has one-dimensional stable manifold and two-dimensional unstable manifold, whereas the other one has one- dimensional unstable manifold and two-dimensional stable manifold. Baldomá et al. (J Dyn Differ Equ 25(2):335–392, 2013) gave an asymptotic formula for the distance between the one-dimensional invariant manifolds in a suitable transverse section. This distance is exponentially small with respect to the perturbative parameter, and it depends on what is usually called a Stokes constant. The nonvanishing of this constant implies that the distance between the invariant manifolds at the section is not zero. However, up to now there do not exist analytic techniques to check that condition. In this paper we provide a method for obtaining accurate rigorous computer-assisted bounds for the Stokes constant. We apply it to two concrete unfoldings of the Hopf-zero singularity, obtaining a computer-assisted proof that the constant is nonzero.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
One of the fundamental questions in dynamical systems is to assess whether a given model possesses chaotic dynamics or not. In particular, one would like to prove whether the model has a hyperbolic invariant set whose dynamics is conjugated to the symbolic dynamics of the usual Bernouilli shift by means of the construction of a Smale horseshoe. Since the pioneering works by Smale and Shilnikov, it is well known that the construction of such invariant sets may be attained by analyzing the stable and unstable invariant manifolds of hyperbolic invariant objects (critical points, periodic orbits, invariant tori) and their intersections.
Such analysis can be done by classical perturbative techniques such as (suitable versions of) Melnikov theory (Melnikov 1963) or by means of computer assisted proofs (Capiński and Zgliczyński 2017, 2018). However, there are settings where Melnikov theory nor “direct” computer-assisted proofs (that is, rigorous computation of the invariant manifolds) cannot be applied. For instance, in the so-called exponentially small splitting of separatrices setting. That is, on models which depend on a small parameter and where the distance between the stable and unstable invariant manifolds is exponentially small with respect to this parameter.
This phenomenon of exponentially small splitting of separatrices often appears in analytic systems with different time scales, which couple fast rotation with slow hyperbolic motion. Example of such settings is nearly integrable Hamiltonian systems at resonances, near the identity area preserving maps or local bifurcations in Hamiltonian, reversible or volume-preserving settings. In such settings, one needs more sophisticated techniques rather than Melnikov theory to analyze the distance between the stable and unstable invariant manifolds. Most of the results in the area follow the seminal approach proposed by in Lazutkin (2003) (there are though other approaches such as Treschev (1997)). Using these techniques, one can provide an asymptotic formula for the distance between the invariant manifolds, with respect to the perturbation parameter. If we denote by \(\varepsilon \) the small parameter, the distance is usually of the form
for some constants \(\Theta \), \(\alpha \), a and \(\beta \). In most of the settings, the constants \(\alpha \), a and \(\beta \) have explicit formulas and can be “easily” computed for given models. However, the constant \(\Theta \) is of radically different nature and much harder to compute. Indeed, the constants \(\alpha \), a and \(\beta \) depend on certain first-order terms of the model, whereas \(\Theta \), which we refer to as the Stokes constant, depends in a nontrivial way on the “whole jet” of the considered model. Note that it is crucial to know whether \(\Theta \) vanishes or not, since its vanishing makes the whole first order between the invariant manifolds vanish and, consequently, chaos cannot be guaranteed in the system.
The purpose of this paper is to provide (computer-assisted) methods to check, in given models, that the Stokes constant does not vanish. Moreover, our method provides a rigorous accurate computation of this constant. To show the main ideas of the method and avoid technicalities, we focus on the simplest setting where this method can be implemented: the breakdown of a one-dimensional heteroclinic connection for generic analytic unfoldings of the volume-preserving Hopf-zero singularity.
This problem was analyzed in Baldomá and Seara (2008); Baldomá et al. (2013). In these papers and the companions (Baldomá et al. 2018a, b, 2020), the authors prove that, in generic unfoldings of an open set of Hopf-zero singularities, one can encounter Shilnikov chaos Sil’nikov (1970). The fundamental difficulty in these models is to prove that the one-dimensional and two-dimensional heteroclinic manifolds connecting two saddle-foci in a suitable truncated normal form of the unfolding, break down when one considers the whole vector field. These breakdowns, which are exponentially small, plus some additional generic conditions lead to existence of chaotic motions.
Remark 1.1
A bifurcation with very similar behavior to that of the conservative Hopf-zero singularity is the Hamiltonian Hopf-zero singularity where a critical point of a 2 degree of freedom Hamiltonian system has a pair of elliptic eigenvalues and a pair of 0 eigenvalues forming a Jordan block [see for instance Gelfreich and Lerman 2014]. In generic unfoldings, the 0 eigenvalues become a pair of small real eigenvalues and therefore the critical point becomes a saddle-center. In this setting, one can analyze the one-dimensional invariant manifolds of the critical point and obtain an asymptotic formula for their distance (in a suitable section). This distance is exponentially with respect to the perturbative parameter. Then, to prove that they indeed do not intersect, one has to show that a certain Stokes constant is not zero as in the Hopf-zero conservative singularity. The methods presented in this paper can be adapted to this other setting. The Hamiltonian Hopf-zero singularity appears in many physical models, for instance in the Restricted Planar 3 Body Problem [see Baldomá et al. 2021a, b]. It also plays an important role in the breakdown of small amplitude breathers for the Klein–Gordon equation (albeit in an infinite-dimensional setting), see Segur and Kruskal (1987); Gomide et al. (2021). We plan to provide a computer-assisted proof of the Stokes constant to guarantee the nonexistence of small breathers in given Klein–Gordon equations in a future work.
In this paper, we provide a method to compute the Stokes constant associated to the breakdown of the one-dimensional heteroclinic connection in analytic unfoldings of the conservative Hopf-zero singularity.
Let us first explain the Hopf-zero singularity and state the main results about the breakdown of its one-dimensional heteroclinic connection obtained in Baldomá and Seara (2008); Baldomá et al. (2013).
1.1 Hopf-Zero Singularity and Its Unfoldings
The Hopf-zero singularity takes place on a vector field \(X^*:{\mathbb {R}}^3\rightarrow {\mathbb {R}}^3\), which has the origin as a critical point, and such that the eigenvalues of the linear part at this point are 0, \(\pm i\alpha ^*\), for some \(\alpha ^*\ne 0\). Hence, after a linear change of variables, we can assume that the linear part of this vector field at the origin is
We assume that \(X^*\) is analytic. Since \(DX^*(0,0,0)\) has zero trace, it is reasonable to study it in the context of analytic conservative vector fields (see Broer and Vegter 1984 for the analysis of this singularity in the \({\mathcal {C}}^\infty \) class). In this case, the generic singularity can be met by a generic linear family depending on one parameter, and so it has codimension one.
We study generic analytic families \(X_{\mu }\) of conservative vector fields on \({\mathbb {R}}^3\) depending on a parameter \(\mu \in {\mathbb {R}}\), such that \(X_{0}=X^*\), the vector field described above.
Following Guckenheimer (1981) and Guckenheimer and Holmes (1990), after some changes of variables, we can write \(X_{\mu }\) in its normal form up to order two, namely
Note that the coefficients \(\beta _1\), \(\gamma _2\) and \(\alpha _3\) depend exclusively on the vector field \(X^*\).
From now on, we will assume that \(X^*\) and its unfolding \(X_\mu \) satisfy the following generic conditions:
Depending on the other coefficients \(\alpha _i\) and \(\gamma _i\), one obtains different qualitative behaviors for the orbits of the vector field \(X_{\mu }\). We consider \(\mu \) satisfying
In fact, redefining the parameters \(\mu \) and the variable \({\bar{z}}\), one can achieve
and consequently the open set defined by (3) is now
Moreover, dividing the variables \({\bar{x}},{\bar{y}}\) and \({\bar{z}}\) by \(\sqrt{\beta _1}\), and scaling time by \(\sqrt{\beta _1}\), redefining the coefficients and denoting \(\alpha _0=\alpha ^*/\sqrt{\beta _1}\), we can assume that \(\beta _1=1\), and therefore system (1) becomes
We denote by \(X_{\mu }^2\), usually called the normal form of second order, the vector field obtained considering the terms of (6) up to order two. Therefore, one has
It can be easily seen that system (6) has two critical points at distance \({\mathcal {O}}(\sqrt{\mu })\) to the origin. Therefore, we scale the variables and parameters so that the critical points are \({\mathcal {O}}(1)\) and not \({\mathcal {O}}(\sqrt{\mu })\). That is, we define the new parameter \(\delta =\sqrt{\mu }\), and the new variables \(x=\delta ^{-1}{\bar{x}}\), \(y=\delta ^{-1}{\bar{y}}\), \(z=\delta ^{-1}{\bar{z}}\) and \(t=\delta {\bar{t}}\). Then, renaming the coefficients \(b=\gamma _2\), \(c=\alpha _3\), system (6) becomes
where f, g and h are real analytic functions of order three in all their variables, \(\delta >0\) is a small parameter and \(\alpha (\delta ^2)=\alpha _0+\alpha _2\delta ^2\).
Remark 1.2
Without loss of generality, we can assume that \(\alpha _0\) and c are both positive constants. In particular, for \(\delta \) small enough, \(\alpha (\delta ^2)\) will be also positive.
Observe that if we do not consider the higher-order terms (that is, \(f=g=h=0\)), we obtain the unperturbed system
The next lemma gives the main properties of this system.
Lemma 1.3
(Baldomá et al. (2013)) For any value of \(\delta >0\), the unperturbed system (8) has the following properties:
-
1.
It possesses two hyperbolic fixed points \(S_{\pm }^0=(0,0,\pm 1)\) which are of saddle-focus type with eigenvalues \({\mp } 1+|\frac{\alpha }{\delta }\pm c|i\), \({\mp } 1-|\frac{\alpha }{\delta }\pm c|i\), and \(\pm 2\).
-
2.
The one-dimensional unstable manifold of \(S_{+}^0\) and the one-dimensional stable manifold of \(S_{-}^0\) coincide along the heteroclinic connection \(\{(0,0,z):\, -1<z<1\}.\) The time parameterization of this heteroclinic connection is given by
$$\begin{aligned} \Upsilon _0(t)=(0,0,z_0(t))=(0,0,-\tanh t), \end{aligned}$$if we require \(\Upsilon _0(0)=(0,0,0).\)
Their 2-dimensional stable/unstable manifolds also coincide, but we will not deal with this problem in this paper.
The critical points given in Lemma 1.3 are persistent for system (7) for small values of \(\delta >0\). Below we summarize some properties of system (7).
Lemma 1.4
(Baldomá et al. (2013)) If \(\delta >0\) is small enough, system (7) has two fixed points \(S_{\pm }(\delta )\) of saddle-focus type,
with
The point \(S_+(\delta )\) has a one-dimensional unstable manifold and a two-dimensional stable one. Conversely, \(S_-(\delta )\) has a one-dimensional stable manifold and a two-dimensional unstable one.
Moreover, there are no other fixed points of (7) in the closed ball \(B(\delta ^{-1/3}).\)
The theorem proven in Baldomá et al. (2013) is the following.
Theorem 1.5
(Baldomá et al. (2013)) Consider system (7), with \(\delta >0\) small enough. Then, there exists a constant \(C^*\), such that the distance \(d^{\textrm{u},\textrm{s}}\) between the one-dimensional stable manifold of \(S_-(\delta )\) and the one-dimensional unstable manifold of \(S_+(\delta )\), when they meet the plane \(z=0\), is given by
where \(\alpha _0=\alpha (0)\), and \(h_0=-\lim _{z\rightarrow 0} z^{-3} h(0,0,z,0,0)\).
In Baldomá et al. (2013), it was proven that the constant \(C^*\) comes from the so-called inner equation and that, generically, it does not vanish. However, for a given model is usually very hard to prove analytically whether the associated \(C^*\) vanishes or not. In this paper, we provide a rigorous (computer-assisted) method to check whether it vanishes and to compute its value.
1.2 The Inner Equation
One of the key parts of the proof of Theorem 1.5 is to analyze an inner equation. This equation provides the Stokes constant \(C^*\), and it was obtained and analyzed in Baldomá and Seara (2008). To obtain it,
we perform the change of coordinates \((\phi ,\varphi ,\eta )=C_{\delta }(x,y,z)\) given by
Applying this change to system (7), one obtains
where
The inner equation comes from (10) taking \(\delta =0\). Defining \(F_i(\phi ,\varphi , \eta )={\tilde{F}}_i(\phi ,\varphi , \eta ,0)\) and \(H(\phi ,\varphi ,\eta )={\tilde{H}}(\phi ,\varphi ,\eta ,0)\) and, for technical reasons, performing the change \(\eta =-s^{-1}\), we get
Remark 1.6
Even if the purpose of this paper is not the proof of Theorem 1.5, let us explain why the inner equation plays a fundamental role in the study of the difference between the stable and unstable manifolds of the points \(S_\pm (\delta )\). One of the key points in the study of exponentially small splitting is to obtain good parameterizations \((x^{u,s}(t),y^{u,s}(t),z^{u,s}(t))\) of these manifolds. As system (7) is a small perturbation of system (8) and for this system the points \(S_\pm (0)=(0,0,\pm 1)\) have an heteroclinic connection given by \((0,0,-\tanh {t})\), it is natural to look for these manifolds as a perturbation of it. However, to detect the exponentially small splitting, the proof in Baldomá et al. (2013) requires to obtain these parameterizations in a complex domain which reaches a neighborhood of order \(\delta \) of the singularities \(t=\pm i\frac{\pi }{2}\) of the unperturbed heteroclinic connection, that is when \(t\mp \frac{i \pi }{2}={\mathcal {O}}(\delta )\). Roughly speaking, in Baldomá et al. (2013), it is shown that
and observed that, for \(t\mp \frac{i \pi }{2}\sim \delta \), one has:
Therefore, these parameterizations are not close to the unperturbed heteroclinic connection anymore, which behaves as
To obtain a new approximation of the invariant manifolds near the singularities one performs the change of variables \(\tau =\delta ^{1}(t-\frac{i\pi }{2})\) and, to work with bounded solutions, one also scales the functions by \(\delta \). This is the reason of the change of variables (9) and the inner equation (11) is set to give the first order of the invariant manifolds in these new variables.
We reparameterize time so that Eq. (11) becomes a nonautonomous two-dimensional equation with time s,
with \('=\frac{d}{ds}\).
To analyze this system, we separate its linear terms from the nonlinear ones. Indeed, defining
and
Equation (12) can be expressed as
From now on, we will refer to (15) as the inner equation.
For \(s\in {\mathbb {C}}\), we shall write \(\Re s\) and \(\Im s\) for its real and imaginary part, respectively. Following (Baldomá and Seara 2008), we define the inner domains as
for some \(\rho >0\).
Theorem 1.7
(Baldomá and Seara (2008)) If \(\rho \) is big enough, the inner equation has two solutions \(\psi ^\pm =(\phi ^{\pm },\varphi ^{\pm })\) defined in \({\mathcal {D}}^\pm _\rho \) satisfying the asymptotic condition
Moreover its difference satisfies that, for \(s\in {\mathcal {D}}^+_\rho \cap {\mathcal {D}}^-_\rho \cap \{\Im s<0\}\)
In addition \(\Theta \ne 0\) if and only if \(\Delta \psi \not \equiv 0\).
Note that the Stokes constant \(\Theta \in {\mathbb {C}}\) can be defined as
Later, in Baldomá et al. (2013) the authors prove that, if \(C^*\) is the constant introduced in Theorem 1.5, then
However there is no closed formula for \(\Theta \), which depends on the full jet of the nonlinear terms in (15). Our strategy to compute \(\Theta \) is to perform a computer-assisted proof.
2 Rigorous Computation of the Stokes Constant
We propose a method to compute the Stokes constant \(\Theta \) relying on rigorous, computer-assisted, interval arithmetic-based validation. The method takes advantage from the constructive method for proving Theorem 1.7 based on fixed point arguments, and we strongly believe that it can be applied to other settings as, for instance, the classical rapidly forced pendulum and close to the identity area preserving maps.
The method we propose to compute the Stokes constant \(\Theta \) is divided into two parts.
-
Part 1: We provide an algorithm to give an explicit \(\rho _*>0\) such that the existence of the solutions \(\psi ^{\pm }\) of the inner equation, in the domain \(\{\Re s=0, \, \Im s \le -\rho _*\}\) is guaranteed. The algorithm is based in giving explicit bounds (which depend on the nonlinear terms \({\mathcal {S}}\) of the inner equation, see (14)) of all the constants involved in the fixed point argument. We believe that this algorithm can be generalized to other situations where the proof of the existence of the corresponding solutions of the inner equation relies on fixed point arguments. In the case of the Hopf-zero singularity, by Theorem 1.7, if one can check (using rigorous computer computations) that \(\Delta \psi (-i\rho ^*)=\psi ^+(-i\rho ^*)-\psi ^-(-i\rho ^*) \ne 0\) one can ensure that \(\Theta \ne 0\).
-
Part 2: Using that \(\Delta \psi (s)\) is defined for \(s\in \{\Re s=0,\, \Im s\le -\rho _*\}\) with \(\rho _*\) given in Part 1, we give a method which provides rigorous accurate estimates for \(\Theta \). We give an algorithm to compute \(\rho _{0}\ge \rho _*\) such that, for all \(\rho \ge \rho _0\), the Stokes constant and \(\Delta \phi (-i\rho )\) satisfies the relation
$$\begin{aligned} \Theta = i \rho ^{-1} \Delta \phi (-i\rho )e^{\alpha \left( \rho -i h_0 \log \rho - h_0\frac{\pi }{2}\right) } (1+g(\rho )), \end{aligned}$$(20)with \(|g(\rho )|<1\). By (18), we know that \(|g(\rho )|\) is of order \({\mathcal {O}}(\rho ^{-1})\). We provide explicit upper bounds for it. Part 2 also relies on evaluating \(\Delta \psi (-i\rho )\) but takes more advantage on the fixed point argument techniques used to prove formula (18) in Theorem 1.7. A similar formula to (20) for \(\Theta \) can be deduced in other settings such as the rapidly forced pendulum and close to the identity area preserving maps. We should be able to adapt our method to a plethora of different situations.
In Sect. 2.1, we show the theoretical framework we use to design the method. In particular, the functional setting needed for the fixed point argument. It is divided in Sects. 2.1.1 and 2.1.2 which deal with Part 1 and Part 2, respectively. In Sect. 2.2, we follow the theoretical approach given in the previous sections and compute all the necessary constants to implement the method. After that, in Sect. 2.3 we write the precise algorithm, pointing out all the constants that need to be computed to find \(\Theta \). In Sect. 3, we apply our method to two examples. Finally, in Sect. 4, we explain how to improve the accuracy in the computation of the Stokes constant in one of the examples considered in Sect. 3.
2.1 Scheme of the Method: Theoretical Approach
2.1.1 Existence Domain of the Solutions of the Inner Equation
We analyze the solutions \(\psi ^\pm =(\phi ^\pm ,\varphi ^\pm )\) of Eq. (15) in the inner domains \({\mathcal {D}}^\pm _\rho \) introduced in (16). To prove the existence of the solutions \(\psi ^\pm \), we set up a fixed point argument. From now on, we use subindices 1 and 2 to denote the two components of all vectors and operators.
Note that the right hand side of Eq. (15) has a linear part plus higher-order terms (which will be treated as perturbation). We consider a fundamental matrix M(s) associated to the matrix \({\mathcal {A}}\) in (13) given by
and we define also the integral operators
Then, the solutions \(\psi ^\pm \) of Eq. (15) satisfying the asymptotic conditions (17) must be also solutions of the integral equation
Therefore, we look for fixed points of the operators
We define the Banach spaces
Then, we obtain fixed points of the operators \({\mathcal {F}}^\pm \) in the Banach spaces \({\mathcal {X}}_\nu \times {\mathcal {X}}_\nu \) with the norm
for some \(\nu \) to be chosen.
In Baldomá and Seara (2008), it is proven that the operators \({\mathcal {F}}^{\pm }\) are contractive operators in some ball of \({\mathcal {X}}_3\times {\mathcal {X}}_3\) if \(\rho \ge \rho ^*\) is big enough. Consequently the existence of solutions \(\psi ^\pm \) of Eq. (15) in the domains \({\mathcal {D}}^{\pm }_\rho \) is guaranteed. However, we want to be explicit in the estimates to compute the smallest \(\rho _*\) such that one can prove that \({\mathcal {F}}^{\pm }\) are contractive operators.
To this end, we need to control the dependence on \(\rho \) of the Lipschitz constant of the operators \({\mathcal {F}}^{\pm }\). Let us explain briefly the procedure, which is performed only for the − case being the \(+\) case analogous.
-
In Sect. 2.2.1, we provide explicit bounds for the norm of the linear operator \({\mathcal {B}}^-\) in (22).
-
In Sect. 2.2.2, we define a set of constants depending on the nonlinear terms \({\mathcal {S}}\) (see (14)) of the inner equation.
-
We deal with the bounds of the first iteration, \({\mathcal {F}}^+(0)\) in Sect. 2.2.3. We conclude that it belongs to a closed ball of \({\mathcal {X}}_3 \times {\mathcal {X}}_3\) if \(\rho \ge \rho _*^1\) where \(\rho _*^1\) is determined by the constants in the previous step. The radius of the ball \(M_0(\rho )/2\) is fully determined also by the previous constants.
-
In Sect. 2.2.4, we provide explicit bounds of the derivative of the nonlinear operator \({\mathcal {S}}\) and consequently of its Lipschitz constant, which depends on \(\rho \). These computations hold true for values of \(\rho \ge \rho _*^2\ge \rho _1^*\) with \(\rho _*^2\) satisfying some explicit conditions.
-
In Sect. 2.2.5, for \(\rho \ge \rho _*^2\), we compute the Lipschitz constant \(L(\rho )\) of \({\mathcal {F}}^-\) in the closed ball of \({\mathcal {X}}_3 \times {\mathcal {X}}_3\) of radius \(M_0(\rho )\).
-
In Sect. 2.2.6, we set \(\rho _*\ge \rho _*^2\) for the existence result. We choose \(\rho ^*\) such that \(L(\rho _*)\le \frac{1}{2}\). Then, since
$$\begin{aligned} \Vert \psi ^-\Vert _3 \le \Vert {\mathcal {F}}^-(0) \Vert _3 + \Vert {\mathcal {F}}^-(\psi ^-) - {\mathcal {F}}^-(0) \Vert _3 \le \frac{M_0(\rho )}{2} + L(\rho ) \Vert \psi ^-\Vert _3 \le M_0(\rho ), \end{aligned}$$the fixed point theorem ensures the existence of a fixed point \(\psi ^-\) satisfying \(\Vert \psi ^- \Vert _3 \le M_0(\rho )\) for \(\rho \ge \rho ^*\).
-
Finally, we compute \(\Delta \phi (-i\rho _*)\) by computed-assisted proofs techniques. This completes the Part 1 of the algorithm since \(\Delta \phi (-i\rho _*)\ne 0\) implies \(\Theta \ne 0\).
All the steps described above are written with all the detailed constants in Sect. 2.3.
2.1.2 Rigourous Computation of the Stokes Constant
In this section we describe a method to compute rigorously the Stokes constant \(\Theta \) defined in (19) (Part 2 of the algorithm). The method is based in the alternative formula for \(\Theta \) proposed in (20):
Let us to explain how this formula is derived. The key point is to analyze the difference
as a solution of a linear equation on the vertical axis \(\Im s\in (-\infty , -\rho _*)\) where \(\rho _*\) is provided by the method explained in Sect. 2.1.1. Indeed \(\Delta \psi =(\Delta \phi , \Delta \varphi )\) satisfies the equation
where
and \({\mathcal {S}}\) is given in (14). We look for the linear terms of lower order in \(s^{-1}\) of \({\mathcal {S}}\). Indeed, we have that
with \({\widetilde{{\mathcal {S}}}}(\psi ,s)={\mathcal {O}}(|s|^{-2})\) when \(\psi \in {\mathcal {X}}_3\) (see (24)). Then, \(\Delta \psi \) satisfies the equation
where
and
A fundamental matrix for the linear system \(z'={\widetilde{A}}(s) z\) is
Therefore, any solution of system (27) can be expressed as
with \(\kappa _0,\kappa _1\) two constants.
Since \(|\psi ^{\pm }|\le M_0(\rho ) |s|^{-3}\), \(\Delta \psi \) goes to 0 as \(\Im s\rightarrow -\infty \) and, therefore,
Then, we deduce that the difference \(\Delta \psi (s)\) is a fixed point of the equation
with \(\kappa _0\) a constant depending on \(\rho \) and \({\mathcal {G}}\) is the linear operator
By construction, \(\kappa _0\) is defined as
We use equality (33) to obtain formula (25) of \(\Theta \). To bound \(|g(\rho )|\) in formula (25), we need to control the linear operator \(s^{-1}e^{i\alpha (s + h_0\log s)}{\mathcal {G}}_1\). To this end, we consider a norm with exponential weights,
with \(E=\{\Re s=0, \, \Im s\in (-\rho _*,-\infty )\}\).
Observe that (30) can be rewritten
Now we see that \(\text {Id}-{\mathcal {G}}\) is an invertible operator. Indeed, in Baldomá and Seara (2008), it was proven that for \(\rho \) big enough
with \(0<A(\rho ):=\textrm{max}\{A_1(\rho ),A_2(\rho )\}<1\). Moreover, Baldomá and Seara (2008) also shows that
These estimates imply that, if \(\rho \) is big enough, \(\text {Id}-{\mathcal {G}}\) is invertible and therefore \(\Delta \psi =(\text {Id}-{\mathcal {G}})^{-1}(\Delta \psi ^0)\). Moreover,
and this inequality directly gives
Therefore, from (33), we can conclude that the Stokes constant \(\Theta \), which is independent of \(\rho \), can be computed as
for any \(\rho \) big enough, where \(\kappa _0\) is given in (32) and g satisfies
Since \(A(\rho ),A_1(\rho )\) go to zero as \(\rho \rightarrow \infty \), the same happens for \({\overline{M}}(\rho )\). Then (25) is proven.
Notice that the relative error to approximate \(\Theta \) by \(\kappa _0\) is
As a consequence,
In Sect. 2.2, the procedure described above is implemented:
-
Following the fixed point argument in Baldomá and Seara (2008), in Sect. 2.2.7 we give a explicit formula for \(A(\rho )=\textrm{max}\{A_1(\rho ),A_2(\rho )\}\) in (35) for \(\rho \ge \rho _*\), where \(\rho ^*\) is the constant given by Part 1.
-
In Sect. 2.2.8, we set \(\rho _0\ge \rho _*\) such that \({\overline{M}}(\rho )<1\) for \(\rho \ge \rho _0\).
2.2 Computing the Stokes Constant: Method
In this section we are going to give explicit expressions for all the constant involved in the method explained in the previous section.
2.2.1 The Linear Operator \({\mathcal {B}}^-\)
Lemma 2.1
Consider the linear operator \({\mathcal {B}}^-\) defined in (22).
-
1.
When \(\nu >1\), the linear operator \({\mathcal {B}}^-:{\mathcal {X}}_{\nu }\times {\mathcal {X}}_{\nu }\rightarrow {\mathcal {X}}_{\nu -1}\times {\mathcal {X}}_{\nu -1}\) is continuous and
$$\begin{aligned} \Vert {\mathcal {B}}^-(\psi )\Vert _{\nu -1} \le B_{\nu +1} \Vert \psi \Vert _\nu , \end{aligned}$$where
$$\begin{aligned} \begin{aligned} B_{m}&= \frac{\pi }{2} \frac{(m-3))!!}{(m-2)!!} \qquad{} & {} \text {if } m \text { is even},\\ B_m&= \frac{(m-3)!!}{(m-2)!!} \qquad{} & {} \text { if } m \text { is odd}. \end{aligned} \end{aligned}$$(38) -
2.
When \(\nu >0\), the linear operator \({\mathcal {B}}^-:{\mathcal {X}}_{\nu }\times {\mathcal {X}}_{\nu }\rightarrow {\mathcal {X}}_{\nu }\times {\mathcal {X}}_{\nu }\) is continuous and, for all \(0<\gamma \le \beta \) (see (16)),
$$\begin{aligned} \Vert {\mathcal {B}}^-(\psi )\Vert _\nu \le \frac{1}{\alpha \sin \gamma (\cos \gamma )^{\nu +1}}\Vert \psi \Vert _\nu . \end{aligned}$$Define \(\gamma _*\in (0,\frac{\pi }{2})\) such that \(\sin ^2 \gamma _* =\frac{1}{\nu +2}\). If \(\gamma _* \le \beta \),
$$\begin{aligned} \Vert {\mathcal {B}}^-(\psi )\Vert _\nu \le C_{\nu } \Vert \psi \Vert _\nu \qquad \text { where }\qquad C_{\nu }=\frac{(\nu +2)^{\frac{\nu +2}{2}}}{\alpha (\nu +1)^{\frac{\nu +1}{2}}}. \end{aligned}$$(39)
This lemma is proven in “Appendix A”.
From now on we choose \(\beta \), the angle in the definition (16) of \({\mathcal {D}}^-_{\rho }\), be such that \(6 \sin \beta ^2=1\). Then for all \(\nu \ge 4\), the optimal value \(\gamma _*\) in second item of Lemma 2.1 satisfies that \(\gamma _*\le \beta \) and the optimal bound (39) will be used throughout the paper.
We emphasize that, if \(s\in {\mathcal {D}}^{-}_\rho \), one has that \(|s|\ge \rho \). Recall that we are looking for \(\rho _*\) the minimum value for \(\rho \) to ensure that the inner equation has a solution \(\psi ^-\) defined in \({\mathcal {D}}^-_\rho \). Since we need \(\rho ^{-1}_*\) to be small, we start by assuming that \(\rho _*\ge 2\). We will change this value along the proof.
2.2.2 Explicit Constants for the Inner Equation
We consider the \(\textrm{max}\) norm \(|(x,y,z)|=\textrm{max}\{|x|,|y|,|z|\}\). Let \(a_3=\lim _{z\rightarrow 0}z^{-3}F_1(0,0,z)\), \(h_0=\lim _{z\rightarrow 0}z^{-3}H(0,0,z)\) and \(C_{F}^0,C_{H}^0,{\overline{C}}_H^0\) be such that for \(|z|\le \frac{1}{2}\),
We also introduce \(C_F, C_F^{\phi ,\varphi }\), \(C_H,C_{H}^{\phi ,\varphi }\) such that, for \(|(x,y)|\le |z|\),
As a consequence, setting
we have
2.2.3 Bounds for the Norm of the First Iteration
The second step in the proof consists on studying \({\mathcal {F}}^-(0)(s)={\mathcal {B}}^- ({\mathcal {S}}(0,s))\), where \({\mathcal {F}}^-\) is the operator introduced in (23).
Lemma 2.2
Chose any \(\rho _*^1 >\textrm{max}\{2, {\overline{C}}_H^0\}\), take \(\rho \ge \rho _*^1\) and define
Then \({\mathcal {F}}^-(0)\in {\mathcal {X}}_3\times {\mathcal {X}}_3\) and
Proof
By (14), it is clear that
and therefore
An analogous bound works for \( {\mathcal {S}}_2(0,s)\) and therefore
We introduce \({\mathcal {S}}_0(s)= s^{-3} (a_3,\overline{a_3})\). We have that
Notice that, for \(s\in {\mathcal {D}}^-_\rho \) and \(t\in {\mathbb {R}}\), \(|s+t|^2 \ge |s|^2 + t^2\). Then, using also Lemma A.1 (see “Appendix A”),
Using this last bound and formula (44), we obtain
To finish we notice that, from (43) and the first item of Corollary 2.1,
Analogous computations lead to the same estimate for \(\Vert {\mathcal {F}}_2^-(0)\Vert _3\).
\(\square \)
2.2.4 The Lipschitz Constant of \({\mathcal {S}}\)
Let
in such a way that \(2 \Vert {\mathcal {F}}^-(0)\Vert _3 \le M_0(\rho )\).
Lemma 2.3
Assume that \(\Vert \phi \Vert _3,\Vert \varphi \Vert _3 \le M_0(\rho ) \) and take \(\rho \ge \rho _*^2\) being \(\rho _*^2\ge \rho _*^1\) such that
Then
with
Proof
Notice that \(\rho _*^2\ge \rho _*^1\) and therefore, Lemma 2.2 can be applied for \(\rho \ge \rho _*^2\). Moreover, if \(s\in {\mathcal {D}}^-_\rho \),
so that the bounds in (41) can also be used.
We start with \(\partial _{\phi }{\mathcal {S}}\). We introduce
Straightforward computations lead us to
When \(\Vert \phi \Vert _3,\Vert \varphi \Vert _3 \le M_0(\rho )\),
Therefore we have that
where \(M_{11}^k\) are the constants introduced in the lemma.
We now compute a bound for \(\partial _{\varphi } {\mathcal {S}}\). As for \(\partial _{\phi }{\mathcal {S}}\), we define
and we notice that
We have that, if \(\Vert \phi \Vert _3,\Vert \varphi \Vert _3 \le M_0(\rho )\),
Then
with the constants \(M_{12}^k\) defined in the lemma.
Since the bounds for \(F_1,\partial _\phi F_1,\partial _\varphi F_1\) are the same as for \(F_2,\partial _\phi F_2,\partial _\varphi F_2\) and using the symmetry in the definition of \({\mathcal {S}}\), we have that
\(\square \)
As a corollary, we obtain the following.
Corollary 2.4
If \(\psi ,\psi '\in B(M_0(\rho ))\) with \(\rho \ge \rho _*^2\) as in Lemma 2.3. Then, there exist functions \(\Delta {\mathcal {S}}_j\), \(j=1\ldots 4\), such that
and
As a consequence
Proof
Indeed:
with \(S_{j}^{\phi ,\varphi }\in {\mathcal {X}}_j\) and
In analogous way, we decompose \({\mathcal {S}}_2(\psi )-{\mathcal {S}}_2(\psi ')\), and by symmetry, we obtain that
with
Namely, \(S_{ij}\) can be decomposed as a sum of functions belonging to the adequate \({\mathcal {X}}_{k}\). Therefore, taking the supremmum norm in (48), we get the result. \(\square \)
Remark 2.5
Notice that, for some concrete functions \(F_{1,2}\) and H the general bounds in that we have used for them and their derivatives (see (41)) may not be sharp. To improve the estimates for \(|\partial _{\phi ,\varphi } {\mathcal {S}}|\) in Lemma 2.3, we need to track some terms of the functions \(F_{12},H\). Indeed, instead of (41) we can use bounds of the derivatives of the form
which, together with (40), imply
with \({\bar{C}}_F=c_F^\phi + c_F^{\varphi }\), \({\bar{C}}_H=c_H^\phi + c_H^{\varphi }\), \({\bar{K}}_F=K_F^\phi + K_F^{\varphi }\), \({\bar{K}}_H=K_H^\phi + K_H^{\varphi }\). If necessary, since \(|(x,y)|\le |z|\), we can also use
where
It is clear that, taking
we can get a more accurate bound for \(|\partial _{\phi ,\varphi } {\mathcal {S}}|\). In fact, we can just change the definition of \(M_{ij}^k\) by changing the value of \(C_F, C_F^{\phi ,\varphi }, C_H^{\phi ,\varphi }\) by their new value.
2.2.5 The Lipschitz Constant of \({\mathcal {F}}^-\)
Now we are going to compute the Lipschitz constant of the operator \({\mathcal {F}}^-\) in (23).
Lemma 2.6
Take \(\rho \ge \rho _*^2\) as in Lemma 2.3. The operator \({\mathcal {F}}:B(M_0) \rightarrow {\mathcal {X}}_3\times {\mathcal {X}}_3\) is Lipschitz with Lipschitz constant \(L(\rho )=\min \{L_1(\rho ),L_2(\rho )\}\) with
where \(B_\nu \) and \(C_\nu \) are the constants introduced in (38) and (39), respectively.
Proof
We apply the second item of Lemma 2.1 to \(\Delta {\mathcal {S}}_1(\psi ,s)-\Delta {\mathcal {S}}_1(\psi ',s)\) and we obtain that
Now we apply the first item of Lemma 2.1 to \(\Delta {\mathcal {S}}_j(\psi ,s)-\Delta {\mathcal {S}}_j(\psi ',s)\) and we obtain
Then, we get \(L_1(\rho )\) adding the results in (50) and (51). Furthermore, applying the second item of Corollary 2.1, we obtain \(L_2(\rho )\) using that
\(\square \)
Remark 2.7
Notice that \(B_{m}\) is decreasing with respect to m, but \(C_{m}\) is increasing. It is not difficult to check that when \(\rho \ge C_7/B_8\ge 3^9 \cdot 32 /(2^{12}\cdot 5\pi ) \sim 9.7895\) then \(L_{1}(\rho )\ge L_{2}(\rho )\). This fact will be used in Sect. 3.1 and 3.2.
2.2.6 Setting \(\rho _*\) for the Existence Result
We choose \(\rho _*\ge \rho _*^2\) satisfying
so that Lemma 2.3 can be applied for \(\rho \ge \rho _*\). Then, the operator \({\mathcal {F}}^- : B(M_0) \rightarrow B(M_0)\) is contractive. Indeed,
provided \(L\le \frac{1}{2}\). Therefore, the operator has a fixed point \(\psi ^-\) defined in \({\mathcal {D}}^{-}_{\rho ^*}\) (see (16)) and therefore satisfies
2.2.7 Explicit Bounds for the Norm of the Linear Operator \({\mathcal {G}}\)
The next lemma gives estimates for the linear operator \({\mathcal {G}}\) defined in (31) with respect to the norm introduced in (34).
Lemma 2.8
Take \(\rho \ge \rho _*\) and let
where \(M_{ij}=M_{ij}(\rho )\) are the constants introduced in (47). Then, we have that, for s with \(\Re s=0\) and \(\Im s\le -\rho \),
In particular,
with
Proof
In this proof we omit the dependence on \(\rho \) of \(M_{i,j}^k\). We use Lemma 2.3 to bound \({\widetilde{{\mathcal {K}}}}_{ij}\), the components of the matrix \({\widetilde{{\mathcal {K}}}}\) in (29). By construction, if \(\psi \in B(M_0)\),
Then, for the first component,
For the second component, using that \(\big |e^{i\alpha h_0\log t}\big | = e^{\alpha h_0\pi /2}\),
and the result is proven. \(\square \)
2.2.8 Computation of the Stokes Constant
Using the estimates of the operator \({\mathcal {G}}\) given in (55), we can provide a rigorous computation of the Stokes constant.
Let \(\rho _0\ge \rho _*\) be such that
Then, the constant \({\overline{M}}(\rho _0)\) defined in (37) satisfies
and, as a consequence,
In the next section we give the precise algorithm which allows, by means of computer rigorous computations, to compute \(\Theta \) with a previous known accuracy. This algorithm is applied to two concrete examples in Sects. 3.1 and 3.2.
2.3 Computing the Stokes Constant: Algorithm
We describe the steps needed to obtain the values of \(\rho _*\) and \(\rho _0\) which guarantees that \(\psi ^+,\psi ^-\) are defined for \(s\in (-i\rho _*, -i\infty )\) and a good accuracy of \(\Theta \).
-
Step 1: Compute the constants \(a_3,h_0\) and \(C_{F}^0,C_{H}^0,{\overline{C}}_H^0\), \(C_F^{\phi ,\varphi }\), \(C_{H}^{\phi ,\varphi }\) which satisfy (40) and (41) and \({\overline{C}}_H\), \({\overline{C}}_F\) given in (42).
-
Step 2: Take \(\rho _*^1 \ge \textrm{max}\{2, {\overline{C}}_H^0\}\) and compute, for \(\rho \ge \rho _*^1\), the constants \({\mathcal {C}}_0(\rho )\) given in Lemma 2.2 and \(M_0(\rho )\) defined in (45).
-
Step 3: Choose \(\rho _*^2\ge \rho _*^1\) such that (46) is satisfied. Compute also the constants \(M^j_{11}(\rho )\), \(j=1,2,3,4\) and \(M_{12}^j(\rho )\), \(j=2,3,4\), in (47), for \(\rho \ge \rho _*^2\).
-
Step 4: Compute the constants \(L_1(\rho )\) and \(L_2(\rho )\) in (49) for \(\rho \ge \rho _*^2\).
-
Step 5: Choose \(\rho _*\ge \rho _*^2\) satisfying
$$\begin{aligned} L(\rho _*)=\min \{L_1(\rho _*),L_2(\rho _*)\}\le \frac{1}{2}. \end{aligned}$$ -
Step 6: Take \(\rho _*\) and check that the difference
$$\begin{aligned} \psi ^+(-i\rho _*)-\psi ^-(-i\rho _*)\ne 0. \end{aligned}$$ -
Step 7: For \(\rho \ge \rho _*\), compute the constants \(A_1(\rho )\) and \(A_2(\rho )\) in (53) and \(A(\rho )\) in (56).
-
Step 8: Compute \(\rho _0\ge \rho _*\) such that \(A(\rho _0)\le 1/2\). Then, compute \(\kappa _0(\rho _0)\) in (32) and \({\overline{M}}(\rho _0)\) in (58).
Therefore, the Stokes constant satisfies
Remark 2.9
By Theorem 1.7, the first 6 steps allows us to check whether \(\Theta \ne 0\) or not.
3 Examples
To illustrate the algorithm, we consider two concrete examples of analytic unfoldings of a Hopf-zero singularity (7) whose corresponding inner equation can be found in (10). In both cases, we prove that the associated constants \(\Theta \) do not vanish and give rigorous estimates for them.
3.1 The First Example
As first example, we take
This corresponds to \(F_1(\phi ,\varphi ,s)=-s^{-3}\), \(F_2=F_1\) and \(H=0\). The inner equation (15) associated to this model is the following
with
Now we follow the steps of the algorithm in Sect. 2.3.
Step 1. In this case, \(h_0=0\), and moreover, among all the constants defined in Step 1, the only one that is different form 0 is \(a_3=1\).
Step 2. In this case, we have that \(\rho _*^1=2\) and \({\mathcal {C}}_0=0\) so that \(M_0=\frac{22}{3}\) is independent on \(\rho \).
Step 3. We have that \(\rho _*^2\) has to be such that
In addition \(M_{ij}^{1, 2, 3}=0\) and
Step 4 and Step 5. One can check that
for \(\rho \ge \rho _*=9.7895\). Under this condition, as we claimed in Remark 2.7,
Therefore we can guarantee the existence of \(\psi ^{\pm }\) for \(\rho \ge \rho _*=9.7895\).
Step 6. Now it only remains to compute
By means of rigorous computer computations, which are discussed in more detail in “Appendix B,” we obtain that there exists a
for which
Therefore, the Stokes constant associated to the first example (60) does not vanish.
Now we follow Step 7. and Step 8. to provide rigorous accurate estimates for it.
Step 7. The constants \(A_1\) and \(A_2\) in (53) are
which give the constant \(A(\rho )=\textrm{max}\{A_1(\rho ),A_2(\rho )\}\) in (56). We obtain
Step 8. One can choose \(\rho _0=\rho _*\). Then, by (32), (58) and (59), one obtains
We can see that the accuracy of the computation is roughly \(2\cdot 10^{-2}\).
Remark 3.1
The computation suggests that the Stokes constant \(\Theta \in {\mathbb {R}}\). Indeed, this fact can be proved for this example by considering \({\widehat{\psi }}^{\pm } (r) =({\widehat{\phi }}^{\pm }(r) , {\widehat{\varphi }}^{\pm }(r))= \psi ^{\pm }(i r )\), \(r\in (-\infty , -\rho _0]\) that satisfies the real differential equation
along with the real boundary conditions \(\lim _{r\rightarrow -\infty } {\widehat{\psi }}^{\pm }(r) = 0\). Therefore \({\widehat{\psi }}^{\pm }\) are real functions and so their difference is.
As we will see in the next example, the fact that \(\Theta \in {\mathbb {R}}\) is not generic and depends strongly on the symmetries of the inner equation.
3.2 The Second Example
The second example breaks the reversibility. It consists in taking \(\alpha =b=1\), \(g=h=0\) and \(f(X,Y,Z,\delta )=Z^3+ 2XYZ\) which corresponds to
and then, the inner equation associated to this unfolding is:
with \({\mathcal {S}}\) defined as
Step 1. We have that all the constants are zero except \(a_3=1\), \(C_F=2\), \(C_F^\phi =C_F^\varphi =1\).
Step 2. As for the first example \(\rho _*^1=2\) and \({\mathcal {C}}_0=0\) so that \(M_0=\frac{22}{3}\).
Step 3. We have that \(\rho _*^2\) has to be such that
In addition \(M_{ij}^{1, 3}(\rho )=0\) being
Step 4 and Step 5. One can check that
for \(\rho \ge \rho _* \ge 9.7895\). Therefore, under this condition, using Remark 2.7 as for Example 1, we can guarantee that \(L(\rho )\ge 1/2\) and, then, the existence of \(\psi ^{\pm }\).
Remark 3.2
For Example 2, we can obtain more accurate estimates by computing directly the derivatives \(\partial _{\phi ,\varphi } {\mathcal {S}}\). Indeed, performing straightforward computations, we obtain that \(M_{ij}^1(\rho )=M_{ij}^2 (\rho ) = M_{ij}^3(\rho )=0\) and
Therefore
Since we need to be as precise as possible, we use the constants \(M_{ij}^k(\rho )\) defined in Remark 3.2 instead of the constants provided by the general method.
Step 6. We compute \(\psi ^+(-i\rho _*)-\psi ^-(-i\rho _*)\). By means of rigorous computer computations, we obtain that there exists a \(\rho _*\)
for which
This implies that \(\Theta \ne 0\). Now we perform the last two steps in the algorithm.
Step 7. For Example 2, we have that
and \(A(\rho )=\textrm{max}\left\{ A_1(\rho ),A_2(\rho )\right\} \), with \(M_{11}^4(\rho ),M_{12}^4(\rho )\) defined in (68). We obtain
Step 8. By means of rigorous computer validation, for \(\rho _0=\rho _*\) using (32), (58) and (59) we obtain
We can see that the accuracy of the computation is roughly \(2.5\cdot 10^{-1}\). Note that Step 8 implies that the Stokes constant has both nonzero real and imaginary part (see Remark 3.1).
4 Improving the Computation of the Stokes Constant
In this section, we give an improvement of the Steps 7 and 8 in Sect. 2.3 to obtain accurate estimates for the Stokes constant \(\Theta \). We explain this improvement for the Example 1 given in Sect. 3.1 but the method we present is general and can be applied to any system.
Recall that, using (19) and (30),
Therefore, by (54), (55) and (36), the remainder
satisfies
where \(A=A(\rho )=\textrm{max}\{A_1,A_2\}\) and \(A_1, A_2\) are given in (65).
Using (31) and the fact that in Example 1, \(h_0=0\) and therefore \(\widetilde{{\mathcal {K}}}={\mathcal {K}}\),
which implies
To obtain this integral, we need an approximation of the coefficient \({\mathcal {K}}_{11}\).
Lemma 4.1
The function \({\mathcal {K}}_{11}\) introduced in (26) associated to Eq. (61) satisfies
and \(\mathcal {EKT}_{11}\) satisfies
where
and
This lemma is proven in Sect. 4.1.
Now take \(\rho _{\diamond }\) be such that \(M_{*}(\rho )\le M_0(\rho )\) for \(\rho \ge \rho _{\diamond }\). Using the expression of \({\mathcal {K}}_{11}\) given in (73) to compute (71) and using the remainder estimates in (74) we obtain:
and
Finally, using the expression (72) for \(\Theta \) we obtain
As we know the constants \(\beta _i\), one can use this formula to improve the computation of \(\Theta \).
Indeed, using the above approach one obtains
We can see that the accuracy of the computation is roughly \(10^{-3}\), which is an improvement when compared to the accuracy \(2\cdot 10^{-1}\) from (66). (For (76) we have used the same \(\rho _*\) and the computed value of \(\Delta \psi (-i\rho _*)\) as for (66).)
4.1 Proof of Lemma 4.1
Lets call \({\mathcal {K}}_{ij}(s)\) the 4 elements of the matrix \({\mathcal {K}}\). To obtain expansions for these coefficients we compute first an expansion for \(\psi ^\pm \) associated to Example 1 in (60).
Lemma 4.2
The functions \(\psi ^\pm \) can be written as
where \(\psi _*=(\phi _*,\varphi _*)\) with
which satisfy
for
and the remainders \({\mathcal {E}}^\pm =({\mathcal {E}}^\pm _\phi ,{\mathcal {E}}^\pm _\varphi )\) satisfy
with
Proof
By (62), the first iteration \({\mathcal {F}}^-(0)\) analyzed in Lemma 2.2 for Example 1 is given by
Integrating by parts, we obtain
where
Analogously, for the second component
where \(E_2^-\) has the same bounds as \(E_1^-\):
Let us call \(\psi _*=(\phi _*,\varphi _*)\) and \(E^-=\left( E_1^-,E_2^-\right) \). Observe that by Lemma 2.1 and Corollary 2.4 and recalling that, for Example 1, one has \(M_{11}^j=M_{12}^j=0\) for \(j=1,2,3\),
Now we use that \(\psi ^-\) is a fixed point of operator \({\mathcal {F}}^-\) and therefore
We conclude
\(\square \)
Using the previous result, we can compute a better asymptotic expansion of \({\mathcal {K}}_{11}\). We rely on the expression
Note that, for Example 1,
where
We define the function
and using the fundamental theorem of calculus, \(g(1)=g(0)+\int _0^1 g'(r)dr\), we have that
Therefore,
One can easily check that
Moreover, by (52) and (77), we know that
Then, taking into account the definitions of \(\mathtt A,\mathtt C,\mathtt D\), one can obtain the following bounds for \(|s|\ge \rho \),
Using (80) and the bounds (79), we obtain that \({\mathcal {K}}_{11}\) satisfies
with
Last step is to compute \(\partial _{\phi } {\mathcal {S}}_{1}(\psi _*)\) using the formula of \(\psi _*\) in Lemma 4.2. We recall that
and we write
with
Now, using that
we write
with
We now substitute the expressions \(\psi _*\) in Lemma 4.2 which give
which gives
and
Using these approximations in (81), we obtain the statement of the lemma taking
Using the bounds (82), (83), (84), (85), we get
.
Data Availability Statement
The datasets generated and analyzed during the current study, including the code for the computer-assisted proof, are available on the personal web page of M. C.(http://wms.mat.agh.edu.pl/~mcapinsk/Papers.html) and also available from him upon request.
References
Baldomá, I., Castejón, O., Seara, T.M.: Exponentially small heteroclinic breakdown in the generic Hopf-zero singularity. J. Dyn. Differ. Equ. 25(2), 335–392 (2013)
Baldomá, I., Castejón, O., Seara, T.M.: Breakdown of a 2D heteroclinic connection in the Hopf-zero singularity (I). J. Nonlinear Sci. 28(5), 1551–1627 (2018)
Baldomá, I., Castejón, O., Seara, T.M.: Breakdown of a 2D heteroclinic connection in the Hopf-zero singularity (II): the generic case. J. Nonlinear Sci. 28(4), 1489–1549 (2018)
Baldomá, I., Giralt, M., Guardia, M.: Breakdown of homoclinic orbits to L3 in the RPC3BP (I). complex singularities and the inner equation. (2021a) Available at arXiv:2107.09942
Baldomá, I., Giralt, M., Guardia, M.: Breakdown of homoclinic orbits to L3 in the RPC3BP (II). an asymptotic formula. (2021b) Available at arXiv:2107.09941
Baldomá, I., Ibánez, S., Seara, T.M.: Hopf-zero singularities truly unfold chaos. Commun. Nonlinear Sci. Numer. Simul. 84, 105162 (2020)
Baldomá, I., Seara, T.M.: The inner equation for generic analytic unfoldings of the Hopf-zero singularity. Discrete Contin. Dyn. Syst. Ser. B 10(2–3), 323–347 (2008)
Broer, H.W., Vegter, G.: Subordinate Šilnikov bifurcations near some singularities of vector fields having low codimension. Ergod. Theory Dyn. Syst. 4, 509–525 (1984)
Capiński, M.J., Zgliczyński, P.: Beyond the Melnikov method: a computer assisted approach. J. Differ. Equ. 262(1), 365–417 (2017)
Capiński, M.J., Zgliczyński, P.: Beyond the Melnikov method II: multidimensional setting. J. Differ. Equ. 265(9), 3988–4015 (2018)
Gomide, O., Guardia, M., Seara, T.M., Zeng, C.: On small breathers of nonlinear Klein-Gordon equations via exponentially small homoclinic splitting. (2021) Available at arXiv:2107.14566
Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, vol. 42. Springer Verlag, Berlin (1990)
Gelfreich, V., Lerman, L.: Separatrix splitting at a Hamiltonian \(0^2i\omega \) bifurcation. Regul. Chaotic Dyn. 19(6), 635–655 (2014)
Guckenheimer, J.: On a codimension two bifurcation. Dyn. Syst. Turbul. Warwick 1980, 99–142 (1981)
Lazutkin, V.F.: Splitting of separatrices for the Chirikov standard map. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI), 300(Teor. Predst. Din. Sist. Spets. Vyp. 8:25–55, (2003)
Melnikov, V.K.: On the stability of the center for time periodic perturbations. Trans. Mosc. Math. Soc. 12, 1–57 (1963)
Segur, H., Kruskal, M.D.: Nonexistence of small-amplitude breather solutions in \({\rm phi }^{4}\) theory. Phys. Rev. Lett. 58, 747–750 (1987)
Silnikov, L.P.: On the question of the structure of an extended neighborhood of a structurally stable state of equilibrium of saddle-focus type. Mat. Sb. (N. S.) 81(123), 92–103 (1970)
Treschev, D.: Separatrix splitting for a pendulum with rapidly oscillating suspension point. Russ. J. Math. Phys. 5(1), 63–98 (1997)
Acknowledgements
This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 757802). This work is part of the grants PGC2018-098676-B-100 and PID-2021-122954NB-100 funded by MCIN/AEI/10.13039/501100011033 and “ERDF A way of making Europe.” M. G. and T. M. S. are supported by the Catalan Institution for Research and Advanced Studies via an ICREA Academia Prize 2019. M.C. has been partially supported by the Polish National Science Center (NCN) grants 2019/35/B/ST1/00655 and 2021/41/B/ST1/00407. This work is also supported by the Spanish State Research Agency, through the Severo Ochoa and María de Maeztu Program for Centers and Units of Excellence in R &D (CEX2020-001084-M).
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Contributions
All authors wrote the manuscript text.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by George Haller.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Proof of Lemma 2.1
To prove Lemma 2.1, we need first the following lemma.
Lemma A.1
If m is even
and, for m odd
Proof
Integrating by parts,
Therefore \(I_{k+2}= \frac{k-1}{k} I_{k}\) which implies \(I_{k}=\frac{k-3}{k-2}I_{k-2}\) and therefore
with \(J=I_3\) if k is odd and \(J=I_2\) if k is even. Since \( I_3=1\) and \( I_2=\frac{\pi }{2} \) we are done. \(\square \)
We use this lemma to prove Lemma 2.1.
Proof of Lemma 2.1
Let \(\psi =(\phi ,\varphi )\in {\mathcal {X}}_{\nu }\) The first component of \({\mathcal {B}}^-(\psi )\) is
We first prove the first item. Indeed, using that \(|s+t|^2 \ge |s|^2 + t^2\) for \(s\in {\mathcal {D}}^-_\rho \), one can prove that
Analogously we deal with \({\mathcal {B}}^-_2(\psi )\) and we obtain the result in the first item, taking into account that the product norm is the supremum norm.
Now we deal with the second item. By the geometry of \({\mathcal {D}}^-_\rho \), and using the Cauchy’s theorem, we can change the path of integration in the integral (87) defining \({\mathcal {B}}_1^-(\psi )\) to \(t e^{i\gamma }\), \(t\in (-\infty ,0]\), with \(0\le \gamma \le \beta \). We obtain then
Notice that \(s+te^{i\gamma } \in {\mathcal {D}}^-_\rho \) and
Therefore
The function \(\big (\cos \gamma \big )^{\nu +1} \sin \gamma \) has only a maximum in \(\left( 0,\frac{\pi }{2}\right) \) in \(\gamma _*\) such that \((\nu +1)\sin ^2 \gamma _* =1\).
As in the first item, \({\mathcal {B}}_2^-(\psi )\) can be treated in the same way, changing here the integration path to \(te^{-i\gamma }\). \(\square \)
Computing the bound on \(\Delta \psi \left( -i\rho ^{*}\right) \)
Here we provide an explicit rigorous estimate, using interval arithmetic bounds, for the distance between \(\psi ^{+}\left( -i\rho \right) \) and \(\psi ^{-}\left( -i\rho \right) \) for a given \(\rho >0\) which we have used for our Examples 1 and 2 (discussed in Sects. 3.1, 3.2 and 4).
We start with Example 1. We work with the system (11) with \(F_{1}=-s^{-3}\), \(F_{2}=0,\) \(H=0\).
By writing
we can rewrite (11) as
This is an ODE in \({\mathbb {R}}^{6}\), with real time \(\tau \). We shall write \(\Phi _{\tau }\) for the flow induced by (88).
Note that \(\left( s_{1},s_{2}\right) =\left( 0,-\rho \right) \) corresponds to the complex \(s=-i\rho \).
For \(x\in {\mathbb {R}}^{6}\), we shall write
and define
We do not assume that \({\mathcal {P}}^{+}\) and \({\mathcal {P}}^{-}\) are globally defined. Whenever we write \({\mathcal {P}}^{+}\left( x\right) \) or \({\mathcal {P}}^{-}\left( x\right) \), we will always validate that the considered point x lies in the domain of the map.
We know that the two solutions \(\psi ^{\pm }\) of (12) (with \(F_{1}=-s^{-3}\), \(F_{2}=0,\) \(H=0\)) satisfy
Lemma B.1
Consider \(s^{-},s_{l}^{+},s_{u}^{+}\in {\mathbb {R}}^{2}\) of the form \(s^{-}=( s_{1}^{-},s_{2}^{-}) ,\) \(s_{l}^{+}=( s_{1}^{+},s_{2,l}^{+}) ,\) \(s_{u}^{+}=( s_{1}^{+},s_{2,u} ^{+}) \), where \(s_{1}^{-}<0<s_{1}^{+}\) and \(s_{2,l}^{+}<s_{2,u}^{+}\). (The subscripts l and u stand for ‘lower’ and ‘upper’; see Fig. 1.) Let \({\textbf{s}}^{+}\subset {\mathbb {R}}^{2}\) be the vertical interval joining \(s_{l}^{+}\) and \(s_{u}^{+}\) and let
If
then there exists a \(\rho ^{*}\in -\pi _{s_{2}}{\mathcal {P}}^{-}\left( {\textbf{p}}^{-}\right) \) such that
Proof
By the Bolzano theorem applied to
from (91), we see that there there exists a \(s_{*}^{+} \in {\textbf{s}}^{+}\) such that
By definition of \({\mathcal {P}}^{\pm }\) we know that \(\pi _{s}{\mathcal {P}}^{\pm }\left( q\right) \in \left\{ 0\right\} \times {\mathbb {R}}\), so
for some \(\rho ^{*}>0\) (the sign follows from (91)) and hence
which implies (92), as required. \(\square \)
In our computer-assisted proof, we have taken \({\bar{\rho }}:=\) 16.00008679 and
(the choice of \({\bar{\rho }}\) is dictated by the fact that then \(\rho ^{*}\approx 16\); see (63)). Then, we have validated that, with such choice of \(s^{-},s_{u}^{+},s_{l}^{+}\), Lemma B.1 leads to the bound (64). The computation of \({\mathcal {P}}^{+}\left( {\textbf{p}}^{+}\right) ,{\mathcal {P}}^{-}\left( {\textbf{p}}^{-}\right) \) required a long integration time, due to the number \(10^{3}\) in our choice of \(s^{-}_1,s_1^{+}\). The benefit of such large value in \( \Re s\) is that then \(\left| \Re s\right| ^{-3}\) is a very small number, leading to small sets \({\textbf{p}}^{\pm },{\textbf{p}}_{l}^{+},{\textbf{p}}_{u}^{+}\). This results in good bounds on \(\Delta \psi \). Such choice of \( \Re s\) was reached by trial and error.
The computer-assisted validation of (64) took under 20 seconds, running on a single thread of a standard laptop.
The computation of \(\Delta \psi \) in the second example also follows from Lemma B.1. The only difference is the formula for the vector field, which is
We take the same \(s^{-},s_{l}^{+},s_{u}^{+}\) as in (93 –95) which, with the aid of Lemma B.1 and interval arithmetic integration, leads to the bounds (69 –70).
The computer-assisted validation of (70) took under 25 seconds, running on a single thread of a standard laptop.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Baldomá, I., Capiński, M.J., Guardia, M. et al. Breakdown of Heteroclinic Connections in the Analytic Hopf-Zero Singularity: Rigorous Computation of the Stokes Constant. J Nonlinear Sci 33, 28 (2023). https://doi.org/10.1007/s00332-022-09882-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00332-022-09882-x