Abstract
We consider the \((1+3)\)-dimensional Einstein equations with negative cosmological constant coupled to a spherically symmetric, massless scalar field and study perturbations around the anti-de Sitter spacetime. We derive the resonant systems, pick out vanishing secular terms and discuss issues related to small divisors. Most importantly, we rigorously establish (sharp, in most of the cases) asymptotic behaviour for all the interaction coefficients. The latter is based on uniform estimates for the eigenfunctions associated to the linearized operator as well as on some oscillatory integrals.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this work, we initiate a rigorous study of the dynamics in Fourier space of spherically symmetric solutions to the coupled Einstein–Klein–Gordon system,
around the anti-de Sitter solution. Here, \(\text {Ric}(g)\) and R(g) denote the Ricci and scalar curvatures, respectively, both with respect to the spacetime metric g, \(\Box _{g} \) stands for the wave operator, and \(\Lambda \) is the cosmological constant.
1.1 (In-)stability of anti-de Sitter
The anti-de Sitter (AdS) spacetime is the unique (up to quotients by isometry subgroups) maximally symmetric solution to the Einstein equations with negative cosmological constant,
In local compactified coordinates \((t,x,\omega ) \in \mathcal {M}:= \mathbb {R} \times \left[ 0,\pi /2 \right) \times \mathbb {S}^{d-1}\), it reads
implying that \((\mathcal {M},g_{\text {AdS}})\) is conformal to half of the Einstein static universe. One can see that, although the spatial distance from any point (t, x) with \(0 \le x <\pi /2\) to \(\mathcal {I}:=\{x=\pi /2\}\) is infinite, null geodesics reach the conformal spatial infinity \(\mathcal {I} \) in finite time with respect to time as measured by an inertial observer at the center. The particular characteristic of the AdS solution as well as of all asymptotically AdS spacetimes (that are spacetimes that approach the AdS solution at infinity in the spatial directions fast enough and share the same conformal boundary) is that the conformal spatial infinity is a time-like cylinder \(\mathbb {R} \times \mathbb {S}^{d-1}\). Consequently, the AdS metric is not globally hyperbolic and hence in order to study the evolution of the field \(\phi \) on such backgrounds one has to prescribe boundary conditions also on \(\mathcal {I}\) in addition to the initial data on the \(\{t=0\}\) slice.
It is well known that the Minkowski space is a ground state among asymptotically flat spacetimes [35, 37]. The AdS spacetime also enjoys a similar variational characterization due to the positive energy theorem which states that for solutions to the general Einstein field equations which are globally regular and satisfy a reasonable energy condition, the AdS space is a ground state among asymptotically AdS spacetimes [24]. As far as the initial-boundary value problem is concerned, Smulevici-Holzegel [26] (for Dirichlet boundary conditions) and Warnick-Holzegel [27] (for more general boundary conditions) proved its local well-posedness in the class of spherically symmetric solutions. We also note that, if one removes the symmetry assumptions, Friedrich’s proof of local well-posedness for the vacuum equations yields local well-posedness for the Einstein–Klein–Gordon system provided that the latter has the conformal value of the mass. Once the local well-posedness is established, an important question for the AdS solution (as for any ground state) is whether it is stable or not, meaning whether small perturbations of the solution on the \(\{t = 0\}\) slice remain small for all future times or not. For the Minkowski spacetime such a question has been answered by Christodoulou-Klainerman [16] and for the de-Sitter spacetime by Friedrich [23] who proved its stability.
The main mechanism responsible for the stability of the Minkowski spacetime is the dissipation of energy by dispersion. In the case of AdS solution, such a mechanism is no longer present. For “reflective” boundary conditions on the conformal infinity, waves which start at any point inside the region \(\{0\le x < \pi /2 \}\) and propagate outwards are reflected on \(\mathcal {I}\) and return back to into the region from where they started [12]. Such boundary conditions are confining enough forcing the AdS solution to act as a closed universe (in terms of its fields inside).
Although the conjecture on the instability of the AdS spacetime was first announced by Dafermos [19] and Dafermos-Holzegel [20] in 2006, the first work in this direction was the seminal paper of Bizoń-Rostworowski [11]. Specifically, Bizoń-Rostworowski [11] considered the spherically symmetric Einstein massless scalar field equations with negative cosmological constant in \((1+3)\)-dimensions and established strong numerical (as well as analytical) results indicating that the AdS solution to the Einstein equations (although linearly stable) is in fact nonlinearly unstable against the formation of a black hole under arbitrarily small and generic perturbations. In their work [11], they used specific Gaussian-type initial data and concluded that such initial data evolve to a wave which, as it propagates in time, collapses quickly and an apparent horizon appears. On top of their numerical findings, Bizoń-Rostworowski [11] also proposed the resonant mode mixing as the mechanism responsible for the AdS instability. The authors expanded the dynamical variables in terms of the eigenfunctions \(\{e_n: n \ge 0\}\) to the associated linearized operator. Subsequently, this resulted in the construction of a perturbative series expansion bifurcating from initial data dominated only by a fixed number of modes. Inserting this expansion in the nonlinear system, one obtains an infinite system of harmonic oscillators in which secularFootnote 1 terms appear naturally, see also Sect. 3.2. According to [11], if these terms are not removed, they should eventually become responsible for exponential instability and a possible breakdown of the solutions. For example, if one starts with initial data dominated by the first 2-modes, namely \(e_0 + e_1\), then a secular term occurs that cannot be removed, for more details see [11] and page 20 in [34]. Their important work then triggered a substantial amount of numerical and heuristic studies. Dias-Horowitz-Santos [22] considered pure gravity with a negative cosmological constant and provided additional support strengthening the evidence that the AdS spacetime might be nonlinearly unstable. Moreover, similar results have been obtained by Jałmużna-Rostworowski-Bizoń [29] and Buchel-Lehner-Liebling [13] for higher dimensions as well as by Choptuik [15] who studied the mechanism of the spherically symmetric collapse of a scalar field with a general time and radial spatial dependent metric and for several families of initial data.
Most importantly, Bizoń-Rostworowski [11] also conjectured that there may exist specific initial data (called islands of stability) for which the evolution of small perturbations around the AdS solution remains globally regular in time. As a matter of fact, Maliborski-Rostworowski [30] considered the spherically symmetric Einstein-massless scalar field equations with negative cosmological constant in \(1+d\) dimensions with \(d\ge 2\) and provided reliable numerical evidence indicating that actually time-periodic solutions may exist for nongeneric initial data. They were able to construct these solutions using both nonlinear perturbative expansions and fully nonlinear numerical methods. Specifically, they expanded the dynamical variables in terms of the eigenfunctions \(\{e_n: n \ge 0\}\) to the associated linearized operator and constructed a perturbative series expansion bifurcating from initial data dominated only by 1-modes. Then, they inserted this in the nonlinear system and obtained a recurrence relation where one can fine tune the initial data order-by-order in such a way so that all secular terms appearing in the resonant system can be removed. Consequently, they are left with a secular free perturbative series that presumably converges obtaining a time-periodic solution from nongeneric initial data. However, their analysis suggests that all secular terms can be removed provided that one can verify an infinite system of both linear and nonlinear conditions where the so-called Fourier coefficients play a decisive role in its validity. These are oscillatory integrals defined by the mode couplings induced by the nonlinearities of the system and are essentially weighted integrals of products of the eigenfunctions \(\{e_n: n \ge 0\}\) to the associated linearized operator, see Sects. 3.1 and 4.1 as well as [11, 18, 30]. In this work, we consider the coupled Einstein–Klein–Gordon system in spherical symmetry, track down various cancellations occurring in the potentially resonant terms and establish robust bounds for the Fourier coefficients using two types of perturbations.
Moreover, similar conjectures were made by Dias-Horowitz-Marolf-Santos [21] who argued that many asymptotically AdS solutions are nonlinearly stable (including geons, boson stars, and black holes) and by Buchel-Liebling-Lehner [14] who considered boson stars in global AdS spacetime and study their stability. Finally, a very interesting nonperturbative approach was developed by Moschidis who rigorously proved the AdS instability conjecture for generic initial data and for the Einstein-massless Vlasov system and Einstein-null dust system in his celebrated works [31,32,33].
1.2 Spherical Symmetric Ansatz
We consider coupled Einstein–Klein–Gordon system (1.1) in spherical symmetry, and for simplicity, we fix the spatial dimension \(d=3\). Following the work of Bizoń-Rostworowski [11] we parametrize the spacetime metric by the spherically symmetric ansatz
for \((t,x,\omega ) \in \mathcal {M}\). Under this ansatz, the wave equation in spherical symmetry becomes
We note that the gauge condition used here includes the normalization \(\delta =0\) and \(A=1\) at \(x=0\). We transform second-order partial differential equation (1.3) into a first-order system by setting
Then, (1.3) reads
where
coupled to the Einstein equations
1.3 The Linearized Operator
From the Einstein equations, one can derive an additional equation, namely the momentum constraint
and now (1.3) can be written as
where
is the operator which governs linearized perturbations of AdS solution. The solutions to the eigenvalue problem \(L[f] = \omega ^2 f\) subject to Dirichlet boundary conditions on the conformal boundary \(\mathcal {I}=\{x=\pi /2 \}\) fall into the hypergeometric class and hence can be found explicitly. For a rigorous definition of the spectrum as well as for the definition of the domain in which the linearized operator is self-adjoint, see the work of Bachelot [1]. Specifically, the eigenvalues read
and eigenfunctions are weighted Jacobi polynomials,
for all integers \(j=0,1,2,\dots \) and \(x\in [0,\pi /2]\). For the definition, basic properties and an introduction to the Jacobi polynomials see Chapter 4, page 48 in Szegö’s book [36]. In addition, the linearized operator L is self-adjoint with respect to the weighted inner product
Finally, note that the eigenvalues are strictly positive and hence the linear problem is orbitally stable.
2 Main Result and Preliminaries
We consider the spherically symmetric Einstein-massless scalar field equations with negative cosmological constant under spherically symmetric ansatz (1.2),
and we are mainly interested in the asymptotic behaviour of the Fourier constants which appear in the analysis of perturbations around the AdS solution \((\Phi , \Pi , A, \delta )=(0,0,1,0)\).
2.1 Statement of the Main Result
Specifically, we consider two types of perturbations. On the one hand, in light of recent work Maliborski-Rostworowski [30], although the series may not converge, we seek a solution of the form
where \(\psi _{2\lambda +1}\),\(\sigma _{2\lambda +1}\),\(\xi _{2\lambda }\) and \(\zeta _{2\lambda }\) are all periodic in time and in particular \(\xi _{0} = \zeta _{0} = 1 \). Here, \(\psi _{1},\sigma _{1},\xi _{2},\zeta _{2},\omega _{\gamma ,0},\gamma \) will be chosen later. Furthermore, with a slight abuse of notation, we use the same letters to denote the variables with respect to the \((\tau ,x)\) and (t, x). On the other hand, we still assume that \((\Phi ,\Pi ,A,\delta )\) are all close to the AdS solution (0, 0, 1, 0) but expand them using a finite sum
for some error terms \(\Psi , \Sigma , B,\Theta ,\eta _{\gamma }\) where \(\Phi _{1},\Pi _{1},A_{2},\delta _{2}\) are all explicit periodic expressions in time and will be chosen later together with \(\gamma \).
The aim of this paper is to provide a better understanding of the asymptotic behaviour of the Fourier coefficients that play a crucial role to the work of Maliborski-Rostworowski [30] and the conjectured existence of time-periodic solutions to the Einstein–Klein–Gordon equation in spherical symmetry. Is it also motivated by the work of Hunik-Kostyra-Rostworowski [28] who established interesting recurrence relations for the interaction coefficients for the \(5-\)dimensional Einstein equations in vacuum with negative cosmological constant within cohomogeneity-two biaxial Bianchi IX ansatz. To place our results in the context of the physics literature, we refer the reader to [2, 9, 10, 17, 25]. In our main result, we track down the various cancellations occurring in the potentially resonant terms and establish robust bounds for the Fourier coefficients in the two settings described above.
Theorem 2.1
(Rough version). We establish robust bounds for the interaction coefficients of the various Fourier components in the perturbative expansions around the AdS:
For a precise version, see Propositions 3.1 and 4.1–4.6, respectively.
2.2 Preliminaries
As we will see, there are subspaces from which these Fourier constants decay and subspaces from which they grow. On the one hand, in order to establish the decay estimates, we will use
-
the leading-order terms of the eigenfunctions and their weighted derivatives (Lemma 2.2 and Remark 2.3)
-
the asymptotic behaviour of specific oscillatory integrals (Lemma 2.6)
The second is based on
-
Dirichlet–Kernel-type identities (Lemma 2.5)
-
carefully chosen anti-derivatives
On the other hand, for the growth estimates, we will only use
-
Holder’s inequality
-
\(L^{\infty }-\)bounds for quantities related to the eigenfunctions (Lemma 2.4)
To begin with, we prove the first auxiliary result.
Lemma 2.2
(Closed formulas). For all \(x \in [0, \pi /2 ]\) and \(i=0,1,\dots \), we have
Furthermore, both \(\{e_{i}:i=0,1,2,\dots \} \) and \(\{e_{i}^{\prime } / \omega _{i}:i=0,1,2,\dots \} \) form an orthogonal basis for \(L^{2}\left( \left[ 0,\pi /2 \right] \right) \) with respect to weighted inner product (1.4), namely
and, for all \(i,j=0,1,\dots ,\). Here, \(\delta _{i,j}\) stands for the Kronecker’s delta.
Proof
For the first part, we make use of the facts
where \(x=x(z)=\frac{1}{2} \arccos (z)\) and \(j=0,1,\dots \). These identities can be found in Chapter 4, page 60, equation (4.1.8) and Chapter 4, page 63, equation (4.21.7) in Szegö’s book [36]. Then, the closed formula for \(e_{j}\) follows by the chain rule. Indeed, we define \(z=\cos (2x)\) and compute
and so
Finally, since j is an integer, we conclude
The closed formula for \(e_{j}^{\prime }\) follows by differentiating the closed formula for \(e_{j}\). Using these formulas, the orthogonality properties are straightforward. For the fact that the set \(\{e_{j}:j=0,1,2,\dots \}\) forms a basis for \(L^{2}\left( \left[ 0,\frac{\pi }{2} \right] \right) \) with respect to weighted inner product (1.4), see “Appendix” in the work of Bachelot [1]. In order to show that \(\{ \frac{e^{\prime }_{j}}{\omega _{j}}:j=0,1,2,\dots \}\) also forms a basis for the same function space, one has to prove that
To this end, we define
and use the fact that
which follows from \(L[e_{j}]=\omega _{j}^2 e_{j}\) together with integration by parts to compute
for all \(j=0,1,2,\dots \). Now, we use the fact that \(\{e_{j}:j=0,1,2,\dots \}\) forms a basis to get \(F = 0\) which in turn implies \(f=0\). \(\square \)
Remark 2.3
We find the leading-order terms
as \(i \longrightarrow \infty \) and for all \(x\in \left[ 0, \frac{\pi }{2} \right] \). These estimates are uniform with respect to the weighted \(L^2-\)norm
Indeed, for large i, we estimate
since
The proof of (2.11) is given in “Appendix,” see Lemma A.1.
Next, we prove \(L^{\infty }-\)bounds for quantities related to the eigenfunctions.
Lemma 2.4
(\(L^{\infty }\) bounds). For all \(j=0,1,2,\dots \), we have
Proof
For the first estimate, we define the oscillating part of \(e_{j}(x)\), namely
for all \(x\in [0,\frac{\pi }{2}]\) and \(j=0,1,2,\dots \) and compute its derivative
Hence, for all \(x\in (0,\frac{\pi }{2})\) and \(j=0,1,2,\dots \), the equation
has countable many solutions, say \(x=x_{j}^{\star }\in (0,\frac{\pi }{2})\). Then,
Now, since
we get
and finally
For the second estimate, we observe that
Hence, by triangular inequality,
for all \(j=0,1,2,\dots \). For the last estimate, we define
for all \(x\in \left[ 0,\frac{\pi }{2} \right] \) and \(j=0,1,2,\dots \) and compute its derivative
As above, for all \(x\in (0,\frac{\pi }{2})\) and \(j=0,1,2,\dots \), the equation
has countable many solutions, say \(x=x_{j}^{\prime }\in (0,\frac{\pi }{2})\). Then,
and since
we get
valid for all \(j=0,1,2,\dots \), which concludes the proof. \(\square \)
For future reference, we also prove the following Dirichlet–Kernel-type identities.
Lemma 2.5
(Dirichlet–Kernel-type identities). For any \(n \in \mathbb {N}\) and \(x\in \mathbb {R}\), we have
Proof
The first result is well-known (Dirichlet Kernel). For the second, we use the first one and just replace x by \(x+\pi /2\),
For the third, we observe that
from which the result follows. \(\square \)
Finally, we establish the asymptotic behaviour of specific oscillatory integrals which will appear later.
Lemma 2.6
(Oscillatory integrals). For any \(N \in \mathbb {N}\), we have
as \(a \longrightarrow \infty \) with \(a \in \mathbb {N}\). Here,
Proof
For the first integral, we use Lemma 2.5 to infer
The second integral follows similarly. Lemma 2.5 implies
for all \(a \ge 3\), since
Next, for the third integral, Lemma 2.5 also yields
for all \(a \ge 3\), since
Finally, we conclude with the fourth integral. First, observe that
and therefore, for any \(\epsilon >0\),
Second, we set \(\epsilon = \frac{\pi }{a}\) and get \(\cos (2a \epsilon ) = 1, \sin (2a \epsilon ) = 0\). Now, Lemma 2.5 shows that
valid for all \(a \ge 1\), and we change variables \(y=ax / \pi \) to infer
for all \(a \ge 2\). Now, for all \(y \in [0,1]\) and \(a \longrightarrow \infty \),
and hence
from which we conclude
that completes the proof. \(\square \)
Remark 2.7
A straightforward computation yields
and hence the third integral of Lemma 2.6 also gives
for \(a \longrightarrow \infty \).
Finally, we will also use standard integration by parts.
Lemma 2.8
(Integration by parts). Let \(a \in \mathbb {N}\) and \(N \in \mathbb {N}\). Assume that F is differentiable in \(\left( 0,\frac{\pi }{2} \right) \) and continuous in \(\left[ 0,\frac{\pi }{2} \right] \). Then,
Proof
The proof is a straight forward application of integration by parts. \(\square \)
The following result is a direct consequence of Lemma 2.8.
Lemma 2.9
Let \(b \in \mathbb {N}\) and \(N \in \mathbb {N}\). Assume that F is differentiable in \(\left( 0,\frac{\pi }{2} \right) \), continuous in \(\left[ 0,\frac{\pi }{2} \right] \) with uniformly bounded derivatives in \(\left[ 0,\frac{\pi }{2} \right] \). Then, as \(b \longrightarrow \infty \), we have
Proof
All these asymptotic expansions follow from Lemma 2.8 just by computing the boundary terms. Note that if a is even, namely \(a = 2b\) for some \(b \in \mathbb {N}\), then \(\sin (a \frac{\pi }{2}) = 0\) and \( \cos (a \frac{\pi }{2}) = (-1)^{b}\), whereas if a is odd, namely \(a = 2b+1\) for some \(b \in \mathbb {N}\), then \(\sin (a \frac{\pi }{2}) = (-1)^b\) and \( \cos (a \frac{\pi }{2}) = 0\). For example, Lemma 2.8 yields
The other asymptotic expansions follow similarly. \(\square \)
With these auxiliary results at hand we proceed to the main analysis of the Fourier constants.
3 Perturbations 1: Series
As mentioned above, Maliborski-Rostworowski [30] considered (2.1)–(2.4) and provided strong numerical evidence indicating that time-periodic solutions exist for nongeneric initial data. To explain their approach and see how the Fourier constants appear, first assume that \((\Phi , \Pi , A, \delta )\) are all close to (0, 0, 1, 0) and expand \((\Phi , \Pi , A, \delta )\) in terms of powers of \(\epsilon \) using series (2.5)–(2.7).
3.1 Definition of the Fourier Constants
First, we compute the density
where, for all \(\lambda = 0,1,2,\dots \),
Next, we substitute these expressions into (2.1)–(2.4), collect terms of the same order in \(\epsilon \) and obtain a hierarchy of equations
for all \(\lambda =0,1,2,\dots \), together with
From the set of all eigenvalues \(\{e_{i}\}_{i=0}^{\infty }\) to the linear operator, we choose a dominant mode \(e_{\gamma }\) for some \(\gamma \in \{0,1,2,\dots \}\) and pick
Now, for each \(\lambda =0,1,2,\dots \), we expand the coefficients \(\psi _{2\lambda +1},\sigma _{2\lambda +1},\xi _{2\lambda },\zeta _{2\lambda }\) in terms of the eigenvalues of the linearized operator, namely
substitute these expressions into the recurrence relations above, take the inner product \((\cdot |e^{\prime }_{m})\) for the first equation, the \((\cdot |e_{m})\) for all the other equations and use their orthogonality properties \((e^{\prime }_{n}|e^{\prime }_{m})=\omega _{n}^2 \delta _{nm}\), \((e_{n},e_{m})=\delta _{nm}\). Using the notation
we find
where all the interactions with respect to the spatial variable \(x \in \left[ 0,\frac{\pi }{2} \right] \) are included in the following Fourier constants
We also find
and use Lemma 2.2 to compute
for all \(m=0,1,2,\dots \). In addition, we differentiate the first equation with respect to \(\tau \) and use the second to obtain the harmonic oscillator equation
where the source term is given by
Finally, we make use of the variation constants formula to solve (3.1) and find
In conclusion, we get for all \(m=0,1,2,\dots \) the following recurrence relations. For all \(\lambda =1,2,3,\dots \),
3.2 Time-Periodic Solutions and Secular Terms
As pointed out in [30], nonperiodic terms appear naturally when the source term \(S_{2\lambda +1}^{(m)}(\tau )\) has terms of the form \(\cos ( \omega _{m} \tau / \omega _{\gamma } )\) or \(\sin ( \omega _{m} \tau / \omega _{\gamma } )\) in its Fourier expansion. Indeed, we assume that, for some \(\lambda =1,2,3,\dots \),
and in addition there exists an index \(m =0,1,2,\dots \) such that \(\omega _{m}/\omega _{\gamma }:=a \in I_{\lambda } \). Then, the integral
produces a nonperiodic term since
Such secular terms are also produced when there exists an \(m =0,1,2,\dots \) such that \(\omega _{m}/ \omega _{\gamma }:=b \in J_{\lambda }\). In other words,
Maliborski and Rostworowski [30] were able to numerically cancel these secular terms by prescribing the initial data \((f_{2\lambda +1}^{(m)}(0),\dot{f}_{2\lambda +1}^{(m)}(0))\). To explain their approach, we take \(f_{1}^{(\gamma )}(0)=1\) and \(f_{2\lambda +1}^{(\gamma )}(0)=0\) for \(\lambda =1,2,3,\dots \). First, they choose \(\dot{f}_{2\lambda +1}^{(m)}(0)=0\) for all \(\lambda =0,1,2,\dots \) and all \(m=0,1,2,\dots \) to ensure that the source term \( S_{2\lambda +1}^{(m)}(\tau )\) is a series only of cosines. Then, they observed that the fixed index \(\gamma \) belongs in \( \mathcal {N}_{\lambda }\) for all \(\lambda =0,1,2,\dots \) and there is only one secular term in \(f_{2\lambda +1}^{(\gamma )}(\tau )\) which can be removed by choosing the frequency shift \(\omega _{\gamma ,2(\lambda -1)}\). Furthermore, for all \(m \in \mathcal {N}_{\lambda } {\setminus } \{\gamma \}\), there are some secular terms which cancel by the structure of the equations, some secular terms cancel by choosing some initial data, but some initial data remain free variables at this stage. They choose these free variables together with \(\omega _{\gamma ,2\lambda }\) to cancel the secular terms in the \(f_{2(\lambda +1)+1}(\tau )\). For more details see [30]. However, there is no proof based on rigorous arguments ensuring that this procedure works for all \(\lambda \).
3.3 Choice of the Initial Data
For example, we fix \(\gamma =0\) and choose
First, we use the recurrence relation above and find periodic expressions for \(p_{2}^{(m)}(\tau )\) and \(q_{2}^{(m)}(\tau )\) due to the periodicity of \(f_{1}^{(m)}(\tau )\) and \(g_{1}^{(m)}(\tau )\). Second, we compute
for some sequences \(\{A_{3}^{(m)}\}_{m=0,1,\dots }\) and \(\{B_{3}^{(m)}\}_{m=0,1,\dots }\). Then, the equation
has two solutions \(m \in \mathcal {N}_{3}:= \{0,3\}\). Based on the discussion above, we get two secular terms in the list \(\{f_{3}^{(m)}(\tau ): m=0,1,2,\dots \}\), one for \(m=0\) and one for \(m=3\). We see that the secular term for \(m=0\) can be cancelled by choosing the frequency shift \(\omega _{0,2}\), whereas the secular term for \(m=3\) cancels by the structure of the equations meaning \(B_{3}^{(3)}=0\) without any choice of the initial data \(\{f_{3}^{(m)}(0): m=0,1,2,\dots \}\). Hence, all these are free variables at this stage (i.e. for \(\lambda =3\)) and will be chosen later to cancel all the secular terms in \(f_{5}^{(m)}(\tau )\). Specifically, we get
and so forth. We choose
to ensure the periodicity of \(f_{3}^{(0)}(\tau )\). Once all secular terms in \(f_{3}^{(m)}(\tau )\) are removed, the periodic expression for \(f_{3}^{(m)}(\tau )\) implies a periodic expression also for \(g_{3}^{(m)}(\tau )\).
3.4 Growth and Decay of the Fourier Constants
In this section, we focus on the asymptotic behaviour of all the Fourier constants which appear using this approach. We shall use the notation
that is summation with respect to all possible combinations of plus and minus. Furthermore, expressions like \(\omega _{i} \pm \omega _{j} \pm \omega _{m}\) stand not only for \(\omega _{i} + \omega _{j} + \omega _{m}\) and \(\omega _{i} - \omega _{j} - \omega _{m}\) but also for \(\omega _{i} + \omega _{j} - \omega _{m}\) and \(\omega _{i} - \omega _{j} + \omega _{m}\), that is considering all possible combinations of plus and minus. Specifically, we prove the following result the proof of which is based on the leading-order terms (Remark 2.3) together with the asymptotic behaviour of the oscillatory integrals (Lemma 2.6), the orthogonality properties (Lemma 2.2) and the \(L^{\infty }-\)bounds (Lemma 2.4).
Proposition 3.1
(Growth and decay estimates for the Fourier constants: Perturbation 1). Let \(N\in \mathbb {N}\). The following growth and decay estimates hold.
Growth and decay estimates for \(C_{ij}^{(m)}\) and \(\overline{C}_{ij}^{(m)}\) as \(i,j,m \longrightarrow + \infty \) | ||
---|---|---|
Constant | \(\forall ~~ \omega _{i} \pm \omega _{j} \pm \omega _{m} \longrightarrow \infty \) | |
\(\displaystyle C_{ij}^{(m)} \) | \( \mathcal {O} \left( \omega _{i} \right) \) | \(\displaystyle \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{m})^{2}} \right) \) |
\(\displaystyle \overline{C}_{ij}^{(m)} \) | \(\mathcal {O} \left( \omega _{i} \right) \) | \(\displaystyle \frac{4}{\sqrt{\pi }} + \sum _{\pm }\mathcal {O} \left( \frac{1}{(\omega _{i} \pm \omega _{j} \pm \omega _{m} )^2} \right) \) |
Growth and decay estimates for \(A_{ijl}^{(m)},B_{ijl}^{(m)},\overline{A}_{ijl}^{(m)}\) and \( \overline{B}_{ijl}^{(m)}\) as \(i,j,l,m \longrightarrow + \infty \) | ||
---|---|---|
Constant | \( \forall ~~ \omega _{i} \pm \omega _{j} \pm \omega _{l}\pm \omega _{m} \longrightarrow \infty \) | |
\(\displaystyle \overline{A}_{ijl}^{(m)},\overline{B}_{ijl}^{(m)} \) | \(\displaystyle \mathcal {O} \left( \omega _{l}\right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{l}\pm \omega _{m})^{N}} \right) \) |
\(\displaystyle A_{ijl}^{(m)},B_{ijl}^{(m)} \) | \(\displaystyle \mathcal {O} \left( \frac{\omega _{l}}{ \omega _{m}} \right) \) | \(\displaystyle \frac{1}{\omega _{m}} \sum _{\pm } \mathcal {O} \left( \frac{1}{\left( \omega _{i} \pm \omega _{j} \pm \omega _{l} \pm \omega _{m} \right) ^{N}} \right) \) |
Proof
First, observe that \(\omega _{i} \pm \omega _{j} \pm \omega _{m}\) are all odd, namely
For large values of i, j, m and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{m} \longrightarrow \infty \), we obtain
On the other hand, for large values of i, j, m such that some , Holder’s inequality implies
Similarly, for large values of i, j, m and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{m} \longrightarrow \infty \), we obtain
On the other hand, for large values of i, j, m such that some , Holder’s inequality implies
Next, observe that \(\omega _{i} \pm \omega _{j} \pm \omega _{l} \pm \omega _{m}\) are all even,
Now, for large values of i, j, l, m and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{l} \pm \omega _{m} \longrightarrow \infty \), we obtain
whereas, for large values of i, j, l, m such that some , Holder’s inequality implies
Furthermore, for large values of i, j, l, m and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{l}\pm \omega _{m} \longrightarrow \infty \),
whereas, for large values of i, j, l, m such that some , Holder’s inequality implies
Next, we use once more Remark 2.3 to compute
as \(m \longrightarrow \infty \). Hence, for large values of i, j, l, m and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{l} \pm \omega _{m} \longrightarrow \infty \),
whereas, for large values of i, j, l, m such that some , Holder’s inequality implies
Finally, for large values of i, j, l, m and in the case where all \(\omega _{i} \pm \omega _{j}\pm \omega _{l} \pm \omega _{m} \longrightarrow \infty \),
whereas, for large values of i, j, l, m such that some , Holder’s inequality implies
which completes the proof. \(\square \)
4 Perturbations 2: Finite Sum with an Error Term
Since series (2.5)–(2.7) may not converge, we can still assume that \((\Phi ,\Pi ,A,\delta )\) are all close to the AdS solution (0, 0, 1, 0) and expand \((\Phi ,\Pi ,A,\delta )\) using (2.8)–(2.10). First, we solve at the linear level and obtain the periodic expressions
where
For simplicity, we have fixed \(\gamma = 0\) and use Lemma 2.2 to compute
For future reference, observe that
Second, we get the following nonlinear system for the error terms \((\Psi ,\Sigma ,B,\Theta )\),
4.1 Definition of the Fourier Constants
As before, we expand the error terms \((\Psi , \Sigma , B, \Theta )\) in terms of the eigenfunctions of the linearized operator as follows
After substituting these expressions into the equations above, we take the inner product \((\cdot | e_{j}^{\prime })\) (for the equation for \(\Psi \)) and \((\cdot | e_{j})\) (for the equations for \(\Sigma ,B\) and \(\Theta \)) in both sides. A long but straightforward computation yields that all the interactions with respect the space variable x are included in the following Fourier constants:
for the equation for \(\Psi \),
for the equation for \(\Sigma \),
for the equation for \(\Theta \), and finally
for the equation for B. In addition, the nonlinear system for the error terms boils down to
subject to the constraints
Here, the source terms are given explicitly in terms of the Fourier constants by
where \(\delta _{0,i}\) stands for the Kronecker’s delta, whereas the linear and nonlinear terms are given by
4.2 Approximate Periodic Solution and Small Divisors
Similarly to the first approach with the infinite sum, the linear and homogeneous part of the ordinary differential equation for \((\psi _{i},\sigma _{i})\) is simply the equation for the harmonic oscillator and hence we can use the variational constants formula to solve it. We find the fixed-point formulation
subject to the constrain equations
where
Furthermore, one can use various trigonometric identities to write
where
Now, computing the integrals above we obtain
where
and
Notice that conditions like
are closely related to small divisors and play an important role in KAM theory [3,4,5,6,7,8]. Observe that the identity
holds true for all \(i=0,1,\dots \) and all \(\epsilon >0\). Here, all the constants involved
depend explicitly on the Fourier constants defined above and most importantly depend only on one index. Due to this fact, we can compute them (see Lemma B.1 in Appendix B). The fact that these constants are given in closed forms has a numerous advantages. First, we get the asymptotic behaviour for large i and fixed \(\epsilon >0\),
Second, we get their asymptotic behaviour for sufficiently small \(\epsilon \) and fixed \(i=0,1,\dots \),
We compute
and hence
Consequently, by the structure of the equations, \(^{\psi }{}{\mathcal {R}}_{3},^{\psi }{}{\mathcal {N}}_{3},^{\sigma }{}{\mathcal {R}}_{3}\) and \(^{\sigma }{}{\mathcal {N}}_{3}\) cannot blow up as \(\epsilon \) does to zero. However, we choose
to ensure that every component of the periodic parts \(^{\psi }{}{S}_{i}(\tau )\) and \(^{\sigma }{}{S}_{i}(\tau )\) of \(\psi _{i}\) and \(\sigma _{i}\), respectively, is bounded as \(\epsilon \) goes to zero. This choice coincides with the choice of \(\theta _{2}\) from the first approach as well as with the numerical computations of Rostworowski-Maliborski [30]. Similarly, using various trigonometric identities, we get
where
As before, all the constants involved
depend explicitly on the Fourier constants defined above and most importantly depend only on one index. Due to this fact, we can compute them (see Lemma B.1 in Appendix B). We immediately get their asymptotic behaviour for large i,
4.3 Choice of the Initial Data
We choose
so that
This choice is motivated by the fact that the source terms \(^{\psi }{}{S}_{i}(\tau )\) and \(^{\sigma }{}{S}_{i}(\tau )\) of the solutions \(\psi _{i}(\tau )\) and \(\sigma _{i}(\tau )\) would give rise to a periodic term. Indeed,
and similarly for \(\Sigma , B\) and \(\Theta \).
4.4 Growth and Decay of the Fourier Constants
We are interested in the asymptotic behaviour of all the Fourier constants which appear using this approach. To begin with, we split them into five groups as follows
As before, we shall use the notation
that is summation with respect to all possible combinations of plus and minus and expressions like \(\omega _{i} \pm \omega _{j} \pm \omega _{m}\) stand not only for \(\omega _{i} + \omega _{j} + \omega _{m}\) and \(\omega _{i} - \omega _{j} - \omega _{m}\) but also for \(\omega _{i} + \omega _{j} - \omega _{m}\) and \(\omega _{i} - \omega _{j} + \omega _{m}\), that is considering all possible combinations of plus and minus. We will use the leading-order terms (Remark 2.3) together with the asymptotic behaviour of the oscillatory integrals (Lemma 2.6), the orthogonality properties (Lemma 2.2), the \(L^{\infty }-\)bounds for quantities related to the eigenfunctions (Lemma 2.4) and the \(L^{\infty }-\)bounds of the weights \(\Gamma _{a}\) (estimate (4.1)).
4.4.1 Fourier Constants in \(\mathcal {A}_{1}\), \(\mathcal {A}_{2}\), \(\mathcal {A}_{3}\) and \(\mathcal {A}_{4}\)
First, we focus on the elements of \(\mathcal {A}_{1}\).
Proposition 4.1
(Fourier constants in \(\mathcal {A}_{1}\)). The following growth and decay estimates hold.
Growth and decay estimates for the Fourier constants in \(\mathcal {A}_{1}\) as \(i,j \longrightarrow + \infty \) | ||||
---|---|---|---|---|
Constant | F | 1st derivative \(\ne 0\) | \( \omega _{i} - \omega _{j} \longrightarrow \infty \) | |
\(\ne 0\) | ||||
\(\displaystyle \omega _{i} \mathbb {C}_{13ji}, \omega _{i}\mathbb {\overline{C}}_{13ji} \) | \(\displaystyle \Gamma _{1}-\Gamma _{3} \) | \(\displaystyle F^{(3)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}\right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^4} \right) \) |
\(\displaystyle \omega _{i}\mathbb {C}_{24ji}, \omega _{i}\mathbb {\overline{C}}_{24ji}\) | \(\displaystyle \Gamma _{2}-\Gamma _{4} \) | \(\displaystyle F^{(3)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}\right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^4}\right) \) |
\(\displaystyle \omega _{i}\mathbb {D}_{13ji}, \omega _{i}\mathbb {\overline{D}}_{13ji}\) | \(\displaystyle \Gamma _{1} \Gamma _{3} \) | \(\displaystyle F^{(3)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}\right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^4} \right) \) |
\(\displaystyle \omega _{i}\mathbb {D}_{24ji}, \omega _{i}\mathbb {\overline{D}}_{24ji}\) | \(\displaystyle \Gamma _{2} \Gamma _{4} \) | \(\displaystyle F^{(3)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}\right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^4}\right) \) |
\(\displaystyle \omega _{i}\mathbb {E}_{1423ji}, \omega _{i}\mathbb {\overline{E}}_{1423ji}\) | \(\displaystyle \Gamma _{1} \Gamma _{4}+ \Gamma _{2} \Gamma _{3} \) | \(\displaystyle F^{(3)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}\right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^4}\right) \) |
\(\displaystyle \omega _{i}\mathbb {G}_{0ji}\) | \(\displaystyle e_{0} \) | \(\displaystyle F^{(3)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i} \right) \) | \(\displaystyle \sum _{\pm }\mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^4}\right) \) |
\(\displaystyle \omega _{i}\mathbb {F}_{10ji}\) | \(\displaystyle \Gamma _{1} e_{0} \) | \(\displaystyle F^{(9)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}\right) \) | \(\displaystyle \sum _{\pm }\mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^{10}} \right) \) |
\(\displaystyle \omega _{i}\mathbb {F}_{20ji}\) | \(\displaystyle \Gamma _{2} e_{0} \) | \(\displaystyle F^{(11)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}\right) \) | \(\displaystyle \sum _{\pm }\mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^{12}}\right) \) |
\(\displaystyle \omega _{i}\mathbb {F}_{30ji}\) | \(\displaystyle \Gamma _{3} e_{0} \) | \(\displaystyle F^{(3)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}\right) \) | \(\displaystyle \sum _{\pm }\mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^{4}}\right) \) |
\(\displaystyle \omega _{i}\mathbb {F}_{40ji}\) | \(\displaystyle \Gamma _{4} e_{0} \) | \(\displaystyle F^{(3)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}\right) \) | \(\displaystyle \sum _{\pm }\mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^{4}}\right) \) |
\(\displaystyle \omega _{0}\mathbb {\overline{P}}_{10ji}, \frac{\omega _{0}\mathbb {P}_{10ji}}{\omega _{i}} \) | \(\displaystyle \Gamma _{1} e_{0}^{\prime }\sin \cos \) | \(\displaystyle F^{(9)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j})^{10}}\right) \) |
\(\displaystyle \omega _{0}\mathbb {\overline{P}}_{20ji},\frac{\omega _{0}\mathbb {P}_{20ji}}{\omega _{i}} \) | \(\displaystyle \Gamma _{2} e_{0}^{\prime }\sin \cos \) | \(\displaystyle F^{(11)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j})^{12}}\right) \) |
\(\displaystyle \omega _{0}\mathbb {\overline{P}}_{30ji},\frac{\omega _{0}\mathbb {P}_{30ji}}{\omega _{i}} \) | \(\displaystyle \Gamma _{3} e_{0}^{\prime }\sin \cos \) | \(\displaystyle F^{(3)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j})^{4}}\right) \) |
\(\displaystyle \omega _{0}\mathbb {\overline{P}}_{40ji},\frac{\omega _{0}\mathbb {P}_{40ji}}{\omega _{i}} \) | \(\displaystyle \Gamma _{4} e_{0}^{\prime }\sin \cos \) | \(\displaystyle F^{(3)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j})^{4}}\right) \) |
\(\displaystyle \omega _{0}\mathbb {\overline{J}}_{0ji}, \frac{\omega _{0}\mathbb {J}_{0ji}}{\omega _{i}}\) | \(\displaystyle e_{0}^{\prime }\sin \cos \) | \(\displaystyle F^{(3)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j})^{4}} \right) \) |
Proof
All these estimates follow directly from Lemma 2.9 and in particular from
as \(b \longrightarrow \infty \). However, we illustrate the proof only for the first constant, namely \(\omega _{i}\mathbb {C}_{13ji}\). For large values of i, j and in the case where both \(\omega _{i} \pm \omega _{j} \longrightarrow \infty \) (equivalently when \(\omega _{i} - \omega _{j} \longrightarrow \infty \)),
Observe that both \(\omega _{i} + \omega _{j}\) and \(\omega _{i} - \omega _{j}\) are even,
We define \(F(x):=\Gamma _{1}(x) - \Gamma _{3}(x)\). If \(\omega _{i} - \omega _{j} \longrightarrow \infty \), then Lemma 2.9 applies and since
we infer
as \(i,j \longrightarrow \infty \). On the other hand, if , then we see that
In conclusion,
as \(i,j \longrightarrow \infty \). \(\square \)
Second, we focus on the elements of \(\mathcal {A}_{2}\).
Proposition 4.2
(Fourier constants in \(\mathcal {A}_{2}\)). Let \(N\in \mathbb {N}\). The following growth and decay estimates hold.
Growth and decay estimates for the Fourier constants in \(\mathcal {A}_{2}\) as \(i,j,k \longrightarrow + \infty \) | ||||
---|---|---|---|---|
Constant | F | 1st derivative \(\ne 0\) | \(\forall ~\omega _{i} \pm \omega _{j} \pm \omega _{k} \longrightarrow \infty \) | |
\(\displaystyle \omega _{i}\mathbb {F}_{1jki}, \omega _{i}\mathbb {\overline{F}}_{1jki} \) | \(\displaystyle \frac{\Gamma _{1}}{\tan } \) | \(\displaystyle F^{(7)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O} \left( \omega _{i} \omega _{k} \right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j}\pm \omega _{k})^{8}} \right) \) |
\(\displaystyle \omega _{i}\mathbb {F}_{2jki}, \omega _{i}\mathbb {\overline{F}}_{2jki} \) | \(\displaystyle \frac{\Gamma _{2}}{\tan } \) | \(\displaystyle F^{(9)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O} \left( \omega _{i} \omega _{k} \right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j}\pm \omega _{k})^{10}}\right) \) |
\(\displaystyle \omega _{i}\mathbb {F}_{3jki}, \omega _{i}\mathbb {\overline{F}}_{3jki} \) | \(\displaystyle \frac{\Gamma _{3}}{\tan } \) | \(\displaystyle F^{\prime } \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O} \left( \omega _{i} \omega _{k} \right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j}\pm \omega _{k})^{2}}\right) \) |
\(\displaystyle \omega _{i}\mathbb {F}_{4jki}, \omega _{i}\mathbb {\overline{F}}_{4jki} \) | \(\displaystyle \frac{\Gamma _{4}}{\tan } \) | \(\displaystyle F^{\prime } \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O} \left( \omega _{i} \omega _{k} \right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j}\pm \omega _{k})^{2}}\right) \) |
\(\displaystyle \omega _{0}\mathbb {\overline{R}}_{0kji}, \frac{\omega _{0}\mathbb {R}_{0kji}}{\omega _{i}} \) | \(\displaystyle e_{0}^{\prime } \cos ^2 \) | None | \(\mathcal {O} \left( \omega _{j}\omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j}\pm \omega _{k})^{N}}\right) \) |
Proof
All these estimates follow directly from Lemma 2.9 and in particular from
as \(b \longrightarrow \infty \). However, we illustrate the proof only for the first constant, namely \(\omega _{i}\mathbb {F}_{1jki}\). For large values of i, j, k and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{k} \longrightarrow \infty \),
Observe that all \(\omega _{i} \pm \omega _{j} \pm \omega _{k}\) are odd,
We define \(F(x):=\frac{\Gamma _{1}(x) }{\tan (x)}\). Lemma 2.9 applies and since
we infer
as \(i,j,k \longrightarrow \infty \). Finally, for large values of i, j, k such that some , Holder’s inequality implies
as \(i,j,k \longrightarrow \infty \). In conclusion,
that completes the proof. \(\square \)
Now, we focus on the elements of \(\mathcal {A}_{3}\).
Proposition 4.3
(Fourier constants in \(\mathcal {A}_{3}\)). Let \(N\in \mathbb {N}\). The following growth and decay estimates hold.
Growth and decay estimates for the Fourier constants in \(\mathcal {A}_{3}\) as \(i,j \longrightarrow + \infty \) | ||||
---|---|---|---|---|
Constant | F | 1st derivative \(\ne 0\) | \( \omega _{i} - \omega _{j} \longrightarrow \infty \) | |
\(\displaystyle \omega _{0}\omega _{i} \mathbb { \overline{F}}_{10ji} \) | \(\displaystyle \Gamma _{1} e_{0}^{\prime } \) | \(\displaystyle F^{(8)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i} \right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^{9}}\right) \) |
\(\displaystyle \omega _{0}\omega _{i} \mathbb {\overline{F}}_{20ji} \) | \(\displaystyle \Gamma _{2} e_{0}^{\prime } \) | \(\displaystyle F^{(10)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i} \right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^{11}} \right) \) |
\(\displaystyle \omega _{0}\omega _{i} \mathbb {\overline{F}}_{30ji} \) | \(\displaystyle \Gamma _{3} e_{0}^{\prime } \) | \(\displaystyle F^{(2)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i} \right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^{3}}\right) \) |
\(\displaystyle \omega _{0}\omega _{i} \mathbb {\overline{F}}_{40ji} \) | \(\displaystyle \Gamma _{4} e_{0}^{\prime } \) | \(\displaystyle F^{(2)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i} \right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^{3}}\right) \) |
\(\displaystyle \omega _{0}\omega _{i} \mathbb {\overline{G}}_{0ji} \) | \(\displaystyle e_{0}^{\prime } \) | \(\displaystyle F^{(2)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}\right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j})^{3}} \right) \) |
\(\displaystyle \mathbb { \overline{Q}}_{10ji},\frac{\mathbb {Q}_{10ji}}{\omega _{i}} \) | \(\displaystyle \Gamma _{1} e_{0} \sin \cos \) | \(\displaystyle F^{(10)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j})^{11}}\right) \) |
\(\displaystyle \mathbb {\overline{Q}}_{20ji},\frac{\mathbb {Q}_{20ji}}{\omega _{i}} \) | \(\displaystyle \Gamma _{2} e_{0} \sin \cos \) | \(\displaystyle F^{(12)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1}{ (\omega _{i} \pm \omega _{j})^{13}} \right) \) |
\(\displaystyle \mathbb {\overline{Q}}_{30ji},\frac{\mathbb {Q}_{30ji}}{\omega _{i}} \) | \(\displaystyle \Gamma _{3} e_{0} \sin \cos \) | \(\displaystyle F^{(4)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j})^{5}} \right) \) |
\(\displaystyle \mathbb {\overline{Q}}_{40ji},\frac{\mathbb {Q}_{40ji}}{\omega _{i}} \) | \(\displaystyle \Gamma _{4} e_{0} \sin \cos \) | \(\displaystyle F^{(4)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j})^{5}}\right) \) |
\(\displaystyle \overline{\mathbb {I}}_{0ji},\frac{\mathbb {I}_{0ji}}{\omega _{i}} \) | \(\displaystyle e_{0} \sin \cos \) | \(\displaystyle F^{(4)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j})^{5}}\right) \) |
\(\displaystyle \omega _{0}^2\overline{\mathbb {R}}_{00ji}, \frac{\omega _{0}^2 \mathbb {R}_{00ji}}{\omega _{i}} \) | \(\displaystyle (e_{0}^{\prime })^2 \sin \cos \) | None | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j})^{N}}\right) \) |
\(\displaystyle \overline{\mathbb {S}}_{00ji},\frac{\mathbb {S}_{00ji}}{\omega _{i}} \) | \(\displaystyle ~~ e_{0}^2 \sin \cos \) | None | \(\mathcal {O}\left( \omega _{i}^{-1}\right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j})^{N}}\right) \) |
Proof
All these estimates follow directly from Lemma 2.9 and in particular from
as \(b \longrightarrow \infty \). However, we illustrate the proof only for the first constant, namely \(\omega _{0}\omega _{i}\mathbb {\overline{F}}_{10ji}\). For large values of i, j and in the case where \(\omega _{i} - \omega _{j} \longrightarrow \infty \),
Observe that both \(\omega _{i} + \omega _{j}\) and \(\omega _{i} - \omega _{j}\) are even,
We define \(F(x):= \Gamma _{1}(x) e_{0}^{\prime }(x) \) and compute
Now, Lemma 2.9 yields
as \(i,j \longrightarrow \infty \). On the other hand, for large values of i, j such that , Holder’s inequality implies
as \(i,j \longrightarrow \infty \). In conclusion,
that completes the proof. \(\square \)
Finally, we focus on the elements of \(\mathcal {A}_{4}\).
Proposition 4.4
(Fourier constants in \(\mathcal {A}_{4}\)). Let \(N\in \mathbb {N}\). The following growth and decay estimates hold.
Growth and decay estimates for the Fourier constants in \(\mathcal {A}_{4}\) as \(i,j,k \longrightarrow + \infty \) | ||||
---|---|---|---|---|
Constant | F | 1st derivative \(\ne 0\) | \( \forall ~\omega _{i} \pm \omega _{j} \pm \omega _{k} \longrightarrow \infty \) | |
\(\displaystyle \mathbb { \overline{I}}_{jki},\frac{\mathbb {I}_{jki}}{\omega _{i}} \) | \(\displaystyle ~~ \cos ^2 \) | \(\displaystyle F^{(2)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{3}} \right) \) |
\(\displaystyle \overline{\mathbb {J}}_{jki}, \frac{\mathbb {J}_{jki}}{\omega _{i}} \) | \(\displaystyle ~~ \cos ^2 \) | \(\displaystyle F^{(2)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{3}}\right) \) |
\(\displaystyle \overline{\mathbb {P}}_{1jki},\frac{\mathbb {P}_{1jki}}{\omega _{i}} \) | \(\displaystyle \Gamma _{1} \cos ^2 \) | \(\displaystyle F^{(8)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{9}}\right) \) |
\(\displaystyle \mathbb {\overline{P}}_{2jki},\frac{\mathbb {P}_{2jki}}{\omega _{i}} \) | \(\displaystyle \Gamma _{2} \cos ^2 \) | \(\displaystyle F^{(10)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1}\right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{11}} \right) \) |
\(\displaystyle \mathbb {\overline{P}}_{3jki},\frac{\mathbb {P}_{3jki}}{\omega _{i}}\) | \(\displaystyle \Gamma _{3} \cos ^2 \) | \(\displaystyle F^{(2)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{3}}\right) \) |
\(\displaystyle \mathbb {\overline{P}}_{4jki},\frac{\mathbb {P}_{4jki}}{\omega _{i}} \) | \(\displaystyle \Gamma _{4} \cos ^2 \) | \(\displaystyle F^{(2)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{3}}\right) \) |
\(\displaystyle \mathbb {\overline{Q}}_{1jki},\frac{\mathbb {Q}_{1jki}}{\omega _{i}} \) | \(\displaystyle \Gamma _{1} \cos ^2 \) | \(\displaystyle F^{(8)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{9}}\right) \) |
\(\displaystyle \mathbb {\overline{Q}}_{2jki},\frac{\mathbb {Q}_{2jki}}{\omega _{i}} \) | \(\displaystyle \Gamma _{2} \cos ^2 \) | \(\displaystyle F^{(10)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{11}}\right) \) |
\(\displaystyle \mathbb {\overline{Q}}_{3jki},\frac{\mathbb {Q}_{3jki}}{\omega _{i}} \) | \(\displaystyle \Gamma _{3} \cos ^2 \) | \(\displaystyle F^{(2)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{3}} \right) \) |
\(\displaystyle \mathbb {\overline{Q}}_{4jki},\frac{\mathbb {Q}_{4jki}}{\omega _{i}} \) | \(\displaystyle \Gamma _{4} \cos ^2 \) | \(\displaystyle F^{(2)} \left( \frac{\pi }{2} \right) \ne 0 \) | \(\mathcal {O}\left( \omega _{i}^{-1}\right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{3}}\right) \) |
\(\displaystyle ~ \mathbb {\overline{S}}_{0jki},\frac{\mathbb {S}_{0jki}}{\omega _{i} } \) | \(\displaystyle e_{0} \cos ^2 \) | None | \(\mathcal {O}\left( \omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm }\mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{N}} \right) \) |
\(\displaystyle \omega _{0} \omega _{i}\overline{\mathbb {H}}_{0jki} \) | \(\displaystyle ~~ \frac{e_{0}^{\prime }}{\tan } \) | None | \(\mathcal {O}\left( \omega _{i}\omega _{k} \right) \) | \(\displaystyle \sum _{\pm }\mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{N}}\right) \) |
Proof
All these estimates follow directly from Lemma 2.9 and in particular from
as \(b \longrightarrow \infty \). However, we illustrate the proof only for the first constant, namely \(\overline{\mathbb {I}}_{jki}\). For large i, we have
Now, for large values of i, j, k and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{k} \longrightarrow \infty \),
Observe that all \(\omega _{i} \pm \omega _{j} \pm \omega _{k}\),
We define \(F(x):= \cos ^2(x) \) and compute
Lemma 2.9 yields
as \(i,j,k \longrightarrow \infty \), whereas, for large values of i, j, k such that some , Holder’s inequality implies
In conclusion,
that completes the proof. \(\square \)
4.4.2 Fourier Constants in \(\mathcal {B}\)
We write
where
Proposition 4.5
(Fourier constants in \(\mathcal {B}_{1}\)). Let \(N\in \mathbb {N}\). The following growth and decay estimates hold.
Growth and decay estimates for the Fourier constants in \(\mathcal {B}_{1}\) as \(i,j,k \longrightarrow + \infty \) | ||
---|---|---|
Constant | \(\forall ~ \omega _{i} \pm \omega _{j} \pm \omega _{k} \longrightarrow \infty \) | |
\(\displaystyle ~ \omega _{i}\mathbb {H}_{0jki} \) | \(\mathcal {O}\left( \omega _{i}\omega _{k} \right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k})^{N}}\right) \) |
\(\displaystyle \omega _{i}\mathbb {G}_{jki} ,\omega _{i}\overline{\mathbb {G}}_{jki} \) | \(\mathcal {O}\left( \omega _{i}\omega _{k} \right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i}}{(\omega _{i} \pm \omega _{j} \pm \omega _{k} )^2} \right) \) |
Proof
First, observe that
are all odd. All results here follow from Lemma 2.6 and Remark 2.7. For large values of i, j, k and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{k} \longrightarrow \infty \),
By Remark 2.7, we infer that in this case
as \(i,j,k \longrightarrow \infty \), whereas, for large values of i, j, k such that some , Holder’s inequality implies
Second, for large values of i, j, k and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{k} \longrightarrow \infty \), we have
Hence, by Lemma 2.6, we get that in this case
as \(i,j,k \longrightarrow \infty \). On the other hand, for large values of i, j, k such that some , Holder’s inequality implies
Similarly, for large values of i, j, k and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{k} \longrightarrow \infty \),
and finally
as \(i,j,k \longrightarrow \infty \). However, for large values of i, j, k such that some , Holder’s inequality implies
that completes the proof. \(\square \)
Proposition 4.6
(Fourier constants in \(\mathcal {B}_{2}\)). Let \(N\in \mathbb {N}\). The following growth and decay estimates hold.
Growth and decay estimates for the Fourier constants in \(\mathcal {B}_{2}\) as \(i,j,k,l \longrightarrow + \infty \) | ||
---|---|---|
Constant | \( \forall ~\omega _{i} \pm \omega _{j} \pm \omega _{k} \pm \omega _{l} \longrightarrow \infty \) | |
\(\displaystyle \frac{\mathbb {R}_{klji}}{\omega _{i}}, \frac{\mathbb {S}_{jkli}}{\omega _{i}} \) | \(\displaystyle \mathcal {O} \left( \omega _{j}\omega _{i}^{-1}\right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k} \pm \omega _{l})^{N}}\right) \) |
\(\displaystyle \omega _{i}\mathbb {H}_{klji},\omega _{i}\overline{\mathbb {H}}_{ijkl} \) | \(\displaystyle \mathcal {O} \left( \omega _{i} \omega _{j} \omega _{k}\right) \) | \(\displaystyle \sum _{\pm } \mathcal {O} \left( \frac{\omega _{i} }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k} \pm \omega _{l})^{3}}\right) \) |
\(\displaystyle \overline{\mathbb {R}}_{klji},\overline{\mathbb {S}}_{jkli} \) | \(\displaystyle \mathcal {O} \left( \omega _{j}\omega _{i}^{-1} \right) \) | \(\displaystyle \frac{1}{\omega _{i}} \sum _{\pm } \mathcal {O} \left( \frac{1 }{ (\omega _{i} \pm \omega _{j} \pm \omega _{k} \pm \omega _{l})^{N}} \right) \) |
Proof
First, observe that
are all even. All results here follow from Lemma 2.6. For large values of i, j, k, l and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{k}\pm \omega _{l} \longrightarrow \infty \),
On the other hand, in the case where some , Holder’s inequality implies
where we used the \(L^{\infty }\) bounds as well as the orthogonality from Lemma 2.4. Furthermore, for large values of i, j, k, l and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{k}\pm \omega _{l} \longrightarrow \infty \),
On the other hand, in the case where some , Holder’s inequality implies
where we used the \(L^{\infty }\) bounds and the orthogonality from Lemma 2.4. Similarly, for large values of i, j, k, l and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{k}\pm \omega _{l} \longrightarrow \infty \),
On the other hand, in the case where some , Holder’s inequality implies
Furthermore, for large values of i, j, k, l and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{k}\pm \omega _{l} \longrightarrow \infty \),
and the rest of the proof coincides with the one above. On the other hand, if some , Holder’s inequality implies
In addition, for large values of i, j, k, l and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{k}\pm \omega _{l} \longrightarrow \infty \),
On the other hand, in the case where some , Holder’s inequality implies
Similarly, for large values of i, j, k, l and in the case where all \(\omega _{i} \pm \omega _{j} \pm \omega _{k}\pm \omega _{l} \longrightarrow \infty \),
and the rest of the proof coincides with the one above. On the other hand, if some , Holder’s inequality implies
that completes the proof. \(\square \)
Notes
These are terms of the form \(\tau ^{\alpha } \sin ( \beta \tau )\) and \(\tau ^{\alpha } \cos ( \beta \tau )\) for some \(\alpha >0\) and \(\beta \in \mathbb {R}\).
References
Bachelot, A.: The Dirac system on the anti-de Sitter universe. Commun. Math. Phys. 283(1), 127–167 (2008)
Balasubramanian, V., Buchel, A., Green, S.R., Lehner, L., Liebling, S.L.: Holographic thermalization, stability of anti-de sitter space, and the Fermi-Pasta-Ulam paradox. Phys. Rev. Lett. 113, 071601 (2014)
Baldi, P., Berti, M., Haus, E., Montalto, R.: Time quasi-periodic gravity water waves in finite depth. Invent. Math. 214(2), 739–911 (2018)
Baldi, P., Berti, M., Montalto, R.: A note on KAM theory for quasi-linear and fully nonlinear forced KdV. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 24(3), 437–450 (2013)
Baldi, P., Berti, M., Montalto, R.: KAM for autonomous quasi-linear perturbations of KdV. Ann. Inst. H. Poincaré C Anal. Non Linéaire 33(6), 1589–1638 (2016)
Baldi, P., Berti, M., Montalto, R.: KAM for autonomous quasi-linear perturbations of mKdV. Boll. Unione Mat. Ital. 9(2), 143–188 (2016)
Berti, M.: Nonlinear Oscillations of Hamiltonian PDEs, Volume 74 of Progress in Nonlinear Differential Equations and their Applications. Birkhäuser Boston Inc, Boston (2007)
Berti, M., Montalto, R.: Quasi-periodic standing wave solutions of gravity-capillary water waves. Mem. Am. Math. Soc. 263(1273), v+171 (2020)
Biasi, A., Craps, B., Evnin, O.: Energy returns in global \({{\rm AdS}}_4\). Phys. Rev. D 100(2), 024008 (2019)
Bizoń, P., Maliborski, M., Rostworowski, A.: Resonant dynamics and the instability of anti-de sitter spacetime. Phys. Rev. Lett. 115, 081103 (2015)
Bizoń, P., Rostworowski, A.: Weakly turbulent instability of anti-de sitter spacetime. Phys. Rev. Lett. 107, 031102 (2011)
Bizoń, P.: Is AdS stable? Gen. Relat. Gravit. 46(5), Art. 1724, 14 (2014)
Buchel, A., Lehner, L., Liebling, S.L.: Scalar collapse in ads spacetimes. Phys. Rev. D 86, 123011 (2012)
Buchel, A., Liebling, S.L., Lehner, L.: Boson stars in ads spacetime. Phys. Rev. D 87, 123006 (2013)
Choptuik, M.W.: Universality and scaling in gravitational collapse of a massless scalar field. Phys. Rev. Lett. 70, 9–12 (1993)
Christodoulou, D., Klainerman, S.: The Global Nonlinear Stability of the Minkowski Space, volume 41 of Princeton Mathematical Series. Princeton University Press, Princeton (1993)
Craps, B., Evnin, O., Vanhoof, J.: Renormalization group, secular term resummation and AdS (in)stability. J. High Energy Phys., (10), 048, front matter+30 (2014)
Craps, B., Evnin, O., Vanhoof, J.: Ultraviolet asymptotics and singular dynamics of AdS perturbations. J. High Energy Phys. (10), 079, front matter+16 (2015)
Dafermos, M.: The black hole stability problem. Talk at the Newton Institute, Cambridge. http://www-old.newton.ac.uk/webseminars/pg+ws/2006/gmx/1010/dafermos/ (2006)
Dafermos, M., Holzegel, G: Dynamic instability of solitons in \(4+1\) dimesnional gravity with negative cosmological constant. https://www.dpmms.cam.ac.uk/md384/ADSinstability.pdf (2006)
Dias, Ó.J.C., Horowitz, G.T., Marolf, D., Santos, J.E.: On the nonlinear stability of asymptotically anti-de Sitter solutions. Class. Quantum Gravity 29(23), 235019, 24 (2012)
Dias, Ó.J.C., Horowitz, G.T., Santos, J.E.: Gravitational turbulent instability of anti-de Sitter space. Class. Quantum Gravity 29(19), 194002, 7 (2012)
Friedrich, H.: On the existence of \(n\)-geodesically complete or future complete solutions of Einstein’s field equations with smooth asymptotic structure. Commun. Math. Phys. 107(4), 587–609 (1986)
Gibbons, G.W., Hawking, S.W., Horowitz, G.T., Perry, M.J.: Positive mass theorems for black holes. Commun. Math. Phys. 88(3), 295–308 (1983)
Green, S.R., Maillard, A., Lehner, L., Liebling, S.L.: Islands of stability and recurrence times in ads. Phys. Rev. D 92, 084001 (2015)
Holzegel, G., Smulevici, J.: Self-gravitating Klein-Gordon fields in asymptotically anti-de-Sitter spacetimes. Ann. Henri Poincaré 13(4), 991–1038 (2012)
Holzegel, G., Warnick, C.M.: The Einstein-Klein-Gordon-AdS system for general boundary conditions. J. Hyperbolic Differ. Equ. 12(2), 293–342 (2015)
Hunik-Kostyra, D., Rostworowski, A.: AdS instability: resonant system for gravitational perturbations of \({{\rm AdS}} _5\) in the cohomogeneity-two biaxial Bianchi IX ansatz. J. High Energy Phys. (6):40. Id/No 2
Jałmużna, J., Rostworowski, A., Bizoń, P.: Ads collapse of a scalar field in higher dimensions. Phys. Rev. D 84, 085021 (2011)
Maliborski, M., Rostworowski, A.: Time-periodic solutions in an Einstein AdS-massless-scalar-field system. Phys. Rev. Lett. 111, 051102 (2013)
Moschidis, G.: Two Instability Results in General Relativity. ProQuest LLC, Ann Arbor, MI, Ph.D. thesis, Princeton University (2018)
Moschidis, G.: A proof of the instability of AdS for the Einstein-null dust system with an inner mirror. Anal. PDE 13(6), 1671–1754 (2020)
Moschidis, G.: A proof of the instability of AdS for the Einstein-massless Vlasov system. Invent. Math. 231(2), 467–672 (2023)
Rostworowski, A.: Turbulent Instability of Anti-de Sitter Space?, Talk at the Instituto Superior Técnico (IST), Lisboa, Portugal (2011)
Schoen, R., Yau, S.T.: Proof of the positive mass theorem. II. Commun. Math. Phys. 79(2), 231–260 (1981)
Szegő, G.: Orthogonal Polynomials, 4th edn. American Mathematical Society, Providence (1975). American Mathematical Society, Colloquium Publications, Vol. XXIII
Witten, E.: A new proof of the positive energy theorem. Commun. Math. Phys. 80(3), 381–402 (1981)
Acknowledgements
The author would like to thank Professor Jacques Smulevici for very useful comments and insights and gratefully acknowledges the support of the ERC Grant 714408 GEOWAKI under the European Union’s Horizon 2020 research and innovation program. The author also acknowledges funding by the Alexander von Humboldt Foundation endowed by the Federal Ministry of Education and Research, by the ERC Consolidator Grant 772249 as well as by the Germany’s Excellence Strategy EXC 2044 390685587, Mathematics Munster: Dynamics-Geometry-Structure.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mihalis Dafermos.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Auxiliary Integral Estimates
In this section, we prove estimate (2.11). To do so, we will use the notation
Lemma A.1
For all \(i=0,1,2,\dots \), we have
Proof
Both results follow from Lemma 2.5. For the first result, we get
Now, we use various trigonometric identities to compute
Hence,
Similarly, for the second result, we get
Now, we use various trigonometric identities to compute
Hence,
that completes the proof. \(\square \)
Appendix B. Closed Formulas for the Fourier Constants with One Index
In this section, we list closed formulas for the Fourier constants with one index which are used in Sect. 4.2.
Lemma B.1
For all \(j=0,1,2,\dots \), we have
Proof
All these closed formulas are based on Lemma 2.2 and follow similarly. Therefore, we illustrate the proof only for the first constant, namely for \(\mathbb {C}_{130j}\). For all \(j=0,1,2,\dots \), we have
where
and
We use trigonometric identities to write
For \(j\ge 5\), we compute each integral separately and find a closed formula for the first integral in (B.1). Similarly, for the second. All the other values \(\mathbb {C}_{130j}\), \(j\in \{0,1,2,3,4\}\) are computed with Mathematica. \(\square \)
Rights and permissions
This article is published under an open access license. Please check the 'Copyright Information' section either on this page or in the PDF for details of this license and what re-use is permitted. If your intended use exceeds what is permitted by the license or if you are unable to locate the licence and re-use information, please contact the Rights and Permissions team.
About this article
Cite this article
Chatzikaleas, A. On the Fourier Analysis of the Einstein–Klein–Gordon System: Growth and Decay of the Fourier Constants. Ann. Henri Poincaré 25, 3009–3079 (2024). https://doi.org/10.1007/s00023-023-01393-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-023-01393-z