Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
60 views

Behaviour of the solutions of parametrized multivariable non-linear (non polynomial) system of equations

The following problem arose out of a research problem. Let us consider the $n \times n$ matrix valued function $[x_{i,j}(p)]$ (of $p$), satisfying $$ \sum_j x_{i,j}(p) x_{k,j}(p)|x_{k,j}(p)|^{p}= \...
Arun 's user avatar
  • 745
5 votes
0 answers
156 views

What is the Hausdorff dimension of the set on which this exponential sum is bounded?

This is a direct follow up to For which rationals is this exponential sum bounded? Given $x \in [0, 1]$, we denote by $e(x)$ the complex number $e^{2 \pi i x}$. What is the Hausdorff dimension of the ...
Nate River's user avatar
  • 6,155
2 votes
2 answers
285 views

How should the "measure theoretic" Jacobians of a dynamical map be understood in Lai-Sang Young's "Recurrence Times and Rates of Mixing"

In Young's article: Recurrence Times and Rates of Mixing, she uses multiple times the notation $JF, JF^k, JF^R$ to mean the Jacobian of a dynamical map $F:\Delta\to\Delta$ w.r.t. a given reference ...
Epsilon Away's user avatar
7 votes
2 answers
607 views

If the average of a sequence converges, can I find a uniform bound that does not depend on where I start?

Let $\{a_k\}_{k\in \mathbb{Z}} \subset \mathbb{R}$ a real sequence and $a\in \mathbb{R}$ such that $$ \lim_{n\to +\infty} \frac{1}{n} \sum_{k=1}^n a_k = a = \lim_{n\to +\infty} \frac{1}{n+1} \sum_{k=0}...
Pac's's user avatar
  • 81
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 ...
Dattier's user avatar
  • 4,074
2 votes
0 answers
319 views

A (possible) generic spectral property in one dimensional dynamics

Context and Definitions Consider the interval $I=[0,1]$. We say that $T:I\to I$ satisfies the axiom A (I am following [1]) if: $T$ has a finite number of hyperbolic periodic attractors; and defining $...
Matheus Manzatto's user avatar
1 vote
0 answers
89 views

Pre-images of the critical point of $3.83 x(1-x)$

This question may be easy; however, I have been unable to locate any references regarding the specific scenario described below. Let $T:[0,1]\to [0,1]$ be the quadratic map $T(x) = 3.83 x (1-x)$. It ...
Matheus Manzatto's user avatar
1 vote
1 answer
191 views

Will this "tree" cover all rational numbers in a range?

Question I am making a tree using the following two functions: $$f(x)=\frac{x}{r},\quad g(x)=\frac{x+b}{r}$$ where $1<r<2$ and $0<b$ are rationals. Everything is a real number here. The ...
CWC's user avatar
  • 433
3 votes
1 answer
134 views

Analyticity of central stable manifolds

Let $X$ be a real analytic vector field defined on $\mathbb{R}^n$. Assume the origin $0 \in \mathbb{R}^n$ is a zero of $X$. Assume, furthermore, that we know that the center-stable manifold (in the ...
Paul's user avatar
  • 1,409
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$)...
Dattier's user avatar
  • 4,074
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 \...
user490373's user avatar
3 votes
1 answer
217 views

The energy of a semilinear ODE

I'm currently reading Caffarelli, Gidas, Spruck's paper "Asymptotic Symmetry and Local Behavior of Semilinear Elliptic Equations with Critical Sobolev Growth". For some background, we ...
Marc's user avatar
  • 457
2 votes
1 answer
113 views

A lemma in approximating sequences

Consider the circle $\mathbb{T}^1= \frac{\mathbb{R}}{\mathbb{Z}}$. We represent it as a union of disjoint subsegments $M_j=[t_j,t_{j+1})$, $j = 0, \cdots, n$, $t_0=t_n$ and define the map $S$ by the ...
Reza Yaghmaeian's user avatar
5 votes
1 answer
315 views

Is $\mathbb{Q}$ the orbit of a continuous function that is computable when restricted to $\mathbb{Q}$?

In the previous post What is the smallest set of real continuous functions generating all rational numbers by iteration? I asked for the smallest set of continuous real functions that could generate $\...
Ivan Meir's user avatar
  • 4,862
