A Kneser-type theorem for the equation \(x^{(m)}=f(t,x)\) in locally convex spaces (Q1969400)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Kneser-type theorem for the equation \(x^{(m)}=f(t,x)\) in locally convex spaces |
scientific article |
Statements
A Kneser-type theorem for the equation \(x^{(m)}=f(t,x)\) in locally convex spaces (English)
0 references
11 September 2000
0 references
This study is a continuation of \textit{St. Szufla} [Math. Nachr. 118, 179-185 (1984; Zbl 0569.34052)]. It is considered the Cauchy problem \[ x^{(m)}= f(t,x),\quad x(0)= 0,\quad x'(0)= \eta_1,\dots, x^{(m-1)}(0)= \eta_{m-1},\tag{1} \] where \(m\) is a positive integer, \(\eta_1,\eta_2,\dots, \eta_{m-1}\in E\) and \(f\) is a bounded continuous function from \(I\times B\) into the quasicomplete locally convex topological vector space \(E\), \(I= [0,a]\), \(B= \{x\in E: p_i(x)\leq b\), \(i= 1,\dots, k\}\), \(p_1,\dots, p_k\in P\), \(P\) being a family of continuous seminorms generating the topology of \(E\). Let \(d\leq a\) be defined as \[ \sum^{m- 1}_{j= 1} p_i(\eta_j){d^j\over j!}+ M{d^m\over m!}\leq b,\quad i= 1,\dots, k, \] for certain constants \(M\) and \(b\) as above, and \(I= [0,d]\). If \(\beta_p(A)\) is the infimum of all \(\varepsilon> 0\) for which there exists a finite subset \(\{x_1,\dots, x_n\}\) of \(E\) such that \(A\subset\{x_1,\dots, x_n\}+ \beta_p(\varepsilon)\), with \(\beta_p(\varepsilon)= \{x\in E; p(x)\leq \varepsilon\}\), \(p\in P\), then the family \((\beta_p(A))_{p\in P}\) is called the measure of noncompactness of \(A\). The following result states the existence of solutions and the structure of the set of solutions to Cauchy problem (1): supposing that for each \(p\in P\) there exists a continuous nondecreasing function \(w_p: \mathbb{R}_+\to \mathbb{R}_+\) such that \(w_p(0)= 0\), \(w_p(r)> 0\) for \(r>0\) and \[ \int_{0+} {dr\over \root m\of{r^{m-1} w_p(r)}}= \infty, \] if \(\beta_p(f(t, X))\leq w_p(\beta_p(X))\) for \(p\in P\), \(t\in I\), and bounded subsets \(X\) of \(E\), then the set \(S\) of all solutions to problem (1) defined on \(I\) is nonempty, compact and connected in \(C(I,E)\).
0 references
Kneser-type theorem
0 references
locally convex spaces
0 references
differential equations
0 references
set of solutions
0 references
measures of non-compactness
0 references