In this study, we aim to contribute to the increasing interest in functional differential equations by obtaining new theorems for the oscillation of second-order neutral differential equations of mixed type in a non-canonical form. The results obtained here improve and extend those reported in the literature. The applicability of the results is illustrated by several examples.
Citation: Abdulaziz khalid Alsharidi, Ali Muhib. Oscillation criteria for mixed neutral differential equations[J]. AIMS Mathematics, 2024, 9(6): 14473-14486. doi: 10.3934/math.2024703
[1] | Hong Li, Keyu Zhang, Hongyan Xu . Solutions for systems of complex Fermat type partial differential-difference equations with two complex variables. AIMS Mathematics, 2021, 6(11): 11796-11814. doi: 10.3934/math.2021685 |
[2] | Wenju Tang, Keyu Zhang, Hongyan Xu . Results on the solutions of several second order mixed type partial differential difference equations. AIMS Mathematics, 2022, 7(2): 1907-1924. doi: 10.3934/math.2022110 |
[3] | Minghui Zhang, Jianbin Xiao, Mingliang Fang . Entire solutions for several Fermat type differential difference equations. AIMS Mathematics, 2022, 7(7): 11597-11613. doi: 10.3934/math.2022646 |
[4] | Yeyang Jiang, Zhihua Liao, Di Qiu . The existence of entire solutions of some systems of the Fermat type differential-difference equations. AIMS Mathematics, 2022, 7(10): 17685-17698. doi: 10.3934/math.2022974 |
[5] | Zhenguang Gao, Lingyun Gao, Manli Liu . Entire solutions of two certain types of quadratic trinomial q-difference differential equations. AIMS Mathematics, 2023, 8(11): 27659-27669. doi: 10.3934/math.20231415 |
[6] | Guowei Zhang . The exact transcendental entire solutions of complex equations with three quadratic terms. AIMS Mathematics, 2023, 8(11): 27414-27438. doi: 10.3934/math.20231403 |
[7] | Yong Liu, Chaofeng Gao, Shuai Jiang . On meromorphic solutions of certain differential-difference equations. AIMS Mathematics, 2021, 6(9): 10343-10354. doi: 10.3934/math.2021599 |
[8] | Nan Li, Jiachuan Geng, Lianzhong Yang . Some results on transcendental entire solutions to certain nonlinear differential-difference equations. AIMS Mathematics, 2021, 6(8): 8107-8126. doi: 10.3934/math.2021470 |
[9] | Wenjie Hao, Qingcai Zhang . The growth of entire solutions of certain nonlinear differential-difference equations. AIMS Mathematics, 2022, 7(9): 15904-15916. doi: 10.3934/math.2022870 |
[10] | Andrey Muravnik . Nonclassical dynamical behavior of solutions of partial differential-difference equations. AIMS Mathematics, 2025, 10(1): 1842-1858. doi: 10.3934/math.2025085 |
In this study, we aim to contribute to the increasing interest in functional differential equations by obtaining new theorems for the oscillation of second-order neutral differential equations of mixed type in a non-canonical form. The results obtained here improve and extend those reported in the literature. The applicability of the results is illustrated by several examples.
We first assume that the readers are familiar with the notations of the Nevanlinna theory such as T(r,f),m(r,f),N(r,f) and so on, which can be found, for instant, in Hayman [12], Yang [31], Yi and Yang [32]. As is known to all, Nevanlinna theory is a powerful tool in analysing the properties of meromorphic functions including meromorphic functions in arbitrary plane regions, algebroid functions, functions of several variables, holomorphic curves, uniqueness theory of meromorphic function and complex differential equations, and so on. Moreover, it is also used in lots of areas of mathematics including potential theory, measure theory, differential geometry, topology and others.
Around 2006, Chiang and Feng [6], Halburd and Korhonen [8] established independently the difference analogues of Nevanlinna theory in C, respectively. In the past two decades, many scholars paid a lot of attention to a large number of interesting topics on complex difference of meromorphic functions by making use of the difference analogue of Nevanlinna theory, and complex difference results are in the rapid development.
In all the previous articles, Korhonen, Halburd, Chen and his students investigated the properties of solutions for a series of linear difference equations, the difference Painlevé equations, the Riccati equations, the Pielou logistic equations, and obtained the conditions of the existence and estimations of growth order for the above difference equations [1,4,5,9,27,35]; Laine, Korhonen, Yang, Chen, etc. established the difference analogue of Clunie Lemma and Mohonko Lemma, and gave the existence theorems on solutions for some complex difference equations including difference Malmquist type and some nonlinear difference equations [16,17,21]; Korhonen, Zhang, Liu, Yang paid close attention to some complex differential difference equations [11,18,19,20,24,34], in special, Liu and his co-authors [18,19,20] investigated some types of complex differential difference equations of Fermat type such as
f′(z)2+f(z+c)2=1, | (1.1) |
f′(z)2+[f(z+c)−f(z)]2=1. | (1.2) |
They proved that the transcendental entire solutions with finite order of equation (1.1) must satisfy f(z)=sin(z±Bi), where B is a constant and c=2kπ or c=(2k+1)π, k is an integer, and the transcendental entire solutions with finite order of equation (1.2) must satisfy f(z)=12sin(2z+Bi), where c=(2k+1)π, k is an integer, and B is a constant. In 2016, Gao [7] discussed the solutions for the system of complex differential-difference equations
{[f′1(z)]2+f2(z+c)2=1,[f′2(z)]2+f1(z+c)2=1, | (1.3) |
and extend the results given by Liu and Cao.
Theorem 1.1. (see [7,Theorem 1.1]). Suppose that (f1,f2) is a pair of transcendental entire solutions with finite order for the system of differential-difference equations (1.3). Then (f1,f2) satisfies
(f1(z),f2(z))=(sin(z−bi),sin(z−b1i)), |
or
(f1(z),f2(z))=(sin(z+bi),sin(z+b1i)), |
where b,b1 are constants, and c=kπ, k is a integer.
In 2012, Korhonen [14] firstly established the difference version of logarithmic derivative lemma (shortly, we may say logarithmic difference lemma) for meromorphic functions on Cm with hyper order strictly less than 23, and then used it to consider a class of partial difference equations in the same paper. Later, Cao and Korhonen [2] improved the logarithmic difference lemma to the case where the hyper order is strictly less than one. In 2019, Cao and Xu [3] further improved the logarithmic difference lemma in several variables under the condition of minimal type lim supr→∞logT(r,f)r=0. As far as we know, however, there are very little of results on solutions of complex partial difference equations by using Nevanlinna theory. By making use of the Nevanlinna theory with several complex variables (see [2,3,14]), Xu and Cao [3,29,30], Lu and Li [22] investigated the existence of the solutions for some Fermat type partial differential-difference equations with several variables, and obtained the following theorem.
Theorem 1.2. (see [29,Theorem 1.2]). Let c=(c1,c2)∈C2. Then any transcendental entire solutions with finite order of the partial differential-difference equation
(∂f(z1,z2)∂z1)2+f(z1+c1,z2+c2)2=1 |
has the form of f(z1,z2)=sin(Az1+B), where A is a constant on C satisfying AeiAc1=1, and B is a constant on C; in the special case whenever c1=0, we have f(z1,z2)=sin(z1+B).
In 2020, Xu, Liu and Li [28] further explored the existence and forms of several systems of complex partial differential difference equations and extend the previous results given by [29,30].
Theorem 1.3. (see [28,Theorem 1.3]). Let c=(c1,c2)∈C2. Then any pair of transcendental entire solutions with finite order for the system of Fermat type partial differential-difference equations
{(∂f1(z1,z2)∂z1)2+f2(z1+c1,z2+c2)2=1,(∂f2(z1,z2)∂z1)2+f1(z1+c1,z2+c2)2=1 | (1.4) |
has the following form
(f1(z),f2(z))=(eL(z)+B1+e−(L(z)+B1)2,A21eL(z)+B1+A22e−(L(z)+B1)2), |
where L(z)=a1z1+a2z2, B1 is a constant in C, and a1,c,A21,A22 satisfy one of the following cases
(i) A21=−i, A22=i, and a1=i, L(c)=(2k+12)πi, or a1=−i, L(c)=(2k−12)πi;
(ii) A21=i, A22=−i, and a1=i, L(c)=(2k−12)πi, or a1=−i, L(c)=(2k+12)πi;
(iii) A21=1, A22=1, and a1=i, L(c)=2kπi, or a1=−i, L(c)=(2k+1)πi;
(iv) A21=−1, A22=−1, and a1=i, L(c)=(2k+1)πi, or a1=−i, L(c)=2kπi.
The above results suggest the following questions.
Question 1.1. What will happen about the solutions when f(z), f(z+c), ∂f∂z1 and ∂f∂z2 are included in the equations in Theorem B?
Question 1.2. What will happen about the solutions when the equations are turned into system under the hypothesis of Question 1.1?
In view of the above questions, this article is concerned with the description of the existence and the forms of entire solutions for several partial differential difference of Fermat type. The main tools are used in this paper are the Nevanlinna theory and difference Nevanlinna theory with several complex variables. Our main results are obtained generalized the previous theorems given by Xu and Cao, Liu, Cao and Cao [20,29]. Throughout this paper, for convenience, we assume that z+w=(z1+w1,z2+w2) for any z=(z1,z2),w=(w1,w2). The main results of this paper are stated below.
Theorem 2.1. Let c=(c1,c2)∈C2−{(0,0)}. Then any transcendental entire solution f(z1,z2) with finite order of the partial differential equation
f(z)2+[f(z+c)+∂f∂z1]2=1 | (2.1) |
must be of the form
f(z1,z2)=eL(z)+b+e−L(z)−b2, |
where L(z)=α1z1+α2z2, and L(c):=α1c1+α2c2, α1, α2,b∈C satisfy
(i) L(c)=2kπi+π2i and α1=−2i;
(ii) L(c)=2kπi+3π2i and α1=0.
The following examples show that the forms of transcendental entire solutions with finite order for equation (2.1) are precise.
Example 2.1. Let α1=−2i, α2=3π2 and b∈C, that is,
f(z1,z2)=e2z2+b+e−2z2−b2. |
Then f(z1,z2) satisfies equation (2.1) with (c1,c2)=(c1,3πi4), where c1∈C.
Example 2.2. Let α1=0, α2=2 and b=0, that is,
f(z1,z2)=e−2iz1+3π2+e2iz1−3π22. |
Then f(z1,z2) satisfies equation (2.1) with (c1,c2)=(π2,i).
If equation (2.1) contains both two partial differentials and difference, we obtain
Theorem 2.2. Let c=(c1,c2)∈C2−{(0,0)} and s=c2z1−c1z2. Then any transcendental entire solution f(z1,z2) with finite order of the partial differential equation
f(z)2+[f(z+c)+∂f∂z1+∂f∂z2]2=1 | (2.2) |
must be of the form
f(z1,z2)=eL(z)+H(s)+b+e−L(z)−H(s)−b2, |
where L(z)=α1z1+α2z2, H(s) is a polynomial in s, and L(c), α1, α2,b∈C satisfy
(i) c1=c2=kπ+34π, α1+α2=−2i and degsH≥2;
(ii) c1≠c2, H(s)≡0, and L(c)=2kπi+3π2i, α1+α2=0 or L(c)=2kπi+π2i, α1+α2=−2i.
We list the following examples to show that the forms of transcendental entire solutions with finite order for equation (2.2) are precise.
Example 2.3. Let L(z)=−3iz1+iz2, H(s)=3πi4(z1−z2)n, n∈N+ and b=0, that is,
f(z1,z2)=eL(z)+H(s)+e−L(z)−H(s)2=cos[−3z1+z2+3π4(z1−z2)n]. |
Then f(z1,z2) satisfies equation (2.2) with (c1,c2)=(3π4,3π4).
Example 2.4. Let L(z)=−3iz1+iz2, H(s)≡0, and b=0, that is,
f(z1,z2)=eL(z)+e−L(z)2=cos(−3z1+z2). |
Then f(z1,z2) satisfies equation (2.2) with (c1,c2)=(−π2,π).
Example 2.5. Let L(z)=iz1−iz2, and b=0, that is, α1+α2=0 and
f(z1,z2)=eL(z)+e−L(z)2=cos(z1−z2). |
Then f(z1,z2) satisfies equation (2.2) with (c1,c2)=(2π,π2).
When equation (2.1) is turned to system of functional equations, we have
Theorem 2.3. Let c=(c1,c2)∈C2−{(0,0)}. Then any pair of finite order transcendental entire solution (f1,f2) for the system of the partial differential equations
{f1(z)2+[f2(z+c)+∂f1∂z1]2=1,f2(z)2+[f1(z+c)+∂f2∂z1]2=1 | (2.3) |
must be of the form
(f1(z),f2(z))=(eL(z)+b+e−L(z)−b2,A1eL(z)+b+A2e−L(z)−b2), |
where L(z)=α1z1+α2z2, and α1,α2,b,A1,A2∈C satisfy one of the following cases:
(i) if α1=0, then α2c2=2kπi+π2i, A1=A2=−1 or α2c2=2kπi+3π2i, A1=A2=1 or α2c2=2kπi, A1=−i,A2=i or α2c2=(2k+1)πi, A1=i,A2=−i, k∈Z;
(ii) if α1=−2i, then α1c1+α2c2=2kπi+π2i, A1=A2=1 or α1c1+α2c2=2kπi+3π2i, A1=A2=−1, k∈Z.
Some examples show the existence of transcendental entire solutions with finite order for system (2.3).
Example 2.6. Let L(z)=iz2 and b=0, that is, α1=0, α2=i and
(f1,f2)=(eiz2+e−iz22,−eiz2+e−iz22)=(cosz2,−cosz2). |
Then (f1,f2) satisfies system (2.3) with (c1,c2)=(c1,π2), where c1∈C.
Example 2.7. Let L(z)=iz2 and b=0, that is, α1=0, α2=i and
(f1,f2)=(eiz2+e−iz22,−ieiz2+ie−iz22)=(cosz2,sinz2). |
Then (f1,f2) satisfies system (2.3) with (c1,c2)=(c1,2π), where c1∈C.
Example 2.8. Let L(z)=−2iz1+iz2 and b=0, that is, α1=−2i, α2=i and
(f1,f2)=(eL(z)+e−L(z)2,−eL(z)+e−L(z)2)=(cos(−2z1+z2),−cos(−2z1+z2)). |
Then (f1,f2) satisfies system (2.3) with (c1,c2)=(−π2,π2).
Similar to the argument as in the proof of Theorem 2.3, we can get the following result easily.
Theorem 2.4. Let c=(c1,c2)∈C2 and c1≠c2. Then any pair of transcendental entire solution (f1,f2) with finite order for the system of the partial differential equations
{f1(z)2+[f2(z+c)+∂f1∂z1+∂f1∂z2]2=1,f2(z)2+[f1(z+c)+∂f2∂z1+∂f2∂z2]2=1 | (2.4) |
must be of the form
(f1(z),f2(z))=(eL(z)+b+e−L(z)−b2,A1eL(z)+b+A2e−L(z)−b2), |
where L(z)=α1z1+α2z2, and α1,α2,b,A1,A2∈C satisfy one of the following cases:
(i) if α1+α2=0, then α1c1+α2c2=2kπi+π2i, A1=A2=−1 or α1c1+α2c2=2kπi+3π2i, A1=A2=1 or α1c1+α2c2=2kπi, A1=−i,A2=i or α1c1+α2c2=(2k+1)πi, A1=i,A2=−i, k∈Z;
(ii) if α1+α2=−2i, then α1c1+α2c2=2kπi+π2i, A1=A2=1 or α1c1+α2c2=2kπi+3π2i, A1=A2=−1, k∈Z.
The following example shows that the condition c1≠c2 in Theorem 2.4 can not be removed.
Example 2.9. Let c1≠0 and
(f1,f2)=(eg(z1,z2)+e−g(z1,z2)2,−ieg(z1,z2)+ie−g(z1,z2)2), |
where g(z1,z2)=z1−z2+β(z1−z2)n, β≠0 and n∈N+. Then (f1,f2) is a pair of transcendental entire solutions with finite order for system (2.4) with c=(c1,c1).
The following lemmas play the key roles in proving our results.
Lemma 3.1. ([25,26]). For an entire function F on Cn, F(0)≠0 and put ρ(nF)=ρ<∞. Then there exist a canonical function fF and a function gF∈Cn such that F(z)=fF(z)egF(z). For the special case n=1, fF is the canonical product of Weierstrass.
Remark 3.1. Here, denote ρ(nF) to be the order of the counting function of zeros of F.
Lemma 3.2. ([23]). If g and h are entire functions on the complex plane C and g(h) is an entire function of finite order, then there are only two possible cases: either
(a) the internal function h is a polynomial and the external function g is of finite order; or else
(b) the internal function h is not a polynomial but a function of finite order, and the external function g is of zero order.
Lemma 3.3. ([13,Lemma 3.1]). Let fj(≢0),j=1,2,3, be meromorphic functions on Cm such that f1 is not constant, and f1+f2+f3=1, and such that
3∑j=1{N2(r,1fj)+2¯N(r,fj)}<λT(r,f1)+O(log+T(r,f1)), |
for all r outside possibly a set with finite logarithmic measure, where λ<1 is a positive number. Then either f2=1 or f3=1, where N2(r,1f) is the counting function of the zeros of f in |z|≤r, where the simple zero is counted once, and the multiple zero is counted twice.
Suppose that f(z) is a transcendental entire solution with finite order of equation (2.1). Thus, we rewrite (2.1) as the following form
[f(z)+i(f(z+c)+∂f∂z1)][f(z)−i(f(z+c)+∂f∂z1)]=1, | (3.1) |
which implies that both f(z)+i(f(z+c)+∂f∂z1) and f(z)−i(f(z+c)+∂f∂z1) have no poles and zeros. Thus, by Lemmas 3.1 and 3.2, there thus exists a polynomial p(z) such that
f(z)+i(f(z+c)+∂f∂z1)=ep(z),f(z)−i(f(z+c)+∂f∂z1)=e−p(z). |
This leads to
f(z)=ep(z)+e−p(z)2, | (3.2) |
f(z+c)+∂f(z)∂z1=ep(z)−e−p(z)2i. | (3.3) |
Substituting (3.2) into (3.3), it yields that
−(∂p∂z1+i)ep(z+c)+p(z)+(∂p∂z1+i)ep(z+c)−p(z)−e2p(z+c)=1. | (3.4) |
Obviously, ∂p∂z1+i≢0. Otherwise, e2p(z+c)≡−1, thus p(z) is a constant. Then f(z) is a constant, this a contradiction. By Lemma 3.3, it follows from (3.4) that
(∂p∂z1+i)ep(z+c)−p(z)=1. | (3.5) |
Thus, in view of (3.4) and (3.5), we conclude that
−(∂p∂z1+i)ep(z)−p(z+c)=1. | (3.6) |
Equations (3.5) and (3.6) mean that e2[p(z+c)−p(z)]=−1. Thus, it yields that p(z)=L(z)+H(s)+b, where L is a linear function as the form L(z)=α1z1+α2z2, e2L(c)=−1, and H(s) is a polynomial in s:=c2z1−c1z2, α1,α2,b∈C.
On the other hand, it follows from (3.5) and (3.6) that (∂p∂z1+i)2=−1, that is, ∂p∂z1=0 or ∂p∂z1=−2i. In view of (3.5) or (3.6), it yields that eL(c)=i and α1=−2i or eL(c)=−i and α1=0, that is, L(c)=2kπi+π2i and α1=−2i or L(c)=2kπi+3π2i and α1=0. Moreover, by combining with p(z)=L(z)+H(s)+b, we have that H′c2=η, where η is a constant. If c2=0, then H(s)=H(−c1z2), and combining with e2(p(z+c)−p(z))=−1, then it follows that degsH≤1. If c2≠0, it is easy to get that H(s) is a polynomial in s with degsH≤1. Hence, we can conclude that L(z)+H(s)+b is a linear form in z1,z2, w.l.o.g, we denote that the form is α1z1+α2z2+b, where α1,α2,b∈C. Thus, by combining with (3.5) and (3.6), we have
f(z1,z2)=eL(z)+b+e−L(z)−b2, |
where L(z)=α1z1+α2z2, and L(c), α1, α2,b∈C satisfy L(c)=2kπi+π2i and α1=−2i or L(c)=2kπi+3π2i and α1=0, k∈Z.
Therefore, this completes the proof of Theorem 2.1.
Suppose that f(z) is a transcendental entire solution with finite order of equation (2.2). Similar to the argument as in the proof of Theorem 2.1, there exists a nonconstant polynomial p(z) such that (3.2) and
(∂p∂z1+∂p∂z2+i)ep(z+c)−p(z)=1, | (3.7) |
−(∂p∂z1+∂p∂z2+i)ep(z)−p(z+c)=1. | (3.8) |
In view of (3.7) and (3.8), we have e2(p(z+c)−p(z))=−1. Thus, it yields that p(z)=L(z)+H(s)+b, where L is a linear function as the form L(z)=α1z1+α2z2, H(s) is a polynomial in s, and α1,α2,b∈C, and e2L(c)=−1.
On the other hand, from (3.7) and (3.8), we have (∂p∂z1+∂p∂z2+i)2=−1. Noting that p(z)=L(z)+H(s)+b, it follow that
[α1+α2+H′(c2−c1)+i]2=−1. | (3.9) |
If c1=c2, then H′(c2−c1)≡0. This shows that H(s) can be any degree polynomial in s. In fact, we can assume that degsH≥2. If degsH≤1, then L(z)+H(s)+b is still a linear function of the form a1z1+a2z2, this means that H(s)≡0. In view of (3.9), it yields that α1+α2=0 or α1+α2=−2i. If α1+α2=0, that is, α1=−α2, combining with c1=c2, then it leads to L(c)=α1c1−α1c1=0, that is, e2L(c)=1, this is a contradiction with e2L(c)=−1. If α1+α2=−2i, then L(c)=(α1+α2)c1=−2ic1. By combining with eL(c)=−i, we have c1=c2=kπ+34π.
If c1≠c2, then H′ must be a constant, that is, degsH≤1. Hence, we can conclude that L(z)+H(s)+b is a linear form in z1,z2. Thus, this means that H(s)≡0 and H′(c2−c1)≡0. Hence, we have p(z)=α1z1+α2z2+b, where α1,α2,b∈C. So, in view of (3.9), we also have α1+α2=0 or α1+α2=−2i. Further, In view of (3.7) or (3.8), we conclude that L(c)=2kπi+π2i and α1+α2=−2i or L(c)=2kπi+3π2i and α1+α2=0, k∈Z.
Therefore, this completes the proof of Theorem 2.2.
Suppose that (f1(z),f2(z)) is a pair of transcendental entire solutions with finite order of (2.3). By using the same argument as in the proof of Theorem 2.1, there exist two polynomials p(z),q(z) in C2 such that
{f1(z)=ep(z)+e−p(z)2,f2(z+c)+∂f1∂z1=ep(z)−e−p(z)2i,f2(z)=eq(z)+e−q(z)2,f1(z+c)+∂f2∂z1=eq(z)−e−q(z)2i. | (4.1) |
In view of (4.1), it follows that
−(i+∂p∂z1)ep(z)+q(z+c)+(i+∂p∂z1)e−p(z)+q(z+c)−e2q(z+c)≡1, | (4.2) |
and
−(i+∂q∂z1)eq(z)+p(z+c)+(i+∂q∂z1)e−q(z)+p(z+c)−e2p(z+c)≡1. | (4.3) |
Thus, by applying Lemma 3.3, we can deduce from (4.2) and (4.3) that
(i+∂p∂z1)e−p(z)+q(z+c)=1,or−(i+∂p∂z1)ep(z)+q(z+c)=1 |
and
(i+∂q∂z1)e−q(z)+p(z+c)=1,or−(i+∂q∂z1)eq(z)+p(z+c)=1. |
Now, we will discuss four cases below.
Case 1.
{(i+∂p∂z1)e−p(z)+q(z+c)=1,(i+∂q∂z1)e−q(z)+p(z+c)=1. | (4.4) |
Thus, it follows that −p(z)+q(z+c)=η1 and −q(z)+p(z+c)=η2, that is, p(z+2c)−p(z)=η2+η1 and q(z+2c)−q(z)=η2+η1, here and below η1,η2 are constants in C, which each occurrence can be inconsistent. So, we can deduce that p(z)=L(z)+H(s)+B1 and q(z)=L(z)+H(s)+B2, where L(z) is a linear function of the form L(z)=α1z1+α2z2, H(s) is a polynomial in s:=c1z2−c2z1, α1,α2,B1,B2 are constants in C. Noting that (i+∂p∂z1) and (i+∂q∂z1) are constants, it follows that p(z)=L(z)+B1 and q(z)=L(z)+B2. Thus, by combining with (4.2)-(4.4), it yields that
{(i+α1)eL(c)+B2−B1=1,(i+α1)eL(c)+B1−B2=1,−(i+α1)e−L(c)+B1−B2=1,−(i+α1)e−L(c)+B2−B1=1, | (4.5) |
where L(c):=α1c1+α2c2, this thus leads to
(i+α1)2=−1,e2L(c)=−1,e2(B1−B2)=1. | (4.6) |
Then we have α1=0 or α1=−2i.
Assume that α1=0. If eL(c)=i, that is, L(c)=α2c2=2kπi+π2i, then it follows from (4.5) that eB2−B1=−1. Noting that system (4.1), we have
f1(z)=ep(z)+e−p(z)2=eL(z)+B1+e−L(z)−B12, |
and
f2(z)=eL(z)+B2+e−L(z)−B22=eL(z)+B1+B2−B1+e−L(z)−B1+B1−B22=−eL(z)+B1+e−L(z)−B12=−f1(z). |
If eL(c)=−i, that is, L(c)=α2c2=2kπi+3π2i, then it follows from (4.5) that eB2−B1=1. Thus, it yields from (4.1) that
f2(z)=eL(z)+B2+e−L(z)−B22=eL(z)+B1+B2−B1+e−L(z)−B1+B1−B22=eL(z)+B1+e−L(z)−B12=f1(z). |
Assume that α1=−2i. If eL(c)=i, that is, L(c)=−2ic1+α2c2=2kπi+π2i, then it follows from (4.5) that eB2−B1=1. Noting that system (4.1), we have
f2(z)=eL(z)+B2+e−L(z)−B22=eL(z)+B1+B2−B1+e−L(z)−B1+B1−B22=eL(z)+B1+e−L(z)−B12=f1(z). |
If eL(c)=−i, that is, L(c)=−2ic1+α2c2=2kπi+3π2i, then it follows from (4.5) that eB2−B1=−1. Thus, it yields from (4.1) that
f2(z)=eL(z)+B2+e−L(z)−B22=eL(z)+B1+B2−B1+e−L(z)−B1+B1−B22=−eL(z)+B1+e−L(z)−B12=−f1(z). |
Case 2.
{(i+∂p∂z1)e−p(z)+q(z+c)=1,−(i+∂q∂z1)eq(z)+p(z+c)=1. |
Thus, it follows that −p(z)+q(z+c)=η1 and q(z)+p(z+c)=η2, that is, q(z+2c)+q(z)=η1−η2. Noting that q(z) is a nonconstant polynomial in C2, we can get a contradiction.
Case 3.
{−(i+∂p∂z1)ep(z)+q(z+c)=1,(i+∂q∂z1)e−q(z)+p(z+c)=1. |
Thus, it follows that p(z)+q(z+c)=η1 and −q(z)+p(z+c)=η2, that is, p(z+2c)+p(z)=η2+η1. Noting that p(z) is a nonconstant polynomial in C2, we can get a contradiction.
Case 4.
{−(i+∂p∂z1)ep(z)+q(z+c)=1,−(i+∂q∂z1)eq(z)+p(z+c)=1. | (4.7) |
Thus, it follows that p(z)+q(z+c)=η1 and q(z)+p(z+c)=η2, that is, p(z+2c)−p(z)=η2−η1 and q(z+2c)−q(z)=η1−η2. Similar to the same argument as in Case 1, we get that p(z)=L(z)+B1 and q(z)=−L(z)+B2, where L(z)=α1z1+α2z2, α1,α2,B1,B2 are constants in C. Thus, by combining with (4.2)-(4.3) and (4.7), it yields that
{(i+α1)eL(c)−B1−B2=1,(i−α1)e−L(c)−B1−B2=1,−(i+α1)e−L(c)+B1+B2=1,−(i−α1)eL(c)+B1+B2=1, | (4.8) |
which leads to (i−α1)2=(i+α1)2=−1, that is, α1=0. Then, it leads to
e2L(c)=1,e2(B1+B2)=−1. | (4.9) |
If eL(c)=1, that is, L(c)=2kπi, then it follows from (4.8) that eB1+B2=i. Noting that system (4.1), we have
f1(z)=ep(z)+e−p(z)2=eL(z)+B1+e−L(z)−B12, |
and
f2(z)=e−L(z)+B2+eL(z)−B22=eL(z)+B1−B1−B2+e−L(z)−B1+B1+B22=−ieL(z)+B1+ie−L(z)−B12. |
If eL(c)=−1, that is, L(c)=(2k+1)πi, then it follows from (4.8) that eB1+B2=−i. Noting that system (4.1), we have
f2(z)=e−L(z)+B2+eL(z)−B22=eL(z)+B1−B1−B2+e−L(z)−B1+B1+B22=ieL(z)+B1−ie−L(z)−B12. |
Therefore, this completes the proof of Theorem 2.3.
By observing the argument as in Theorems 2.1 and 2.2, when f(z) is a function with one complex variable, we can obtain the following conclusions easily.
Theorem 5.1. Then the following complex differential equation
f(z)2+[f(z)+f′(z)]2=1 | (5.1) |
has no any transcendental entire solutions with finite order.
Theorem 5.2. Let c∈C−{0}. Suppose that the complex differential difference equation
f(z)2+[f(z+c)+f′(z)]2=1 | (5.2) |
admits a transcendental entire solution with finite order. Then f must be of the form
f(z)=e2iz+b+e−2iz−b2, |
and c=−π4±kπ, k∈Z, where b∈C.
Theorem 5.3. The following system of complex differential equations
{f1(z)2+[f2(z)+f′2(z)]2=1,f2(z)2+[f1(z)+f′1(z)]2=1 | (5.3) |
has no any transcendental entire solutions with finite order.
For further studying the solutions of (2.1)-(2.4), we raise the following question which can not be solved now.
Question 5.1. How to describe the transcendental meromorphic solutions of (2.1)–(2.4)?
We thank the referee(s) for reading the manuscript very carefully and making a number of valuable and kind comments which improved the presentation.
This work was supported by the National Natural Science Foundation of China (11561033), the Natural Science Foundation of Jiangxi Province in China (20181BAB201001), and the Foundation of Education Department of Jiangxi (GJJ190876, GJJ191042, GJJ190895) of China.
The authors declare that none of the authors have any competing interests in the manuscript.
[1] |
E. Braverman, B. Karpuz, On oscillation of differential and difference equations with non-monotone delays, Appl. Math. Comput., 218 (2011), 3880–3887. https://doi.org/10.1016/j.amc.2011.09.035 doi: 10.1016/j.amc.2011.09.035
![]() |
[2] | P. L. Chow, G. Yin, B. Mordukhovich, Topics in stochastic analysis and nonparametric estimation, New York: Springer, 2008. https://doi.org/10.1007/978-0-387-75111-5 |
[3] |
K. Gopalsamy, B. G. Zhang, On a neutral delay logistic equation, Dyn. Stabil. Syst., 2 (1987), 183–195. https://doi.org/10.1080/02681118808806037 doi: 10.1080/02681118808806037
![]() |
[4] |
A. Bellen, N. Guglielmi, A. E. Ruehli, Methods for linear systems of circuit delay differential equations of neutral type, IEEE Trans. Circuits Syst. I Fundam. Theory Appl., 46 (1999), 212–215. https://doi.org/10.1109/81.739268 doi: 10.1109/81.739268
![]() |
[5] |
T. X. Li, S. Frassu, G. Viglialoro, Combining effects ensuring boundedness in an attraction-repulsion chemotaxis model with production and consumption, Z. Angew. Math. Phys., 74 (2023), 109. https://doi.org/10.1007/s00033-023-01976-0 doi: 10.1007/s00033-023-01976-0
![]() |
[6] |
T. X. Li, N. Pintus, G. Viglialoro, Properties of solutions to porous medium problems with different sources and boundary conditions, Z. Angew. Math. Phys., 70 (2019), 1–18. https://doi.org/10.1007/s00033-019-1130-2 doi: 10.1007/s00033-019-1130-2
![]() |
[7] | Y. Z. Tian, Y. L. Cai, Y. L. Fu, T. X. Li, Oscillation and asymptotic behavior of third-order neutral differential equations with distributed deviating arguments, Adv. Differ. Equ., 2015 (2015), 1–14. |
[8] |
B. Baculikova, Properties of third-order nonlinear functional differential equations with mixed arguments, Abstr. Appl. Anal., 2011 (2011), 1–15. https://doi.org/10.1155/2011/857860 doi: 10.1155/2011/857860
![]() |
[9] |
H. D. Liu, F. W. Meng, P. C. Liu, Oscillation and asymptotic analysis on a new generalized Emden-Fowler equation, Appl. Math. Comput., 219 (2012), 2739–2748. https://doi.org/10.1016/j.amc.2012.08.106 doi: 10.1016/j.amc.2012.08.106
![]() |
[10] |
H. Ramos, O. Moaaz, A. Muhib, J. Awrejcewicz, More effective results for testing oscillation of non-canonical neutral delay differential equations, Mathematics, 9 (2021), 1–10. https://doi.org/10.3390/math9101114 doi: 10.3390/math9101114
![]() |
[11] |
J. Dzurina, B. Baculikova, Oscillation of third-order quasi-linear advanced differential equations, Differ. Equ. Appl., 4 (2012), 411–421. https://doi.org/10.7153/dea-04-23 doi: 10.7153/dea-04-23
![]() |
[12] | R. P. Agarwal, M. Bohner, T. X. Li, C. H. Zhang, Oscillation of second-order differential equations with a sublinear neutral term, Carpathian J. Math., 30 (2014), 1–6. |
[13] |
O. Moaaz, I. Dassios, W. Muhsin, A. Muhib, Oscillation theory for non-linear neutral delay differential equations of third order, Appl. Sci., 10 (2020), 1–16. https://doi.org/10.3390/app10144855 doi: 10.3390/app10144855
![]() |
[14] |
B. Baculikova, J. Dzurina, On the oscillation of odd order advanced differential equations, Bound. Value Probl., 2014 (2014), 1–9. https://doi.org/10.1186/s13661-014-0214-3 doi: 10.1186/s13661-014-0214-3
![]() |
[15] |
B. Almarri, A. H. Ali, A. M. Lopes, O. Bazighifan, Nonlinear differential equations with distributed delay: some new oscillatory solutions, Mathematics, 10 (2022), 1–10. https://doi.org/10.3390/math10060995 doi: 10.3390/math10060995
![]() |
[16] |
O. Bazighifan, O. Moaaz, R. A. El-Nabulsi, A. Muhib, Some new oscillation results for fourth-order neutral differential equations with delay argument, Symmetry, 12 (2020), 1–10. https://doi.org/10.3390/sym12081248 doi: 10.3390/sym12081248
![]() |
[17] |
R. P. Agarwal, M. Bohner, T. X. Li, C. H. Zhang, Even-order half-linear advanced differential equations: improved criteria in oscillatory and asymptotic properties, Appl. Math. Comput., 266 (2015), 481–490. https://doi.org/10.1016/j.amc.2015.05.008 doi: 10.1016/j.amc.2015.05.008
![]() |
[18] |
B. Qaraad, O. Bazighifan, A. H. Ali, A. A. Al-Moneef, A. J. Alqarni, K. Nonlaopon, Oscillation results of third-order differential equations with symmetrical distributed arguments, Symmetry, 14 (2022), 1–14. https://doi.org/10.3390/sym14102038 doi: 10.3390/sym14102038
![]() |
[19] |
C. Cesarano, O. Moaaz, B. Qaraad, N. A. Alshehri, S. K. Elagan, M. Zakarya, New results for oscillation of solutions of odd-order neutral differential equations, Symmetry, 13 (2021), 1–12. https://doi.org/10.3390/sym13061095 doi: 10.3390/sym13061095
![]() |
[20] |
O. Moaaz, R. A. El-Nabulsi, A. Muhib, S. K. Elagan, M. Zakarya, New improved results for oscillation of fourth-order neutral differential equations, Mathematics, 9 (2021), 1–12. https://doi.org/10.3390/math9192388 doi: 10.3390/math9192388
![]() |
[21] |
T. X. Li, Y. V. Rogovchenko, On asymptotic behavior of solutions to higher-order sublinear Emden-Fowler delay differential equations, Appl. Math. Lett., 67 (2017), 53–59. https://doi.org/10.1016/j.aml.2016.11.007 doi: 10.1016/j.aml.2016.11.007
![]() |
[22] |
O. Moaaz, C. Cesarano, A. Muhib, Some new oscillation results for fourth-order neutral differential equations, Eur. J. Pure Appl. Math., 13 (2020), 185–199. https://doi.org/10.29020/nybg.ejpam.v13i2.3654 doi: 10.29020/nybg.ejpam.v13i2.3654
![]() |
[23] |
A. Almutairi, A. H. Ali, O. Bazighifan, L. F. Iambor, Oscillatory properties of fourth-order advanced differential equations, Mathematics, 11 (2023), 1–11. https://doi.org/10.3390/math11061391 doi: 10.3390/math11061391
![]() |
[24] |
M. F. Aktas, A. Tiryaki, A. Zafer, Oscillation criteria for third-order nonlinear functional differential equations, Appl. Math. Lett., 23 (2010), 756–762. https://doi.org/10.1016/j.aml.2010.03.003 doi: 10.1016/j.aml.2010.03.003
![]() |
[25] |
G. E. Chatzarakis, T. X. Li, Oscillation criteria for delay and advanced differential equations with nonmonotone arguments, Complexity, 2018 (2018), 1–18. https://doi.org/10.1155/2018/8237634 doi: 10.1155/2018/8237634
![]() |
[26] |
S. S. Santra, K. M. Khedher, O. Moaaz, A. Muhib, S. W. Yao, Second-order impulsive delay differential systems: necessary and sufficient conditions for oscillatory or asymptotic behavior, Symmetry, 13 (2021), 1–12. https://doi.org/10.3390/sym13040722 doi: 10.3390/sym13040722
![]() |
[27] |
J. Dzurina, I. Jadlovska, A note on oscillation of second-order delay differential equations, Appl. Math. Lett., 69 (2017), 126–132. https://doi.org/10.1016/j.aml.2017.02.003 doi: 10.1016/j.aml.2017.02.003
![]() |
[28] |
J. Dzurina, I. Jadlovska, A sharp oscillation result for second-order half-linear noncanonical delay differential equations, Electron. J. Qual. Theory Differ. Equ., 2020 (2020), 1–14. https://doi.org/10.14232/ejqtde.2020.1.46 doi: 10.14232/ejqtde.2020.1.46
![]() |
[29] |
J. Dzurina, S. R. Grace, I. Jadlovska, T. X. Li, Oscillation criteria for second-order Emden-Fowler delay differential equations with a sublinear neutral term, Math. Nachr., 293 (2020), 910–922. https://doi.org/10.1002/mana.201800196 doi: 10.1002/mana.201800196
![]() |
[30] |
T. X. Li, Y. V. Rogovchenko, Oscillation of second-order neutral differential equations, Math. Nachr., 288 (2015), 1150–1162. https://doi.org/10.1002/mana.201300029 doi: 10.1002/mana.201300029
![]() |
[31] |
T. X. Li, Y. V. Rogovchenko, Oscillation criteria for second-order superlinear Emden-Fowler neutral differential equations, Monatsh. Math., 184 (2017), 489–500. https://doi.org/10.1007/s00605-017-1039-9 doi: 10.1007/s00605-017-1039-9
![]() |
[32] |
G. E. Chatzarakis, I. Jadlovska, Improved oscillation results for second-order half-linear delay differential equations, Hacet. J. Math. Stat., 48 (2019), 170–179. https://doi.org/10.15672/HJMS.2017.522 doi: 10.15672/HJMS.2017.522
![]() |
[33] |
S. R. Grace, J. Dzurina, I. Jadlovska, T. X. Li, An improved approach for studying oscillation of second-order neutral delay differential equations, J. Inequal. Appl., 2018 (2018), 1–13. https://doi.org/10.1186/s13660-018-1767-y doi: 10.1186/s13660-018-1767-y
![]() |
[34] |
I. Jadlovska, New criteria for sharp oscillation of second-order neutral delay differential equations, Mathematics, 9 (2021), 1–23. https://doi.org/10.3390/math9172089 doi: 10.3390/math9172089
![]() |
[35] |
O. Moaaz, M. Anis, D. Baleanu, A. Muhib, More effective criteria for oscillation of second-order differential equations with neutral arguments, Mathematics, 8 (2020), 1–13. https://doi.org/10.3390/math8060986 doi: 10.3390/math8060986
![]() |
[36] |
I. Jadlovska, Oscillation criteria of Kneser-type for second-order half-linear advanced differential equations, Appl. Math. Lett., 106 (2020), 106354. https://doi.org/10.1016/j.aml.2020.106354 doi: 10.1016/j.aml.2020.106354
![]() |
[37] |
G. E. Chatzarakis, J. Dzurina, I. Jadlovska, New oscillation criteria for second-order half-linear advanced differential equations, Appl. Math. Comput., 347 (2019), 404–416. https://doi.org/10.1016/j.amc.2018.10.091 doi: 10.1016/j.amc.2018.10.091
![]() |
[38] |
Y. S. Qi, J. W. Yu, Oscillation of second order nonlinear mixed neutral differential equations with distributed deviating arguments, Bull. Malays. Math. Sci. Soc., 38 (2015), 543–560. https://doi.org/10.1007/s40840-014-0035-7 doi: 10.1007/s40840-014-0035-7
![]() |
[39] |
C. H. Zhang, B. Baculikova, J. Dzurina, T. X. Li, Osillation results for second-order mixed neutral differential equations with distributed deviating arguments, Math. Slovaca, 66 (2016), 615–626. https://doi.org/10.1515/ms-2015-0165 doi: 10.1515/ms-2015-0165
![]() |
[40] |
H. W. Shi, Y. Z. Bai, Oscillatory behavior of a second order nonlinear advanced differential equation with mixed neutral terms, Adv. Differ. Equ., 2019 (2019), 468. https://doi.org/10.1186/s13662-019-2393-9 doi: 10.1186/s13662-019-2393-9
![]() |
[41] |
R. Arul, V. S. Shobha, Oscillation of second order nonlinear neutral differential equations with mixed neutral term, J. Appl. Math. Phys., 3 (2015), 1080–1089. https://doi.org/10.4236/jamp.2015.39134 doi: 10.4236/jamp.2015.39134
![]() |
[42] | E. Thandapani, S. Padmavathi, P. Pinelas, Oscillation criteria for even-order nonlinear neutral differential equations of mixed type, Bull. Math. Anal. Appl., 6 (2014), 9–22. |
[43] |
O. Moaaz, A. Muhib, S. S. Santra, An oscillation test for solutions of second-order neutral differential equations of mixed type, Mathematics, 9 (2021), 1634. https://doi.org/10.3390/math9141634 doi: 10.3390/math9141634
![]() |
1. | Xue-Ying Zhang, Ze-Kun Xu, Wei-Ran Lü, On Entire Function Solutions to Fermat Delay-Differential Equations, 2022, 11, 2075-1680, 554, 10.3390/axioms11100554 | |
2. | Yuxian Chen, Libing Xie, Hongyan Xu, Kenan Yildirim, Results on Solutions for Several Systems of Partial Differential-Difference Equations with Two Complex Variables, 2023, 2023, 2314-4785, 1, 10.1155/2023/6158435 | |
3. | Raju Biswas, Rajib Mandal, Entire solutions for quadratic trinomial partial differential-difference functional equations in Cn , 2024, Accepted, 1450-5444, 10.30755/NSJOM.15512 | |
4. | Xiao Lan Liu, Hong Yan Xu, Yi Hui Xu, Nan Li, Results on solutions of several systems of the product type complex partial differential difference equations, 2024, 57, 2391-4661, 10.1515/dema-2023-0153 |