New application of the Killing vector field formalism: modified periodic potential and two-level profiles of the axionic dark matter distribution

We consider the structure of halos of the axionic dark matter, which surround massive relativistic objects with static spherically symmetric gravitational field and monopole-type magneto-electric fields. We work with the model of pseudoscalar field with the extended periodic potential, which depends on additional arguments proportional to the moduli of the Killing vectors; in our approach they play the roles of model guiding functions. The covariant model of the axion field with this modified potential is equipped with the extended formalism of the Killing vector fields, which is established in analogy with the formalism of the Einstein–Aether theory, based on the introduction of a unit timelike dynamic vector field. We study the equilibrium state of the axion field, for which the extended potential and its derivative vanish, and illustrate the established formalism by the analysis of two-level axionic dark matter profiles, for which the stage delimiters relate to the critical values of the modulus of the timelike Killing vector field.


Introduction
Dark matter is one of the key elements of modern scenaria of the Universe evolution, of the galactic formation and rotation [1][2][3]. Dark matter forms halos and subhalos, filaments and walls; their structures give a significant part of information about the gravitational field of the central bodies, which are surrounded by these galactic units. It is impossible to observe dark matter directly, since it neither emits, nor scatters light, that is why theoretical predictions based on the structure modeling of the dark matter halos, subhalos, filaments and walls play the important role in the investigations of these enigmatic cosmological units. a e-mail: Alexander.Balakin@kpfu.ru (corresponding author) b e-mail: groshevdmitri@mail. ru We follow the line that the axions, massive pseudo-Goldstone bosons, predicted in the works [4][5][6], are the particles, which are responsible for the phenomena, associated with the dark matter. During the last forty years the basic aspects of the axion theory, the cosmological and astrophysical applications of the axion models were well documented in many works (see, e.g., [7][8][9][10][11][12][13][14][15][16]). During the last decade new trends in the theory of the axionic dark matter appeared. First of all, we mean the non-minimal extensions of the axion models, which are based on the F(R) modifications of the theory of gravity (see, e.g., [17][18][19][20][21]), on the non-minimal extensions of the theory of the axion-photon coupling [22], and on the axionically extended models of the dynamic aether [23]. The second trend is associated with the recent surge of interest to the black hole mergers and supermassive black holes: the axionic dark matter can play the role of a marker revealing specific features of the strong gravitational field (see, e.g., [24,25] as illustrations). The third trend is connected with the modeling of axionic structures of different scales, associated with the galactic halos, miniclusters, halos surrounding the magnetars, dyons, etc. (see, e.g., [26][27][28][29]). We have to emphasize, that one of the most influential idea in these new models is the idea of internal self-interaction in the axionic systems. The axionic dark matter, apparently, is not a simple collisionless gas without pressure, which interacts by the gravitational field only; probably, the axions form correlated systems. The most known model of this type is the model of axionic Bose-Einstein condensate, presented in [30]. The alternative description of correlated axionic systems is based on the models containing the potential of the pseudoscalar field V (φ 2 ), which can have the polynomial form φ n , the φ 4 Higgs-type structure, or the nonlinear periodic form (see, e.g., [31]).
We focus on the description of the axionic systems based on the analysis of the equation for the pseudoscalar field φ, associated with axions [32,33]. New aspects of this theory are connected with the structure of the pseudoscalar field potential V . The standard potential is considered as an even function of the argument φ only, i.e., V = V (φ 2 ); we extend the theory by introducing the function of s + 1 arguments V (φ 2 , ξ (1) , ξ (2) , . . . ξ (s) ), where ξ (a) is the set of some scalars (a = 1, 2, . . . s). What can be the origin of these scalars?
(i) Scalars associated with the Einstein-Aether theory. The extension of the potential was prompted by the analogy with the Einstein-Aether theory [34][35][36], which is based on the introduction of a timelike dynamic vector field U i normalized by unity (g ik U i U k = 1). In the framework of the Einstein-Aether theory one can introduce into the potential V four auxiliary scalars based on the decomposition of the covariant derivative ∇ m U n (see, e.g., [37][38][39][40] for details and references). The first scalar is the divergence of the vector field (ξ (1) → ≡ ∇ m U m ). The second scalar is the square of the acceleration four-vector a i = U k ∇ k U i (ξ (2) → a 2 ≡ g ik a i a k ). The third scalar is the square of the symmetric shear tensor σ pq (ξ (3) → σ 2 ≡ σ ik σ ik ), and the fourth scalar is constructed using the square of the skewsymmetric vorticity tensor ω ik (ξ (4) → ω 2 ≡ ω ik ω ik ). The scalar coinciding with the modulus of the vector U i is equal to one and thus it can not be considered as a guiding function. In other words, when the theory possesses intrinsic unit vector field, we can add four new arguments to the potential of the pseudoscalar field V , and can use this covariant extension for detailing the structure of the dark matter configuration.
There are three illustrations of this idea. The first one relates to the Friedmann type cosmology, for which a i = 0, σ ik = 0, ω ik = 0, and the only scalar proportional to the Hubble function H (t) ( = 3H ) is the nonvanishing guiding function (see, e.g., [41,42]). The second illustration is connected with the pp-wave symmetric spacetimes with two auxiliary nonvanishing scalars: and σ 2 [43,44]. The third example appeared in the Gödel type model, in the framework of which the nonvanishing parameter ω 2 can be considered as the guiding function [45].

