arxiv: v2 [gr-qc] 13 Jul 2017

Transcription

1 Spherically symmetric configurations of General Relativity in presence of scalar field: separation of test body circular orbits O. S. Stashko and V. I. Zhdanov Taras Shevchenko ational University of Kyiv Astronomical Observatory Observatorna st. Kiev Ukraine (Dated: October 28 27) arxiv:72.28v2 gr-qc] Jul 27 We study the test body circular orbits in a gravitational field of a static spherically symmetric object in presence of a minimally coupled nonlinear scalar field. We generated a two-parametric family of massless scalar field potentials and corresponding solutions of Einstein scalar field equations in an analytic form. The results are presented by means of hypergeometric functions; they describe either a naked singularity (S) or a black hole (BH). We show that for the solutions found there is always an unbounded region of stable circular orbits (SCO) which is qualitatively analogous to the Schwarzschild BH case. Besides that for a considerable range of the angular momenta and parameters of the family there can eist (as for the case of S and BH) the other SCO region which is separated from the previous one by a ring of unstable circular orbits. We present another solutions showing that analogous distribution of SCO can eist in case of a massive scalar field also for BH and S cases. PACS numbers:.2.jb.2.dw..dg..kd.7.bw 97..Gz 97.6.Lf I. ITRODUCTIO Scalar field theories occupy a considerable sector in gravitational physics 2] especially in cosmology where additional fields are etensively used to study the inflationary era of early Universe in dynamical models of dark energy etc (see e.g. ] for a review and references therein). There is no direct evidence that at present epoch the scalar fields play some role in astrophysical systems ] and one might think that effects of the cosmological fields must be negligible. evertheless since the early works 6 7] it is well known that any (arbitrarily small!) presence of a scalar field can cause a cardinal change of the space-time topology in the vicinity of a compact object. However this as itself does not mean the eistence of significant observational effects. The search for a smoking gun of scalar fields as well as effects of alternative gravitation theories requires investigation of the geodesic structure associated with solutions of the Einstein-scalar field equations and their modifications. The very first steps involve of the test body orbits around gravitating center (see e.g. 8 ] and references therein). It is well known that stable circular orbits (SCO) in Schwarzschild and Kerr black hole space-times of General Relativity form a connected structure without gaps. A number of eamples show that this picture can be violated in presence of a naked singularity (S); discontinuous structures of SCO can arise in case of charged and uncharged objects of General Relativity 2 ] in case of a quadrupole source ]. In presence of scalar field there also can eist disconnected regions of SCO separated by a ring of unstable orbits ]. The result ] concerns spherically symmetric space-times valeryzhdanov@gmail.com (with S) and linear massless scalar fields. The questions arise is S necessary for the eistence of such a discontinuous structure? Can these structures occur in scalar field black hole space-times? The aim of our paper is to present eamples with a non-trivial self-interaction potential V (φ) of the scalar field φ showing that this disconnected structure of SCO can eist in the black hole (BH) space-time not only in presence of S and the potential V (φ) can describe either massless or massive scalar field. ote that our black hole solutions discussed below involve potentials that are negative in some regions so they do not contradict to the no-scalar-hair theorem 28]. The eistence of the discontinuous structures is very important as it may have relevance to accretion disks around real astrophysical objects. Common ideas about stellar mass BHs and supermassive BHs in active galactic nuclei deal with a circular motion of a surrounding matter. Obviously the consideration of an accretion disk does not reduce only to an analysis of geodesics and a lot of complicating factors must be taken into consideration: the ionized gas pressure turbulence magnetic fields radiation etc (see e.g. 6 8]). However the presence of an unstable orbits region separating the regions of stable ones can hardly be changed by these factors. It is difficult to find reasons which could destroy this separation leading to a gap in the accretion disk even in presence of an intricate physics. Properties of inner parts of accretion disks in the Galactic and etragalactic systems are studied by means of the X-rays observations including investigation of fluorescent iron lines in the X-ray spectra 7 9 2]. If the above gap in the accretion disk really eists this could affect the form of the lines. This may be of interest for

