Discrete kiguradze type inequalities (Q4511528)

Let \(N>0\) and \(n \geq 2\) be integers. Let \(I_j=\{0,\cdots,N+j\}\), \(j=0,\cdots,n\); let \(I=I_0\). Let \(u:I_n \to \mathbb R\). The main result of the paper is the following Theorem: Assume that \(u\) satisfies \[ \begin{aligned} (-1)^{n-k} \Delta^n u(m)\geq 0, &\quad m \in I,\\ \Delta^i u(0)\geq 0, &\quad i=0,\cdots,k-1,\\ (-1)^j\Delta^j u(N+n-j)\geq 0, &\quad j=0,\cdots,n-k-1.\end{aligned} \] Then \[ \begin{aligned} (-1)^l \Delta^l (u/w_k)(m)\geq 0, &\quad m \in \{k,\cdots,N+n-l\}, \quad l=0,\cdots,n-k,\\ \Delta^l (u/v_{n-k})(m)\geq 0, &\quad m \in \{0,\cdots,N+k-l\}, \quad l=0,\cdots,k,\end{aligned} \] where \(w_k\) and \(v_{n-k}\) denote the solutions of the initial value problems \[ \Delta^n u(m)=0, \quad m \in I,\qquad \Delta^i u(0)=\delta_{i,k}, \quad i=0,\cdots,n-1, \] and \[ \Delta^n u(m)=0,\;m \in I,\quad \Delta^i u(N+n-i)=(-1)^i \delta_{i,n-k}, \;i=0,\cdots,n-1, \] respectively.