No label defined (Q4220140)

The author investigates the existence of solutions for the boundary value problem containing two parameters \(\lambda_1\) and \(\lambda_2\): \[ dx/dt=f(t,x,x_1),\quad Ax(0)+C(\lambda_1)x(\lambda_2)= d(\lambda_2),\quad x_1(0)=x_{10},\;x_2(0)=x_{20},\tag{1} \] where \(f:[0,T]\times D\times[a_1,b_1]\to \mathbb{R}^n\) and \(d:[0,T]\to \mathbb{R}^n\) are continuous, \(A,C(\lambda_1)\) are \(n\times n\) matrices such that \(\det(C(\lambda_1))\neq 0\), \(\lambda_1\in [a_1,b_1]\), \(D\subset \mathbb{R}^n\) is a closed, connected, bounded domain. The perturbed problem \[ dx/dt=f(t,x,\lambda_1)+\Delta(y,\lambda),\quad Ax(0)+C(\lambda_1)x (\lambda_2)=d(\lambda_2),\quad x_1(0)=x_{10},\;x_2(0)=x_{20}, \] is considered with the solution \(x^*(t,y,\lambda)=x^*(t,y_1,\dots,y_{n-2},\lambda_1,\lambda_2)\) with \[ \begin{gathered} \Delta(y,\lambda)=\frac 1{\lambda_2}\left[C^{-1}(\lambda_1)d (\lambda_2)-(C^{-1}(\lambda_1)A+E)z\right] -\frac 1 {\lambda_2} \int_0^{\lambda_2} f(s,x^*(s,y,\lambda),\lambda_1)ds,\\ z={\operatorname{col}}(x_{10},x_{20},y_1,\dots,y_{n-2}). \end{gathered} \] The \(m\)th approximation to \(\Delta(y,\lambda)\) is defined as follows: \[ \Delta_m(y,\lambda)=\frac 1{\lambda_2}\left[C^{-1}(\lambda_1)d(\lambda_2) -\left(C^{-1}(\lambda_1)A+E\right)z\right]-\frac 1{\lambda_2} \int_0^{\lambda_2} f(s,x_m(s,y,\lambda),\lambda_1) ds, \] where \(x_m(s,y,\lambda)\) is defined by recurrence. The author shows that, under certain conditions, there exists a solution \((x^*(t),\lambda^*_1,\lambda_2^*)\) to (1) and the initial value of this solution at \(t=0\) is equal to \(x^*(0)={\operatorname{col}}(x_{10},x_{20},y^*)\), where \(y^*\), \(\lambda^*_1\), \(\lambda^*_2\) belong to certain domains. Moreover, it is shown that under adequate conditions there exists a pair \((y^*,\lambda^*)\) \((\lambda^*=(\lambda^*_1,\lambda^*_2))\) giving a solution \(x^*(t,y^*,\lambda^*)\) to (1) only if for each \(m\) and for an arbitrary pair \((\bar y,\bar \lambda)\) belonging to a specific domain, the \(\Delta_m(\bar y,\bar \lambda)\) satisfy a certain inequality.