1 Introduction

The Wahlquist metric, written as “an exact interior solution for the finite rotating body of perfect fluid” was discovered in 1968 [1,2,3]. It is an axially symmetric, stationary, type-D solution of Einstein’s field equation. Quoting Wahlquist [1], it can be “described as a superposition of a Kerr-NUT metric [4, 5] and a rigidly rotation perfect fluid in the same space-time region.” The original metric written in [1], was slightly modified by Senovilla [6, 7], and put to new form by Mars, “to show that the Kerr-de Sitter and Kerr metrics are contained as subcases” [8].

Mars states in [8] that Kramer [9, 10] showed the vanishing of the Simon tensor [11] for this metric. Mars also states that the space-time admits a Killing tensor as shown in [12]. More recent work in this field exists, “where the existence of a rank-2 generalized closed conformal Killing–Yano tensor with a skew-symmetric torsion” [13], and “the separability of the Maxwell equation on the Wahlquist spacetime” are shown [14].

Batic and Schmid showed, in their paper [15], that the solutions to the “Teukolsky Master Equation” [16] could be transformed in any physically relevant D type metric into one of the solutions of the Heun function, to its general or to one of its confluent forms [17,18,19,20,21]. Here we check if this is true in the Wahlquist metric.

Another peculiarity of this metric is that, if we use Euclidean variables, the radial and angular equations look exactly like each other. We, therefore, solve just the radial differential equation and get the solutions of the angular equation at the same time. This is a property shared by the solutions in the background of the Kerr and Kerr-de Sitter metrics [4], at least in a limit [22]. The relation between the Wahlquist and Kerr solutions is generally known [1, 8]. It is interesting that an unrelated exact solution also share this property [23, 24].

Here we try to get the form of the exact solutions when a massless scalar field is coupled using this metric in full and also, in some cases when the metric is reduced to a simpler form. If all the constants, \(Q_0\), \(a_1\), \(\beta \), \(\nu _0\), \(\mu _0\) appearing in the metric given in [8] are not equal to zero, we get a general Heun solution (HG) with four regular singularities multiplied by an exponential and two polynomials. This is also true if we take just one constant in the Wahlquist metric, \(Q_{0} \), or \(a_1\) null, and give arbitrary non zero values to the other constants. As explained below lnx is approximated by simple polynomials in this calculation.

If we set both \(Q_0\) and the NUT parameter \(a_1\) [25] equal to zero, we get the solution in terms of the (singly) confluent Heun (HC) solution up to factors multiplying HC, as described above. If we now equate still another constant, \(\nu _{0}\), to zero, we get the double confluent Heun function (HD) up to multiplying exponent and mononomials raised to powers. In the next section, we will describe our results. In an appendix, we give a calculation which is distantly related to this metric.

2 Heun-type solutions

Here we try to calculate the massless scalar \(\psi \) where it obeys the equation

$$\begin{aligned} \frac{1}{\sqrt{g}} \partial _{\mu } g^{\mu \nu }\sqrt{g} \partial _{\nu } \psi = 0, \end{aligned}$$
(1)

using the metric given in [1]. Here g is the determinant of the metric coefficients \( g_{\mu \nu }\). We write the metric as is given in [13], which is equivalent to the one given in [8]. Here the comoving, pseudoconfocal, spatial coordinates are used, which are closely related to the oblate-spheroidal coordinates in Euclidean geometry. We take \(4 \pi G\) and c equal to unity.

$$\begin{aligned} ds^2= & {} (v_{1} +v_{2}) \bigg (\frac{dz^2}{U}+ \frac{dw^2}{V} \bigg ) \nonumber \\&+\frac{U}{v_{1} +v_{2}}(d\tau +v_{2}d\sigma )^2-\frac{V}{v_{1} +v_{2}} (d\tau -v_{1}d\sigma )^2,\nonumber \\ \end{aligned}$$
(2)

where

