We prove the existence of multidimensional traveling-wave solutions to the scalar equation for the transport of solutes (contaminants) with nonlinear adsorption and spatially periodic convection-diffusion-adsorption coefficients under the assumption that the nonlinear adsorption function satisfies the Lax and Oleinik entropy conditions. In the nondegenerate case, we also prove the uniqueness of the traveling waves. These traveling waves are analogues of viscous shock profiles. They propagate with effective speeds that depend on the periodic porous media only up to their mean states, and are given by an averaged Rankine-Hugoniot relation. This is a direct consequence of the fact that the transport equation is in conservation form. We use the sliding domain method, the continuation method, spectral theory, maximum principles, and a priori estimates. In the degenerate case, the traveling waves are weak

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.

In this paper, we give a condition on the bicharacteristic which guarantees the global existence of the mild solution to the Boltzmann equation with an external force for the hard-sphere model and potentials with angular cutoff in infinite vacuum. This generalizes the previous results to the case when the force can have arbitrary strength. The constructive condition on the bicharacteristic is used to obtain the pointwise estimates on the collision operator so that the global existence comes from the contraction mapping theorem.

We study the front dynamics of the bistable reaction-diffusion equations with periodic diffusion and/or convection coefficients in several space dimensions. When traveling wave solutions exist, the solutions of the initial value problem behave as wave fronts propagating with the effective speeds of traveling waves under various initial conditions. Yet due to the bistable nature of the nonlinearity, traveling waves may not always exist when the medium variations from the mean states are large enough. Their existence is closely related to the detailed forms of diffusion and convection coefficients, more so in multidimension than in one. We present a simple sufficient condition for the nonexistence of traveling waves (quenching) using perturbation method. Our two dimensional finite difference numerical computations show a variety of front behaviors, such as: the propagation, quenching and retreat of fronts. We found

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.