A meromorphic function means meromorphic in the whole complex plane. Given a meromorphic function , recall that , is a small function with respect to , if , where is used to denote any quantity satisfying , as outside a possible exceptional set of finite logarithmic measure. We use notations , to denote the order of growth of and the exponent of convergence of the poles of , respectively. We say that meromorphic functions and share a finite value IM (ignoring multiplicities) when and have the same zeros. If and have the same zeros with the same multiplicities, then we say that and share the value CM (counting multiplicities). We assume that the reader is familiar with standard notations and fundamental results of Nevanlinna Theory [1–3].

As we all know that a finite value is called the Picard exception value of , if has no zeros. The Picard theorem shows that a transcendental entire function has at most one Picard exception value, a transcendental meromorphic function has at most two Picard exception values. The Hayman conjecture [4], is that if is a transcendental meromorphic function and , then takes every finite nonzero value infinitely often. This conjecture has been solved by Hayman [5] for , by Mues [6] for , by Bergweiler and Eremenko [7] for . From above, it is showed that the Picard exception value of may only be zero. Recently, for an analog of Hayman conjecture for difference, Laine and Yang [8, Theorem 2] proved the following.

Theorem A.

Let be a transcendental entire function with finite order and be a nonzero complex constant. Then for , assumes every nonzero value infinitely often.

Remark 1.1.

Theorem A implies that the Picard exception value of cannot be nonzero constant. However, Theorem A does not remain valid for meromorphic functions. For example, , , . Thus, we get that never takes the value −1, and never takes the value 1.

As the improvement of Theorem A to the case of meromorphic functions, we first obtain the following theorem. In the following, we assume that and are small functions with respect of , unless otherwise specified.

Theorem 1.2.

Let be a transcendental meromorphic function with finite order and be a nonzero complex constant. If , then the difference polynomial has infinitely many zeros.

Remark 1.3.

The restriction of finite order in Theorem 1.2 cannot be deleted. This can be seen by taking , , is a nonconstant polynomial, and is a nonzero rational function. Then is of infinite order and has finitely many poles, while

has finitely many zeros. We have given the example when in Remark 1.1 to show that may have finitely many zeros. But we have not succeed in reducing the condition to in Theorem 1.2.

In the following, we will consider the zeros of other difference polynomials. Using the similar method of the proof of Theorem 1.2 below, we also can obtain the following results.

Theorem 1.4.

Let be a transcendental meromorphic function with finite order and be a nonzero complex constant. If , then the difference polynomial has infinitely many zeros.

Theorem 1.5.

Let be a transcendental meromorphic function with finite order and be a nonzero complex constant. If , , then the difference polynomial has infinitely many zeros.

Remark 1.6.

The above two theorems also are not true when is of infinite order, which can be seen by function , , where in Theorem 1.4 and in Theorem 1.5.

Theorem 1.7.

Let be a transcendental meromorphic function with finite order and be a nonzero complex constant. If , , then the difference polynomial has infinitely many zeros.

Corollary 1.8.

There is no transcendental finite order meromorphic solution of the nonlinear difference equation

where and , are rational functions.

Remark 1.9.

Some results about the zeros distributions of difference polynomials of entire functions or meromorphic functions with the condition can be found in [9–12]. Theorem 1.7 is a partial improvement of [11, Theorem 1.1] for is an entire function and is also an improvement of [13, Theorem 1.1] for the case of .

The uniqueness problem of differential polynomials of meromorphic functions has been considered by many authors, such as Fang and Hua [14], Qiu and Fang [15], Xu and Yi [16], Yang and Hua [17], and Lahiri and Rupa [18]. The uniqueness results for difference polynomials of entire functions was considered in a recent paper [15], which can be stated as follows.

Theorem B (see [19, Theorem 1.1]).

Let and be transcendental entire functions with finite order, and be a nonzero complex constant. If , and share CM, then for a constant that satisfies .

Theorem C (see [19, Theorem 1.2]).

Let and be transcendental entire functions with finite order, and be a nonzero complex constant. If , and share 1 CM, then or for some constants and that satisfy and .

In this paper, we improve Theorems B and C to meromorphic functions and obtain the following results.

Theorem 1.10.

Let and be transcendental meromorphic functions with finite order. Suppose that is a nonzero constant and . If , and share 1 CM, then or , where .

Theorem 1.11.

Under the conditions of Theorem 1.10, if , and share 1 IM, then or , where .

Remark 1.12.

Let and , . Thus, and share the value 1 CM. From above, the case , where may occur in Theorems 1.10 and 1.11.

From the proof of Theorem 1.11 and (2.7) below, we obtain easily the next result.

Corollary 1.13.

Let and be transcendental entire functions with finite order, and be a nonzero complex constant. If , and share 1 IM, then or , where .