2 2 testing the relativistic gravitation theories. In the present paper we study test-body orbits in static spherically symmetric asymptotically flat space-times of General Relativity in presence a non-linear scalar field minimally coupled with gravity. In Section III we derive general conditions for the appearance disconnected structure of SCO. In Section IV we found a family of special solutions to Einstein - scalar field equations which describe configurations with a positive mass. With this aim we use a known method (see 22 26]) of generation of special spherically symmetric solutions to these equations along with corresponding potentials. In this section we deal with massless scalar fields. Investigation shows the occurrence of the disconnected distribution of SCO both in case of BH and/or S for certain domain of the family parameters. At the same time the other choice of the parameters ensures the absence of discontinuities in the distribution. In Section V we show limits on the family parameters which allow or prohibit the disconnected structure of SCO in different situations. Section VI deals with some generalizations including massive scalar field. The results are summarized up in Section VII. II. BASIC RELATIOS AD OTATIOS The metric of a static spherically symmetric space-time can be written as ds 2 A()dt 2 B()d 2 r 2 ()do 2 () where do 2 dθ 2 + sin 2 (θ)dϕ 2 and A > B > in a static region. In case of the usual Schwarzschild coordinates one can choose r as the radial variable yielding ds 2 Adt 2 B(d/dr) 2 dr 2 r 2 do 2. In this Section we use essentially some of the results of ]. Following ] we use the other choice of coordinates by putting B /A: ds 2 A()dt 2 d2 A() r2 ()do 2 (2) and we say that is a point of center if r( ) and r() > for >. We assume A() r() C (2) φ C () and r() + o(/) r () + o(/) () A() 2m/ + o(/) m > () as specifying an asymptotically flat space-time of an isolated system with positive total mass m. For the scalar field we assume lim φ(). The Einstein equations in presence of a self-interacting minimally coupled scalar field φ can be derived from the action functional S S GR + d g g µν φ µ φ ν 2V (φ)] () where S GR is the standard gravitational action of the General Relativity (c 8πG ) and V (φ) is a selfinteraction potential to be specified below. In case of metric 2 this yields the following system ( ) d da d d r2 2r 2 V (φ) (6) d 2 r d 2 + ( ) 2 dφ 2 r (7) d A d2 r 2 d 2 r2 d2 A 2. (8) d2 Variation of () with respect to φ yields one more equation which is not independent from equations (6 8); therefore we do not write it. From equation (7 it follows d 2 r d 2 dr (9) d whence the point of center is a simple root. Equation (8) can be written as d r d d d on account of () this yields A() r 2 () ( )] A r 2 2; 2 C r ( ) d () where C is an integration constant. Under conditions ( ) we derive C 6m. In view of ( 6 7) we get φ() ± 2 r d 2 r d 2 () under supposition of the integral convergence. Owing to (6) the potential V () V (φ()) can be epressed by means of r(): V () r 2 A ( r 2 (r ) 2 + rr ) + 2 m dr r d. (2) Equations (2) represent a general solution in an implicit form by means of arbitrary r() satisfying ( 9). Thus we use the inverse method 22 27] to generate families of special solutions: instead of looking for functions A() r() φ() for some given potential V (φ) we may fi any of these functions for eample r() and look for A() φ() and V (φ). This problem is solved by quadratures according to (2); V (φ) is defined parametrically from V () using φ().

3 In case of r() we have the Schwarzschild metric the scalar field φ and V. Further we use asymptotic relations (see 26]) of the solutions depending on the sign of m. Let the conditions ( 9) for r() be satisfied. Then 26] (a) if > m then A() > > A() and the functions ( 2) have asymptotics as : A() 2( m) r ( ) r() V () ( m) r ( ) r ( ) r 2 ; () () (b) if < m then there eist a point h > (the horizon) such that A( h ) and A() > for > h. The case (a) deals with S. In order to prove (a) one can estimate the Kretschmann scalar near R αβγδ R αβγδ 6( m) 2 r ( )] ( ) 6. () Also it is easy to show by considering light-like radial geodesics that the time needed for signals from the center to reach a remote observer is finite. In case of < m it follows from equation () A() as + whence statement (b) follows; and r() >. There is no any singularities of φ r() V () and the Kretschmann scalar at h. The Schwarzschild-like singularity at h can be removed by a coordinate transformation e.g. (t ) (T X) : T t+ da ( A) /2 X t+ da ( A) /2. In the new coordinates the 2-dimensional surface h is light-like; therefore this is indeed the regular horizon. III. TEST BODY CIRCULAR ORBITS In this Section we present general relations to be used below in numerical estimates. We are interested in timelike geodesics in the static region where A > r >. We shall concentrate on the case shown in Fig. and further we use notations according to this figure. Here X X 2 X represent limiting radii of different regions of circular orbits. amely the radial coordinates : X < < correspond to the outer region of circular orbits and : X < < X 2 correspond to the inner region (if it eists) which is separated off the outer region by a prohibited area X 2 < < X where either there is no circular orbits or they are unstable. In case of spherically symmetric space-time metrics (2) the integrals for the test body geodesic motion in the equatorial plane are as follows ( ) ( ) dt dϕ A() p t r 2 () L θ π/2 dτ dτ τ is the canonical parameter on the time-like geodesics. These equations together with the normalization integral yield the equation for the radial variable ( d dτ ) 2 p 2 t U eff ( L) () FIG.. Shaded area: regions of stable orbits. White area: no stable orbits. where U eff ( L) L 2 U () + U 2 () U () A() r 2 () U 2() A(). (6) ote that using a more general metric representation () leads to the same equation after the corresponding change of the parameter τ. Equation () formally describes a one-dimensional particle motion in a field with effective potential U eff /2. To study the circular orbits that correspond to the etrema of U eff we shall need the function F () U 2/U. Making use of () we obtain F () r 2 () 2r ()r () m m r ( ) d r()r r 2 ] ()A() (). (7) m Further we use the relations for the derivatives F F obtained using (): H() F () f ()A() 2r 2 () r()r () (8) F () f ()A() 2r 2 () + r()r () m 6r()r () (r ()) 2 (9) where f() 2r ()r ()/( m) and we assume r C ().

