Mechanisms of unstable blowup in a quadratic nonlinear Schrödinger equation
Abstract
In the work Cho et al. [Jpn. J. Ind. Appl. Math. 33 (2016): 145-166] the authors conjecture that the quadratic nonlinear Schrödinger equation (NLS) for is globally well-posed for real initial data. While this may be true in a generic sense, we present evidence that this conjecture is false. Moreover we conjecture that the set of real initial data which blows up under the NLS dynamics is the stable manifold of the zero equilibrium for the nonlinear heat equation .
1 Introduction
Determining whether solutions to a differential equation can blow up in finite time is important for understanding the scope of validity for a given model. The blowup of solutions can be easy to detect through direct numerical simulation if it occurs for a large open set of initial data, but detection may be difficult if the blowup set is unstable and has finite co-dimension. Indeed, unstable objects are by definition sensitive to perturbation, and numerically simulating a blowup solution to a PDE causes both the temporal and spatial resolution to diverge as the blowup time is approached. Whether blowup occurs is an open question for important PDEs such as the Navier-Stokes equations [Fef00], and the development of techniques to find elusive blowup solutions is an active area of research [Pro22, WLGSB23, Hou23].
A classical PDE for studying blowup is given by the quadratic nonlinear heat equation:
(1) |
On a periodic domain, if the average of the initial data is positive, , then the solution blows up. However, blowup becomes less generic when (1) is considered as a complex PDE as has been studied in models of vortex stretching [CLM85, GNSY13, HL08]. For a simpler example, consider the complex ODE and its solutions:
for initial condition . While the solution will blow up in forward (backwards) time if is a positive (negative) real number, conversely if then it is globally well-posed.
To robustly analyze blowup solutions, one can make a self-similar ansatz for scaling the magnitude and spatial dependence of a solution as it approach blowup time [EF08, QS19]. This self-similar change of variables renormalizes the blowup problem into one of studying the self-similar dynamics of a new PDE produced by the change of variables. In the simplest case, a blowup profile can be equated with an equilibrium to a new PDE. However the self-similar dynamics need not be simple, and may in fact be periodic, or even chaotic [EF08, CM18].
An alternate methodology for understanding blowup was developed in Masuda’s work [Mas83, Mas84], where he considers continuing the solution in the complex plane of time around the blowup point, and shows for close to constant initial data there is a branching singularity. In this work, solving equation (1) in complex time is equivalent to solving the family of quadratic evolution equations:
(2) |
for and for . Here corresponds to the original nonlinear heat equation, is complex Ginzberg-Landau like, and is a nonlinear Schrödinger equation (NLS).
This approach was investigated numerically by [COS16], showing that large, not close-to-constant initial data also has a branching singularity. Furthermore, they observed that numerical solutions generically converge to zero, and posed the following conjecture:
Conjecture 1.1 ([COS16]).
The nonlinear Schrödinger equation:
(3) |
is globally well-posed for any real initial data, small or large.
Beyond convergence to zero, this nonlinear Schrödinger equation exhibits rich dynamical structure, possessing nontrivial equilibria, homoclinic orbits, heteroclinic orbits, and periodic orbits [JLT22a, FMS23, Jaq22, JLT22b]. Recently Fiedler and Stuke [FS24] studied (3) within the context of the 1-parameter family of PDEs:
(4) |
In short, this work demonstrates that real eternal solutions are not complex entire. They prove there exists real initial data to (4) which for the heat equation is a heteroclinic orbit existing globally in time, however for the NLS ) it blows up in finite time. However, this analysis requires and does not resolve Conjecture 1.1.
In this paper we present evidence which suggests that Conjecture 1.1 is false. Furthermore we present an alternative in Conjecture 1.2, that blowup from real initial data occurs on a codimension-1 manifold.
Conjecture 1.2.
It is a well-known fact that if is the stable manifold of an ODE , then is also the unstable manifold of . While the trajectories may differ, the stable manifold of (1) remains invariant under the dynamics of (2) for all . If it will remain a stable manifold. But for then becomes a submanifold of the center manifold of (3), and exhibits secular growth of solutions. In Section 3 we give a heuristic characterization of the real initial data which blows up versus globally well-posed.
In Section 4 we use self-similar variables to analyze the numerical blowup of real initial data, and compare it to the known case of blowup for monochromatic initial data [Jaq22]. While the two blowup profiles appear similar, they appear to obey different scaling rates. All source code is available at [Jaq24].
2 Evidence of blowup from real initial data
Numerical evidence has been suggestive that Conjecture 1.1 may be true in a generic sense, i.e. for “almost all” real initial data. Indeed, for real initial data which is close-to-constant (and arbitrarily large!), it has been shown that the solution will limit to zero in both forward and backwards time:
Theorem 2.1 (Theorem 1.3 [JLT22a]).
Fix a complex scalar and a function on a periodic torus having summable Fourier coefficients, that is for . Let be the solution of (3) with initial data , and suppose:
If then . If then .
To prove Conjecture 1.1 one could hope to show that all real initial data limits to zero, however this is not necessary for proving global well-posedness. For example, solutions could limit to a nontrivial equilibrium or a periodic orbit. In [JLT22a] it is shown via computer assisted proofs that there exist at least two distinct families of equilibria to (3), with heteroclinic orbits linking the trivial and nontrivial equilibria. In [FS24] it is shown that the complex equilibria to (1) are given by the Weierstrass elliptic functions, and in [Jaq22] it is shown that small initial data supported on positive Fourier modes will yield periodic orbits of locked frequency.
In light of Theorem 2.1, to look for possible counter examples to Conjecture 1.1 one must consider initial data which is close to zero average. To that end, consider the 1-parameter family of real initial data:
(5) |
Note that due to the even nonlinearity and even initial data, the Fourier series of the solution can be expressed as a cosine series with complex, time-varying coefficients:
(6) |
By Theorem 2.1 if , then the solution is guaranteed to exist for all and converge to zero in both forward and backwards time. In Figure 1 is depicted the solution of the NLS (3) over the time interval , taking initial data in (5) with integers . This computation was performed using 256 Fourier modes and a time step of with an exponential integrator [DHT14].
Almost all initial data converges to zero, however close to the solutions take a long time to decay. For each solution which does decay to zero, Theorem 2.1 enables us to identify when it enters a so called “trap** region” where it is guaranteed to converge to zero. This is denoted in Figure 1 by the dashed gray line. While a neighborhood of initial data with about does decay, it seems to take asymptotically long to enter the trap** region. This provides us with a more robust measure of identifying solutions which do not converge to the zero equilibrium. Moreover, there appears to be a codimension-1 manifold for which initial data to the NLS does not converge to zero.
Informed by Conjecture 1.2 we selected in (5), and the solution of this initial value problem under the dynamics of the NLS (3) is plotted in Figure 2. This computation used a 4096 Fourier mode truncation and a time step of . We selected using a bisection method so that would be on the stable manifold for the nonlinear heat equation (1). We also note that nearby values of (e.g. ) also appear to blowup under the dynamics of (3).
Overall, the trajectory appears to oscillate while steadily growing larger. As shown in Figure 2 (b), the norm of the solution maintains regular oscillations of fixed period yet steadily grows larger in amplitude. In Figure 2 (c), we display the relative composition of each Fourier modes to the norm. By Parseval’s identity , and we plot in Figure 2(c) the ratio of the mode:
(7) |
While the spacetime plot in Figure 2(a) appears quite complex, the relative energy of each spatial mode in Figure 2(c) paints a clearer picture. As the solution evolves in time, higher spatial frequencies are progressively excited with increasing temporal oscillations. Furthermore, these oscillations grow ever more complex and almost fractal-like.
3 Secular growth of solutions along a center manifold
3.1 Dynamics of the PDE’s Galerkin truncation
To investigate the initial growth phase of the solutions we consider finite Galerkin truncations of (3). Consider a function given as a -periodic cosine series as in (6), where for ease of analysis in this section we take . Then the -mode truncation of (2) yields the following dynamics on the Fourier modes:
(8) |
By the cosine ansatz we have , thereby this defines a complex ODE on . Furthermore the system has an equilibrium at whose linearization has eigenvalues for .
Define as the unique invariant manifold tangent to . Selecting different values of will induce different internal dynamics on , however will remain an invariant manifold for any choice of . For example, if the real component of is negative, then is a submanifold of the equilibrium’s stable set, and trajectories on will exponentially approach the zero equilibrium in forward time.
More generally if is an invariant complex manifold of any ODE , then will also be an invariant manifold of the system for scalars . The most well know usage of this fact is the case . That is, the stable manifold of an equilibrium in forward time is also the unstable manifold of the equilibrium in backwards time. While trajectories on remain invariant when , this is not the case when is complex.
For a simple illustration consider the dynamics of (8) in the case , where we obtain the system of complex ODEs:
(9) | ||||
The case is analogous to the nonlinear heat equation (1), see Figure 3(a). Real initial data is invariant, and if then there is finite time blowup. Furthermore the manifold divides solutions which blowup in finite time from those which converge algebraically to zero. Furthermore if then solutions on will exponentially decay.
In contrast, consider the case analogous to the NLS in (3), see Figure 3(b). In this case the eigenvalues are purely imaginary and the manifold is a submanifold of the center manifold. Furthermore is foliated by a Lyapunov family of periodic orbits [Hen73]. In Figure 2 we can similarly observe periodic behavior for short time scales (). However, like with Figure 2(c), we will see in the dynamics of (8) for larger values of that there is a secular drift of solutions along , whereby the lower modes progressively excite the higher modes.
3.2 Parameterizing the manifold
The existence of stable, unstable, and center manifolds associated to equilibria has been established for a wide variety of dynamical systems, such as ODEs, PDEs, and DDEs [SY02]. However even if such a manifold is unique, its representation via a coordinate chart is not unique, nor is there just one method available for computing an approximation for the manifold.
To analyze and compute the invariant manifold associated with (8) we shall use the parameterization method [CFdlL03a, CFdlL03b, CFDLL05], which has had great success analyzing the dynamics of PDEs [RJ19, JLT22a, JLT22b, GJT22, JH22, OVTF23]. This approach may be seen to be in contrast to the graph approach, where one fixes the representation of the invariant manifold as graph over the particular eigenspace and the internal dynamics need to be solved for. Instead, the parameterization method fixes the internal dynamics and solves for the coordinate chart as a map into the entire phase space.
To review the parameterization method we follow the presentation in [HCF+16]. Consider and the differential equation given by:
having an equilibrium . Let denote a matrix whose -columns are eigenvectors of the linearization , and let denote the -dimensional subspace spanned by the column vectors of . The goal is to look for a parameterization of the invariant manifold tangent to at . The internal dynamics on the manifold are described by a vector field on with , and the invariance equation is given by:
(10) |
Note that the complex phase cancels and disappears completely!
The parameterization method seeks to write and as power series in :
(11) |
where each (respectively ) is a homogeneous polynomial in of degree with coefficients in (respectively with coefficients in ), that is:
(12) |
To enforce the invariant manifold being tangent to the eigenspace we take and . The higher order terms in the power series may be obtained by matching the order- terms in (10), yielding the cohomological equations:
(13) |
where:
is the order- error term, depending only on coefficients whose order is strictly less that . Thus through (13) the coefficients may be solved recursively for orders , subject to the choice of coefficients .
The simplest dynamics one may conjugate to is linear dynamics wherein for . Then for each equation (13) reduces to the linear system:
This can be solved for so long as the matrix is invertible. This fails to occur when there is an internal resonance, which is to say when:
for and . This can only occur if the eigenvalues are rationally dependent.
Returning to the dynamics resulting from the Galerkin truncation in (8), recall that the zero equilibrium has eigenvalues for integers . Thus, resonances occur whenever we can write a square integer as a sum of other square integers:
for non-negative integers with . This happens abundantly often! For example or for any . While resonances are an obstruction to conjugating the internal dynamics of to a linear system, a parameterization may still be obtained for more nontrivial internal dynamics.
For an example, consider the Galerkin truncation of (8) given by:
(14) | ||||
Again, we define as the unique invariant manifold tangent to . The equilibrium’s nonzero eigenvalues are , and we obtain the resonances:
One can deal with resonances by adjusting the function , that one conjugates the dynamics to [vdBMJR16]. In our code [Jaq24] we calculate a parameterization such that the dynamics are conjugate to:
(15) | ||||
where . The specific coefficients for the higher order terms, such as and , are not able to be determined in advance and requires one to first solve the cohomological equation (13) for all of the lower order terms. While nonlinear, the internal dynamics of determined by (15) is integrable, and for initial data its solution is given by:
(16) | ||||
Note that if then whereby all of these solutions exponentially decay.
However if then , whereby the solutions in (16) are oscillatory with secular drift exciting the higher modes. Indeed, while stays bounded for all , the higher modes grow like and . Hence small initial data in the lowest modes requires a long time before the higher modes are excited to a comparable level.
Like with any power series, the parameterization of is only valid on the power series’ radius of convergence. (Based on our computation, the radius of convergence seems to be about .) While the explicit solutions given in (16) never blow up, it may be possible for a solution on to blowup after it leaves the local coordinate chart. To investigate this, we consider the following initial condition selected on the invariant manifold :
(17) |
When integrated under (3.2) with this trajectory undergoes a large growth in norm, see Figure 4. Like with Figure 2, one can see that there is a steady cascade pum** energy into the higher modes. This initial condition does not appear to completely blowup, as in the later stage of trajectory grows rapidly. However, such a non-blowup may also be seen to be consistent with the existence of an unstable blowup profile. Note also that as our computation of was with a finite Taylor series, our the initial condition was not exactly on the manifold . (For our 20th order Taylor approximation of , we estimate the error of the initial point to be on the order of .) While one could get a more precise initial point on the manifold by choosing a smaller initial condition , this would conversely increase the integration time and the associated errors.
4 Apparent self-similar blowup profiles
The finite Fourier truncation model offers a heuristic explanation for why initial data from the stable manifold of the heat equation (1) will grow larger, and exhibit a seemingly periodic forward cascade to the higher modes. However this analysis is localized at the zero equilibrium. While it is suggestive of how small initial data grows to become finitely large in norm, it does not explain how large initial data may grow without bound and blowup.
To focus on the dynamics of blowup we consider larger initial data. With consideration to Conjecture 1.2, we fix the following real initial data:
(18) |
see Figure 5. We used computational parameters of 4096 Fourier mode truncation and a time step of . For comparison we also consider monochromatic initial data:
(19) |
see Figure 6. As , the initial data in (19) is guaranteed to blowup as per [Jaq22].
Theorem 4.1 (Theorem 1.5[Jaq22]).
Consider (3) with initial data with , .
-
(a)
If , then is a smooth periodic solution with period .
-
(b)
If , then blows up in finite time .
As predicted by Conjecture 1.2 and Theorem 4.1, the numerical solutions of the initial data (18) and (19) appear to blowup. Plotted in Figures 5-6(a) are the numerical solutions after a period of time. While the monochromatic initial data yields a single blowup point moving to the right, the real initial data produces two blowup points moving in opposite directions.
Moreover, the solutions appear to undergo self-similar blowup. In a general context, this occurs when a blowup solution to a given PDE can be regularized using a self-similar change of variables into a new solution with nontrivial limiting behavior [EF08, QS19]. For a given blowup time and pair of scaling parameters define:
(20) |
using the self-similar coordinates:
(21) |
where denotes the moving location of the spatial blowup point. Note that if and , then blows up as . While the dynamics of are singular as , ideally the dynamics of are well behaved as .
In Figures 5-6(b) the inverse norm can be seen to approach zero (thus blowing up). The solution with real initial data first decreases in norm and oscillates to a small extent before it begins a path towards blowup. In contrast, the solution with monochromatic initial data immediately increases in norm and accelerates in the later stage.
To estimate the scaling parameter , we fit the data in Figures 5-6(b) to the equation . For the solution with real initial data, fitting the data over the time interval yielded with an value of . For the solution with monochromatic initial data, fitting the data over the time interval yielded with an value of . Note that even though the two blowup profiles in Figures 5-6(a) look qualitatively similar, they appear to obey distinct rates of blowup. Additionally, while the values are suggestive of a good fit, the residual errors are not normally distributed, indicative of systematic bias. Practically speaking, we observe that fit parameters are quite sensitive to the time range over which the data is fit. For the case of real initial data, the non-integer value of may also be suggestive of a logarithmic correction term being needed in the norm scaling, as is the case with the nonlinear heat equation [BK94, MZ97].
To investigate whether these numerical solutions obey self-similar scaling, we perform a change of variables in (3) using the self-similar coordinates, resulting in the following equations that govern the self-similar dynamics:
(22) |
For consistency in scaling, balance laws suggest that . Rounding to the closest integer our statistical fits for , we obtain scaling parameters for the real initial data and for the monochromatic initial data. Making the change of variables into these self-similar coordinates, we plot the solutions in Figure 5-6(c-d) for the real and imaginary components of the solutions.
In Figure 5-6(c-d) the self-similar solutions appear to be decently regularized. For smaller values of , periodic copies of the blowup profile may be observed to diverge away from , as would be expected. For larger values of however the blowup profile appears to fade, a likely result of an imprecise selection of the blowup time, and the significant numerical error which accumulate as the blowup time is approached. While the solution with real initial data appears to grow according to a power law starting at , the blowup profile qualitatively changes. This may be most prominently seen in Figure 5(d) when comparing the imaginary component of over the regions and , and may be indicative of non-trivial self-similar dynamics.
Alternatively, the simplest blowup scenario would be the so-called Type-I blowup [EF08, QS19], whereby converges to an equilibrium with scaling parameters and (22) simplifies to:
(23) |
In this case, as , an equilibrium solution would satisfy the following second order ODE:
(24) |
Despite our efforts, we have not found a nontrivial solution to (24).
5 Conclusion
While Conjecture 1.1 may be true in a generic sense, we have presented numerical evidence of real initial data to (3) which blows up in finite time. By tracking solutions to the 1-parameter family of initial data in (5), we were able to identify initial conditions leading to blowup. While tracking the norm of solutions proved sufficient, measuring when solutions entered a trap** region of zero provided a much more robust method of identification.
As previously mentioned, the blowup solution identified in Section 2 has two distinct qualitative features: (i) on shorter time scales, the solution periodic oscillates with progressive excitement of the higher modes; (ii) on longer time scales, the solution steadily grows, eventually leading to blowup. In Section 3 we provide a heuristic explanation for the mechanisms behind feature (i). Namely, we use the parameterization method to analyze a submanifold of the center manifold of . While solutions on do oscillate, a secular drift due to a resonance of eigenvalues induces a cascade whereby the lower modes excite the higher modes.
This analysis leads us to propose Conjecture 1.2, that real initial data to (3) will blowup if and only if it lies on the stable manifold of for the nonlinear heat equation (1). We note that the finite Galerkin truncation model only has a finite number of eigenvalue resonances, and is thus amenable to the parameterization method. While empirical evidence supports Conjecture 1.2, we cannot hope to prove it using the parameterization method due to the infinite number of resonances in the full PDE.
To analyze the later stage of blowup in (3) we performed a self-similar analysis in Section 4, comparing blowup solutions starting from both real and monochromatic initial data. While both solutions appear to exhibit self-similar blowup, key questions remain. For example, what is the exact scaling rate for the solution starting with real initial data, and is a logarithmic correction term required? And does the self-similar solution limit to an equilibrium or some more complicated dynamical object, such as a periodic orbit or a chaotic attractor?
Acknowledgments
The author would like to thank Panayotis Kevrekidis and Javier Gómez-Serrano for fruitful discussions regarding this work.
References
- [BK94] Jean Bricmont and Antti Kupiainen. Universality in blow-up for nonlinear heat equations. Nonlinearity, 7(2):539, 1994.
- [CFdlL03a] Xavier Cabré, Ernest Fontich, and Rafael de la Llave. The parameterization method for invariant manifolds I: manifolds associated to non-resonant subspaces. Indiana University mathematics journal, pages 283–328, 2003.
- [CFdlL03b] Xavier Cabré, Ernest Fontich, and Rafael de la Llave. The parameterization method for invariant manifolds II: regularity with respect to parameters. Indiana University mathematics journal, pages 329–360, 2003.
- [CFDLL05] Xavier Cabré, Ernest Fontich, and Rafael De La Llave. The parameterization method for invariant manifolds III: overview and applications. Journal of Differential Equations, 218(2):444–515, 2005.
- [CLM85] Peter Constantin, Peter D Lax, and Andrew Majda. A simple one-dimensional model for the three-dimensional vorticity equation. Communications on pure and applied mathematics, 38(6):715–724, 1985.
- [CM18] Ciro S Campolina and Alexei A Mailybaev. Chaotic blowup in the 3d incompressible Euler equations on a logarithmic lattice. Physical review letters, 121(6):064501, 2018.
- [COS16] C.-H. Cho, H. Okamoto, and M. Shōji. A blow-up problem for a nonlinear heat equation in the complex plane of time. Japan Journal of Industrial and Applied Mathematics, 33(1):145–166, Feb 2016.
- [DHT14] Tobin A Driscoll, Nicholas Hale, and Lloyd N Trefethen. Chebfun guide, 2014.
- [EF08] Jens Eggers and Marco A Fontelos. The role of self-similarity in singularities of partial differential equations. Nonlinearity, 22(1):R1, 2008.
- [Fef00] Charles L Fefferman. Existence and smoothness of the Navier-stokes equation. The millennium prize problems, 57:67, 2000.
- [FMS23] Yue Feng, Georg Maierhofer, and Katharina Schratz. Long-time error bounds of low-regularity integrators for nonlinear Schrödinger equations. arXiv preprint arXiv:2302.00383, 2023.
- [FS24] Bernold Fiedler and Hannes Stuke. Real eternal PDE solutions are not complex entire: a quadratic parabolic example. arXiv preprint arXiv:2403.06490, 2024.
- [GJT22] Jorge Gonzalez, JD Mireles James, and Necibe Tuncer. Finite element approximation of invariant manifolds by the parameterization method. Partial Differential Equations and Applications, 3(6):75, 2022.
- [GNSY13] Jong-Shenq Guo, Hirokazu Ninomiya, Masahiko Shimojo, and Eiji Yanagida. Convergence and blow-up of solutions for a complex-valued heat equation with a quadratic nonlinearity. Transactions of the American Mathematical Society, 365(5):2447–2467, 2013.
- [HCF+16] Alex Haro, Marta Canadell, Jordi-Lluis Figueras, Alejandro Luque, and Josep-Maria Mondelo. The parameterization method for invariant manifolds. Applied mathematical sciences, 195, 2016.
- [Hen73] Jacques Henrard. Lyapunov’s center theorem for resonant equilibrium. Journal of Differential Equations, 14(3):431–441, 1973.
- [HL08] Thomas Y Hou and Congming Li. Dynamic stability of the three-dimensional axisymmetric Navier-Stokes equations with swirl. Communications on Pure and Applied Mathematics: A Journal Issued by the Courant Institute of Mathematical Sciences, 61(5):661–697, 2008.
- [Hou23] Thomas Y Hou. Potentially singular behavior of the 3d Navier–Stokes equations. Foundations of Computational Mathematics, 23(6):2251–2299, 2023.
- [Jaq22] Jonathan Jaquette. Quasiperiodicity and blowup in integrable subsystems of nonconservative nonlinear Schrödinger equations. Journal of Dynamics and Differential Equations, pages 1–25, 2022.
- [Jaq24] Jonathan Jaquette. Matlab code of “Mechanisms of unstable blowup in a quadratic nonlinear Schrödinger equation”. https://github.com/JCJaquette/Unstable-Blowup-NLS, 2024.
- [JH22] Shobhit Jain and George Haller. How to compute invariant manifolds and their reduced dynamics in high-dimensional finite element models. Nonlinear dynamics, 107(2):1417–1450, 2022.
- [JLT22a] Jonathan Jaquette, Jean-Philippe Lessard, and Akitoshi Takayasu. Global dynamics in nonconservative nonlinear Schrödinger equations. Advances in Mathematics, 398:108234, 2022.
- [JLT22b] Jonathan Jaquette, Jean-Philippe Lessard, and Akitoshi Takayasu. Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity. Communications in Nonlinear Science and Numerical Simulation, 107:106188, 2022.
- [Mas83] Kyûya Masuda. Blow-up of solutions of some nonlinear diffusion equations. In Hiroshi Fujita, Peter D. Lax, and Gilbert Strang, editors, Nonlinear Partial Differential Equations in Applied Science; Proceedings of The U.S.-Japan Seminar, Tokyo, 1982, volume 81 of North-Holland Mathematics Studies, pages 119 – 131. North-Holland, 1983.
- [Mas84] Kyûya Masuda. Analytic solutions of some nonlinear diffusion equations. Mathematische Zeitschrift, 187(1):61–73, Mar 1984.
- [MZ97] Frank Merle and Hatem Zaag. Stability of the blow-up profile for equations of the type . Duke Mathematical Journal, 86(1):143 – 195, 1997.
- [OVTF23] Andrea Opreni, Alessandra Vizzaccaro, Cyril Touzé, and Attilio Frangi. High-order direct parametrisation of invariant manifolds for model order reduction of finite element structures: application to generic forcing terms and parametrically excited systems. Nonlinear Dynamics, 111(6):5401–5447, 2023.
- [Pro22] Bartosz Protas. Systematic search for extreme and singular behaviour in some fundamental models of fluid mechanics. Philosophical Transactions of the Royal Society A, 380(2225):20210035, 2022.
- [QS19] Pavol Quittner and Philippe Souplet. Superlinear parabolic problems. Springer, 2019.
- [RJ19] Christian Reinhardt and JD Mireles James. Fourier–Taylor parameterization of unstable manifolds for parabolic partial differential equations: Formalism, implementation and rigorous validation. Indagationes Mathematicae, 30(1):39–80, 2019.
- [SY02] George R Sell and Yuncheng You. Dynamics of evolutionary equations, volume 143. Springer Science & Business Media, 2002.
- [vdBMJR16] Jan Bouwe van den Berg, Jason D Mireles James, and Christian Reinhardt. Computing (un) stable manifolds with validated error bounds: non-resonant and resonant spectra. Journal of Nonlinear Science, 26:1055–1095, 2016.
- [WLGSB23] Yongji Wang, C-Y Lai, Javier Gómez-Serrano, and Tristan Buckmaster. Asymptotic self-similar blow-up profile for three-dimensional axisymmetric Euler equations using neural networks. Physical Review Letters, 130(24):244002, 2023.