SearcharxivSearch

arXiv subjects

Charles R. Doering

Publications and source records attributed to Charles R. Doering.

At least 19 recordsLinked to original sources

Long-time behavior of optimal mixing in an advection-diffusion shell model

We investigate the long-time behavior of optimal mixing in an advection-diffusion equation using a shell model framework. Our focus is on quantifying the decay of the scalar variance, measured by the negative Sobolev norm $H^{-1}$, under enstrophy-constrained stirring. We perform long-time computations using both local-in-time (maximizing the instantaneous mixing rate) and global-in-time (maximizing mixedness at a prescribed final time) optimization strategies. For mixing with diffusion ($\kappa>0$), the numerical results show that the scalar length scale eventually becomes limited by a generalized Batchelor scale, in close agreement with theoretical predictions. In this regime, the $H^{-1}$ mix-norm decays exponentially in time with a decay rate that is independent of the diffusivity $\kappa$. Compared with the purely advective case ($\kappa = 0$), diffusion significantly enhances the long-time mixing rate; moreover, increasing diffusivity further improves mixing efficiency by reducing the prefactor of the exponential decay. Guided by these numerical observations, we derive new conditional lower bounds on the $H^{-1}$ norm whose exponential decay rates are strictly independent of the diffusivity parameter $\kappa$, for all $\kappa > 0$. We further establish conditional upper bounds on the maximal rate of enhanced dissipation of the scalar variance, showing that the effective diffusion time scale is at least of the order $|\log\kappa|$.

physics.flu-dyn

Heat transport in a hierarchy of reduced-order convection models

Reduced-order models (ROMs) are systems of ordinary differential equations (ODEs) designed to approximate the dynamics of partial differential equations (PDEs). In this work, a distinguished hierarchy of ROMs is constructed for Rayleigh's 1916 model of natural thermal convection. These models are distinguished in the sense that they preserve energy and vorticity balances derived from the governing equations, and each is capable of modeling zonal flow. Various models from the hierarchy are analyzed to determine the maximal heat transport in a given model, measured by the dimensionless Nusselt number, for a given Rayleigh number. Lower bounds on the maximal heat transport are ascertained by computing the Nusselt number among equilibria of the chosen model using numerical continuation. A method known as sum-of-squares optimization is applied to construct upper bounds on the time-averaged Nusselt number. In this case, the sum-of-squares approach involves constructing a polynomial quantity whose global nonnegativity implies the upper bound along all solutions to a chosen ROM. The minimum such bound is determined through a type of convex optimization called semidefinite programming. For the ROMs studied in this work, the Nusselt number is maximized by equilibria whenever the Rayleigh number is sufficiently small. In this range of Rayleigh number, the equilibria maximizing heat transport are those that bifurcate first from the zero state. Analyzing this primary equilibrium branch provides a possible mechanism for the increase in heat transport near the onset of convection.

physics.flu-dyn

Steady Rayleigh--Bénard convection between no-slip boundaries