4 At the points of etrema of U eff we have U eff yieling L 2 F (). (2) If some X is a root of equation (2) and F () increases near X then this is a point of a minimum of U eff corresponding to radius X of a stable circular orbit with angular momentum L; if F () decreases this is the radius of an unstable circular orbit (limiting cycle for the test body trajectories). ear the center + using r() r ( )( ) + O( ) we have an asymptotic relation For using () we have F () r2 (). (2) F () m H() m. (22) Owing to (22) there is a (sufficiently large) X such that for (X ) function F () is monotonically increasing and any of this interval is a radius of a stable circular orbit with an appropriate angular momentum L. If > 2m then the graph of F () crosses the abscissa ais and tends to infinity as ; so for any L there is at least one root of (2). In particular there is always a minimum of U eff for L which defines a position of a stationary particle hanging at rest over the singularity. In case of < m using () we see that A() > for m including A(m) >. This means that the horizon h < m. It follows from (7) that F () m +. For ( h m) we have F () < and there is no roots of (2) on this interval. Taking into account the behavior of F () as we see that there eists at least one minimum of F () on (m ). This can be summarized as follows. (i) If < m (the BH case) then there is no circular orbits in the region ( h m). If for some fied L we have a maimum of U eff defining a radius X unst of an unstable circular orbit then we have a stable circular orbit with radius X st < X unst with the same L and vice versa for a stable orbit there is at least one unstable counterpart. The statement (i) is a simple consequence of the fact that in this case F () is monotonically decreasing in the neighborhood of m and monotonically increasing for large. For eample in case of the Schwarzschild metric we have F () 2 m/( m); this function has a minimum F min 2m 2 for 6m so there is no solutions of (2) and minima of U eff for L 2 < 2m 2. (ii) For > 2m (the S case) for any L there is always a root X st of equation (2) which corresponds to a minimum of U eff and defines a radius of a stable circular orbit. In both cases (i) and (ii) there is a solution of (2) for sufficiently large L and large. Previous considerations do not say anything about the eistence of discontinuous regions of circular orbits. Let us consider when additional minima of U eff can appear. This is related to the eistence of local maima of F (). (iii) Let X m be a point of local maimum of F () so that F () is monotonically increasing for (X X m ) and monotonically decreasing for < X and (X m X ) for some X > X m. Then there eist regions of SCO with radii (X X 2 ) X 2 X m and (X ) X X these regions being separated by the domain with radii (X 2 X ) where SCO do not eist. Of course the point X m of (iii) may not eist. Sufficient conditions for (iii) can be derived in a standard way by investigation of F () and its derivatives. For some X X m of (iii) to eist it is sufficient that F (X) > r(x)r (X)A(X) X m where A is given by () where H > (2) F (X) H(X) (2) r2 A (r ) 2 + r r r ] r rr X m X m (here and in the net equation r A f are functions of X) and F (X) < (2) where on account of (2) we can put F (X) J(X) J(X) rr f f + rr X m 6rr (r ) 2 and we have assumed that r() C (). The sufficient conditions (2 2 2) do not define eact boundaries of SCO regions. The limiting radii of such a region are related to a change of the sign of H() F () or to violation of inequality (2). Let (X X 2 ) be a connected SCO region i.e. any (X X 2 ) is a solution of (2) for some L such that is a minimum of U eff and SCO do not eist in a neighborhood of the region either for < X or for > X 2. There are two possible types of conditions that will be used to look for the limiting radii X X 2. Here (X X 2 ) is the interval of monotony of F (). Type I: limiting radii of SCO region are defined by roots X r r 2 of eq. (2) satisfying (2); X is a point of minimum X 2 is a point of maimum of F (). Type II: limiting radius X is defined by a root of F (). This case corresponds to a minimum of U eff with L (minimum of A()) which describes a particle at rest. ow suppose that r r( p) depends on parameter p. Variation of p can change the conditions listed in (iii) at