$$\begin{aligned} U= & {} Q_0+a_1{\frac{sinh(2\beta z)}{2\beta }} -\frac{\nu _0}{\beta ^2}{\frac{cosh(2\beta z)-1}{2\beta ^2}} \nonumber \\&-{\frac{\mu _0}{2\beta ^2}}\bigg [{\frac{cosh(2\beta z)-1}{2\beta ^2}} -z{\frac{sinh(2\beta z)}{2\beta }}\bigg ], \end{aligned}$$
(3)
$$\begin{aligned} V= & {} Q_0+a_2{\frac{sin(2\beta w)}{2\beta }} +\frac{\nu _0}{\beta ^2}{\frac{-cos(2\beta w)+1}{2\beta ^2}} \nonumber \\&-{\frac{\mu _0}{2\beta ^2}}\bigg [{\frac{cos(2\beta w)-1}{2\beta ^2}} +w{\frac{sin(2\beta w)}{2\beta }}\bigg ], \end{aligned}$$
(4)

and

$$\begin{aligned} v_1=\frac{cosh(2\beta z)-1}{2\beta ^2}, v_2=\frac{-cos(2\beta w)+1}{2\beta ^2}. \end{aligned}$$
(5)

This metric has six real constants \(Q_0,a_1,a_2,\nu _0,\mu _0,\beta \). Here \(a_1\) is related to the NUT [25, 26] parameter and \(a_2\) is related to the mass parameter. One writes the other variables to express the energy density, pressure and the fluid velocity of the perfect fluid. \( \beta \) is related to the scaling of z and w, both space coordinates, in the linear transformation of these variables given in the original paper by Wahlquist [1]. U and V are related to \(h_2, h_1\) in the original metric and to the invariant \(\mu _0\), \(\nu _0\). All these parameters are scaled so that they do not vanish in the \(\beta \) going to zero limit. The wave equation written in this metric separates easily. Our ansatz for the solution is

$$\begin{aligned} \psi = R(x) Y(w) T(\tau ) S(\sigma ). \end{aligned}$$
(6)

We have two Killing vectors since the metric does not depend on \(\tau \) and \(\sigma \) explicitly, related to t and \(\theta \) in the original metric [1]. If we make a Wick rotation which changes w to \(y=iw\), and \(a_2\) to \(-ia_2\) [8], where i is the square root of minus unity, the metric becomes symmetrical

$$\begin{aligned} ds^2= & {} (v_{1} +v_{2}) \bigg (\frac{dz^2}{U}- \frac{dy^2}{V} \bigg )\nonumber \\&+\frac{U}{v_{1} +v_{2}}(d\tau -v_{2}d\sigma )^2-\frac{V}{v_{1} +v_{2}} (d\tau +v_{1}d\sigma )^2. \end{aligned}$$
(7)

Then, we have identical equations for z and y. The equation for z reads

$$\begin{aligned}&\partial _{z}(U \partial _{z}) R(z)T(\tau ) S(\sigma ) \nonumber \\&\quad +\bigg (\frac{v_1^2}{U}\partial _{\tau }^{2}-2\frac{v_1 }{U}\partial _{\tau }\partial _ {\sigma }+\frac{1}{U} \partial _{\sigma }^{2}\bigg ) R(z)T(\tau ) S(\sigma )=0. \end{aligned}$$
(8)

We get exactly the same equation for the new variable y, with appropriate changes like U going to V and \(v_1\) going to \(v_2\).

$$\begin{aligned}&\partial _{y}(V \partial _{y}) Y(y)T(\tau ) S(\sigma ) \nonumber \\&\quad +\bigg (\frac{v_2^2}{V}\partial _{\tau }^{2}-2\frac{v_2 }{V} \partial _{\tau }\partial _{\sigma }+\frac{1}{V} \partial _{\sigma }^{2}\bigg ) Y(y)T(\tau ) S(\sigma )=0. \end{aligned}$$
(9)