9 votes
1 answer
358 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$...
Hans's user avatar
  • 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 ...
Jps's user avatar
  • 21
1 vote
0 answers
67 views

Solution to recurrence relation from integro-differential dynamical system?

Consider the integro-differential equation \begin{equation} \kappa\ddot x+\dot x=2\int_0^t J_1(x_t-x_s)e^{-\epsilon(t-s)}ds.\tag{1} \end{equation} such that $\kappa,\epsilon\in\mathbb{R}$, $t\in\...
UNOwen's user avatar
  • 79
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{...
avril_14th's user avatar
13 votes
1 answer
3k views

Behavior of $n^\alpha \sin^{\circ\, n}(n^{-\alpha}x)$

I'll write it formally: Let $\sin^{\circ\, 1}(x) = \sin(x)$ and $\sin^{\circ n+1}(x) = \sin\bigl(\sin^{\circ n}(x)\bigr)$ for $n\in \Bbb N$ with $n>1$. What is the limit as $n \to \infty$? It's ...
0 votes
0 answers
58 views

The solutions of a system of differential equations

Let $P(x,y) = \frac{x}{y}^{\frac{x^2}{y-x}}$ for $x \neq y$ and using the proper limits $P(x,y)=e^{-x}$ for $x=y $, $P(x,y)=0$ for $x\neq0, y=0,$ and $P(x,y)=1$ for $x=0, y\neq0.$ Consider this system ...
moonlight's user avatar
6 votes
2 answers
437 views

Matrix-valued ordinary differential equation with symmetry

I am considering the following equation $$\begin{pmatrix} -\frac{d}{dx} + \lambda \sin(2\pi x) & \lambda - \lambda \cos(2\pi x) \\ -\lambda-\lambda \cos(2\pi x) & -\frac{d}{dx} - \lambda \sin(...
Kung Yao's user avatar
  • 192
1 vote
0 answers
117 views

Is a "global period" similar to a "local period"?

Let $v\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R}^n)$ $(n\geq 2)$ a vector field, such that the set $E=\{v=0\}$ is a manifold of dimension $n-2$. Assume that for every $x\in\mathbb{R}^n-E$, the ...
G. Panel's user avatar
  • 449
3 votes
0 answers
90 views

Real analytic recursion

Fix an analytic function $f:\mathbb{R}\to\mathbb{R}$. Assume $f(x)>x$ for all $x\in \mathbb{R}$. Is there an analytic function $g:\mathbb{R}\to\mathbb{R}$ such that $g(x+1)=f(g(x))$?
ghrx's user avatar
  • 141
10 votes
2 answers
488 views

A functional equation involving the inverse function

