-
One-dimensional parametric determining form for the two-dimensional Navier-Stokes equations
Authors:
Ciprian Foias,
Michael S. Jolly,
Daniel Lithio,
Edriss S. Titi
Abstract:
The evolution of a determining form for the 2D Navier-Stokes equations (NSE), which is an ODE on a space of trajectories is completely described. It is proved that at every stage of its evolution, the solution is a convex combination of the initial trajectory and the fixed steady state, with a dynamical convexity parameter $θ$, which will be called the characteristic determining parameter. That is…
▽ More
The evolution of a determining form for the 2D Navier-Stokes equations (NSE), which is an ODE on a space of trajectories is completely described. It is proved that at every stage of its evolution, the solution is a convex combination of the initial trajectory and the fixed steady state, with a dynamical convexity parameter $θ$, which will be called the characteristic determining parameter. That is, we show a remarkable separation of variables formula for the solution of the determining form. Moreover, for a given initial trajectory, the dynamics of the infinite-dimensional determining form are equivalent to those of the characteristic determining parameter $θ$ which is governed by a one-dimensional ODE. %for the parameter specifying the position on the line segment. This one-dimensional ODE is used to show that if the solution to the determining form converges to the fixed state it does so no faster than $\mathcal{O}(τ^{-1/2})$, otherwise it converges to a projection of some other trajectory in the global attractor of the NSE, but no faster than $\mathcal{O}(τ^{-1})$, as $τ\to \infty$, where $τ$ is the evolutionary variable in determining form. The one-dimensional ODE also exploited in computations which suggest that the one-sided convergence rate estimates are in fact achieved. The ODE is then modified to accelerate the convergence to an exponential rate. Remarkably, it is shown that the zeros of the scalar function that governs the dynamics of $θ$, which are called characteristic determining values, identify in a unique fashion the trajectories in the global attractor of the 2D NSE. Furthermore, the one-dimensional characteristic determining form enables us to find unanticipated geometric features of the global attractor, a subject of future research.
△ Less
Submitted 13 April, 2016; v1 submitted 6 April, 2016;
originally announced April 2016.
-
Beta Spaces: New Generalizations of Typically-Metric Properties
Authors:
Annie Carter,
Daniel Lithio,
Robert Niichel,
Tristan Tager
Abstract:
It is well-known that point-set topology (without additional structure) lacks the capacity to generalize the analytic concepts of completeness, boundedness, and other typically-metric properties. The ability of metric spaces to capture this information is tied to the fact that the topology is generated by open balls whose radii can be compared. In this paper, we construct spaces that generalize th…
▽ More
It is well-known that point-set topology (without additional structure) lacks the capacity to generalize the analytic concepts of completeness, boundedness, and other typically-metric properties. The ability of metric spaces to capture this information is tied to the fact that the topology is generated by open balls whose radii can be compared. In this paper, we construct spaces that generalize this property, called $β$-spaces, and show that they provide a framework for natural definitions of the above concepts. We show that $β$-spaces are strictly more general than uniform spaces, a common generalization of metric spaces. We then conclude by proving generalizations of several typically-metric theorems, culminating in a broader statement of the Contraction Mapping Theorem.
△ Less
Submitted 17 November, 2010;
originally announced November 2010.
-
Generalized Hyperspaces and Non-Metrizable Fractals
Authors:
Annie Carter,
Daniel Lithio,
Tristan Tager
Abstract:
Much of the structure in metric spaces that allows for the creation of fractals exists in more generalized non-metrizable spaces. In particular the same theorems regarding the behavior of compact sets can be proven in the more general framework of $β$-spaces. However in most $β$-spaces, a set being compact (and more generally being totally bounded) is so restrictive as to render all fractal exampl…
▽ More
Much of the structure in metric spaces that allows for the creation of fractals exists in more generalized non-metrizable spaces. In particular the same theorems regarding the behavior of compact sets can be proven in the more general framework of $β$-spaces. However in most $β$-spaces, a set being compact (and more generally being totally bounded) is so restrictive as to render all fractal examples completely uninteresting. In this paper we provide a generalization of compact sets, continuous functions, and all the related machinery necessary for fractals to be defined as the unique fixed set of an IFS. We conclude by discussing some interesting examples of non-metrizable fractals.
△ Less
Submitted 15 November, 2015; v1 submitted 17 November, 2010;
originally announced November 2010.
