Researcher profile

David Goluskin

David Goluskin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2025arXiv

Bounds on dissipation in three-dimensional planar shear flows: reduction to two-dimensional problems

Bounds on turbulent averages in shear flows can be derived from the Navier--Stokes equations by a mathematical approach called the background method. Bounds that are optimal within this method can be computed at each Reynolds number Re by numerically optimizing subject to a spectral constraint, which requires a quadratic integral to be nonnegative for all possible velocity fields. Past authors have eased computations by enforcing the spectral constraint only for streamwise-invariant (2.5D) velocity fields, assuming this gives the same result as enforcing it for three-dimensional (3D) fields. Here we compute optimal bounds over 2.5D fields and then verify, without doing computations over 3D fields, that the bounds indeed apply to 3D flows. One way is to directly check that an optimizer computed using 2.5D fields satisfies the spectral constraint for all 3D fields. A second way uses a criterion we derive that is based on a theorem of Busse (ARMA 47:28, 1972) for energy stability analysis of models with certain symmetry. The advantage of checking this criterion, as opposed to directly checking the 3D constraint, is lower computational cost and natural extrapolation of the criterion to large Re. We compute optimal upper bounds on friction coefficients for the wall-bounded Kolmogorov flow known as Waleffe flow, and for plane Couette flow. This requires lower bounds on dissipation in the first model and upper bounds in the second. For Waleffe flow, all bounds computed using 2.5D fields satisfy our criterion, so they hold for 3D flows. For Couette flow, where bounds have been previously computed using 2.5D fields by Plasting & Kerswell (JFM 477:363, 2003), our criterion holds only up to moderate Re, so at larger Re we directly verify the 3D spectral constraint. Over the Re range of our computations, this confirms the assumption by Plasting & Kerswell that their bounds hold for 3D flows.

preprint2024arXiv

Lifetimes of metastable windy states in two-dimensional Rayleigh-Bénard convection with stress-free boundaries

Two-dimensional horizontally periodic Rayleigh-Bénard convection between stress-free boundaries displays two distinct types of states, depending on the initial conditions. Roll states are composed of pairs of counter-rotating convection rolls. Windy states are dominated by strong horizontal wind (also called zonal flow) that is vertically sheared, precludes convection rolls, and suppresses heat transport. Windy states occur only when the Rayleigh number $Ra$ is sufficiently above the onset of convection. At intermediate $Ra$ values, windy states can be induced by suitable initial conditions, but they undergo a transition to roll states after finite lifetimes. At larger $Ra$ values, where windy states have been observed for the full duration of simulations, it is unknown whether they represent chaotic attractors or only metastable states that would eventually undergo a transition to roll states. We study this question using direct numerical simulations of a fluid with a Prandtl number of 10 in a layer whose horizontal period is 8 times its height. At each of seven $Ra$ values between $9\times10^6$ and $2.25\times10^7$ we have carried out 200 or more simulations, all from initial conditions leading to windy convection with finite lifetimes. The lifetime statistics at each $Ra$ indicate a memoryless process with survival probability decreasing exponentially in time. The mean lifetimes grow with $Ra$ approximately as $Ra^4$. This analysis provides no $Ra$ value at which windy convection becomes stable; it might remain metastable at larger $Ra$ with extremely long lifetimes.

preprint2022arXiv

Global stability of fluid flows despite transient growth of energy

Verifying nonlinear stability of a laminar fluid flow against all perturbations is a central challenge in fluid dynamics. Past results rely on monotonic decrease of a perturbation energy or a similar quadratic generalized energy. None show stability for the many flows that seem to be stable despite these energies growing transiently. Here a broadly applicable method to verify global stability of such flows is presented. It uses polynomial optimization computations to construct non-quadratic Lyapunov functions that decrease monotonically. The method is used to verify global stability of 2D plane Couette flow at Reynolds numbers above the energy stability threshold found by Orr in 1907. This is the first global stability result for any flow that surpasses the energy method.

preprint2022arXiv

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.

preprint2022arXiv

Transition between Boundary-Limited Scaling and Mixing-Length Scaling of Turbulent Transport in Internally Heated Convection

Heat transport in turbulent thermal convection increases with the thermal forcing, but in almost all studies the rate of this increase is slower than it would be if transport became independent of the molecular diffusivities -- the heat transport scaling is slower than the mixing-length (or `ultimate') scaling. In configurations driven by either thermal boundary conditions or internal heating, thermal boundary layers instead lead to a boundary-limited (or `classical') scaling. With net-zero internal heating and cooling in different regions, mixing-length scaling can occur because heat need not cross a boundary. We report numerical simulations in which heating and cooling are unequal, as in various natural systems, at a Prandtl number of unity. As heating and cooling rates are made closer, the scaling exponent of heat transport varies from its boundary-limited value to its mixing-length value.

preprint2021arXiv

A study of the double pendulum using polynomial optimization

In dynamical systems governed by differential equations, a guarantee that trajectories emanating from a given set of initial conditions do not enter another given set can be obtained by constructing a barrier function that satisfies certain inequalities on phase space. Often these inequalities amount to nonnegativity of polynomials and can be enforced using sum-of-squares conditions, in which case barrier functions can be constructed computationally using convex optimization over polynomials. To study how well such computations can characterize sets of initial conditions in a chaotic system, we use the undamped double pendulum as an example and ask which stationary initial positions do not lead to flipping of the pendulum within a chosen time window. Computations give semialgebraic sets that are close inner approximations to the fractal set of all such initial positions.

preprint2020arXiv

Bounding extrema over global attractors using polynomial optimisation

We describe a framework for bounding extreme values of quantities on global attractors of differential dynamical systems. A global attractor is the minimal set that attracts all bounded sets; it contains all forward-time limit points. Our approach uses (generalised) Lyapunov functions to find attracting sets, which must contain the global attractor, and the choice of Lyapunov function is optimised based on the quantity whose extreme value one aims to bound. We also present a non-global framework for bounding extrema over the minimal set that is attracting in a specified region of state space. If the dynamics are governed by ordinary differential equations, and the equations and quantities of interest are polynomial, then our methods can be implemented computationally using polynomial optimisation. In particular, we enforce nonnegativity of certain polynomial expressions by requiring them to be representable as sums of squares, leading to a convex optimisation problem that can be recast as a semidefinite program and solved computationally. This computer assistance lets one construct complicated polynomial Lyapunov functions. Computations are illustrated using three examples. The first is the chaotic Lorenz system, where we bound extreme values of various monomials of the coordinates over the global attractor. In the second example we bound extreme values in a nine-mode truncation of fluid dynamics which displays long-lived chaotic transients. The third example has two locally stable limit cycles, each with its own basin of attraction, and we apply our non-global framework to construct bounds for one basin that do not apply to the other. For each example we compute Lyapunov functions of polynomial degrees up to at least eight. In cases where we can judge the sharpness of our bounds, they are sharp to at least three digits when the polynomial degree is at least four or six.

preprint2018arXiv

Bounds on mean energy in the Kuramoto-Sivashinsky equation computed using semidefinite programming

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.