(ii) Scalars associated with the Killing vectors.
If the model does not contain vector field U i associated with the dynamic aether, but possesses some specific symmetries, described by the set of Killing vectors and/or conformal Killing vectors ξ i (a) (a = 1, 2, . . . s), we suggest to use the new scalar quantities of two types. First, we can consider the moduli of the Killing vectors, ξ (a) = |g mn ξ m (a) ξ n (a) | (or their combinations) as the auxiliary arguments of the modified axionic potential. It was impossible in the Einstein-Aether theory, since the modulus of the velocity field U i is equal to one. The scalar quantities of the second type contain nonvanishing convolutions of the derivative ∇ m ξ n . When we deal with the standard Killing vector, which satisfies the equation ∇ m ξ n +∇ n ξ m = 0, the divergence ∇ m ξ m is equal to zero, but for the so-called conformal Killing vector, which satisfies the equation ∇ m ξ n +∇ n ξ m = 1 2 g mn ∇ s ξ s , the scalar ∇ s ξ s is nonvanishing and can be used for the physical modeling. In its turn, for the standard Killing vector the skew-symmetric quantity 1 2 [∇ m ξ n −∇ n ξ m ] = ∇ m ξ n is nonvanishing, and its square can be used in analogy with the square of vorticity tensor ω mn appeared in the Einstein-Aether theory. Illustration of this idea can be found in [28], where the model with the static spherically symmetric spacetime of the Reissner-Nordström type is analyzed.
(iii) Why the new guiding scalar functions are necessary for the extended analysis? In order to describe the new units in the dark matter halos (filaments, walls, etc.), we need of covariant scheme to fix some lines and surfaces. For instance, when we deal with a static spherically symmetric gravitational field and try to separate one spatial domain from the other, we could use the well-known Heaviside function h; however, we can not insert into the Lagrangian the term h(r −r * ), since the difference of radial coordinates is non-invariant quantity. Nevertheless, we can use the term h(ξ − ξ * ), where ξ is the appropriate additional scalar, and ξ * is its critical value; this scheme is the covariant one.
(iv) How the paper is organized? In order to provide the self-consistency of the approach, which is based on the extended formalism of Killing vectors, we have to introduce the Killing vector field as the dynamic field, i.e., we have to add into the Lagrangian the scalar terms quadratic in the covariant derivative ∇ m ξ n , and to develop the variation formalism in analogy with the formalism used in the Einstein-Aether theory. In Sect. 2.1 of this work we establish the strict covariant formalism justifying this idea in general case.
Since the additional scalars, based on the Killing vector fields, are designed to be used for description of the pseudoscalar (axion) field, we have to modify the axionic periodic potential and to derive the correspondingly modified master equations for the axion, electromagnetic and gravitational fields; in Sect. 2.2 we present these modified master equations and discuss the concept of the equilibrium state of the axionic subsystem.
In Sect. 3 we apply the formalism for description of twolevel distribution of the axionic dark matter near the static spherically symmetric objects with magnetic and electric fields; the analysis of the obtained key equation is presented in Sect. 4. In Sect. 5 we discuss the features of the profiles of the axionic dark matter obtained in the framework of the suggested model.