5 some bifurcation point p p. There are two main types of such bifurcations. Bifurcation I: the local maimum F ma of F (X) crosses zero as p changes. The condition for such a bifurcation to occur is H(X) F (X) J(X) <. (26) The first two equalities of (26) can be used to find the bifurcation point p and X-value. Bifurcation II: the inequality (2) remains valid but the maimum disappears by violating (2) i.e. (necessary condition) H(X) J(X) F (X) >. (27) Eamples of this bifurcation when maimum of F () appears/disappears can be seen in Figs 6. In a degenerate case one can have H(X) J(X) F (X). IV. FAMILY OF SPECIAL SOLUTIOS Looking at conditions (2 2) we see that there is a functional freedom to fulfill the conditions (iii) by some choice of the arbitrary function r(). However it is important to have a simple eample on this issue that can be investigated in detail. Having this in mind we consider a family of special solutions with r() ( ) ] > 2. (28) In case of 2 we have the eample studied in 26] (see equation (7) of this paper). The solutions are defined for all >. We shall see that this family is sufficiently wide to include situations with discontinuous SCO distributions. ote that for we have the Schwarzschild solution. The relations ( 2) depend on continuously and this parameter can be considered as an indicator of the scalar field effects. Evidently for > we have r > d 2 r/d 2 < and the conditions ( 9) are fulfilled. Integration in equation () for > yields A() in terms of the hypergeometric function where A() G( ) F ( ) ] 2 G( ) (29) ( 2m F + ( ) ]. ) ] In view of () we have 8( ) ( ) ] /2 φ() ± arcsin. () Formulas (2 29 ) define potential V () parametrically for φ < (π/2) 8( )/ and correspondingly >. The potential V () is eplicitly derived using the functions A() r() in ( 2) then we get V (φ) by a substitution of ( )} 2/ {sin φ. () 8( ) into V (). Thus we get a spherically-symmetric solutions of Einstein s equations with the scalar field in case of this potential; the solutions are given by (2829). The scalar field potentials are qualitatively different is cases of BH and S. As φ π 2( /) in case of S we have V (φ) and in case of BH V (φ). In the latter case the graph of the potential is similar to the "Meican hat" (Fig. 2). In both cases the potentials V (φ) are negative in some region (see eamples in Fig. 2) so our solutions do not contradict to the no-scalar-hair theorems 22 28]). Asymptotic relations for the solutions at spatial infinity and near the center can be derived either directly from the formulas of Section II or from ( ); they are listed in Appendi A. The behavior at spatial infinity (large ) corresponds to the behavior of V (φ) near the origin φ. Correspondingly we get the scalar field self-interaction potential near φ ; it is asymptotically the same for the S and BH cases (see Fig. 2): V (φ) ( ) 2(+/) 2(+2/) ( 2) φ ( ) 2/ ( + 2) 2 2. (2) 2 Thus we are dealing with massles scalar fields. The Kretschmann invariant diverges at the center; in accordance with (a) and (b) of Section II for > m there is the S at the center ; and for < m we have BH with a horizon at some h >. V. SCO DISTRIBUTIO I CASE OF (28) For numerical estimates it is convenient to choose further the units of length so as to have C 6m. Using (2 22) one can look for parameters > > leading to discontinuities in the SCO distribution. After determination of roots X r of H() and F () for fied we determine limiting values of angular momentum L lim according to (2) when minima of U eff begin to appear/disappear. In this problem both type I (roots of H()) and type II (roots of F ()) of limiting SCO can be present. Further we present results of the numerical investigation; they look different for BH ( <.) and S (.). The dependences of boundary radii X r r 2 upon for some fied values of are illustrated in Figs.. Fig. 7 represents the dependence k ( ) for some fied values of.

