arXiv:2108.00948v2 [math.AP] 6 Aug 2021
TRI-HARMONIC AND BI-HARMONIC EQUATIONS WITH NEGATIVE EXPONENTS
WEI DAI, JINGZE FU
Abstract. In this paper, we investigate various properties (e.g., nonexistence, asymptotic behavior, uniqueness and integral representation formula) of positive solutions to nonlinear tri- harmonic equations in Rn (n≥ 2) and bi-harmonic equations in R2with negative exponents.
Such kind of equations arise from conformal geometry.
Keywords: Tri-harmonic and bi-harmonic equations; Negative exponents; Nonexistence; Asymp- totic behavior; Integral representation formula; Uniqueness; Positive solutions; Doubling lemma.
2020 MSCPrimary: 35B53; Secondary: 53C18, 35B40, 35J91.
1. Introduction
1.1. Background and setting of the problem. In this paper, we are concerned with the geometrically interesting nonlinear poly-harmonic equations with negative exponents:
(1.1) (−∆)mu+ u−q= 0, u >0 in Rn with m = 2 or 3, n > 2 and q > 0, where u∈ C2m(Rn).
When m = 1, second order equations with negative exponents of the type (1.1) have been intensively studied for both bounded and unbounded domains because of its wide applications to physical models in the study of non-Newtonian fluids, boundary layer phenomena for viscous fluids, chemical heterogenous catalysts, glacial advance, etc., see [2,20,85] and the references therein.
The main purpose of this paper is to investigate various properties (e.g., nonexistence, asymptotic behavior, uniqueness and integral representation formula) of positive smooth so- lutions to PDEs (1.1). Liouville type theorems for fractional order or higher order elliptic equations (i.e., nonexistence of nontrivial nonnegative solutions) in the whole space Rn, in the half space Rn+and in general domains Ω have been extensively studied via the method of mov- ing planes (spheres), the method of scaling spheres and the integral estimates arguments based on Pohozaev identities (see [6, 7,8, 9, 10, 11, 12, 14,13, 15, 16, 17,18, 19, 22, 25,26, 27, 30, 31,32,33,34,35,36,37,38,39,40,41,42,43,46, 50,56,62, 63,64,67, 68,80,83,84,87,91]
and the references therein). These Liouville theorems, in conjunction with the blowing up and re-scaling arguments, are crucial in establishing a priori estimates and hence the existence of positive solutions to non-variational boundary value problems for a class of elliptic equations on bounded domains or on Riemannian manifolds with boundaries (see [8, 14, 23,51, 82]).
Wei Dai is supported by the NNSF of China (No. 11971049) and the Fundamental Research Funds for the Central Universities.
1
1.2. Tri-harmonic equations in Rn with n >2. We first consider the tri-harmonic equa- tion (1.1) with m = 3, which takes the following form:
(1.2) ∆3u= u−q, u >0 in Rn
with n > 2 and q > 0, where u∈ C6(Rn).
Equations of the form (−∆)mu+ u−4m−kk = 0 in R2m−k with m > 2 and k = 1,· · · , 2m − 1 come from the problem of prescribing Q-curvature on S2m−k, which is associated with the conformally covariant GJMS operator with the principle part (−∆g)m, discovered by Graham, Jenne, Mason and Sparling in [49] (see also [57, 74]). The GJMS operator of order 2m with m >2 is a high-order elliptic operator analogue with the well-known conformal Laplacian in the problem of prescribing scalar curvature, which is given by
(1.3) P2m,gSn(·) = Ym k=1
h−∆gSn +n
2 − k n
2 + k− 1i (·) ,
where the dimension n > 3 and (Sn, gSn) is the n-sphere equipped with the standard metric gSn. The GJMS operator is conformally covariant in the sense that if we change the standard metric gSn to its conformal metric ˆg := vn−2m4 gSn for some positive smooth function v on the n-sphere Sn, then P2m,gSn and P2m,ˆg satisfy
(1.4) P2m,ˆg(φ) = v−n+2mn−2mP2m,gSn(vφ)
for any positive smooth function φ on Sn. In particular, if we set φ≡ 1, then (1.4) yields that (1.5) P2m,gSn(v) = P2m,ˆg(1)vn+2mn−2m.
It follows from (1.12) in [57] (see also [74]) that P2m,ˆg(1) = n2 − m
Q2m,ˆg for some scalar curvature quantity Q2m,ˆg. Consequently, (1.5) implies that
(1.6) P2m,gSn(v) =n
2 − m
Q2m,ˆgvn+2mn−2m.
For any given k = 1,· · · , 2m − 1, let n = 2m − k. Then we get from (1.6) that
(1.7) P2m,gS2m−k(v) =−k
2Q2m,ˆgv−4m−kk .
In order to study the structure of the solution set of (1.7), let us only take the case when Q2m,ˆg
is a constant into account. By an appropriate scaling, we may assume that k2Q2m,ˆg =±1, and hence (1.7) becomes
(1.8) P2m,gS2m−k(v) =∓v−4m−kk .
Let us denote by π : S2m−k → R2m−k the stereographic projection and define (1.9) u(x) := v π−1(x)
1 +|x|2 2
k2
, ∀ x ∈ R2m−k. By Proposition 1 in [48], we can obtain that
(1.10)
2
1 +|x|2
−4m−k2
(−∆)mu(x) = P2m,gs2m−k(v)◦ π−1
(x), ∀ x ∈ R2m−k. As a consequence, combining (1.8), (1.9) and (1.10) yields that
(1.11) (−∆)mu=∓u−4m−kk in R2m−k.
By choosing the minus sign in (1.11), we arrive at
(1.12) (−∆)mu+ u−4m−kk = 0 in R2m−k
for every k = 1,· · · , 2m−1. In particular, when m = 3, then (1.12) takes the form of equation (1.2), that is,
(1.13) ∆3u= u−12−kk in R6−k
for every k = 1,· · · , 5.
On the one hand, the existence and non-existence results, maximum principle type results and asymptotic behavior of radially symmetric solutions for tri-harmonic equations with minus sign:
(1.14) ∆3u=−u−q, u >0 in Rn
have been studied in [29, 58, 77]. On the other hand, the existence results, classification results and maximum principle type results for tri-harmonic equations (1.2) with plus sign has been investigated in [47,58,74,77]. In [58], among other things, Kusano, Naito and Swanson established the following existence result via the Schauder-Tychonoff fixed point theorem for both (1.2) and (1.14).
Proposition 1.1 (Theorem 1 in [58]). Assume n > 3 and q > 12. Then both the equations (1.2) and (1.14) possess positive solutions.
As a special case of Theorem 1 in [58], if n > 3 and (1.15)
Z +∞
0
t 1 + t4−q
dt <+∞,
then both the equations (1.2) and (1.14) possess infinitely many positive radial solutions satisfying the following growth property at ∞:
(1.16) C1 1 +|x|4
6u(x) 6 C2 1 +|x|4
in Rn,
where C1 and C2 are positive constants. One can easily verify that the integrability condition (1.15) holds if and only if q > 12. In [77], among other things, Ngˆo, Nguyen, Phan and Ye also established the following existence result for radial solutions to equation (1.2).
Proposition 1.2 (Proposition 4.5 in [77]). For any n > 1 and −1 6 q < +∞, the equation (1.2) has infinitely many positive radial solutions.
For the classification of positive solutions to the corresponding integral equations associated with (1.1), we refer the reader to [47, 55, 62, 65, 74, 89, 90]. In fact, when m = 3, it was already proved by Feng and Xu in [47] that, suppose u∈ C6(R5) is a positive solution to
(1.17) u(x) = 1
64π2 Z
R5|x − y|u−q(y)dy,
then q = 11, and u must assume the unique form u(x) = c(1 +|x|2)12 up to dilations and translations. For more literature on poly-harmonic and fractional order problems (with nega- tive exponents), please refer to [1, 4, 21, 24, 28, 45, 52, 53, 54, 55, 59, 60, 61, 66, 69, 70, 71, 72,73, 74, 75, 76,78, 79, 88] and the references therein.
We can prove various properties (including nonexistence, asymptotic behavior, uniqueness and integral representation formula) of positive entire solutions to the tri-harmonic equation (1.1) with negative exponents, that is, m = 3 and n > 2 in (1.1).
Theorem 1.3. Assume m = 3, n > 2 and q > 0. Then, we have
(i) For any n > 2, (1.1) admits no positive entire solution u∈ C6(Rn) satisfying u = o(|x|4) as |x| → +∞ if 0 < q < 2.
(ii) For n = 2, 3, 4 and any q > 0, (1.1) admits no positive entire solution u ∈ C6(Rn) satisfying u = o(|x|4) as |x| → +∞.
(iii) For any n > 2 and q > 0, suppose u is a positive C6 entire solution to (1.1) satisfying u = o(|x|4) at ∞, then ¯u(r) > cr4q for some positive constant c > 0 and any r > 0, where
¯
u(r) denotes the spherical average of u over ∂Br(0). Consequently, if q > 2, then (1.1) admits no positive entire solution u ∈ C6(Rn) satisfying u = o
|x|q4
as |x| → +∞. Moreover, if q >2, then (1.1) admits no positive radially symmetric entire solution u∈ C6(Rn) satisfying u= o(r4) at ∞ and
(1.18) lim inf
r→+∞
u(r) r4q = 0.
(iv) For any q > 2, suppose u is a positive C6 entire solution to (1.1) satisfying u = o(|x|4) at ∞, then ¯u(r) 6 Cr2 for some constant C > 0 and any r > 1 when n > 2, and ¯u(r) > cr for some positive constant c > 0 and all r > 0 when n = 5. Moreover, if u is a positive radially symmetric C6 entire solution to (1.1) satisfying u = o(r4) at ∞, then u(r) 6 Cr2 for any r := |x| > 1 when n > 2, and u(r) > cr for all r := |x| > 0 when n = 5, that is, lim sup
|x|→+∞
u(x)
|x|2 ∈ [0, +∞) for every n > 2 and lim inf
|x|→+∞
u(x)
|x| ∈ (0, +∞] for n = 5.
(v) For any n > 2 and q > 0, (1.1) admits no positive entire solution u∈ C6(Rn) satisfying u = o
|x|q+16
as |x| → +∞. Moreover, (1.1) admits no positive radially symmetric entire solution u∈ C6(Rn) satisfying
(1.19) lim sup
r→+∞
u(r)
rq+16 <+∞ and lim inf
r→+∞
u(r) rq+16 = 0.
(vi) For any n > 2 and q > 0, if u has at most linear growth (uniformly) at ∞, that is,
(1.20) lim
|x|→+∞
u(x)
|x| = α∈ [0, +∞),
then q > 5. In addition, we have α > 0 if n = 5. Furthermore, if q = 11, then, up to dilations and translations, u must assume the unique form: u(x) = c(1 +|x|2)12.
(vii) For any n > 5 and q > 5, if u∈ C6(Rn) is a positive radially symmetric entire solution to (1.1) such that lim inf
|x|→+∞
u(x)
|x| ∈ (0, +∞] and limr
→+∞u′′(r) = ρ∈ R, then ρ > 0. If ρ > 0, then u has exactly quadratic growth at ∞, that is,
(1.21) lim
|x|→+∞
u(x)
|x|2 = ρ
2 ∈ (0, +∞).
If ρ = 0, then u has exactly linear growth at ∞, that is,
(1.22) lim
|x|→+∞
u(x)
|x| =− 1 n− 1
Z +∞
0
t2
∆2u(t)¯ −n− 3
t (∆¯u)′(t)
dt∈ (0, +∞).
(viii) If n = 5, q > 2 and u ∈ C6(R5) is a positive entire solution to (1.1) satisfying u= o(|x|4) as |x| → +∞, then
(1.23) u¯′′(r) > 0, u¯′′′(r) < 0, ∀ r > 0.
Moreover, if assume further q > 5 and u is radially symmetric, then either u has exactly quadratic growth at ∞ or u has exactly linear growth at ∞.
(ix) If n = 5, q > 6 and the positive entire solution u has exactly linear growth at ∞, then u has the following integral representation:
(1.24) u(x) = 1
64π2 Z
R5|x − y|u−q(y)dy + γ,
where γ is a constant. Moreover, γ < 0 if 6 < q < 11, γ = 0 if q = 11 and γ > 0 if q > 11.
(x) Assume n > 3 but n6= 4, 6, q > 12 and u is a radially symmetric positive entire solution to (1.1) such that lim inf
|x|→+∞
u(x)
|x|4 ∈ (0, +∞], then lim
|x|→+∞
u(x)
|x|4 = 8n(n+2)1 lim
|x|→+∞∆2u(x)∈ (0, +∞).
Conversely, for any n > 2 and q > 0, suppose u is a radially symmetric positive entire solution to (1.1). We have: (a) If lim
|x|→+∞∆2u(x)∈ (0, +∞], then lim inf
|x|→+∞
u(x)
|x|4 ∈ (0, +∞]. Furthermore, if assume further n > 3 but n 6= 4, 6 and q > 12, then lim
|x|→+∞
u(x)
|x|4 = 8n(n+2)1 lim
|x|→+∞∆2u(x) ∈ (0, +∞). (b) If lim
|x|→+∞∆2u(x) = 0, then u satisfy the sub poly-harmonic property and hence has at most quadratic growth at ∞.
Remark 1.4. In Theorem 1.3, we only need the assumption u = o(|x|4) as |x| → +∞ to guarantee the sub poly-harmonic property “∆2u < 0 and ∆u > 0 in Rn” for positive entire solutions to tri-harmonic equations (1.1) (see Lemma 2.2). In Theorem 1 in [74], Ngˆo need the assumption
(1.25) lim sup
|x|→+∞
u(x)
|x|4 60 and lim sup
|x|→+∞
−u(x)
|x|2 60
in order to derive the sub poly-harmonic property for C6solution u to the differential inequality (−∆)3u < 0 in Rn. For positive solution u to tri-harmonic equations (1.1) with negative exponents, the condition (1.25) is equivalent to our assumption u = o(|x|4) as|x| → +∞. The upper bound estimate (2.12) also indicates that the assumption u = o(|x|4) at ∞ is necessary in the sense that, if the sub poly-harmonic property holds for solution u, then u has no more than quadratic growth at∞ in the sense of spherical average, i.e., ¯u(r) 6 Cr2 for r sufficiently large. In particular, if u is a radially symmetric positive entire solution satisfying the sub poly-harmonic property, then u has no more than quadratic growth at ∞. Throughout the results in Theorem 1.3 and in Section 3, the assumption “u = o(|x|4) at∞” can be replaced by the sub poly-harmonic property. One should note that positive C6 entire solution u with exactly linear growth at ∞ in R5, exactly quadratic growth at ∞ in R4 and exactly cubic growth at∞ in R3 satisfies u = o(|x|4) as|x| → +∞.
Remark 1.5. Suppose u ∈ C6(Rn) positive radially symmetric solution to (1.1), then the assumption lim
r→+∞u′′(r) = ρ ∈ R in (vii) in Theorem 1.3 can be deduced from “u′′(r) > 0 and u′′′(r) < 0 for any r ∈ (0, +∞)”. When n = 5, for general positive entire solution u, the property “¯u′′(r) > 0 and ¯u′′′(r) < 0 for any r ∈ (0, +∞)” can be deduced from the sub poly-harmonic property or the assumption “u = o(|x|4) at∞” (see Lemma 2.15 in Section 3).
Remark 1.6. From (i) and (ii) Theorem 1.3, we can see that if (1.1) possesses a C6 positive entire solution u satisfying u = o(|x|4) at ∞ or the sub poly-harmonic property, then q > 2 and n > 5. Now we assume u ∈ C6(Rn) is a radially symmetric positive entire solution to (1.1). Suppose q > 2, n > 5 and u = o(r4) at ∞, by (iii), (iv) and (v) in Theorem 1.3, we have, u must has exactly quadratic growth at∞ if q = 2, u must has more than linear but at most quadratic growth at ∞ if 2 < q < 5, u must has at least linear but at most quadratic growth at ∞ if n = 5 and q > 5. Suppose q > 0 and n > 2, (v) in Theorem 1.3 implies that, uhas more than quintic growth at ∞ if q < 15, u has more than quartic growth at ∞ if q < 12, u has more than linear growth at ∞ if q < 5. Suppose q > 5, n = 5 and u = o(r4) at ∞, from (viii) in Theorem 1.3, we derive that either u has exactly quadratic growth at ∞ or u has exactly linear growth at ∞. Suppose n > 3 but n 6= 4, 6, q > 12 and u has at least quartic growth at∞, (x) in Theorem 1.3 yields that u must has exactly quartic growth at ∞.
1.3. 2D bi-harmonic equation. Next, in equation (1.1), we will also consider the bi-harmonic analogue of the tri-harmonic case in R2, i.e., m = 2 and n = 2.
Let us briefly review the background of the bi-harmonic equations (1.1) arising from confor- mal geometry. Suppose (M, g) is a smooth 4-dimensional Riemannian manifold, Paneitz [81]
extended the Laplace-Beltrami operator ∆g (which is conformally covariant on 2-dimensional Riemannian manifold) to the fourth order operator Pg4 on (M, g) which is defined by
(1.26) Pg4 := ∆2g− δ
2
3Rgg− 2Ricg
d
,
where δ is the divergent operator, Rg is the scalar curvature of g and Ricgsi the Ricci curvature of g. The Paneitz operator Pg4 also has the conformally covariant property, that is, if ˜g :=
e2ug, then P˜g4 = e−4uPg4. A generalization of the Paneitz operator Pg4 to manifolds of other dimensions n > 3, due to Branson [3], is given by
(1.27) Pgn := ∆2g− δ
(n− 2)2+ 4
2(n− 1)(n − 2)Rgg − 4
n− 2Ricg
d
+ n− 4 2 Qng, where
(1.28) Qng =− 1
2(n− 1)∆gRg +n3 − 4n2+ 16n− 16
8(n− 1)2(n− 2)2 R2g− 2
(n− 2)2|Ricg|2. One should note that Pgn reduces to Pg4 when n = 4.
Similar to the conformal Laplace-Beltrami operator Lng := −∆g + 4(n−1)n−2 Rg for n > 2, the operator Pgn has conformal property: if n 6= 4 and ˜g := un−44 g is a conformal metric of g, then Pgn(φu) = Pg˜n(φ)un+4n−4 for any φ ∈ C∞(M). In particular, if φ = 1, then Pgn(φu) =
n−4
2 Qng˜(φ)un+4n−4.
As a consequence, in the Euclidean case, suppose that u > 0 and g0 is a standard flat metric on Rn, and let g := un−44 g0 be a conformal metric of g0, then u satisfies
(1.29) ∆2u= n− 4
2 Qngun+4n−4 in Rn,
where n 6 3 or n > 5. If n > 5, the conformal metric g satisfies Qng = cup−n+4n−4 (c > 0, p > 0, u > 0 is the conformal factor), then the classification of positive solutions to (1.29) has been established in Lin [63] (see also Wei and Xu [87]). If n 6 3, in order to find conformal metric
g on Rn satisfying Qng = cu−q−n+4n−4 (c > 0, q > 0, u > 0 is the conformal factor), we need to consider the following equation with negative exponents (i.e., equation (1.1) with m = 2):
(1.30) ∆2u+ u−q = 0, u >0 in Rn.
When n = 3, the existence and asymptotic behavior of positive solutions to 3D equation (1.30) have been studied by Choi and Xu [21], Duoc and Ngˆo [28], Guerra [52], Hyder and Wei [55], Lai [60, 61], McKenna and Reichel [69] and Xu [89].
Theorem 1.7 ([21, 28,52, 55, 60, 61, 69, 89]). Assume that n = 3 in equation (1.30). Then (i) There is no C4 positive entire solution to (1.30) if 0 < q 6 1.
(ii) If u∈ C4(R3) has at most linear growth (uniformly) at ∞, that is,
(1.31) lim
|x|→+∞
u(x)
|x| = α∈ [0, +∞),
then α > 0 and q > 3. Moreover, if q = 7, then, up to dilations and translations, u must assume the unique form: u(x) =q
√1
15 +|x|2.
(iii) If q > 3, then for any α > 0, there exists a unique radially symmetric solution u∈ C4(R3) to (1.30) (with exactly linear growth) such that
(1.32) lim
|x|→+∞
u(x)
|x| = α > 0.
(iv) If q > 1, there exists a radially symmetric solution u ∈ C4(R3) to (1.30) with exactly quadratic growth, that is,
(1.33) lim
|x|→+∞
u(x)
|x|2 = C > 0.
(v) If q > 3, then any radially symmetric solution to (1.30) is either exactly linear growth or exactly quadratic growth.
(vi) If 1 < q < 3, there exists a unique radially symmetric solution u∈ C4(R3) to (1.30) such that
(1.34) lim
|x|→+∞|x|−q+14 u(x) = K−
1
q q+1, where Kq = τ (2− τ)(τ + 1)(τ − 1) and τ = q+14 .
(vii) If q = 3, then there exists a unique radially symmetric solution u ∈ C4(R3) to (1.30) such that
(1.35) lim
|x|→+∞
u(x)
|x| log(|x|)14 = 214.
(viii) If q > 4 and u has exactly linear growth at ∞, then u has the following integral repre- sentation:
(1.36) u(x) = 1
8π Z
R3
|x − y|u−q(y)dy + γ,
where γ is a constant. Moreover, γ < 0 if 4 < q < 7, γ = 0 if q = 7 and γ > 0 if q > 7.
One should note that the 3D bi-harmonic equation (1.1) is essentially similar to the 5D tri-harmonic case. In fact, when m = 2, it was already proved by Xu in [89] that, suppose u∈ C4(R3) is a positive solution to
(1.37) u(x) = 1
8π Z
R3
|x − y|u−q(y)dy,
then q = 7, and u must assume the unique form u(x) = c(1 +|x|2)12 up to dilations and translations. Thus we may expect the absence of positive entire solution to the bi-harmonic equation (1.1) in two dimension case n = 2.
In this paper, we will also investigate the bi-harmonic equation (1.1) in R2. Being essentially different from the abundant existence results of various positive entire solutions with different asymptotic behaviors at ∞ in the 3D case (see Theorem 1.7), we can prove the nonexistence of positive entire solutions to the planar bi-harmonic equation (1.1) with negative exponents, that is, n = 2 and m = 2 in (1.1).
Theorem 1.8. Assume n = 2 and m = 2. Then, for any q > 0, there is no positive entire solution u∈ C4(R2) to (1.1).
Remark 1.9. Theorem 3.1 in Mckenna and Reichel [69] implies that, for n > 4 the equation
∆2u=−u−q in Rn has non-radial positive entire solutions given by u(x′, xn) = v(|x′|), where v(r) is a radial positive entire solution satisfying ∆2v = −v−q in Rn−1. This leaves the question whether in R3 non-radial positive entire solution can be constructed in such way or not. Theorem 1.8 gives a negative answer to the open question (2) raised by Mckenna and Reichel in Section 6 of [69] and hence non-radial positive entire solution in R3 can not be constructed from radial positive entire solution in R2.
Remark 1.10. After this work has been completed and submitted, we were aware that the nonexistence results in Theorem 1.8 for the 2D bi-harmonic equation (1.1) has already been proved by Ngˆo, Nguyen, Phan and Ye in Proposition 4.1 of [77]. Their proof makes use of the results on super/sub poly-harmonic properties in Lemma 3.3 of [77] and the Liouville type theorem in R2 for super-harmonic functions (bounded from below) in Theorem 3.1 of Farina [42]. Theorem 3.1 in [42] is proved by using the Hadamard three-circles theorem (Theorem 3.2 in [42]). One should notice that Theorem 3.1 in [42] only holds in R2, hence R2 (endowed with the standard flat metric) is a parabolic Riemannian manifold. Euclidean space Rn with n > 3 (endowed with the standard flat metric) is not a parabolic Riemannian manifold. Indeed, for any n > 3, the non-constant positive function u(x) := √n(n−2)
1+|x|2
n−22
solves the Yamabe equation −∆u = un+2n−2 in Rn. Thus the Liouville type theorem for super-harmonic functions (bounded from below) in Theorem 3.1 of [42] does not hold in Rn with n > 3. In Section 3, we reprove the nonexistence results in Proposition 4.1 of [77] for the 2D bi-harmonic equation (1.1) and gives another completely different approach to Theorem 1.8 which is interesting and could be instructive for studying other related problems. Our proof first makes use of the spherical averages (see Lemma 3.2), the 2D comparison theorem (see Theorem 3.3), precise asymptotic estimates and integral representation formula (see Theorems 3.4and 3.6, Lemmas 3.5 and 3.7) to prove the nonexistence of positive entire solutions u with u−1 bounded from above or radial symmetry, then apply the doubling lemma (see Lemma 3.9) to derive the nonexistence of general positive entire solutions.
The rest of our paper are arranged as follows. Section 2 is devoted to the proof of various properties (including nonexistence, asymptotic behavior, uniqueness and integral representa- tion formula) of positive solutions to the tri-harmonic equation (1.1), i.e., Theorem 1.3. In Section 3, we will prove the nonexistence of positive solutions to the 2D bi-harmonic equation (1.1), i.e., Theorem 1.8.
In what follows, we will use C to denote a general positive constant that may depend on n and q, and whose value may differ from line to line.
2. Tri-harmonic equations in Rn with n > 2
In this section, we will prove various properties (including nonexistence, asymptotic behav- ior, uniqueness and integral representation formula) of positive solutions to the tri-harmonic equation (1.1), i.e., Theorem 1.3.
Lemma 2.1. Assume n > 1 and q > 0. For any point x0 ∈ Rn and all r > 0, (2.1)
"
− Z
∂Br(x0)
u dσ
#−q
6 −
Z
∂Br(x0)
u−qdσ,
where the symbol −R
S
f dσ denotes the spherical average of function f over the sphere S.
Proof. Due to the convexity of the function f (u) = u−q on the interval (0, +∞), Lemma 2.1
follows immediately from Jensen’s inequality.
From Theorem 1 in [74], we can derive the following sub poly-harmonic property for C6 positive solution u to the tri-harmonic equation (1.1).
Lemma 2.2. Assume m = 3, n > 2 and q > 0. If u∈ C6(Rn) is a positive entire solution in Rn to (1.1) satisfying u(x) = o(|x|4) when |x| → +∞, then ∆u > 0 and ∆2u <0 in Rn.
Now we define w := ∆u, v := ∆w = ∆2u and (2.2) u(r) :=¯ −
Z
∂Br(0)
u dσ, w(r) :=¯ − Z
∂Br(0)
∆u dσ, v¯(r) = − Z
∂Br(0)
∆w dσ, ∀ r > 0.
Recall that, in Rn, for any radially symmetric function f (r), ∆f (r) = rn−11 (rn−1f′(r))′. It can be deduced from Lemma 2.1 that ¯u(r), ¯w(r) and ¯v(r) satisfy
∆¯u(r) = ¯w(r), ∀ r > 0,
∆ ¯w(r) = ¯v(r), ∀ r > 0,
∆¯v(r)− ¯u−q(r) > 0, ∀ r > 0.
(2.3)
We have the following lemma.
Lemma 2.3. Assume m = 3, n > 2 and q > 0. If u∈ C6(Rn) is a positive entire solution in Rn to (1.1), then for all r > 0,
(2.4) ¯v′(r) > 0.
Moreover, if u satisfies the sub poly-harmonic property “∆2u < 0 and ∆u > 0 in Rn”, then for all r > 0,
(2.5) u¯′(r) > 0, w¯′(r) < 0.
Proof. Multiplying the third inequality in (2.3) by rn−1 and integrating the resulting equation, we get
(2.6) rn−1¯v′(r)−
Z r 0
tn−1u¯−q(t)dt > 0.
Then the inequality in (2.4) follows immediately. From the second inequality in (2.3) and the sub poly-harmonic property, we get (rn−1w¯′(r))′ = rn−1v(r) < 0 for any r > 0, and hence¯ the second inequality in (2.5) follows immediately by integrating. Similarly, from the first inequality in (2.3) and the sub poly-harmonic property, we get (rn−1u¯′(r))′ = rn−1w(r) > 0¯ for any r > 0, and hence the first inequality in (2.5) follows immediately by integrating. This
finishes our proof of Lemma 2.3.
Remark 2.4. By Lemma 2.2, the sub poly-harmonic property “∆2u < 0 and ∆u > 0 in Rn” can be deduced from the assumption u = o(|x|4) at ∞. Therefore, for any positive entire solution u to (1.1) satisfying u = o(|x|4) at∞, we have ¯u′(r) > 0 and ¯w′(r) < 0 for any r > 0.
Remark 2.5. In fact, we can also show that the property “ ¯w′′(r) < 0 and ¯w′′′(r) > 0 for any r > 0” does not hold in general cases where the sub poly-harmonic property “∆2u < 0 and
∆u > 0 in Rn” holds. By direct calculations, we obtain that (2.7) ∆3u(r) = ∆¯ 2w(r) =¯ 1
rn+1 rn+1w¯(3)(r)′
+ n− 3
r ¯v′(r), ∀ r > 0.
If lim
r→+∞w¯′′(r) = β and lim
r→+∞rw¯(3)(r) = γ exist, then by (1.1), (2.7) and integrating, we can get
¯
w(r)− ¯w(0) (2.8)
= β
2r2+ γ
2nr2− 1
n(n− 1)(n − 2)rn−2 Z r
0
tn+1
u−q(t)− n− 3 t ¯v′(t)
dt
−r2 2n
Z +∞
r
t
u−q(t)− n− 3 t ¯v′(t)
dt+ 1 2(n− 2)
Z r 0
t3
u−q(t)− n− 3 t v¯′(t)
dt
− r
n− 1 Z r
0
t2
u−q(t)− n− 3 t v¯′(t)
dt
=: β
2r2+ γ
2nr2 + Φ(r), ∀ r > 0.
Assume that n > 3, q > 3 and u(x) = u(r) with r =|x| is radially symmetric and satisfies lim inf
|x|→+∞
u(x)
|x| ∈ (0, +∞] (when n = 5, this condition can be deduced from u = o(|x|4) at ∞, see Lemma 2.7; for general n > 2, this condition can be deduced from q 6 4, see Theorem 2.8), then by L’Hopital’s rule, one has
γ = lim
r→+∞rw¯(3)(r) = lim
r→+∞
Rr
0 tn+1 u−q(t)−n−3t v¯′(t) dt rn
(2.9)
= lim
r→+∞
r2 n
u−q(r)− n− 3 r ¯v′(r)
= 1
n(n− 2) lim
r→+∞r2u−q(r) = 0,
and
r→+∞lim Φ′(r) = lim
r→+∞
1
n(n− 1)rn−1 Z r
0
tn+1
u−q(t)− n− 3 t ¯v′(t)
(2.10) dt
−r n
Z +∞
r
t
u−q(t)−n− 3 t v¯′(t)
dt− 1 n− 1
Z r 0
t2
u−q(t)− n− 3 t ¯v′(t)
dt
= 2− n (n− 1)2 lim
r→+∞r3
u−q(r)−n− 3 r v¯′(r)
− 1
n− 1 Z +∞
0
t2
u−q(t)− n− 3 t ¯v′(t)
dt
=− 1 n− 1
Z +∞
0
t2
u−q(t)− n− 3 t v¯′(t)
dt.
Now suppose that “ ¯w′′(r) < 0 and ¯w′′′(r) > 0 for any r > 0” holds for such radially symmetric positive entire solution u, then lim
r→+∞w¯′′(r) = β 6 0 exists. Therefore, it follows from (2.8), (2.9) and (2.11) that
(2.11) 0 > ¯w(r)− ¯w(0) = β 2r2−
1 n− 1
Z +∞
0
t2
u−q(t)− n− 3 t ¯v′(t)
dt
r+ o(r), as r → +∞. Hence ¯w(r) → −∞ as r → +∞, which contradicts the sub poly-harmonic property “∆2u <0 and ∆u > 0 in Rn” or Lemma 2.2 provided that u = o(|x|4) at ∞.
By Lemma 2.3, if the positive entire solution u satisfies the sub poly-harmonic property
“∆2u < 0 and ∆u > 0 in Rn” or u = o(|x|4) at ∞, then ¯w′(r) < 0 for any r > 0, and hence
¯
w(r) = ∆¯u(r) 6 ¯w(0) = w(0) = ∆u(0). Now by integrating again, we arrive at (2.12) u(r) 6 ¯¯ u(0) + w(0)¯
4 r2= u(0) + ∆u(0)
4 r2, ∀ r > 0.
Consequently, any C6 positive entire solution u to the tri-harmonic equation (1.1) must satisfy
(2.13) lim inf
|x|→+∞
u(x)
|x|2 6 ∆u(0)
4 <+∞.
Remark 2.6. In this section, we only need the assumption u = o(|x|4) at ∞ to guarantee the sub poly-harmonic property “∆2u <0 and ∆u > 0 in Rn” (see Lemma2.2). We may replace the condition “u = o(|x|4) at∞” by the sub poly-harmonic property “∆2u <0 and ∆u > 0 in Rn” everywhere hereafter in this section. The upper bound estimate (2.12) indicates that the assumption u = o(|x|4) at∞ is necessary in the sense that, if the sub poly-harmonic property
“∆2u <0 and ∆u > 0 in Rn” holds, then u has no more than quadratic growth at ∞ in the sense of spherical average, i.e., ¯u(r) 6 Cr2 for r sufficiently large.
We can deduce the following lemma on asymptotic behaviors of u, w and v as |x| → +∞.
Lemma 2.7. Assume m = 3, n > 2 and q > 0. If u ∈ C6(Rn) is a positive entire solution to the tri-harmonic equation (1.1) satisfying u(x) = o(|x|4) as |x| → +∞, then
(2.14) ¯v(r) >−2n∆u(0)
r2 , ∀ r > 0;
(2.15) v(x) 6− c
|x|n−2, ∀ |x| > 1 if n > 3,
(2.16) v(x) 6− ck
ln(k)(|x|), ∀ |x| > exp(k)(1), ∀ k ∈ N+ if n = 2, where c = − max
|x|=1v(x) > 0 if n > 3, ck = − max
|x|=exp(k)(1)v(x) > 0 for every k > 1 if n = 2, ln(k):= ln| {z }· · · ln
k times
and exp(k) := exp| · · · exp{z }
k times
;
(2.17) w(x) > c
|x|n−4, ∀ |x| > 1 if n > 5, where c = min
2(n−4)−1 max
|x|=1v(x), min
|x|=1w(x)
>0;
(2.18) u(r) >¯ c
10r, ∀ r > 1 if n = 5, where the constant c is the same as in (2.17).
Proof. By the second equation in (2.3) and Lemma 2.3, we get (2.19) rn−1w¯′(r) =
Z r 0
tn−1v(t)dt 6¯ 1
nrn¯v(r), ∀ r > 0.
Divide this equation by rn−1 and integrate once again to get
(2.20) w(r) 6 ¯¯ w(0) + 1
2nr2¯v(r), ∀ r > 0.
It follows that
(2.21) − ¯v(r) 6 2n ( ¯w(0)− ¯w(r))
r2 6 2n ¯w(0)
r2 = 2n∆u(0)
r2 , ∀ r > 0.
If n > 3, set c = − max
|x|=1v(x). By Lemma 2.2, one has v = ∆2u < 0 and hence c > 0.
Applying the maximum principle to the function |x|n−2c + v on the region{x ∈ Rn| 1 6 |x| <
+∞}, we obtain that
(2.22) v(x) 6− c
|x|n−2, ∀ |x| > 1.
If n = 2, for arbitrary k ∈ N+, set ck = − max
|x|=exp(k)(1)v(x), where exp(k) := exp| · · · exp{z }
ktimes
. By Lemma 2.2, one has v = ∆2u <0 and hence ck >0. Applying the maximum principle to the function ln(k)ck(|x|) + v on the region{x ∈ R2| exp(k)(1) 6|x| < +∞}, we obtain that
(2.23) v(x) 6− ck
ln(k)(|x|), ∀ |x| > exp(k)(1), ∀ k > 1.
If n > 5, set c = min
2(n−4)−1 max
|x|=1v(x), min
|x|=1w(x)
. By Lemma 2.2, one has v = ∆2u < 0, w = ∆u > 0 and hence c > 0. By (2.15), we have ∆
w− |x|n−4c
= v + 2(n−4)c|x|n−2 6 0 for any |x| > 1. Applying the maximum principle to the function w − |x|n−4c on the region {x ∈ Rn| 1 6 |x| < +∞}, we obtain that
(2.24) w(x) > c
|x|n−4, ∀ |x| > 1.
Using the first equation in (2.3) and Lemma 2.3, we get (2.25) rn−1u¯′(r) =
Z r 0
tn−1w(t)dt >¯ 1
nrnw(r),¯ ∀ r > 0.
By dividing (2.25) by rn−1 and integrating once again, we get
(2.26) u(r) > u(0) +¯ 1
2nr2w(r),¯ ∀ r > 0.
If n = 5, the lower bound estimate (2.18) follows directly from (2.17) and (2.26). This
completes our proof of Lemma 2.7.
The lower bound estimate (2.18) can be improved remarkably and the assumption n = 5 can also be removed. As a consequence, we can derive the necessary condition for the existence of positive entire solutions to the tri-harmonic equation (1.1).
Theorem 2.8. Assume m = 3, n > 2 and q > 0. Suppose u ∈ C6(Rn) is a positive entire solution to the tri-harmonic equation (1.1) satisfying u = o(|x|4) as |x| → +∞, then
(2.27) u(r) > Cr¯ 4q, ∀ r > 0, and
(2.28)
Z
Br(0)
u−q(x)dx 6 Crn−4, ∀ r > 0.
Moreover, if n = 4, then (2.29)
Z
R4
u−q(x)dx < +∞.
Consequently, if the tri-harmonic equation (1.1) admits a positive entire solution u∈ C6(Rn) such that u(x) = o(|x|4) as |x| → +∞, then q > 2 and n > 4.
Proof. Suppose u ∈ C6(Rn) is a positive entire solution to the tri-harmonic equation (1.1) satisfying u = o(|x|4) at ∞. By (1.1), Lemma 2.1 and Lemma 2.3, we have
¯
v(2r)− ¯v(r) = Z 2r
r
¯ v′(t)dt (2.30)
= 1
Σn−1
Z 2r r
t−(n−1) Z
Bt(0)
∆vdxdt
= 1
Σn−1
Z 2r r
t−(n−1) Z
Bt(0)
u−qdxdt
> Cn
Σn−1rn−2 Z
Br(0)
u−q(x)dx
= Cn
rn−2 Z r
0
tn−1− Z
∂Bt(0)
u−q(x)dσdt
> Cn
rn−2 Z r
0
tn−1u¯−q(t)dt
>Cnr2u¯−q(r) , ∀ r > 0,
where Σn−1 denotes the surface area of the unit (n− 1)-sphere in Rn. By Lemma2.2, we can deduce from (2.14) in Lemma 2.7 and (2.30) that
(2.31) Cnr2u¯−q(r) 6 ¯v(2r)− ¯v(r) < 2n∆u(0)
r2 , ∀ r > 0, and hence there is a positive constant C such that
(2.32) u(r) > Cr¯ 4q, ∀ r > 0, that is, the lower bound estimate (2.27) holds.
Now suppose the tri-harmonic equation (1.1) admits a positive entire solution u ∈ C6(Rn) such that u(x) = o(|x|4) as |x| → ∞. By the lower bound estimate (2.27) and the upper bound estimate (2.12), we must have 4q 62, that is, q > 2. From the first inequality in (2.30) and (2.31), we can also infer that
(2.33)
Z
Br(0)
u−q(x)dx 6 Crn−4, ∀ r > 0,
which will yield a contradiction if n = 2, 3. If n = 2, 3, we can also derive a contradiction from (2.14), (2.15) and (2.16) in Lemma2.7. This completes our proof of Theorem 2.8. From Theorem 2.8, we know that (1.1) admits no positive entire solution u ∈ C6(Rn) satisfying “u = o(|x|4) at ∞” or sub poly-harmonic property provided that 0 < q < 2 or n = 2, 3. Therefore, in the rest of this section, we only need to consider the cases q > 2 and n > 4 when discussing the properties of C6 positive entire solution u to (1.1) satisfying
“u = o(|x|4) at ∞” or sub poly-harmonic property.
We can deduce from Lemma 2.7 and Theorem 2.8 the following Corollary immediately.
Corollary 2.9. Assume m = 3, n > 4 and q > 2. Then, we have
(i) Equation (1.1) admits no positive entire solution u ∈ C6(Rn) satisfying u = o
|x|4q as
|x| → +∞. Moreover, (1.1) admits no positive radially symmetric entire solution u∈ C6(Rn) satisfying u = o(r4) at ∞ and
(2.34) lim inf
r→+∞
u(r) r4q = 0.
(ii) For n = 5, suppose u is a positive radially symmetric C6 entire solution to (1.1) satisfying u= o(|x|4) at ∞, then u(r) > cr for some positive constant c > 0 and any r := |x| > 0. That is, lim inf
|x|→+∞
u(x)
|x| ∈ (0, +∞].
(iii) If u has at most linear growth (uniformly) at ∞, that is,
(2.35) lim
|x|→+∞
u(x)
|x| = α∈ [0, +∞), then q > 4. In addition, we have α > 0 if n = 5.
(iv) Suppose u ∈ C6(Rn) is a positive entire solution to (1.1) satisfying u = o(|x|4) at ∞, then there exists a constant C > 0 such that
(2.36) ¯v′(r) 6 C
r3, ∀ r > 0,
and
(2.37) lim inf
r→+∞ r4u−q(r) < +∞.
Proof. Conclusions (i)-(iii) can be deduced from Lemma 2.7 and Theorem 2.8 immediately, we omit the details. We only show (iv). From (2.28) in Theorem 2.8, we obtain
(2.38) v¯′(r) = 1 rn−1
Z r 0
tn−1u−q(t)dt = R
Br(0)u−q(x)dx
Σn−1rn−1 6 Crn−4
Σn−1rn−1 =: C
r3, ∀ r > 0.
Estimate (2.28) in Theorem 2.8 also implies that, for any r > 0, (2.39) cnΣn−1rn−4 min
t∈[r,2r]t4u−q(t) 6 Z 2r
r
Σn−1tn−1u−q(t)dt 6 Z
B2r(0)
u−q(x)dx 6 Crn−4, where cn := 2n−4n−4−1 for n6= 4 and c4 := ln 2 for n = 4. That means,
(2.40) min
t∈[r,2r]t4u−q(t) 6 C, ∀ r > 0.
Suppose on the contrary that (2.37) does not hold, then
(2.41) lim
r→+∞r4u−q(r) = +∞,
which contradicts (2.40) if r is sufficiently large. This finishes our proof of Corollary2.9. Theorem 2.10. Assume n = 4, m = 3 and q > 2. Equation (1.1) admits no positive solutions u∈ C6(R4) on entire R4 satisfying u = o(|x|4) as |x| → +∞.
Proof. Suppose on the contrary that u∈ C6(R4) is a positive entire solution to the tri-harmonic equation (1.1) satisfying u = o(|x|4) as |x| → +∞. We will obtain a contradiction.
The lower bound estimate (2.14) and the upper bound estimate (2.15) in Lemma 2.7 imply that for all r > 1,
(2.42) − 8∆u(0)
r2 6v(r) 6¯ − c r2, where c =− max
|x|=1v(x) > 0, and hence
(2.43) − 8∆u(0)r 6 (r3w¯′)′(r) 6−cr, ∀ r > 1.
Integrating from r2 to r, we get
(2.44) −3
4cr2 >r3w¯′(r)−r 2
3
¯ w′r
2
>−3∆u(0)r2, ∀ r > 2.
By Lemma 2.3, it follows that
(2.45) r3w¯′(r) 6−3
4cr2, ∀ r > 2.
Divide by r3 and Integrate from 2 to r, we get
(2.46) w(r) 6¯ −3
4c[ln r− ln 2] + ¯w(2),
which implies that ¯w(r)→ −∞ as r → +∞. This contradicts the fact w = ∆u > 0 in Lemma
2.2. This finishes our proof of Theorem2.10.
Theorem 2.11. Assume m = 3, n > 2 and q > 0, equation (1.1) admits no positive entire solution u ∈ C6(Rn) satisfying u = o
|x|q+16
as |x| → +∞. Moreover, (1.1) admits no positive radially symmetric entire solution u∈ C6(Rn) satisfying
(2.47) lim sup
r→+∞
u(r)
rq+16 <+∞ and lim inf
r→+∞
u(r) rq+16 = 0.
Proof. Suppose on the contrary that u∈ C6(Rn) is a positive entire solution to (1.1) satisfying u= o
|x|q+16
at∞. Since u = o
|x|q+16
as|x| → +∞, we have (2.48) u(r) 6 r¯ q+16 , for r large enough.
By Lemma 2.1, we infer from (2.48) that (2.49) ∆3u(r) =¯ 1
rn−1 rn−1¯v′(r)′
(r) > ¯u−q(r) > r−q+16q , for r large enough.
By Lemma 2.3 and integrating from r to 2r, we get (2.50) (2r)n−1v¯′(2r) > (2r)n−1¯v′(2r)− rn−1v¯′(r) >
Z 2r r
sn−1−q+16q ds= Crn−q+16q for r sufficiently large, and hence
(2.51) − ¯v(r) > ¯v(2r) − ¯v(r) > C Z 2r
r
s1−q+16q ds = Cr2−q+16q for r large enough.
By Lemma 2.3 and integrating from r to 2r again, we obtain (2.52) (2r)n−1w¯′(2r) 6 (2r)n−1w¯′(2r)− rn−1w¯′(r) 6−C
Z 2r r
sn+1−q+16q ds =−Crn+2−q+16q for r sufficiently large, and hence
(2.53) − ¯w(r) 6 ¯w(2r)− ¯w(r) 6−C Z 2r
r
s3−q+16q ds=−Cr4−q+16q for r large enough.
By Lemma 2.3 and integrating from r to 2r again, we arrive at (2.54) (2r)n−1u¯′(2r) > (2r)n−1u¯′(2r)− rn−1u¯′(r) > C
Z 2r r
sn+3−q+16q ds= Crn+4−q+16q for r sufficiently large, and hence
(2.55) u(2r) > ¯¯ u(2r)− ¯u(r) > C Z 2r
r
s5−q+16q ds= Cr6−q+16q for r large enough.
By (2.55), we must have 6− q+16q = q+16 < q+16 as u = o
|x|q+16
at ∞, which is absurd. This
finishes our proof of Theorem 2.11.
Remark 2.12. By Theorem 2.11, the conclusions in (iii) of Corollary 2.9 can be improved to the following:
(iii′) For any n > 2 and q > 0, if u has at most linear growth (uniformly) at∞, that is,
(2.56) lim
|x|→+∞
u(x)
|x| = α∈ [0, +∞), then q > 5.
Lemma 2.13. Assume n > 5, m = 3 and q > 5. Suppose u ∈ C6(Rn) is a positive radially symmetric entire solution to (1.1) such that lim inf
|x|→+∞
u(x)
|x| ∈ (0, +∞] and lim
r→+∞u′′(r) = ρ ∈ R, then ρ > 0. If ρ > 0, then u has exactly quadratic growth at ∞, that is,
(2.57) lim
|x|→+∞
u(x)
|x|2 = ρ
2 ∈ (0, +∞).
If ρ = 0, then u has exactly linear growth at ∞, that is,
(2.58) lim
|x|→+∞
u(x)
|x| =− 1 n− 1
Z +∞
0
t2
∆2u(t)¯ −n− 3
t (∆¯u)′(t)
dt∈ (0, +∞).
Proof. By direct calculations, one has (2.59) ¯v(r) = ∆2u(r) =¯ 1
rn+1 rn+1u¯(3)(r)′
(r) + n− 3
r w¯′(r), ∀ r > 0.
By (1.1), (2.59) and L’Hopital’s rule, we have
r→+∞lim ru¯(3)(r) = lim
r→+∞
Rr
0 tn+1 v¯(t)−n−3t w¯′(t) dt rn
(2.60)
= lim
r→+∞
r2 n
¯
v(r)− n− 3 r w¯′(r)
=− 1
2n(n− 2)(n − 4) lim
r→+∞r4u−q(r) = 0.
From (1.1), (2.60), (2.59) and integrating, we can derive
¯
u(r)− ¯u(0) (2.61)
= ρ
2r2− 1
n(n− 1)(n − 2)rn−2 Z r
0
tn+1
¯
v(t)− n− 3 t w¯′(t)
dt
−r2 2n
Z +∞
r
t
¯
v(t)− n− 3 t w¯′(t)
dt+ 1 2(n− 2)
Z r 0
t3
¯
v(t)− n− 3 t w¯′(t)
dt
− r
n− 1 Z r
0
t2
¯
v(t)− n− 3 t w¯′(t)
dt
=: ρ
2r2+ Ψ(r), ∀ r > 0.
By L’Hopital’s rule again, we get
r→+∞lim Ψ′(r) = lim
r→+∞
1
n(n− 1)rn−1 Z r
0
tn+1
¯
v(t)− n− 3 t w¯′(t)
(2.62) dt
−r n
Z +∞
r
t
¯
v(t)−n− 3 t w¯′(t)
dt− 1 n− 1
Z r 0
t2
¯
v(t)− n− 3 t w¯′(t)
dt
= 2− n (n− 1)2 lim
r→+∞r3
¯
v(r)−n− 3 r w¯′(r)
− 1
n− 1 Z +∞
0
t2
¯
v(t)−n− 3 t w¯′(t)
dt
=− 1 n− 1
Z +∞
0
t2
¯
v(t)−n− 3 t w¯′(t)
dt.
Therefore, it follows from (2.61) and (2.62) that (2.63) cr 6u(r)¯ − ¯u(0) = ρ
2r2−
1 n− 1
Z +∞
0
t2
¯
v(t)− n− 3 t w¯′(t)
dt
r+ o(r),