Action functional
The action functional of the Einstein-Aether theory is known to have the form where R is the Ricci scalar; is the cosmological constant; U i is the vector field, ∇ k is the covariant derivative; K abmn is the Jacobson's constitutive tensor: K abmn = C 1 g ab g mn +C 2 g am g bn +C 3 g an g bm +C 4 U a U b g mn , which contains four phenomenological constants C 1 , C 2 , C 3 and C 4 . The scalar quantity λ is the Lagrange multiplier; variation with respect to λ gives the constraint g mn U m U n = 1; this quadratic relationship is, in fact, the normalization condition for the vector field. When the vector field U i is absent, but there exists the Killing vector field ξ i , we suggest to work with the action functional similar to (1): where the parentheses denote symmetrization: ∇ (i ξ m) = 1 2 (∇ i ξ m +∇ m ξ i ), and the tensor K abmn K abmn = K 1 g ab g mn + K 2 g am g bn + K 3 g an g bm (4) contains only three phenomenological constants K 1 , K 2 and K 3 (we assume that the constitutive tensor K abmn contains the metric tensor, but does not include the Killing vector itself).
In other words, we consider the vector field ξ i as a dynamic quantity in analogy with the aether velocity field, however, instead of the algebraic constraint we use the differential one.

Variation with respect toλ and Killing equations
Variation of the action functional (3) with respect to the Lagrange multiplierλ gives the constraint which can be rewritten as follows: This equation is satisfied, if Generally speaking, (7) can be classified as the sufficient but not the necessary condition for the fulfillment of the quadratic relationship (6), nevertheless, here we do not discuss this fine mathematical detail. Clearly, (7) are the equations for the so-called conformal Killing vector, if ∇ n ξ n = 0, and for the standard Killing vector, if ∇ n ξ n = 0 (see, e.g., [46] for details). Calculation of the divergence of the left and right-hand sides of (7) yields Also, when we deal with the standard Killing vector field (i.e., ∇ k ξ k = 0) we can use the relationships as the integrability condition of the first order of the Killing equation. Here, as usual, R k j = R m km j is the Ricci tensor, and R i km j is the Riemann tensor.

Variation with respect to ξ i
When one deals with the Einstein-Aether theory, the variation with respect to the velocity four-vector U i gives the master equation Thus, the normalization condition yields When we deal with the extended formalism, which includes the Killing vector field, variation of the functional (3) with respect to ξ j gives the equations Keeping in mind the relationships (4), (7) and (8) we can reduce these equations to the relations which does not includeλ. The Eq. (13) is satisfied identically, when for arbitrary conformal Killing vector with ∇ n ξ n = 0. When we deal with the standard Killing vector, i.e., ∇ n ξ n = 0, the parameter K 2 remains arbitrary and hidden.

Variation with respect to metric
When one deals with the Einstein-Aether theory the contribution of the vector field into the total stress-energy tensor is known to have the following form where the following definition is used: In order to obtain the similar formula for our extended model, let us find the corresponding analogies. We assume now that This means that the corresponding term in the integral (3) can be rewritten as follows Thus, the analogies are the following: first, we have to omit C 4 ; second, the analog of the term J am is symmetric and it vanishes on the solutions to the Killing equations. In other words, following this analogy we obtain the vanishing stressenergy tensor associated with the Killing vector field. If we fulfil the direct variation of the action functional (3) with respect to metric, the corresponding effective stressenergy tensor T (K) pq associated with the contribution of the Killing vector field can be written as follows: Using (7) and (8), we can show that this tensor takes zero value, T (K) pq = 0. This means that in the suggested scheme there are no additional contributions to the equations of the gravitational field associated with conformal and/ot standard Killing vector fields.

