We prove uniqueness of ground states Q ∈ H 1/2 ޒ( 3 ) for the pseudorelativistic Hartree equation, − + m 2 Q − |x| −1 * |Q| 2 Q = −µQ, in the regime of Q with sufficiently small L 2 -mass. This result shows that a uniqueness conjecture by Lieb and Yau [1987] holds true at least for N = |Q| 2 1 except for at most countably many N . Our proof combines variational arguments with a nonrelativistic limit, leading to a certain Hartreetype equation (also known as the Choquard-Pekard or Schrödinger-Newton equation). Uniqueness of ground states for this limiting Hartree equation is well-known. Here, as a key ingredient, we prove the socalled nondegeneracy of its linearization. This nondegeneracy result is also of independent interest, for it proves a key spectral assumption in a series of papers on effective solitary wave motion and classical limits for nonrelativistic Hartree equations.
IntroductionThe pseudorelativistic Hartree energy functional, given (in appropriate units) byarises in the mean-field limit of a quantum system describing many self-gravitating, relativistic bosons with rest mass m > 0. Such a physical system is often referred to as a boson star, and various models for these -at least theoretical -objects have attracted a great deal of attention in theoretical and numerical astrophysics over the past years. In order to gain some rigorous insight into the theory of boson stars, it is of particular interest to study ground states (that is, minimizers) for the variational problemwhere the parameter N > 0 plays the role of the stellar mass. Provided that problem (1-2) has indeed a ground state Q ∈ H 1/2 ޒ( 3 ), one readily finds that it satisfies the pseudorelativistic Hartree equation, − + m 2 Q − |x| −1 * |Q| 2 Q = −µQ, (1-3) with µ = µ(Q) ∈ ޒ being some Lagrange multiplier.MSC2000: 35Q55.