6 6. 2 d. - c V ( X ) r a - 2. b 2 - V ( ) FIG.. The BH case limiting SCO radii Xr ( ) (type I) for three values of. The dotted curve shows the singlevalued dependence X ( ) for.2. The case of. (dashed) is critical: for larger we have three roots of equation (2). Correspondingly the case of. (solid) represents three-valued function Xr ( ) between. and 2 6.: the branch between points "a" and "b" represents X ( ) between "b" and "c" X2 ( ) and between "c" and "d" X ( ) (notations according to Fig. ); there is no SCO radii between X2 ( ) and X ( ). The latter branch etends to infinity for > 2. The points c( ) and b(2 ) represent the bifurcation II points...7 FIG. 2. Upper panel: scalar field potentials in cases of BH (. : solid dashed) and S (. : dotted dash-dot). Smaller panel shows details of the graphs near the origin φ. which cannot be seen on the scale of the large panel. We note that the potential graph of the intermediate case. (not shown here) is completely similar to the case of >.. Lower panel: the same potentials V () V (φ()) as functions of. Smaller panel at the right corner shows details of the graphs for large. (i) In case of BH Uef f (h L) and function Uef f ( L) is increasing as a function of in some neighborhood of h. The type of monotony for larger > h (and the occurrence of double minima of Uef f ) depends on L. The curves in this case are represented as the roots Xr of H(). For sufficiently small (small scalar field effects) a typical situation is represented by the dotted curve X ( ) of Fig.. Here the dependence X ( ) singlevalued that is for every there is the only root X( ) that defines a lower boundary of SCO radii and a corresponding value of the limiting angular momentum Llim p F (X( )). In this case there is the only connected region of SCO different SCO having different angular momenta. This region contains non-relativistic SCO with large and correspondingly large L. For larger the dependence Xr ( ) becomes manyvalued between some 2. A typical picture is represented by the solid curve of Fig.; "c" and "b" represent bifurcation II points. The lower section of the curve X ( ) is defined for < 2. For < < 2 there are three branches: X ( ) < X2 ( ) < X ( ) that are connected at points "b" and "c". For any fied ( 2 ) these dependencies define two intervals of the SCO radii: (X X2 ) (X ); the intermediate region (X2 X ) is being prohibited (see Fig. ). For > 2 there is again only one root X ( ) of H(). (ii) In case of S there also can be disconnected regions of the SCO. Typical dependences Xr ( ) in the S case are presented in Fig.. We see that for all > m there eists such that for < there is the only branch of the type II limiting radii that etends to infinity. For > additional two branches X2 and X appear (type I limiting SCO roots of H()). The prohibited region occupies the space between X2 and X that eist not for all parameters of the family. The dependences Xr ( ) plotted in Fig. 7 represent two qualitatively different cases. For large there always eists an upper branch X ( ) for all. The continuous lower curve always consists of two parts connected at the point. with a break. For <.87 this curve is broken into two parts; the smaller the farther away is the right upper branch of the curve in the region of large. In the same way as in Fig. the lower curve in Fig. 7 to the right of the break point also represents type II not not type I. The other curves in

7 7. 7 F ( F ) 7 ( ) FIG. The BH case eamples of F () with different.. The main figure shows F () for > m and smaller graphs in the right lower corner show this function for < < m where there is no solutions of (2). Dashed lines correspond to bifurcation II points c( ) and b(2 ) in the previous figure when the maimum of F () appears/disappears; solid line to ( 2 ) when there eists the local maimum dotted lines to < and > 2. FIG. The S case. eamples of F () with different.6; the smaller graphs in the right lower corner show this function in the neighborhood of. Dashed line corresponds to the bifurcation II point "b" in the previous figure (.8) when the maimum of F () appears/disappears; solid to some > when there eists the local maimum dotted for < (no maima) X X r r. b. a FIG.. The S case dependencies Xr ( ) r 2 for.6 (solid).88 (dashed): (dotted). The lower curves X ( ) represent type II limiting SCO radii. Two upper curves X2 ( ) X ( ) > represent type I limiting SCO radii; these curves are connected at bifurcation II points. E.g. for.6 to the right of the line "ab" (with abscissa.8) we have configurations with discontinuous distribution of SCO; and there is no SCO radii between X2 ( ) and X ( ).. 8. FIG. 7. Xr ( ) as a function of for different in the neigborhood of critical value c.87 when continuous line ( < c ) breaks into non-connected branches. The lower sections of the curves for >. (the S case) which almost have merged together represent the type II limiting SCO radii. The other sections of the curves correspond to the type I limiting SCO. depends on r(y) for y ). Let this figure are obtained as the roots Xr of H() (type I). VI. SOME GEERALIZATIOS The relations (2 2) are local conditions on functions r() r () r () r () and A(); the latter continuously r() ε()]. () It is easy to see that small variations of ε() and its derivatives do not change the topological structure of SCO distribution. Therefore we may construct infinity of eamples leading to a discontinuous structure similar to that described in Fig. using these variations. A simple outcome is in particular can be formulated