Short summary
1. If we consider the proposed scheme of using of the Killing vector field as a dynamic field based on the action functional (3) with coupling parameters (14), constraint (7) and its differential consequence (8), we obtain nonviolated equations for the gravitational field. 2. If we consider the s-parameter group and deal with the set of Killing vector fields ξ (a) (a = 1, 2, ..s), we can extend the model by inserting the term Clearly, using the moduli of these Killing vectors we can construct only one additional scalar ξ = a(t), or can choose more convenient quantity x = a(t) a(t 0 ) (see, e.g., [47][48][49]). 4. When we consider a static model, we can use the time-like can play the role of the guiding function (see [28]). 5. For spherically symmetric models we can take the azimuthal Killing vector ξ i (ϕ) = δ i ϕ to obtain the additional scalar ξ (ϕ) = r sin θ , where, as usual, r is the radial variable, θ is the meridional angle, ϕ is the azimuthal angle. 6. When we deal with the spacetimes with the so-called ppwave symmetry, we obtain one covariant constant null Thus, we can use two moduli ξ (2) = √ |g 22 | and ξ (3) = √ |g 33 |, as well as, the 23 , as additional guiding functions.

Extended action functional
Let us consider now the total action functional It describes the electromagnetic field, represented in terms of the Maxwell tensor F mn and its dual F * mn , which interacts with the pseudoscalar (axion) field φ with the potential V ; L (matter) is the Lagrangian of a baryonic matter; the quantity 0 is reciprocal to the coupling constant of the axion-photon interaction 1 0 = g Aγ γ (see, e.g., [50] for its observational constraints).

Ansatz about an equilibrium state of the axion system
We assume now that the potential of the pseudoscalar field has the periodic structure where * = * (ξ (1) , . . . ξ (s) ) is a function of the moduli of the Killing vectors ξ (a) . When φ = n * with arbitrary integer n, the potential and its derivative take zero values the values φ = n * correspond to minima of the potential. The coefficient in front of the periodic function in (23) is chosen so that, when φ has a small deviation from the minimum value φ = n * (i.e., when φ = n * +ψ and |ψ| << 1), the potential converts into V → m 2 A ψ 2 . Keeping in mind the mechanical analogy that equilibrium states of dynamic systems can be realized just in the minimum of the corresponding potential, we use below the special term equilibrium state of the axion field, φ (eq) , if the potential of the pseudoscalar field φ and its derivative with respect to φ takes zero value at φ = φ (eq) .

Extended master equations
The variation procedure gives the system of master equations of the model, which contains four sub-sets.
(i) The first sub-set appears as the result of variation of the total functional (22) with respect to the electromagnetic potential A i ; it includes the extended Maxwell equations When the axion field is in the equilibrium state, we have to replace φ with n * in (25).
(ii) The second sub-set consists of one equation for the pseudoscalar field: it is the result of variation of the total action functional with respect to φ. When the axion field is in the equilibrium state this equation converts into (iii) The third subset appears as the result of variation with respect to the vector fields ξ i (a) ; it has the form When we deal with the standard and/or conformal Killing vectors ξ (a) , the left-hand side of this equation vanishes, as it was shown in Section IIA. When the axion field is in the equilibrium state, the quantity ∂ V ∂ * [see (23)] also is equal to zero. In this sense, our scheme of extension of the potential of the pseudoscalar (axion) field using the moduli of the Killing vectors is self-consistent, when we assume that the axion field takes one of the equilibrium values ± * , ±2 * , . . . , ±n * , . . . In other words, the equations for the fields ξ (a) coincide with the Killing equations (7). (iv) Variation with respect to metric gives the equations for the gravitational field in the following form: Here the stress-energy tensors of the matter, of the pseudoscalar (axion) field and of the electromagnetic field are given, respectively, by The last term relates to the contribution of the interaction between the axion field and Killing vector field; it can be written as follows: The term ∂ V ∂ * can be presented in the form: Clearly, when the axion field is in the equilibrium state, i.e., φ = n * , the term T (V) ik vanishes, and the gravitational field equations remain non-violated. Let us consider now an outer zone of a static spherically symmetric object, which possesses a magnetic charge μ and an electric charge q; the term |Q| ≡ μ 2 +q 2 describes the hybrid charge. The mentioned object can be presented, for instance, by a charged black hole; in this case the outer zone covers the spacetime domain from the outer black hole horizon to the infinity. When we consider a dyon, we deal with the zone, which covers the domain from the boundary of the solid body of this object to the infinity. We assume that in both cases the metric in the outer zone can be presented as follows: and the metric coefficient N (r ) is effectively described by the Reissner-Nordström function

