All Questions
Tagged with ds.dynamical-systems fa.functional-analysis
118 questions
0
votes
0
answers
42
views
Geometric alignment of adaptive models on evolving manifolds
Let $(M_t)_{t\in[0,T]}$ be a smooth family of compact $d$-dimensional Riemannian submanifolds of $\mathbb{R}^n$. Consider a function $f_t : \mathbb{R}^n \to \mathbb{R}$ evolving over time $t \in [0,T]$...
0
votes
0
answers
112
views
Vector field connecting two points
I'm now working on somehow an inverse problem of an ODE:
Suppose we have a ODE on $\mathbb{R}^{n}$: $\dot{x} = f(x)$, denote the solution to the ODE starting at $a$ as $x_{f,a}$(t).
Now there is a ...
- 1
2
votes
0
answers
126
views
Identification of Maharam extension
All definitions used in this post are from Björklund, Kosloff, and Vaes - Ergodicity and type of nonsingular Bernoulli actions. This post is inspired by the beginning of Section 2.2 in the same paper, ...
- 307
4
votes
2
answers
256
views
Simple proof that exactness implies strong mixing
Let $f$ be a continuous map defined on a compact metric space $X$. Suppose that $f$ preserves the Borel probability measure $\mu$ and that, for every positive-measure set $A\subseteq X$, we have $$\...
- 63
3
votes
2
answers
429
views
Functional equations based on composition
I have asked this question here (*), but there are no answer.
Let $n \in \mathbb N^*$, $\{a_0,\ldots,a_n\} \subset \left] 0,+\infty\right]$. We suppose $Eq : \sum\limits_{k=0}^n a_k f^k(x)=0$ have no ...
- 4,074
0
votes
0
answers
48
views
A direct proof for non-zero limit points of weighted backward shifts
Fix a sequence $(w_1,w_2,\ldots)$ of positive reals such that the linear operator $T: \ell_2\to \ell_2$ given by
$$
T(x_1,x_2,x_3,....)=(w_2x_2,w_3x_3,\ldots) \text{ for all sequences in } \ell_2
$$
...
- 1,511
2
votes
1
answer
139
views
Can a chaotic trajectory solve an algebraic equation?
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$\dot{x}_j=f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a_{i_{1},\dots,i_{n}}^{j}x_{1}^{i_{1}}\dots x_{n}^{i_{n}} \quad \forall j=1,...,n$$
we ...
- 247
1
vote
0
answers
94
views
Convex combination of positive mean-ergodic operators
Let $T_1,T_2:L^1([0,1],\mathrm{d}x)\to L^1([0,1],\mathrm{d}x)$ be positive mean-ergodic operators such that:
For every $h:[0,1]\to \mathbb{R}_+$ we have that
$$\int_0^1 T_1 h(x)\mathrm{d}x = \int_0^1 ...
- 333
4
votes
1
answer
785
views
The definition of simple eigenvalue
This question was posted a long time ago on the mathexchange, but I didn't get any answers there, and despite having discussed it with some colleagues, I don't think I have a definitive answer.
I am ...
- 136
3
votes
1
answer
185
views
Is the weighted shift strong frequently hypercyclic?
One sided Shift
Let be $M$ separable metric space. Consider $X=M^{\mathbb{N}}$ the sequence space equipped with the product metric $d(x,y)=\sum_{i=1}^\infty |x_i-y_i|/2^i$ . Define the shift map $\...
- 757
0
votes
0
answers
146
views
Linear dynamics in a function space
I posted the same question to Math Stackexchange earlier without much luck, so I am posting here.
I am dealing with a time-dependent model, which can be expressed as a function. $f$ is dependent on ...
- 433
13
votes
1
answer
461
views
Does locally nilpotent imply nilpotent for continuous self-maps of intervals?
Let $f\in C([0,1],[0,1])$ be such that:
$$\forall x\in [0,1], \; \exists k\in \mathbb N, \; f^{\circ k}(x)=0.$$
Is it true that $f$ is nilpotent (i.e., that there is some $k$ such that $f^{\circ k}=0$)...
- 4,074
3
votes
0
answers
160
views
Ergodic diffeomorphisms of the circle
From the paper
Halmos, Paul R., In general a measure preserving transformation is mixing, Ann. Math. (2) 45, 786-792 (1944). ZBL0063.01889.
the following result is known: Let $(E,\Sigma, \mu)$ be a ...
- 101
0
votes
0
answers
118
views
A measure on the group of homeomorphisms of $\mathbb T^2$
Let us consider the group of measure-preserving homeomorphisms of $\mathbb T^2$ (with transformations identified if they agree almost
everywhere) called $G[\mathbb T^2, \mathcal L^2]$. We shall ...
- 101
1
vote
0
answers
177
views
Building random homeomorphisms of the torus $\mathbb T^2$
In https://arxiv.org/abs/0912.3423, a family of random homeomorphisms of the circle is constructed. Main Question: Can the construction be generalized to higher space dimensions, e.g. to $\mathbb T^2$?...
- 101
1
vote
0
answers
96
views
Building random homeomorphisms of the circle
Given a positive Borel measure without atoms $\tau$ on the circle $\mathbb T =\mathbb R /\mathbb Z =[0,1)$ , in https://arxiv.org/abs/0912.3423 a homeomorphism $h:[0,1)\to [0,1)$ is defined as
\...
- 101
3
votes
0
answers
115
views
Malliavin-Shavgulidze (type) measures on the group of measure-preserving invertible maps on $\mathbb T$?
The Malliavin-Shavgulidze measures on $\operatorname{Diff}^{1}(I)$ (with $I$ an interval of $\mathbb R$) are defined as the image $W_{\sigma} \circ f^{-1}$ of the Wiener measure $W_{\sigma}$ with ...
- 101
7
votes
1
answer
253
views
Are all quasi-regular points on Polish spaces generic points?
Let $X$ be a Polish space and $T\colon X\to X$ be a continuous map. We say that a point $x\in X$ is quasi-regular if for every bounded continous function $\varphi\colon X\to\mathbb{R}$ the sequence $...
- 1,658
3
votes
0
answers
257
views
Complex Hölder space
I already posted this question on math.stackexchange, but got no response and was suggested to post it here.
I came across a space in an ergodic theory paper, which I am calling here a (complex) ...
- 136
3
votes
1
answer
131
views
Questions about ratio set in a dynamical system
Given a dynamical system $(X, \Omega, \mu)$ ($\Omega$ the $\sigma$-algebra and $\mu$ a measure), we assume there is a group $G$ acting on the system in the sense that, for each group element $g$, $g$ ...
- 307
2
votes
0
answers
192
views
Almost periodicity and approximation in tracial von Neumann algebra
Let $N$ be a von Neumann algebra with a faithful normal tracial state $\tau$. For a countable group $G$, let $\sigma: G\rightarrow \text{Aut}(N)$ be a $G$- action on $N$ which preserves the tracial ...
- 73
0
votes
0
answers
80
views
Cyclicity of composition operators
Let $E=C([0,1]^m,\mathbb{R}^n)$ where $K=[0,1]^m$ where $E$ has the compact convergence topology. Recall that for a function $f:[0,1]^m\rightarrow [0,1]^m$ the associated composition operator $C_f$ ...
- 5,405
9
votes
1
answer
359
views
Relaxation of notion of positive definite function
A function $f:\mathbb{R}\to\mathbb{R}$ is called positive definite (in the semigroup sense) if for all $n\geq 1$ and $x_1,\ldots,x_n\in\mathbb{R}$ pairwise different the matrix $(f(x_i+x_j))_{i,j=1}^n$...
- 3,031
2
votes
2
answers
240
views
Measure of non-commutativity of two invertible functions
I need to estimate $|x - f^{-1}(g^{-1}(f(g(x))))|$ for various values of $x$ for two smooth invertible functions $f$ and $g$ on $\mathbb{R}$ (actually some other spaces, but $\mathbb{R}$ will do.) Are ...
- 21
3
votes
1
answer
193
views
Well-behaved trajectories
Call trajectory any continuous function $f: \mathbb{R}_{\geq 0} \to \mathbb{R}^n$ (here, $\mathbb{R}_{\geq 0}$ is interpreted as time).
A polyhedral partition of $\mathbb{R}^n$ is a finite set of ...
- 141
10
votes
2
answers
559
views
Can Birkhoff's ergodic theorem for integrable functions easily be deduced from Birkhoff's ergodic theorem for bounded functions?
It seems to me that a considerably simpler proof [see below] of Birkhoff's ergodic theorem can be obtained for bounded observables than for more general $L^1$ observables. Therefore, I feel like it ...
- 708
1
vote
0
answers
34
views
$L^p$-continuity for discrete linear causal systems
Let $p \in [1, +\infty)$, $(b_0(n)), \dots (b_m(n)), (a_1(n)), \dots, (a_m(n))$ suitable sequences of real numbers and consider the map $\phi: \ell^p \to \ell^p$, $x \mapsto y$ defined by:
\begin{...
- 41
1
vote
1
answer
238
views
The mean ergodic theorem for weakly mixing extension
I asked this question in https://math.stackexchange.com/q/4236870/528430, but did not get any help.
I got stuck with the following while going through the proof of Lemma 3.21 from the book 'Ergodic ...
- 73
1
vote
1
answer
176
views
Invariant distributions for iterated random variables (stochastic dynamical systems)
This is related to discrete dynamical systems, with the initial condition $X_1$ being a random variable with a non singular distribution. The system is driven by the iteration $X_{n+1} = g(X_n)$ for ...
- 3,098
7
votes
3
answers
521
views
Count of non-trivial ergodic measures of a topological dynamical system
Given a compact Hausdorff space $X$ and a continuous mapping $\varphi: X \to X$. We denote by $C(X)$ the space of continuous functions $f: X \to \mathbb{C}$. A probability measure $\mu$ on the Borel-$\...
- 467
3
votes
1
answer
361
views
Equivalent definitions of strongly proximal action
Consider the following fragment from the paper "C*-simplicity and the unique trace property for discrete groups" by Breuillard, Kalantar,
Kennedy and Ozawa:
I have two questions:
(1) What ...
- 175
2
votes
1
answer
104
views
Operators "building" linear independant sets
Let $E$ be a separable Banach space and let $T\in L(E,E)$.
Is there a condition on $T$ ensuring that:
$$
\mbox{$\{x_n\}_{n=1}^N\subseteq E$ is linearly independent} \Rightarrow
\{T(x_n)\}_{n=1}^N\cup \...
- 93
1
vote
0
answers
47
views
Hypercylic operators have very typical cyclic vectors
Let $W$ be the Wiener measure on $C_0(\mathbb{R})$ and let $T\in L(C_0(\mathbb{R}),C_0(\mathbb{R}))$ be a hypercylic operator; i.e. there exists some $f \in C_0(\mathbb{R})$ such that $\{T^n(f)\}_{n=1}...
- 5,405
11
votes
0
answers
344
views
Tauberian Theorem for 1-parameter groups of operators
The Wiener Tauberian Theorem gives condition on an $f\in L^1(\mathbb{R})$ such that the "induced 1-parameter family" $\{T_b(f)\}_{b\in \mathbb{R}}$ has a dense span in $L^1(\mathbb{R})$; ...
- 5,405
4
votes
0
answers
149
views
Cyclic vectors for the translation operator
Let $b\in \mathbb{R}\neq 0$, and consider the translation operators:
$$
\begin{align}
T_b:C(\mathbb{R}) & \rightarrow C(\mathbb{R})\\
f &\mapsto f(\cdot + b).
\end{align}
$$
*Are there known ...
- 5,405
5
votes
1
answer
425
views
Positiveness of the largest Lyapunov exponent
Let $\alpha\in \mathbb{R} / \mathbb{Q}$, let $A(x)$ be the $2$-by-$2$ matrix
$$
A(x)=\begin{pmatrix}
\dfrac{1}{{\lambda}^2}-2 \cos 2\pi x -1& 2\lambda \cos 2\pi x-\dfrac{1}{{\lambda}} \\
\dfrac{...
- 131
3
votes
0
answers
69
views
Non-closed trajectories in convex billiards
This is a weak version of this problem, written down in Lviv Scottish Book.
I start with necessary definitions.
Let $K=-K$ be a centrally symmetric compact convex body in the Euclidean space $\mathbb ...
- 41.9k
4
votes
0
answers
95
views
When the Jacobian of unstable measure converges
Let $T:X \to X$ be a hyperbolic map on the compact metric space $X$. Hyperbolicity means that $T$ has local stable and unstable sets with uniform exponential bounds, which satisfy a local product ...
- 1,043
-1
votes
1
answer
176
views
How do we approximate the pressure in the Boussinesq equations of hydrodynamics? [closed]
How do we approximate the pressure or the gradient of it in the Boussinesq equations of hydrodynamics ?
Is the pressure limited or can it be any amount?
- 11
1
vote
0
answers
77
views
Is there a term for a linear operator on an $L^p$ space that "locally respects boundedness"?
Let $X$ be a Polish space, and $\mu$ a locally finite measure. Take any $p \in \{0\} \cup [1,\infty)$. We will say that a linear operator $T \colon L^p(\mu) \to L^p(\mu)$ has property $(\ast)$ if ...
- 708
3
votes
0
answers
73
views
The diversity of Riemannian metrics adapted to a given foliation، A Krein Millman view point(2)
Inspired by this answer to the linked question we add a more bounded conditions to this post. This question is asked seperately because the previous one had a complete answer so we did not revise ...
- 356
5
votes
1
answer
204
views
The diversity of Riemannian metrics adapted to a given (1 dimensional) foliation, A Krein Millman view point
Let $X$ be a Kronecker vector field on the two dimensional torus $\mathbb{T}^2$. Let $K$ be the space of all 1- forms $\alpha$ of class $C^1$ on $\mathbb{T}^2$ which satisfy $d\alpha=0,\;\alpha(X)=1$...
- 356
1
vote
0
answers
45
views
Generalizations of the Wiener Tauberian Theorem to Musielak-Orlicz spaces
Musielak-Orlicz spaces provide a generalization of the usual $L^p$ spaces on $(\mathbb{R},\mathcal{B}(\mathbb{R}))$ to spaces of functions for which the Luxemburg norm
$$
\|f\|_M:=\inf\left\{\lambda &...
- 5,405
4
votes
2
answers
231
views
Inclusion of infinite intersection
Let $E$ be a Banach space, $T:E\rightarrow E$ a continuous bounded nonlinear mapping., and $\{x_n\}_{n\in\mathbb N}$ such that $$x_{n+1}=T(x_n),\:\forall n\in \mathbb{N}:=\{0,1,\cdots\}.$$
Let $$X_n=\...
- 291
3
votes
0
answers
127
views
Rigorous stability analysis of infinite dimensional ODEs : How to bound the tails?
My question is about linear stability analysis of dynamical systems obtained by discretizing linear(ized) partial differential equations. Consider,
$\dot{x}=Ax$, where $x$ is the infinite dimensional ...
- 2,281
1
vote
0
answers
115
views
Algorithm/iterative procedure for constructing hypercyclic vectors?
Let $B$ be a separable Banach space and let $L:B\rightarrow B$ be a hypercyclic operator; here I use the definition of hypercyclicity given implicitly by Birkhoff's Transitivity Theorem: continuous ...
- 5,405
0
votes
1
answer
734
views
Infinite composition of continuous functions
Let $f_n:\mathbb{R}\rightarrow \mathbb{R}$ be a sequence of functions and define $F_n:= f_n\circ \dots\circ f_1$. Then $F_n$ is continuous. However, the pointwise limit need not be (consider Mateusz'...
- 5,405
3
votes
1
answer
229
views
Existence of topologically transitive map on Euclidean space
I was reading this post and wondered. Does there exist a topologically transitive (TT) map $f:\mathbb{R}^n\to\mathbb{R}^n$ when $n\geq 2$? I know that post asks for compactness and topological ...
- 5,405
1
vote
0
answers
30
views
Hypercylic operators with sets of hypercyclic vectors almost covering the space
Let $\{T_i\}_{i \in I}$ be a family of hypercylic operators on a separable Banach space $X$. From the transitivity theorem, we know that $HC(T_i)$, the set of vectors $x \in X$ with $\{T_i^n(x):n \in ...
- 5,405
1
vote
3
answers
435
views
Operator norm of shift operator for finite measure spaces
Let $\nu$ be a finite Borel measure on $\mathbb{R}^n$ and define the shift operator $T_a$ on $L^p_{\nu}(\mathbb{R}^n)$ by $f\to f(x+a)$ for some fixed $a\in \mathbb{R}^n-\{0\}$. Suppose moreover that ...
- 5,405