-
Internal heating profiles for which downward conduction is impossible
Authors:
Ali Arslan,
Giovanni Fantuzzi,
John Craske,
Andrew Wynn
Abstract:
We consider an internally heated fluid between parallel plates with fixed thermal fluxes. For a large class of heat sources that vary in the direction of gravity, we prove that $\langleδT \rangle_h \geq σR^{-1/3} - μ$, where $\langleδT \rangle_h$ is the average temperature difference between the bottom and top plates, $R$ is a `flux' Rayleigh number and the constants $σ,μ>0$ depend on the geometri…
▽ More
We consider an internally heated fluid between parallel plates with fixed thermal fluxes. For a large class of heat sources that vary in the direction of gravity, we prove that $\langleδT \rangle_h \geq σR^{-1/3} - μ$, where $\langleδT \rangle_h$ is the average temperature difference between the bottom and top plates, $R$ is a `flux' Rayleigh number and the constants $σ,μ>0$ depend on the geometric properties of the internal heating. This result implies that mean downward conduction (for which $\langleδT \rangle_h< 0$) is impossible for a range of Rayleigh numbers smaller than a critical value $R_0$. The bound demonstrates that $R_0$ depends on the heating distribution and can be made arbitrarily large by concentrating the heating near the bottom plate. However, for any given fixed heating profile of the class we consider, the corresponding value of $R_0$ is always finite. This points to a fundamental difference between internally heated convection and its limiting case of Rayleigh-Bénard convection with fixed flux boundary conditions, for which $\langleδT \rangle_h$ is known to be positive for all $R$.
△ Less
Submitted 8 June, 2024; v1 submitted 29 February, 2024;
originally announced February 2024.
-
Bounds on heat transfer by incompressible flows between balanced sources and sinks
Authors:
Binglin Song,
Giovanni Fantuzzi,
Ian Tobasco
Abstract:
Internally heated convection involves the transfer of heat by fluid motion between a distribution of sources and sinks. Focusing on the balanced case where the total heat added by the sources matches the heat taken away by the sinks, we obtain \emph{a priori} bounds on the minimum mean thermal dissipation $\langle |\nabla T|^2\rangle$ as a measure of the inefficiency of transport. In the advective…
▽ More
Internally heated convection involves the transfer of heat by fluid motion between a distribution of sources and sinks. Focusing on the balanced case where the total heat added by the sources matches the heat taken away by the sinks, we obtain \emph{a priori} bounds on the minimum mean thermal dissipation $\langle |\nabla T|^2\rangle$ as a measure of the inefficiency of transport. In the advective limit, our bounds scale with the inverse mean kinetic energy of the flow. The constant in this scaling law depends on the source--sink distribution, as we explain both in a pair of examples involving oscillatory or concentrated heating and cooling, and via a general asymptotic variational principle for optimizing transport. Key to our analysis is the solution of a pure advection equation, which we do to find examples of extreme heat transfer by cellular and `pinching' flows. When the flow obeys a momentum equation, our bound is re-expressed in terms of a flux-based Rayleigh number $Ra$ yielding $\langle |\nabla T|^2\rangle\geq CRa^{-α}$. The power $α$ is $0, 2/3$ or $1$ depending on the arrangement of the sources and sinks relative to gravity.
△ Less
Submitted 29 September, 2022; v1 submitted 8 August, 2022;
originally announced August 2022.
-
Rigorous scaling laws for internally heated convection at infinite Prandtl number
Authors:
Ali Arslan,
Giovanni Fantuzzi,
John Craske,
Andrew Wynn
Abstract:
New bounds are proven on the mean vertical convective heat transport, $\overline{\langle wT \rangle}$, for uniform internally heated (IH) convection in the limit of infinite Prandtl number. For fluid in a horizontally-periodic layer between isothermal boundaries, we show that $\overline{\langle wT \rangle} \leq \frac12 - c R^{-2}$, where $R$ is a nondimensional `flux' Rayleigh number quantifying t…
▽ More
New bounds are proven on the mean vertical convective heat transport, $\overline{\langle wT \rangle}$, for uniform internally heated (IH) convection in the limit of infinite Prandtl number. For fluid in a horizontally-periodic layer between isothermal boundaries, we show that $\overline{\langle wT \rangle} \leq \frac12 - c R^{-2}$, where $R$ is a nondimensional `flux' Rayleigh number quantifying the strength of internal heating and $c = 216$. Then, $\overline{\langle wT \rangle} = 0$ corresponds to vertical heat transport by conduction alone, while $\overline{\langle wT \rangle} > 0$ represents the enhancement of vertical heat transport upwards due to convective motion. If, instead, the lower boundary is a thermal insulator, then we obtain $\overline{\langle wT \rangle} \leq \frac12 - c R^{-4}$, with $c\approx 0.0107$. This result implies that the Nusselt number $Nu$, defined as the ratio of the total-to-conductive heat transport, satisfies $Nu \lesssim R^{4}$. Both bounds are obtained by combining the background method with a minimum principle for the fluid's temperature and with Hardy--Rellich inequalities to exploit the link between the vertical velocity and temperature. In both cases, power-law dependence on $R$ improves the previously best-known bounds, which, although valid at both infinite and finite Prandtl numbers, approach the uniform bound exponentially with $R$.
△ Less
Submitted 6 May, 2022;
originally announced May 2022.
-
Analytical bounds on the heat transport in internally heated convection
Authors:
Anuj Kumar,
Ali Arslan,
Giovanni Fantuzzi,
John Craske,
Andrew Wynn
Abstract:
We obtain an analytical bound on the mean vertical convective heat flux $\langle w T \rangle$ between two parallel boundaries driven by uniform internal heating. We consider two configurations, one with both boundaries held at the same constant temperature, and the other one with a top boundary held at constant temperature and a perfectly insulating bottom boundary. For the first configuration, Ar…
▽ More
We obtain an analytical bound on the mean vertical convective heat flux $\langle w T \rangle$ between two parallel boundaries driven by uniform internal heating. We consider two configurations, one with both boundaries held at the same constant temperature, and the other one with a top boundary held at constant temperature and a perfectly insulating bottom boundary. For the first configuration, Arslan et al. (J. Fluid Mech. 919:A15, 2021) recently provided numerical evidence that Rayleigh-number-dependent corrections to the only known rigorous bound $\langle w T \rangle \leq 1/2$ may be provable if the classical background method is augmented with a minimum principle stating that the fluid's temperature is no smaller than that of the top boundary. Here, we confirm this fact rigorously for both configurations by proving bounds on $\langle wT \rangle$ that approach $1/2$ exponentially from below as the Rayleigh number is increased. The key to obtaining these bounds are inner boundary layers in the background fields with a particular inverse-power scaling, which can be controlled in the spectral constraint using Hardy and Rellich inequalities. These allow for qualitative improvements in the analysis not available to standard constructions.
△ Less
Submitted 19 October, 2021;
originally announced October 2021.
-
The background method: Theory and computations
Authors:
Giovanni Fantuzzi,
Ali Arslan,
Andrew Wynn
Abstract:
The background method is a widely used technique to bound mean properties of turbulent flows rigorously. This work reviews recent advances in the theoretical formulation and numerical implementation of the method. First, we describe how the background method can be formulated systematically within a broader "auxiliary function" framework for bounding mean quantities, and explain how symmetries of…
▽ More
The background method is a widely used technique to bound mean properties of turbulent flows rigorously. This work reviews recent advances in the theoretical formulation and numerical implementation of the method. First, we describe how the background method can be formulated systematically within a broader "auxiliary function" framework for bounding mean quantities, and explain how symmetries of the flow and constraints such as maximum principles can be exploited. All ideas are presented in a general setting and are illustrated on Rayleigh-Bénard convection between stress-free isothermal plates. Second, we review a semidefinite programming approach and a timestepping approach to optimizing bounds computationally, revealing that they are related to each other through convex duality and low-rank matrix factorization. Open questions and promising directions for further numerical analysis of the background method are also outlined.
△ Less
Submitted 23 October, 2021; v1 submitted 23 July, 2021;
originally announced July 2021.
-
Bounds for internally heated convection with fixed boundary heat flux
Authors:
Ali Arslan,
Giovanni Fantuzzi,
John Craske,
Andrew Wynn
Abstract:
We prove a new rigorous bound for the mean convective heat transport $\langle w T \rangle$, where $w$ and $T$ are the nondimensional vertical velocity and temperature, in internally heated convection between an insulating lower boundary and an upper boundary with a fixed heat flux. The quantity $\langle wT \rangle$ is equal to half the ratio of convective to conductive vertical heat transport, and…
▽ More
We prove a new rigorous bound for the mean convective heat transport $\langle w T \rangle$, where $w$ and $T$ are the nondimensional vertical velocity and temperature, in internally heated convection between an insulating lower boundary and an upper boundary with a fixed heat flux. The quantity $\langle wT \rangle$ is equal to half the ratio of convective to conductive vertical heat transport, and also to $\frac12$ plus the mean temperature difference between the top and bottom boundaries. An analytical application of the background method based on the construction of a quadratic auxiliary function yields $\langle w T \rangle \leq \tfrac{1}{2}\big(\tfrac{1}{2}+ \tfrac{1}{\sqrt{3}} \big) - 1.6552\, R^{-\frac13}$ uniformly in the Prandtl number, where $R$ is the nondimensional control parameter measuring the strength of the internal heating. Numerical optimisation of the auxiliary function suggests that the asymptotic value of this bound and the $-1/3$ exponent are optimal within our bounding framework. This new result halves the best existing (uniform in $R$) bound (Goluskin 2016, Springer, Table 1.2) and its dependence on $R$ is consistent with previous conjectures and heuristic scaling arguments. Contrary to physical intuition, however, it does not rule out a mean heat transport larger than $\frac12$ at high $R$, which corresponds to the top boundary being hotter than the bottom one on average.
△ Less
Submitted 10 June, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Bounds on heat transport for convection driven by internal heating
Authors:
Ali Arslan,
Giovanni Fantuzzi,
John Craske,
Andrew Wynn
Abstract:
The mean vertical heat transport $\langle wT \rangle$ in convection between isothermal plates driven by uniform internal heating is investigated by means of rigorous bounds. These are obtained as a function of the Rayleigh number $R$ by constructing feasible solutions to a convex variational problem, derived using a formulation of the classical background method in terms of quadratic auxiliary fun…
▽ More
The mean vertical heat transport $\langle wT \rangle$ in convection between isothermal plates driven by uniform internal heating is investigated by means of rigorous bounds. These are obtained as a function of the Rayleigh number $R$ by constructing feasible solutions to a convex variational problem, derived using a formulation of the classical background method in terms of quadratic auxiliary functions. When the fluid's temperature relative to the boundaries is allowed to be positive or negative, numerical solution of the variational problem shows that best previous bound $\langle wT \rangle \leq 1/2$ can only be improved up to finite $R$. Indeed, we demonstrate analytically that $ \langle wT \rangle \leq 2^{-21/5} R^{1/5}$ and therefore prove that $\langle wT\rangle< 1/2$ for $R < 65\,536$. However, if the minimum principle for temperature is invoked, which asserts that internal temperature is at least as large as the temperature of the isothermal boundaries, then numerically optimised bounds are strictly smaller than $1/2$ until at least $R =3.4\times 10^{5}$. While the computational results suggest that the best bound on $\langle wT\rangle$ approaches $1/2$ asymptotically from below as $R\rightarrow \infty$, we prove that typical analytical constructions cannot be used to prove this conjecture.
△ Less
Submitted 22 April, 2021; v1 submitted 12 February, 2021;
originally announced February 2021.
-
Rigorous bounds on the heat transport of rotating convection with Ekman pumping
Authors:
B. Pachev,
J. P. Whitehead,
G. Fantuzzi,
I. Grooms
Abstract:
We establish rigorous upper bounds on the time-averaged heat transport for a model of rotating Rayleigh-Benard convection between no-slip boundaries at infinite Prandtl number and with Ekman pumping. The analysis is based on the asymptotically reduced equations derived for rotationally constrained dynamics with no-slip boundaries, and hence includes a lower order correction that accounts for the E…
▽ More
We establish rigorous upper bounds on the time-averaged heat transport for a model of rotating Rayleigh-Benard convection between no-slip boundaries at infinite Prandtl number and with Ekman pumping. The analysis is based on the asymptotically reduced equations derived for rotationally constrained dynamics with no-slip boundaries, and hence includes a lower order correction that accounts for the Ekman layer and corresponding Ekman pumping into the bulk. Using the auxiliary functional method we find that, to leading order, the temporally averaged heat transport is bounded above as a function of the Rayleigh and Ekman numbers Ra and Ek according to $Nu \leq 0.3704 Ra^2 Ek^2$. Dependent on the relative values of the thermal forcing represented by $Ra$ and the effects of rotation represented by $Ek$, this bound is both an improvement on earlier rigorous upper bounds, and provides a partial explanation of recent numerical and experimental results that were consistent yet surprising relative to the previously derived upper bound of $Nu \lesssim Ra^3 k^4$.
△ Less
Submitted 29 October, 2019;
originally announced October 2019.
-
New bounds on the vertical heat transport for Bénard-Marangoni convection at infinite Prandtl number
Authors:
Giovanni Fantuzzi,
Camilla Nobili,
Andrew Wynn
Abstract:
We prove a new rigorous upper bound on the vertical heat transport for Bénard-Marangoni convection of a two- or three-dimensional fluid layer with infinite Prandtl number. Precisely, for Marangoni number $Ma \gg 1$ the Nusselt number $Nu$ is bounded asymptotically by $Nu \lesssim Ma^{2/7}(\ln Ma)^{-1/7}$. Key to our proof are a background temperature field with a hyperbolic profile near the fluid'…
▽ More
We prove a new rigorous upper bound on the vertical heat transport for Bénard-Marangoni convection of a two- or three-dimensional fluid layer with infinite Prandtl number. Precisely, for Marangoni number $Ma \gg 1$ the Nusselt number $Nu$ is bounded asymptotically by $Nu \lesssim Ma^{2/7}(\ln Ma)^{-1/7}$. Key to our proof are a background temperature field with a hyperbolic profile near the fluid's surface, and new estimates for the coupling between temperature and vertical velocity.
△ Less
Submitted 3 December, 2019; v1 submitted 11 September, 2019;
originally announced September 2019.
-
Finding extremal periodic orbits with polynomial optimisation, with application to a nine-mode model of shear flow
Authors:
Mayur Lakshmi,
Giovanni Fantuzzi,
Jesús Fernández-Caballero,
Yongyun Hwang,
Sergei Chernyshenko
Abstract:
Tobasco et al. [Physics Letters A, 382:382-386, 2018; see https://doi.org/10.1016/j.physleta.2017.12.023] recently suggested that trajectories of ODE systems that optimize the infinite-time average of a certain observable can be localized using sublevel sets of a function that arise when bounding such averages using so-called auxiliary functions. In this paper we demonstrate that this idea is viab…
▽ More
Tobasco et al. [Physics Letters A, 382:382-386, 2018; see https://doi.org/10.1016/j.physleta.2017.12.023] recently suggested that trajectories of ODE systems that optimize the infinite-time average of a certain observable can be localized using sublevel sets of a function that arise when bounding such averages using so-called auxiliary functions. In this paper we demonstrate that this idea is viable and allows for the computation of extremal unstable periodic orbits (UPOs) for polynomial ODE systems. First, we prove that polynomial optimization is guaranteed to produce auxiliary functions that yield near-sharp bounds on time averages, which is required in order to localize the extremal orbit accurately. Second, we show that points inside the relevant sublevel sets can be computed efficiently through direct nonlinear optimization. Such points provide good initial conditions for UPO computations. As a proof of concept, we then combine these methods with a single-shooting Newton-Raphson algorithm to study extremal UPOs for a nine-dimensional model of sinusoidally forced shear flow. We discover three previously unknown families of UPOs, one of which simultaneously minimizes the mean energy dissipation rate and maximizes the mean perturbation energy relative to the laminar state for Reynolds numbers approximately between 81.24 and 125.
△ Less
Submitted 10 April, 2020; v1 submitted 10 June, 2019;
originally announced June 2019.
-
Bounds on mean energy in the Kuramoto-Sivashinsky equation computed using semidefinite programming
Authors:
David Goluskin,
Giovanni Fantuzzi
Abstract:
We present methods for bounding infinite-time averages in dynamical systems governed by nonlinear PDEs. The methods rely on auxiliary functionals, which are similar to Lyapunov functionals but satisfy different inequalities. The inequalities are enforced by requiring certain expressions to be sums of squares of polynomials, and the optimal choice of auxiliary functional is posed as a semidefinite…
▽ More
We present methods for bounding infinite-time averages in dynamical systems governed by nonlinear PDEs. The methods rely on auxiliary functionals, which are similar to Lyapunov functionals but satisfy different inequalities. The inequalities are enforced by requiring certain expressions to be sums of squares of polynomials, and the optimal choice of auxiliary functional is posed as a semidefinite program (SDP) that can be solved computationally. To formulate these SDPs we approximate the PDE by truncated systems of ODEs and proceed in one of two ways. The first approach is to compute bounds for the ODE systems, increasing the truncation order until bounds converge numerically. The second approach incorporates the ODE systems with analytical estimates on their deviation from the PDE, thereby using finite truncations to produce bounds for the full PDE. We apply both methods to the Kuramoto-Sivashinsky equation, where we compute upper bounds on the spatiotemporal average of energy by employing polynomial auxiliary functionals up to degree six. The first approach is used for most computations, but a subset of results are checked using the second approach, and the results agree to high precision. These bounds apply to all odd solutions of period $2πL$, where $L$ is varied. Sharp bounds are obtained for $L\le10$, and trends suggest that more expensive computations would yield sharp bounds at larger $L$ also. The bounds are known to be sharp (to within 0.1% numerical error) because they are saturated by the simplest nonzero steady states, which apparently have the largest mean energy among all odd solutions. Prior authors have conjectured that mean energy remains $O(1)$ for $L\gg1$ since no particular solutions with larger energy have been found. Our bounds constitute the first positive evidence for this conjecture, albeit up to finite $L$, and they offer some guidance for analytical proofs.
△ Less
Submitted 6 September, 2018; v1 submitted 22 February, 2018;
originally announced February 2018.
-
Bounds for Rayleigh-Bénard convection between free-slip boundaries with an imposed heat flux
Authors:
Giovanni Fantuzzi
Abstract:
We prove the first rigorous bound on the heat transfer for three-dimensional Rayleigh-Bénard convection of finite-Prandtl-number fluids between free-slip boundaries with an imposed heat flux. Using the auxiliary functional method with a quadratic functional, which is equivalent to the background method, we prove that the Nusselt number $Nu$ is bounded by $Nu \leq 0.5999 R^{1/3}$ uniformly in the P…
▽ More
We prove the first rigorous bound on the heat transfer for three-dimensional Rayleigh-Bénard convection of finite-Prandtl-number fluids between free-slip boundaries with an imposed heat flux. Using the auxiliary functional method with a quadratic functional, which is equivalent to the background method, we prove that the Nusselt number $Nu$ is bounded by $Nu \leq 0.5999 R^{1/3}$ uniformly in the Prandtl number, where $R$ is the Rayleigh number based on the imposed heat flux. In terms of the Rayleigh number based on the mean vertical temperature drop, $Ra$, we obtain $Nu \leq 0.4646 Ra^{1/2}$. The scaling with Rayleigh number is the same as that of bounds obtained with no-slip isothermal, free-slip isothermal, and no-slip fixed flux boundaries, and numerical optimization of the bound suggests that it cannot be improved within our bounding framework. Contrary to the two-dimensional case, therefore, the $Ra$-dependence of rigorous upper bounds on the heat transfer obtained with the background method for three-dimensional Rayleigh-Bénard convection is insensitive to both the thermal and the velocity boundary conditions.
△ Less
Submitted 11 December, 2017; v1 submitted 26 September, 2017;
originally announced September 2017.
-
Bounds on heat transfer for Bénard-Marangoni convection at infinite Prandtl number
Authors:
Giovanni Fantuzzi,
Anton Pershin,
Andrew Wynn
Abstract:
The vertical heat transfer in Bénard-Marangoni convection of a fluid layer with infinite Prandtl number is studied by means of upper bounds on the Nusselt number $Nu$ as a function of the Marangoni number $Ma$. Using the background method for the temperature field, it has recently been proven by Hagstrom & Doering that $ Nu\leq 0.838\,Ma^{2/7}$. In this work we extend previous background method an…
▽ More
The vertical heat transfer in Bénard-Marangoni convection of a fluid layer with infinite Prandtl number is studied by means of upper bounds on the Nusselt number $Nu$ as a function of the Marangoni number $Ma$. Using the background method for the temperature field, it has recently been proven by Hagstrom & Doering that $ Nu\leq 0.838\,Ma^{2/7}$. In this work we extend previous background method analysis to include balance parameters and derive a variational principle for the bound on $Nu$, expressed in terms of a scaled background field, that yields a better bound than Hagstrom & Doering's formulation at a given $Ma$. Using a piecewise-linear, monotonically decreasing profile we then show that $Nu \leq 0.803\,Ma^{2/7}$, lowering the previous prefactor by 4.2%. However, we also demonstrate that optimisation of the balance parameters does not affect the asymptotic scaling of the optimal bound achievable with Hagstrom & Doering's original formulation. We subsequently utilise convex optimisation to optimise the bound on $Nu$ over all admissible background fields, as well as over two smaller families of profiles constrained by monotonicity and convexity. The results show that $Nu \leq O(Ma^{2/7}(\ln Ma)^{-1/2})$ when the background field has a non-monotonic boundary layer near the surface, while a power-law bound with exponent 2/7 is optimal within the class of monotonic background fields. Further analysis of our upper-bounding principle reveals the role of non-monotonicity, and how it may be exploited in a rigorous mathematical argument.
△ Less
Submitted 24 October, 2017; v1 submitted 10 August, 2017;
originally announced August 2017.
-
Exact energy stability of Bénard-Marangoni convection at infinite Prandtl number
Authors:
Giovanni Fantuzzi,
Andrew Wynn
Abstract:
Using the energy method we investigate the stability of pure conduction in Pearson's model for Bénard-Marangoni convection in a layer of fluid at infinite Prandtl number. Upon extending the space of admissible perturbations to the conductive state, we find an exact solution to the energy stability variational problem for a range of thermal boundary conditions describing perfectly conducting, imper…
▽ More
Using the energy method we investigate the stability of pure conduction in Pearson's model for Bénard-Marangoni convection in a layer of fluid at infinite Prandtl number. Upon extending the space of admissible perturbations to the conductive state, we find an exact solution to the energy stability variational problem for a range of thermal boundary conditions describing perfectly conducting, imperfectly conducting, and insulating boundaries. Our analysis extends and improves previous results, and shows that with the energy method global stability can be proven up to the linear instability threshold only when the top and bottom boundaries of the fluid layer are insulating. Contrary to the well-known Rayleigh-Bénard convection setup, therefore, energy stability theory does not exclude the possibility of subcritical instabilities against finite-amplitude perturbations.
△ Less
Submitted 5 April, 2017; v1 submitted 9 February, 2017;
originally announced February 2017.
-
Optimal bounds with semidefinite programming: an application to stress driven shear flows
Authors:
G. Fantuzzi,
A. Wynn
Abstract:
We introduce an innovative numerical technique based on convex optimization to solve a range of infinite dimensional variational problems arising from the application of the background method to fluid flows. In contrast to most existing schemes, we do not consider the Euler--Lagrange equations for the minimizer. Instead, we use series expansions to formulate a finite dimensional semidefinite progr…
▽ More
We introduce an innovative numerical technique based on convex optimization to solve a range of infinite dimensional variational problems arising from the application of the background method to fluid flows. In contrast to most existing schemes, we do not consider the Euler--Lagrange equations for the minimizer. Instead, we use series expansions to formulate a finite dimensional semidefinite program (SDP) whose solution converges to that of the original variational problem. Our formulation accounts for the influence of all modes in the expansion, and the feasible set of the SDP corresponds to a subset of the feasible set of the original problem. Moreover, SDPs can be easily formulated when the fluid is subject to imposed boundary fluxes, which pose a challenge for the traditional methods. We apply this technique to compute rigorous and near-optimal upper bounds on the dissipation coefficient for flows driven by a surface stress. We improve previous analytical bounds by more than 10 times, and show that the bounds become independent of the domain aspect ratio in the limit of vanishing viscosity. We also confirm that the dissipation properties of stress driven flows are similar to those of flows subject to a body force localized in a narrow layer near the surface. Finally, we show that SDP relaxations are an efficient method to investigate the energy stability of laminar flows driven by a surface stress.
△ Less
Submitted 2 March, 2016; v1 submitted 17 December, 2015;
originally announced December 2015.