First guiding function, ξ
The static spacetime with the metric (36) is known to admit the existence of the time-like Killing vector field ξ i = δ i 0 , and the modulus of this four-vector is ξ ≡ √ N (r ). The value of the modulus ξ on the outer Reissner-Nordström horizon r + = M+ M 2 −Q 2 is equal to zero, ξ(r + ) = 0, and its value at infinity is equal to one, ξ(∞) = 1. In other words, the scalar ξ takes values in the interval (0, 1) and can be used as the invariant delimiter of the first type. This means that if one needs to distinguish the specific sphere r = r * , one can use this first scalar ξ and the appropriate delimiter

Second guiding function, η
The spacetime with the metric (36) admits the so-called azimuthal Killing vector ξ i (ϕ) = δ i ϕ , whose modulus is ξ (ϕ) = r sin θ . Based on this fact we introduce the transformed scalar quantity which coincides with the meridional angle θ = η; it can be used as a delimiter to distinguish some special value of the angle θ = θ * .

Third guiding function, ζ
Also, the spacetime with the metric (36) admits two Killing vectors The difference of their squares gives the hint for reconstruction of the third guiding function ζ : which coincides with the azimuthal angle ϕ = ζ . This scalar can be used as a delimiter to distinguish some special value of the angle ϕ = ϕ * . To conclude, one can say the following: first, when we intend to introduce on the invariant level the special sphere (e.g., to mark the dark matter wall) we have to use the first invariant ξ and the delimiter ξ = ξ * ; second, when we intend to describe the straight dark matter filament, we can use two requirements η = θ * and ζ = ϕ * to fix the corresponding line. In this paper we will illustrate the idea to use the scalar ξ only; we plan to discuss the problem of filaments in the next work.

The key equation
The Eq. (25) for the electromagnetic field near the static spherically symmetric dyon are known to be reduced to one equation where A 0 (r ) is the electrostatic potential, and the magnetic charge μ is associated with the magnetic potential A ϕ = μ(1− cos θ) (see, e.g., [28] for references). Integration of (42) yields where Q(r ) is the so-called effective charge, which depends on the axion field, and Q * is the integration constant. When we search for solutions continuous on the interval r + < r < ∞, we can link the parameter Q(∞) = Q * −μφ(∞) with a total electric charge q of the object, which could be found by a distant observer. This means that the quantity −μφ(∞) plays the role of an effective axionically induced electric charge, and it is predetermined by the behavior of the pseudoscalar field at infinity. When we search for solutions continuous on the interval r + < r < r * , we have to link the constant Q * with the value of the pseudoscalar field φ(r * ) on the delimiting surface r = r * . Clearly, the electric potential can be found in quadratures, when the profile φ(r ) is known: The equation for the axion field (27) with the potential (23) can be reduced to the form: Excluding A 0 from this equation using (43), and applying the ansatz concerning the equilibrium state (i.e., φ = n * , n = 0), we obtain the key equation of the model in terms of the variable r : Since ξ = √ N (r ), we can rewrite the Eq. (46) in terms of ξ using the relationship The sign in front of square root is chosen so that the outer horizon r = r + = M+ M 2 −Q 2 corresponds to the value ξ = 0. We denote the derivative with respect to ξ as a prime, and obtain the following differential equation: (48) with the guiding parameter ν given by Below we indicate (48) as the key equation.

Stepwise equilibrium functions
The ansatz about the equilibrium function φ = n * (ξ ) can be extended as follows. We assume now, that there are two domains 0 < ξ < ξ * and ξ * < ξ < 1, divided by the spherical surface indicated by the value ξ * of the scalar ξ . We assume that the integer n takes the values n 1 and n 2 in the first and second domains, respectively. The equilibrium function describing the pseudoscalar field can be now presented by the stepwise function where h(z) is the Heaviside function, equal to one, when z ≥ 0 and to zero, when z < 0. Why this extension is considered to be interesting? From the mathematical point of view, this extension keeps the fundamental properties of the potential (23), i.e., the potential and its first derivative take zero values, when the axion field is in the equilibrium state. Indeed, we can easily check the following formulas: In principle, the mentioned unique properties of the periodic potential allow us to extend the described procedure from the example of the two-level profile to a multi-level profiles.
In other words, one can consider three, four, etc. levels in the axionic dark matter profiles, using the extension of the formula (50) for the set of integers n 1 , n 2 , n 3 , n 4 , etc. As for the function * (ξ ), its profile plays the role of a common envelope.

