-
Prevalence of Delay Embeddings with a Fixed Observation Function
Authors:
Raymundo Navarrete,
Divakar Viswanath
Abstract:
Let $x_{j+1}=φ(x_{j})$, $x_{j}\in\mathbb{R}^{d}$, be a dynamical system with $φ$ being a diffeomorphism. Although the state vector $x_{j}$ is often unobservable, the dynamics can be recovered from the delay vector $\left(o(x_{1}),\ldots,o(x_{D})\right)$, where $o$ is the scalar-valued observation function and $D$ is the embedding dimension. The delay map is an embedding for generic $o$, and more s…
▽ More
Let $x_{j+1}=φ(x_{j})$, $x_{j}\in\mathbb{R}^{d}$, be a dynamical system with $φ$ being a diffeomorphism. Although the state vector $x_{j}$ is often unobservable, the dynamics can be recovered from the delay vector $\left(o(x_{1}),\ldots,o(x_{D})\right)$, where $o$ is the scalar-valued observation function and $D$ is the embedding dimension. The delay map is an embedding for generic $o$, and more strongly, the embedding property is prevalent. We consider the situation where the observation function is fixed at $o=π_{1}$, with $π_{1}$ being the projection to the first coordinate. However, we allow polynomial perturbations to be applied directly to the diffeomorphism $φ$, thus mimicking the way dynamical systems are parametrized. We prove that the delay map is an embedding with probability one with respect to the perturbations. Our proof introduces a new technique for proving prevalence using the concept of Lebesgue points.
△ Less
Submitted 19 June, 2018;
originally announced June 2018.
-
Delay Embedding of Periodic Orbits Using a Fixed Observation Function
Authors:
Raymundo Navarrete,
Divakar Viswanath
Abstract:
Delay coordinates are a widely used technique to pass from observations of a dynamical system to a representation of the dynamical system as an embedding in Euclidean space. Current proofs show that delay coordinates of a given dynamical system result in embeddings generically over a space of observations (Sauer, Yorke, Casdagli, J. Stat. Phys., vol. 65 (1991), p. 579-616). Motivated by applicatio…
▽ More
Delay coordinates are a widely used technique to pass from observations of a dynamical system to a representation of the dynamical system as an embedding in Euclidean space. Current proofs show that delay coordinates of a given dynamical system result in embeddings generically over a space of observations (Sauer, Yorke, Casdagli, J. Stat. Phys., vol. 65 (1991), p. 579-616). Motivated by applications of the embedding theory, we consider the situation where the observation function is fixed. For example, the observation function may simply be some fixed coordinate of the state vector. For a fixed observation function (any nonzero linear combination of coordinates) and for the special case of periodic solutions, we prove that delay coordinates result in an embedding generically over the space of flows in the $C^{r}$ topology with $r\geq2$.
△ Less
Submitted 20 June, 2018; v1 submitted 29 September, 2017;
originally announced October 2017.
-
Prediction of Dynamical time Series Using Kernel Based Regression and Smooth Splines
Authors:
Raymundo Navarrete,
Divakar Viswanath
Abstract:
Prediction of dynamical time series with additive noise using support vector machines or kernel based regression has been proved to be consistent for certain classes of discrete dynamical systems. Consistency implies that these methods are effective at computing the expected value of a point at a future time given the present coordinates. However, the present coordinates themselves are noisy, and…
▽ More
Prediction of dynamical time series with additive noise using support vector machines or kernel based regression has been proved to be consistent for certain classes of discrete dynamical systems. Consistency implies that these methods are effective at computing the expected value of a point at a future time given the present coordinates. However, the present coordinates themselves are noisy, and therefore, these methods are not necessarily effective at removing noise. In this article, we consider denoising and prediction as separate problems for flows, as opposed to discrete time dynamical systems, and show that the use of smooth splines is more effective at removing noise. Combination of smooth splines and kernel based regression yields predictors that are more accurate on benchmarks typically by a factor of 2 or more. We prove that kernel based regression in combination with smooth splines converges to the exact predictor for time series extracted from any compact invariant set of any sufficiently smooth flow. As a consequence of convergence, one can find examples where the combination of kernel based regression with smooth splines is superior by even a factor of $100$. The predictors that we compute operate on delay coordinate data and not the full state vector, which is typically not observable.
△ Less
Submitted 20 June, 2018; v1 submitted 31 October, 2015;
originally announced November 2015.
-
Error Analysis of Finite Differences and the Mapping Parameter in Spectral Differentiation
Authors:
Divakar Viswanath
Abstract:
The Chebyshev points are commonly used for spectral differentiation in non-periodic domains. The rounding error in the Chebyshev approximation to the $n$-the derivative increases at a rate greater than $n^{2m}$ for the $m$-th derivative. The mapping technique of Kosloff and Tal-Ezer (\emph{J. Comp. Physics}, vol. 104 (1993), p. 457-469) ameliorates this increase in rounding error. We show that the…
▽ More
The Chebyshev points are commonly used for spectral differentiation in non-periodic domains. The rounding error in the Chebyshev approximation to the $n$-the derivative increases at a rate greater than $n^{2m}$ for the $m$-th derivative. The mapping technique of Kosloff and Tal-Ezer (\emph{J. Comp. Physics}, vol. 104 (1993), p. 457-469) ameliorates this increase in rounding error. We show that the argument used to justify the choice of the mapping parameter is substantially incomplete. We analyze rounding error as well as discretization error and give a more complete argument for the choice of the mapping parameter. If the discrete cosine transform is used to compute derivatives, we show that a different choice of the mapping parameter yields greater accuracy.
△ Less
Submitted 31 October, 2015;
originally announced November 2015.
-
Intermittency at Fine Scales and Complex Singularities of Turbulent Couette Flow
Authors:
Andre Souza,
Divakar Viswanath
Abstract:
Fine scales of turbulent velocity fields, beyond the inertial range and well into the dissipative range, are highly intermittent. It has been hypothesized that complex plane singularities are the principal mechanism behind fine scale intermittency. In this article, we view the velocity field of a turbulent flow as an analytic function of time. Although the function is only available for real value…
▽ More
Fine scales of turbulent velocity fields, beyond the inertial range and well into the dissipative range, are highly intermittent. It has been hypothesized that complex plane singularities are the principal mechanism behind fine scale intermittency. In this article, we view the velocity field of a turbulent flow as an analytic function of time. Although the function is only available for real values of time, we present a numerical technique to analytically continue the function to complex values of time, and with sufficient fidelity to locate and visualize the singularity closest to the real axis. Using this technique, we demonstrate a robust connection between temporal intermittency and the location of singularities in the complex plane.
△ Less
Submitted 31 October, 2015;
originally announced November 2015.
-
Accuracy and stability of inversion of power series
Authors:
Raymundo Navarrete,
Divakar Viswanath
Abstract:
This article considers the numerical inversion of the power series $p(x)=1+b_{1}x+b_{2}x^{2}+\cdots$ to compute the inverse series $q(x)$ satisfying $p(x)q(x)=1$. Numerical inversion is a special case of triangular back-substitution, which has been known for its beguiling numerical stability since the classic work of Wilkinson (1961). We prove the numerical stability of inversion of power series a…
▽ More
This article considers the numerical inversion of the power series $p(x)=1+b_{1}x+b_{2}x^{2}+\cdots$ to compute the inverse series $q(x)$ satisfying $p(x)q(x)=1$. Numerical inversion is a special case of triangular back-substitution, which has been known for its beguiling numerical stability since the classic work of Wilkinson (1961). We prove the numerical stability of inversion of power series and obtain bounds on numerical error. A range of examples show these bounds to be quite good. When $p(x)$ is a polynomial and $x=a$ is a root with $p(a)=0$, we show that root deflation via the simple division $p(x)/(x-a)$ can trigger instabilities relevant to polynomial root finding and computation of finite-difference weights. When $p(x)$ is a polynomial, the accuracy of the computed inverse $q(x)$ is connected to the pseudozeros of $p(x)$.
△ Less
Submitted 11 August, 2014;
originally announced August 2014.
-
Navier-Stokes solver using Green's functions II: spectral integration of channel flow and plane Couette flow
Authors:
Divakar Viswanath
Abstract:
The Kleiser-Schumann algorithm has been widely used for the direct numerical simulation of turbulence in rectangular geometries. At the heart of the algorithm is the solution of linear systems which are tridiagonal except for one row. This note shows how to solve the Kleiser-Schumann problem using perfectly triangular matrices. An advantage is the ability to use functions in the LAPACK library. Th…
▽ More
The Kleiser-Schumann algorithm has been widely used for the direct numerical simulation of turbulence in rectangular geometries. At the heart of the algorithm is the solution of linear systems which are tridiagonal except for one row. This note shows how to solve the Kleiser-Schumann problem using perfectly triangular matrices. An advantage is the ability to use functions in the LAPACK library. The method is used to simulate turbulence in channel flow at $Re=80,000$ (and $Re_τ=2400$) using $10^{9}$ grid points. An assessment of the length of time necessary to eliminate transient effects in the initial state is included.
△ Less
Submitted 8 November, 2015; v1 submitted 14 July, 2014;
originally announced July 2014.
-
Spectral integration of linear boundary value problems
Authors:
Divakar Viswanath
Abstract:
Spectral integration was deployed by Orszag and co-workers (1977, 1980, 1981) to obtain stable and efficient solvers for the incompressible Navier-Stokes equation in rectangular geometries. Two methods in current use for channel flow and plane Couette flow, namely, Kleiser-Schumann (1980) and Kim-Moin-Moser (1977), rely on the same technique. In its current form, the technique of spectral integrat…
▽ More
Spectral integration was deployed by Orszag and co-workers (1977, 1980, 1981) to obtain stable and efficient solvers for the incompressible Navier-Stokes equation in rectangular geometries. Two methods in current use for channel flow and plane Couette flow, namely, Kleiser-Schumann (1980) and Kim-Moin-Moser (1977), rely on the same technique. In its current form, the technique of spectral integration, as applied to the Navier-Stokes equations, is dominated by rounding errors at higher Reynolds numbers which would otherwise be within reach. In this article, we derive a number of versions of spectral integration and explicate their properties, with a view to extending the Kleiser-Schumann and Kim-Moin-Moser algorithms to higher Reynolds numbers. More specifically, we show how spectral integration matrices that are banded, but bordered by dense rows, can be reduced to purely banded matrices. Key properties, such as the accuracy of spectral integration even when Green's functions are not resolved by the underlying grid, the accuracy of spectral integration in spite of ill-conditioning of underlying linear systems, and the accuracy of derivatives, are thoroughly explained.
△ Less
Submitted 16 August, 2014; v1 submitted 11 May, 2012;
originally announced May 2012.
-
Navier-Stokes solver using Green's functions I: channel flow and plane Couette flow
Authors:
Divakar Viswanath,
Ian Tobasco
Abstract:
Numerical solvers of the incompressible Navier-Stokes equations have reproduced turbulence phenomena such as the law of the wall, the dependence of turbulence intensities on the Reynolds number, and experimentally observed properties of turbulence energy production. In this article, we begin a sequence of investigations whose eventual aim is to derive and implement numerical solvers that can reach…
▽ More
Numerical solvers of the incompressible Navier-Stokes equations have reproduced turbulence phenomena such as the law of the wall, the dependence of turbulence intensities on the Reynolds number, and experimentally observed properties of turbulence energy production. In this article, we begin a sequence of investigations whose eventual aim is to derive and implement numerical solvers that can reach higher Reynolds numbers than is currently possible. Every time step of a Navier-Stokes solver in effect solves a linear boundary value problem. The use of Green's functions leads to numerical solvers which are highly accurate in resolving the boundary layer, which is a source of delicate but exceedingly important physical effects at high Reynolds numbers. The use of Green's functions brings with it a need for careful quadrature rules and a reconsideration of time steppers. We derive and implement Green's function based solvers for the channel flow and plane Couette flow geometries. The solvers are validated by reproducing turbulent signals which are in good qualitative and quantitative agreement with experiment.
△ Less
Submitted 27 August, 2014; v1 submitted 11 May, 2012;
originally announced May 2012.
-
Barycentric Hermite Interpolation
Authors:
Burhan Sadiq,
Divakar Viswanath
Abstract:
Let $z_{1},\ldots,z_{K}$ be distinct grid points. If $f_{k,0}$ is the prescribed value of a function at the grid point $z_{k}$, and $f_{k,r}$ the prescribed value of the $r$\foreignlanguage{american}{-th} derivative, for $1\leq r\leq n_{k}-1$, the Hermite interpolant is the unique polynomial of degree $N-1$ ($N=n_{1}+\cdots+n_{K}$) which interpolates the prescribed function values and function der…
▽ More
Let $z_{1},\ldots,z_{K}$ be distinct grid points. If $f_{k,0}$ is the prescribed value of a function at the grid point $z_{k}$, and $f_{k,r}$ the prescribed value of the $r$\foreignlanguage{american}{-th} derivative, for $1\leq r\leq n_{k}-1$, the Hermite interpolant is the unique polynomial of degree $N-1$ ($N=n_{1}+\cdots+n_{K}$) which interpolates the prescribed function values and function derivatives. We obtain another derivation of a method for Hermite interpolation recently proposed by Butcher et al. {[}\emph{Numerical Algorithms, vol. 56 (2011), p. 319-347}{]}. One advantage of our derivation is that it leads to an efficient method for updating the barycentric weights. If an additional derivative is prescribed at one of the interpolation points, we show how to update the barycentric coefficients using only $\mathcal{O}\left(N\right)$ operations. Even in the context of confluent Newton series, a comparably efficient and general method to update the coefficients appears not to be known. If the method is properly implemented, it computes the barycentric weights with fewer operations than other methods and has very good numerical stability even when derivatives of high order are involved. We give a partial explanation of its numerical stability.
△ Less
Submitted 27 August, 2014; v1 submitted 17 May, 2011;
originally announced May 2011.
-
Finite Difference Weights, Spectral Differentiation, and Superconvergence
Authors:
Burhan Sadiq,
Divakar Viswanath
Abstract:
Let $z_{1},z_{2},...,z_{N}$ be a sequence of distinct grid points. A finite difference formula approximates the $m$-th derivative $f^{(m)}(0)$ as $\sum w_{k}f(z_{k})$, with $w_{k}$ being the weights. We derive an algorithm for finding the weights $w_{k}$ which is an improvement of an algorithm of Fornberg (\emph{Mathematics of Computation}, vol. 51 (1988), p. 699-706). This algorithm uses fewer ar…
▽ More
Let $z_{1},z_{2},...,z_{N}$ be a sequence of distinct grid points. A finite difference formula approximates the $m$-th derivative $f^{(m)}(0)$ as $\sum w_{k}f(z_{k})$, with $w_{k}$ being the weights. We derive an algorithm for finding the weights $w_{k}$ which is an improvement of an algorithm of Fornberg (\emph{Mathematics of Computation}, vol. 51 (1988), p. 699-706). This algorithm uses fewer arithmetic operations than that of Fornberg by a factor of $4/(5m+5)$ while being equally accurate. The algorithm that we derive computes finite difference weights accurately even when $m$, the order of the derivative, is as high as 16. In addition, the algorithm generalizes easily to the efficient computation of spectral differentiation matrices.
The order of accuracy of the finite difference formula for $f^{(m)}(0)$ with grid points $hz_{k}$, $1\leq k\leq N$, is typically $\mathcal{O}(h^{N-m})$. However, the most commonly used finite difference formulas have an order of accuracy that is higher than the typical. For instance, the centered difference approximation $(f(h)-2f(0)+f(-h))/h^{2}$ to $f"(0)$ has an order of accuracy equal to 2 not 1. Even unsymmetric finite difference formulas can exhibit such superconvergence or boosted order of accuracy, as shown by the explicit algebraic condition that we derive. If the grid points are real, we prove a basic result stating that the order of accuracy can never be boosted by more than 1.
△ Less
Submitted 17 May, 2011; v1 submitted 15 February, 2011;
originally announced February 2011.
-
Metric Entropy and the Optimal Prediction of Chaotic Signals
Authors:
Divakar Viswanath,
Xuan Liang,
Kirill Serkh
Abstract:
Suppose we are given a time series or a signal $x(t)$ for $0\leq t\leq T$. We consider the problem of predicting the signal in the interval $T<t\leq T+t_{f}$ from a knowledge of its history and nothing more. We ask the following question: what is the largest value of $t_{f}$ for which a prediction can be made? We show that the answer to this question is contained in a fundamental result of informa…
▽ More
Suppose we are given a time series or a signal $x(t)$ for $0\leq t\leq T$. We consider the problem of predicting the signal in the interval $T<t\leq T+t_{f}$ from a knowledge of its history and nothing more. We ask the following question: what is the largest value of $t_{f}$ for which a prediction can be made? We show that the answer to this question is contained in a fundamental result of information theory due to Wyner, Ziv, Ornstein, and Weiss. In particular, for the class of chaotic signals, the upper bound is $t_{f}\leq\log_{2}T/H$ in the limit $T\rightarrow\infty$, with $H$ being entropy in a sense that is explained in the text.
If $\bigl|x(T-s)-x(t^{\ast}-s)\bigr|$ is small for $0\leq s\leqτ$, where $τ$ is of the order of a characteristic time scale, the pattern of events leading up to $t=T$ is similar to the pattern of events leading up to $t=t^{\ast}$. It is reasonable to expect $x(t^{\ast}+t_{f})$ to be a good predictor of $x(T+t_{f}).$ All existing methods for prediction use this idea in some way or the other. Unfortunately, this intuitively reasonable idea is fundamentally deficient and all existing methods fall well short of the Wyner-Ziv entropy bound on $t_{f}$. An optimal predictor should decompose the distance between the pattern of events leading up to $t=T$ and the pattern leading up to $t=t^{\ast}$ into stable and unstable components. A good match should have suitably small unstable components but will in general allow stable components which are as large as the tolerance for correct prediction. For the special case of hyperbolic toral automorphisms, we derive an optimal predictor using Pade approximation.
△ Less
Submitted 27 August, 2014; v1 submitted 15 February, 2011;
originally announced February 2011.
-
Complex Singularities and the Lorenz Attractor
Authors:
Divakar Viswanath,
Sonmez Sahutoglu
Abstract:
The Lorenz attractor is one of the best known examples of applied mathematics. However, much of what is known about it is a result of numerical calculations and not of mathematical analysis. As a step toward mathematical analysis, we allow the time variable in the three dimensional Lorenz system to be complex, hoping that solutions that have resisted analysis on the real line will give up their…
▽ More
The Lorenz attractor is one of the best known examples of applied mathematics. However, much of what is known about it is a result of numerical calculations and not of mathematical analysis. As a step toward mathematical analysis, we allow the time variable in the three dimensional Lorenz system to be complex, hoping that solutions that have resisted analysis on the real line will give up their secrets in the complex plane. Knowledge of singularities being fundamental to any investigation in the complex plane, we build upon earlier work and give a complete and consistent formal development of complex singularities of the Lorenz system using {\it psi series}. The psi series contain two undetermined constants. In addition, the location of the singularity is undetermined as a consequence of the autonomous nature of the Lorenz system. We prove that the psi series converge, using a technique that is simpler and more powerful than that of Hille, thus implying a two parameter family of singular solutions of the Lorenz system. We pose three questions, answers to which may bring us closer to understanding the connection of complex singularities to Lorenz dynamics.
△ Less
Submitted 30 July, 2009; v1 submitted 30 January, 2009;
originally announced January 2009.
-
Exact and Asymptotic Conditions on Traveling Wave Solutions of the Navier-Stokes Equations
Authors:
Y. Charles Li,
Divakar Viswanath
Abstract:
We derive necessary conditions that traveling wave solutions of the Navier-Stokes equations must satisfy in the pipe, Couette, and channel flow geometries. Some conditions are exact and must hold for any traveling wave solution irrespective of the Reynolds number ($Re$). Other conditions are asymptotic in the limit $Re\to\infty$. The exact conditions are likely to be useful tools in the study of…
▽ More
We derive necessary conditions that traveling wave solutions of the Navier-Stokes equations must satisfy in the pipe, Couette, and channel flow geometries. Some conditions are exact and must hold for any traveling wave solution irrespective of the Reynolds number ($Re$). Other conditions are asymptotic in the limit $Re\to\infty$. The exact conditions are likely to be useful tools in the study of transitional structures. For the pipe flow geometry, we give computations up to $Re=100000$ showing the connection of our asymptotic conditions to critical layers that accompany vortex structures at high $Re$.
△ Less
Submitted 6 July, 2009; v1 submitted 3 November, 2008;
originally announced November 2008.
-
The critical layer in pipe flow at high Reynolds number
Authors:
D. Viswanath
Abstract:
We report the computation of a family of traveling wave solutions of pipe flow up to $Re=75000$. As in all lower-branch solutions, streaks and rolls feature prominently in these solutions. For large $Re$, these solutions develop a critical layer away from the wall. Although the solutions are linearly unstable, the two unstable eigenvalues approach 0 as $Re\to\infty$ at rates given by…
▽ More
We report the computation of a family of traveling wave solutions of pipe flow up to $Re=75000$. As in all lower-branch solutions, streaks and rolls feature prominently in these solutions. For large $Re$, these solutions develop a critical layer away from the wall. Although the solutions are linearly unstable, the two unstable eigenvalues approach 0 as $Re\to\infty$ at rates given by $Re^{-0.41}$ and $Re^{-0.87}$ -- surprisingly, the solutions become more stable as the flow becomes less viscous. The formation of the critical layer and other aspects of the $Re\to\infty$ limit could be universal to lower-branch solutions of shear flows. We give implementation details of the GMRES-hookstep and Arnoldi iterations used for computing these solutions and their spectra, while pointing out the new aspects of our method.
△ Less
Submitted 9 September, 2008;
originally announced September 2008.
-
Heteroclinic connections in plane Couette flow
Authors:
Jonathan Halcrow,
John F. Gibson,
Predrag Cvitanović,
Divakar Viswanath
Abstract:
Plane Couette flow transitions to turbulence for Re~325 even though the laminar solution with a linear profile is linearly stable for all Re (Reynolds number). One starting point for understanding this subcritical transition is the existence of invariant sets in the state space of the Navier Stokes equation, such as upper and lower branch equilibria and periodic and relative periodic solutions,…
▽ More
Plane Couette flow transitions to turbulence for Re~325 even though the laminar solution with a linear profile is linearly stable for all Re (Reynolds number). One starting point for understanding this subcritical transition is the existence of invariant sets in the state space of the Navier Stokes equation, such as upper and lower branch equilibria and periodic and relative periodic solutions, that are quite distinct from the laminar solution. This article reports several heteroclinic connections between such objects and briefly describes a numerical method for locating heteroclinic connections. Computing such connections is essential for understanding the global dynamics of spatially localized structures that occur in transitional plane Couette flow. We show that the nature of streaks and streamwise rolls can change significantly along a heteroclinic connection.
△ Less
Submitted 13 August, 2008;
originally announced August 2008.
-
Stable Manifolds and the Transition to Turbulence in Pipe Flow
Authors:
D. Viswanath,
P. Cvitanovic
Abstract:
Lower-branch traveling waves and equilibria computed in pipe flow and other shear flows appear intermediate between turbulent and laminar motions. We take a step towards connecting these lower-branch solutions to transition by deriving a numerical method for finding certain special disturbances of the laminar flow in a short pipe. These special disturbances cause the disturbed velocity field to…
▽ More
Lower-branch traveling waves and equilibria computed in pipe flow and other shear flows appear intermediate between turbulent and laminar motions. We take a step towards connecting these lower-branch solutions to transition by deriving a numerical method for finding certain special disturbances of the laminar flow in a short pipe. These special disturbances cause the disturbed velocity field to approach the lower-branch solution by evolving along its stable manifold. If the disturbance were slightly smaller, the flow would relaminarize, and if slightly larger, it would transition to a turbulent state.
△ Less
Submitted 24 December, 2008; v1 submitted 12 January, 2008;
originally announced January 2008.
-
The dynamics of transition to turbulence in plane Couette flow
Authors:
D. Viswanath
Abstract:
In plane Couette flow, the incompressible fluid between two plane parallel walls is driven by the motion of those walls. The laminar solution, in which the streamwise velocity varies linearly in the wall-normal direction, is known to be linearly stable at all Reynolds numbers ($Re$). Yet, in both experiments and computations, turbulence is observed for $Re \gtrsim 360$.
In this article, we sho…
▽ More
In plane Couette flow, the incompressible fluid between two plane parallel walls is driven by the motion of those walls. The laminar solution, in which the streamwise velocity varies linearly in the wall-normal direction, is known to be linearly stable at all Reynolds numbers ($Re$). Yet, in both experiments and computations, turbulence is observed for $Re \gtrsim 360$.
In this article, we show that for certain {\it threshold} perturbations of the laminar flow, the flow approaches either steady or traveling wave solutions. These solutions exhibit some aspects of turbulence but are not fully turbulent even at $Re=4000$. However, these solutions are linearly unstable and flows that evolve along their unstable directions become fully turbulent. The solution approached by a threshold perturbation could depend upon the nature of the perturbation. Surprisingly, the positive eigenvalue that corresponds to one family of solutions decreases in magnitude with increasing $Re$, with the rate of decrease given by $Re^α$ with $α\approx -0.46$.
△ Less
Submitted 8 November, 2007; v1 submitted 30 January, 2007;
originally announced January 2007.
-
Shuffling cards for blackjack, bridge, and other card games
Authors:
Mark Conger,
D. Viswanath
Abstract:
This paper is about the following question: How many riffle shuffles mix a deck of card for games such as blackjack and bridge? An object that comes up in answering this question is the descent polynomial associated with pairs of decks, where the decks are allowed to have repeated cards. We prove that the problem of computing the descent polynomial given a pair of decks is $#P$-complete. We also…
▽ More
This paper is about the following question: How many riffle shuffles mix a deck of card for games such as blackjack and bridge? An object that comes up in answering this question is the descent polynomial associated with pairs of decks, where the decks are allowed to have repeated cards. We prove that the problem of computing the descent polynomial given a pair of decks is $#P$-complete. We also prove that the coefficients of these polynomials can be approximated using the bell curve. However, as must be expected in view of the $#P$-completeness result, approximations using the bell curve are not good enough to answer our question. Some of our answers to the main question are supported by theorems, and others are based on experiments supported by heuristic arguments. In the introduction, we carefully discuss the validity of our answers.
△ Less
Submitted 1 June, 2006;
originally announced June 2006.
-
Recurrent motions within plane Couette turbulence
Authors:
D. Viswanath
Abstract:
The phenomenon of bursting, in which streaks in turbulent boundary layers oscillate and then eject low speed fluid away from the wall, has been studied experimentally, theoretically, and computationally for more than 50 years because of its importance to the three-dimensional structure of turbulent boundary layers. We produce five new three-dimensional solutions of turbulent plane
Couette flow…
▽ More
The phenomenon of bursting, in which streaks in turbulent boundary layers oscillate and then eject low speed fluid away from the wall, has been studied experimentally, theoretically, and computationally for more than 50 years because of its importance to the three-dimensional structure of turbulent boundary layers. We produce five new three-dimensional solutions of turbulent plane
Couette flow, one of which is periodic while four others are relative periodic. Each of these five solutions demonstrates the break-up and re-formation of near-wall coherent structures.
Four of our solutions are periodic but with drifts in the streamwise direction. More surprisingly, two of our solutions are periodic but with drifts in the spanwise direction, a possibility that does not seem to have been considered in the literature. We argue that a considerable part of the streakiness observed experimentally in the near-wall region could be due to spanwise drifts that accompany the break-up and re-formation of coherent structures. We also compute a new periodic solution of plane Couette flow that could be related to transition to turbulence.
△ Less
Submitted 29 January, 2007; v1 submitted 7 April, 2006;
originally announced April 2006.
-
Stable manifolds and homoclinic points near resonances in the restricted three-body problem
Authors:
D. Viswanath
Abstract:
The restricted three-body problem describes the motion of a massless particle under the influence of two primaries of masses $1-μ$ and $μ$ that circle each other with period equal to $2π$. For small $μ$, a resonant periodic motion of the massless particle in the rotating frame can be described by relatively prime integers $p$ and $q$, if its period around the heavier primary is approximately…
▽ More
The restricted three-body problem describes the motion of a massless particle under the influence of two primaries of masses $1-μ$ and $μ$ that circle each other with period equal to $2π$. For small $μ$, a resonant periodic motion of the massless particle in the rotating frame can be described by relatively prime integers $p$ and $q$, if its period around the heavier primary is approximately $2πp/q$, and by its approximate eccentricity $e$. We give a method for the formal development of the stable and unstable manifolds associated with these resonant motions. We prove the validity of this formal development and the existence of homoclinic points in the resonant region.
In the study of the Kirkwood gaps in the asteroid belt, the separatrices of the averaged equations of the restricted three-body problem are commonly used to derive analytical approximations to the boundaries of the resonances. We use the unaveraged equations to find values of asteroid eccentricity below which these approximations will not hold for the Kirkwood gaps with $q/p$ equal to 2/1, 7/3, 5/2, 3/1, and 4/1.
Another application is to the existence of asymmetric librations in the exterior resonances. We give values of asteroid eccentricity below which asymmetric librations will not exist for the 1/7, 1/6, 1/5, 1/4, 1/3, and 1/2 resonances for any $μ$ however small. But if the eccentricity exceeds these thresholds, asymmetric librations will exist for $μ$ small enough in the unaveraged restricted three-body problem.
△ Less
Submitted 14 August, 2005;
originally announced August 2005.
-
Linear stability analysis of resonant periodic motions in the restricted three-body problem
Authors:
D. Viswanath
Abstract:
The equations of the restricted three-body problem describe the motion of a massless particle under the influence of two primaries of masses $1-μ$ and $μ$, $0\leq μ\leq 1/2$, that circle each other with period equal to $2π$. When $μ=0$, the problem admits orbits for the massless particle that are ellipses of eccentricity $e$ with the primary of mass 1 located at one of the focii. If the period i…
▽ More
The equations of the restricted three-body problem describe the motion of a massless particle under the influence of two primaries of masses $1-μ$ and $μ$, $0\leq μ\leq 1/2$, that circle each other with period equal to $2π$. When $μ=0$, the problem admits orbits for the massless particle that are ellipses of eccentricity $e$ with the primary of mass 1 located at one of the focii. If the period is a rational multiple of $2π$, denoted $2πp/q$, some of these orbits perturb to periodic motions for $μ> 0$. For typical values of $e$ and $p/q$, two resonant periodic motions are obtained for $μ> 0$. We show that the characteristic multipliers of both these motions are given by expressions of the form $1\pm\sqrt{C(e,p,q)μ}+O(μ)$ in the limit $μ\to 0$. The coefficient $C(e,p,q)$ is analytic in $e$ at $e=0$ and $C(e,p,q)=O(e^{\abs{p-q}})$. The coefficients in front of $e^{\abs{p-q}}$, obtained when $C(e,p,q)$ is expanded in powers of $e$ for the two resonant periodic motions, sum to zero. Typically, if one of the two resonant periodic motions is of elliptic type the other is of hyperbolic type. We give similar results for retrograde periodic motions and discuss periodic motions that nearly collide with the primary of mass $1-μ$.
△ Less
Submitted 14 August, 2005;
originally announced August 2005.
-
Normal approximations for descents and inversions of permutations of multisets
Authors:
Mark Conger,
D. Viswanath
Abstract:
Normal approximations for descents and inversions of permutations of the set $\{1,2,...,n\}$ are well known. A number of sequences that occur in practice, such as the human genome and other genomes, contain many repeated elements. Motivated by such examples, we consider the number of inversions of a permutation $π(1), π(2),...,π(n)$ of a multiset with $n$ elements, which is the number of pairs…
▽ More
Normal approximations for descents and inversions of permutations of the set $\{1,2,...,n\}$ are well known. A number of sequences that occur in practice, such as the human genome and other genomes, contain many repeated elements. Motivated by such examples, we consider the number of inversions of a permutation $π(1), π(2),...,π(n)$ of a multiset with $n$ elements, which is the number of pairs $(i,j)$ with $1\leq i < j \leq n$ and $π(i)>π(j)$. The number of descents is the number of $i$ in the range $1\leq i < n$ such that $π(i) > π(i+1)$. We prove that, appropriately normalized, the distribution of both inversions and descents of a random permutation of the multiset approaches the normal distribution as $n\to\infty$, provided that the permutation is equally likely to be any possible permutation of the multiset and no element occurs more than $αn$ times in the multiset for a fixed $α$ with $0<α< 1$. Both normal approximation theorems are proved using the size biased version of Stein's method of auxiliary randomization and are accompanied by error bounds.
△ Less
Submitted 29 September, 2006; v1 submitted 14 August, 2005;
originally announced August 2005.
-
Riffle shuffles of decks with repeated cards
Authors:
Mark Conger,
D. Viswanath
Abstract:
By a well-known result of Bayer and Diaconis, the maximum entropy model of the common riffle shuffle implies that the number of riffle shuffles necessary to mix a standard deck of 52 cards is either 7 or 11--with the former number applying when the metric used to define mixing is the total variation distance and the latter when it is the separation distance. This and other related results assume…
▽ More
By a well-known result of Bayer and Diaconis, the maximum entropy model of the common riffle shuffle implies that the number of riffle shuffles necessary to mix a standard deck of 52 cards is either 7 or 11--with the former number applying when the metric used to define mixing is the total variation distance and the latter when it is the separation distance. This and other related results assume all 52 cards in the deck to be distinct and require all $52!$ permutations of the deck to be almost equally likely for the deck to be considered well mixed. In many instances, not all cards in the deck are distinct and only the sets of cards dealt out to players, and not the order in which they are dealt out to each player, needs to be random. We derive transition probabilities under riffle shuffles between decks with repeated cards to cover some instances of the type just described. We focus on decks with cards all of which are labeled either 1 or 2 and describe the consequences of having a symmetric starting deck of the form $1,...,1,2,...,2$ or $1,2,...,1,2$. Finally, we consider mixing times for common card games.
△ Less
Submitted 25 May, 2006; v1 submitted 12 March, 2005;
originally announced March 2005.
-
Convergence of numerical ODE solvers and Lyapunov's theory of stability
Authors:
Divakar Viswanath
Abstract:
For the ordinary differential equation (ODE) $\dot{x}(t) = f(t,x)$, $x(0) = x_0$, $t\geq 0$, $x\in R^d$, assume $f$ to be at least continuous in $t$ and locally Lipshitz in $x$, and if necessary, several times continuously differentiable in $t$ and $x$. We associate a conditioning function $E(t)$ with each solution $x(t)$ which captures the accumulation of global error in a numerical approximati…
▽ More
For the ordinary differential equation (ODE) $\dot{x}(t) = f(t,x)$, $x(0) = x_0$, $t\geq 0$, $x\in R^d$, assume $f$ to be at least continuous in $t$ and locally Lipshitz in $x$, and if necessary, several times continuously differentiable in $t$ and $x$. We associate a conditioning function $E(t)$ with each solution $x(t)$ which captures the accumulation of global error in a numerical approximation in the following sense: if $\tilde{x}(t;h)$ is an approximation derived from a single step method of time step $h$ and order $r$ then $\norm{\tilde{x}(t;h) - x(t)} < K(E(t)+ε)h^r$ for $0\leq t\leq T$, any $ε> 0$, sufficiently small $h$, and a constant $K>0$.
Using techniques from the stability theory of differential equations, this paper gives conditions on $x(t)$ for $E(t)$ to be upper bounded linearly or by a constant for $t\geq 0$. More concretely, these techniques give constant or linear bounds on $E(t)$ when $x(t)$ is a trajectory of a dynamical system which falls into a stable, hyperbolic fixed point; or into a stable, hyperbolic cycle; or into a normally hyperbolic and contracting manifold with quasiperiodic flow on the manifold.
△ Less
Submitted 23 April, 1999;
originally announced April 1999.
