Uniqueness implies existence for various classes of \(n\)th order boundary value problems (Q2379097)

The authors obtain sufficient conditions for the existence of solutions to nonlinear boundary value problems of order \(n\) with linear functional boundary conditions. The problems have the form \[ y^{(n)}= f(t,y,y',\dots, y^{(n-1)});\quad L_i(y)= y_i,\quad i= 1,2,\dots, n. \] Here \(L_i\) are linear functionals on the space \(C^{(n-1)}\). It is assumed that the solutions to the problems are unique when they exist.