Conditions on the boundary ξ = ξ *
For the two-level profiles one has to solve the key equation (48) in two domains 0 < ξ < ξ * and ξ * < ξ < 1 separately, and to assume, that the parameter Q * takes different values in these domains Q (1) * = Q (2) * . The envelope function * (ξ ) is considered to be continuous near the surface ξ = ξ * , This is possible, when the parameters Q (1) * and Q (2) * are linked as follows: providing the key equation (48) to be the same in both spatial domains. When n 1 = n 2 , we deal with the jump of the pseudoscalar field (50) on the boundary ξ = ξ * The value of this jump [φ] is equal to zero, if the delimiting value ξ * coincides with the null of the envelope function, i.e., * (ξ * ) = 0. Similarly, the jump of the derivative [φ ] vanishes, when two conditions are satisfied: * (ξ * ) = 0 and * (ξ * ) = 0. Since the integer n 1 appears in the denominator [see (54)], the case n 1 = 0 should be considered separately; now the scheme of analysis is consistent, if we put Q (1) * = 0. From the physical point of view, the condition [φ] = 0 means that we deal with a wall with a non-zero surface density of axions. Modeling of the two-level distributions of the axionic dark matter is also interesting for description of profiles near black holes. We mean that a radius can exist, say r * , which marks the specific boundary: ξ = ξ * . When ξ < ξ * we find that n 1 = 0 and thus φ (eq) = 0, i.e., all the dark matter particles are absorbed by the black hole. When ξ > ξ * the axionic dark matter profile is not empty, i.e. n 2 = 0, and particles rotating around the black hole can resist to the gravitational attraction.

The Heun equation
The key equation (48) is the particular case of the known Heun equation (see, e.g., [51,52]), which is in its turn the particular case of the Fuchs equation [53,54]. The solution of this equation is regular at infinity, when +γ +δ = α+β+1. The equation (48) can be transformed to (56) using the relationship x = iξ √ ν , if we put The dimensionless guiding parameter ν = M 2 −Q 2 Q 2 plays essential role in the analysis of the key equation.
1. The standard model relates to the positive value ν > 0 (or M 2 > Q 2 ); in this case we deal with the object (e.g., the charged black hole), which has the inner and outer horizons. The key equation (48) is characterized by one real singular point only, ξ = 0, which is situated on the left boundary of the admissible interval for ξ . 2. When ν is negative, we deal with the so-called naked central singularity in the spacetime (singularity without horizons). In this case in the key equation there are two real singular points: ξ = 0 and ξ = √ |ν| (we consider ξ to be positive). 3. The intermediate case ν = 0 (or M 2 = Q 2 ) describes the so-called extremal black hole, in which outer and inner horizons coincide. Again, the key equation (48) is characterized by one real singular point only, ξ = 0. First of all, we consider in more detail this intermediate case.

General solution to the key equation
When M 2 = Q 2 , the inner and outer horizons of the object coincide, and the equation (48) can be reduced to the Euler equation The general solution to (58) has the following form: where C 1 and C 2 are the constants of integration, and the power indices σ 1 and σ 2 are of the opposite sign. Since σ 1 +σ 2 = −1, we have only one parameter of modeling, which is associated, in fact, with the value of the ratio μ 2 2 0 M 2 .

The solution regular in the interval
Here we assume that at ξ = ξ 0 > 0 the function * (ξ ) takes the value * (ξ 0 ). Such a boundary condition is typical for the case, when we deal with a magnetic star, and the parameter ξ 0 relates to its radius. The spatial infinity r → ∞ relates to ξ → 1, and the corresponding value of the function * is indicated as * (1) ≡ ∞ . Then the solution for the function There are two guiding parameters in this formula: the amplitude factor Q * n * μ , which can be positive or negative with respect to the signs of the constants Q * and μ, as well as, the positive factor μ 2 2 0 M 2 . Typical behavior of these profiles is illustrated in Fig. 1.

An example of the stepwise solution
Let us consider the illustration, which corresponds to the equilibrium function (50) with the delimiter ξ * = 1 4 , and the model parameters n 1 = 0, n 2 = 1, Q where the envelope function in the interval 1 4 < ξ < 1 is of the form * (ξ ) = 1 81 This envelope function takes zero value at ξ = 1 4 ; its derivative * (ξ ) = and takes the value ∞ = 1 at the spatial infinity. Mention should be made that (ξ ) = 0 is the exact solution to the key equation in the interval 0 < ξ < 1 4 . On the delimiting sphere ξ = 1 4 the function (63) and the constant function (ξ ) = 0 happen to be sewed. The profile of the function (62) with (63), as well as, two additional ones are depicted in Fig. 2. 4.3 Q = 0: the Schwarzshild type black hole

