“…Indeed, sinceū solves the first equation in (5.25) , we get−∆Φ + ∇H 0 (∇ū) · ∇Φ ≥ κ(−λ − κ|∇ū| 2 −m α )Φ.Using (5.27) andm → 0 as |x| → +∞, we obtain the claim. Reasoning as in[20, Proposition 4.3], or [28, Proposition 2.6], we get that R N e κūm dx < +∞, which concludes the estimate (5.26). With estimates(5.26) in force, the pointwise bounds stated in [28, Theorem 6.1] hold, namely there exist positive constants c 1 , c 2 , such that m(x) ≤ c 1 e −c2|x| on R N .…”