1. Introduction
It is widely recognized that the theory of general relativity (GR) does not qualify as a renormalizable quantum field theory within the framework of effective field theory. Therefore, to achieve the ultimate goal of unifying GR with quantum theory, it is imperative to explore alternative theories that go beyond GR. A possible attempt to solve the problem of the non-renormalizability of GR is to include higher-order corrections that become important at higher energy. Some years ago, Stelle [
1] proposed to add all possible quadratic curvature invariants to the usual Einstein–Hilbert action and then obtained a theory of quantum gravity free of ultraviolet divergences but as early recognized [
2], albeit at the price of introducing ghost-like modes. In four-dimensional spacetime, the most comprehensive theory that includes second-order derivative terms in the curvature can be expressed as follows [
3,
4]
where the parameters
,
, and
are constants and
is the Weyl tensor. In addition, black holes are fundamental objects in theories of gravity and serve as powerful tools for studying the intricate global aspects of the theory. Subsequently, Lü et al. [
4,
5] derived numerical solutions of non-Schwarzschild black holes (NSBH) in the Einstein–Weyl gravity [Equation (
1)] by considering the disappearance of the Ricci scalar for any static spherically symmetric black hole solution (
). Actually, the no-go theorem also implies that the Ricci scalar
R must be zero for a black hole in the case of pure gravity or with a traceless matter stress tensor. In Refs. [
4,
5], they further investigated some thermodynamic properties of NSBH and discovered several remarkable features: (1) the NSBH can have positive and negative masses; (2) as the coupling constant
approaches its extreme value, the black hole tends towards a massless state while maintaining a nonzero radius. Recently, Held et al. [
6] discussed the linear stability of these two branches of black hole solutions. In addition, charged black holes in the Einstein–Weyl gravity coupled with (nonlinear) Maxwell field were constructed in Refs. [
7,
8] and our previous works [
9,
10], where two sets of numerical solutions were obtained: the charged generalization of the Schwarzschild solution and the charged generalization of the non-Schwarzschild solution. The analysis of quasinormal modes of the non-Schwarzschild and charged black holes was performed in the Einstein–Weyl gravity [
11,
12,
13], where the linear relation between quasinormal mode frequencies and the parameter was recovered. Later, the black holes with massive scalar hair were obtained in Ref. [
14], where they discussed the effects of the scalar field on the black hole structure. Recently, some novel solutions of black holes were also studied in the Einstein–Weyl gravity [
15,
16], including the phase diagram of Einstein–Weyl gravity [
17].
However, the numerical solutions for non-Schwarzschild black holes have limitations to providing a clear understanding of the dependence of the metric on physical parameters, as they are obtained at fixed parameter values and displayed as curves in figures rather than explicit expressions. This makes it difficult for researchers to use these solutions in their work without recalculating them. Fortunately, there are general methods available for parametrizing black hole spacetimes, such as the continued fractions method (CFM) [
18,
19] and the homotopy analysis method (HAM) [
20,
21,
22]. In this paper, we focus on the HAM. It is considered as a very useful method for obtaining analytical approximate solutions for various nonlinear differential equations, including those arising in different areas of science and engineering. Despite its widespread use in other fields, the HAM has been limited in the fields of general relativity and gravitation. Recently, we constructed analytical approximation solutions of scalarized AdS black holes in Einstein-scalar-Gauss–Bonnet gravity by using HAM [
23]. Moreover, this HAM has been adopted to derive the analytical approximation solutions of non-Schwarzschild black holes in the Einstein–Weyl gravity [
24] and analytic approximate solutions of hairy black holes in Einstein–Weyl-scalar gravity [
25] as well as for the Regge–Wheeler equations under metric perturbations on the Schwarzschild spacetime [
26]. The above works inspire us to continue exploring the application of homotopy analysis in modified gravity theory. In this work, we wish to apply the HAM to obtain analytical approximation solutions of charged black holes in the Einstein–Maxwell–Weyl gravity.
The plan of the paper is as follows. In
Section 2, we review the Einstein–Weyl gravity coupled with Maxwell field and present the numerical solutions for a charged black hole in the Einstein–Maxwell–Weyl gravity.
Section 3 is devoted to deriving the analytical approximation solutions by using the HAM method, where two solutions are accurate in the whole space outside the event horizon. The paper ends with a discussion of the results obtained in
Section 4.
2. The Einstein–Maxwell–Weyl Gravity
The action of Einstein–Weyl gravity in the presence of Maxwell field is given by [
7]
where the parameters
,
,
, and
are coupling constants,
is the electromagnetic tensor, and
is the Weyl tensor. Since resulting tensors in the equations of motion that come from the Weyl and Maxwell energy momentum tensors are traceless, a charged black hole solution in this theory should not need the contribution from the
term [
7]. Taking
and
, the corresponding field equations are obtained as
where the trace-free Bach tensor
and energy–momentum tensor of electromagnetic field
are defined as
Considering the static and spherical symmetry metric ansatz,
and substituting the metric ansatz into the field Equations (3) and (4), we obtain three independent equations
where the prime (
) denotes differentiation with respect to
r and
denotes electric charge. If
, the equations of motion (
7) reduce to those found in Refs. [
4,
5,
19] and recover the same solutions: the Schwarzschild black holes (SBH) and the non-Schwarzschild black holes (NSBH).
Now we derive the numerical solutions of charged black holes. Here, we suppose that the spacetime has only one horizon to make easier the expansion of
,
, and
around the event horizon
where
,
, and
are constant coefficients of the expansions and
c is the arbitrary scaling factor, which we choose such that
t is the time coordinate of a remote observer, i.e.,
Moreover, the expansion parameter.
Substituting the above expansions (8)–(10) into field Equation (
7), arbitrary coefficients
,
, and
with
can be expressed in terms of
, for example,
,
,
, and
are expressed as
On the other hand, at the radial infinity
, the metric functions and vector potential can be expanded in power series, this time in terms of
. Demanding that the metric components reduces to those of the asymptotically flat Minkowski spacetime
Taking
and
, we assume the initial values of the parameters
and
at a radius
just outside the horizon
and then use numerical routines in Mathematica
® to integrate the equations out to a large radius so that these interpolation functions of metric functions
and
and vector potential
satisfy the boundary condition (
13). To ensure that
is asymptotically flat
, the value of scaling parameter
c equals to
for
and
, and
for
and
. In addition, the vector potential should satisfy the boundary
For simplicity, we choose
. Then, we can obtain the values of
and
for charged black holes with
and
, respectively. The corresponding numerical solutions are plotted in
Figure 1.
3. Analytically Approximate Solutions
In general, it is a difficult task to find exact solutions of nonlinear differential equations. In Refs. [
21,
22,
27], the homotopy analysis method (HAM) was developed to obtain analytical approximate solutions to nonlinear differential equations. In this section, we will derive the analytical approximate solutions of metric functions and the electric potential function by using the HAM.
Consider an
n-nonlinear differential equations system, where
is the solution of the nonlinear operator
as a function of
t
with unknown function
and a variable
t. Then, the zero-order deformation equation can be written as
The HAM constructs a topological homotopy for linear auxiliary operator
L and nonlinear operator
. Introducing an embedding parameter
, when
q continuously changes from 0 to 1, the solution of the entire equation will also continuously change from the solution
of our selected linear auxiliary operator
L to the solution
of the nonlinear equation
. In order to control the convergence of the solution, an auxiliary function
and a convergence control parameter
are also introduced into the homotopy Equation (
16). By selecting the appropriate auxiliary function
and convergence control parameter
, the solution can converge more rapidly.
To decompose the nonlinear problem into a series of linear subproblems, now make Taylor expansions of
with respect to
q around
where the coefficient
of the
m-th order of
q is
When
, it is the expansion of the solution of the nonlinear Equation (
15)
By solving
, the expansions of the solutions of the nonlinear equations can be found. To achieve this, the operation for the zero-order deformation Equation (
16) will be as follows: First, substitute the expansion (
17) into (
16). Second, take the
m-th derivative of
q on both sides of (
16). Third, after calculating the derivatives, set
. The so-called higher-order deformation equation (
mth-order deformation equation) is obtained, which is summarized as
where the term
on the right-hand side with respect to the nonlinear operator is
The highest term on the right-hand side of Equation (
21) can only reach up to the
term. It is found that
is related to
, and it is possible to find
of arbitrary order based on this relation. The value of constant
is
In the calculation, we take a finite order to ensure that the error is small enough, a finite
M-order approximation
the
are the
M-th order approximate solutions of the original Equation (
15).
The selection of linear auxiliary operator
L, initial guess
, auxiliary function
, and convergence control parameter
has great freedom, making the homotopy analysis method highly adaptable to different nonlinear problems. However, precisely because there is a great deal of freedom in selecting these quantities, how to choose these quantities more appropriately still requires a theoretical basis, and related work can be found in [
28,
29].
Next, we will use the HAM to obtain analytical approximation solutions of charged black holes in the Einstein–Maxwell–Weyl gravity. In order to do this, we choose a coordinate transformation
, such that the region of
becomes a finite value
. Then, the field equations under this coordinate transformation become
where the prime (
) denotes the differentiation of the function with respect to
z and
is the event horizon of the black hole. Notice that Maxwell Equation (26) is a linear one and (24) and (25) are second-order derivative equations with respect to
and
. Therefore, we derive
and
by applying the HAM to the two nonlinear Equations (24) and (25), after then solving Equation (26) for
.
In the homotopy equation, the auxiliary function can be coded into the initial guess solution, i.e., the
on the right side of the zero-order deformation Equation (
16) can be moved to the left side [
28], so without loss of generality, we take the auxiliary function
. The initial guess is
The corresponding linear auxiliary linear operators (whose construction method is shown in [
28,
29]) are
The following boundary conditions are used in the process of solving the nonlinear equations
The chosen of the initial guess solutions (
27) is required to satisfy the boundary conditions (
30).
The nonlinear Equation (
15)
is provided by Equations (24) and (25), and
M-order analytical approximate solution (23) is obtained by solving
from the higher-order deformation Equation (
20). Here, we perform the second-order approximation
, and the result is related to the parameter
a of the initial guessed solution and the convergence control parameters
,
, and
. We assume the convergence control parameters such that
for simplicity and then derive the analytical approximate solutions
,
, and
, which are related to the undetermined parameters
a and
.
In order to select the optimal values of
a and
, we substitute Equation (
23) into field Equations (24)–(26) and obtain
which are represented as the deviations between the analytical approximate solutions and the exact solutions. If the above three equations are as close to zero as possible in
, then that means the approximate solutions are as close as possible to the analytical solutions.
Now we can evaluate the averaged square residual error [
22,
30] to represent the total deviation between the approximate solutions and the exact solutions
with
Then, the optimal values of
in the initial guess and convergence control parameter
can be obtained from the averaged square residual error, which makes the solution converge more effectively.
and
are points that minimized the averaged square residual error, and the optimal value of
and
is mathematically represented as
We choose
and use the averaged square residual error (
34) as functions with the undetermined parameters
a and
. Such an operation may be relegated to symbolic programming with a dedicated “Minimize” command in Mathematica
®. We obtain the optimal convergence-control parameters
and
, and
and
for charged black holes with
and
, respectively. Taking different values of
, the relationships between
and
a for
and
are plotted in
Figure 2. We find that the minimum points of averaged square residual error
appear to be weakly sensitive to the parameter
.
Moreover, considering
,
, and corresponding values of
and
, the analytical approximate solutions of charged black holes can be obtained for the different configurations of
and
. We present an example of
,
, and
for the configuration
,
,
, and
after reverting back to the radial coordinate
rThe comparison between the analytical approximation solutions obtained by the HAM and numerical solutions is plotted in
Figure 3.
It is interesting to check the accuracy of the analytical approximate solutions. We plot these curves describing the deviations (Equations (31) and (32)) of the analytical approximate solutions from the exact solutions, as shown in
Figure 4.
In order to compare with the numerical solutions, we will calculate the absolute errors between the analytical approximate and numerical solutions in
Figure 5
In addition to the relative errors in
Figure 6
We find that the main differences between numerical solutions and analytic approximation solutions occur close to the region far from the black hole.