English

A finite atlas for solution manifolds of differential systems with discrete state-dependent delays

Dynamical Systems 2021-09-16 v2

Abstract

Let r>0,nN,kNr>0, n\in\mathbb{N}, {\bf k}\in\mathbb{N}. Consider the delay differential equation x(t)=g(x(td1(Lxt)),,x(tdk(Lxt))) x'(t)=g(x(t-d_1(Lx_t)),\ldots,x(t-d_{{\bf k}}(Lx_t))) for g:(Rn)kVRng:(\mathbb{R}^n)^{{\bf k}}\supset V\to\mathbb{R}^n continuously differentiable, LL a continuous linear map from C([r,0],Rn)C([-r,0],\mathbb{R}^n) into a finite-dimensional vectorspace FF, each dk:FW[0,r]d_k:F\supset W\to[0,r], k=1,,kk=1,\ldots,{\bf k}, continuously differentiable, and xt(s)=x(t+s)x_t(s)=x(t+s). The solutions define a semiflow of continuously differentiable solution operators on the submanifold XfC1([r,0],Rn)X_f\subset C^1([-r,0],\mathbb{R}^n) which is given by the compatibility condition ϕ(0)=f(ϕ)\phi'(0)=f(\phi) with f(ϕ)=g(ϕ(d1(Lϕ)),,ϕ(dk(Lϕ))). f(\phi)=g(\phi(-d_1(L\phi)),\ldots,\phi(-d_{{\bf k}}(L\phi))). We prove that XfX_f has a finite atlas of at most 2k2^{{\bf k}} manifold charts, whose domains are almost graphs over X0X_0. The size of the atlas depends solely on the zerosets of the delay functions dkd_k.

Keywords

Cite

@article{arxiv.2106.15956,
  title  = {A finite atlas for solution manifolds of differential systems with discrete state-dependent delays},
  author = {Hans-Otto Walther},
  journal= {arXiv preprint arXiv:2106.15956},
  year   = {2021}
}

Comments

Modification of Lemma 2.2, correction of part 1.1 of the proof of Lemma 2.3, analogous correction of an argument below the proof of Proposition 4.1. Adjustment of Proposition 4.1. Modification of the notion of an almost graph (introduction). Typos corrected. All results of the paper remain valid