Consider an N-Boson system interacting via a two-body repulsive short-range potential $V$ in a three dimensional box  of side length $L$. We take the $limit N,L \to \infty $ while keeping the density $\rho = N/L^3 fixed and small. We prove a new lower bound for its ground state energy per particle $$ \frac{E(N,\Lambda)}{N} \ge 4 \pi a \rho [1- O(\rho^{1/3} | log \rho |^3) ] $$ as $\rho \to 0$, where $a$ is the scattering length of $V$.

We investigate systems of self-propelled particles with alignment interaction. Compared to previous work (Degond and Motsch, Math. Models Methods Appl. Sci. 18:1193–1215, 2008a; Frouvelle, Math. Models Methods Appl. Sci., 2012), the force acting on the particles is not normalized, and this modification gives rise to phase transitions from disordered states at low density to aligned states at high densities. This model is the space-inhomogeneous extension of (Frouvelle and Liu, Dynamics in a kinetic model of oriented particles with phase transition, 2012), in which the existence and stability of the equilibrium states were investigated. When the density is lower than a threshold value, the dynamics is described by a nonlinear diffusion equation. By contrast, when the density is larger than this threshold value, the dynamics is described by a similar hydrodynamic model for self-alignment interactions as derived in (Degond and Motsch, Math. Models Methods Appl. Sci. 18:1193–1215, 2008a; Frouvelle, Math. Models Methods Appl. Sci., 2012). However, the modified normalization of the force gives rise to different convection speeds, and the resulting model may lose its hyperbolicity in some regions of the state space.

We prove a rigidity theorem in Poisson geometry around compact Poisson submanifolds, using the Nash–Moser fast convergence method. In the case of one-point submanifolds (fixed points), this implies a stronger version of Conn’s linearization theorem [2], also proving that Conn’s theorem is a manifestation of a rigidity phenomenon; similarly, in the case of arbitrary symplectic leaves, it gives a stronger version of the local normal form theorem [7]. We can also use the rigidity theorem to compute the Poisson moduli space of the sphere in the dual of a compact semisimple Lie algebra [17].

In this paper, we construct the bilinear identities for the wave functions of an extended B-type Kadomtsev-Petviashvili (BKP) hierarchy, which contains two types of (2+1)-dimensional Sawada-Kotera equation with a self-consistent source (2d-SKwS-I and 2d-SKwS-II). By introducing an auxiliary variable corresponding to the extended flow for the BKP hierarchy, we find the tau-function and the bilinear identities for this extended BKP hierarchy. The bilinear identities can generate all the Hirota's bilinear equations for the zero-curvature forms of this extended BKP hierarchy. As examples, the Hirota's bilinear equations for the two types of 2d-SKwS (both 2d-SKwS-I and 2d-SKwS-II) will be given explicitly.

We find two conditions related to the {\it news functions} of the Bondi's radiating vacuum spacetimes. We provide a complete proof of the positivity of the Bondi mass by using Schoen-Yau's method under one condition and by using Witten's method under another condition.