Optimal Transport, Convection, Magnetic Relaxation and Generalized Boussinesq Equations

We establish a connection between optimal transport theory (see Villani in Topics in optimal transportation. Graduate studies in mathematics, vol. 58, AMS, Providence, 2003, for instance) and classical convection theory for geophysical flows (Pedlosky, in Geophysical fluid dynamics, Springer, New York, 1979). Our starting point is the model designed few years ago by Angenent, Haker, and Tannenbaum (SIAM J. Math. Anal. 35:61-97, 2003) to solve some optimal transport problems. This model can be seen as a generalization of the Darcy-Boussinesq equations, which is a degenerate version of the Navier-Stokes-Boussinesq (NSB) equations. In a unified framework, we relate different variants of the NSB equations (in particular what we call the generalized hydrostatic-Boussinesq equations) to various models involving optimal transport (and the related Monge-AmpSre equation, Brenier in Commun. Pure Appl. Math. 64:375-417, 1991; Caffarelli in Commun. Pure Appl. Math. 45:1141-1151, 1992). This includes the 2D semi-geostrophic equations (Hoskins in Annual review of fluid mechanics, vol. 14, pp. 131-151, Palo Alto, 1982; Cullen et al. in SIAM J. Appl. Math. 51:20-31, 1991, Arch. Ration. Mech. Anal. 185:341-363, 2007; Benamou and Brenier in SIAM J. Appl. Math. 58:1450-1461, 1998; Loeper in SIAM J. Math. Anal. 38:795-823, 2006) and some fully nonlinear versions of the so-called high-field limit of the Vlasov-Poisson system (Nieto et al. in Arch. Ration. Mech. Anal. 158:29-59, 2001) and of the Keller-Segel for Chemotaxis (Keller and Segel in J. Theor. Biol. 30:225-234, 1971; Jager and Luckhaus in Trans. Am. Math. Soc. 329:819-824, 1992; Chalub et al. in Mon. Math. 142:123-141, 2004). Mathematically speaking, we establish some existence theorems for local smooth, global smooth or global weak solutions of the different models. We also justify that the inertia terms can be rigorously neglected under appropriate scaling assumptions in the generalized Navier-Stokes-Boussinesq equations. Finally, we show how a "stringy" generalization of the AHT model can be related to the magnetic relaxation model studied by Arnold and Moffatt to obtain stationary solutions of the Euler equations with prescribed topology (see Arnold and Khesin in Topological methods in hydrodynamics. Applied mathematical sciences, vol. 125, Springer, Berlin, 1998; Moffatt in J. Fluid Mech. 159:359-378, 1985, Topological aspects of the dynamics of fluids and plasmas. NATO adv. sci. inst. ser. E, appl. sci., vol. 218, Kluwer, Dordrecht, 1992; Schonbek in Theory of the Navier-Stokes equations, Ser. adv. math. appl. sci., vol. 47, pp. 179-184, World Sci., Singapore, 1998; Vladimirov et al. in J. Fluid Mech. 390:127-150, 1999; Nishiyama in Bull. Inst. Math. Acad. Sin. (N.S.) 2:139-154, 2007).