$\newcommand\ep\epsilon\newcommand\R{\mathbb R}$Let $P$ denote the set of all continuous probability density functions (pdf's) $p$ on $\R$ vanishing at $\pm\infty$. Let us say that a pdf $p\in P$ is ...
Iosif Pinelis's user avatar
0 votes
1 answer
82 views

Can the identity function be approximated by compositions of a "uniformly monotone-and-convex" set of functions?

Does there exist a set $F$ of monotone continuous functions $f \colon [0,1] \to [0,1]$ with the following properties? For each $f \in F$ there exists $x \in [0,1]$ such that $f(x)=1$. There exist $0&...
Julian Newman's user avatar
1 vote
0 answers
44 views

Sufficient conditions for the continuity of an improper integral concerning the finite-time stability of a dynamical system

Consider the initial value problem \begin{equation}\label{fainait ve} \dot{\boldsymbol{x}}(t) = \boldsymbol{f}(\boldsymbol{x}(t)), \;\; t \geq 0, \; \;\boldsymbol{f}(\boldsymbol{0}_n) = \boldsymbol{0}...
Johannes's user avatar
1 vote
1 answer
287 views

Regular singular point of non-linear ODE: $\dot{x}(t) + t^{-1}Ax(t) = Q(x(t))$

Consider a system of ordinary differential equations of the form $$ \dot{x}(t) + \frac{1}{t}Ax(t) = Q(x(t)) $$ where $x(t) \in \mathbb{C}^n$, $A \in \mathrm{Mat}_{n\times n}(\mathbb{C})$ is a constant ...
Simon Parker's user avatar
  • 1,383
3 votes
1 answer
358 views

Run-away functions

Let $f:\mathbb{R}\rightarrow\mathbb{R}$ be a continuous function. We say that f has the run-away property if for every compact subset $K\subseteq \mathbb{R}$ there is some positive integer N such ...
ABIM's user avatar
  • 5,405
2 votes
1 answer
236 views

Continuous-time extension of a discrete dynamical system

It is clear that one can obtain a discrete dynamical system from a continuous one, but is the converse possible if the system is "nice"? Define the discrete-time dynamical system on $\mathbb{R}^d$ by ...
ABIM's user avatar
  • 5,405
13 votes
3 answers
720 views

Supremum of $ a_n = a_{n-1}^3 - a_{n-2} $

Let $a_1=0$ and let $ - \ln(2) < a_2 < \ln(2) $ Define $$ a_n = a_{n-1}^3 - a_{n-2} $$ Then $$ \sup_{n>2} a_n = a_2 $$ And $$ \inf_{n>2} a_n = - a_2 $$ How to prove that ?
mick's user avatar
  • 763
0 votes
0 answers
146 views

Derivatives in unusual support domains

Originally posted on Math.StackExchange, here, but I was advised to post it on MathOverflow as it is a research question. Now two final, great answers have been posted, see on Math.StackExchange. I ...
Vincent Granville's user avatar
4 votes
0 answers
100 views

Flow lines of a real analytic vector field convergent to a point

Let $X$ be a real analytic vector field defined on an open connected subset $U$ of $\mathbb{R}^n$. Let $p \in \mathbb{R}^n \setminus U$. Let $L$ be union of the flow lines $\ell$ of $X$ such that $p$ ...
Paul's user avatar
  • 1,409
8 votes
0 answers
256 views

Structural Stability on Compact $2$-Manifolds with Boundary

I'm studying the structural stability of vector fields and I'm interested in learning about this phenomenon on compact $2$-manifolds with boundary. Let $M^2$ be a compact connected 2-manifold and $\...
Matheus Manzatto's user avatar
1 vote
1 answer
136 views

Trajectory leaving a set

Consider the differential equation $\dot{x}=f(x)$, where $f: \mathbb{R}^2 \to \mathbb{R}^2$ is smooth. Given a set $A \subset \mathbb{R}^2$, are there some results saying that whenever $x(0) \in A$, ...
winston's user avatar
  • 143
4 votes
1 answer
382 views

Nearly eventually almost periodic functions

Call a function $f: [0, \infty) \to \mathbb R$ nearly eventually almost periodic with period $p > 0$ if for a.e. $x \in [0, p)$, the sequence ${f(x + np)}_{n \in \mathbb N}$ converges. Suppose $f: ...
James Baxter's user avatar
  • 2,069
1 vote
1 answer
445 views

Formal group law and Koenigs function conjecture?

Let $f(x,y)$ be a symmetric real function and a formal group law $$G(x + y) = f(G(x),G(y)). \tag{1}$$ Consider the equation $$ h(2x) = f(h(x),h(x)) = A(h(x)). \tag{2}$$ This equation has many ...
mick's user avatar
  • 763
3 votes
1 answer
287 views

Corollary of the Malgrange Preparation Theorem

(This question was previously posted on MSE and I decided to post it here too.) Let $f:\mathbb{R}\times \mathbb{R}^n \to \mathbb{R}$ be a smooth function, such that $$f(0,0)=0,\ \frac{\partial f}{\...
Matheus Manzatto's user avatar
1 vote
0 answers
86 views

Coboundary in the slow mixing systems

Given dynamical system $(X, T, \mu)$, $\mu$ is probability, $\mu \circ T =\mu$, $T$'s transfer operator $P$ is defined by following relation: $\int (P a) \cdot b d\mu= \int a \cdot (b \circ T) d\mu$ ...
jason's user avatar
  • 553
2 votes
2 answers
375 views

Ergodic theorem and products

If $f_n (\omega) = \sum_{i=1}^n f_1 (T^i \omega)$ and $T$ is an ergodic action with respect to the measure $\mu$ then it is know as Birkhoff's theorem that $$ \lim_{n \rightarrow \infty} \frac{f_n}{...
user avatar
2 votes
0 answers
149 views

Can a local extremum of a function be an asymptotically stable equilibrium of corresponding gradient dynamics?

Let's first describe the setup: we consider a(say smooth enough) function $f: \mathbb{R}^d \to \mathbb{R}$ and write it as $(x,y) \to f(x,y)$, where $x \in \mathbb{R}^{d_x}$, $y \in \mathbb{R}^{d_y}$ ...
Markus Holzleitner's user avatar
2 votes
2 answers
190 views

Quantitative bound on irrational rotation recurrence time

Given an irrational $a$, the sequence $b_n := na$ is dense and equidistributed in $\mathbb S^1$ where we view $\mathbb S^1$ as $[0, 1]$ with its endpoints identified. Given a point $p$ in $\mathbb ...
James Baxter's user avatar
  • 2,069
1 vote
0 answers
114 views

Final time maps of IVP's approximating functions $X\subseteq\mathbb{R}^n\to\mathbb{R}^n$

I originally posted this question on the Mathematics StackExchange and got told to consider putting it on here, on MathOverflow. I will word the question a bit differently: Let $X$ be a compact $k$-...
Ramen's user avatar
  • 121
0 votes
1 answer
168 views

Does differentiating an integro-differential equation results in equivalent stability of the solution?

I have a dynamical system in the form of an integro-differential equation which I want to analyze in terms of stability. To demonstrate my problem consider the following integro-differential equation: ...
Daniel Horvath's user avatar
0 votes
0 answers
323 views

Adjoint of differential equation

Motivation: Consider the ODE $$y'(t)=Ay(t)$$ then it is true that the flow satisfies $\Phi(t)y_0=e^{tA}y_0$ and the adjoint of the flow is a solution to the adjoint equation $$y'(t)=A^*y(t).$$ I ...
Umberto's user avatar
  • 83
6 votes
1 answer
234 views

What about of periodic points of $\sum_{n=1}^\infty\frac{\mu(n)}{n}x^n$, $0<x<1$, where $\mu(n)$ is the Möbius function?

Let $\mu(n)$ the Möbius function, we define $F:[0,1]\to[0,1]$ as $$F(x)=\sum_{n=1}^\infty\frac{\mu(n)}{n}x^n.\tag{1}$$ For a function of this kind (I presume that this continuous function has image $[...
user avatar
4 votes
0 answers
187 views

Asymptotic formula, polynomial, irrational number and uniformly distribution

Problem 1 Given a irrational number $\alpha$ and two polynomials with positive integer coefficients $P(n),Q(n)$, is it possible to get the asymptotic estimate and reasonable error term for: $$\...
Hu xiyu's user avatar
  • 697
2 votes
1 answer
356 views

Does this limit always exist?

Here is the question; it may seem very simple, but it is difficult (at least for me). Let $f(x)$ be a continuous function on $R$ that is strictly increasing, and suppose $g(x)=f(x)-x$ is a periodic ...
Hu xiyu's user avatar
  • 697
1 vote
2 answers
269 views

Convergence of an iterated sequence

Let $K=[0,1]^2$ be a square and $p\in (0,1)$ be a fixed number. We define a map $F: K^2\to K^2$ as follows. For $(x_1,y_1), (x_2,y_2)\in K$, it follows by a straightforward computation that there ...
user111097's user avatar
1 vote
1 answer
289 views

Center-localized oscillating modes with exponential decay tails, solved from coupled ODE

Two coupled non-linear differential equations in a radial $r$-direction in the region $r \in [0, \infty)$: $$ -a\big(\partial_r^2+\frac{\partial_r}{r}-\frac{n^2}{r^2}+c\big) U(r)+ B(r) (\partial_r-...
wonderich's user avatar
  • 10.5k
2 votes
0 answers
210 views

A sum with integer parts

Let $ \mathcal{A} $ be a set of reals such that $ \sum_{a \in \mathcal{A} } \frac{1}{a} = \infty $ and $ \sum_{a \in \mathcal{A} } \frac{1}{a^2} < \infty $. For instance, $ \mathcal{A} = \mathbb{N}^...
Synia's user avatar
  • 593