In the above, we have also used the relations
∂
y
f ¼ Φ
0
∂
Φ
f; ∂
2
y
f ¼ Φ
02
∂
2
Φ
f þ Φ
00
∂
Φ
f: ð18Þ
The lhs of Eq. (17) is positive; therefore the same should
hold for the rhs, too. Note that, for Λ > 0, Eq. (17) demands
that, at least at y → ∞, the coupling function fðΦÞ should
be negative for the scalar field to have a real first derivative
there. Indeed, in [74], we presented two analytic solutions
of this theory where f<0 either far away from our brane
or in the entire bulk regime. In contrast, in the present case,
where Λ < 0, no such behavior is necessary; thus in order
to have a normal gravity over the entire five-dimensional
space-time, we assume that fðΦÞ is positive everywhere.
In order to have a physically acceptable behavior, a few
more properties should be assigned to the functions Φ ¼
ΦðyÞ and f ¼ f½ΦðyÞ. Both functions should, of course,
be real and finite in their whole domain and of class C
∞
.At
y → ∞, both functions should satisfy the following rela-
tions; otherwise the finiteness of the theory at infinity
cannot be ascertained,
lim
y→∞
d
n
½fðyÞ
dy
n
¼ 0; ∀ n ≥ 1; ð19Þ
lim
y→∞
d
n
½ΦðyÞ
dy
n
¼ 0 ; ∀ n ≥ 1: ð20Þ
These constraints guarantee that all components of the
energy-momentum tensor T
ðΦÞM
N
will be real and finite
everywhere, and, in addition, localized close to our brane.
Then, demanding also the finiteness and the vanishing of
the rhs of Eq. (17) due to the constraint (20), we conclude
that the coupling function fðyÞ should, at infinity, decrease
faster
3
than e
−2ky
, i.e., fðyÞ should be of the form
fðyÞ¼f
0
e
gðyÞ
;
f
0
> 0
gðy → ∞Þ < −2ky
: ð21Þ
Consequently, upon integrating Eq. (17), the following
expression is obtained for the scalar field:
ΦðyÞ¼
ffiffiffiffiffi
f
0
p
Z
dye
gðyÞ
2
ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
˜
Λ
2
e
2ky
− g
00
− g
02
− kg
0
q
; ð22Þ
where, for convenience, we have also set Λ ¼ −
˜
Λ
2
.In
order to proceed further, we need to determine the exact
form of the function gðyÞ. As we are interested in deriving
analytical solutions for both functions fðyÞ and ΦðyÞ, the
function gðyÞ should have a specific form in order to result
in a solvable integral on the rhs of Eq. (22). Therefore, we
make the following two choices:
gðyÞ¼−λky; λ ∈ ð2; þ∞Þ; ð23Þ
gðyÞ¼−μ
2
e
λy
;
λ ∈ ð0; þ∞Þ
μ ∈ ℜnf0g
: ð24Þ
The aforementioned expressions for gðyÞ ensure that
both fðyÞ and ΦðyÞ have the desired properties outlined
above and, in addition, lead to analytical solutions. In the
following sections, these two different cases are studied
separately.
III. THE SIMPLE EXPONENTIAL CASE
We start with the simple exponential case (23), and
derive first the form of the scalar field and its potential in
the bulk. We then study their main characteristics in terms
of the free parameters of the model, and finally address the
effect of the junction conditions and the form of the
effective theory on the brane.
A. The bulk solution
In this case, we have fðyÞ¼f
0
e
−λky
, with f
0
> 0 and
λ > 2. Then, from Eq. (17), we obtain
Φ
02
ðyÞ¼fðyÞð
˜
Λ
2
e
2ky
− λ
2
k
2
þ λk
2
Þ ≥ 0: ð25Þ
For a nonzero and positive fðyÞ, the above inequality
demands that the combination inside the brackets should be
positive. As this is an increasing function of y, it suffices to
demand that this holds at the location of the brane, at y ¼ 0.
Then, we obtain the following constraint on the parameters
of the theory:
˜
Λ
2
λðλ − 1Þk
2
> 1: ð26Þ
The function Φ
02
ðyÞ could, in principle, be 0 at the point
where ΦðyÞ has an extremum. However, from Eq. (25),we
may easily see that this may happen only at y
0
¼
1
2k
lnð
λðλ−1Þk
2
˜
Λ
2
Þ, which, upon using Eq. (26), turns out to
be negative. Therefore, the scalar field does not have any
extremum in the whole domain 0 ≤ y<∞, which in turn
means that ΦðyÞ is a one-to-one function in the same
region. The Z
2
symmetry of the extra dimension ensures
that this result holds in the region y<0 as well. We note
this property for later use.
Equation (17) can be rewritten as
ðΦ
0
Þ
2
¼ f
0
λðλ − 1Þk
2
˜
Λ
2
λðλ − 1Þk
2
e
2ky
− 1
e
−λky
¼ f
0
λðλ − 1Þk
2
˜
Λ
2
λðλ − 1Þk
2
λ=2
ðw − 1Þw
−λ=2
; ð27Þ
3
Note that allowing the coupling function to vary exactly as
e
−2ky
, i.e., fðyÞ¼f
0
e
−2ky
, would lead to a finite, constant value
of Φ
02
at infinity, namely, Φ
02
∞
¼ −f
0
Λ > 0. This would amount
to having a diverging field at the boundary of spacetime but
nevertheless finite, constant values for the components of the
energy-momentum tensor. We come back to this point later.
NEW BLACK-STRING SOLUTIONS FOR AN ANTI–DE SITTER … PHYS. REV. D 99, 124040 (2019)
124040-5