In this paper, we consider the initial boundary value problem in a cylindrical domain to the three dimensional primitive equations with full eddy viscosity in the momentum equations but with only horizontal eddy diffusivity in the temperature equation. Global well-posedness of $z$-weak solution is established for any such initial datum that itself and its vertical derivative belong to $L^2$. This not only extends the results in \cite{Cao5} from the spatially periodic case to general cylindrical domains but also weakens the regularity assumptions on the initial data which are required to be $H^2$ there.

For strong solutions of the incompressible Navier-Stokes equations in bounded domains with velocity specified at the boundary, we establish the unconditional stability and convergence of discretization schemes that decouple the updates of pressure and velocity through explicit time stepping for pressure. These schemes require no solution of stationary Stokes systems, nor any compatibility between velocity and pressure spaces to ensure an inf-sup condition, and are representative of a class of highly efficient computational methods that have recently emerged. The proofs are simple, based upon a new, sharp estimate for the commutator of the Laplacian and Helmholtz projection operators. This allows us to treat an unconstrained formulation of the Navier-Stokes equations as a perturbed diffusion equation. © 2007 Wiley Periodicals, Inc.

We consider admissible weak solutions to the compressible Euler system with source terms, which include rotating shallow water system and the Euler system with damping as special examples. In the case of anti-symmetric sources such as rotations, for general piecewise Lipschitz initial densities and some suitably constructed initial momentum, we obtain infinitely many global admissible weak solutions. Furthermore, we construct a class of finite-states admissible weak solutions to the Euler system with anti-symmetric sources. Under the additional smallness assumption on the initial densities, we also obtain multiple global-in-time admissible weak solutions for more general sources including damping. The basic framework are based on the convex integration method developed by De~Lellis and Sz\'{e}kelyhidi \cite{dLSz1,dLSz2} for the Euler system. One of the main ingredients of this paper is the construction of specified localized plane wave perturbations which are compatible with a given source term.

The weak well-posedness of strong damping wave equations defined by fractal Laplacians is proved by using Galerkin method. These fractal Laplacians are defined by self-similar measures with overlaps, such as the well-known infinite Bernoulli convolution associated with the golden ratio, the three-fold convolution of the Cantor measure, and a class of self-similar measures that we call essentially of finite type. In general, the structure of self-similar measures with overlap are complicated and intractable. However, some important information about the structure of the three measures above can be obtained. We make use of these information to set up a framework for one-dimensional measures to discretize the equations, and use the finite element and central difference methods to obtain numerical approximations of the weak solutions. We also show that the numerical solutions converge to the actual solution and obtain the rate of convergence.

The uniqueness of positive solutions to some semilinear elliptic systems with variational structure arising from mathematical physics is proved. The key ingredient of the proof is the oscillatory behavior of solutions to linearized equations for cooperative semilinear elliptic systems of two equations on one-dimensional domains, and it is shown that the stability of the positive solutions for such semilinear system is closely related to the oscillatory behavior.