The central open question about Rayleigh--Bénard convection -- buoyancy-driven flow in a fluid layer heated from below and cooled from above -- is how vertical heat flux depends on the imposed temperature gradient in the strongly nonlinear regime where the flows are typically turbulent. The quantitative challenge is to determine how the Nusselt number $Nu$ depends on the Rayleigh number $Ra$ in the $Ra\to\infty$ limit for fluids of fixed finite Prandtl number $Pr$ in fixed spatial domains. Laboratory experiments, numerical simulations, and analysis of Rayleigh's mathematical model have yet to rule out either of the proposed `classical' $Nu \sim Ra^{1/3}$ or `ultimate' $Nu \sim Ra^{1/2}$ asymptotic scaling theories. Among the many solutions of the equations of motion at high $Ra$ are steady convection rolls that are dynamically unstable but share features of the turbulent attractor. We have computed these steady solutions for $Ra$ up to $10^{14}$ with $Pr=1$ and various horizontal periods. By choosing the horizontal period of these rolls at each $Ra$ to maximize $Nu$, we find that steady convection rolls achieve classical asymptotic scaling. Moreover, they transport more heat than turbulent convection in experiments or simulations at comparable parameters. If heat transport in turbulent convection continues to be dominated by heat transport in steady rolls as $Ra\to\infty$, it cannot achieve the ultimate scaling.

physics.flu-dyn

Steady Rayleigh--Bénard convection between stress-free boundaries

Steady two-dimensional Rayleigh--Bénard convection between stress-free isothermal boundaries is studied via numerical computations. We explore properties of steady convective rolls with aspect ratios $π/5\leΓ\le4π$, where $Γ$ is the width-to-height ratio for a pair of counter-rotating rolls, over eight orders of magnitude in the Rayleigh number, $10^3\le Ra\le10^{11}$, and four orders of magnitude in the Prandtl number, $10^{-2}\le Pr\le10^2$. At large $Ra$ where steady rolls are dynamically unstable, the computed rolls display $Ra \rightarrow \infty$ asymptotic scaling. In this regime, the Nusselt number $Nu$ that measures heat transport scales as $Ra^{1/3}$ uniformly in $Pr$. The prefactor of this scaling depends on $Γ$ and is largest at $Γ\approx 1.9$. The Reynolds number $Re$ for large-$Ra$ rolls scales as $Pr^{-1} Ra^{2/3}$ with a prefactor that is largest at $Γ\approx 4.5$. All of these large-$Ra$ features agree quantitatively with the semi-analytical asymptotic solutions constructed by Chini \& Cox (2009). Convergence of $Nu$ and $Re$ to their asymptotic scalings occurs more slowly when $Pr$ is larger and when $Γ$ is smaller.

physics.flu-dyn

Heat transport bounds for a truncated model of Rayleigh-Bénard convection via polynomial optimization

Upper bounds on time-averaged heat transport are obtained for an eight-mode Galerkin truncation of Rayleigh's 1916 model of natural thermal convection. Bounds for the ODE model---an extension of Lorenz's three-ODE system---are derived by constructing auxiliary functions that satisfy sufficient conditions wherein certain polynomial expressions must be nonnegative. Such conditions are enforced by requiring the polynomial expressions to admit sum-of-squares representations, allowing the resulting bounds to be minimized using semidefinite programming. Sharp or nearly sharp bounds on mean heat transport are computed numerically for numerous values of the model parameters: the Rayleigh and Prandtl numbers and the domain aspect ratio. In all cases where the Rayleigh number is small enough for the ODE model to be quantitatively close to the PDE model, mean heat transport is maximized by steady states. In some cases at larger Rayleigh number, time-periodic states maximize heat transport in the truncated model. Analytical parameter-dependent bounds are derived using quadratic auxiliary functions, and they are sharp for sufficiently small Rayleigh numbers.

physics.flu-dyn

Optimal time averages in non-autonomous nonlinear dynamical systems

The auxiliary function method allows computation of extremal long-time averages of functions of dynamical variables in autonomous nonlinear ordinary differential equations via convex optimization. For dynamical systems defined by autonomous polynomial vector fields, it is operationally realized as a semidefinite program utilizing sum of squares technology. In this contribution we review the method and extend it for application to periodically driven non-autonomous nonlinear vector fields involving trigonometric functions of the dynamical variables. The damped driven Duffing oscillator and periodically driven pendulum are presented as examples to illustrate the auxiliary function method's utility.

math.DS

Thermal Convection over Fractal Surfaces

We use well resolved numerical simulations with the Lattice Boltzmann Method to study Rayleigh-Bénard convection in cells with a fractal boundary in two dimensions for $Pr = 1$ and $Ra \in \left[10^7, 10^{10}\right]$. The fractal boundaries are functions characterized by power spectral densities $S(k)$ that decay with wavenumber, $k$, as $S(k) \sim k^{p}$ ($p < 0$). The degree of roughness is quantified by the exponent $p$ with $p < -3$ for smooth (differentiable) surfaces and $-3 \le p < -1$ for rough surfaces with Hausdorff dimension $D_f=\frac{1}{2}(p+5)$. By computing the exponent $β$ in power law fits $Nu \sim Ra^β$, where $Nu$ and $Ra$ are the Nusselt and the Rayleigh numbers for $Ra \in \left[10^8, 10^{10}\right]$, we observe that heat transport scaling increases with roughness over the top two decades of $Ra \in \left[10^8, 10^{10}\right]$. For $p$ $= -3.0$, $-2.0$ and $-1.5$ we find $β= 0.288 \pm 0.005, 0.329 \pm 0.006$ and $0.352 \pm 0.011$, respectively. We also observe that the Reynolds number, $Re$, scales as $Re \sim Ra^ξ$, where $ξ\approx 0.57$ over $Ra \in \left[10^7, 10^{10}\right]$, for all $p$ used in the study. For a given value of $p$, the averaged $Nu$ and $Re$ are insensitive to the specific realization of the roughness.

physics.flu-dyn

Exact relations between Rayleigh-Bénard and rotating plane Couette flow in 2D

Rayleigh-Bénard convection (RBC) and Taylor-Couette Flow (TCF) are two paradigmatic fluid dynamical systems frequently discussed together because of their many similarities despite their different geometries and forcing. Often these analogies require approximations, but in the limit of large radii where TCF becomes rotating plane Couette flow (RPC) exact relations can be established. When the flows are restricted to two spatial degrees of freedom there is an exact specification that maps the three velocity components in RPC to the two velocity components and one temperature field in RBC. Using this, we deduce several relations between both flows: (i) The Rayleigh number $Ra$ in convection and the Reynolds $Re$ and rotation $R_Ω$ number in RPC flow are related by $Ra= Re^2 R_Ω(1-R_Ω)$. (ii) Heat and angular momentum transport differ by $(1-R_Ω)$, explaining why angular momentum transport is not symmetric around $R_Ω=1/2$ even though the relation between $Ra$ and $R_Ω$ has this symmetry. This relationship leads to a predicted value of $R_Ω$ that maximizes the angular momentum transport that agrees remarkably well with existing numerical simulations of the full 3D system. (iii) One variable in both flows satisfy a maximum principle i.e., the fields' extrema occur at the walls. Accordingly, backflow events in shear flow \emph{cannot} occur in this two-dimensional setting. (iv) For free slip boundary conditions on the axial and radial velocity components, previous rigorous analysis for RBC implies that the azimuthal momentum transport in RPC is bounded from above by $Re^{5/6}$ with a scaling exponent smaller than the anticipated $Re^1$.

physics.flu-dyn

On mix-norms and the rate of decay of correlations

Two quantitative notions of mixing are the decay of correlations and the decay of a mix-norm -- a negative Sobolev norm -- and the intensity of mixing can be measured by the rates of decay of these quantities. From duality, correlations are uniformly dominated by a mix-norm; but can they decay asymptotically faster than the mix-norm? We answer this question by constructing an observable with correlation that comes arbitrarily close to achieving the decay rate of the mix-norm. Therefore the mix-norm is the sharpest rate of decay of correlations in both the uniform sense and the asymptotic sense. Moreover, there exists an observable with correlation that decays at the same rate as the mix-norm if and only if the rate of decay of the mix-norm is achieved by its projection onto low-frequency Fourier modes. In this case, the function being mixed is called q-recurrent; otherwise it is q-transient. We use this classification to study several examples and raise questions for future investigations.

math.DS

Wall-to-wall optimal transport in two dimensions

Gradient ascent methods are developed to compute incompressible flows that maximize heat transport between two isothermal no-slip parallel walls. Parameterizing the magnitude of velocity fields by a Péclet number $\text{Pe}$ proportional to their root-mean-square rate-of-strain, the schemes are applied to compute two-dimensional flows optimizing convective enhancement of diffusive heat transfer, i.e., the Nusselt number $\text{Nu}$ up to $\text{Pe} \approx 10^5$. The resulting transport exhibits a change of scaling from $\text{Nu}-1 \sim \text{Pe}^{2}$ for $\text{Pe} < 10$ in the linear regime to $\text{Nu} \sim \text{Pe}^{0.54}$ for $\text{Pe} > 10^3$. Optimal fields are observed to be approximately separable, i.e., products of functions of the wall-parallel and wall-normal coordinates. Analysis employing a separable ansatz yields a conditional upper bound $\lesssim \text{Pe}^{6/11} = \text{Pe}^{0.\overline{54}}$ as $\text{Pe} \rightarrow \infty$ similar to the computationally achieved scaling. Implications for heat transfer in buoyancy-driven Rayleigh-Bénard convection are discussed.

physics.flu-dyn

On the optimal design of wall-to-wall heat transport

We consider the problem of optimizing heat transport through an incompressible fluid layer. Modeling passive scalar transport by advection-diffusion, we maximize the mean rate of total transport by a divergence-free velocity field. Subject to various boundary conditions and intensity constraints, we prove that the maximal rate of transport scales linearly in the r.m.s. kinetic energy and, up to possible logarithmic corrections, as the $1/3$rd power of the mean enstrophy in the advective regime. This makes rigorous a previous prediction on the near optimality of convection rolls for energy-constrained transport. Optimal designs for enstrophy-constrained transport are significantly more difficult to describe: we introduce a "branching" flow design with an unbounded number of degrees of freedom and prove it achieves nearly optimal transport. The main technical tool behind these results is a variational principle for evaluating the transport of candidate designs. The principle admits dual formulations for bounding transport from above and below. While the upper bound is closely related to the "background method", the lower bound reveals a connection between the optimal design problems considered herein and other apparently related model problems from mathematical materials science. These connections serve to motivate designs.

math.AP

Random Walker Models for Durotaxis

Motile biological cells in tissue often display the phenomenon of durotaxis, i.e. they tend to move towards stiffer parts of substrate tissue. The mechanism for this behavior is not completely understood. We consider simplified models for durotaxis based on the classic persistent random walker scheme. We show that even a one-dimensional model of this type sheds interesting light on the classes of behavior cells might exhibit. Our results strongly indicate that cells must be able to sense the gradient of stiffness in order to show the effects observed in experiment. This is in contrast to the claims in recent publications that it is sufficient for cells to be more persistent in their motion on stiff substrates to show durotaxis: i.e., if would be enough to sense the value of the stiffness. We show that these cases give rise to extremely inefficient transport towards stiff regions. Gradient sensing is almost certainly the selected behavior.

physics.bio-ph

Optimal heat transfer and optimal exit times

A heat exchanger can be modeled as a closed domain containing an incompressible fluid. The moving fluid has a temperature distribution obeying the advection-diffusion equation, with zero temperature boundary conditions at the walls. Starting from a positive initial temperature distribution in the interior, the goal is to flux the heat through the walls as efficiently as possible. Here we consider a distinct but closely related problem, that of the integrated mean exit time of Brownian particles starting inside the domain. Since flows favorable to rapid heat exchange should lower exit times, we minimize a norm of the exit time. This is a time-independent optimization problem that we solve analytically in some limits, and numerically otherwise. We find an (at least locally) optimal velocity field that cools the domain on a mechanical time scale, in the sense that the integrated mean exit time is independent on molecular diffusivity in the limit of large-energy flows.

physics.flu-dyn

Diffusion-limited mixing by incompressible flows

Incompressible flows can be effective mixers by appropriately advecting a passive tracer to produce small filamentation length scales. In addition, diffusion is generally perceived as beneficial to mixing due to its ability to homogenise a passive tracer. However we provided numerical evidence that, in the case where advection and diffusion are both actively present, diffusion produces nearly neutral or even negative effects by limiting the mixing effectiveness of incompressible optimal flows. This limitation appears to be due to the presence of a limiting length scale given by a generalised Batchelor length. This length scale limitation in turn affects long-term mixing rates. More specifically, we consider local-in-time flow optimisation under energy and enstrophy flow constraints with the objective of maximising mixing rate performance. We observe that, for enstrophy-bounded optimal flows, the strength of diffusion has no impact on the long-term mixing rate performance. For energy-constrained optimal flows, however an increase in the strength of diffusion decreases the mixing rate. We provide analytical lower bounds on mixing rates and length scales achievable under related constraints (point-wise bounded speed and rate-of-strain) by extending the work of Z. Lin et al. (Journal of Fluid Mech., 2011) and C.-C. Poon (Comm. in Partial Differential Equations, 1996).

physics.flu-dyn

Optimal bounds and extremal trajectories for time averages in nonlinear dynamical systems

For any quantity of interest in a system governed by ordinary differential equations, it is natural to seek the largest (or smallest) long-time average among solution trajectories, as well as the extremal trajectories themselves. Upper bounds on time averages can be proved a priori using auxiliary functions, the optimal choice of which is a convex optimization problem. We prove that the problems of finding maximal trajectories and minimal auxiliary functions are strongly dual. Thus, auxiliary functions provide arbitrarily sharp upper bounds on time averages. Moreover, any nearly minimal auxiliary function provides phase space volumes in which all nearly maximal trajectories are guaranteed to lie. For polynomial equations, auxiliary functions can be constructed by semidefinite programming, which we illustrate using the Lorenz system.

math.DS

Resonant Activation of Population Extinctions

Understanding the mechanisms governing population extinctions is of key importance to many problems in ecology and evolution. Stochastic factors are known to play a central role in extinction, but the interactions between a population's demographic stochasticity and environmental noise remain poorly understood. Here, we model environmental forcing as a stochastic fluctuation between two states, one with a higher death rate than the other. We find that in general there exists a rate of fluctuations that minimizes the mean time to extinction, a phenomenon previously dubbed "resonant activation." We develop a heuristic description of the phenomenon, together with a criterion for the existence of resonant activation. Specifically the minimum extinction time arises as a result of the system approaching a scenario wherein the severity of rare events is balanced by the time interval between them. We discuss our findings within the context of more general forms of environmental noise, and suggest potential applications to evolutionary models.

q-bio.PE

Optimal wall-to-wall transport by incompressible flows

We consider wall-to-wall transport of a passive tracer by divergence-free velocity vector fields $\mathbf{u}$. Given an enstrophy budget $\langle |\nabla \mathbf{u}|^{2} \rangle \le Pe^{2}$ we construct steady two-dimensional flows that transport at rates $Nu(\mathbf{u}) \gtrsim Pe^{2/3}/(\log Pe)^{4/3}$ in the large enstrophy limit. Combined with the known upper bound $Nu(\mathbf{u})\lesssim Pe^{2/3}$ for any such enstrophy-constrained flow, we conclude that maximally transporting flows satisfy $Nu\sim Pe^{2/3}$ up to possible logarithmic corrections. Combined with known transport bounds in the context of Rayleigh-Bénard convection this establishes that while suitable flows approaching the "ultimate" heat transport scaling $Nu\sim Ra^{1/2}$ exist, they are not always realizable as buoyancy-driven flows. The result is obtained by exploiting a connection between the wall-to-wall optimal transport problem and a closely related class of singularly perturbed variational problems arising in the study of energy-driven pattern formation in materials science.

physics.flu-dyn