Bound sets approach to boundary value problems for vector second-order differential inclusions (Q1021693): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.na.2008.10.028 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2078909574 / rank | |||
Normal rank |
Revision as of 01:48, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bound sets approach to boundary value problems for vector second-order differential inclusions |
scientific article |
Statements
Bound sets approach to boundary value problems for vector second-order differential inclusions (English)
0 references
9 June 2009
0 references
The paper deals with the second-order boundary value problem \[ \ddot x(t)\in F(t,x(t),\dot x(t))\quad \text{for a.a.}\;t\in J, x\in S, \leqno(1) \] where \(J=[t_0,t_1]\) is a compact interval, \(F: J\times \mathbb{R}^n\times \mathbb{R}^n \multimap \mathbb{R}^n\) is an upper-Carathéodory mapping and \(S\) is a subset of \(AC^1(J,\mathbb{R}^n)\). The authors develop a continuation principle for the solvability of (1) using fixed point index arguments. The main assumption which yields the possibility to apply the continuation principle is the transversality condition which is guaranted here by means of Liapunov-like bounding functions. In addition, for the Floquet semi-linear problem \[ \ddot x(t)+A(t)\dot x(t)+B(t)x(t)\in F(t,x(t),\dot x(t))\quad \text{for a.a.}\;t\in J, \] \[ x(t_1)=Mx(t_0),\quad \dot x(t_1)=N\dot x(t_0), \] where \(A,B:J\to \mathbb{R}^n\times \mathbb{R}^n\) are integrable matrix functions and \(M\) and \(N\) are real \(n\times n\) matrices with \(M\) non-singular, a viability result will be obtained by means of a bound sets technique.
0 references
upper-Carathéodory differential incusions
0 references
Floquet problem
0 references
viability result
0 references