Superfluids Passing an Obstacle and Vortex Nucleation

Abstract

We consider a superfluid described by the Gross-Pitaevskii equation passing an obstacle \[ε^2 Δu+ u(1-|u|^2)=0 \ \mbox{in} \ {\mathbb R}^d \backslash Ω, \ \ \frac{\partial u}{\partial ν}=0 \ \mbox{on}\ \partial Ω\] where $ Ω$ is a smooth bounded domain in $ {\mathbb R}^d$ ($d\geq 2$), which is referred as the obstacle and $ ε>0$ is sufficiently small. We first construct a vortex free solution of the form $ u= ρ_ε(x) e^{i \frac{Φ_ε}ε}$ with $ ρ_ε(x) \to 1-|\nabla Φ^δ(x)|^2, Φ_ε(x) \to Φ^δ(x) $ where $Φ^δ(x)$ is the unique solution for the subsonic irrotational flow equation \[ \nabla ( (1-|\nabla Φ|^2)\nabla Φ)=0 \ \mbox{in} \ {\mathbb R}^d \backslash Ω, \ \frac{\partial Φ}{\partial ν} =0 \ \mbox{on} \ \partial Ω, \ \nabla Φ(x) \to δ\vec{e}_d \ \mbox{as} \ |x| \to +\infty \] and $|δ| <δ_{*}$ (the sound speed). In dimension $d=2$, on the background of this vortex free solution we also construct solutions with single vortex close to the maximum or minimum points of the function $|\nabla Φ^δ(x)|^2$ (which are on the boundary of the obstacle). The latter verifies the vortex nucleation phenomena (for the steady states) in superfluids described by the Gross-Pitaevskii equations. Moreover, after some proper scalings, the limits of these vortex solutions are traveling wave solution of the Gross-Pitaevskii equation. These results also show rigorously the conclusions drawn from the numerical computations in \cite{huepe1, huepe2}. Extensions to Dirichlet boundary conditions, which may be more consistent with the situation in the physical experiments and numerical simulations (see \cite{ADP} and references therein) for the trapped Bose-Einstein condensates, are also discussed.