“…Our main result is: Let m ∈ [0, ∞), λ ∈ C, h ∈ L 2 (∞) N , and assume that F is a continuous function satisfying|F (x, p, Q)| ≤ A(x)|p| + B(x)|Q| , for all (x, p, Q) ∈ R n × C N × C nN , (6.4)where A and B are bounded, nonnegative functions such thatlim then any solution f ∈ H 1 (m) N of (6.3) satisfies f ∈ H 1 (∞) N .Proof. The proof is a simple modification of[16, Proposition 12], which in turn is inspired by a recent work of Fukuizumi and Ozawa[6] where decay estimates are obtained for solutions of the Haraux-Weissler equation. For k ≥ 1, ǫ > 0, and θ ∈ [0, m], we define the weight functionsξ k,ǫ (x) = e (1−ǫ)k|x| 2 4k+|x| 2 , ζ θ (x) = (1 + |x| 2 ) θ , x ∈ R n .…”