Abstract
In this paper, blow-up solutions of autonomous ordinary differential equations (ODEs) which are unstable under perturbations of initial points, referred to as saddle-type blow-up solutions, are studied. Combining dynamical systems machinery (e.g., compactifications, timescale desingularizations of vector fields) with tools from computer-assisted proofs (e.g., rigorous integrators, the parameterization method for invariant manifolds), these blow-up solutions are obtained as trajectories on local stable manifolds of hyperbolic saddle equilibria at infinity. With the help of computer-assisted proofs, global trajectories on stable manifolds, inducing blow-up solutions, provide a global picture organized by global-in-time solutions and blow-up solutions simultaneously. Using the proposed methodology, intrinsic features of saddle-type blow-ups are observed: locally smooth dependence of blow-up times on initial points, level set distribution of blow-up times and decomposition of the phase space playing a role as separatrixes among solutions, where the magnitude of initial points near those blow-ups does not matter for asymptotic behavior. Finally, singular behavior of blow-up times on initial points belonging to different family of blow-up solutions is addressed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Our concern in the present paper is blow-up solutions of the following initial value problem of an autonomous system of ordinary differential equations (ODEs) in \(\mathbb {R}^n\):
where \(t\in [0,T)\) with \(0<T\le \infty \), \(f:\mathbb {R}^n\rightarrow \mathbb {R}^n\) is a \(C^1\) function and \(y_0\in \mathbb {R}^n\). We call a solution y(t) of the initial value problem (1.1) a blow-up solution if
The maximal existence time \(t_{\max }\) is then called the blow-up time of (1.1). Blow-up solutions can be seen in many dynamical systems generated by ODEs, or partial differential equations (PDEs) like nonlinear heat equations or Keller–Segel systems. These dynamical systems are categorized as exhibiting finite-time singularities and have been the center of attention of many researchers, who have studied these phenomena from mathematical, physical, numerical viewpoints and so on (e.g., Fila and Matano 2002; Herrero and Velázquez 1997; Mizoguchi 2016; Winkler 2013 from theoretical viewpoints and, e.g., Anada et al. 2017; Berger and Kohn 1988; Cho 2016; Cho et al. 2007; Zhou and Saito 2017 from numerical viewpoints). Fundamental questions for blow-up solutions are whether or not a solution blows up and, if it does, when, where and how it blows up. In general, blow-up phenomena depend on initial points, and rigorously characterizing them as functions of initial points remains non-trivial.
A typical approach for studying and proving existence of blow-up solutions is via energy estimates (see, e.g., Fila and Matano 2002), namely inequalities (involving energy functionals associated with the systems) giving sufficient conditions for existence of blow-up. In such cases, relatively large initial data induce finite-time blow-up. However, in general, these criteria do not provide an answer on how large initial points should be to exhibit blow-up and how solutions behave when these criteria are violated. There are several cases where initial points are divided such that solutions through them either exist globally in time or blow-up by means of bounded stationary solutions (e.g., Fujita 1969). A stationary solution with the above property is referred to as the separatrix, which plays a key role in describing asymptotic behavior of solutions. Despite their importance, results about the existence and explicit description of separatrixes are limited. On the other hand, there are also results about the existence of blow-ups in which the magnitude of initial points does not matter. Alternative approaches to the energy estimates have been introduced to prove such blow-ups, but their dependence on initial points remain unknown in many cases, while arguments based on energy estimates easily yield the continuous dependence of blow-up behavior on initial points by continuity of energy functionals. Furthermore, there are also blow-up solutions whose asymptotic behavior is described not only by divergence, but also by complex behavior like oscillations, some of which are mentioned in Sect. 8.1 (Concluding Remarks). Mathematical and physical importance for studying blow-up behavior follow from such rich nature, but their comprehensive understanding are limited to well-known systems like PDEs mentioned above at present. See, e.g., Fila and Matano (2002) and Galaktionov and Vázquez (2002) for more detailed summaries of blow-up problems including another well-known characterization of blow-up solutions by means of (backward) self-similarity.
Meanwhile, the second author has recently proposed a description of blow-up solutions from the viewpoint of dynamical systems (Matsue 2018). More precisely, compactifications of the phase space \(\mathbb {R}^n\) is applied to mapping the infinity onto points on the boundary \(\mathcal {E}\) of a compact manifold or their tangent spaces denoted by \(\overline{\mathcal {D}}\) with \(\partial \mathcal {D} = \mathcal {E}\). The boundary \(\mathcal {E}\) shall be called the horizon in this context. Accordingly the vector field (1.1) is transformed to one on the corresponding manifolds, but the behavior of solutions near the boundary \(\mathcal {E}\) is still singular reflecting the behavior of the original vector field at infinity. The timescale transformation, which shall be called the timescale desingularization, is then introduced to desingularize the singularity of the vector field around \(\mathcal {E}\). Consequently, dynamics at infinity can be characterized through the time-transformed vector field, called the desingularized vector field, on \(\overline{\mathcal {D}}\). Standard arguments in the theory of dynamical systems through compactifications show that divergent solutions of (1.1) correspond to global-in-time solutions of the desingularized vector field converging to invariant sets on \(\mathcal {E}\).Footnote 1 A significant consequence of the preceding studies is that a solution of (1.1) with bounded initial point is a blow-up solution, namely \(t_{\max } < \infty \), if the image of the solution through a compactification mentioned above is on the local stable manifold of a hyperbolic equilibrium on \(\mathcal {E}\) for the desingularized vector field.Footnote 2
Simultaneously, the second and the third authors have developed a computer-assisted methodology for proving the existence of blow-up solutions for concretely given dynamical systems with rigorous bounds of their blow-up times \(t_{\max }\) (Matsue and Takayasu 2020a, b; Takayasu et al. 2017). The basic idea is the combination of compactifications as well as timescale desingularizations mentioned above with rigorous integrator of ODEs based on interval (and affine) arithmetic and topological characterizations of asymptotic behavior such as locally defined Lyapunov functions. Evaluation of \(t_{\max }\) is one of the most important issues in blow-up studies to estimate upper bounds of the existence of solutions, or the onset of finite-time singularities such as ignition in combustion studies (e.g., Dold 1985), while the study is limited even in numerical studies (e.g., Cho 2016). The proposed methodology provides a rigorous and standard way to obtain both lower and upper bounds of \(t_{\max }\) through dynamics at infinity.
The methodology works successfully for validating profiles and blow-up times of blow-up solutions generated by hyperbolic stable equilibria at infinity, while blow-up generated by unstable equilibria at infinity is not reported yet due to several technical difficulties. Note that there is another work for characterizing blow-up solutions with computer assistance by the first author and his collaborators based on analytic approach (D’Ambrosio et al. 2015) whose detail is briefly mentioned in Sect. 8.1. On the other hand, from the viewpoint of dynamics at infinity itself, namely when the viewpoint of blow-up characterizations is not considered, asymptotic behavior of unstable invariant sets at infinity is quite natural to study toward description of global bounded dynamics (e.g., Dumortier 2006; Dumortier and Herssens 1999; Dumortier et al. 2006; Giraldo et al. 2020; Kokubu and Roussarie 2004). We then believe that blow-up solutions generated by unstable invariant sets at infinity contribute toward the comprehensive understanding of global dynamics, including characteristics such as criteria for the existence, dependence on initial points and analytic information of blow-up times. Despite many mathematical and numerical studies of blow-ups, characterizations and computations of blow-up solutions which are unstable under perturbations of initial points in a standard way are not realistic, because we have to treat the following difficulties simultaneously:
-
instability of trajectories exhibiting blow-up solutions under perturbations of initial points and
-
treatment of infinity.
We shall call blow-up solutions exhibiting instability under perturbation of initial points saddle-type blow-up solutions in the present paper, respecting the structure of equilibria at infinity. This fuzzy nature is difficult to characterize clearly in general, while such behavior can be partially observed in several practical problems as mentioned in Sect. 8.1.
The main aim of the present paper is to reveal a global nature of saddle-type blow-up solutions through mathematically rigorous blow-up characterizations mentioned above with computational machineries in dynamical systems,, both qualitatively and quantitatively. As any computational method inevitably suffers from numerical errors, due both to rounding and discretizing, one must question the validity of its output. This is especially through when solutions are sensitive to initial conditions, as it is the case for instance for dynamical systems possessing blow-up solutions or exhibiting chaos. In order to address the fundamental issue of reliability of computations, the recent field of computer-assisted proofs in nonlinear analysis emerged at the intersection of scientific computing, functional analysis, approximation theory, numerical analysis and topology. In essence, a computer-assisted proof is the process by which the hypotheses of a theorem are verified rigorously with the help of the computer. In the context of dynamical systems, early pioneering works include the proof of the universality of the Feigenbaum constant (Oscar 1982) and the proof of existence of the strange attractor in the Lorenz system (Tucker 2002). We refer the interested reader to the survey papers (Koch et al. 1996; Nakao 2001; Tucker 2011; van den Berg and Lessard 2015; Gómez-Serrano 2018), as well as the recent book (Nakao et al. 2019). Computer-assisted proofs are one way to both characterize and visualize mathematical objects in a mathematically rigorous way. Keeping the success of computer-assisted proofs for various applications to dynamical systems (e.g., Castelli et al. 2018; D’Ambrosio et al. 2015; Matsue and Takayasu 2020a, b; Takayasu et al. 2017) in mind, we believe that studying blow-up solutions with computer-assisted proofs provides rich insights into asymptotic behavior of solutions to differential equations as well as new research directions of global dynamics and finite-time singularities.
To validate saddle-type blow-up solutions, we combine the machinery applied in preceding works, compactifications and timescale desingularizations, with the parameterization method (e.g., see Cabré et al. 2003a, b, 2005). The latter notion is now understood as one of universal machineries in dynamical systems, which aims at characterizing and constructing invariant manifolds, including local (un)stable manifolds of invariant sets such as equilibria and periodic orbits. Moreover, the parameterization method with rigorous ODE integrations has a great compatibility with computer-assisted proofs to capture global nature of invariant manifolds in dynamical systems with their explicit enclosures. In particular, globally extended saddle-type blow-up solutions and the corresponding curves of blow-up times can be validated as easily as preceding works (Matsue and Takayasu 2020a, b; Takayasu et al. 2017).
We shall also unravel non-trivial and global nature of saddle-type blow-up solutions with the applicability of our proposed methodology through several examples. The main features of blow-up solutions we shall extract in the present paper are summarized as follows, which are not observed in preceding works or theoretical characterizations of blow-ups:
-
The blow-up time \(t_{\max }\) is described by a locally real analytic function of initial points under a generic assumption (Sect. 4.2).
-
Local foliation structure in level sets of blow-up times which is independent of dynamics at infinity is observed (Sect. 6.2).
-
Chain of connecting orbits including those corresponding to saddle-type blow-up solutions can separate initial points into several regions possessing significantly different properties, where solutions through these points either exist global-in-time or blow up in finite time, no matter how large the magnitude of initial points is (Sect. 7.2).
-
The above chain of connecting orbits induces discontinuity of blow-up times (Sect. 7.2).
The first feature is one of the biggest benefits of the parameterized method in blow-up studies. In preceding works, no explicit expression of local stable manifolds is obtained, yielding at most upper and lower bounds of \(t_{\max }\) (e.g., Takayasu et al. (2017)). In the present methodology, the explicit expressions of local stable manifolds as the graphs of locally analytic functions can be applied, and hence, combined with formulae of \(t_{\max }\) by means of integrals through trajectories, we obtain the explicit formulae of \(t_{\max }\) as functions of initial points.
Through computer-assisted proofs, we obtain explicit distributions of local stable manifolds with their visualizations. We then see an interesting relationship between asymptotic behavior of blow-up solutions and the corresponding \(t_{\max }\). As the second feature, we see that the asymptotic dynamics near blow-up do not essentially contribute to determine blow-up times. In other words, only the magnitude of solutions can determine \(t_{\max }\). The remaining features are also important and completely different from blow-up solutions possessing persistence of structure under perturbations of initial points. We see that, in the presence of saddle-type blow-up solutions, there is no relationship between the magnitude of initial points and blow-up behavior of solutions through these points. All these features rely on computer-assisted proofs, implying that all results are mathematically rigorous and the methodology toward these results are available to a large class of ODEs without any knowledge of blow-up behavior.
The rest of the present paper is organized as follows. In Sect. 2, we review a methodology for characterizing blow-up solutions from the viewpoint of dynamical systems, which is based on compactifications and timescale desingularizations studied in, e.g., Matsue (2018). Three types of compactifications are shown there: directional, Poincaré-type and parabolic-type ones. The concrete process for characterizing blow-up solutions is explained for each compactification for readers’ accessibility, while the fundamental idea is identical. Both advantages and disadvantages of each compactification depending the situation are finally mentioned. In Sect. 3, the parameterization method for calculating invariant manifolds is summarized. In the present paper, we restrict our attention to stable manifolds of equilibria. Under an essential assumption called the non-resonance condition of eigenvalues, local stable manifolds can be characterized as zeros of a countable family of nonlinear equations on Banach spaces. Combining with the method of radii polynomials, which is one of standard functional analytic and algebraic machineries for finding zeros of (infinite-dimensional) nonlinear maps, computer-assisted proofs of the existence and characterization of local stable manifolds are provided. Note that the non-resonance condition yields that validated stable manifolds can be given as locally real analytic functions. In Sect. 4, we provide a methodology of computer-assisted proofs of the existence of blow-up solutions. Because the detailed implementations such as the choice of compactifications and timescale transformations is problem-dependent, only the basic idea for validating blow-up solutions is presented therein. We also show that the present methodology enables us to provide an exact and explicit formula of the maximal existence time, equivalently the blow-up time, of solutions as a locally smooth or real analytic function of initial points, provided all our implementations work successfully. The present characterization of the blow-up time provides us with a quantitative feature of blow-up solutions such as distributions of blow-up times depending on initial points which are not provided in preceding works (Matsue and Takayasu 2020a, b; Takayasu et al. 2017). As we shall see, the combination of compactifications with the parameterization method provide a universal concept of blow-up validations and characterizations both qualitatively and quantitatively, no matter how stable equilibria on the horizon (for desingularized vector fields) are.
The applicability of the present methodology and global nature of saddle-type blow-up solutions is shown in successive sections. In Sect. 5, a two-dimensional ODE possessing saddle-type blow-up solutions is considered. A locally defined (i.e., directional) compactification is applied, and a saddle-type blow-up solution, as well as the blow-up time as a function of initial points, is validated to check the applicability of our methodology to locally distributed blow-up solutions. In particular, the blow-up profile as well as its blow-up time as a function of initial points is successfully validated, extended and visualized. In Sect. 6, we consider a three-dimensional system. The Poincaré-type compactification is applied, and one- and two-dimensional stable manifolds of saddle equilibria on the horizon are validated. The aim is to show the applicability of our methodology to saddle-type blow-up solutions distributed on multi-dimensional stable manifolds of unstable invariant sets on the horizon. Furthermore, distribution of blow-up times as functions of initial points on two-dimensional stable manifolds is validated, which shows a relationship of blow-up times to the structure of stable manifolds around the horizon. Finally, global extension of local stable manifolds is demonstrated to visualize the distribution of blow-up nature. In Sect. 7, a two-dimensional ODE which is quasi-homogeneous in an asymptotic sense is considered. The system possesses both stable and unstable equilibria on the horizon. The parabolic-type compactification is applied and a saddle-type blow-up solution is firstly validated, while validations of blow-up solutions asymptotic to stable equilibria on the horizon are already demonstrated in a preceding work (Matsue and Takayasu 2020a). The main aim of this section is to study global nature of solution families near saddle-type blow-up solutions. We see that saddle-type blow-up solutions can play the role of the separatrix decomposing initial points into collections of blow-up solutions and global-in-time solutions. In other words, saddle-type blow-up solutions can divide initial points into those with globally bounded nature and blow-up nature, no matter how large magnitudes of initial points are. This separation cannot be seen in blow-up solutions induced by solutions asymptotic to stable equilibria on the horizon for desingularized vector fields. Moreover, it is also seen that blow-up times can behave in a singular manner across the saddle-type blow-up solutions. Remark that such a singular nature has not been provided only by the local theory, because the global dynamical information requires to unravel it, while many theoretical characterizations of solution structures are stated only in the local sense. We emphasize that computer-assisted proofs enable us to clarify the global nature, even in dynamically singular one, with appropriately chosen machineries. All the codes for generating results with computer-assisted proofs in Sects. 5, 6 and 7 are available at Lessard et al. (2021).
2 Preliminary 1: Characterization of Blow-Up Solutions
In this section, we briefly review a characterization of blow-up solutions for autonomous, finite-dimensional systems of ODEs from the viewpoint of dynamical systems. In particular, we pay attention to several concrete cases which are applied in examples later, while details of the present methodology are already provided in Matsue (2018) and Matsue and Takayasu (2020a, 2020b).
Consider the initial value problem of an autonomous system of ODEs
where \(t\in [0,T)\) with \(0<T\le \infty \), \(f:\mathbb {R}^n\rightarrow \mathbb {R}^n\) is a \(C^1\) function and \(y_0\in \mathbb {R}^n\).
2.1 Asymptotically Quasi-Homogeneous Vector Fields
First of all, we review a class of vector fields in our present discussions.
Definition 2.1
(Asymptotically quasi-homogeneous vector fields, cf. Dumortier 1993; Matsue 2018) Let \(f_0: \mathbb {R}^n \rightarrow \mathbb {R}\) be a smooth (i.e., \(C^r\) with \(r\ge 1\)) function. Let \(\alpha _1,\ldots , \alpha _n, k \ge 1\) be natural numbers. We say that \(f_0\) is a quasi-homogeneous function of type \(\alpha = (\alpha _1,\ldots , \alpha _n)\) and order k if
Next, let \(X = \sum _{j=1}^n f_j(x)\frac{\partial }{\partial x_j}\) be a smooth vector field on \(\mathbb {R}^n\). We say that X, or simply \(f = (f_1,\ldots , f_n)\) is a quasi-homogeneous vector field of type \(\alpha = (\alpha _1,\ldots , \alpha _n)\) and order \(k+1\) if each component \(f_j\) is a quasi-homogeneous function of type \(\alpha \) and order \(k + \alpha _j\).
Finally, we say that \(X = \sum _{j=1}^n f_j(x)\frac{\partial }{\partial x_j}\), or simply f is an asymptotically quasi-homogeneous vector field of type \(\alpha =(\alpha _1,\ldots , \alpha _n)\) and order \(k+1\) at infinity if there is a quasi-homogeneous vector field \(f_{\alpha ,k} = (f_{j; \alpha ,k})_{j=1}^n\) of type \(\alpha \) and order \(k+1\) such that
holds uniformly for \((x_1,\ldots , x_n)\in S^{n-1} \equiv \{x = (x_1,\ldots , x_n) \in \mathbb {R}^n \mid \sum _{i=1}^n x_i^2 = 1\}\).
Throughout successive sections, consider the (autonomous) vector field (2.1), where \(f: \mathbb {R}^n \rightarrow \mathbb {R}^n\) is an asymptotically quasi-homogeneous smooth vector field of type \(\alpha = (\alpha _1,\ldots , \alpha _n)\) and order \(k+1\) at infinity.
2.2 Compactifications, Dynamics at Infinity and Blow-Up Criteria
Here we summarize the basic strategy used throughout the successive sections. The main idea is application of compactifications: the embedding of the original phase space into compact manifolds or their tangent spaces with boundaries. The boundaries then correspond to the infinity. There are mainly two different types of compactifications: the locally defined one and globally defined one. The local one is simple and applied to many preceding works involving dynamics at infinity, while the global one enables us to treat dynamics including infinity in one chart. After introducing compactifications, we derive vector fields which we mainly concern, and provide the characterization of blow-up solutions by means of dynamical systems. The concrete process for the characterization of blow-up solutions is provided for each compactification which we introduce.
2.2.1 A Basic Strategy
The basic strategy for characterizing blow-up solutions is summarized as follows, which is independent of the choice of compactifications introduced below.
-
1.
For given vector field f provided by (2.1), determine its type \(\alpha \) and order \(k+1\).
-
2.
Choose an appropriate compactification of the same type \(\alpha \) (mentioned below) as f.
-
3.
Transform (2.1) into the corresponding one through the compactification.
-
4.
Introduce a timescale transformation to desingularize the vector field determined by the order \(k+1\) of f. The resulting vector field shall be called the desingularized vector field. Dynamics at infinity then makes sense through the desingularized vector field.
-
5.
Validate hyperbolic invariant sets on the special geometric object corresponding to infinity, the horizon and their local stable manifolds for the desingularized vector field.
Once invariant sets, such as equilibria and periodic orbits, on the horizon with their hyperbolicity are validated, their local stable manifolds characterize the collection of blow-up solutions of (2.1) near blow-ups, which is the essence of our proposing methodology. In the successive parts, the blow-up characterization is shown for each compactification.
An important point here is a suitable choice of “appropriate” compactifications so that our blow-up problem can be reduced to standard issues in dynamical systems. Below are examples of such suitable compactifications, which possess both advantages and disadvantages, and hence, these compactifications have to be used according to our needs. Several characteristics of compactifications are summarized in Sect. 2.3.
2.2.2 Directional Compactifications
First a locally defined compactification is introduced, which shall be called a directional compactification.
Definition 2.2
(Directional compactification, cf. Dumortier et al. 2006; Matsue 2018) A directional compactificationFootnote 3 of type \(\alpha = (\alpha _1, \ldots , \alpha _n)\) is defined as
with given direction \(i_0\in \{1,\ldots , n\}\) and the signature ±. This compactification is bijective in \(\mathbb {R}^n\cap \{\pm y_{i_0} > 0\}\), in which sense directional compactifications are local ones. In particular, this compactification is available when we are interested in trajectories of (2.1) such that the \(i_0\)th component has the identical sign during time evolution. The image of \(T_d\) is
The set \(\mathcal {E} = \{s=0\}\) corresponds to the infinity in the original coordinate, which shall be called the horizon.
Other geometric interpretations are mentioned in Sect. 2.3. For simplicity, fix \(i_0=1\) in (2.2) in the following arguments. Next transform (2.1) via (2.2), which is straightforward:
where
The resulting vector field is still singular near the horizon, but it turns out that the order of divergence of vector field as \(s\rightarrow +0\) is \(O(s^{-k})\), and hence, the following timescale transformation is available.
Definition 2.3
(Time variable desingularization: the directional version) Define the new time variable \(\tau _d\) by
equivalently,
where \(\tau _0\) and \(t_0\) denote the correspondence of initial times, and \(s(\tau _d)\) is the solution trajectory s(t) under the parameter \(\tau _d\). We shall call (2.5) the time variable desingularization (of order \(k+1\)).
The vector field \(g=g_d\) in \(\tau _d\)-timescale is
where B is the inverseFootnote 4 of the matrix
The componentwise expression is
This vector field is as smooth as f including \(s=0\), and hence, dynamics at infinity makes sense through dynamics generated by (2.7) around the horizon \(\mathcal {E} = \{s=0\}\). Once the desingularized vector field (2.7) is provided, blow-up solutions can be characterized as follows.
Theorem 2.4
(Stationary blow-up: the directional version, Matsue 2018) Assume that the desingularized vector field (2.7) associated with (2.1) has an equilibrium on the horizon \(\textbf{x}_*= (0,x_*)\in \mathcal {E}\). Also suppose that \(\textbf{x}_*\) is hyperbolic with \(n_s > 0\) (resp. \(n_u = n-n_s\)) eigenvalues of the Jacobian matrix \(Dg_d(\textbf{x}_*)\) with negative (resp. positive) real parts. If there is a solution y(t) of (2.1) with a bounded initial point y(0) whose image \(\textbf{x} = T_d(y)\) is on the local stable manifold \(W^s_{\textrm{loc}}(\textbf{x}_*; g_d)\), then \(t_{\max } < \infty \) holds; namely, y(t) is a blow-up solution. Moreover,
where \(c>0\) is a constant. Finally, if the ith component of \(\textbf{x}_*\) (\(i\in \{2,\ldots , n\}\)) is not zero, then we also have
where \(c_i\) is a constant with the same sign as \(y_i(t)\) as \(t\rightarrow t_{\max }\).
Remark 2.5
Note that there are other locally defined compactifications, such as a quasi-polar one known as Poincaré–Lyapunov disk (e.g., Dumortier and Herssens 1999; Dumortier et al. 2006; Matsue 2018).
2.2.3 Poincaré-Type Compactifications
The remaining compactifications we introduce here are global ones in the sense that they are embeddings of the whole phase space \(\mathbb {R}^n\) into compact manifolds with boundaries. A suitable class of global type compactifications for characterizing dynamics at infinity for asymptotically quasi-homogeneous vector fields is discussed in Matsue and Takayasu (2020a), where such a class of compactifications are called admissible global compactifications. Among such compactifications, two representative compactifications are reviewed.
As a general setting, for given n-tuple of natural numbers \(\alpha = (\alpha _1,\ldots , \alpha _n)\), let \(\beta _1,\ldots , \beta _n\) be natural numbersFootnote 5 such that
Then define a functional p(y) as
The prototype of admissible global compactifications is the Poincaré type.
Definition 2.6
(Poincaré-type compactification. cf. Matsue 2018) The Poincaré-type compactification (of type \(\alpha = (\alpha _1, \ldots , \alpha _n)\)) is defined as the mapping \(T_{qP}: \mathbb {R}^n \rightarrow \mathbb {R}^n\) as
with \(\kappa (y) = \kappa _{qP}(y) {\mathop {=}\limits ^{\textrm{def}}}(1+p(y)^{2c})^{1/2c}\). The map \(T_{qP}\) maps \(\mathbb {R}^n\) onto
The boundary \(\mathcal {E} \equiv \partial \mathcal {D} = \{x\in \mathbb {R}^n \mid p(x) = 1\}\) is called the horizon.
Its geometric interpretation is mentioned in Sect. 2.3. Note from Matsue (2018) that \(\kappa = \kappa _{qP}(y)\) has an equivalent expression by means of x:
Similar to the directional ones, for given vector field f of type \(\alpha \), we apply the Poincaré-type compactification of the same type \(\alpha \). Then we have
where
which is the alternate object of \(\hat{f}_j\)’s in (2.4), \(\kappa = \kappa _{qP}(y)\), and
It is shown in Matsue (2018) that the above vector field is still singular on the horizon \(\mathcal {E}\), but the order of divergence is \(O(\kappa ^k)\) as \(p(y)\rightarrow +\infty \), equivalently \(p(x)\rightarrow 1\), which is independent of components. Therefore, a common timescale transformation can be introduced.
Definition 2.7
(Time variable desingularization: the Poincaré-type version) Define the new time variable \(\tau _d\) by
equivalently,
where \(\tau _0\) and \(t_0\) denote the corresponding initial times, and \(y(\tau _{qP})\) is the solution y(t) under the timescale \(\tau _{qP}\). We shall call (2.14) the time variable desingularization (of order \(k+1\)).
Using this timescale, we obtain
This vector field is continuous including the horizon \(\mathcal {E}\), and hence, dynamics at infinity makes sense through (2.16). It should be noted, however, that the desingularized vector field (2.16) is not always smooth on \(\mathcal {E}\). Details are mentioned in Sect. 2.3.4. Similar to Theorem 2.4, blow-up characterization is provided as follows.
Theorem 2.8
(Stationary blow-up: the Poincaré-type version, Matsue 2018) Consider the desingularized vector field \(g_{qP}\) associated with (2.1) given by (2.16). Assume that \(g_{qP}\) is \(C^1\) in a neighborhood of the horizon \(\mathcal {E}\) and that \(g_{qP}\) has an equilibrium on the horizon \(\textbf{x}_*\in \mathcal {E}\). Suppose that \(\textbf{x}_*\) is hyperbolic with \(n_s > 0\) (resp. \(n_u = n-n_s\)) eigenvalues of \(Dg_{qP}(\textbf{x}_*)\) with negative (resp. positive) real parts. If there is a solution y(t) of (2.1) with a bounded initial point y(0) whose image \(x = T_{qP}(y)\) is on the local stable manifold \(W^s_{\textrm{loc}}(\textbf{x}_*; g_{qP})\), then \(t_{\max } < \infty \) holds; namely, y(t) is a blow-up solution. Moreover,
where \(c>0\) is a constant. Finally, if the jth component \(\textbf{x}_*\) is not zero, then we also have
where \(c_i\) is a constant with the same sign as \(y_i(t)\) as \(t\rightarrow t_{\max }\).
2.2.4 Parabolic-Type Compactifications
An alternative admissible global compactification, which shall be called the parabolic-type compactification, is introduced here. Compactifications of the present type were originally introduced in Gingold (2004) and generalized in Matsue and Takayasu (2020a).
Similar to the Poincaré-type compactifications, define a set \(\mathcal {D}\subset \mathbb {R}^n\) by (2.11). For any \(x\in \mathcal {D}\), correspond \(y\in \mathbb {R}^n\) to \(x\in \mathcal {D}\) by
Let \(\tilde{\kappa }_\alpha (x) {\mathop {=}\limits ^{\textrm{def}}}(1-p(x)^{2c})^{-1}\), which satisfies \(\tilde{\kappa }_\alpha (x) \ge 1\) for all \(x\in \mathcal {D}\). Moreover, \(y\not = 0\) implies \(\tilde{\kappa }_\alpha (x) > 1\). We also have
This equality indicates that \(p(y) = p(S(x)) < \tilde{\kappa }_\alpha (x)\) holds for all \(x\in \mathcal {D}\).
Lemma 2.9
(Matsue and Takayasu 2020a) Let \(F(\kappa ; R) {\mathop {=}\limits ^{\textrm{def}}}\kappa ^{2c} - \kappa ^{2c-1} - R^{2c}\) for \(R\ge 0\). Then, for any \(R\ge 0\), there is a unique \(\kappa = q(R)\) satisfying \(q(0) = 1\) such that \(F(q(R); R) \equiv 0\). Moreover, \(q(R) > 1\) holds for all \(R>0\) and q(R) is smooth with respect to \(R\ge 0\).
Now observe that \(\tilde{\kappa }_\alpha (x)\) satisfies \(F(\tilde{\kappa }_\alpha (x);p(y)) = 0\). By the uniqueness of \(\kappa (y) = q(R)\) with respect to \(R=p(y)\), for any \(y\in \mathbb {R}^n{\setminus } \{\textbf{0}\}\), \(\kappa (y) = \kappa _{\textrm{para}}(y) \equiv \kappa (S(x)) {\mathop {=}\limits ^{\textrm{def}}}\tilde{\kappa }_\alpha (x)\) is well defined. As a consequence, the mapping S admits the inverse \(S^{-1} = T \equiv T_{\textrm{para}}\), which yields the following definition.
Definition 2.10
(Parabolic-type compactification, Matsue and Takayasu 2020a) Let the type \(\alpha = (\alpha _1,\ldots , \alpha _n)\in \mathbb {Z}_{>0}^n\) fixed. Let \(\{\beta _i\}_{i=1}^n\) and c be a collection of natural numbers satisfying (2.8). Define \(T_{\textrm{para}}:\mathbb {R}^n\rightarrow \mathcal {D}\) as
where \(\kappa = \kappa _{\textrm{para}}(y) = \tilde{\kappa }_\alpha (x)\) is the unique zero of \(F(\kappa ; p(y))=0\) obtained in Lemma 2.9. We say the map \(T_{\textrm{para}}\) the parabolic-type compactification (of type \(\alpha = (\alpha _1,\ldots , \alpha _n)\)). The map \(T_{\textrm{para}}\) maps \(\mathbb {R}^n\) onto \(\mathcal {D}\). The boundary \(\mathcal {E} \equiv \partial \mathcal {D} = \{x\in \mathbb {R}^n \mid p(x) = 1\}\) is called the horizon.
Similar to directional and the Poincaré-type ones, we apply the parabolic-type compactification of the type \(\alpha \) which is the same as that of f to transforming (2.1). The resulting vector field is
where \(\tilde{f} = (\tilde{f}_1,\ldots , \tilde{f}_n)\) is (2.12) replacing \(\kappa \) by \(\kappa _{\textrm{para}}\), in which case
Similar to the Poincaré-type case, all components of the transformed vector field are \(O(\kappa ^k)\) as \(p(y) \rightarrow \infty \), equivalently as x approaches to \(\mathcal {E}\), and hence, the uniform timescale transformation can be introduced to desingularize the vector field on \(\mathcal {E}\).
Definition 2.11
(Time variable desingularization: the parabolic-type version) Define the new time variable \(\tau _{\textrm{para}}\) by
equivalently,
where \(\tau _0\) and \(t_0\) denote the correspondence of initial times. We shall call (2.18) the time variable desingularization (of order \(k+1\)).
The change of coordinate and the above desingularization yield the following vector field \(g_{\textrm{para}}\), which is continuous on \(\overline{\mathcal {D}} = \{p(x) \le 1\}\):
The desingularized vector field \(g_{\textrm{para}}\) has the very similar form to \(g_{qP}\). On the other hand, the algebraic structure of \(\kappa \) is quite different from each other. In particular, \(\kappa = \kappa _{\textrm{para}}\) does not include radicals in x, and hence, the smoothness of f and the asymptotic quasi-homogeneity guarantee the smoothness of the right-hand side \(g_{\textrm{para}}\) of (2.20) including the horizon \(\mathcal {E}\). See Matsue and Takayasu (2020a) for details. This property yields a relaxation of conditions for characterizing blow-ups.
Theorem 2.12
(Stationary blow-up: the parabolic-type version, cf. Matsue 2018; Matsue and Takayasu 2020a) Consider the desingularized vector field \(g_{\textrm{para}}\) associated with (2.1) given by (2.20). Assume that \(g_{\textrm{para}}\) has an equilibrium on the horizon \(\textbf{x}_*\in \mathcal {E}\). Also, suppose that \(\textbf{x}_*\) is hyperbolic with \(n_s > 0\) (resp. \(n_u = n-n_s\)) eigenvalues of \(Dg_{\textrm{para}}(\textbf{x}_*)\) with negative (resp. positive) real parts. If there is a solution y(t) of (2.1) with a bounded initial point y(0) whose image \(x = T_{\textrm{para}}(y)\) is on the local stable manifold \(W^s_{\textrm{loc}}(\textbf{x}_*; g_{\textrm{para}})\), then \(t_{\max } < \infty \) holds; namely, y(t) is a blow-up solution. Moreover,
where \(c>0\) is a constant. Finally, if the jth component \(\textbf{x}_*\) is not zero, then we also have
where \(c_i\) is a constant with the same sign as \(y_i(t)\) as \(t\rightarrow t_{\max }\).
The proof is essentially the same as Theorem 2.8. Indeed, only the admissible nature (discussed in Matsue and Takayasu 2020a) of \(T_{\textrm{para}}\) is used to prove \(t_{\max }<\infty \), which is the same as \(T_{qP}\).
The key point of our characterization of blow-ups (Theorems 2.4, 2.8 and 2.12) is that blow-up solutions for (2.1) are characterized as trajectories on (local) stable manifolds of invariant setsFootnote 6on the horizon \(\mathcal {E}\) for desingularized vector fields. Computations of blow-up solutions are therefore reduced to those of local stable manifolds of invariant sets, such as (hyperbolic) equilibria, for the associated vector field. Although the above theorems only characterizes the existence and local dynamical nature of blow-up solutions, combinations of our characterization with numerical computations and computer-assisted proofs provide global nature of blow-up solutions in the phase space.
2.3 Remark on Appropriate Choice of Compactifications
We have introduced three compactifications in this section. Each compactification has its own set of advantages and disadvantages, which depend on our requirements. Here we remark the choice of compactifications in case that the original vector field f is polynomial.Footnote 7 In our examples (Sects. 5, 6 and 7), all these compactifications are applied. It is worth mentioning several features of each compactification toward effective choice and applications of our machineries to practical and advanced problems.
2.3.1 Geometric Interpretations of Compactifications
First the geometric interpretation of each compactification is briefly summarized. Directional compactifications are not actually compactifications in the topological sense, while these are still called “compactifications” because these are inclusively discussed in the context of compactifications for applications. In fact, images of directional compactifications are interpreted as the tangent space of the Poincaré’s hemisphere considered in the Poincaré-type compactifications at points on the horizon, as shown in Fig. 1a.
Global (Poincaré type and parabolic type) compactifications are geometrically simple in the homogeneous case \(\alpha = (1,\ldots , 1)\), in which case \(p(y) = \Vert y\Vert \) and we can choose \(\beta = (1,\ldots , 1)\) and \(c=1\). Therefore, \(\kappa _{qP}(y) = (1+ \Vert y\Vert ^2)^{1/2}\), which is a well-known (global, but homogeneous) compactification,Footnote 8 and the resulting mapping \(T_{qR}\) is the embedding of \(\mathbb {R}^n\) into the Poincaré hemisphere
A homogeneous compactification of this kind is shown in Fig. 1b.
The geometric nature of the parabolic-type compactification with \(\alpha = (1,\ldots , 1)\) is also understood in a simple way, in which case \(T_{\textrm{para}}\) is defined as
See Elias and Gingold (2006) and Gingold (2004) for the homogeneous case, which is called the parabolic compactification. In particular, the parabolic compactification is the embedding of \(\mathbb {R}^n\) onto the bounded parabola
in \(\mathbb {R}^{n+1}\) with the focus point \((x_1,\ldots , x_n, x_{n+1}) = (0,\ldots , 0,1)\). The map \(T_{\textrm{para}}\) is actually defined as the composition of this embedding and the projection onto the first n components, which is shown in Fig. 1c.
Our compactificaitons introduced here are quasi-homogeneous counterparts of the above homogeneous compactifications. Geometric pictures of quasi-homogeneous Poincaré-type and parabolic-type compactifications are shown in Matsue (2018) and Matsue and Takayasu (2020a), respectively.
Remark 2.13
Any compactifications we have introduced are analytic at any point in \(\mathcal {D}\) by using the binomial theorem in the standard calculus and the inverse function theorem for analytic mappings (e.g., Dieudonné 1960).
2.3.2 Directional Compactifications: Advantages and Disadvantages
A typical way to study dynamics at infinity is the application of directional compactifications introduced in Sect. 2.2.2, which is simple in the sense that the magnitude of points in the original coordinate can be measured by an independent variable s. Heuristically, associated desingularized vector fields are as complex as the original vector fields because the new variable \(\hat{x}_i\) in (2.2) depends only on the original variable \(y_i\) and the scaling variable s. Moreover, \(\hat{x}_i\) is proportional to \(y_i\). Characterization of blow-up times is also simple, because they are characterized only by the asymptotic behavior of \(s = s(\tau )\). On the other hand, directional compactifications are defined only locally. If our interested blow-up solutions have sign-changing structure, multiple charts of compactifications can be necessary for complete descriptions of blow-up solutions. From the numerical viewpoint, change of coordinates may cause additional computation costs and errors. If one already knows from preceding mathematical or numerical arguments that targeting blow-up solutions have identical signs during time evolutions for a certain component, directional compactifications with appropriate choice of the constant sign components are efficient.
2.3.3 Global Compactifications: Advantages and Disadvantages
If we study blow-up solutions with sign-changing structure, or one does not have sufficient knowledge of solutions near infinity, globally defined compactifications like the Poincaré type and the parabolic type are more appropriate than directional ones, because one does not suffer from violation of integrations of differential equations due to the change of signs, or change of local charts. Because the horizon, topologically sphere-shaped boundary of the compactified space, is invariant under associated desingularized vector fields (cf. Matsue 2018), computed trajectories through points in \(\mathcal {D}\) for desingularized vector fields are always inside \(\overline{\mathcal {D}}\), unless unrealistic or mathematically inappropriate choice of numerical parameters. On the other hand, application of such global compactifications generally increases the degree of associated desingularized vector fields as polynomial ones, which cause complication of arguments. For example, in the case of the vector field shown in Sect. 7, we have to study (desingularized) polynomial vector fields with degree over 10, while the original one before compactification has degree at most 2 or 3. Without systematic implementations of vector fields or their derivatives like automatic differentiations, applications to concrete systems require lengthy calculations.
2.3.4 Poincaré Type or Parabolic Type?
Among globally defined compactifications, more than one compactifications are introduced here, the Poincaré type and the parabolic type. The simplest one in the class of admissible compactifications (e.g., Elias and Gingold 2006; Matsue and Takayasu 2020a) is the Poincaré type, which is easy to understand from geometric viewpoints and widely applied in many fields of mathematics. However, the Poincaré-type compactification has an unavoidable defect, the presence of radicals in the definition. Radicals generally lose the smoothness of desingularized vector fields on the horizon. In other words, desingularized vector fields under the Poincaré-type compactification are \(C^0\) but not \(C^1\) in general around the horizon. Therefore, typical “linear stability analysis” in the theory of dynamical systems does not always make sense on the horizon. Nevertheless, it should be noted that there is an exception where the Poincaré-type compactifications can be applied without losing the smoothness of resulting vector fields, which is the case if f is quasi-homogeneous (not only in the asymptotic sense), or the residual term \(f - f_{\alpha , k}\) has sufficiently low degree. In this case, the associated desingularized vector field is also smooth, and hence, no obstruction of \(C^1\) smoothness on the horizon arises. Details are discussed in Matsue (2018).
Although the degree of polynomials significantly increases when we apply the parabolic-type compactifications, we do not worry about the lack of smoothness of desingularized vector fields. Indeed, parabolic-type transformations of the present type originally transforms rational functions into rational ones, unlike the Poincaré-type ones (cf. Gingold 2004). We thus do not suffer from obstructions to consider dynamics at infinity when we apply parabolic-type compactifications.
2.3.5 The Other Choice?
The geometrically simplest compactification would be the one-point compactifications such as embedding of \(\mathbb {R}^n\) into \(S^n\), which is known as the Bendixson’s compactification. One can use the Bendixson’s compactification to map the infinity to a bounded point, where the corresponding dynamics possess the high degeneracy in general (e.g., Hell 2010). In order to avoid the degeneracy at infinity, we have to apply an additional desingularization (blowing up) of the infinity. The Poincaré-type and the parabolic-type compactifications avoid such extra tasks for obtaining desingularized dynamics at infinity.
3 Preliminary 2: Parameterization Method
In this section, we introduce the theory of the parameterization method (Cabré et al. 2003a, b, 2005) to compute rigorous charts of local stable and unstable manifolds of fixed points of ODEs of the form \(\dot{x} = g(x)\), where g is a desingularized vector field. We begin by making some assumptions, which will be sufficient for the purpose of the present paper.
-
A1.
Assume \(g:\mathbb {R}^n \rightarrow \mathbb {R}^n\) is a polynomial vector field with a steady state \(\tilde{x}\in \mathbb {R}^n\) (i.e., \(g(\tilde{x})=0\)).
-
A2.
Assume that the eigenvalues of the Jacobian matrix \(Dg(\tilde{x})\) are real, nonzero and distinct. (Hence, the Jacobian matrix \(Dg(\tilde{x})\) is diagonalizable over the real and \(\tilde{x}\) is hyperbolic.)
Denote by \(\lambda _1,\dots ,\lambda _m<0\) the stable eigenvalues of \(Dg(\tilde{x})\) with \(\xi _1,\dots ,\xi _m \in \mathbb {R}^n\) some associated stable eigenvectors. From now on, we focus on the computation of a local stable manifold, which we denote by \(W^s_{\text {loc}}(\tilde{x})\), and note that \( \dim W^s_{\text {loc}}(\tilde{x}) = m \le n\). The computation of the unstable manifold is similar (e.g., see Breden et al. 2016). The idea of the computational approach is to represent the chart of the local stable manifold using a Taylor series representation \(P:B^m \rightarrow \mathbb {R}^n\) of the form
where \(B^m \subset \mathbb {R}^m\) is a domain (usually chosen to be a ball) on which the Taylor series converges, and where \(\alpha = (\alpha _1,\dots ,\alpha _m) \in \mathbb {N}^m\), \(|\alpha | = \alpha _1 + \dots + \alpha _m\), \(\theta =(\theta _1,\dots ,\theta _m) \in \mathbb {R}^m\) and \(\theta ^\alpha = \theta _1^{\alpha _1} \cdots \theta _m^{\alpha _m}\). This requires making an extra assumption, which involves the notion of a resonance.
Definition 3.1
The eigenvalues \(\lambda _1,\dots ,\lambda _m\) are said to have a resonance of order \(\alpha = (\alpha _1,\dots ,\alpha _m) \in \mathbb {N}^m\) if
for some \(j \in \{ 1, \dots ,m\}\) with \(|\alpha | \ge 2\). If there are no resonances at any order \(|\alpha | \ge 2\), then the eigenvalues \(\lambda _1,\dots ,\lambda _m\) are said to be non-resonant.
We are ready to state our third hypothesis.
-
A3.
Assume that the eigenvalues \(\lambda _1,\dots ,\lambda _m\) are non-resonant
Construct the following real-valued matrices: an \(m \times m\) diagonal matrix with the diagonal entries made up of the stable eigenvalues
and an \(n \times m\) matrix whose columns are the associated eigenvectors
Using the basis defined by the stable eigenvectors, the linearized equation for \(\dot{x} = g(x)\) restricted to the stable subspace takes the form
The associated flow is given by \(e^{\Lambda t}\). As indicated above our goal is to construct an analytic function \(P:B^m \rightarrow \mathbb {R}^n\) such that \(P(B^m) = W_{\textrm{loc}}^s(\tilde{x})\). To obtain constraints, so that we can solve for P, we begin by insisting that P be a conjugacy between the flow \(\varphi \) of \(\dot{x} = g(x)\) restricted to \(W_{\text {loc}}^s(\tilde{x})\) and the flow \(e^{\Lambda t}\) of the linear equation. The most obvious restriction is that P must map fixed points to fixed points, and hence,
To obtain the conjugacy, we assume that
and
for all \(\theta \in B^m\). The geometric meaning of this conjugacy is illustrated in Fig. 2. To see that \(P \left( B^m\right) \subset W^s_{\text {loc}}(\tilde{x})\) observe that
because the entries of \(\Lambda \) are negative.
Note that any function \(P(\theta )\) satisfying Eq. (3.4) is one-to-one on \(B^m\). To see this observe that P is tangent to the stable eigenspace at the origin as \(DP(0) = A_0\). Moreover, recall that \(A_0\) is of full rank as its columns are linearly independent. By the implicit function theorem, P is of rank m, and hence one-to-one, in some neighborhood \(U\subset B^m\) of 0. Now suppose that \(\theta _1, \theta _2 \in B^m\) and that \(P(\theta _1) = P(\theta _2)\). Then for any \(t \in \mathbb {R}\), \(\varphi \left( t, P(\theta _1) \right) = \varphi \left( t, P(\theta _2) \right) \) by the uniqueness of the initial value problem. Choose \(T >0\) large enough so that \(e^{\Lambda T} \theta _1, e^{\Lambda T} \theta _2 \in U\). By the conjugacy relation, we have that \( P\left( e^{\Lambda t} \theta _1 \right) = P\left( e^{\Lambda t} \theta _2 \right) , \) and because the arguments are in U, the local immersion gives that \(e^{\Lambda T} \theta _1= e^{\Lambda T} \theta _2\). But \(e^{\Lambda T}\) is an isomorphism and we have \(\theta _1 = \theta _2\). We therefore conclude from the above discussion that \(P(B^m) = W_{\textrm{loc}}^s(\tilde{x})\).
The utility of (3.4) is limited by the appearance of the flow \(\varphi \) in the equation. In practice, the flow is only known implicitly, that is, it is determined by solving the differential equation. The following lemma establishes a more practical infinitesimal version of (3.4).
Lemma 3.2
Let \(P :B^m \subset \mathbb {R}^m \rightarrow \mathbb {R}^n\) be a smooth function with
Then \(P(\theta )\) satisfies the conjugacy relationship (3.4) if and only if P is a solution of the partial differential equation (PDE)
for all \(\theta = (\theta _1, \ldots , \theta _m) \in B^m\).
Proof
Let \(P :B^m \rightarrow \mathbb {R}^n\) be a smooth function with \(P(0) = \tilde{x}\) and \(DP(0) = A_0\).
(\(\Longleftarrow \)) Suppose that \(P(\theta )\) solves the partial differential equation (3.6) in \(B^m\). Choose a fixed \(\theta \in B^m\) and fix \(t > 0\). Define the function \(\gamma :[0, t] \rightarrow \mathbb {R}^n\) by
Then, \(\gamma (0) = P(\theta )\) and
where we pass from the first to the second equality by the chain rule, from the second to the third equality by the invariance Eq. (3.6) and the fact that \(e^{\Lambda t}\theta \in B^m\) when \(t > 0\), and from the third to the fourth equation by the definition of \(\gamma \). Hence, \(\gamma \) is the solution of the initial value problem
Therefore, by definition \(\varphi ( t, \gamma (0)) =\gamma (t)\), and it follows from (3.7) and (3.8) that
(\(\Longrightarrow \)) Suppose that P satisfies the conjugacy relationship (3.4) for all \(\theta \in B^m\). Fix \(\theta \in B^m\) and differentiate both sides with respect to t in order to obtain
Taking the limit as \(t \rightarrow 0\) gives that \(P(\theta )\) is a solution of (3.6). \(\square \)
As a consequence of Lemma 3.2, it should now be clear that computing a local m-dimensional stable manifold is equivalent to find a solution \(P:B^m \rightarrow \mathbb {R}^n\) of the PDE (3.6). As mentioned earlier, the idea is to use a Taylor series representation of the form (3.1). Note that since \(g:\mathbb {R}^n \rightarrow \mathbb {R}^n\) is a polynomial vector field, the power series expansion of \(g(P(\theta ))\) involves Cauchy products. Denote the Taylor expansion of \(g(P(\theta ))\) as
where we abuse slightly the notation and used the same notation g(a) to denote the vector field g where the monomial terms in the variables \(x_1,\dots ,x_n\) are replaced by Cauchy products in the variables \(a_1,\dots ,a_n\).
Formally plugging the Taylor expansion (3.1) in the PDE (3.6) results in
where \(\alpha \cdot \lambda {\mathop {=}\limits ^{\textrm{def}}}\alpha _1 \lambda _1 + \dots + \alpha _m \lambda _m\) and \(a_\alpha = ((a_1)_\alpha ,\dots ,(a_n)_\alpha ) \in \mathbb {R}^n\). The first-order constraints (3.5) imply that
where \(e_j\) is the jth vector of the canonical basis of \(\mathbb {R}^n\). In other words, the Taylor coefficients \(a_\alpha \) for \(|\alpha | \in \{0,1\}\) are fixed and do not need to be solved for.
Computing the higher-order Taylor coefficients \(a_\alpha =((a_1)_\alpha ,\dots ,(a_n)_\alpha )\) (for \(|\alpha | \ge 2\)) of (3.1) reduces to find the solution of the zero finding problem \(F(a)=0\), with F given by
Also denote, for \(j=1,\dots ,n\) and \(|\alpha | \ge 2\),
so that we may write \(F(a) = (F_1(a),F_2(a), \dots , F_n(a))\).
Remark 3.3
When \(|\alpha | \in \{0,1\}\), the constraints \((F(a))_\alpha =0\) correspond to finding the steady state (\(|\alpha |=0\)) and the stable eigenvalues/eigenvectors (\(|\alpha |=1\)). Since this information is already assumed to be at hand, we only need to solve for \((F(a))_\alpha =0\) for \(|\alpha | \ge 2\).
Denote the Banach space
and the product Banach space \(X {\mathop {=}\limits ^{\textrm{def}}}(\ell ^1)^n = \ell ^1 \times \ell ^1 \times \cdots \times \ell ^1\) with induced norm
Moreover, denoting the Banach space
and \(X' {\mathop {=}\limits ^{\textrm{def}}}(\tilde{\ell }^1)^n\), we get that \(F : X\rightarrow X'\). Slightly generalized Banach spaces can be also applied, which will be mentioned in Sect. 5.
Denote by \(B_1^m {\mathop {=}\limits ^{\textrm{def}}}\{ z = (z_1,\dots ,z_m) \in \mathbb {C}^m: |z_k| \le 1,\;\text {for all}\; k=1,\dots ,m \}\) the unit polydisc in \(\mathbb {C}^m\). We have the following result.
Theorem 3.4
Assume that Assumptions A1, A2 and A3 are satisfied. If there exists \(\tilde{a}\in X\) such that \(F(\tilde{a})=0\) with F given in (3.9), then the corresponding Taylor expansion \(P:B_1^m \rightarrow \mathbb {R}^n\) given by
provides a parameterization of a local stable manifold of \(\tilde{x}\), that is, \(P(B_1^m) = W^s_{\textrm{loc}} (\tilde{x})\).
Proof
Assume that \(\tilde{a}\in X\) solves \(F(\tilde{a})=0\). Then by construction, the function \(P(\theta )\) given in (3.13) converges absolutely and uniformly on \(B_1^m\) as for each \(j \in \{1,\dots ,n\}\)
since \(\Vert \tilde{a}\Vert _1<\infty \). By construction, the function \(P:B_1^m \rightarrow \mathbb {R}^n\) given in (3.13) satisfies the first-order constraints (3.5) and the PDE (3.6). By Lemma 3.2, P satisfies the conjugacy relationship (3.4). Finally, we conclude that \(P:B_1^m \rightarrow \mathbb {R}^n\) provides a parameterization of a local stable manifold of \(\tilde{x}\), that is, \(P(B_1^m) = W^s_{\textrm{loc}} (\tilde{x})\). \(\square \)
The strategy to compute a parameterization of \(W^s_{\textrm{loc}} (\tilde{x})\) is now clear. Fix the lengths of the eigenvectors \(\xi _1,\dots ,\xi _m\) such that we can compute \(\tilde{a}\in X\) such that \(F(\tilde{a})=0\). This is achieved with a Newton–Kantorovich type argument, which we now state.
Denote by \(B_r(b) {\mathop {=}\limits ^{\textrm{def}}}\{ x \in X: \Vert x - b \Vert _X \le r\}\) the closed ball of radius \(r>0\) centered at a given \(b \in X\) and \(B(X_1,X_2)\) the space of bounded linear operators between two Banach spaces \(X_1\) and \(X_2\).
Theorem 3.5
(A Newton–Kantorovich type theorem) Let X and \(X'\) be Banach spaces, \(A^{\dagger } \in B(X,X')\) and \(A \in B(X',X)\) be bounded linear operators. Assume \(F :X \rightarrow X'\) is Fréchet differentiable at \(\bar{a}\in X\), A is injective and \(A F :X \rightarrow X.\) Let \(Y_0\), \(Z_0\) and \(Z_1\) be nonnegative constants, and a function \(Z_2:(0,\infty ) \rightarrow (0,\infty )\) satisfying
where \(\Vert \cdot \Vert _{B(X)}\) denotes the operator norm. Define the radii polynomial by
If there exists \(r_0>0\) such that \(p(r_0)<0\), then there exists a unique \(\tilde{a}\in B_{r_0}(\bar{a})\) such that \(F(\tilde{a}) = 0\).
The strategy of Theorem 3.5 requires obtaining \(\bar{a}\) (a numerical approximation), the operator \(A^{\dagger } \in B(X,X')\) (an approximation of the Fréchet derivative \(DF(\bar{a})\)) and the operator \(A \in B(X',X)\) (an approximate inverse of \(DF(\bar{a})\)).
To compute the numerical approximation \(\bar{a}\), we first consider a finite-dimensional projection of the map \(F:X\rightarrow X'\). Fixing a dimensional Taylor projection number N, denote by \(X^{(N)}\) the finite-dimensional space
Moreover, denote by \(\kappa (N) {\mathop {=}\limits ^{\textrm{def}}}\# \left\{ \alpha \in \mathbb {N}^m: |\alpha | \in \{2,\dots ,N\} \right\} \) the number of multi-indices \(\alpha \) with order between 2 and N. Given a vector \(b = (b_\ell )_{|\ell | \ge 0} \in \ell ^1\), consider the projection
We generalize that projection to get \(\Pi ^N:X=(\ell ^1)^{n} \rightarrow X^{(N)} \cong \mathbb {R}^{n\kappa (N)}\) defined by
Given \(a \in X\), we denote
Moreover, we define the natural inclusion as follows. For \(b =(b_\alpha )_{|\alpha |=2}^N \in \mathbb {R}^{\kappa (N)}\), let \(\iota ^N b \in \ell ^1\) be defined componentwise by
Similarly, let be the natural inclusion defined as follows. Given \(a = (a_1,\dots ,a_n) \in X^{(N)} \cong \mathbb {R}^{n\kappa (N)}\), let
Finally, define the finite-dimensional projection \(F^{(N)}:X^{(N)} \rightarrow X^{(N)}\) by
Also denote \(F^{(N)} = \left( F_1^{(N)},\dots ,F_n^{(N)} \right) \).
Assume that a numerical approximation \(\bar{a}^{(N)} = \left( \bar{a}_1^{(N)}, \dots , \bar{a}_n^{(N)} \right) \) such that \(F^{(N)}(\bar{a}^{(N)}) \approx 0\) has been computed (e.g., using Newton’s method). Given \(j=1,\dots ,n\), denote \(\bar{a}_j = \iota ^N \bar{a}_j^{(N)} \in \ell ^1\) and denote \(\bar{a}= (\bar{a}_1,\dots ,\bar{a}_n)\), and for the sake of simplicity of the presentation, we use the same notation \(\bar{a}\) to denote \(\bar{a}\in X\) and \(\bar{a}^{(N)} \in X^{(N)}\). Denote by \(DF^{(N)}(\bar{a})\) the Jacobian of \(F^{(N)}\) at \(\bar{a}\), and let us write it as
The next step is to construct the linear operator \(A^\dag \) (an approximate derivative of the derivative \(DF(\bar{a})\)) and the linear operator A (an approximate inverse of \(DF(\bar{a})\)). Let
whose action on an element \(h=(h_1,\dots ,h_n) \in X\) is defined by \((A^\dagger h)_i = \sum _{j=1}^n A_{i,j}^\dagger h_j\), for \(i=1,\dots ,n\). Here the action of \(A_{i,j}^\dagger \) is defined as
where \(\delta _{i,j}\) is the Kronecker \(\delta \). Consider now a matrix \(A^{(N)} \in M_{n\kappa (N)}(\mathbb {R})\) computed so that \(A^{(N)} \approx {DF^{(N)}(\bar{a})}^{-1}\). We decompose it into \(n^2\) \(\kappa (N) \times \kappa (N)\) blocks:
This allows defining the linear operator A as
whose action on an element \(h=(h_1,\dots ,h_n) \in X\) is defined by \((Ah)_i = \sum _{j=1}^n A_{i,j} h_j\), for \(i=1,\dots ,n\). Given \(i,j \in \{1,\dots ,n\}\), the action of \(A_{i,j}\) is defined as
Having obtained an approximate solution \(\bar{a}\) and the linear operators \(A^\dagger \) and A, the next step is to construct the bounds \(Y_0\), \(Z_0\), \(Z_1\) and \(Z_2(r)\) satisfying (3.14), (3.15), (3.16) and (3.17), respectively.
3.1 The \(Y_0\) Bound
Denote by d the highest order nonlinear term of the vector field f. Then since \(\bar{a}\) consists of Taylor coefficients of order N, then \((F(\bar{a}))_\alpha =0\) for all \(|\alpha |>dN\). For \(i=1,\dots ,n\), we set
which is a collection of finite sums that can be evaluated with interval arithmetic. We conclude that
and we set
3.2 The \(Z_0\) Bound
We look for a bound of the form \( \Vert I - A A^{\dagger }\Vert _{B(X)} \le Z_0 \). Recalling the definitions of A and \(A^\dagger \) given in (3.21) and (3.20), let \(B {\mathop {=}\limits ^{\textrm{def}}}I - A A^\dagger \) the bounded linear operator represented as
We remark that \(( B_{i,j} )_{n_1,n_2}=0\) for any \(i,j \in \{1,\dots ,n\}\), whenever \(n_1 > N\) or \(n_2 > N \). Hence, we can compute the norms \(\Vert B_{i,j}\Vert _{B(\ell ^1)}\) using the following standard result.
Lemma 3.6
Given \(\Gamma \in B(\ell ^1)\) a bounded linear operator, acting as \((\Gamma a)_\beta =\sum _{|\alpha | \ge 2} \Gamma _{\beta ,\alpha } a_\alpha \) for \(|\beta | \ge 2\).
Given \(h =(h_1,\dots ,h_n) \in X = (\ell ^1)^n\) with \(\Vert h\Vert _X = \max (\Vert h_1\Vert _1,\dots ,\Vert h_n\Vert _1) \le 1\), and for \(i=1,\dots ,n\), we obtain
Hence, we define
where each norm \(\Vert B_{i,j}\Vert _{B(\ell ^1)}\) can be computed using formula (3.23) with vanishing tail terms.
3.3 The \(Z_1\) Bound
Recall that we look for the bound \( \Vert A[DF(\bar{a}) - A^{\dagger } ] \Vert _{B(X)} \le Z_1 \). Given \(h=(h_1,\dots ,h_n) \in X\) with \(\Vert h\Vert _X \le 1\), set
Then, for each \(i=1,\dots ,n\), \((z_i)_\alpha = 0\) for \(|\alpha | = 2,\dots ,N \) and for \(|\alpha | >N\),
Denote
Since the tail of \(A_{i,j}\) is zero for \(i\ne j\), then \(Az = (A_{1,1} z_1,\dots ,A_{n,n} z_n)\). Then a straightforward calculation yields, for each \(i \in \{1,\dots ,n\}\), that
so that we set
3.4 The \(Z_2\) Bound
For a fixed \(r_*>0\), set
which satisfies (by the mean value inequality in Banach spaces)
Evaluating the bound (3.26) is straightforward with interval arithmetic and the easily computed formulas of the second derivatives of each component \(f_i\) of the vector field f.
3.5 Rigorous Enclosure of the Points on \(W^s_{\textrm{loc}} (\tilde{x})\)
Assume that assumptions A1, A2 and A3 are satisfied for a fixed point \(\tilde{x}\). Let \(\lambda _1,\dots ,\lambda _m<0\) be the corresponding non-resonant real (stable) eigenvalues and \(\xi _1,\dots ,\xi _m \in \mathbb {R}^n\) be some associated stable eigenvectors.
Consider \(N \ge 2\) the order of the Taylor approximation, and as before, assume that a numerical approximation \(\bar{a}^{(N)} = \left( \bar{a}_1^{(N)}, \dots , \bar{a}_n^{(N)} \right) \) such that \(F^{(N)}(\bar{a}^{(N)}) \approx 0\) has been computed. Denote by
Using a computer program in MATLAB using the interval arithmetic package INTLAB, we can compute rigorously the bounds \(Y_0\), \(Z_0\), \(Z_1\) and \(Z_2\) satisfying (3.22), (3.24), (3.25) and (3.26), respectively. Define the radii polynomial p(r) defined in (3.18), and assume the existence of \(r_0>0\) such that \(p(r_0)<0\). From Theorem 3.5, there exists a unique \(\tilde{a}\in B_{r_0}(\bar{a})\) such that \(F(\tilde{a}) = 0\). By Theorem 3.4, the corresponding Taylor expansion \(P:B_1^m \rightarrow \mathbb {R}^n\) given by (3.13) provides a parameterization of a local stable manifold of \(\tilde{x}\), that is, \(P(B_1^m) = W^s_{\textrm{loc}} (\tilde{x})\). From the computer-assisted proof, we immediately obtain a rigorous upper bound for the \(C^0\) error bound between the approximate parameterization (3.27) and the true parameterization. More explicitly, for a fixed \(j=1,\dots ,n\)
Using that estimate, given a point \(z \in B_1^m\) in parameter space, one may evaluate rigorously the corresponding value \(P(z) \in W^s_{\textrm{loc}} (\tilde{x})\) on the local stable manifold using the following enclosure
where \(P_j^{(N)}(z)\) can be computed with interval arithmetic using the formula (3.27).
4 Saddle-Type Blow-Up Solutions: Basic Methodology for Validations and Extensions
In this section, we provide a methodology for validating saddle-type blow-up solutions with computer-assisted proofs. A remarkable feature obtained from theorems mentioned in Sect. 2 is that stability of equilibria on the horizon does not matter for characterizing blow-up solutions. Therefore, we can characterize blow-up solutions whose blow-up direction is characterized by unstable equilibriaFootnote 9 in the same way as stable ones. When we emphasize structure of equilibria on the horizon, we shall call them as follows.
Definition 4.1
We say that a blow-up solution is sink-type (resp. saddle-type) if it is transformed into a trajectory on \(W^s_{\textrm{loc}}(x_*; g)\) with a sink (resp. saddle) equilibrium \(x_*\) on the horizon for the associated desingularized vector field g introduced in Sect. 2.
There are many studies of blow-up solutions through analytic arguments (e.g., Fila and Matano 2002; Herrero and Velázquez 1997; Winkler 2013) or numerical simulations (e.g., Anada et al. 2017; Cho 2016; Cho et al. 2007; Zhou and Saito 2017), many of which would be sink-type through related numerical simulations and computer-assisted proofs (e.g., Matsue 2018; Matsue and Takayasu 2020a, b). Whereas, saddle-type blow-up solutions are quite difficult to calculate and to understand the role in global dynamics, because generic small perturbations of initial points [for (2.1)] break the structure. Even in the context of dynamics at infinity (i.e., without concerning the blow-up nature of solutions), there are very limited studies for characterizing trajectories asymptotic to the horizon themselves and their global nature, except special cases such as planar dynamical systems (e.g., Dumortier and Herssens 1999; Dumortier et al. 2006). On the other hand, saddle-type blow-up solutions themselves can exist in various types of differential equations, many of which do not concern with its sensitivity under perturbations of initial points, but are interested only in their existence and/or persistence of blow-up structure under perturbation of initial points is mentioned implicitly (cf. Harada 2016, 2017; Nouaili and Zaag 2015 for complex-valued PDEs).
Here we will see that our validation methodology provide not only a systematic way to capture saddle-type blow-up solutions but also distributions of a collection of blow-up solutions in the phase space, both of which are with mathematical rigor. Moreover, as seen in preceding works, methodologies with computer-assisted proofs provide explicit enclosures of computation objects. This property enables us to visualize the distribution of solution profiles and blow-up times depending on initial points of blow-up solutions. As a by-product of the application of parameterization method reviewed in Sect. 3, we obtain an explicit formula of \(t_{\max }\) as a function of initial points and its smoothness.
4.1 Basic Methodology
First we discuss a basic methodology for validating (locally defined) blow-up solutions and their extension. The fundamental steps consist of the following:
-
1.
Validation of local stable manifolds of equilibria on the horizon for desingularized vector fields;
-
2.
Extension of validated stable manifolds via rigorous integration of desingularized vector fields.
These steps are shown to provide a collection of divergent solutions of (2.1), according to Theorems 2.4, 2.8, and 2.12 except the evaluation of \(t_{\max }\). When an equilibrium p on the horizon is stable, the validation procedures reported in Matsue and Takayasu (2020a, 2020b); Takayasu et al. (2017) allow (a) studying the local stable manifold of p by means of locally defined Lyapunov functions and (b) computing rigorous enclosure of solutions converging to p, hence yielding a rigorous bound of the blow-up time. Although the same strategy or similar topological arguments such as covering relations (e.g., Zgliczyński 2009) can work effectively, we apply the parameterization method to validating local stable manifolds of equilibria on the horizon for desingularized vector fields here instead.
An important merit of the parameterization method is that only the stable information of equilibria can be treated through the whole computations involving invariant manifolds, no matter how unstable equilibria or general invariant sets are. In other words, if we can compute stable eigenvectors at the equilibria and a topological conjugacy P with high accuracy, we obtain the local stable manifold without containing intrinsic unstable information of equilibria.Footnote 10 Moreover, we obtain the embedding of the parameterized invariant manifolds, and hence, the distribution of locally defined invariant manifolds in the whole phase space can be captured at the same time. This distribution greatly helps us with investigating the behavior of trajectories far from invariant manifolds. Universality of such features in the parameterization is shown in many preceding works (e.g., Barker et al. 2020; Breden et al. 2016; Gonzalez and Mireles-James 2017; Mireles-James 2018; van den Berg et al. 2011) for obtaining global nature of dynamical systems.
After validating the locally parameterized stable manifolds, these manifolds can be extended through time integrations of the time-reversed desingularized vector fields. In particular, we obtain globalized stable manifolds whose preimages under compactifications are (candidates of) families of saddle-type blow-up solutions.Footnote 11 Globalization of invariant manifolds enables us to investigate global nature of dynamical systems, including blow-up solutions in the present study, while the methodology itself is standard and essentially identical with the one used in preceding works (e.g., Matsue and Takayasu 2020a, b; Takayasu et al. 2017).
Remark 4.2
(Rigorous integrators of ODEs) Many methods for rigorously integrating solution trajectories of vector fields have been proposed over the last thirty years. The most famous achievement is the resolution of Smale’s 14th problem by Tucker (2002). We refer to Berz and Makino (1998); Bünger (2020); Immler (2018); Kashiwagi and Oishi (1994); Lessard and Reinhardt (2014); Lohner (1987); Zgliczynski (2002) for different methods for rigorous integration of ODEs. These methods are based on fixed-point arguments, which is equivalent to show the existence of solution trajectories, and several techniques of interval arithmetic. For the sake of forward time integration, we use a C++ Library for rigorous integration of ODEs, which is named the kv library (Kashiwagi). This integrator is based on an interval representation of the solutions’ Taylor series and the Affine arithmetic (Rump and Kashiwagi 2015), which is a technique for preventing the so-called wrapping effect in interval analysis.
The remaining issue is the finiteness of \(t_{\max }\) and its explicit enclosure to assure that our validated trajectories indeed correspond to blow-up solutions for the original system. The blow-up time \(t_{\max }\) generally depends on initial points of solutions. We now introduce an explicit estimate methodology for obtaining blow-up times.
The blow-up time \(t_{\max }\) is defined by the improper integral as \(\tau \rightarrow \infty \) in (2.6), (2.15) or (2.19), where \(\tau \) is the corresponding timescale. The basic approach to enclose \(t_{\max }\) is to divide the integral into two parts:
for some \(\bar{\tau }> \tau _0\), where h is a functional representing integrands for characterizing \(t_{\max }\) depending on solutions of the desingularized vector field g. The key point of the successive treatments is to enclose \(t_{\max , 2}(\bar{\tau })\) by using the asymptotic information of trajectories, say the fact that trajectories of our interest are located on a local stable manifold \(W^s_{\textrm{loc}}(p; g)\) of a saddle equilibrium p. Once the manifold \(W^s_{\textrm{loc}}(p; g)\) is constructed through the parameterization P, the functional h is expressed by means of a (nonlinear) combination of P, and the enclosure of \(t_{\max , 2}(\bar{\tau })\) is also computed through P itself or its enclosure. As for \(t_{\max , 1}(\bar{\tau })\), we directly enclose the integral through the enclosed trajectories via ODE integrations.
When we extend the local stable manifold, then integrate the vector field g in the reverse time direction and evaluate \(t_{\max ,1}(\bar{\tau })\) by
The functional h is given as follows, depending on the choice of compactifications:
-
Directional: \(h(\tau ) = s(\tau )^k\).
-
Poincaré type: \(h(\tau ) = (1-p(x(\tau ))^{2c})^{k/2c} = \left( 1-\sum _{i=1}^n x_i(\tau )^{2\beta _i} \right) ^{k/2c}\).
-
Parabolic type: \(h(\tau ) = \left( 1-\frac{2c-1}{2c}(1-p(x(\tau ))^{2c})\right) (1-p(x(\tau ))^{2c})^k\).
Remark 4.3
The absence of constant terms in the integrand of \(t_{\max }\) is the most essential property to show that \(t_{\max } < \infty \) in the preceding work Matsue (2018) when equilibria on the horizon are hyperbolic, where the Hartman–Grobman-type argument is applied to extracting the exponentially decaying property of the integrand. This property is essentially independent of the choice of compactifications associated with appropriately chosen timescale desingularizations. The present argument explicitly extracts this property to verify \(t_{\max } < \infty \) by means of the parameterization method.
Summarizing the above arguments, our methodology for validating (saddle-type) blow-up solutions consists of the following.
-
1.
Validate the local stable manifold of an equilibrium on the horizon for desingularized vector fields via the parameterization method.
-
2.
Extend the validated stable manifold via (backward) integration, which is done by considering the time-reversed desingularized vector fields.
-
3.
Compute a rigorous enclosure of the blow-up time \(t_{\max }\) through the decomposition of the form (4.1) as well as direct integrations through trajectories and parameterizations.
In the subsequent sections, applicability of the present methodology is shown. In particular, we aim at showing the following features, respectively:
-
Section 5 shows an application of directional compactifications for validating saddle-type blow-up profiles and computing the validated curve \(t_{\max }\) as a function of initial points.
-
Section 6 shows an application to higher-dimensional systems. In the present study, we consider an artificial three-dimensional system. The Poincaré-type compactification is applied to an asymptotically homogeneous vector field. This example shows the global phase portrait involving multiple saddle-type blow-up solutions.
-
Section 7 shows a characteristic nature of saddle-type blow-up solutions with bounded global solutions which separate the whole phase space into four sets, one of which is the set of points such that solutions through them determine time global solutions for both time directions and the others are the sets of points such that solutions through them are blow-up solutions in positive and/or negative time directions. Dependence of \(t_{\max }\) as a function of initial points including saddle-type blow-up solutions is also addressed. The parabolic-type compactification is applied to an asymptotically quasi-homogeneous vector field.
4.2 Smooth Dependence of \(t_{\max }\) on Initial Points
Explicit expressions of \(t_{\max }\) shown in Sect. 4.1 indicate that \(t_{\max }\) depends continuously, possibly smoothly, on initial points within stable manifolds of hyperbolic equilibria (for desingularized vector fields) on the horizon, which is just a consequence of standard calculus. One of benefits of applying the parameterization method reviewed in Sect. 3 is that \(t_{\max }\) can be treated as a locally analytic function on initial points of solutions. Here we discuss the dependence of \(t_{\max }\) on initial points in more details.
Consider the desingularized vector field g associated with the directional (resp. Poincaré type and parabolic type) compactification with the associated timescale desingularization. Let \(p_*\in \mathcal {E}\) be a hyperbolic equilibrium for g. First note that typical choices of timescale desingularizations h, namely the integrand of \(t_{\max }\) mentioned in (4.1), satisfy the following properties (so that trajectories for g is orbitally equivalent to the original dynamical system (cf. Matsue 2019)):
-
It vanishes at \(p_*\).
-
It is positive along \(W^s_{\textrm{loc}}(p_*; g)\).
-
It is smooth, in particular analytic, except \(k/2c \not \in \mathbb {N}\) in the case of the Poincaré-type compactifications.
Assume that all assumptions in Theorem 3.5 for F given in (3.9) as well as (A1), (A2) and (A3) associated with the hyperbolic equilibrium \(p_*\) for g are satisfied, in which case the local stable manifold \(W^s_{\textrm{loc}}(p_*;g)\) is parameterized by an analytic function P defined on the m-dimensional unit polydisc \(B_1^m\) so that \(W^s_{\textrm{loc}}(p_*;g) = P(B_1^m)\). For typical asymptotically quasi-homogeneous fields, the function h can be chosen as a polynomial or a rational function whose denominator is polynomial and positive on \(W^s_{\textrm{loc}}(p_*;g)\). From these observations, we obtain the following proposition.
Proposition 4.4
(Analytic function through parameterization) Let \(p_*\) be an hyperbolic equilibrium for a dynamical system generated by a vector field g which is analytic in a neighborhood of \(p_*\) satisfying (A1), (A2) and (A3). Assume that a parameterization P of \(W^s_{\textrm{loc}}(p_*)\) satisfying \(P(0) = p_*\) is defined on the m-dimensional unit polydisc \(B^m_1\), in particular \(W^s_{\textrm{loc}}(p_*) = P(B^m_1)\). Let h be an analytic function defined in a neighborhood of \(W^s_{\textrm{loc}}(p_*)\) satisfying \(h(p_*) = 0\). Then the integral
is an analytic function on \(B^m_1\) satisfying \(U(0)=0\).
Proof
Because \(h\) and P are analytic, then so is \(h\circ P\), and hence, the integrand of U is written by the convergent series
Denoting \(\alpha \cdot \lambda = \sum _{i=1}^m \alpha _i \lambda _i \), the assumption \(h\circ P(0) = 0\) implies that \(c_\textbf{0} = 0\) and
which converges uniformly on \(B^m_1\). Indeed, letting \(\sigma _\textrm{gap} {\mathop {=}\limits ^{\textrm{def}}}\min _{j=1,\dots ,m} |\lambda _j| > 0\), then
holds for \(j=1,\ldots , n\), uniformly in \(B^m_1\). \(\square \)
This proposition provides a fundamental feature of blow-up times. Combining with the choice of functionals h mentioned in Sect. 4.1, the compositions of h and the parameterization P are given as follows for each compactification:
-
Directional: \(h(s(\tau ), x(\tau )) = s(\tau )^k\) and \(s(\tau ) = P_1(e^{\Lambda \tau }\theta )\).
-
Poincaré type with \(k/2c\in \mathbb {N}\): \(h(x(\tau )) = (1-p(x(\tau ))^{2c})^{k/2c} = \Big (1-\sum _{i=1}^n x_i (\tau )^{2\beta _i} \Big )^{k/2c}\) and \(x(\tau ) = P(e^{\Lambda \tau }\theta )\).
-
Parabolic type: \(h(x(\tau )) = \left( 1-\frac{2c-1}{2c}(1-p(x(\tau ))^{2c})\right) (1-p(x(\tau ))^{2c})^k\) and \(x(\tau ) = P(e^{\Lambda \tau }\theta )\).
The function \(U(\theta )\) in (4.2) equals to \(t_{\max } = t_{\max }(\theta )\) under corresponding compactifications and timescale desingularizations. Note that the function \(h\) corresponds to the timescale transformation factor. Different choice of timescale desingularizations provides different \(h\) and, consequently, different determination of \(U(\theta ) = t_{\max }(\theta )\).
The inverse \(T^{-1}\) of compactifications away from the horizon can be described by analytic functions because it is defined by the n-tuples of composite functions of radicals and rational functions whose singularities in the sense of the loss of regularity and convergence of infinite series are located on the horizon. The analytic dependence of \(t_{\max }\) on bounded initial points for (2.1) near blow-up is therefore inherited by restricting our attention to stable manifolds of equilibria on the horizon for desingularized vector fields.
Theorem 4.5
(Analyticity of blow-up times) Let \(t_{\max }\) be given by the directional (resp. the Poincaré type with \(k/2c\in \mathbb {N}\), or the parabolic type) compactification given by (2.6) (resp. (2.15) and (2.19)). Let \(W^s_{\textrm{loc}}(p_*; g)\) be a local stable manifold of a hyperbolic saddle \(p_*\) on the horizon for the desingularized vector field \(g = g_d\) (resp. \(g=g_{qP}\) and \(g = g_{\textrm{para}}\)) given by the parameterization P satisfying all requirements presented in Proposition 4.4. Let \(y_0\in \mathbb {R}^n\) be a point such that the solution y(t) to (2.1) with \(y(t_0)=y_0\) is mapped into the trajectory \(\{(T(y))(\tau )\}_{\tau \ge \tau _0}\) included in \(W^s_{\textrm{loc}}(p_*; g)\) through \(T = T_d\) (resp. \(T = T_{qP}\) and \(T = T_{\textrm{para}}\)) and the corresponding timescale desingularization.
Then the blow-up time \(t_{\max }\) is real analytic at \(y_0\) in \(\textrm{int}_{T^{-1}(\mathcal {D})}T^{-1}(W^s_{\textrm{loc}}(p_*; g))\), where \(\mathcal {D}\) is given by (2.3) (resp. (2.11) for Poincaré and parabolic types). Moreover, \(t_{\max } = t_{\max }(y_0)\) converges to 0 as \(y_0\) goes to infinity along the solution y(t).
Proof
Let \(y_0 \in {\textrm{int}}_{T^{-1}(\mathcal {D})}T^{-1}(W^s_{\textrm{loc}}(p_*; g))\) be arbitrary. Then there is a unique point \(\theta _0 \in B^m_1\) such that \(y_0 = T^{-1}(P(\theta _0))\). We shall write \(\theta _0 = P^{-1}(T(y_0))\), where the expression of \(P^{-1}\) reflects the one-to-one property of P on \(B^m_1\). Because T is analytic in \(\mathcal {D}\) (Remark 2.13), then so is \(P^{-1}\circ T\) in \( \textrm{int}_{T^{-1}(\mathcal {D})}T^{-1}(W^s_{\textrm{loc}}(p_*; g))\).Footnote 12 Then the blow-up time \(t_{\max } = t_{\max }(y_0)\) at \(y_0\) is written by
where h is a function mentioned just after the proof of Proposition 4.4. The integrand is analytic in \(\textrm{int}_{T^{-1}(\mathcal {D})}T^{-1}(W^s_{\textrm{loc}}(p_*; g))\), according to the same argument as the proof of Proposition 4.4. Therefore, \(t_{\max } = t_{\max }(y_0)\) is analytic at \(y_0 \in \textrm{int}_{T^{-1}(\mathcal {D})}T^{-1}(W^s_{\textrm{loc}}(p_*; g))\).
Our assumption for the solution y(t) implies that the property of y(t) going to infinity as \(t\rightarrow t_{\max }\) corresponds to \((T(y))(\tau ) \rightarrow p_*\) as \(\tau \rightarrow \infty \). Moreover, for any \(y_0 \in \textrm{int}_{T^{-1}(\mathcal {D})}T^{-1}(W^s_{\textrm{loc}}(p_*; g))\), we can choose a point \(\tilde{y}_0 \in \mathbb {R}^n\) such that \(T(\tilde{y}_0) \in W^s_{\textrm{loc}}(p_*; g)\) and that \(y_0 = y(t) = y(t; \tilde{y}_0, t_0)\) for some \(t>t_0\), where t is uniquely determined by \(\tilde{y}_0\). The last assertion is equivalent to \(T(y_0) = (T(\tilde{y}_0))(\bar{\tau })\) for \(\bar{\tau }> \tau _0\) uniquely determined by t and the timescale desingularization. Fix the point \(\tilde{y}_0\). Consider the decomposition (4.1) of \(t_{\max } = t_{\max }(\tilde{y}_0)\) with the integrand \(S_h(\tau )\equiv h\circ P (e^{\Lambda \tau } (P^{-1}(T(y_0))))\). Notice that the second term in the right-hand side is the contribution of \(y_0\) to the determination of \(t_{\max }\). As a result, we have
As mentioned, the convergence of \(T(y_0)\) to \(p_*\) corresponds to \(\bar{\tau }\rightarrow \infty \). Because \(S_h\) is analytic in \(B_1^m\), the integral \(t_{\max }(y_0)\) goes to 0 as \(\bar{\tau }\rightarrow \infty \). This implies the final statement in the theorem. \(\square \)
Theorem 4.5 indicates that \(t_{\max }\) depends analytically on initial points on \(T^{-1}(W^s_{\textrm{loc}}(p_*; g))\), provided that the non-resonance condition holds for eigenvalues of \(Dg(p_*)\). Furthermore, a computer-assisted proof for the existence of P as discussed in Sect. 3 provides the explicit region where the analyticity of \(t_{\max }\) as a function of initial points of trajectories is guaranteed. Extending \(W^s_{\textrm{loc}}(p_*; g)\) through the flow and using the smooth dependence of the flow on initial points, we can extend \(t_{\max }\) as a smooth function of the initial points whose smoothness depends on that for the flow, as long as \(W^s_{\textrm{loc}}(p_*; g)\) is smoothly continued. In particular, \(t_{\max }\) can be analytically continued if the vector field g is analytic. Note that the analyticity or even continuity of \(t_{\max }\) is not guaranteed as a function of y in \(\mathbb {R}^n\) because the expression of \(t_{\max }\) as an analytic function only makes sense on \(W_{\textrm{loc}}^s(p_*;g)\). The different choice of \(p_*\) induces a different expression of P and hence of \(t_{\max }\).
In the end of this section, we shall derive a detailed implementation of \(t_{\max }\) for directional compactifications, namely an estimate of the integral \(\int _{\bar{\tau }}^\infty s(\tau )^k \textrm{d}\tau \) given in (2.6). The corresponding calculations of \(t_{\max }\) for Poincaré type with \(k/2c \in \mathbb {N}\) and parabolic-type compactifications are achieved in the same manner. Let \(p_*\in \mathcal {E}\) be a hyperbolic equilibrium for the desingularized vector field \(g = g_d\). Assume that the parameterization method around \(p_*\) works and the local stable manifold \(W^s_{\textrm{loc}}(p_*; g)\) is obtained through the (m-dimensional) stable polydisk \(B_1^m\) and the parameterization P. For simplicity, stable eigenvalues \(\{\lambda _i\}_{i=1}^m\) of the linearized matrix of the desingularized vector field at \(p_*\) are assumed to be simple and real. In particular, \(\lambda _i < 0\) for \(i=1,\ldots , m\). Recalling (3.3), write
Then the solution \((s(\tau ), \hat{x}(\tau )) \in W^s_{\textrm{loc}}(p_*; g)\) is written by
where
is the parameterization of \(W_{\textrm{loc}}^s(p_*; g)\). The rightmost integral in (2.6) can be calculated as follows, once we obtain a concrete form of P:
Denote the Cauchy product over multi-indices by
and given \(k \in \mathbb {N}\) denote
Here we observe that \((a_1)_\textbf{0} = 0\), since \(P(0) = p_*\) is the equilibrium for the desingularized vector field (2.7) and \(P_1(0) = 0\) from our choice of compactifications. Using the previous notation and the above fact, the above integral is formally written as follows:
In particular, the denominator \(\alpha \cdot \lambda \) is strictly negative for all possible \(\alpha \), and the analyticity of P implies that the above infinite sum is convergent uniformly in \(B^m_1\).
The final formula (4.5) implies that we can calculate the rigorous value of \(t_{\max }\) near blow-up, once we obtain the parameterization of the local stable manifold \(W_{\textrm{loc}}^s(p_*; g)\) and fix the point \(\theta \in B^m\), namely \(P(\theta ) \in W_{\textrm{loc}}^s(p_*; g)\). As seen below, the similar expressions of \(t_{\max }\) to (4.5) can be obtained for Poincaré-type and parabolic-type compactifications.
Remark 4.6
(Special case) If \(n_s = 1\), the explicit expression (4.5) admits the simpler form:
Indeed, \(\alpha \) becomes a single index l and
where we have used the fact that \((a_1)_0 = 0\) and that the Cauchy product \((a_1^k)_l = ({\mathop {\overbrace{a_1 *\cdots *a_1}}\limits ^{k \text { times}}} )_l\), with \(l < k\) contains at least one \((a_1)_0\).
Remark 4.7
(Integrands and smoothness of \(t_{\max }\)) The concrete procedure to compute the integral (4.5) or its upper bound depends on problems, namely the choice of compactifications and timescale desingularizations.
-
Our first example (Sect. 5) applies a directional compactification, while the timescale desingularization has the different form from (2.5) so that the resulting desingularized vector field is polynomial. Instead, \(t_{\max }\) requires integrations of rational-type functions. Nevertheless, the essence of the above argument, namely the absence of constant terms in the integrand of \(t_{\max }\), can be applied to verifying that \(t_{\max } < \infty \). Analyticity of the integrand follows from that for both the numerator and the denominator with additional boundedness property of the denominator. Detailed derivation of \(t_{\max }\) or its upper bound is shown in subsequent sections.
-
In the case of Poincaré-type compactifications, analyticity of \(t_{\max }\) is not guaranteed when \(k/2c\not \in \mathbb {N}\), because the function \(h(x) = x^{k/2c}\) is not analytic at \(x=0\). This failure comes from the “mismatch” of properties of vector fields in the sense that the order \(k+1\) and the type \(\alpha \), consequently the natural number c, determining an appropriate Poincaré-type compactifications are determined by the asymptotic quasi-homogeneity of vector fields. We then need further estimates for calculating \(t_{\max }\) in such a case. The difficulty originated from this issue can be overcome by choosing the parabolic-type compactifications.
Remark 4.8
(Lyapunov functions versus parameterizations for expressing \(t_{\max }\)) In the preceding studies (e.g., Matsue and Takayasu 2020a, b; Takayasu et al. 2017), \(t_{\max }\) in all examples there are enclosed by means of Lyapunov functions. Local Lyapunov functions only provide upper bounds of \(t_{\max }\), because they do not trace concrete trajectories on stable manifolds, but values of functionals on trajectories, implying that smoothness arguments for \(t_{\max }\) as a function of initial points cannot be derived. Instead, simple inequalities by means of Lyapunov functions provide upper bounds of \(t_{\max }\) even in the case of Poincaré-type compactifications with \(k/2c\not \in \mathbb {N}\), as demonstrated in Takayasu et al. (2017). Moreover, non-resonance condition (A3) is not required for estimations.
On the other hand, we can trace trajectories on stable manifolds by means of parameterizations, indicating that \(t_{\max }\) is “exactly” calculated through the integration of given functions depending on solutions. In particular, we can explicitly discuss properties of \(t_{\max }\) as a functions of initial points. In compensation for these precise information, however, we have to take care of analytic information of dynamical systems to ensure smoothness or analyticity of functions of interests, such as non-resonance condition (A3) for analyticity of P providing the conjugacy to linearizations, matching of integers k and c for Poincaré-type compactifications mentioned in Remark 4.7.
5 Example 1: Validation and Visualization of Globally Extended Saddle-Type Blow-Ups
In what follows, we show several applications of our proposed methodology not only to show its applicability but also to reveal several remarkable features of saddle-type blow-up solutions. The first problem is concerned with saddle-type blow-up solutions for the following system:
where
and \(\rho _2 > \rho _1\) are positive constants. Moreover,
and \((c_1,c_2) = (c_{1L}, c_{2L})\) with
Points \((\beta _L, v_L)\) and \((\beta _R, v_R)\) are given in advance.
Remark 5.1
The system (5.1) stems from the Riemann problem of the following system of conservation laws describing the (simplified) two-phase, one-dimensional incompressible flow (Keyfitz et al. 2003):
with
Observe that \(B_1(\beta ) < 0\) for \(\beta \in (\rho _1, \rho _2)\) and \(B_1(\beta ) > 0\) for \(0< \beta < \rho _1, \beta > \rho _2\). Details are stated in Keyfitz et al. (2003).
The system (5.1) is the reduced problem of (5.4) satisfying viscosity profile criterion, namely the traveling wave problem with respect to the frame coordinate \(\zeta = x-ct\) with the boundary condition
where c is the speed of traveling waves. Saddle-type blow-up solutions for (5.1) are considered as components of singular shock wave solutionsFootnote 13 to (5.4).
We choose the directional compactification (2.2) of type (0, 1): \((\beta , v)\mapsto (x_1, s) = (\beta , v^{-1})\) (cf. Keyfitz et al. 2003; Matsue 2018). Direct calculations yield the following desingularized vector field on \(\{r\ge 0\}\times \{\rho _1\le \beta \le \rho _2\}\):
where \(\tau \) is the desingularized timescale given by \(\textrm{d}\tau = s^{-1}\textrm{d}t\). Obviously, \((x_1, s) = (\rho _1,0)\equiv p_1\) and \((\rho _2, 0)\equiv p_2\) are equilibria of (5.6) on the horizon \(\mathcal {E} = \{s=0\}\) and the vector field on \(\mathcal {E}\setminus \{p_1,p_2\}\) is monotone on each component.
On the other hand, the vector field (5.6) is rational. In order to nicely apply the parameterization method, we introduce further timescale transformation as follows:
Then the resulting vector field is
Note that typical solutions of (5.6) are considered within the region \(\{\rho _1 \le x_1\le \rho _2\}\) and \(\rho _1 > 0\). Therefore, the new vector field (5.7) is intrinsically the time-reparameterized vector field of (5.6), and hence, these vector fields provide topologically the same information as each other.
The horizon is \(\{s=0\}\) and equilibria on the horizon is \((x_1, s) = (\rho _1, 0), (\rho _2, 0)\). Looking at (5.7) only, \((x_1, s) = (0, 0)\) can be also a stationary point, but it is not appropriate from our requirement.
Remark 5.2
(Technical details) When we solve the problem (5.7) in practice, we need to fix several parameters. In the present case,
-
First, we fix \(x_L \equiv (x_{1,L}, s_L) = (1.9, 0.25)\) as a sample data. Then, following the directional compactification \((x_1, s) = (\beta , v^{-1})\), we obtain \((\beta _L, v_L) = (1.9, 4)\). Next, we fix \(x_R \equiv (x_{1,R}, s_R) = (1.5, 0.2)\) similarly. Then we obtain \((\beta _R, v_R) = (1.5, 5)\). Independently, we need to fix \((\rho _1, \rho _2)\). In the present case, we fix \((\rho _1, \rho _2) = (1,2)\).
-
Following standard arguments of systems of conservation laws, compute \(B_1(\beta ), B_2(\beta )\) and c given above for \((\beta , v) = (\beta _L, v_L), (\beta _R, v_R)\).
In the present study, we compute the stable manifold of the saddle equilibrium on the horizon \((x_1, s) = (2,0)\) for (5.7) in \(\{s\ge 0\}\) with parameters shown in Remark 5.2.
5.1 A Local One-Dimensional Stable Manifold of \(p_2\) in (5.7)
Consider the system of desingularized ODEs
which is exactly (5.7) by replacing \((x_1,s)\) with \((x_1, x_2)\). The dot \(\dot{}\) denotes \(d/d\eta \). Furthermore, at \(x^{(2)} {\mathop {=}\limits ^{\textrm{def}}}(\rho _2,0)\)
We focus on the one-dimensional stable manifold of the steady state \(x^{(2)}\) with stable eigenvalue \(\lambda {\mathop {=}\limits ^{\textrm{def}}}-\frac{\rho _2}{2}(\rho _2-\rho _1)<0\) and corresponding stable eigenvector
Our goal is to produce an analytic function \(P: (-\nu , \nu )\rightarrow \mathbb {R}^2\) with \(\nu = 1\) that parameterizes \(W^s_\textrm{loc}(x^{(2)})\). Note that the parameter \(\nu \) can generalize the setting in Sect. 3, and corresponds to that appeared in Sect. 5.1.3. The Taylor series representation has the form
By Lemma 3.2, P will represent the stable manifold if
From this, we can immediately conclude that
where
Let
For \(j=1,2\), denote \(a_j=((a_j)_n)_{n \ge 2}\), and \(a = (a_1,a_2)\). Define \(F = (F_1, F_2):X \rightarrow X'\) with \(X =(\ell ^1)^2\) and \(X' = (\tilde{\ell }^1)^2\), defined in the similar manner to arguments in Sect. 3 (below (3.12)), by
for \(n \ge 2\), and observe that if there exists \(\tilde{a} \in X\) such that \(F(\tilde{a})=0\), then we have obtained the desired parameterization.
5.1.1 A Computer-Assisted Proof
Fixing \(N=300\), we computed the bounds \(Y_0\), \(Z_0\), \(Z_1\) and \(Z_2\) as presented in Sects. 3.1, 3.2, 3.3 and 3.4, respectively. Then, we applied Theorem 3.5 to proving the existence of \(\tilde{a}\in B_r(\bar{a})\) such that \(F_1(\tilde{a})=F_2(\tilde{a})=0\) with \(F_1\) and \(F_2\) given in (5.10) and (5.11), respectively. More explicitly, we got that \(\Vert \tilde{a}- \bar{a}\Vert _X \le r = 4.2 \times 10^{-13}\).
The Taylor series representation of the parameterization of the local stable manifold has the form
and denote by
the numerical approximation of the local stable manifold. Then,
5.1.2 Computing the Blow-Up Time
Given a point \((x_1(0),s(0)) \in W_{\textrm{loc}}^s(p_2)\) (with \(p_2=(2,0)\)), the blow-up time is given by
Given that \((x_1(0),s(0)) = (P_1(\theta ),P_2(\theta ))\) for a given \(\theta \in (-\nu ,\nu )\), we get from (3.4) that \(\varphi \left( t, P(\theta ) \right) = P\left( e^{\lambda t} \theta \right) \) for all \(t \ge 0\). Hence, the solution \((x_1(t),s(t))\) with the initial point \((x_1(0),s(0))= (P_1(\theta ),P_2(\theta ))\) is given by \((x_1(t),s(t)) = P\left( e^{\lambda t} \theta \right) \).
Rescaling the time interval \(\eta \in [0,\infty ]\) to \(u \in [\theta ,0]\) leads (via the change of coordinates \(u = e^{\lambda \eta } \theta \)) to
Now, note that
since \((\tilde{a}_2)_0 = (p_2)_2 = 0\). Denote
where \(\tilde{q}_n {\mathop {=}\limits ^{\textrm{def}}}(\tilde{a}_2)_{n+1}\) for \(n \ge 0\). Hence, Eq. (5.13) becomes
Assume now that we have (again using rigorous numerics) obtained
with rigorous error bounds. Using that information,
which is in essence computable (that is, we can provide a numerical approximation together with rigorous error bounds). In Fig. 3, we present a rigorous numerical computation (with rigorous bounds) of the value of \(t_{\max }\) as a function of \(\theta \), that is, as a function of the initial points \(P(\theta )\) on \(W^s_{\textrm{loc}}(p_2)\). The rigorous error bound is obtained by computing rigorously the Taylor coefficients of \(r_n\) in the expansion (5.14). We present how to do that next.
5.1.3 Rigorous Computation of the Coefficients \(r_n\)
Through \(\tilde{a}=(\tilde{a}_1,\tilde{a}_2)\) with \(\Vert \tilde{a}- \bar{a}\Vert _X \le r = 4.2 \times 10^{-13}\) the power series \(P_i(u) = \sum _{n\ge 0} (\tilde{a}_i)_n u^n\) are determined. The goal in this section is to compute rigorously the coefficients \(r_n\) of \(R(u) = \sum _{n\ge 0} r_n u^n\) such that \([P_1(u)]^2 R(u) = Q(u)\). This amounts to solve the Taylor coefficients equation
Using Newton’s method, assume that we computed \(\bar{r}\) such that \(\psi (\bar{r})\approx 0\). Denote by \(D\psi ^{(N)}(\bar{r})\) the Jacobian of \(\psi ^{(N)}\) at \(\bar{r}\). The next step is to construct the linear operator \(A^\dag \) (an approximate derivative of the derivative \(D\psi (\bar{r})\)) and the linear operator A (an approximate inverse of \(D\psi (\bar{r})\)). Let \(A^\dagger \) be defined as
Consider now a matrix \(A^{(N)} \in M_{N+1}(\mathbb {R})\) computed so that \(A^{(N)} \approx {D\psi ^{(N)}(\bar{r})}^{-1}\). This allows defining the linear operator A whose action on an element \(h\in \ell ^1_\nu \) is
where, given \(\nu \ge 1\),
In this expression, \(X = (\ell _\nu ^1)^2\) is applied and the norm is given by \(\Vert a\Vert _X:= \max (\Vert a_1\Vert _\nu ,\Vert a_2\Vert _\nu )\) for \(a=(a_1,a_2) \in X\). We have used a generalized setting of Banach spaces towards further applications. Having obtained an approximate solution \(\bar{r}\) and the linear operators \(A^\dagger \) and A, the next step is to construct the bounds \(Y_0\), \(Z_0\), \(Z_1\) and \(Z_2(r)\) satisfying (3.14), (3.15), (3.16) and (3.17), respectively. Note that since problem (5.15) is linear, then \(Z_2=0\).
The bound \(Y_0\) We look for a bound such that \(\Vert A \psi (\bar{r})\Vert _\nu \le Y_0\). Expand
where
and \(\delta _1 {\mathop {=}\limits ^{\textrm{def}}}\tilde{a}_1-\bar{a}_1\) and \(\delta _q {\mathop {=}\limits ^{\textrm{def}}}\tilde{q} - \bar{q}\). Hence, we can compute \(Y_0\) such that
where we used that
The bound \(Z_0\) It is the same computation as the one presented in Sect. 3.2.
The bound \(Z_1\) Given \(h \in \ell _\nu ^1\), denote
which is given componentwise by
Define \(\beta _k = (\tilde{a}_1^2)_k\) for \(k>0\) and \(\beta _0=0\). Hence,
where
We therefore set
Assume that using the radii polynomial approach of Theorem 3.5, we prove the existence \(\tilde{r} \in B_{r_{\min }}(\bar{r})\) such that \(\psi (\tilde{r})=0\). Hence, given \(\theta \in (-\nu ,\nu )\), \(t_{\max }\) given in (5.14) can be controlled
which can be evaluated rigorously with interval arithmetic.
Remark 5.3
The above estimate directly shows the analyticity of \(t_{\max }\) on \(\theta \), which is implicitly guaranteed by analyticity of the parameterization P and the uniform boundedness of the denominator \(x_1(\eta ) = P_1(u)\) away from 0 on \(W_{\textrm{loc}}^s(p_2)\). See Fig. 4 about the latter fact. Finally, we have applied \(X = (\ell _\nu ^1)^2\) with \(\nu = 1\) in the present validations. Different choice of \(\nu \) can be also valid.
5.2 Extension of the Stable Manifold of \(p_2\) in (5.7) and Blow-Up Time Validations
Once we validate the local stable manifold of a saddle equilibrium, we can extend the manifold integrating (5.7) in the backward time direction, which is achieved by standard rigorous integrator of ODEs. Recall that we rewrite the system of differential equations (5.7) as in (5.8), that is,
where \(\dot{{}}=\frac{\textrm{d}}{\textrm{d}\eta }\), \(x_2\equiv s\), \((\rho _1,\rho _2)=(1,2)\), \((\beta _R, v_R) = (1.5, 5)\), \((\beta _L, v_L) = (1.9, 4)\) with the constant c in (5.2) and \((c_1, c_2) = (c_{1L}, c_{2L})\) satisfying
We integrate (5.7) backward in time. Taking \(\xi {\mathop {=}\limits ^{\textrm{def}}}-\eta \), we integrate
from 0 to \(\xi _0\) with the initial point \((x_1(0),x_2(0))=p_0=P(\theta )|_{\theta =-1}\), which is on the local stable manifold \(W_{\textrm{loc}}^s(p_2)\). The rigorous integrator we have used is mentioned in Remark 4.2. Furthermore, we rigorously compute the passing time in the original timescale using the following formula:
where \(x_1(\xi )\) and \(x_2(\xi )\) denote the solution of (5.16).
In the present example, (5.7) is integrated with the initial point at the boundary of locally validated stable manifold, which is the boundary of the red curve in Fig. 4 with \(x_2 > 0\), in the backward time direction and compute an enclosure of the evolution time in the original timescale:
The blow-up time of the corresponding blow-up solution with the initial point \(T_d^{-1}(x_1(\eta ), x_2(\eta ))\) is then enclosed by the sum of enclosures of \(t_{\max }\) and \(t_{-\eta }\). Figure 5 shows the blow-up time \(t_{\max }\) of blow-up solutions as a function of initial points on \(T_d^{-1}(W^s(p_2))\). Note that the point in the figure where the corresponding blow-up time tends to infinity is the source equilibrium for (5.7), which corresponds to the bounded source for (5.1). Rigorous enclosures of \(t_{\max }\) on several sample points are shown in Table 1. Finally, we can reconstruct the true blow-up profile of the validated saddle-type blow-up solution through the directional compactification \(T_d\), which is drawn in Fig. 6. Note that this profile cannot be computed in the direct way since small perturbations of initial points violate the profile.Footnote 14
Remark 5.4
The integrand of \(t_{\max }\) has a different form from typical integrands shown in Sect. 2. Indeed, the integrand of (5.12) is a rational function consisting of two analytic functions. Nevertheless, the function \(x_1(\eta )\) determining the denominator attains the value around 2 with sufficiently small error bounds so that the function \(1/x_1(\eta )^2\) is analytic at \(x_1(0)\), which is justified through the parameterization P, provided the trajectory \(\{x_1(\eta ), s(\eta )\}_{\eta \in [0,\infty )}\) is located on the interior of \(W_{\textrm{loc}}^s(p_2)\). In particular, Proposition 4.4 and Theorem 4.5 can be still applied to showing that \(t_{\max }\) defined by (5.12) depends analytically on initial points. Note that arguments in Sect. 5.1.3 directly confirm the analyticity of \(t_{\max }\).
6 Example 2: Application to Higher-Dimensional Systems
The second example is the following (artificial) system in \(\mathbb {R}^3\):
The present system is asymptotically homogeneous of order 3, namely asymptotically quasi-homogeneous of type \(\alpha = (1,1,1)\). We thus apply the Poincaré-type compactificationFootnote 15 to obtain the associated desingularized vector field as written by (2.16). In the present case, \(k = 2, n=3\), \(\alpha _j = \beta _j = c = 1\) for \(j=1,\ldots , n\), and hence,
derived by (2.12), is applied to determining (2.16). The concrete form is
where
The direct calculation of the Jacobian matrix of (6.3) is quite lengthy. Assuming that the Jacobian matrix of \(\tilde{f}\) with respect to x is calculated, the Jacobian matrix of g with respect to x is calculated as follows:
where \(\delta _{ij}\) is the Kronecker’s delta. In the present case, the Jacobian matrix of \(\tilde{f}\) is
We observe that there are (at least) three equilibria on the horizon \(\{p(x)^2 \equiv \sum _{i=1}^3 x_i^2 = 1\}\), one of which, denoted by \(p_0\), has a one-dimensional stable manifold and two of which, denoted by \(p_1\) and \(p_2\), have two-dimensional stable manifolds. In the present study, we fix the following parameters:
We have computed the concrete position and associated eigenvalues, which are approximately given as follows:
On the other hand, (6.2) possesses a source in a bounded region, namely \(\{\sum _{i=1}^3 x_i^2 < 1\}\), which is
The parameterization method applied to three equilibria on the horizon; \(p_0\), \(p_1\) and \(p_2\), for (6.3) provides local stable manifolds with rigorous error enclosures. Distributions of these local stable manifolds are drawn in Fig. 7.
6.1 Blow-Up Time Computation
Since the compactification is homogeneous (namely \(\alpha = (1,\ldots , 1)\) for defining compactifications) and \(k=2\) in the present example, the maximal existence time \(t_{\max }\) is
according to (2.15). Let P be a parameterization around \(x_*\in \mathcal {E}\) whose image of \(B^{n_s}\) determines the local stable manifold \(W^s_{\textrm{loc}}(x_*)\) of \(x_*\) such that \(P(0) = x_*\). P is assumed to have a polynomial expression (cf. (4.3))
satisfying \(a_\textbf{0} = x_*\). \(\alpha = (\alpha _1, \ldots , \alpha _{n_s}) \in \mathbb {Z}_{\ge 0}^{n_s}\) denotes the multi-index and \(\theta ^\alpha = \theta _1^{\alpha _1}\cdots \theta _{n_s}^{\alpha _{n_s}}\). Assuming that the solution trajectory \(x(\tau )\) is on \(W^s_{\textrm{loc}}(x_*)\), the parameterization argument indicates that
For a while, we further assume that \(Q=I\), \(\lambda _i \in \mathbb {R}\) for \(i=1,\ldots , n_s\) and \(k=2\). Then
and
where \((a*b)_{\alpha }\) denotes the discrete convolution over the multi-index \(\alpha \in \mathbb {Z}_{\ge 0}^{n_s}\) given in (4.4) and \(\theta _0^\alpha = ((\theta _{1})_0)^{\alpha _1}\cdots ((\theta _{n_s})_0)^{\alpha _{n_s}}\). Here we use the fact
because \(P(0) = x_*\) and \(x_*\in \mathcal {E} = \{\Vert x\Vert =1\}\). Thus, we have
where the denominator is strictly negative for all possible \(\alpha \) and the analyticity of P ensures the convergence of the above series. Finally, we have the following expression of \(t_{\max }\):
Remark that the above expression makes sense only if
by definition of the Poincaré compactification. With an explicit expression or enclosure of \(P(\theta )\), the quantity (6.5) or its enclosure is rigorously calculated for each \(\theta _0 \in B^{n_s}\). The above procedure is applied with \(n=3\) and \(n_s = 1\) or 2 in the present problem.
If \(n_s = 1\), the expression (6.5) can be simplified by considering the single index \(l\ge 1\) instead of the multi-index \(\alpha \) to obtain
In practice, the computation of the Taylor coefficients \(a_1,\dots ,a_n\) comes from a successful application of the Newton–Kantorovich type theorem (Theorem 3.5) applied to \(F:X\rightarrow X'\) given in (3.9) with \(X = (\ell ^1)^2 =(\ell _1^1)^2\), namely \(\nu =1\) (cf. Sect. 5.1.3). More precisely, denote by \(\bar{a}_1,\dots ,\bar{a}_n\) the numerical approximations (of order N) and \(r_0>0\) such that the true coefficients satisfy
Denote \(b = a - \bar{a}\) and note that
Denote the spectral gap of the stable eigenvalues by
and note that \(\sigma _\textrm{gap} = \min _{|\alpha |>0} |\alpha \cdot \lambda |\). Hence, for all \(\theta _0 \in B_1^{n_s}\),
Similarly, we can show that
Denoting
then a rigorous enclosure of \(t_{\max }\) is given by the computable formula
6.2 Distribution of \(t_{\max }\) Near Blow-Up
In the present example, saddle equilibria \(p_1\) and \(p_2\) on the horizon both have two-dimensional stable manifolds. Once the parameterization method is applied to validating these invariant manifolds, the blow-up time \(t_{\max }\) defined by (6.4) is obtained as a function of the parameter \(\theta \) determining local stable manifolds. In particular, we can validate distributions of \(t_{\max }\) on local stable manifolds.
Figure 8 shows the distributions of \(t_{\max }\). Because the vector field (6.3) itself can be defined outside \(\overline{\mathcal {D}}\), namely in \(\{\Vert x\Vert > 1\}\) also, \(t_{\max }\) can attain negative values. Nevertheless, from the viewpoint that (6.3) is obtained from (6.1) through the compactification, only the positive values make sense as the blow-up time of solutions to (6.1). Now we pay attention to the following facts, which follow from fundamental arguments of compactifications (cf. Matsue 2018):
-
The horizon \(\mathcal {E}\) is a codimension one invariant submanifold of \(\mathbb {R}^3\).
-
The integrand determining \(t_{\max }\) (e.g., (6.4)) is identically zero on \(\mathcal {E}\).
Results in Fig. 8 indeed reflect the above nature. For example, one-dimensional submanifold of two-dimensional stable manifolds of \(p_1\) and \(p_2\) are located on the horizon where \(t_{\max }\) is identically zero. Our computations further indicate that the region \(\{t_{\max } > 0\}\) is included in \(\{\Vert x\Vert < 1\}\). Looking at the region \(\{t_{\max } > 0\}\), like Fig. 3 in the previous example, we can discuss the distribution of blow-up times.
From our present observations, we have an interesting result about the distribution of blow-up times. In the present example, eigenvalues determining stable submanifolds on the horizon have smaller moduli than the transverse direction. In other words, the leading (stable) eigendirections are directed tangent to the horizon (red curves in Fig. 8) in both manifolds. Asymptotic behavior of trajectories around equilibria is therefore essentially determined by the exponential decay behavior in the direction parallel to the horizon. On the other hand, level sets of \(t_{\max }\) are distributed so that they are foliated parallel to the horizon, equivalently the level set \(t_{\max } = 0\), in both cases. These observations may look strange from the viewpoint of the asymptotic behavior around (hyperbolic) equilibria. Indeed, dynamics around hyperbolic equilibria of interest are essentially governed by leading eigendirection, implying that the behavior along the leading eigendirection should mainly contribute to estimate \(t_{\max }\). However, the integrand in (6.4) is almost zero near the horizon. More precisely, according to the proof of the blow-up criterion theorem (Theorem 2.8 whose proof is found in Matsue 2018), the integrand as a function of \(\tau \) decays exponentially fast near the horizon.Footnote 16 Therefore, asymptotic behavior of solution trajectories near the horizon does little contributions to \(t_{\max }\). As a consequence, blow-up time is essentially foliated parallel to the horizon, no matter where the leading eigendirection is distributed. This is a reason why the level set of \(t_{\max }\) is distributed parallel to the horizon.
6.3 Extension of Blow-Up Solutions
As demonstrated in Sect. 5, we can extend local stable manifolds globally by rigorous integration of (6.3) in backward time direction. In the present case, we have a (bounded) source equilibrium \(p_b\) and we have succeeded in validating connecting orbits between three equilibria on the horizon and \(p_b\). The validated global stable manifolds are drawn in Fig. 9. These stable manifolds separate the asymptotic behavior of solution trajectories outside the manifolds, although we omit the detailed description of phase portraits because it is hard to clearly visualize.
Note that the present validation of connecting orbits is done by the method typically used in the similar works (e.g., Matsue and Takayasu 2020a). In particular, solutions approaching to trapping regions of equilibria are validated for the existence of global-in-time existence of solutions. In the present work, trapping regions of sink equilibria are validated by means of local Lyapunov functions (cf. Matsue and Takayasu 2020a), while the parameterization for sink equilibria can be also applied to constructing trapping regions.
7 Example 3: Presence of Separatrix Involving Blow-Ups
The final example is
The present vector field originally comes from the Keyfitz–Kranzer model (Kranzer and Keyfitz 1990) demonstrating a non-trivial example of system of conservation laws including singular shock waves. See Kranzer and Keyfitz (1990) or references therein for details. A brief introduction of the model is also shown in Matsue 2018 (see also Sect. 8.1.1). Our purpose here is to validate blow-up solutions for (7.1) as well as bounded heteroclinic connections among bounded equilibria toward the global phase portrait. The present study unravels a significant characteristic of saddle-type blow-up solutions.
Firstly, a direct calculation yields the following.
Lemma 7.1
The vector field (7.1) is asymptotically quasi-homogeneous of type (1, 2) and order 2.
Note that (7.1) is not quasi-homogeneous. On the other hand, the system (7.1) possesses the symmetry
Namely, if (u(t), v(t)) is a solution to (7.1), then so is \((-u(-t), v(-t))\). This property is used to understand the global phase portrait of (7.1) including infinity.
To study the dynamics at infinity, we introduce the quasi-parabolic compactification of type (1, 2) given by
Then the corresponding desingularized vector field g is given by the following:
where \(\dot{} = \frac{\textrm{d}}{\textrm{d}\tau }\) and
Fortunately, we know that all equilibria (including the origin) are hyperbolic, and hence, we do not need additional desingularization. Detailed information of our targeting equilibria is as follows:
-
The origin \(p_0 = (x_1, x_2) = (0,0)\), which is saddle.
-
A bounded equilibrium \(p_b^+ = (x_1, x_2) \approx (0.7328506362011802, 0.5370700549804747)\), which is source.
-
A bounded equilibrium \(p_b^- = (x_1, x_2) \approx (-0.7328506362011802, 0.5370700549804747)\), which is sink.
-
Equilibrium on the horizon \(p_{\infty , s}^{\pm } = (x_1, x_2) \approx (\pm 0.8861081289780320, 0.6192579489210105)\), which are saddle.
-
Equilibria on the horizon \(p_{\infty }^{\pm } = (x_1, x_2) \approx (\pm 0.989136995894977, 0.206758557005180)\). The point \(p_{\infty }^+\) is sink, while \(p_{\infty }^-\) is source.
Sample (non-rigorous) numerical computations indicate that there is a chain of global trajectories connecting \(p_0\) and \(p_b^+\), and \(p_b^+\) and \(p_{\infty , s}^+\), respectively. The numerically computed global phase portrait including the horizon is shown in Fig. 10. The figure indicates that the whole phase space is separated into two subdomains by a heteroclinic chain among equilibria, including those on the horizon.
Remark 7.2
Here we have chosen the parabolic-type compactification in the present argument for the following reasons. First, our objective here is the global phase portrait for (7.1), which is insufficient to study only one local chart, namely directional compactifications. The change of coordinates by numerics (both in rigorous and non-rigorous sense) requires unnecessary and difficult tasks. Second, Poincaré-type compactifications are inappropriate to study (7.1) including dynamics at infinity, because (7.1) is quasi-homogeneous only in the asymptotic sense, and the application to Poincaré-type compactifications to such a system cause the loss of regularity of the desingularized vector field on the horizon, as mentioned in Sect. 2.3.4.
One of our main goals here is to construct the chain, mainly connecting orbits among \(\{p_{\infty , s}^+, p_b^+, p_0\}\). Like in the previous examples, the local stable manifold \(W^s_{\textrm{loc}}(p_{\infty , s}^+)\) of the saddle \(p_{\infty , s}^+\) on the horizon can be validated by the parameterization method. Validated local stable manifolds of \(p_{\infty , s}^+\) as well as \(p_0\) are shown in Fig. 11. These are validated through the parameterization method in the same way as Sects. 5 and 6. We omit the detailed implementation of the method applied to the present problem because the basic idea is identical, while we need lengthy calculations of terms we should enclose.
We then extend the manifold inside \(\mathcal {D} \equiv \{p(x) < 1\}\) by the rigorous integration of (7.3). According to numerical simulations (Fig. 10), \(W^s_{\textrm{loc}}(p_{\infty , s}^+)\) is connected to the source \(p_b^+\). Rigorous integration of (7.3) in backward time direction provide the computer-assisted validation of the connecting orbit from \(p_{\infty , s}^+\) to \(p_b^+\) by constructing a trapping region of \(p_b^+\) in backward time, which is a standard techniques for validating global-in-time trajectories and applied in, e.g., Matsue and Takayasu (2020a). On the other hand, we have another bounded equilibrium; the origin \(p_0\). Eigenvalue validation indicates that \(p_0\) is a saddle, and the global trajectory connecting the source \(p_b^+\) and the origin \(p_0\) is also validated by extending the local stable manifold \(W^s_{\textrm{loc}}(p_0)\) of \(p_0\) via the parameterization and the rigorous integration of (7.3) in backward time direction. By symmetry, we obtain the chain of connecting orbits among the points \(\{p_{\infty , s}^\pm , p_b^\pm , p_0\}\). Note that all these points are validated with rigorous errors through the parameterization method. Also note that the connecting orbit between \(p_{\infty , s}^\pm \) exists through the fact that the horizon \(\mathcal {E}\) is invariant and there are no equilibria between them (cf. Matsue 2018).
As a consequence, an invariant closed curve consisting of connecting orbits among equilibria \(\{p_{\infty , s}^\pm , p_b^\pm , p_0\}\) is constructed, as indicated in Fig. 10, with computer-assisted proof. The well-known Jordan’s closed curve theorem indicates that the invariant closed curve decomposes the phase space \(\overline{\mathcal {D}}\) into two regions.Footnote 17 In the sequel, we study the nature of solutions through points on these separated regions from the viewpoint of blow-up behavior.
7.1 Blow-Up Time Computation
The maximal existence time of the solution \((y_1(t), y_2(t))\) for the original vector field is given as follows (see (2.19) and Matsue and Takayasu 2020a):
Let \(x_*= (x_{*,1}, x_{*,2})\in \mathcal {E}\) be a saddle equilibrium. Note that \(x_{*,1}^4 + x_{*,2}^2 = 1\) by definition of the present parabolic-type compactification.
As in the previous case, let P be a parameterization whose image of \(B^{n_s}\) determines the local stable manifold of \(x_*\) such that \(P(0) = x_*\). P is assumed to have a power series expression (4.3) satisfying \(a_\textbf{0} = x_*\). Assume that the trajectory \(\{(x_1(\tau ), x_2(\tau ))\}\) is included in \(W^s_{\textrm{loc}}(x_*)\) for the desingularized vector field. In the present case, \(n=2\), and we consider only the case \(n_s = 1\). Calculations below are slightly simplified by introducing \(u = e^{\lambda \tau }\theta _0\), where \(\lambda \) be the stable eigenvalue at \(x_*\). Indeed, we have
Letting \(a_i = \{(a_i)_j\}_{j\ge 0}\) for \(i=1,2\), we have
Using that
we have the following exact formula for \(t_{\max }\):
7.2 Chain of Connecting Orbits as Separatrix
In what follows, we discuss a global nature of saddle-type blow-up solutions in dynamical systems. In Fig. 10, we numerically observe that the compactified phase space is separated into four domains, one of which consists of points whose trajectories tend to the origin as \(\tau \rightarrow \pm \infty \), while another consists of points whose trajectories tend to equilibria on the horizon as either both \(\tau \rightarrow \pm \infty \), or only \(\tau \rightarrow -\infty \) or \(\tau \rightarrow + \infty \). Namely, the latter sets consist of initial points which solutions through these points blow up in finite times in the original coordinate. A significant importance of this observation is that these four domains are divided by sequences of trajectories including ones inducing blow-up solutions. In particular, saddle-type blow-up solutions themselves or bounded global-in-time trajectories connecting blow-up solutions can locally divide initial points into the above domains.
As demonstrated in Sect. 6.3 and mentioned previously, connecting orbits between equilibria can be validated through the parameterization, extension of local (un)stable manifolds and construction of trapping regions (namely, local stable manifolds of sink equilibria). In two-dimensional systems like (7.1), the detailed nature of global dynamics can be easily considered by studying asymptotic behavior of solutions through neighborhoods of connecting orbits. Moreover, our validated connecting orbits involve blow-up solutions, and the characteristic value \(t_{\max }\) is associated with all points on validated connecting orbits and solutions close to them. Here we study connecting orbits involving hyperbolic saddles on the horizon and global-in-time solutions for the desingularized vector field, and the corresponding characteristics in the original vector field, yielding significantly different nature of asymptotic behavior. In particular, we investigate the following issues:
-
Dependence of blow-up characterizations on magnitude of initial points.
-
Continuous dependence of \(t_{\max }\) on initial points.
(Local) stable manifolds of saddle equilibria locally separate neighborhoods of the equilibria, as well as those asymptotic behavior, unlike sink and source equilibria. The first issue is then equivalent to a non-trivial question here is whether such a separation around the horizon can significantly change the asymptotic behavior of solutions for the original vector field.
Now we have a hyperbolic saddle on the horizon \(p_{\infty , s}^+\), a bounded source \(p_b^+\) and the origin \(p_0\) as a hyperbolic saddle. As shown in Figs. 10 and 11, local stable manifolds of \(p_{\infty , s}^+\) and \(p_b^+\) are validated through the parameterization method and extended through the integration of (7.3) like connecting orbits in Fig. 9. Let \(C_{\textrm{sep}}\) be the union of validated connecting orbits:
7.2.1 Dependence of Blow-Up Characterizations on Magnitude of Initial Points
First we consider the following issue.
Problem 7.3
Does the blow-up behavior depend on magnitudes of initial points?
In arguments of blow-up criteria, magnitudes (equivalently, norms) or values of several functionals of initial points are typically concerned for determining whether or not the corresponding solutions blow up. In many cases, there are mathematical arguments showing that initial points whose norms or associated functionals are sufficiently large induce finite-time blow-up. On the other hand, there are also several mathematical results of blow-up behavior which do not mention the magnitude of initial points. The aim of the present issue here is to reveal a qualitative characterization of asymptotic behavior around saddle-type blow-up solutions, which partially gives an answer to the above question.
Now we choose two pairs of initial points. One pair is located close to \(p_{\infty , s}^+\), while another pair is located close to the origin. In both pairs, two initial points are located at the opposite side to each other across \(C_{\textrm{sep}}\). More precisely, the former pair is chosen close to \((x_1, x_2) = (0.83, 0.53)\), while the latter pair is chosen close to \((x_1, x_2) = (0.32, 0.32)\). The corresponding points in the original coordinate are approximately
respectively. Details are drawn in Fig. 12. The methodology shown in Sect. 4 is applied to validating global-in-time trajectories for (7.3) through each point, showing that the asymptotic behavior of trajectories are completely separated for both pairs of initial points. More precisely,
-
across saddle-type blow-up solutions, the asymptotic behavior of solutions as those for (7.1) significantly change, one of which attains \(t_{\max } = \infty \), while another attains \(t_{\max } < \infty \).
Moreover, we also observe that
-
such a nature can be observed even near the origin, where another connecting orbit between \(p_0\) and \(p_b^+\) locally separates the phase space and is connected to the saddle-type blow-up solution generated by \(p_{\infty , s}^+\).
See Figs. 12 and 13. From the above observation, we can say that the magnitude of initial points is not always essential to determine the blow-up behavior. In other words, the chain \(C_{\textrm{sep}}\) plays a role as the separatrix dividing global-in-time solutions and blow-up solutions. The key point is that the chain \(C_{\textrm{sep}}\) including the saddle on the horizon locally separates the phase space and that there are sinks \(p_{\infty }^+ \in \mathcal {E}\) and \(p_b^- \in \mathcal {D}\) inducing global-in-time solutions for (7.3) approaching to them. The significant change of solutions in the original vector field is then responsible for the existence of saddle-type blow-up solutions, in particular \(C_{\textrm{sep}}\), sinks on the horizon and another sinks on the other side of \(C_{\textrm{sep}}\). Nevertheless, saddle-type blow-up solutions themselves plays a role as the trigger of the above nature. Finally note that the present observation can be applied to other dynamical systems like (6.1), where the global extension of stable manifolds characterizing saddle-type blow-up solutions is validated in Sect. 6.3 (cf. Fig. 9).
7.2.2 Continuous Dependence of \(t_{\max }\) on Initial Points
Next we investigate the continuous dependence of \(t_{\max }\) on initial points across \(C_{\textrm{sep}}\) given in (7.5). Here we consider a line segment \(\ell \) which is transverse to \(C_{\textrm{sep}}\). See Fig. 14. The segment \(\ell \) is chosen so that \(C_{\textrm{sep}}\) and \(\ell \) are orthogonal to each other at the boundary \(p_{0,s}\) of \(W_{\textrm{loc}}^s(p_{\infty , s}^+)\) validated by the parameterization method (cf. Fig. 11). The boundary \(p_{0,s}\) of \(W_{\textrm{loc}}^s(p_{\infty , s}^+)\) in \(\mathcal {D}\) is then uniquely determined as the intersection \(C_{\textrm{sep}}\cap \ell \equiv \{p_{0,s}\}\). Our problem here is then stated as follows.
Problem 7.4
Does the blow-up time vary continuously on \(\ell \)? If not, study whether \(t_{\max }\) is discontinuous only in each side of \(C_{\textrm{sep}}\) on \(\ell \), or discontinuous in both sides of \(C_{\textrm{sep}}\).
Indeed, the concrete dependence of \(t_{\max }\) cannot be unraveled unless explicit formulae (or both lower and upper bounds) for \(t_{\max }\) as functions of initial points are obtained. Our present methodology enables us to unravel this hidden nature in a reasonable way.
To study the above problem, the following steps are operated.
-
1.
Set a line segment \(\ell \) transverse to the chain \(C_{\textrm{sep}}\).
-
2.
Compute the blow-up time \(t_{\max }\) of the solution through \(\{p_{0,s}\} \equiv C_{\textrm{sep}}\cap \ell \).
-
3.
Choose several points on \(\ell \) in the blue region, shown in Fig. 14, and validate blow-up times through these points.
-
4.
Plot all validated blow-up times and study the distribution.
-
5.
Investigate if the distribution provides continuous dependence on initial points.
The point \(p_{0,s}\) decomposes the line segment \(\ell \) into two pieces, denoted by \(\ell _l\) and \(\ell _r\) consisting of points on \(\ell \) in the left side (red in Fig. 14) and the right side (blue in Fig. 14) of \(p_{0,s}\), respectively. Our validations, rigorous integrations of (7.3) in forward time direction, show that all sample points on \(\ell _r\) converge to \(p_{\infty }^+\) as \(\tau \rightarrow \infty \), which correspond to a family of sink-type blow-up solutions. Their validated blow-up times as well as the blow-up time of the solution through \(p_{0,s}\) are shown in Fig. 15 with their rigorous error bounds. Looking at Fig. 15, the corresponding blow-up times increase as sectional points on \(\ell _r\) become close to \(W^s_{\textrm{loc}}(p_{\infty , s})\). On the other hand, all points on \(\ell _l\) converge to the sink equilibrium \(p_b^-\) (Fig. 10). Because the preimage of \(p_b^-\) under the compactification is bounded, the corresponding solution in the original timescale exists for all \(t \ge 0\). This fact is easily confirmed by showing that \(t_{\max }(p) = \infty \) for \(p\in \ell _l\). These observations show that \(t_{\max }\) is discontinuous as a function of points on \(\ell \) at \(p_{0,s}\) from \(\ell _l\).
Next we discuss the continuity of \(t_{\max }\) at \(p_{0,s}\) on \(\{p_{0,s}\}\cup \ell _r\). Our validations show that
which is much higher than \(t_{\max } = t_{\max }(p)\) through \(p\in \ell _r\), according to Fig. 15. However, \(t_{\max } = t_{\max }(p)\) drastically increases as \(p\in \ell _r\) approaches to \(p_{0,s}\). At the point \(p\in \) with \(|p_{0,s} - p| = 1.0\times 10^{-13}\), validation of blow-up solutions did not succeed. As long as we have validated, we cannot conclude the discontinuity of \(t_{\max }\) at \(p_{0,s}\) in both sides. Nevertheless, we can still conclude that \(t_{\max }\) behaves in a singular manner around \(p_{0,s}\) where the trajectory approaches to different invariant sets as \(\tau \rightarrow \infty \).
Remark 7.5
Rigorous enclosures of \(t_{\max }\) on \(W^s(p_{\infty }^+)\), namely sink-type blow-up solutions, are validated by local Lyapunov functions and rigorous integrations of (7.3), which are exactly machineries applied in Matsue and Takayasu (2020a), and hence, the detailed validation methodology is omitted. The difference of orders of (the worst) rigorous error bounds of \(t_{\max }\) on and off \(W^s(p_{\infty , s})\) shown in Fig. 15 comes from that of the methodology for validating rigorous bounds of \(t_{\max }\). Nevertheless, there is no significant influence on the qualitative tendency of \(t_{\max }\) in the present study.
Remark 7.6
(Different choice of \(\ell \) can provide different distributions of \(t_{\max }\)) If we choose a line segment \(\ell \) across \(W^s_{\textrm{loc}}(p_0)\) instead of \(W^s_{\textrm{loc}}(p_{\infty , s}^+)\), then \(t_{\max }\) at the unique intersection point \(W^s_{\textrm{loc}}(p_0)\cap \ell \) is \(+\infty \), which provide the different distribution of \(t_{\max }\) from Fig. 15.
Remark 7.7
(Behavior of \(t_{\max }\): a numerical experiment) We have numerically calculated the behavior of \(t_{\max }\) as a function of distance to the stable manifold in Fig. 15b. Let x be the distance of a point p from \(p_{0,s}\) in \(\ell _r\) and \(t_{\max }(x)\) be the corresponding blow-up time. As far as we have calculated, we could not match \(t_{\max }(x)\) by functions of the form \(x^a\), \(e^{ax}\), \(c(\ln x)^a\) and \(Cx^a (\ln x)^b\) for constants a, b, c. It is needless to say that this asymptotic form can be different for smaller x and a different choice of \(\ell \).
7.2.3 Short Summary of Our Observations
Our observations here are summarized as follows.
-
Blow-up characterizations such as the asymptotic behavior and blow-up times do not always depend continuously on initial points in the presence of saddle-type blow-up solutions.
-
The blow-up time \(t_{\max }\) varies in a singular manner near the chain of connecting orbits involving saddle-type blow-ups, like \(C_{\textrm{sep}}\).
Note that these features cannot be unraveled only from local information around invariant objects, because local invariant manifolds themselves do not determine the asymptotic behavior of solutions through all points around the manifolds. In other words, global information of solutions are necessary to investigate this issue. It should be also noted that the above nature is observed not only by the presence of invariant sets like \(C_{\textrm{sep}}\), but also by the presence of another invariant sets like \(p_{\infty }^+\) and \(p_b^-\), at least one of which is included in the horizon \(\mathcal {E}\). This consequence strongly supports the importance of investigations of global dynamical structure to unravel the significantly different asymptotic behavior of solutions for the original vector field. Computer-assisted proofs provide a systematic and mathematical rigorous way to investigate such global information of solutions. Moreover, the presence of saddle-type blow-up solutions provides an easy prediction of the existence of the above nature.
8 Concluding Remarks
In this paper, we have shown several characteristics of blow-up solutions for autonomous ODEs which are unstable under perturbations of initial points, referred to as saddle-type blow-up solutions, with the computer-assisted proofs of their existence and analytic characterization of blow-up times. Combining compactifications, timescale desingularizations of vector fields, parameterization of invariant manifolds and their extensions via ODE integrations with computer-assisted proofs, blow-up solutions and their extensions are validated systematically, no matter how stable equilibria on the horizon characterizing these blow-up solutions are. It should be noted that, as seen in all examples, our methodology does not require a priori information about the existence of blow-up solutions. This is a big advantage so that the present methodology can be applied to various dynamical systems and blow-up problems under mild assumptions.
Characteristics we have unraveled in the present paper are just examples of intrinsic natures which saddle-type blow-up solutions induce. But it is not an easy task to predict the presence of such features theoretically, because these are observed as the composite of multiple structures. For example, distribution of \(t_{\max }\) can be investigated by the combination of an analytic expression of \(t_{\max }\) and explicit distribution of local stable manifolds of equilibria on the horizon for desingularized vector fields. As for the separatrix nature among global-in-time solutions and blow-up solutions, it cannot be characterized without concrete distribution of global-in-time solutions, sink-type and saddle-type blow-up solutions. Computer-assisted proofs, on the other hand, connect features of explicitly validated objects to extract global nature as the composite of local characteristics, like the above features. These computation techniques efficiently work to gain insights into blow-up solutions.
We end this paper by leaving comments about topics involving saddle-type blow-up solutions, which can relate to the present study toward further insights into global nature of blow-up solutions, dynamics at infinity and general finite-time singularities.
8.1 Remarks on Saddle-Type Blow-Up Solutions in Science and Engineering
Saddle-type blow-up solutions can arise in scientific and engineering studies. We review several preceding studies to assert the importance of saddle-type blow-up solutions and believe that our present methodology will contribute to unravel the dynamical nature of finite-time singularities involving saddle-type blow-up solutions in the following kinds of problems.
8.1.1 Singular Shock Waves
In the Riemann problem of the systems of conservation laws
for some smooth \(f: \mathbb {R}^n\rightarrow \mathbb {R}^n\), namely the initial value problem of (8.1) with
shock waves are characterized by locally integrable (weak) solutions with discontinuities with the constraints called jump conditions or the Rankine–Hugoniot conditions. With the assumption of viscous shock criterion, the Riemann problem is reduced to find connecting orbits of the traveling wave ODE associated with (8.1) connecting \(U_L\) and \(U_R\). In the 1980s and 1990s, shock waves with a singular nature on the front were observed for a simple system of conservation laws, which are referred to as delta shocks or singular shocks. Roughly speaking, singular shocks are characterized by shocks with Dirac’s delta singularity on the shock front (see, e.g., Keyfitz et al. 2003; Kranzer and Keyfitz 1990; Sever 2007 for precise discussions of delta shocks and singular shocks). A typical feature of singular shocks with the presence of the delta-like singularity is that several constraints in jump conditions are violated,Footnote 18 which is referred to as the presence of the Rankine–Hugoniot deficit of a shock measuring the magnitude of singularity on the shock front. From the viewpoint of dynamical systems, there is a characterization of singular shocks (e.g., Schaeffer et al. 1993), showing that singular shocks can consist of a collection of blow-up solutions and “invariant sets at infinity”. In several concrete problems such as the Keyfitz–Kranzer model (Kranzer and Keyfitz 1990) and the two-phase model (Keyfitz et al. 2003), the geometric singular perturbation theory plays a key role in characterizing singular shocks as a singular perturbation of blow-up connections for the traveling wave problems associated with the original conservation laws with the regularization keeping the self-similarity of waves (well known as Dafermos regularization). Preceding studies with blowing up (desingularization) of singularities and the geometric singular perturbation theory indicate that singular shocks are characterized by trajectories approaching to normally hyperbolic invariant manifolds, corresponding to the infinity for appropriately transformed dynamical systems (Hsu 2016; Schecter 2004).Footnote 19 We believe that saddle-type blow-up solutions can play key roles in characterizing such singular nature both qualitatively and quantitatively (e.g., Rankine–Hugoniot deficits).
8.1.2 Suspension Bridge
The equation of the following form is well studied as a model expressing scientific and engineering phenomena:
where \(k\in \mathbb {R}\) is a parameter and f is a locally Lipschitzian. This equation arises in the dynamical phase space analogy of a nonlinearly supported elastic structure (Hunt et al. 1989) and a model characterizing pattern formations in physical, chemical and biological systems (Bonheure and Sanchez 2006). See also, e.g., Peletier and Troy (2012). In Berchio et al. (2011), a possible finite-time blow-up for the solution of (8.2) is discussed with a mild assumption
A fundamental result involving blow-up is that the existence of a blow-up solution w(t) for (8.2) as \(t\rightarrow t_{\max } < \infty \) implies that
namely a blow-up with oscillation. Moreover, the existence of the above oscillatory blow-up for (8.2) with a specific nonlinearity f is proved. There are several reports about the relationship between the system (8.2) to traveling waves for the model equation of a suspension bridge
proposed by Lazer–McKenna (Lazer and McKenna 1990). According to many preceding works and historical sources, one of the most interesting behaviors for suspension bridges (including the Tacoma Narrow Bridge where was collapsed in November 1940) is the following:
Large vertical oscillations can rapidly change, almost instantaneously, to a torsional oscillation (quotation from Gazzola and Pavani 2011).
Preceding works involving this catastrophic phenomenon discuss the mechanism of torsional oscillations in detail,Footnote 20 one of which is considered to be the oscillatory blow-up behavior mentioned above. It should be noted that there is another direction to the origin of such torsional oscillations. In Arioli and Gazzola (2015), it is explained that internal resonances can trigger the torsional instability.
Later successive works (e.g., Gazzola and Pavani 2013) have reported the qualitative nature of the above blow-up such as infinitely many change of signs before blow-up, vanishing intervals of oscillations via several quantitative estimates. In order to obtain the nature, several growth conditions of f (but generalized under these conditions unlike Gazzola and Pavani 2011), restrictions to k and an inequality for derivatives of solution w at an initial time are assumed. It should be noted that norms of initial points are not essential to characterize the above behavior. See Gazzola and Pavani (2013) for details. Recently, the first author and collaborators (D’Ambrosio et al. 2015) have characterized the above blow-up nature for particular nonlinearity f in (8.2) by constructing a concrete asymptotic form of blow-up profiles and validating a periodic solution with computer-assisted proofs. In D’Ambrosio et al. (2015), it is also validated that the periodic solution for an auxiliary equation is unstable, which indicates that the corresponding blow-up solution is unstable under perturbations of initial points. It is thus expected that the blow-up nature which is unstable under perturbations of initial points plays a key role in describing rich and interesting, sometimes catastrophic, scientific and engineering nature.
Remark 8.1
In Matsue (2018), it is proved that blow-up behavior with wide oscillations like (8.3) can be characterized by periodic orbits at infinity, which is referred to as a periodic blow-up. More precisely, global trajectories on the stable manifold of a hyperbolic periodic orbit on the horizon for the desingularized vector field correspond to blow-up solutions with oscillations whose asymptotic behavior, such as the blow-up rate and the oscillatory nature, are uniquely determined by the order of the original vector field and the periodic orbit on the horizon. The fundamental machinery for this characterization is the same as that shown in Sect. 2. Arguments in the present paper will also contribute to reveal universal mechanisms of this kind of blow-up solutions which are saddle-type both quantitatively and qualitatively, and their validations.
8.1.3 More Comments
We leave several comments about the link to blow-up behavior arising in the suspension bridge problem. As noted, it is proved in D’Ambrosio et al. (2015) with the computer assistance that there is an unstable hyperbolic periodic orbit \(\Gamma = \{w(t)\}\) expressing an asymptotic behavior of blow-up behavior for (8.2) with specific k and f. It is then conjectured in D’Ambrosio et al. (2015) that, for the appropriately transformed dynamics from the problem of the form (8.2), the boundary of the basin of attraction of the origin coincides with \(W^s(\Gamma )\). A consequence of the conjecture is the existence of a three-dimensional manifold which “separates” the phase space and for which solutions with initial points taken on one side of the manifold blow-up in finite time while on the other side, solutions converge to the origin. In the present paper, we have focused on unstable, in particular saddle-type, blow-up solutions which can extract the above nature. We have revealed here that saddle-type blow-up solutions, even with the simpler asymptotic behavior than (D’Ambrosio et al. 2015), can separate the phase space so that initial points on one side determine global-in-time solutions, while those on the other side induce blow-up solutions. We have mainly investigated asymptotic behavior of solutions near a chain of connecting orbits for desingularized vector fields including saddles on the horizon, like \(C_{\textrm{sep}}\) given in (7.5) for (7.3), and shown that \(C_{\textrm{sep}}\) triggers the above significantly different asymptotic behavior among solutions. In particular, \(C_{\textrm{sep}}\) have played a role as a separatrix among solutions for the original vector field. We believe that such invariant objects can characterize the “boundary” of the basin of attraction mentioned in D’Ambrosio et al. (2015).
Note that the above object is characterized only for stationary blow-up (Theorems 2.4, 2.8 and 2.12) so far. On the other hand, a computer-assisted proof of the existence of (un)stable manifolds of hyperbolic periodic orbits is already established in, e.g., (Castelli et al. 2018), and the treatment of blow-up solutions involving periodic orbits at infinity is also established in Matsue (2018, 2019). In other words, the same machinery as shown in Sect. 2 can be applied. Going back to the suspension bridge problem, combination of preceding works with the arguments in the present paper can contribute to unravel the nature of blow-up behavior in (8.2) only with a few mild assumptions.
Notes
The above ideas themselves are applied to describe dynamics around bounded invariant sets in several preceding works (e.g., Dumortier and Herssens 1999).
Although \(T_d\) is not a compactification in the topological sense, we shall use this terminology for \(T_d\) from its geometric interpretation shown below.
The existence of B immediately follows by cyclic permutations and the fact that \(\alpha _n > 0\).
The simplest choice of the natural number c is the least common multiple of \(\alpha _1,\ldots , \alpha _n\). Once we choose such c, we can determine the n-tuples of natural numbers \(\beta _1,\ldots , \beta _n\) uniquely. The choice of natural numbers in (2.8) is essential to desingularize vector fields at infinity, as shown below.
Hyperbolicity ensures not only blow-up behavior of solutions but their asymptotic behavior with the specific form. Several case studies of blow-up solutions beyond hyperbolicity are shown in Matsue (2019).
This assumption is not essential but just for simplifications to show advantages and disadvantages of each compactification.
In many references, this compactification is called the Poincaré compactification. The quasi-homogeneous counterpart is introduced in Matsue (2018) where the corresponding mapping \(T = T_{qP}\) is called the quasi-Poincaré compactification.
Potentially the similar characterization of blow-up solutions can be achieved with general invariant sets on the horizon. But we pay attention only to equilibria on the horizon in the present study.
In topological arguments such as local Lyapunov functions and covering relations, topological information of both stable and unstable directions around equilibria are necessary to validate locally defined invariant manifolds, which cause a big difference of treatments between stable and unstable invariant sets.
Needless to say, the proposing methodology can be also applied to sink-type blow-up solutions.
Analyticity of \(P^{-1}\) follows from that of P by assumption, linear isomorphism property of DP and the inverse function theorem for analytic functions. See, e.g., Dieudonné (1960) for the latter argument.
To make the correspondence precisely, the extended fast–slow system setting is required. Detail is shown in Keyfitz et al. (2003).
In the present demonstration, radicals in the Poincaré-type compactification do not prevent us from \(C^1\) studies of dynamical systems. In particular, the linear stability analysis of equilibria on the horizon makes sense. Indeed, the lower-order terms in (6.1) are chosen so that our methodology properly works, following discussions in Matsue (2018).
Hyperbolicity of equilibria is used for the proof, implying that the dynamical property of equilibria, and potentially general invariant sets, plays a key role in determining the distribution of \(t_{\max }\) around 0.
Numerically observed phase portrait in Fig. 10 implies the existence of chains of connecting orbits providing a finer decomposition of the phase space. But we omit such a precise decomposition because the process is basically identical and the essential consequence is similar.
In n-dimensional systems of conservation laws, jump conditions are characterized by n (non)linear equations.
It is also indicated that the Rankine–Hugoniot deficit is measured by trajectories at infinity connecting blow-up solutions (Keyfitz et al. 2003). When the Rankine–Hugoniot deficit is absent, the corresponding shock wave is characterized in the ordinary sense.
In Gazzola and Pavani (2013), there are several additional comments about the case of London’s Millennium Bridge (April 2007) and the Assago metro Bridge in Milan (February 2011). See the reference papers therein for details about these engineering topics.
References
Anada, K., Ishiwata, T., Ushijima, T.: numerical method of estimating blow-up rates for nonlinear evolution equations by using rescaling algorithm. Jpn. J. Ind. Appl. Math. 1–15 (2017)
Arioli, G., Gazzola, F.: A new mathematical explanation of what triggered the catastrophic torsional mode of the Tacoma Narrows Bridge. Appl. Math. Model. 39(2), 901–912 (2015)
Barker, B., Mireles-James, J.D., Morgan, J.: Parameterization method for unstable manifolds of standing waves on the line. SIAM J. Appl. Dyn. Syst. 19(3), 1758–1797 (2020)
Berchio, E., Ferrero, A., Gazzola, F., Karageorgis, P.: Qualitative behavior of global solutions to some nonlinear fourth order differential equations. J. Differ. Equ. 251(10), 2696–2727 (2011)
Berger, M., Kohn, R.V.: A rescaling algorithm for the numerical calculation of blowing-up solutions. Commun. Pure Appl. Math. 41(6), 841–863 (1988)
Berz, M., Makino, K.: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliab. Comput. 4(4), 361–369 (1998)
Bonheure, D., Sanchez, L.: Heteroclinic orbits for some classes of second and fourth order differential equations. In: Handbook of Differential Equations: Ordinary Differential Equations, vol. 3, pp. 103–202. Elsevier, Amsterdam (2006)
Breden, M., Lessard, J.-P., Mireles-James, J.D.: Computation of maximal local (un) stable manifold patches by the parameterization method. Indag. Math. 27(1), 340–367 (2016)
Bünger, F.: A Taylor model toolbox for solving ODEs implemented in MATLAB/INTLAB. J. Comput. Appl. Math. 368, 112511 (2020)
Cabré, X., Fontich, E., de la Llave, R.: The parameterization method for invariant manifolds. I. Manifolds associated to non-resonant subspaces. Indiana Univ. Math. J. 52(2), 283–328 (2003a)
Cabré, X., Fontich, E., de la Llave, R.: The parameterization method for invariant manifolds. II. Regularity with respect to parameters. Indiana Univ. Math. J. 52(2), 329–360 (2003b)
Cabré, X., Fontich, E., de la Llave, R.: The parameterization method for invariant manifolds. III. Overview and applications. J. Differ. Equ. 218(2), 444–515 (2005)
Castelli, R., Lessard, J.-P., Mireles-James, J.D.: Parameterization of invariant manifolds for periodic orbits (II): a posteriori analysis and computer assisted error bounds. J. Dyn. Differ. Equ. 30(4), 1525–1581 (2018)
Cho, C.-H.: Numerical detection of blow-up: a new sufficient condition for blow-up. Jpn. J. Ind. Appl. Math. 33(1), 81–98 (2016)
Cho, C.-H., Hamada, S., Okamoto, H.: On the finite difference approximation for a parabolic blow-up problem. Jpn. J. Ind. Appl. Math. 24(2), 131–160 (2007)
D’Ambrosio, L., Lessard, J.-P., Pugliese, A.: Blow-up profile for solutions of a fourth order nonlinear equation. Nonlinear Anal. Theory Methods Appl. 121, 280–335 (2015)
Dieudonné, J.: Foundations of Modern Analysis. Academic Press, New York (1960)
Dold, J.W.: Analysis of the early stage of thermal runaway. Q. J. Mech. Appl. Math. 38(3), 361–387 (1985)
Dumortier, F.: Techniques in the theory of local bifurcations: blow-up, normal forms, nilpotent bifurcations, singular perturbations. In: Bifurcations and Periodic Orbits of Vector Fields, pp. 19–73. Springer, Berlin (1993)
Dumortier, F.: Compactification and desingularization of spaces of polynomial liénard equations. J. Differ. Equ. 224(2), 296–313 (2006)
Dumortier, F., Herssens, C.: Polynomial Liénard equations near infinity. J. Differ. Equ. 153(1), 1–29 (1999)
Dumortier, F., Llibre, J., Artés, J.C.: Qualitative Theory of Planar Differential Systems. Springer, Berlin (2006)
Elias, U., Gingold, H.: Critical points at infinity and blow up of solutions of autonomous polynomial differential systems via compactification. J. Math. Anal. Appl. 318(1), 305–322 (2006)
Fila, M., Matano, H.: Blow-up in nonlinear heat equations from the dynamical systems point of view. Handb. Dyn. Syst. 2, 723–758 (2002)
Fujita, H.: On the nonlinear equations \({\Delta } u + e^u = 0\) and \(\partial v / \partial t = {\Delta } v + e^v\). Bull. Am. Math. Soc. 75(1), 132–135 (1969)
Galaktionov, V.A., Vázquez, J.-L.: The problem of blow-up in nonlinear parabolic equations. Discret. Continuous Dyn. Syst. A 8(2), 399 (2002)
Gazzola, F., Pavani, R.: Blow up oscillating solutions to some nonlinear fourth order differential equations. Nonlinear Anal. Theory Methods Appl. 74(17), 6696–6711 (2011)
Gazzola, F., Pavani, R.: Wide oscillation finite time blow up for solutions to nonlinear fourth order differential equations. Arch. Ration. Mech. Anal. 207(2), 717–752 (2013)
Gingold, H.: Approximation of unbounded functions via compactification. J. Approx. Theory 131(2), 284–305 (2004)
Giraldo, A., Krauskopf, B., Osinga, H.M.: Computing connecting orbits to infinity associated with a homoclinic flip bifurcation. J. Comput. Dyn. 7(2), 489–510 (2020)
Gómez-Serrano, J.: Computer-assisted proofs in PDE: a survey. SeMA J. 1–26 (2018)
Gonzalez, J.L., Mireles-James, J.D.: High-order parameterization of stable/unstable manifolds for long periodic orbits of maps. SIAM J. Appl. Dyn. Syst. 16(3), 1748–1795 (2017)
Harada, J.: Blowup profile for a complex valued semilinear heat equation. J. Funct. Anal. 270(11), 4213–4255 (2016)
Harada, J.: Nonsimultaneous blowup for a complex valued semilinear heat equation. J. Differ. Equ. 263(8), 4503–4516 (2017)
Hell, J.: Conley index at infinity. Ph.D. Thesis in Freie Universität Berlin (2010)
Herrero, M.A., Velázquez, J.J.L.: A blow-up mechanism for a chemotaxis model. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze 24(4), 633–683 (1997)
Hsu, T.-H.: Viscous singular shock profiles for a system of conservation laws modeling two-phase flow. J. Differ. Equ. 261(4), 2300–2333 (2016)
Hunt, G.W., Bolt, H.M., Thompson, J.M.T.: Structural localization phenomena and the dynamical phase-space analogy. Proc. R. Soc. Lond. A Math. Phys. Sci. 425(1869), 245–267 (1989)
Immler, F.: A verified ODE solver and the Lorenz attractor. J. Autom. Reason. 61(1), 73–111 (2018)
Kashiwagi, M.: kv - C++ Numerical Verification Libraries. http://verifiedby.me/kv/
Kashiwagi, M., Oishi, S.: Numerical validation for ordinary differential equations—iterative method by power series arithmetic. In: Proc. 1994 Symposium on Nonlinear Theorem and its Applications (NOLTA’94 Symposium, 1994.10.7), pp. 243–246 (1994)
Keyfitz, B.L., Sanders, R., Sever, M.: Lack of hyperbolicity in the two-fluid model for two-phase incompressible flow. Discret. Contin. Dyn. Syst. Ser. B 3(4), 541–564 (2003)
Koch, H., Schenkel, A., Wittwer, P.: Computer-assisted proofs in analysis and programming in logic: a case study. SIAM Rev. 38(4), 565–604 (1996)
Kokubu, H., Roussarie, R.: Existence of a singularly degenerate heteroclinic cycle in the Lorenz system and its dynamical consequences: part I. J. Dyn. Differ. Equ. 16(2), 513–557 (2004)
Kranzer, H.C., Keyfitz, B.L.: A strictly hyperbolic system of conservation laws admitting singular shocks. In: Nonlinear Evolution Equations that Change Type, pp. 107–125. Springer, Berlin (1990)
Lanford, O.E., III.: A computer-assisted proof of the Feigenbaum conjectures. Bull. Am. Math. Soc. (N.S.) 6(3), 427–434 (1982)
Lazer, A.C., McKenna, P.J.: Large-amplitude periodic oscillations in suspension bridges: some new connections with nonlinear analysis. SIAM Rev. 32(4), 537–578 (1990)
Lessard, J.-P., Reinhardt, C.: Rigorous numerics for nonlinear differential equations using Chebyshev series. SIAM J. Numer. Anal. 52(1), 1–22 (2014)
Lessard, J.-P., Matsue, K., Takayasu, A.: Codes of “saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature. https://github.com/taklab-org/GC-ubs-CAP (2021)
Lohner, R.J.: Enclosing the solutions of ordinary initial and boundary value problems. In: Kaucher, E., Kulisch, U., Ullrich, Ch. (eds.) Computer Arithmetic, Scientific Computation and Programming Languages, pp. 255–286. B.G. Teubner (1987)
Matsue, K.: On blow-up solutions of differential equations with Poincaré-type compactifications. SIAM J. Appl. Dyn. Syst. 17(3), 2249–2288 (2018)
Matsue, K.: Geometric treatments and a common mechanism in finite-time singularities for autonomous ODEs. J. Differ. Equ. 267(12), 7313–7368 (2019)
Matsue, K., Takayasu, A.: Numerical validation of blow-up solutions with quasi-homogeneous compactifications. Numer. Math. 145, 605–654 (2020a)
Matsue, K., Takayasu, A.: Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity. J. Comput. Appl. Math. 374, 112607 (2020b)
Mireles-James, J.D.: Validated numerics for equilibria of analytic vector fields: invariant manifolds and connecting orbits. In: Rigorous numerics in dynamics, Proc. Sympos. Appl. Math., vol. 74, pp. 27–80. Amer. Math. Soc., Providence (2018)
Mizoguchi, N.: Type II blowup in a doubly parabolic Keller-Segel system in two dimensions. J. Funct. Anal. 271(11), 3323–3347 (2016)
Nakao, M.T.: Numerical verification methods for solutions of ordinary and partial differential equations. Numer. Funct. Anal. Optim. 22(3–4), 321–356 (2001)
Nakao, M.T., Plum, M., Watanabe, Y.: Numerical verification methods and computer-assisted proofs for partial differential equations. In: Springer Series in Computational Mathematics, vol. 53. Springer, Singapore (2019)
Nouaili, N., Zaag, H.: Profile for a simultaneously blowing up solution to a complex valued semilinear heat equation. Commun. Partial Differ. Equ. 40(7), 1197–1217 (2015)
Peletier, L.A., Troy, W.C.: Spatial Patterns: Higher Order Models in Physics and Mechanics, vol. 45. Springer, Berlin (2012)
Rump, S.M., Kashiwagi, M.: Implementation and improvements of affine arithmetic. Nonlinear Theory Appl. IEICE 6(3), 341–359 (2015)
Schaeffer, D.G., Schecter, S., Shearer, M.: Nonstrictly hyperbolic conservation laws with a parabolic line. J. Differ. Equ. 103(1), 94–126 (1993)
Schecter, S.: Existence of Dafermos profiles for singular shocks. J. Differ. Equ. 205(1), 185–210 (2004)
Sever, M.: Distribution Solutions of Nonlinear Systems of Conservation Laws. American Mathematical Soc, Providence (2007)
Takayasu, A., Matsue, K., Sasaki, T., Tanaka, K., Mizuguchi, M., Oishi, S.: Numerical validation of blow-up solutions for ordinary differential equations. J. Comput. Appl. Math. 314, 10–29 (2017)
Tucker, W.: A rigorous ode solver and Smale’s 14th problem. Found. Comput. Math. 2(1), 53–117 (2002)
Tucker, W.: Validated Numerics: A Short Introduction to Rigorous Computations. Princeton University Press, Princeton (2011)
van den Berg, J.B., Lessard, J.-P.: Rigorous numerics in dynamics. Not. AMS 62(9), 1057–1061 (2015)
van den Berg, J.B., Mireles-James, J.D., Lessard, J.-P., Mischaikow, K.: Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray–Scott equation. SIAM J. Math. Anal. 43(4), 1557–1594 (2011)
Winkler, M.: Finite-time blow-up in the higher-dimensional parabolic-parabolic Keller–Segel system. J.de Mathématiques Pures et Appliquées 100(5), 748–767 (2013)
Zgliczynski, P.: \(C^1\) Lohner Algorithm. Found. Comput. Math. 2(4), 429–465 (2002)
Zgliczyński, P.: Covering relations, cone conditions and the stable manifold theorem. J. Differ. Equ. 246(5), 1774–1819 (2009)
Zhou, G., Saito, N.: Finite volume methods for a Keller–Segel system: discrete energy, error estimates and numerical blow-up analysis. Numer. Math. 135(1), 265–311 (2017)
Acknowledgements
JPL was supported by an NSERC Discovery Grant. KM was partially supported by Program for Promoting the reform of national universities (Kyushu University), Ministry of Education, Culture, Sports, Science and Technology (MEXT), Japan, World Premier International Research Center Initiative (WPI), MEXT, Japan, JSPS Grant-in-Aid for Young Scientists (B) (No. JP17K14235) and JSPS KAKENHI Grant Number JP21H01001, and Enecycle Inc., Japan. AT was partially supported by JSPS KAKENHI Grant Numbers JP18K13453, JP20H01820, JP21H01001.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Additional information
Communicated by Paul Newton.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Lessard, JP., Matsue, K. & Takayasu, A. Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature. J Nonlinear Sci 33, 46 (2023). https://doi.org/10.1007/s00332-023-09900-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00332-023-09900-6
Keywords
- Saddle-type blow-up solutions
- Rigorous numerics
- Compactifications
- Desingularization
- Parameterization method
- Separatrix