Since the functions \(v_1, U\) (similarly \(v_2, V\)) do not depend on \(\tau \) and \(\sigma \), the solutions for \(\tau \) and \(\sigma \) are just exponential functions, giving us constants upon differentiation. Here we will try to solve the differential equation for a massless scalar field, minimally coupled in the background of this metric.

We find that this is not an easy task. The presence of hyperbolic sine and cosine functions in the wave equation prevents us from using standard methods. We change our variables as \(x=exp(2\beta z)\) which makes it possible to write the hyperbolic sine and cosine functions in terms of powers of x. \(sinh( {2\beta z}) = 1/2[x-1/x]\), \( cosh({2\beta z})-1=1/2[x+1/x-2]\). Then, however, exists the relation \(z=ln{x}/(2\beta )\). The codes we have to solve differential equations analytically, does not recognize ln x for analyzing the singularities. Thus, we can not give an exact solution for all values of the independent variable x. We can get solutions only in different patches, by using polynomial expressions approximating lnx in this region to give us an idea what the solution may be.

We use different independent variables to check the validity of this approach. Luckily at different points that we expanded lnx, our solutions were of the same type. We also plot some of the solutions around these points. We use the package given in [27] to analyze the singularity structure of our equations.

Upon the variable change from z to x, we get the new equation

$$\begin{aligned}&\frac{d^2 R(x)}{dx^2} +\bigg (\frac{{\frac{d U}{d x }}}{U} +\frac{1}{x}\bigg ) \frac{d }{d x } R(x) \nonumber \\&\quad + \frac{1}{x^2 U^2}\big (\omega ^2v_1^2-2v_1\omega s +s^2\big ) R(x)=0. \end{aligned}$$
(10)

Here we used the solution to the \(\tau \) equation in the form \(exp(-\omega \tau )\) and the solution for the \(\sigma \) equation in the form \(exp(-\sigma s)\). Note that our metric had Killing vectors for both \(\tau \) and \(\sigma \). Here

$$\begin{aligned} U= & {} Q_0 + a_1\frac{(x-1/x)}{4\beta }\nonumber \\&-\bigg [\frac{\mu _0}{4\beta ^4}+\frac{\nu _0}{4\beta ^3} \bigg ]\frac{(x-1)^2}{x}+ \frac{\mu _0}{4\beta ^4}ln x \frac{(x^2-1)}{x}, \end{aligned}$$
(11)
$$\begin{aligned} v_1= & {} \frac{(x-1)^2}{2x\beta ^2}. \end{aligned}$$
(12)

