-
I'm a doctor, not a mathematician! Homeostasis as a proportional-integral control system
Authors:
Lennaert van Veen,
Jacob Morra,
Adam Palanica,
Yan Fossat
Abstract:
The distinction between "healthy" and "unhealthy" patients is commonly based on single, discrete values taken at an isolated point in time (e.g., blood pressure or core temperature). Perhaps a more robust and insightful diagnosis can be obtained by studying the functional interdependence of such indicators and the homeostasis that controls them. This requires quasi-continuous measurements and a pr…
▽ More
The distinction between "healthy" and "unhealthy" patients is commonly based on single, discrete values taken at an isolated point in time (e.g., blood pressure or core temperature). Perhaps a more robust and insightful diagnosis can be obtained by studying the functional interdependence of such indicators and the homeostasis that controls them. This requires quasi-continuous measurements and a procedure to map the data onto a parsimonious control model with a degree of universality. The current research illustrates this approach using glucose homeostasis as a target. Data were obtained from 41 healthy subjects wearing over-the-counter glucose monitors, and projected onto a simple proportional-integral (PI) controller, widely used in engineering applications. The indicators quantifying the control function are clustered for the great majority of subjects, while a few outliers exhibit less efficient homeostasis. Practical implications for healthcare and education are further discussed.
△ Less
Submitted 30 December, 2019;
originally announced December 2019.
-
Spontaneous periodic orbits in the Navier-Stokes flow
Authors:
Jan Bouwe van den Berg,
Maxime Breden,
Jean-Philippe Lessard,
Lennaert van Veen
Abstract:
In this paper, a general method to obtain constructive proofs of existence of periodic orbits in the forced autonomous Navier-Stokes equations on the three-torus is proposed. After introducing a zero finding problem posed on a Banach space of geometrically decaying Fourier coefficients, a Newton-Kantorovich theorem is applied to obtain the (computer-assisted) proofs of existence. The required anal…
▽ More
In this paper, a general method to obtain constructive proofs of existence of periodic orbits in the forced autonomous Navier-Stokes equations on the three-torus is proposed. After introducing a zero finding problem posed on a Banach space of geometrically decaying Fourier coefficients, a Newton-Kantorovich theorem is applied to obtain the (computer-assisted) proofs of existence. The required analytic estimates to verify the contractibility of the operator are presented in full generality and symmetries from the model are used to reduce the size of the problem to be solved. As applications, we present proofs of existence of spontaneous periodic orbits in the Navier-Stokes equations with Taylor-Green forcing.
△ Less
Submitted 1 February, 2019;
originally announced February 2019.
-
Time-periodic inertial range dynamics
Authors:
Lennaert van Veen,
Alberto Vela-Martin,
Genta Kawahara
Abstract:
We present an unstable periodic orbit in large eddy simulation of an incompressible fluid in a periodic box subject to a constant body force. The width of the inertial range of spatial scales, on which this simulation models high-Reynolds-number turbulence, is about three quarters of a decade, and a significant $-5/3$ scaling range is observed. We identify events of intense energy transfer across…
▽ More
We present an unstable periodic orbit in large eddy simulation of an incompressible fluid in a periodic box subject to a constant body force. The width of the inertial range of spatial scales, on which this simulation models high-Reynolds-number turbulence, is about three quarters of a decade, and a significant $-5/3$ scaling range is observed. We identify events of intense energy transfer across spatial scales and relate them to vortical dynamics.
△ Less
Submitted 23 September, 2018;
originally announced September 2018.
-
A brief history of simple invariant solutions in turbulence
Authors:
Lennaert van Veen
Abstract:
When studying fluid mechanics in terms of instability, bifurcation and invariant solutions one quickly finds out how little can be done by pen and paper. For flows on sufficiently simple domains and under sufficiently simple boundary conditions, one may be able to predict the parameter values at which the base flow becomes unstable and the basic properties of the secondary flow. On more complicate…
▽ More
When studying fluid mechanics in terms of instability, bifurcation and invariant solutions one quickly finds out how little can be done by pen and paper. For flows on sufficiently simple domains and under sufficiently simple boundary conditions, one may be able to predict the parameter values at which the base flow becomes unstable and the basic properties of the secondary flow. On more complicated domains and under more realistic boundary conditions, such questions can usually only be addressed by numerical means. Moreover, for a wide class of elementary parallel shear flows the base flow remains stable in the presence of sustained turbulent motion. In such flows, secondary solutions often appear with finite amplitude and completely unconnected to the base flow. Only using techniques from computational dynamical systems can such behaviour be explained. Many of these techniques, such as for the detection and classification of bifurcations and for the continuation in parameters of equilibria and time-periodic solutions, were developed in the late 1970s for dynamical systems with few degrees of freedom. The application to fluid dynamics or, to be more precise, to spatially discretized Navier-Stokes flow, is far from straightforward. In this historical review chapter, we follow the development of this field of research from the valiant naivety of the early 1980s to the open challenges of today.
△ Less
Submitted 1 April, 2020; v1 submitted 6 April, 2018;
originally announced April 2018.
-
Periodic motion representing isotropic turbulence
Authors:
Lennaert van Veen,
Shigeo Kida,
Genta Kawahara
Abstract:
Temporally periodic solutions are extracted numerically from forced box turbulence with high symmetry. Since they are unstable to small perturbations, they are not found by forward integration but can be captured by Newton-Raphson iterations. Several periodic flows of various periods are identified for the micro-scale Reynolds number $R_λ$ between $50$ and $67$. The statistical properties of these…
▽ More
Temporally periodic solutions are extracted numerically from forced box turbulence with high symmetry. Since they are unstable to small perturbations, they are not found by forward integration but can be captured by Newton-Raphson iterations. Several periodic flows of various periods are identified for the micro-scale Reynolds number $R_λ$ between $50$ and $67$. The statistical properties of these periodic flows are compared with those of turbulent flow. It is found that the one with the longest period, which is two to three times the large-eddy-turnover time of turbulence, exhibits the same behaviour quantitatively as turbulent flow. In particular, we compare the energy spectrum, the Reynolds number dependence of the energy-dissipation rate, the pattern of the energy-cascade process, and the magnitude of the largest Lyapunov exponent. This periodic motion consists of high-activity and low-activity periods, which turbulence approaches, more often around its low-activity part, at the rate of once over a few eddy-turnover times. With reference to this periodic motion the Kaplan-York dimension and the Kolmogorov-Sinai entropy of the turbulence with high symmetry are estimated at $R_λ=67$ to be $19.7$ and $0.992$ respectively. The significance of such periodic solutions, embedded in turbulence, for turbulence analysis is discussed.
△ Less
Submitted 29 March, 2018;
originally announced April 2018.
-
Periodic orbits in Large Eddy Simulation of Box Turbulence
Authors:
Lennaert van Veen,
Alberto Vela Martin,
Genta Kawahara,
Tatsuya Yasuda
Abstract:
We describe and compare two time-periodic flows embedded in Large Eddy Simulation (LES) of turbulence in a three-dimensional, periodic domain subject to constant external forcing. One of these flows models the regeneration of large-scale structures that was observed in this geometry by Yasuda et al. ({\sl Fluid Dyn. Res.} {\bf 46}, 061413, 2014), who used a smaller LES filter length and thus obtai…
▽ More
We describe and compare two time-periodic flows embedded in Large Eddy Simulation (LES) of turbulence in a three-dimensional, periodic domain subject to constant external forcing. One of these flows models the regeneration of large-scale structures that was observed in this geometry by Yasuda et al. ({\sl Fluid Dyn. Res.} {\bf 46}, 061413, 2014), who used a smaller LES filter length and thus obtained a greater separation of scales of coherent motion. We speculate on the feasibility of modelling the regenerative dynamics with time-periodic solutions in such a flow, which may require novel techniques to deal with the extreme ill-conditioning of the associated boundary value problems.
△ Less
Submitted 2 February, 2018;
originally announced February 2018.
-
Transitions in large eddy simulation of box turbulence
Authors:
Lennaert van Veen,
Genta Kawahara,
Tatsuya Yasuda
Abstract:
One promising decomposition of turbulent dynamics is that into building blocks such as equilibrium and periodic solutions and orbits connecting these. While the numerical approximation of such building blocks is feasible for flows in small domains and at low Reynolds numbers, computations in developed turbulence are currently out of reach because of the large number of degrees of freedom necessary…
▽ More
One promising decomposition of turbulent dynamics is that into building blocks such as equilibrium and periodic solutions and orbits connecting these. While the numerical approximation of such building blocks is feasible for flows in small domains and at low Reynolds numbers, computations in developed turbulence are currently out of reach because of the large number of degrees of freedom necessary to represent Navier-Stokes flow on all relevant spatial scales. We mitigate this problem by applying large eddy simulation (LES), which aims to model, rather than resolve, motion on scales below the filter length, which is fixed by a model parameter. By considering a periodic spatial domain, we avoid complications that arise in LES modelling in the presence of boundary layers. We consider the motion of an LES fluid subject to a constant body force of the Taylor-Green type as the separation between the forcing length scale and the filter length is increased. In particular, we discuss the transition from laminar to weakly turbulent motion, regulated by simple invariant solution, on a grid of $32^3$ points.
△ Less
Submitted 7 November, 2017;
originally announced November 2017.
-
Sub critical transition to turbulence in three-dimensional Kolmogorov flow
Authors:
Lennaert van Veen,
Susumu Goto
Abstract:
We study Kolmogorov flow on a three dimensional, periodic domain with aspect ratios fixed to unity. Using an energy method, we give a concise proof of the linear stability of the laminar flow profile. Since turbulent motion is observed for high enough Reynolds numbers, we expect the domain of attraction of the laminar flow to be bounded by the stable manifolds of simple invariant solutions. We sho…
▽ More
We study Kolmogorov flow on a three dimensional, periodic domain with aspect ratios fixed to unity. Using an energy method, we give a concise proof of the linear stability of the laminar flow profile. Since turbulent motion is observed for high enough Reynolds numbers, we expect the domain of attraction of the laminar flow to be bounded by the stable manifolds of simple invariant solutions. We show one such edge state to be an equilibrium with a spatial structure reminiscent of that found in plane Couette flow, with stream wise rolls on the largest spatial scales. When tracking the edge state, we find an upper and a lower branch solution that join in a saddle node bifurcation at finite Reynolds number.
△ Less
Submitted 8 December, 2015;
originally announced December 2015.
-
Periodic solutions to a mean-field model for electrocortical activity
Authors:
Lennaert van Veen,
Kevin Green
Abstract:
We consider a continuum model of electrical signals in the human cortex, which takes the form of a system of semilinear, hyperbolic partial differential equations for the inhibitory and excitatory membrane potentials and the synaptic inputs. The coupling of these components is represented by sigmoidal and quadratic nonlinearities. We consider these equations on a square domain with periodic bounda…
▽ More
We consider a continuum model of electrical signals in the human cortex, which takes the form of a system of semilinear, hyperbolic partial differential equations for the inhibitory and excitatory membrane potentials and the synaptic inputs. The coupling of these components is represented by sigmoidal and quadratic nonlinearities. We consider these equations on a square domain with periodic boundary conditions, in the vicinity of the primary transition from a stable equilibrium to time-periodic motion through an equivariant Hopf bifurcation. We compute part of a family of standing wave solutions, emanating from this point.
△ Less
Submitted 4 July, 2014;
originally announced July 2014.
-
Open-source tools for dynamical analysis of Liley's mean-field cortex model
Authors:
Kevin R. Green,
Lennaert van Veen
Abstract:
Mean-field models of the mammalian cortex treat this part of the brain as a two-dimensional excitable medium. The electrical potentials, generated by the excitatory and inhibitory neuron populations, are described by nonlinear, coupled, partial differential equations, that are known to generate complicated spatio-temporal behaviour. We focus on the model by Liley {\sl et al.} (Network: Comput. Neu…
▽ More
Mean-field models of the mammalian cortex treat this part of the brain as a two-dimensional excitable medium. The electrical potentials, generated by the excitatory and inhibitory neuron populations, are described by nonlinear, coupled, partial differential equations, that are known to generate complicated spatio-temporal behaviour. We focus on the model by Liley {\sl et al.} (Network: Comput. Neural Syst. (2002) 13, 67-113). Several reductions of this model have been studied in detail, but a direct analysis of its spatio-temporal dynamics has, to the best of our knowledge, never been attempted before. Here, we describe the implementation of implicit time-stepping of the model and the tangent linear model, and solving for equilibria and time-periodic solutions, using the open-source library PETSc. By using domain decomposition for parallelization, and iterative solving of linear problems, the code is capable of parsing some dynamics of a macroscopic slice of cortical tissue with a sub-millimetre resolution.
△ Less
Submitted 17 October, 2012;
originally announced October 2012.
-
The Significance of Simple Invariant Solutions in Turbulent Flows
Authors:
Genta Kawahara,
Markus Uhlmann,
Lennaert van Veen
Abstract:
Recent remarkable progress in computing power and numerical analysis is enabling us to fill a gap in the dynamical systems approach to turbulence. One of the significant advances in this respect has been the numerical discovery of simple invariant sets, such as nonlinear equilibria and periodic solutions, in well-resolved Navier--Stokes flows. This review describes some fundamental and practical a…
▽ More
Recent remarkable progress in computing power and numerical analysis is enabling us to fill a gap in the dynamical systems approach to turbulence. One of the significant advances in this respect has been the numerical discovery of simple invariant sets, such as nonlinear equilibria and periodic solutions, in well-resolved Navier--Stokes flows. This review describes some fundamental and practical aspects of dynamical systems theory for the investigation of turbulence, focusing on recently found invariant solutions and their significance for the dynamical and statistical characterization of low-Reynolds-number turbulent flows. It is shown that the near-wall regeneration cycle of coherent structures can be reproduced by such solutions. The typical similarity laws of turbulence, i.e. the Prandtl wall law and the Kolmogorov law for the viscous range, as well as the pattern and intensity of turbulence-driven secondary flow in a square duct can also be represented by these simple invariant solutions.
△ Less
Submitted 3 August, 2011;
originally announced August 2011.
-
A homoclinic tangle on the edge of shear turbulence
Authors:
Lennaert van Veen,
Genta Kawahara
Abstract:
Experiments and simulations lend mounting evidence for the edge state hypothesis on subcritical transition to turbulence, which asserts that simple states of fluid motion mediate between laminar and turbulent shear flow as their stable manifolds separate the two in state space. In this Letter we describe a flow homoclinic to a time-periodic edge state. Its existence explains turbulent bursting thr…
▽ More
Experiments and simulations lend mounting evidence for the edge state hypothesis on subcritical transition to turbulence, which asserts that simple states of fluid motion mediate between laminar and turbulent shear flow as their stable manifolds separate the two in state space. In this Letter we describe a flow homoclinic to a time-periodic edge state. Its existence explains turbulent bursting through the classical Smale-Birkhoff theorem. During a burst, vortical structures and the associated energy dissipation are highly localized near the wall, in contrast to the familiar regeneration cycle.
△ Less
Submitted 7 March, 2011;
originally announced March 2011.
-
The quasi-periodic doubling cascade in the transition to weak turbulence
Authors:
Lennaert van Veen
Abstract:
The quasi-periodic doubling cascade is shown to occur in the transition from regular to weakly turbulent behaviour in simulations of incompressible Navier-Stokes flow on a three-periodic domain. Special symmetries are imposed on the flow field in order to reduce the computational effort. Thus we can apply tools from dynamical systems theory such as continuation of periodic orbits and computation o…
▽ More
The quasi-periodic doubling cascade is shown to occur in the transition from regular to weakly turbulent behaviour in simulations of incompressible Navier-Stokes flow on a three-periodic domain. Special symmetries are imposed on the flow field in order to reduce the computational effort. Thus we can apply tools from dynamical systems theory such as continuation of periodic orbits and computation of Lyapunov exponents. We propose a model ODE for the quasi-period doubling cascade which, in a limit of a perturbation parameter to zero, avoids resonance related problems. The cascade we observe in the simulations is then compared to the perturbed case, in which resonances complicate the bifurcation scenario. In particular, we compare the frequency spectrum and the Lyapunov exponents. The perturbed model ODE is shown to be in good agreement with the simulations of weak turbulence. The scaling of the observed cascade is shown to resemble the unperturbed case, which is directly related to the well known doubling cascade of periodic orbits.
△ Less
Submitted 16 December, 2010;
originally announced December 2010.
-
Metabifurcation analysis of a mean field model of the cortex
Authors:
Federico Frascoli,
Lennaert van Veen,
Ingo Bojak,
David T J Liley
Abstract:
Mean field models (MFMs) of cortical tissue incorporate salient features of neural masses to model activity at the population level. One of the common aspects of MFM descriptions is the presence of a high dimensional parameter space capturing neurobiological attributes relevant to brain dynamics. We study the physiological parameter space of a MFM of electrocortical activity and discover robust co…
▽ More
Mean field models (MFMs) of cortical tissue incorporate salient features of neural masses to model activity at the population level. One of the common aspects of MFM descriptions is the presence of a high dimensional parameter space capturing neurobiological attributes relevant to brain dynamics. We study the physiological parameter space of a MFM of electrocortical activity and discover robust correlations between physiological attributes of the model cortex and its dynamical features. These correlations are revealed by the study of bifurcation plots, which show that the model responses to changes in inhibition belong to two families. After investigating and characterizing these, we discuss their essential differences in terms of four important aspects: power responses with respect to the modeled action of anesthetics, reaction to exogenous stimuli, distribution of model parameters and oscillatory repertoires when inhibition is enhanced. Furthermore, while the complexity of sustained periodic orbits differs significantly between families, we are able to show how metamorphoses between the families can be brought about by exogenous stimuli. We unveil links between measurable physiological attributes of the brain and dynamical patterns that are not accessible by linear methods. They emerge when the parameter space is partitioned according to bifurcation responses. This partitioning cannot be achieved by the investigation of only a small number of parameter sets, but is the result of an automated bifurcation analysis of a representative sample of 73,454 physiologically admissible sets. Our approach generalizes straightforwardly and is well suited to probing the dynamics of other models with large and complex parameter spaces.
△ Less
Submitted 24 August, 2010;
originally announced August 2010.
-
On matrix-free computation of 2D unstable manifolds
Authors:
Lennaert van Veen,
Genta Kawahara,
Matsumura Atsushi
Abstract:
Recently, a flexible and stable algorithm was introduced for the computation of 2D unstable manifolds of periodic solutions to systems of ordinary differential equations. The main idea of this approach is to represent orbits in this manifold as the solutions of an appropriate boundary value problem. The boundary value problem is under determined and a one parameter family of solutions can be found…
▽ More
Recently, a flexible and stable algorithm was introduced for the computation of 2D unstable manifolds of periodic solutions to systems of ordinary differential equations. The main idea of this approach is to represent orbits in this manifold as the solutions of an appropriate boundary value problem. The boundary value problem is under determined and a one parameter family of solutions can be found by means of arclength continuation. This family of orbits covers a piece of the manifold. The quality of this covering depends on the way the boundary value problem is discretised, as do the tractability and accuracy of the computation. In this paper, we describe an implementation of the orbit continuation algorithm which relies on multiple shooting and Newton-Krylov continuation. We show that the number of time integrations necessary for each continuation step scales only with the number of shooting intervals but not with the number of degrees of freedom of the dynamical system. The number of shooting intervals is chosen based on linear stability analysis to keep the conditioning of the boundary value problem in check. We demonstrate our algorithm with two test systems: a low-order model of shear flow and a well-resolved simulation of turbulent plane Couette flow.
△ Less
Submitted 23 March, 2010;
originally announced March 2010.
-
Baroclinic flow and the Lorenz-84 model
Authors:
Lennaert van Veen
Abstract:
The bifurcation diagram of a truncation to six degrees of freedom of the equations for quasi-geostrophic, baroclinic flow is investigated. Period doubling cascades and Shil'nikov bifurcations lead to chaos in this model. The low dimension of the chaotic attractor suggests the possibility to reduce the model to three degrees of freedom. In a physically comprehensible limit of the parameters this…
▽ More
The bifurcation diagram of a truncation to six degrees of freedom of the equations for quasi-geostrophic, baroclinic flow is investigated. Period doubling cascades and Shil'nikov bifurcations lead to chaos in this model. The low dimension of the chaotic attractor suggests the possibility to reduce the model to three degrees of freedom. In a physically comprehensible limit of the parameters this reduction is done explicitly. The bifurcation diagram of the reduced model in this limit is compared to the diagram of the six degrees of freedom model and agrees well. A numerical implementation of the graph transform is used to approximate the three dimensional invariant manifold away from the limit case. If the six dimensional model is reduced to a linearisation of the invariant manifold about the Hadley state, the Lorenz-84 model is found. Its parameters can then be calculated from the physical parameters of the quasi-geostrophic model. Bifurcation diagrams at physical and traditional parameter values are compared and routes to chaos in the Lorenz-84 model are described.
△ Less
Submitted 8 November, 2001;
originally announced November 2001.
-
The dynamics of a low-order coupled ocean-atmosphere model
Authors:
L. van Veen,
F. Verhulst,
T. Opsteegh
Abstract:
A system of five ordinary differential equations is studied which combines the Lorenz-84 model for the atmosphere and a box model for the ocean. The behaviour of this system is studied as a function of the coupling parameters. For most parameter values, the dynamics of the atmosphere model is dominant. For a range of parameter values, competing attractors exist. The Kaplan-Yorke dimension and th…
▽ More
A system of five ordinary differential equations is studied which combines the Lorenz-84 model for the atmosphere and a box model for the ocean. The behaviour of this system is studied as a function of the coupling parameters. For most parameter values, the dynamics of the atmosphere model is dominant. For a range of parameter values, competing attractors exist. The Kaplan-Yorke dimension and the correlation dimension of the chaotic attractor are numerically calculated and compared to the values found in the uncoupled Lorenz model. In the transition from periodic behaviour to chaos intermittency is observed. The intermittent behaviour occurs near a Neimark-Sacker bifurcation at which a periodic solution loses its stability. The length of the periodic intervals is governed by the time scale of the ocean component. Thus, in this regime the ocean model has a considerable influence on the dynamics of the coupled system.
△ Less
Submitted 16 December, 1998;
originally announced December 1998.
