We study the nonlinear elliptic problem −∆u = ρ(x)f(u) in R (N ≥ 3), lim|x|→∞ u(x) = l, where l ≥ 0 is a real number, ρ(x) is a nonnegative potential belonging to a certain Kato class, and f(u) has a sublinear growth. We distinguish the cases l > 0 and l = 0 and we prove existence and uniqueness results if the potential ρ(x) decays fast enough at infinity. Our arguments rely on comparison techn...

Product of the U.S.A. Potential complications may include local or systemic infection, hematoma, extravasations or other complications associated with percutaneous insertion of sterile devices. Teleflex, Arrow, EZ-Connect, EZ-IO, EZ-Stabilier and T.A.L.O.N. are trademarks or registered trademarks of Teleflex Incorporated or its affiliates. © 2015 Teleflex Incorporated. All rights reserved. MC-0...

Over the last few years, the question of reasoning about aspectoriented programs has been addressed by a number of authors. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven extremely successful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspectoriented pr...