8 8 as follows. Let C 6m is fied ε C () ε sup{ ε() + ε () + 2 ε () + ε () )}. There eists a sufficiently small value ε > such that if ε < ε then there are no discontinuities in the SCO distribution. This statement follows from inequality F () > (which contradicts to 2) in the neighbourhood of minimum of F () for small variations near the Schwarzschild metric (see Section III). ow we consider a modification of (28) assuming.2 X r.8 c d ε() ( ) e µ( ). () The main interest to () is due to asymptotic behavior for small φ which is different from that of (2) in case of (28). This modification generates the scalar field potential with asymptotic behavior V (φ) µ2 8 φ2 () for small φ (and any fied ) corresponding to the scalaron mass µ/2; this follows from asymptotic relations at spatial infinity (Appendi B). Apart this property the graphs and qualitative behavior of V (φ) both in the BH and S cases are similar to those of Section IV. Here we present eamples of the dependencies X r (µ) (Figs. 8 9). These figures also are qualitatively similar to upper panels of Figs.. For a numerical eample (Figs. 8 9) below we have chosen + mµ in order to compare with some of the results of 29]. In the BH case for sufficiently small there is the only connected region of possible SCO and we have a single-valued dependence X r (µ) that defines innermost SCO. For larger there arise two bifurcation II points such that the dependence X r (µ) becomes many-valued between some µ µ 2 (see solid line in Fig. 8 and the region between perpendiculars "ac" and "bd" to the abscissa ais). For µ > µ 2 there is again the only connected region of possible SCO. In case of S for fied > (whatever small) there eists µ > such that for µ > µ the disconnected regions of the SCO arise (see a region to the right of "ab" and solid line in Fig. 9). Typical dependences X r (µ) in the S case are presented in Fig. 9. The lower branch represents the type II limiting radii. The other two branches for µ > µ represent the type I ones. The similarity of X r () and X r (µ) for (28) and () correspondingly suggests that occurrence of discontinuous SCO distribution is related to how fast the field φ() and the potential V (φ()) decrease as increases. The rate of the decrease is obviously depends on the rate of decrease of ε() which is defined by parameters and µ. This property looks different in cases of S and BH: in the former case the non-connected SCO distributions eist for all and/or µ up to infinite values. In case of BH the corresponding interval of and/or µ is limited. a. 2 FIG. 8. Limiting SCO radii X r(µ) for three values of in the BH case of the generating function (). The dashed curve shows X (µ) for.2 which defines radii of the innermost SCO X (µ). The case of. (solid) represents a three-valued function between µ.6 and µ 2 8.: the branch between points "a" and "b" represents X (µ) between "b" and "c" X 2(µ) and between "c" and "d" X (µ) according to Fig. III. The case of.2 (dotted line) is intermediate it shows how the curves transform as changes X r b a 7 FIG. 9. The case of S of the generating function (): dependencies X r(µ) for.6 (solid).88 (dashed): (dotted). For fied and µ > µ (to the right of line "ab") there eists the region of SCO with radii in the interval (X (µ) X 2(µ)) and (X (µ). The curves X 2 X and X (µ) represent correspondingly type I and type II limiting SCO radii; "b" is the bifurcation II point. VII. DISCUSSIO We presented special solutions of the joint system of Einstein equations and massless scalar field equations with various nonzero self-interaction potentials. The so- b

9 9 lutions describe isolated static spherically symmetric configurations with an asymptotically flat space-time and a positive total mass. These solutions deal with either S in the center of the configuration or with BH. The family includes the Schwarzschild metric as limiting case ; the smaller the closer the solutions to the Schwarzschild case. In the BH case the scalar field potential V (φ) is bounded from below; and the potentials are infinitely negative near S. The main outcome of this paper is that separated (disconnected) ring-like structures of stable circular orbits can indeed emerge for some family parameters no matter BH or S case massless or massive case. ote that such a feature in case of the massless linear scalar field was first revealed in ] dealing with S at the center. Our considerations show that similar structures can emerge also in BH cases. We remind that the well-known BH-no-hair theorem 28] does not prohibit the BH case if the scalar field potential is not positively definite; this is just the case of our solutions. It is also important to note (see Figs. 9) that occurrence of S does not necessarily imply the eistence of the discontinuous structures. As to more fine effects due to the form of the scalar field potential the situation looks rather complicated. There are some considerations concerning the rate of decrease of V () (see Section VI) but they rely upon the concrete form of r(). Evidently our results dealing with a special family solutions do not describe the most general situation with the scalar field. Moreover our solutions show that for some family parameters the discontinuous distribution of SCO eists and for the other (in particular when the parameter is sufficiently small) it does not eist. evertheless the results suggest that the eistence of separated annular regions in accretion disks around relativistic objects can be a fairly common phenomenon that may indicate some deviations from standard models. This effect can be tested by means of the fluorescent iron lines (especially Fe Kα) in the X-ray spectra radiated by accretion disks around compact objects 9 2]. The appearance of the separated ring-like structures in astrophysical objects could be detected by unusual deformations of these lines. Of course the scalar field effects if they eist will be obscured by less eotic ones e.g. due to accretion disk warps in AGs inhomogeneous distributions of matter in the disks reflection of X-rays from dust tori and possible eistence of BH companions (see e.g. ]). This will complicate the comparison of effects associated with different kinds of eotic objects 2]. ACKOWLEDGMETS Authors are thankful to the referees of this paper for helpful suggestions. This work has been supported in part by State Foundation for Fundamental Research in Ukraine. O.S. is indebted for a partial support from Department of target training of Taras Shevchenko ational University of Kyiv under ational Academy of Sciences of Ukraine (project 6F). Appendi A: Asymptotic relations: massless case Asymptotic relations at the spatial infinity are as follows A() 2m 2(2 ) ( ) ( )] + + O (A) + 2 V () ( )( 2) O ( )]. (A2) These relations can be used to obtain formula (2). Using () and (28) we have in the neighborhood of the metric coefficient and the potential A() 2( m) 2 ( ) (A) V () ( )( m) 2 ( ) 2. (A) Appendi B: Massive scalar field Here we present asymptotic relations in case of (). At spatial infinity we have A() 2m 2ε 2mµ + ( )] + O µ 2 + O ( ε 2) (B) where ε ε() is given by () φ() ±2 2ε µ + O ( 2 )] ( + O ε /2) (B2) ( )] V () µ 2 2 2mµ 6 ε + + O µ 2 + O ( ε 2) (B) Behavior near the center: A() 2( m) ( + µ ) 2 ( ) (B) V () ( m)((µ ) 2 + ( )( + 2µ )) ( ) 2 ( + µ ). (B)

