We study a class of nonlinear difference equations admitting a $1$-Gevrey formal power series solution which, in general, is not $1$- (or Borel-) summable. Using right inverses of an associated difference operator on Banach spaces of so-called quasi-functions, we prove that this formal solution can be lifted to an analytic solution in a suitable domain of the complex plane and show that this analytic solution is an accelero-sum of the formal power series.

Consider the following higher order difference equation $$x(n+1)=f(n,x(n\left)\right)+g(n,x(n-k\left)\right),n=0,1,\cdots$$ where $f(n,x)$ and $g(n,x):\{0,1,\cdots \}\times [0,\infty )\to [0,\infty )$ are continuous functions in $x$ and periodic functions in $n$ with period $p$, and $k$ is a nonnegative integer. We show the existence of a periodic solution $\left\{\tilde{x}\left(n\right)\right\}$ under certain conditions, and then establish a sufficient condition for $\left\{\tilde{x}\left(n\right)\right\}$ to be a global attractor of all nonnegative solutions of the equation. Applications to Riccati difference equation and some other difference equations derived from mathematical biology are also given.

This paper is concerned with a class of nonlinear difference inequalities which include many different classes of difference inequalities and equations as special cases. By means of a Riccati type transformation, necessary and sufficient conditions for the existence of eventually positive solutions and positive nonincreasing solutions are obtained. Various type of comparison theorems are also derived as applications, which extends many theorems in the literature.

We consider the existence of at least one positive solution to the dynamic boundary value problem $$\begin{array}{cccc}\hfill -y^{\Delta \Delta }\left(t\right)& =\lambda f(t,y\left(t\right))\text{,}t\in {[0,T]}_{𝕋}y\left(0\right)\hfill & \hfill ={\int }_{{\tau }_1}^{{\tau }_2}{F}_1(s,y\left(s\right))\Delta sy\left({\sigma }^2\left(T\right)\right)& ={\int }_{{\tau }_3}^{{\tau }_4}{F}_2(s,y\left(s\right))\Delta s,\hfill \end{array}$$ where $𝕋$ is an arbitrary time scale with $0<{\tau }_1<{\tau }_2<{\sigma }^2\left(T\right)$ and $0<{\tau }_3<{\tau }_4<{\sigma }^2\left(T\right)$ satisfying ${\tau }_1$, ${\tau }_2$, ${\tau }_3$, ${\tau }_4\in 𝕋$, and where the boundary conditions at $t=0$ and $t={\sigma }^2\left(T\right)$ can be both nonlinear and nonlocal. This extends some recent results on second-order semipositone dynamic boundary value problems, and we illustrate these extensions with some examples.

In this paper, we present several sufficient conditions for the existence of nonoscillatory solutions to the following third order neutral type difference equation $${\Delta }^3(x_n+a_n{x}_{n-l}+b_n{x}_{n+m})+p_n{x}_{n-k}-q_n{x}_{n+r}=0,n\ge n_0$$ via Banach contraction principle. Examples are provided to illustrate the main results. The results obtained in this paper extend and complement some of the existing results.