Existence result of second-order differential equations with integral boundary conditions at resonance (Q1014694)

The paper concerns the boundary value problem \[ x''(t)=f(t,x(t),x'(t)), \quad 0<t<1, \] \[ x'(0)=\int^1_0h(t)x'(t)\,dt, \qquad x'(1)=\int^1_0g(t)x'(t)\,dt. \] It is assumed that the functions \(h\) and \(g\) are continuous and nonnegative and such that the conditions \(\int^1_0h(t)\,dt=1\) and \(\int^1_0g(t)\,dt=1\) hold. The linear operator \(L,\) \(Lx:=x''\), defined on the subspace of functions that belong to the Sobolev space \(W^{2,1}(0,1)\) and satisfy the boundary conditions is a Fredholm operator with index zero when the functions \(h\) and \(g\) satisfy a condition formulated in the preliminary part of the paper. Moreover, its kernel is two-dimensional. Next, a fixed point theorem due to \textit{J. Mawhin} [Topological degree methods in nonlinear boundary value problems. Regional Conference Series in Mathematics. No. 40. R.I.: The American Mathematical Society (1979; Zbl 0414.34025)] is recalled. The existence of at least one solution of the boundary value problem is proved when certain conditions are satisfied. They are formulated in the main result which proof is based on Mawhin's fixed point theorem. An example is presented.