Key equation and its general solution
When Q 2 << M 2 , the geometry of the background spacetime is close to the one of the Schwarzshild type; we mean that the magnetic charge μ is non-vanishing and it plays an important role in the axionic halo formation, however, in the formation of the background gravitational field its contribution is negligible. Now we can obtain the reduced key equation from (48) as the limiting case Q → 0; we deal now with the Bessel equation The general solution to (66) is Here I 0 and K 0 are the Bessel functions of the third and fourth type with indices equal to zero; they can be represented standardly as follows:

Regular solution in the interval
If we consider the requirement * (0) = 0 we find immediately the regular profile Clearly, * (0) = 0 and * (1) = Q * n * μ 1 − I 0 . In other words, the values of the function * (ξ ) and of its derivative are equal to zero at the Schwarzschild horizon, and the maximal value of the modulus of this function depends on the following two ratios: Q * n * μ and ≡ μ 0 M .

Stepwise equilibrium function
Again we assume that n 1 = 0, n 2 = 1 and Q (1) * = 0, so that the stepwise equilibrium function is of the form with the envelope function which is the exact solution to the key equation. The prime denotes the derivative with respect to the argument of the function. We introduced here the auxiliary parameter =  For illustration of the results of the numerical analysis of the case ν > 0, the most physically motivated, we studied systematically the Heun equation (48) for various values of the guiding parameters M 2 −Q 2 Q 2 > 0 and μ 2 2 0 Q 2 . Now, we deal with the interval 0 < ξ < 1, and for the outer zone of the object there are no real singular points in the key equation (48). Typical profiles of the envelope function * (ξ ) are presented in Fig. 5.

Discussion and conclusions
The authors of the work [30] have formulated the idea that the dark matter axions form a Bose-Einstein condensate, and thus the behavior of the axion systems differs from the one of an ordinary cold dark matter, especially if the regime of interaction is non-linear and the external fields are strong. This idea emphasizes that the axion system is not a simple collisionless, pressureless cold gas; the axion system has to be characterized by some internal self-interaction. We also follow the idea that axionic systems are self-interacting, and we think that their internal structures are predetermined by the modified periodic potential (23). Minima of this potential predetermine the equilibrium states of the axions. Our modified periodic potential can be obtained from the standard one by introduction of the so-called envelope function * , which stands to emphasizes the fact that the equilibrium value of the axion field depends on the position in the spacetime.
Since the strict variation formalism requires the envelope function to depend on some scalar invariants, = * (ξ, η, ζ ), we have linked these scalars with moduli of three Killing vectors, which are associated with static spherically symmetric spacetime under consideration.
This extension of the axionic potential, in its turn, led us to the necessity of the Lagrangian modification, in which we considered new terms associated with the Killing vector field. Based on analogy with the Einstein-Aether theory, we obtained the correspondingly extended master equations, thus providing the whole model to be self-consistent. The main conclusion of this first part of the work is the following: when the axion field is in the equilibrium state, for which the modified potential and its first derivative vanish, the presence of dynamically defined Killing vector fields does not violate the master equations for gravitational, electromagnetic and axion fields.
In Sect. 3 we considered the application of the developed formalism for the spacetime of the Reissner-Nordström type and have found exact solutions, which describe axionic halo profiles near the dyons and magnetic black holes. We have found the envelope functions for several values of guiding model parameters; the most interesting findings, from our point of view, are the solutions of the stepwise type, which describe two-level distributions of the axionic dark matter. In principle, such model distributions can be considered in the context of description of the magnetic black holes. Indeed, because of the gravitational attraction the axionic dark matter halo surrounding such a object should have empty zone from the outer horizon till to the first stable orbit of the rotating massive particle (see Figs. 2, 3).
The developed formalism also can be applied to the description of the dark matter filaments; for this purpose we can use the scalars η (38) and ζ (41). We hope to consider these cosmological units in the nearest future.