Numerical simulations of compressible Rayleigh-Taylor turbulence in stratified fluids

We present the results of our numerical simulations of the Rayleigh-Taylor turbulence, performed using a recently proposed (Sbragaglia et al 2009 J. Fluid Mech. 628 299, Scagliarini et al 2010 Phys. Fluids 22 055101) lattice Boltzmann method that can describe consistently a thermal compressible flow subjected to an external forcing. The method allowed us to study the system in both the nearly Boussinesq regime and the strongly compressible regime. Moreover, we show that when the stratification is important, the presence of the adiabatic gradient causes the arrest of the mixing process.

Exponential Lawson integration for nearly Hamiltonian systems arising in optimal control

We are concerned with the discretization of optimal control problems when a Runge-Kutta scheme is selected for the related Hamiltonian system. It is known that Lagrangian's first order conditions on the discrete model, require a symplectic partitioned Runge-Kutta scheme for state-costate equations. In the present paper this result is extended to growth models, widely used in Economics studies, where the system is described by a current Hamiltonian. We prove that a correct numerical treatment of the state-current costate system needs Lawson exponential schemes for the costate approximation.

Thermal and hydrodynamic effects in the ordering of lamellar fluids

Phase separation in a complex fluid with lamellar order has been studied in the case of cold thermal fronts propagating diffusively from external walls. The velocity hydrodynamic modes are taken into account by coupling the convection-diffusion equation for the order parameter to a generalized Navier-Stokes equation. The dynamical equations are simulated by implementing a hybrid method based on a lattice Boltzmann algorithm coupled to finite difference schemes.

Polynomial functors and opetopes

We give an elementary and direct combinatorial definition of opetopes in terms of trees, well-suited for graphical manipulation and explicit computation. To relate our definition to the classical definition, we recast the Baez-Dolan slice construction for operads in terms of polynomial monads: our opetopes appear naturally as types for polynomial monads obtained by iterating the Baez-Dolan construction, starting with the trivial monad. We show that our notion of opetope agrees with Leinster's. Next we observe a suspension operation for opetopes, and define a notion of stable opetopes.

Modification of turbulence in Rayleigh-Benard convection by phase change

Heavy or light particles introduced into a liquid trigger motion due to their buoyancy, with the potential to drive flow to a turbulent state. In the case of vapor bubbles present in a liquid near its boiling point, thermal coupling between the liquid and vapor can moderate this additional motion by reducing temperature gradients in the liquid. Whether the destabilizing mechanical feedback or stabilizing thermal feedback will dominate the system response depends on the number of bubbles present and the properties of the phase change.