10 ] C.M. Will. The Confrontation between General Relativity and Eperiment. Living Rev. Relativ. 7 2 arxiv:.777] 2] E. Berti E. Barausse V. Cardoso et al. Testing General Relativity with Present and Future Astrophysical Observations Classic. Quant. Grav. 2 2 (2) arxiv:.727] ] Plank collaboration. Planck 2 results. XXII. Constraints on inflation. Astron. Astrophys. 7 id.a22 (2) arxiv:.82]. ] A. Linde. Inflationary Cosmology after Planck 2. (2) arxiv:2.26]. ] B. ovosyadlyi V. Pelykh Yu. Shtanov A. Zhuk. Dark energy and dark matter of the universe: in three volumes. Ed. V. Shulga. Vol. : Dark matter: Observational evidence and theoretical models (Kiev Akademperiodyka 2) arxiv:2.77]. 6] I.Z. Fisher. Scalar mesostatic field with regard for gravitational effects. Zh. Ep. Theor. Phys (98) arxiv:gr-qc/998]. 7] A.I. Janis E.T. ewman J. Winicour. Reality of the Schwarzschild singularity. Phys. Rev. Lett (968). 8] D. Solovyev A. Tsirulev. General properties and eact models of static self-gravitating scalar field configurations. Classic. Quant. Grav. 29 id. (22). 9] Z. Stuchlík J. Schee. Appearance of Keplerian discs orbiting Kerr superspinars. Classic. Quant. Grav. 27 id. 27 (2) arxiv:.69]. ] A.. Chowdhury M. Patil D. Malafarina P.S. Joshi. Circular geodesics and accretion disks in the Janis- ewman-winicour and gamma metric spacetimes. Phys. Rev. D 8 id (22) arxiv:2.222]. ] R.S.S. Vieira J. Schee W. Kluźniak Z. Stuchlík M. Abramowicz. Circular geodesics of naked singularities in the Kehagias-Sfetsos metric of Horava s gravity Phys. Rev. D 99 id.2 (2) arxiv:.82]. 2] D. Pugliese H. Quevedo R. Ruffini. Equatorial circular motion in Kerr spacetime. Phys.Rev.D 8 id. (2) arxiv:.299]. ] D. Pugliese H. Quevedo R. Ruffini. Equatorial circular motion in Kerr spacetime. Phys. Rev. D 88 id. 22 (2) arxiv:.62]. ] D. Pugliese H. Quevedo R. Ruffini. General classification of charged test particle circular orbits in Reissner ordström spacetime European Phys. J. C 77 id.26 (27) arxiv:.29]. ] K. Boshkayev E. Gasperin A.C. Gutierrez-Pineres H. Quevedo S. Toktarbay. Motion of test particles in the field of a naked singularity. Phys. Rev. D 9 id.22 (26) arxiv:9.827]. 6] I.D. ovikov K.S. Thorne 97 Astrophysics of black holes. In: Black holes (Les astres occlus) p. - (97). 7] C.S.Reynolds M.A.owak. Fluorescent iron lines as a probe of astrophysical black hole systems. Phys.Rept (2) arxiv:astro-ph/226]. 8] J.-P.Lasota. Black Hole Accretion Discs. In: Astrophysics of Black Holes ed. C. Bambi. Springer 26. 9] P.W. Guilbert M.J. Rees. Cold material in nonthermal sources. Mon. otic. Roy. Astron. Soc (988). 2] A.P. Lightman T.R. White. Effects of cold matter in active galactic nuclei - A broad hump in the X-ray spectra. Astrophys. J (988). 2] A.C. Fabian M.J. Rees L. Stella.E. White. X-ray fluorescence from the inner disc in Cygnus X- // Mon. otic. Roy. Astron. Soc (989). 22] K.A. Bronnikov. Spherically symmetric false vacuum: no-go theorems and global structure. Phys.Rev. D 6 id.6 (2) arxiv:gr-qc/92]. 2] K.A. Bronnikov G.. Shikin. Spherically Symmetric Scalar Vacuum: o-go Theorems Black Holes and Solitons. Gravitation Cosmol (22) arxiv:grqc/927]. 2] K.A. Bronnikov. J.C. Fabris. Regular phantom black holes. Phys. Rev. Lett. 96 id.2 (26) arxiv:grqc/9]. 2] V.V. ikonov Ju.V. Tchemarina A.. Tsirulev. A twoparameter family of eact asymptotically flat solutions to the Einstein-scalar field equations. Classic. Quant. Grav.. 2 id. 8 (28). 26] M. Azreg-Aïnou Selection criteria for two-parameter solutions to scalar-tensor gravity. General Relativity Gravit (2) arxiv:92.722]. 27] M. Cadoni E. Franziny Asymptotically flat black holes sourced by a massless scalar field. Phys. Rev. D 9 id. (2) arxiv:.7]. 28] J.D. Bekenstein Black Holes: Classical Properties Thermodynamics and Heuristic Quantization. ArXiv:grqc/98828 (998). 29] R.A. Asanov Point source of massive scalar field in gravitational theory. Theoretical and mathematical physics (97). ] A.A. Vasylenko E.V. Fedorova B.I. Hnatyk V.I. Zhdanov. Evidence for a binary black hole in active nucleus of GC 9 galay? Kinemat. Phys. Celest. Bodies. 8 (2). ] E. Fedorova A. Vasylenko B.I. Hnatyk V.I. Zhdanov. The peculiar megamaser AG GC 9: Comparison with the warped disk candidates GC 68 and GC 28. Astronom. achr (26). 2] C. Bambi D. Malafarina. Kα iron line profile from accretion disks around regular and singular eotic compact objects. Phys. Rev. D 88 id22 (2).