From here on, we will define \(\mu _0'=\frac{\mu _0}{(4\beta ^4)}\) and \(\nu _0'= \frac{\nu _0}{(4\beta ^3)}\), \(a'_1= a_1/\beta \) and use these new constants in our equations.

Before applying approximations, we can analyze our equation (10) numerically to see its behavior. Note that our differential equation has four singular points, at zero, one and at two other points. Here the point when \(x=0\) is for the original independent variable z going to minus infinity. We, therefore, start our graph at a point starting from \(x>1\).

We take \(Q_0=0.1, a_1=1, \beta =1.0,\mu _0'=1.0, \nu _0'=4.0, \omega =1.0, s=10.0\) and use the 4th order Runge-Kutta method as explained in [28].

Fig. 1
figure 1

The numerical behavior of Eq. (10)

As we can see from the numerical solution given in Fig. 1 and from the function U which governs the singularity behavior of the equation, the point \(x=1\) is a singularity. Here, we start our numerical integrator very close to the singular point \(x=1\) that yields an unstable behavior around this point. However, as we move towards \(x>1\), we get a well-behaving curve.

To study the solution around the singularity \(x=1\), we expand lnx in the neighborhood of this point and use \(x-1\) instead of lnx in the wave equation we use in our further calculations.

We find that, if we keep all our constants non zero, we get the exact solution in terms of HG up to an exponential and terms (polynomials) multiplying this function. The regular singularities are at 0 and at three other finite points which are very lengthy expressions.

Then we go to the next possible choice. We try to find the solution when we keep all the terms in U aside from \(Q_0\), which we set equal to zero. Then, our equation, again, has four regular singularities at 0, 1 and the points \(-\frac{1}{2\mu '_0}(B \pm C^{1/2})\). Here \(B=(a'_1-\nu '_0-\mu '_0)\), \( C=B^2 - 4\mu '_0(a'_1+\nu '_0) \). It is known that this and the solution given in the paragraph above may be reduced to HG, the general Heun function [17, 18].

We check this result by going to a different independent variable \(u=\frac{(\mu _0'-\nu _0')x}{\nu _0' (1-x)}\), as suggested in the paper by Suzuki et al. [29, 30]. For the general case, we can identify the singular points. There are four regular singularities, at zero, infinity and two other finite points. This is consistent by the result given above when the variable x was used.

Then, we set \(a'_1=0\), and try to see what kind of exact solution we obtain for this simplified case near the point \(x=1\). We again approximate lnx by the expression \(x-1\). Then, the equation reads

$$\begin{aligned} \frac{d^{2} R(x)}{d x^{2}}+ \frac{2}{x } \frac{D}{ E}\frac{d R(x)}{d x} +4\beta ^2\frac{ F^2}{x^2 E^2 } R(x) =0, \end{aligned}$$
(13)

where

$$\begin{aligned} D= & {} \mu '_0 x^2(x-1) -\frac{1}{2}(\mu '_0 + \nu '_0)(x-1)^2 - \frac{\nu '_0}{2}(x^2-1), \end{aligned}$$
(14)
$$\begin{aligned} E= & {} \mu '_0(x^2-1)(x-1)+(-\mu '_0-\nu '_0)(x-1)^2, \end{aligned}$$
(15)
$$\begin{aligned} F= & {} \omega x^2+ (4s-2\omega )x+\omega . \end{aligned}$$
(16)

Our solution is a confluent Heun function, HC, which is multiplied by \(exp(\frac{Asx}{x-1})\), and powers of \((x-\frac{\nu '_0}{\mu '_0})\) and \((x-1)\). Here the regular singular points are at \(0, \frac{\nu '_0}{\mu '_0}\). A is a constant. There is also an irregular singularity when x equals unity. The numerical behavior of this equation is given in Fig. 2 with some numerical values of the physical parameters.

Fig. 2
figure 2

Numerical solution of Eq. (10): HC solution (\(\beta =1.0,\mu _0'=1.0,\nu _0'=4.0,\omega =1.0,s=10.0\))

We again check this result by going to the independent variable \(u=\frac{(\mu '_0-\nu '_0)x}{\nu '_0 (1-x)}\), to see if there is a change in the result. We try to find the solution as u goes to infinity. There we approximate \(lnx=ln \frac{u\nu '_0}{(u-1)\nu '_0+\mu '_0} \) by the expression \(\frac{(\nu '_0-\mu '_0)}{\nu '_0 u}\). The solution is in the same form. There are still two regular singularities at \(u= -\frac{\mu '_0}{\nu '_0}\) and \(u= -\frac{\mu '_0-\nu '_0}{\nu '_0}\), and one irregular singularity at u going to infinity. One of the regular singularities corresponds to x equal to infinity and the irregular singularity is at x equal to unity, where we had an irregular singularity when we used the variable x. The existence of the confluent Heun function and the positions of these two singularities are consistent with the singularities with the case when we took ln(x) as \(x-1\).

As a final attempt, we try to find if we can get HD, double confluent Heun function [17], from this solution. We equate two regular singularities we found above. This may be obtained if we take the constant \(\nu _0\) equal to zero. Since we divide by \(\nu _0\) in some of our latter expressions, we equate \(\nu _0\) to zero in the original wave equation. This simplifies the wave equation. It reads

$$\begin{aligned}&\frac{d^{2} R(x)}{d x^{2}} +2\bigg (\frac{1}{x}+\frac{1}{x-1} \bigg ) \frac{d R(x)}{d x } + \bigg (\frac{\beta }{\mu '_0} \bigg )^2 \nonumber \\&\quad \bigg ( \frac{ \omega ^2}{ x^4}+ \frac{8s \omega }{ x^3 (x-1)^2} + \frac{16s^2}{x^2 (x-1)^4}\bigg ) R(x)=0. \end{aligned}$$
(17)

In this expression, we approximated lnx by \(x-1\) to find the singularity near x equal to unity. The irregular singularities \(x=0\) and \(x=1\) are seen explicitly. There are no singularities at other points, including infinity. The solution will be HD function multiplied by exponentials. We need them to get rid of the most violent singularities to get a solution as a power series expansion, as in HD. The numerical behavior of this equation is given in Fig. 3.

Fig. 3
figure 3

The numerical behavior of Eq. (17): HD solution (\(\beta =1.0,\mu _0'=1.0,\omega =1.0,s=10.0\))

We again go to similar coordinates given in [13], \(\zeta =\frac{x-1}{x}\). Then the wave equation is written as

$$\begin{aligned}&\frac{d^{2} R(\zeta )}{d \zeta ^{2}} +2\bigg (\frac{1}{1-\zeta }+\frac{1}{\zeta } \bigg ) \frac{d R(\zeta )}{d \zeta }+ \bigg (\frac{\beta }{\mu '_0} \bigg )^2 \nonumber \\&\quad \bigg ( \omega ^2+ \frac{8s \omega (\zeta -1)}{\zeta ^2 } + \frac{16s^2(\zeta -1)^2}{\zeta ^4}\bigg ) R(\zeta )=0, \end{aligned}$$
(18)

which explicitly shows the irregular singularity at \(\zeta =0\) (\(x=1\)). The numerical behavior of this equation is given in Fig. 4.

Fig. 4
figure 4

The numerical behavior of the Eq. (18) (\(\beta =1.0,\mu _0'=1.0,\omega =1.0,s=10.0\))

To check the second irregular singularity, we take \(\zeta =-1/\xi \). Then the wave equation reads

$$\begin{aligned}&\frac{d^{2} R(\xi )}{d \xi ^{2}} -2\bigg (\frac{1}{\xi +1} \bigg ) \frac{d R(\xi )}{d \xi } + \bigg (\frac{\beta }{\mu '_0} \bigg )^2\nonumber \\&\quad \bigg ( \frac{ \omega ^2}{\xi ^4}+ \frac{8s \omega (\xi +1)}{\xi ^3 } + \frac{16s^2(\xi +1)^2}{\xi ^2}\bigg ) R(\xi )=0. \end{aligned}$$
(19)

One should note that this equation is really valid for \(\xi \) around \(\xi =-1\). We anticipate that the general behaviour of the equation does not change close to \(\xi \) around zero.

We can not check the behaviour of lnx near \(x=0\). This singularity comes as a regular singularity from our transformation from z to x in the equation without approximations. It corresponds to the point as z goes to minus infinity. Note that lnx as x goes to zero, does not create an additional singularity, since lnx appears as xlnx in our expressions, and xlnx is zero in this limit. For the case when only \(Q_0,a_1\) are equal null, it appears as a regular singularity, giving us HC type solutions.

3 Conclusion

Batic et al. [15] showed that the solutions of the equations are Heun-type if a type-D metric is used as a background. Here we investigated if this is true for the Wahlquist metric and calculated the solutions of the wave equation for a massless scalar field, in the background of the Wahlquist metric. We studied first the full metric and then some reductions of it. We found that in all the four cases studied, the solutions were Heun-type, namely HG, HC and HD for these different cases, thus, generalizing the Batic et al. result for the scalar field case. In an Appendix, we showed that the same is true in a radically reduced form of this metric, which may no longer be classified as related to the Wahlquist metric, since the dust is not present.