We propose a simple finite difference scheme for Navier--Stokes equations in primitive formulation on curvilinear domains. With proper boundary treatment and interplay between covariant and contravariant components, the spatial discretization admits exact Hodge decomposition and energy identity. As a result, the pressure can be decoupled from the momentum equation with explicit time stepping. No artificial pressure boundary condition is needed. In addition, it can be shown that this spatially compatible discretization leads to uniform inf-sup condition, which plays a crucial role in the pressure approximation of both dynamic and steady state calculations. Numerical experiments demonstrate the robustness and efficiency of our scheme.

No abstract uploaded!

We exhibit the first examples of hyperbolic three-manifolds for which the Seiberg-Witten equations do not admit any irreducible solution. Our approach relies on hyperbolic geometry in an essential way; it combines an explicit upper bound for the first eigenvalue on coexact 1-forms λ_1^* on rational homology spheres which admit irreducible solutions together with a version of the Selberg trace formula relating the spectrum of the Laplacian on coexact 1-forms with the volume and complex length spectrum of a hyperbolic three-manifold. Using these relationships, we also provide precise numerical bounds on λ_1^* for several hyperbolic rational homology spheres.

A two species interacting system motivated by the density functional theory for triblock copolymers contains long range interaction that affects the two species differently. In a two species periodic assembly of discs, the two species appear alternately on a lattice. The minimal two species periodic assembly is the one with the least energy per lattice cell area. There is a parameter $b$ in $[0,1]$ and the type of the lattice associated with the minimal assembly varies depending on $b$. There are several threshold defined by a number $B=0.1867...$ If $b \in [0, B)$, the minimal assembly is associated with a rectangular lattice whose ratio of the longer side and the shorter side is in $[\sqrt{3}, 1)$; if $b \in [B, 1-B]$, the minimal assembly is associated with a square lattice; if $b \in (1-B, 1]$, the minimal assembly is associated with a rhombic lattice with an acute angle in $[\frac{\pi}{3}, \frac{\pi}{2})$. Only when $b=1$, this rhombic lattice is the hexagonal lattice. None of the other values of $b$ yields the hexagonal lattice, a sharp contrast to the situation for one species interacting systems, where the hexagonal lattice is ubiquitously observed.

We define a hierarchy of Hamiltonian PDEs associated to an arbitrary tau-function in the semi-simple orbit of the Givental group action on genus expansions of Frobenius manifolds. We prove that the equations, the Hamiltonians, and the bracket are weightedhomogeneous polynomials in the derivatives of the dependent variables with respect to the space variable. In the particular case of a conformal (homogeneous) Frobenius structure, our hierarchy coincides with the Dubrovin–Zhang hierarchy that is canonically associated to the underlying Frobenius structure. Therefore, our approach allows to prove the polynomiality of the equations, Hamiltonians, and one of the Poisson brackets of these hierarchies, as conjectured by Dubrovin and Zhang.