Abstract
We present a comprehensive analysis of quasinormal modes (QNMs) for noncommutative geometry-inspired Schwarzschild black holes, encompassing both non-extreme and extreme cases. By employing a spectral method, we calculate the QNMs in the context of scalar, electromagnetic, and gravitational perturbations. Our findings not only challenge previous claims in the literature regarding the instability of these black holes but also reveal remarkable stability for both non-extreme and extreme Schwarzschild black holes under various perturbations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
What exactly is a quasinormal mode (QNM)? In essence, we can think of it as the real-world counterpart to the idealized normal mode. To illustrate this concept, let us consider the example of a gently perturbed wine glass. When we tap the glass lightly, it produces a sound that gradually fades away as energy dissipates into the surroundings. If this were a normal mode, the ringing would persist indefinitely. In our current study, we venture into a realm of objects far more intriguing than an ordinary wine glass, namely, black holes. When we delve into more complex scenarios, accounting for possible dissipative phenomena, it becomes natural to expect that an expansion in normal modes is no longer feasible. In such cases, it will be quite natural for the solutions to exhibit decay over time instead of oscillating indefinitely. For this reason, the frequencies will be represented by complex numbers. Let us consider the possibility that the nature of the equilibrium point of a physical system around which we perform an expansion is not known a priori. The QNMs we determine may be characterized by frequencies whose imaginary part does not describe the damping of solutions around the aforementioned point but instead signifies an exponential growth over time. It is easy to deduce that, in this case, the equilibrium point is, in fact, unstable. The significance of this concept is profound: often, the expansion in QNMs is employed to ascertain the stability of highly complex systems, and it was precisely this idea that prompted Regge and Wheeler in their seminal paper [1] to initiate the study of black holes within the perturbative framework.
over the years, various techniques have been developed to study the QNMs, each with its own peculiarities. One of the most important methods for determining them is the WKB (Wentzel–Kramers–Brillouin) method [2]. This particular approach extensively exploits the analogy between the physical phenomenon we are studying here and the study of energy eigenvalues for wave functions using the Schrödinger equation in Quantum Mechanics. Another technique useful for the determination of QNMs makes use of group theory. The proposed technique, known as the inverted potential method [3], is specifically applicable only in the case of a Schwarzschild black hole, not a Kerr black hole. It is based on the similarity between the effective and reversed Pöschl–Teller potentials. Furthermore, the continued fractions method analysis was first introduced by [4, 5] while the Laplace transform method was exploited in [6]. In addition to the aforementioned techniques, it is worth mentioning that the Asymptotic Iterative Method (AIM) has also been applied to determine the QNMs for Schwarzschild, Reissner-Nordström, and Kerr black holes in the case of spin 0, 1/2, and 2 perturbations [7,8,9,10,11,12,13]. Recently, in a study by [14], QNMs of a Schwarzschild black hole were revisited using an innovative approach called the spectral method. Spectral methods, though less common in the general relativity (GR) quasinormal mode (QNM) community, offer substantial advantages both analytically and numerically. These methods harness spectral expansions derived from constructive approximation theory. The coefficients within these expansions are computed numerically, resulting in an approximate analytical representation of the solution, effectively blending the strengths of both analytical and numerical approaches.
In contrast to widely used methods such as WKB, inverse potential, and AIM methods, spectral techniques do not rely on local approximations of the potential near its maximum nor require constraints on the angular momentum parameter. The WKB technique also struggles with potentials whose second derivative at the maximum is zero, thus leading to divergent behaviours in formulae like (4.1) in [15]. Finally, for a thorough analysis of the validity of the WKB approximation in calculating the asymptotic quasinormal modes of black holes we refer to [16]. Asymptotic iteration methods, while useful, are highly sensitive to the choice of initial values in the parameter space. An incorrect choice during the initialization process can affect the stability of the method and the number of iterations required to compute eigenvalues or quasinormal modes. A recent attempt to find the optimal selection can be found in [17].
On the other hand, spectral methods utilize the full analytical form of the potential without any need for local approximations or heuristic modifications. This comprehensive approach not only provides high accuracy but also ensures exponentially fast convergence for the regular part of the solution of a radial equation once its singular behaviour has been completely determined. This feature is particularly advantageous in the search of QNMs of astrophysical objects. For the aforementioned reasons, in the current paper, we will employ an improved version of the spectral technique to explore the QNMs of the Schwarzschild black hole inspired by noncommutative geometry in the case of a massless particle of spin \(s = 0\) (scalar perturbation), \(s = 1\) (electromagnetic perturbation), and \(s = 2\) (vector-type gravitational perturbation) [18].
While a substantial body of literature exists dedicated to the investigation of QNMs in the context of the classic Schwarzschild spacetime [10, 19,20,21,22,23,24,25,26], the situation is considerably less comprehensive for the noncommutative Schwarzschild manifold. In the latter case, the literature contains only partial and occasionally contradictory findings, which we will briefly address in the following discussion. For example, Giri [27] analyzed the asymptotic QNMs of the nonextreme black hole inspired by noncommutative geometry under the assumption that the black hole mass significantly exceeds its extreme mass. As previously highlighted by [28], in this regime, the QNMs already align with those of its classical counterpart. Hence, it comes as no surprise that [27] concluded that the asymptotic QNMs remain proportional to \(\ln {3}\), thus mirroring the corresponding behaviour in the case of the classic Schwarzschild solution. Recently, Liang [29, 30] conducted a study on QNMs of massless scalar field perturbations in the nonextreme regime utilizing the third-order WKB approximation. The author specifically focused on cases with \(\ell \in \{1,2,3\}\). In this work, the quasinormal frequencies have been computed for values of the noncommutative parameter \(\theta \) across the interval [0.01, 0.2758]. If we recall that \(\sqrt{\theta }\) represents a quantum of length, it is reasonable to assume that \(\sqrt{\theta }\) is on the order of the Planck length, \(L_P\). Consequently, the interval chosen in [29, 30] corresponds to a selection of black hole masses within the range \(3.6 M_P< M < 19 M_P\), where \(M_P\) represents the Planck mass. In this specific range and employing the third-order WKB approximation, Liang [29, 30] observed stable results for the QNMs. It is noteworthy that, in contrast, Batic et al. [28] identified instabilities using WKB approximations from third sixth order not only in the narrower range of \(1.9 M_P< M < 2.3897 M_P\) but also in the extreme case \(\mu =1.9 M_P\). Batic et al. [28] emphasized that extending the WKB calculations to the sixth order reveals a lack of convergence precisely when the presumed instabilities occur. To gain insight into the nature of these instabilities, Batic et al. [28] resorted to alternative methods. The inverted potential and Asymptotic Iterative Methods (AIM) failed to detect any instability. However, it is worth noting that both of these methods entail certain approximations, and the AIM method, in particular, is known to encounter convergence issues. For a more in-depth discussion of this aspect, we refer to [17]. Last but certainly not least, Batic and Nicolini [31] conducted an examination of the stability within the interior of the noncommutative Schwarzschild black hole. This analysis involved the study of massless scalar field propagation between the two horizons. Their findings demonstrated that spacetime fuzziness, influenced by higher momenta of the field, effectively mitigates the classical exponential blue shift divergence. This mitigation suppresses the emergence of infinite energy density in regions proximate to the Cauchy horizon. Conversely, Brown and Mann [32] investigated the surface gravity of both inner and outer horizons and posited that the Cauchy horizon might become unstable when subjected to perturbations from infalling matter. In light of this ongoing discussion, there is a significant interest in investigating the (in)stabilities of nonextreme and extreme noncommutative geometry-inspired black holes by analyzing their respective QNMs. In the present study, we tackle this challenge by employing the spectral method to analyze quasinormal frequencies associated with scalar, electromagnetic, and vector-type gravitational perturbations. Our results unequivocally demonstrate the absence of instabilities in both the extreme and nonextreme cases. Notably, in the extreme case, where the event horizon essentially serves as a de facto Cauchy horizon, our findings align with the conclusions derived in [31], further bolstering their validity.
The paper is organised as follows. In Sect. 2, we introduce a suitable rescaling of the noncommutative Schwarzschild manifold and derive the effective potential for a massless scalar field in the aforementioned geometry. Moreover, we also establish the corresponding QNMs boundary conditions of a massless scalar field in the presence of nonextreme and extreme noncommutative Schwarzschild black holes. Section 3 describes the numerical method used in our study, providing the basis for our computational approach. In Sect. 4, we validate our numerical method by applying it to large-mass noncommutative Schwarzschild black holes. This choice is strategic as, in this high-mass regime, these black holes converge towards the characteristics of classical Schwarzschild black holes, providing a robust benchmark for validation. Here, we also delve into the numerical findings for both nonextreme and extreme noncommutative black holes. Finally, Sect. 5 offers conclusions and an outlook, reflecting on the implications of our findings and suggesting directions for future research.
2 Equations of motion
We consider a massless scalar field \(\psi \) immersed in the noncommutative geometry inspired Schwarzschild background whose line element in units where \(c = G_N = 1\) reads [18]
with the mass function
where M is the total mass of a gravitational object, \(\theta \) is a parameter encoding noncommutativity and having the dimension of a length squared. At the same time, \(\gamma (\cdot ,\cdot )\) is the incomplete lower gamma function. Considering the relationship between the upper and lower incomplete gamma functions as expressed by the formula [33]
we can represent the \(g_{00}\) metric coefficient in (1) as a combination of the typical Schwarzschild term augmented by a noncommutativity-induced perturbation, namely
Note that when \(r/\sqrt{\theta }\rightarrow +\infty \), the term \(\Gamma (3/2,r^2/4\theta )\) tends to zero, yielding the classic Schwarzschild metric. If we introduce the following rescaling
coupled with the identities [33]
we can cast (4) in the form
where \(\hbox {erf}(\cdot )\) represents the error function. The picture emerging from Fig. 1 where f has been plotted against x, is the following: an extreme noncommutative geometry inspired Schwarzschild black hole appears when the rescaled mass takes the critical value \(\mu _e = 1.904119076\ldots \). In this regime, the Cauchy horizon \(x_c\) and the event horizon \(x_h\) coincide, and their values correspond to \(x_e = x_c = x_h = 0.7936575898\ldots \) Whenever \(\mu < \mu _{e}\), the line element (1) represents a naked gravitational droplet regular at \(x = 0\) [18]. Finally, two distinct horizons exist for \(\mu > \mu _{e}\). Differently as in the case of the Schwarzschild metric, if we probe into shorter distances, i.e. \(r \ll \sqrt{\theta }\), it is possible to show the absence of a curvature central singularity which is instead replaced by a regular deSitter core [18]. In the present work, we focus our analysis on the QNMs for the nonextreme and extreme cases.
Considering this, it is advantageous to implement the rescaling \(z = x/x_h\), as this approach effectively maps the event horizon to 1 in both the extreme and nonextreme cases. Hence, the \(g_{00}\) metric coefficient, as expressed by (7), becomes
while in the presence of a noncommutative geometry-inspired Schwarzschild black hole, the equation governing a massless Klein–Gordon field (assumed to have a time dependence of the form \(e^{-i\omega t}\) and an angular component described by spherical harmonics) is as follows [28]
with \(\ell = 0, 1, 2, \ldots \) and \(\epsilon = -1\) (massless scalar perturbation \(s=0\)), \(\epsilon = 0\) (electromagnetic perturbation \(s=1\)), and \(\epsilon = 3\) (vector-type gravitational perturbation \(s=2\)). A comprehensive analysis of the effective potential, along with its graphical representations for both configurations, has been extensively covered in [28]. By means of the substitution \(r=2Mx_h z\), the above equation can be recast in the equivalent form
with f(z) as given in (8). As a consistency check, note that in the limit corresponding to the classic Schwarzschild case, i.e. \(x_h \rightarrow 1\) and \(r/\sqrt{\theta } \rightarrow \infty \), the above equation correctly reproduces equation (2) in [4], where the term \(\omega ^3\) should be corrected to \(\omega ^2\). In the following analysis, we focus on computing the QNMs for the spectral problem stated in (10). For this purpose, we represent \(\Omega \) as \(\Omega = \Omega _R + i\Omega _I\), where \(\Omega _I < 0\) ensures that the perturbation is dumped in time. The boundary conditions are set so that the radial field exhibits inward radiation at the event horizon and outward radiation at spatial infinity. This necessitates a detailed examination of the solution asymptotic behaviour in (10), both near the event horizon (\(z \rightarrow 1^{+}\)) and at large spatial distances (\(z \rightarrow +\infty \)). Moreover, to compute the QNMs using the spectral method, we must recast the differential equation in (10) and the appropriate boundary conditions over the compact interval \([-1,1]\). This adjustment is essential as the method expands the regular part of the eigenfunctions by means of Chebyshev polynomials.
2.1 The non-extreme case
This scenario focuses on mass parameters \(\mu > \mu _e\). The metric coefficient \(g_{00}\) is given as defined in (8). It is important to note that the Cauchy and event horizons are distinct in the present case, and therefore, \(g_{00}\) exhibits a simple zero at \(z=1\). To establish the QNM boundary conditions at the event horizon and at infinity, we first need to determine the asymptotic behaviour of the radial solution \(\psi _{\Omega \ell \epsilon }\) as \(z \rightarrow 1^{+}\) and as \(z \rightarrow +\infty \). We can then extract the QNM boundary conditions from this asymptotic data. As a consistency check, we will also verify that in the limit \(r/\sqrt{\theta }\), these conditions correctly reproduce the corresponding ones for the classic Schwarzschild case specified in equation (4) of [4]. We split our analysis by examining the behaviour of the radial field in two different regions.
-
1.
\({{\hbox {Asymptotic behaviour as }z\rightarrow 1^{+}}}\): Given that \(z=1\) is a simple zero of f(z), we can represent the latter in the form \(f(z) = (z-1) g(z)\) where g is an analytic function at \(z=1\) with the property that \(g(1) = f'(1) \ne 0\). Here, the prime symbol stands for differentiation with respect to z. This representation enables us to reformulate (10) in the form
$$\begin{aligned}{} & {} \frac{d^2\psi _{\Omega \ell \epsilon }}{dz^2}+p(z)\frac{d\psi _{\Omega \ell \epsilon }}{dz}+q(z)\psi _{\Omega \ell \epsilon }(z)=0, \end{aligned}$$(11)$$\begin{aligned}{} & {} p(z)=\frac{f^{'}(z)}{(z-1)g(z)},\nonumber \\{} & {} q(z)=\frac{4x_h^2\Omega ^2}{(z-1)^2 g^2(z)}-\frac{1}{(z-1)g(z)}\left[ \frac{\epsilon }{z}f^{'}(z)+\frac{\ell (\ell +1)}{z^2}\right] .\nonumber \\ \end{aligned}$$(12)Since p and q have poles of order one and two at \(z = 1\), respectively, this point is classified as a regular singular point of (11), according to Frobenius theory [34]. Hence, we can construct solutions of the form
$$\begin{aligned} \psi _{\Omega \ell \epsilon }(z) = (z-1)^\rho \sum _{\kappa =0}^\infty a_\kappa (z-1)^\kappa . \end{aligned}$$(13)The leading behavior at \(z = 1\) is represented by the term \((z-1)^\rho \) where \(\rho \) is determined by the indicial equation
$$\begin{aligned} \rho (\rho -1) + P_0\rho + Q_0 = 0 \end{aligned}$$(14)with
$$\begin{aligned} P_0= & {} \lim _{z \rightarrow 1}(z-1)p(z) = 1, \quad Q_0=\lim _{z \rightarrow 1}(z-1)^2\nonumber \\ q(z)= & {} \left( \frac{2x_h\Omega }{f^{'}(1)}\right) ^2. \end{aligned}$$(15)The roots of (14) are \(\rho _\pm = \pm 2i x_h\Omega /f^{'}(1)\) and the correct QNM boundary condition at \(z = 1\) reads
$$\begin{aligned}{} & {} \psi _{\Omega \ell \epsilon }\underset{{z\rightarrow 1^+}}{\longrightarrow } (z-1)^{-2i x_h\alpha \Omega },\nonumber \\{} & {} \quad \alpha =\frac{1}{f^{'}(1)}. \end{aligned}$$(16)We can easily obtain a compact formula for \(f^{'}(1)\) if we observe that
$$\begin{aligned} f^{'}(1) = \frac{\hbox {erf}(\mu x_h)}{x_h}-\frac{2\mu }{\sqrt{\pi }}(1+2\mu ^2 x_h^2)e^{-\mu ^2 x_h^2} \end{aligned}$$(17)can be further simplified by taking into account the condition \(f(1) = 0\). Solving the latter with respect to the error function leads to
$$\begin{aligned} \hbox {erf}(\mu x_h) = x_h\left( 1+\frac{2\mu }{\sqrt{\pi }}e^{-\mu ^2 x_h^2}\right) , \end{aligned}$$(18)which in turns allows to express (17) as follows
$$\begin{aligned} f^{'}(1) = 1 - \frac{4\mu ^3 x_h^2}{\sqrt{\pi }}e^{-\mu ^2 x_h^2}. \end{aligned}$$(19)At this point, a remark is in order. We note that as \(\sqrt{\theta } \rightarrow 0\), the rescaled mass parameter \(\mu = M/\sqrt{\theta } \rightarrow +\infty \). This implies that \(f'(1) \rightarrow 1\) aligns with the expected behaviour in the classic Schwarzschild case. Applying this observation to (16) and considering that in this limit \(x_h \rightarrow 1\), it becomes evident that the prescription (16) accurately reflects the QNM boundary condition at the event horizon, as delineated in equation (4) of [4]
-
2.
\({{\hbox {Asymptotic behaviour as }z\rightarrow +\infty }}\): We first rewrite (10) as
$$\begin{aligned}{} & {} \frac{d^2\psi _{\Omega \ell \epsilon }}{dz^2} + P(z)\frac{d\psi _{\Omega \ell \epsilon }}{dz} + Q(z)\psi _{\Omega \ell \epsilon }(z) = 0, \nonumber \\{} & {} P(z) = \frac{f^{'}(z)}{f(z)}, \quad Q(z) = \frac{4\left[ x_h^2\Omega ^2-V_\epsilon (z)\right] }{f^2(z)} \end{aligned}$$(20)with \(V_\epsilon (z)\) defined in (10). In order to classify the point at infinity, it is convenient to introduce the transformation \(\tau = 1/z\). Then, the above differential equation becomes
$$\begin{aligned}{} & {} \frac{d^2\psi _{\Omega \ell \epsilon }}{d\tau ^2}+C(\tau )\frac{d\psi _{\Omega \ell \epsilon }}{d\tau }+D(\tau )\psi _{\Omega \ell \epsilon }(\tau )=0,\nonumber \\{} & {} C(\tau )=\frac{2}{\tau }+\frac{1}{f(\tau )}\frac{df}{d\tau },\quad D(\tau )=\frac{4\left[ x_h^2\Omega ^2-V_\epsilon (\tau )\right] }{\tau ^4 f^2(\tau )}.\nonumber \\ \end{aligned}$$(21)Since for \(k = 1\) we have
$$\begin{aligned}{} & {} \tau ^{k+1}C(\tau ) = C_0 + C_1\tau + \mathcal {O}(\tau ^2),\nonumber \\{} & {} C_0 = 0, \quad C_1 = 2, \end{aligned}$$(22)$$\begin{aligned}{} & {} \tau ^{2k+2}D(\tau ) = D_0 + D_1\tau + \mathcal {O}(\tau ^2),\nonumber \\{} & {} D_0 = 4x_h^2\Omega ^2, \quad D_1 = 8x_h\Omega ^2 \end{aligned}$$(23)with \(D_0\ne 0\), according to [35], the point at infinity is an irregular singular point of rank one. Consequently, the asymptotic behaviour of the solutions to Eq. (20) can be efficiently deduced using the method outlined in [36]. For this purpose, we start by observing that
$$\begin{aligned}{} & {} P(z) = \sum _{\kappa =0}^\infty \frac{\mathfrak {f}_\kappa }{z^k} = \mathcal {O}\left( \frac{1}{z^2}\right) ,\nonumber \\{} & {} Q(z) = \sum _{\kappa =0}^\infty \frac{\mathfrak {g}_\kappa }{z^k}=4x_h^2\Omega ^2+\frac{8x_h\Omega ^2}{z}+\mathcal {O}\left( \frac{1}{z^2}\right) . \end{aligned}$$(24)Given that at least one of the coefficients \(\mathfrak {f}_0\), \(\mathfrak {g}_0\), \(\mathfrak {g}_1\) is nonzero, a formal solution to (20) is represented by [36]
$$\begin{aligned} \psi ^{(j)}_{\Omega \ell \epsilon }(z) = z^{\mu _j}e^{\lambda _j z}\sum _{\kappa =0}^\infty \frac{a_{\kappa ,j}}{z^\kappa }, \quad j \in \{1,2\}, \end{aligned}$$(25)where \(\lambda _1\), \(\lambda _2\), \(\mu _1\) and \(\mu _2\) are the roots of the characteristic equations
$$\begin{aligned} \lambda ^2+\mathfrak {f}_0\lambda +\mathfrak {g}_0=0,\quad \mu _j=-\frac{\mathfrak {f}_1\lambda _j+\mathfrak {g}_1}{\mathfrak {f}_0+2\lambda _j}. \end{aligned}$$(26)A straightforward computation shows that \(\lambda _\pm = \pm 2ix_h\Omega \) and \(\mu _\pm = \pm 2i\Omega \). As a result, the QNM boundary condition at space-like infinity can be expressed as
$$\begin{aligned} \psi _{\Omega \ell \epsilon }\underset{{z\rightarrow +\infty }}{\longrightarrow } z^{2i\Omega }e^{2i x_h\Omega z}. \end{aligned}$$(27)It is gratifying to observe that it reproduces correctly the corresponding condition for the classic Schwarzschild case.
At this point, we can proceed as in [4], that is, we transform the radial function \(\psi _{\Omega \ell \epsilon }(z)\) into a new radial function \(\Phi _{\Omega \ell \epsilon }(z)\) such that the QNM boundary conditions are automatically implemented and \(\Phi _{\sigma \ell \epsilon }(z)\) is regular at \(z = 1\) and at space-like infinity. To this aim, we consider the transformation
Note that in the limit of a vanishing noncommutative parameter, the above ansatz reduces to the corresponding one represented by equation (5) in [4] for the classic Schwarzschild case. If we substitute (28) into (10), we end up with the following ordinary differential equation for the radial eigenfunctions, namely
with
Let us now introduce the transformation \(z = 2/(1-y)\) mapping the point at infinity and the event horizon to \(y = 1\) and \(y = -1\), respectively. Furthermore, a dot denotes differentiation with respect to the new variable y. Then, Eq. (29) becomes
where
with
Notice that we must also require that \(\Phi _{\Omega \ell \epsilon }(y)\) is regular at \(y=\pm 1\). As a result of the transformation introduced above, we have
Table 1 shows that the coefficients of the differential equation (35) share a common zero of order 3 at \(y = -1\) while \(y = 1\) is a pole of order 2 for the coefficients \(S_1\) and \(S_0\). Hence, in order to apply the spectral method, we need to multiply (35) by \((1-y)^2/(1+y)^3\). As a result, we end up with the following differential equation
where
with
It can be easily verified with Maple that
where
and
In the final step leading to the application of the spectral method, we recast the differential equation (43) into the following form
with
Moreover, in Table 2, we have summarized the \(\widehat{L}_{ij}\) appearing in (60)–(62) and their limiting values at \(y = \pm 1\).
2.2 The extreme case
In this scenario characterized by \(\mu = \mu _e\), we still introduce the rescaling \(x=r/(2M)\). However, since the Cauchy and the event horizon coincide, i.e. \(x_e = x_c = x_h = 0.7936575898\ldots \), it is useful to introduce a second rescaling given by \(\xi = x/x_e\). Hence, the \(g_{00}\) metric coefficient, as expressed by (7), becomes
while the radial part of a massless Klein–Gordon field can be expressed in the equivalent form
with \(f_e(\xi )\) as given in (63). The fact that \(f_e(\xi )\) exhibits a zero of order two at \(\xi = 1\), implies that \(f_e(1) = 0 = f^{'}(1)\) where the prime denotes differentiation with respect to \(\xi \). This observation allows us to derive the following functional relations
which, in turn, plays an important role in simplifying the forthcoming computations. In order to derive the QNM boundary conditions at the event horizon and at infinity, we first need to determine the asymptotic behaviour of the radial solution \(\psi _{\Omega \ell \epsilon }\) as \(\xi \rightarrow 1^{+}\) and as \(\xi \rightarrow +\infty \). We can then accurately extract the QNM boundary conditions from this asymptotic data.
-
1.
\({{\hbox {Asymptotic behaviour as }\xi \rightarrow 1^+}}\): Taking into account that \(\xi = 1\) is a double zero of \(f_e(\xi )\), we can represent the latter in the form \(f_e(\xi ) = (\xi -1)^2 h(\xi )\) where h is an analytic function at \(\xi = 1\) with the property that \(h(1) = f_e^{''}(1)/2 = \mu _e^2 x_e^2 - 1 \approx 1.2837\). This representation enables us to reformulate (64) in the form
$$\begin{aligned}{} & {} \frac{d^2\psi _{\Omega \ell \epsilon }}{d\xi ^2}+\mathfrak {p}(\xi )\frac{d\psi _{\Omega \ell \epsilon }}{d\xi }+\mathfrak {q}(\xi )\psi _{\Omega \ell \epsilon }(\xi )=0, \end{aligned}$$(66)$$\begin{aligned}{} & {} \mathfrak {p}(\xi )=\frac{2}{\xi -1}+\frac{h^{'}(\xi )}{h(\xi )},\nonumber \\{} & {} \mathfrak {q}(\xi )=\frac{4x_e^2\Omega ^2}{(\xi -1)^4 h^2(\xi )}-\frac{1}{(\xi -1)^2 h(\xi )}\nonumber \\{} & {} \qquad \qquad \left[ \frac{\epsilon }{\xi }f_e^{'}(\xi )+\frac{\ell (\ell +1)}{\xi ^2}\right] . \end{aligned}$$(67)Because \(\mathfrak {q}\) has a fourth-order pole at \(\xi = 1\), it follows that \(\xi = 1\) qualifies as an irregular singularity, rendering Frobenius’s theory inapplicable in this scenario. On the other hand, since for \(k = 1\) we have
$$\begin{aligned}{} & {} (\xi -1)^{k+1}\mathfrak {p}(\xi )=\mathcal {O}(\xi -1),\quad (\xi -1)^{2k+2}\mathfrak {q}(\xi )\nonumber \\{} & {} \quad =\mathfrak {d}_0+\mathcal {O}(\xi -1)^2,\quad \mathfrak {d}_0=\frac{4x_e^2\Omega ^2}{h^2(1)} \end{aligned}$$(68)with \(\mathfrak {d}_0 \ne 0\), then, according to [35], \(\xi = 1\) is an irregular singular point of rank one. Consequently, the leading behaviour of the solutions to Eq. (66) in a neighbourhood of the event horizon can be efficiently deduced using the method outlined in [36]. To this purpose, we start by observing that by means of the transformation \(\tau = (\xi -1)^{-1}\) mapping the event horizon at infinity and infinity to zero, (66) becomes
$$\begin{aligned}{} & {} \frac{d^2\psi _{\Omega \ell \epsilon }}{d\tau ^2}+\mathfrak {C}(\tau )\frac{d\psi _{\Omega \ell \epsilon }}{d\tau }+\mathfrak {D}(\tau )\psi _{\Omega \ell \epsilon }(\tau )=0,\end{aligned}$$(69)$$\begin{aligned}{} & {} \mathfrak {C}(\tau )=\sum _{\kappa =0}^\infty \frac{\mathfrak {c}_\kappa }{\tau ^k}=\mathcal {O}\left( \frac{1}{\tau ^2}\right) ,\nonumber \\{} & {} \mathfrak {D}(\tau )=\sum _{\kappa =0}^\infty \frac{\mathfrak {d}_\kappa }{\tau ^k}=\frac{4x_e^2\Omega ^2}{(\mu _e^2 x_e^2-1)^2}\nonumber \\{} & {} \qquad \qquad +\frac{16 x_e^2\Omega ^2(\mu _e^4 x_e^4-\mu _e^2 x_e^2-1)}{3(\mu _e^2 x_e^2-1)^3\tau }+\mathcal {O}\left( \frac{1}{\tau ^2}\right) .\nonumber \\ \end{aligned}$$(70)Since at least one of the coefficients \(\mathfrak {c}_0\), \(\mathfrak {d}_0\), \(\mathfrak {d}_1\) is nonzero, a formal solution to (66) is given by [36]
$$\begin{aligned} \psi ^{(\pm )}_{\Omega \ell \epsilon }(\tau )=\tau ^{\mu _\pm }e^{\lambda _\pm \tau }\sum _{\kappa =0}^\infty \frac{\mathfrak {a}_{\kappa ,\pm }}{\tau ^\kappa }, \end{aligned}$$(71)where \(\lambda _\pm \), and \(\mu _\pm \) are the roots of the characteristic equations
$$\begin{aligned} \lambda _\pm ^2+\mathfrak {d}_0=0,\quad \mu _\pm =-\frac{\mathfrak {d}_1}{2\lambda _\pm }. \end{aligned}$$(72)A straightforward computation shows that
$$\begin{aligned} \lambda _\pm =\pm \frac{2i x_e\Omega }{\mu _e^2 x_e^2-1},\quad \mu _\pm =\pm \frac{4i x_e\Omega (\mu _e^4 x_e^4-\mu _e^2 x_e^2-1)}{3(\mu _e^2 x_e^2-1)^2}. \end{aligned}$$(73)At this point, it is important to note that a radial field exhibiting solely inward radiation near the event horizon (\(\xi \rightarrow 1^+\)) corresponds, under the transformation \(\tau = (\xi -1)^{-1}\), to an outward radiating field as we approach spatial infinity (\(\tau \rightarrow +\infty ^{-}\)). This indicates that we should choose the plus sign in the formulas above. Consequently, the correct QNM boundary condition at \(\xi = 1\) is as follows
$$\begin{aligned} \psi _{\Omega \ell \epsilon }\underset{{\xi \rightarrow 1^+}}{\longrightarrow } (\xi -1)^{-\mu _+}\hbox {exp}\left( \frac{\lambda _+}{\xi -1}\right) \end{aligned}$$(74)with \(\mu _+\) and \(\lambda _+\) defined in (73).
-
2.
\({{\hbox {Asymptotic behaviour as }\xi \rightarrow +\infty }}\): By means of the transformation \(\eta = 1/\xi \), it is not difficult to verify that the point at infinity is again an irregular singular point of rank one. Therefore, the asymptotic behaviour of the solutions to Eq. (66) can be derived according to the method outlined in [36]. To this purpose, we observe that
$$\begin{aligned} \mathfrak {p}(\xi )= & {} \sum _{\kappa =0}^\infty \frac{\widehat{\mathfrak {f}}_\kappa }{\xi ^k}=\mathcal {O}\left( \frac{1}{\xi ^2}\right) ,\quad \mathfrak {q}(\xi )=\sum _{\kappa =0}^\infty \frac{\widehat{\mathfrak {g}}_\kappa }{\xi ^k}=4x_e^2\Omega ^2\nonumber \\{} & {} +\frac{8x_e\Omega ^2}{\xi }+\mathcal {O}\left( \frac{1}{\xi ^2}\right) . \end{aligned}$$(75)With the help of (26), we immediately find that \(\lambda _\pm = \pm 2i x_e\Omega \) and \(\mu _\pm = \pm 2i\Omega \). Hence, the QNM boundary condition at space-like infinity can be expressed as
$$\begin{aligned} \psi _{\Omega \ell \epsilon }\underset{{\xi \rightarrow +\infty }}{\longrightarrow } \xi ^{2i\Omega }e^{2i x_e\Omega \xi }. \end{aligned}$$(76)
Let us transform the radial function \(\psi _{\Omega \ell \epsilon }(\xi )\) into a new radial function \(\Phi _{\Omega \ell \epsilon }(\xi )\) such that the QNM boundary conditions are automatically implemented and \(\Phi _{\sigma \ell s}(\xi )\) is regular at \(\xi = 1\) and at space-like infinity. To this aim, we consider the transformation
If we rewrite it in a more compact form, namely
and we replace it into (64), we end up with the differential equation
with
Let us introduce the transformation \(\xi = 2/(1-y)\) mapping the point at infinity and the event horizon to \(y = 1\) and \(y = -1\), respectively. Furthermore, a dot denotes differentiation with respect to the new variable y. Then, Eq. (80) becomes
where
with
and the requirement that \(\Phi _{\Omega \ell \epsilon }(y)\) is regular at \(y = \pm 1\). As a result of the transformation introduced above, we have
and
Table 3 shows that the coefficients of the differential equation (86) share a common zero of order 4 at \(y = -1\) while \(y = 1\) is a pole of order 2 for the coefficients \(S_{1e}(y)\) and \(S_{0e}(y)\). Hence, in order to apply the spectral method, we need to multiply (86) by \((1-y)^2/(1+y)^4\). As a result, we end up with the following differential equation
where
with
It can be easily checked with Maple that
where
Finally, in order to apply the spectral method, we rewrite the differential equation (95) into the following form
with
Moreover, in Table 4, we have summarized the \(\widehat{L}^{(e)}_{ij}\) appearing in (107)–(109) and their limiting values at \(y = \pm 1\).
3 Numerical method
In order to solve the differential eigenvalue problem (106) to determine the QNMs along with the corresponding frequencies \(\Omega \), we have to discretize the differential operators \(\widehat{L}^{(e)}_{j}[\cdot ]\) with \(j=1,2,3\) defined in (107)–(109). Since our problem is posed on the finite interval \([-1, 1]\) without any boundary conditions, more precisely, we only require that the QNMs be regular functions at \(y = \pm 1\), then, it is natural to choose a Tchebyshev-type spectral method [37, 38]. Namely, we are going to expand the function \(y \mapsto \Phi _{\Omega \ell \epsilon }(y)\) in the form of a truncated Tchebyshev series
where \(N\ \in \ \mathbb {N}\) is kept as a numerical parameter, \(\{a_k\}_{k=0}^{N}\ \subseteq \ \mathbb {R}\), and \(\{T_k(y)\}_{k=0}^{N}\) are the Tchebyshev polynomials of the first kind
After substituting expansion (110) into the differential equation (106), we obtain an eigenvalue problem with polynomial coefficients. In order to translate it into the realm of numerical linear algebra, we employ the collocation method [38]. Specifically, rather than insisting that the polynomial function in \( y \) is identically zero (a condition equivalent to having polynomial solutions for the differential problem as per Eq. (106)), we impose a weaker requirement. This involves ensuring that the polynomial vanishes at \( N+1 \) strategically selected points. The number \(N+1\) coincides exactly with the number of unknown coefficients \(\{a_k\}_{k=0}^{N}\). For the collocation points, we implemented the Tchebyshev roots grid [39]
In our numerical codes, we also implemented the second option of the Tchebyshev extrema grid
The users are free to choose their favourite collocation points. Notice that we used the roots grid in our computation, and in any case, the theoretical performance of the two available options is known to be absolutely comparable [38, 39].
Upon implementing the collocation method, we derive a classical matrix-based quadratic eigenvalue problem, as detailed in [40]
In this formulation, the square real matrices \(M_{j}\), each of size \((N+1)\times (N+1)\) for \(j=0,1,2\), represent the spectral discretizations of the operators \(\widehat{L}^{(e)}_{j}[\cdot ]\), respectively. The problem (114) is solved numerically with the polyeig function from Matlab. This polynomial eigenvalue problem yields \(2(N+1)\) potential values for the parameter \(\Omega \). To discern the physical values of \(\Omega \) that correspond to the black hole’s QNMs, we first overlap the root plots for various values of \(N\) in Eq. (110), such as \(N=100, 150, 200\). We then identify the consistent roots whose positions remain stable across these different \(N\) values.
In order to reduce the rounding and other floating point errors, we performed all our computations with multiple precision arithmetic that is built in Maple and which is brought into Matlab by the Advanpix toolbox [41]. All numerical computations reported in this study have been performed with 200 decimal digits accuracy.
4 Numerical results
In this section, we delve into the analysis of the QNMs for both non-extreme and extreme noncommutative geometry-inspired Schwarzschild black holes. The central revelation from our numerical computations is the stability of both black hole regimes under scalar, electromagnetic, and gravitational perturbations.
The fact that the noncommutative geometry-inspired Schwarzschild black hole reproduces its classical counterpart for large values of the rescaled mass parameter \(\mu \) provides a basis for validating our numerical method. By selecting a sufficiently large \(\mu \)-value, computing the QNMs, and demonstrating their agreement with the results obtained by [4, 14, 15] for the classic Schwarzschild black hole in the \(s = 0\) case, we can substantiate the accuracy of our approach. To this end, we refer to Table 5, where the numerical values listed in the last column were derived using our high-precision computational approach, employing 200 polynomials with an accuracy of 200 digits.
As an additional note, we would like to highlight that in the extreme case, the transition to the Schwarzschild limit is more complex due to potential non-analyticities in the behavior of the metric and associated physical quantities as \( \theta \) tends towards zero. The extreme configuration in noncommutative geometry, characterized by a specific critical mass \( \mu _e \) at which the inner and outer horizons converge, does not straightforwardly reduce to the Schwarzschild solution by merely setting \( \theta \) to zero. This non-analyticity arises because the extreme condition itself alters the underlying spacetime structure in a way that does not directly map onto the classical Schwarzschild case without noncommutativity.
It is interesting to observe that [28] utilized a sixth-order WKB approximation to show that the WKB method does not converge in critical cases marked by third-order instabilities. These occur for specific choices of the rescaled mass parameters close to \(\mu = \mu _e\) for a nonextreme, noncommutative geometry-inspired Schwarzschild black hole. Instabilities were also detected by [28] in the case of an extreme black hole. This indicates that conventional methods have exhibited inconsistencies, particularly when applied to non-commutative geometry settings. There are several reasons for this. For instance, the WKB approximation relies on the local properties of the potential near its peak. However, it fails in cases where the second derivative of the potential at the peak is zero. As for the Inverse Potential and Asymptotic Iteration Methods, the former depends on a rough approximation of the potential at the maximum, while the latter depends on the choice of initial parameters or specific local conditions that may not be optimally representative or easily determinable in complex geometries like those modified by the non-commutative parameter. These dependencies can lead to instabilities or divergences in computations, as indicated by the lack of convergence observed in higher-order WKB calculations, suggesting that these methods may reach their analytical limitations in such scenarios.
Unlike local methods, the spectral method utilizes the global properties of the potential, thus avoiding inaccuracies due to local approximations. Moreover, it provides high accuracy and exponential convergence rates for the solutions of differential equations once the irregular part of the solution has been analytically captured. This is particularly beneficial in the quest for QNMs of astrophysical objects. Furthermore, the method is less sensitive to the choice of initial parameters (in contrast with the Asymptotic Iterative Method), making it more robust and reliable for theoretical explorations in gravitational physics where exact solutions are often challenging to compute. For non-commutative geometry-inspired black holes, the spectral method allows us to capture the modified dynamics without the constraints and approximations imposed by traditional techniques. This capability is crucial in revealing that previously reported instabilities are likely artifacts of the limitations of those methods rather than inherent physical instabilities in the black hole models themselves.
Consequently, by harnessing the global analytical capabilities of the spectral method, we have circumvented the shortcomings of traditional approaches like the WKB method. This has allowed us to demonstrate that the instabilities previously reported in non-commutative geometry-inspired black holes are not inherent to the black holes themselves but are rather artifacts resulting from the limitations of local approximation methods.
Therefore, our application of the spectral method provides a clearer, more accurate depiction of the stability characteristics of these black holes. For a comprehensive presentation of our numerical results on massless scalar, electromagnetic, and gravitational perturbations, we invite readers to consult Tables 6, 7, and 8. These tables detail the calculated QNMs of a nonextreme noncommutative black hole, illustrating variations across different values of the mass parameter. In contrast, Tables 9, 10, and 11 focus on the extreme case, providing analogous data for the same spectrum of perturbations.
Our findings suggest a remarkable stability of the nonextreme noncommutative Schwarzschild black hole across various perturbations. This observation is particularly noteworthy given the existing literature, such as the study by [32], which posited potential instability in similar scenarios. Our results, however, indicate that even in extreme scenarios where the Cauchy horizon coincides with the event horizon, the black hole exhibits stability under the class of perturbations considered. This result extends the work of [31], where the stability of the nonextreme noncommutative Schwarzschild black hole’s interior was established by investigating the propagation of a massless scalar field between the two horizons.
5 Conclusions and outlook
In this study, we have presented a comprehensive analysis of QNMs for noncommutative geometry-inspired Schwarzschild black holes, encompassing both non-extreme and extreme cases. Our investigation, employing the spectral method, covered scalar, electromagnetic, and gravitational perturbations. The significance of our findings is the remarkable stability exhibited by both non-extreme and extreme versions of these black holes across various perturbations. Contrary to previous claims in the literature, our results suggest that the noncommutative geometry-inspired Schwarzschild black holes are stable, a finding that is crucial for the understanding of their physical properties. This is particularly relevant in light of the existing debate over the stability of such black holes. Our study, therefore, provides a new perspective on the dynamics of these exotic objects and contributes to a more nuanced understanding of their behaviour under perturbations.
5.1 Perspectives
Our future endeavours will focus on expanding this study in several key directions. Firstly, we plan to investigate the QNMs in the context of massive perturbations. This extension will allow us to explore the influence of mass on the stability and dynamics of these black holes, offering further insights into their complex nature. Additionally, we aim to apply our methods to the study of QNMs of noncommutative geometry-inspired wormholes [42, 43]. This will not only broaden our understanding of wormhole physics but also provide a comparative framework to evaluate the similarities and differences between black holes and wormholes within the context of noncommutative geometry. Another intriguing direction for future research involves the investigation of the so-called dirty black holes as proposed by [43]. These black holes, characterized by additional matter fields surrounding them, present a more realistic and complex scenario. Analyzing their QNMs will shed light on how external matter influences the stability and quasinormal spectra of black holes, further enriching our understanding of these objects. In summary, our research opens new avenues for exploring the intricate dynamics of noncommutative geometry-inspired black holes and wormholes. By extending our analysis to include massive perturbations and dirty black holes, we anticipate uncovering new aspects of these entities, contributing to the evolving landscape of gravitational and astrophysical research.
Data Availability Statement
This manuscript has no associated data. [Authors’ comment: Data sharing not applicable to this article as no datasets were generated or analysed during the current study.]
Code Availability Statement
All analytical computations reported in this manuscript have been rechecked in the computer algebra system Maple. Two Maple sheets corresponding to the extreme and non-extreme cases can be found in supplementary materials and in the repository below. The discretization of differential operators (107)-(109) using the Tchebyshev-type spectral method is equally performed in Maple computer algebra system. Finally, the numerical solution of the resulting quadratic eigenvalue problem (114) is performed in Matlab software using the polyeig function. All these materials are freely accessible at the following repository. https://github.com/dutykh/noncommschwarzschild/.
References
T. Regge, J.A. Wheeler, Phys. Rev. 108, 1063 (1957)
B.C. Hall, Quantum Theory for Mathematicians, vol. 267 of Graduate Texts in Mathematics (Springer, New York, 2013)
V. Ferrari, B. Mashhoon, Phys. Rev. D 30, 295 (1984)
E.W. Leaver, Proc. R. Soc. Lond. A 402, 285 (1985)
E.W. Leaver, Phys. Rev. D 34, 384 (1986)
H.P. Nollert, B.G. Schmidt, Phys. Rev. D 45, 2617 (1992)
H. Ciftci, R.L. Hall, N. Saad, J. Phys. A Math. Gen. 36, 11807 (2003)
H.T. Cho, A. Cornell, J. Doukas, W. Naylor, Class. Quantum Gravity 27, 155004 (2010)
H.T. Cho, A. Cornell, J. Doukas, T.-R. Huang, W. Naylor, Adv. Math. Phys. 2012, 281705 (2012)
D. Batic, M. Nowakowski, K. Redway, Phys. Rev. D 98, 024017 (2018)
R.P. Macedo, Phys. Rev. D 99, 088501 (2019)
D. Batic, M. Nowakowski, K. Redway, Phys. Rev. D 99, 088502 (2019)
H. Ciftci, R.L. Hall, N. Saad, Phys. Lett. A 340, 388 (2005)
L.A.H. Mamani, A.D.D. Masa, L.T. Sanches, V.T. Zanchin, Eur. Phys. J. C 82, 897 (2022)
H.S. Iyer, Phys. Rev. D 35, 3632 (1987)
R.G. Daghigh, M.D. Green, Phys. Rev. D 85, 127501 (2012)
D. Batic, M. Nowakowski, Math. Methods Appl. Sci. 46, 10833 (2023)
P. Nicolini, A. Smailagic, E. Spallucci, Phys. Lett. B 632, 547 (2006)
A. Bachelot, A. Motet-Bachelot, Ann. Inst. H. Poincare Phys. Theor. 59, 3 (1993)
C. Gundlach, R.H. Price, J. Pullin, Phys. Rev. D 49, 883 (1994)
N. Andersson, Phys. Rev. D 51, 353 (1995)
N. Andersson, Phys. Rev. D 55, 468 (1997)
R.A. Konoplya, Adv. Theor. Math. Phys. 6, 1135 (2003)
L. Motl, A. Neitzke, Adv. Theor. Math. Phys. 7, 307 (2003)
J. Natário, R. Schiappa, Adv. Theor. Math. Phys. 8, 1001 (2004)
S.K. Chakrabarti, K.S. Gupta, Int. J. Mod. Phys. A 21, 3565 (2006)
P.R. Giri, Int. J. Mod. Phys. A 22, 2047 (2007)
D. Batic, N.G. Kelkar, M. Nowakowski, K. Redway, Eur. Phys. J. C 79, 581 (2019)
J. Liang, Chin. Phys. Lett. 35, 010401 (2018)
J. Liang, Chin. Phys. Lett. 35, 050401 (2018)
D. Batic, P. Nicolini, Phys. Lett. B 692, 32 (2010)
E. Brown, R. Mann, Phys. Lett. B 694, 440 (2011)
M. Abramowitz, I.A. Stegun, Handbook of Mathematical Functions (Dover, New York, 1972)
E.L. Ince, Ordinary Differential Equations (Dover, New York, 1956)
C.M. Bender, S.A. Orszag, Advanced Mathematical Methods for Scientists and Engineers I: Asymptotic Methods and Perturbation Theory (Springer, New York, 1999)
F.W.J. Olver, Methods Appl. Anal. 1, 1 (1994)
L.N. Trefethen, Spectral methods in MatLab (Society for Industrial and Applied Mathematics, Philadelphia, 2000). http://web.comlab.ox.ac.uk/oucl/work/nick.trefethen/spectral.html
J.P. Boyd, Chebyshev and Fourier Spectral Methods, 2nd edn. (Dover Publications, New York, 2000)
L. Fox, I.B. Parker, Chebyshev Polynomials in Numerical Analysis (Oxford University Press, Oxford, 1968)
F. Tisseur, K. Meerbergen, SIAM Rev. 43, 235 (2001). (ISSN 0036-1445)
P. Holodoborodko, Multiprecision Computing Toolbox for MATLAB 5.2.5.15444 (Advanpix LLC, Yokohama, 2023)
R. Garattini, F.S.N. Lobo, Phys. Lett. B 671, 146 (2009)
P. Nicolini, E. Spallucci, Class. Quantum Gravity 27, 015010 (2010)
Acknowledgements
This publication is based upon work supported by the Khalifa University of Science and Technology under Award No. FSU\(-2023-014\).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3.
About this article
Cite this article
Batic, D., Dutykh, D. Quasinormal modes in noncommutative Schwarzschild black holes: a spectral analysis. Eur. Phys. J. C 84, 622 (2024). https://doi.org/10.1140/epjc/s10052-024-12981-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-024-12981-6