
In Euclidean 3-space E3, a canonical subject is the focal surface of such a cliched space curve, which would be a two-dimensional corrosive with Lagrangian discontinuities. The tubular surfaces with respect to the B-Darboux frame and type-2 Bishop frame in E3 are given. These tubular surfaces' focal surfaces are then defined. For such types of surfaces, we acquire some results becoming Weingarten, flat, linear Weingarten conditions and we demonstrate that in E3, a tubular surface has no minimal focal surface. We also provide some examples of these types of surfaces.
Citation: Ibrahim AL-Dayel, Emad Solouma, Meraj Khan. On geometry of focal surfaces due to B-Darboux and type-2 Bishop frames in Euclidean 3-space[J]. AIMS Mathematics, 2022, 7(7): 13454-13468. doi: 10.3934/math.2022744
[1] | Changdev P. Jadhav, Tanisha B. Dale, Vaijanath L. Chinchane, Asha B. Nale, Sabri T. M. Thabet, Imed Kedim, Miguel Vivas-Cortez . On solutions of fractional differential equations for the mechanical oscillations by using the Laplace transform. AIMS Mathematics, 2024, 9(11): 32629-32645. doi: 10.3934/math.20241562 |
[2] | Duoduo Zhao, Kai Zhou, Fengming Ye, Xin Xu . A class of time-varying differential equations for vibration research and application. AIMS Mathematics, 2024, 9(10): 28778-28791. doi: 10.3934/math.20241396 |
[3] | Takumi Washio, Akihiro Fujii, Toshiaki Hisada . On random force correction for large time steps in semi-implicitly discretized overdamped Langevin equations. AIMS Mathematics, 2024, 9(8): 20793-20810. doi: 10.3934/math.20241011 |
[4] | Omar Bazighifan, Areej A. Al-moneef, Ali Hasan Ali, Thangaraj Raja, Kamsing Nonlaopon, Taher A. Nofal . New oscillation solutions of impulsive conformable partial differential equations. AIMS Mathematics, 2022, 7(9): 16328-16348. doi: 10.3934/math.2022892 |
[5] | Amjid Ali, Teruya Minamoto, Rasool Shah, Kamsing Nonlaopon . A novel numerical method for solution of fractional partial differential equations involving the ψ-Caputo fractional derivative. AIMS Mathematics, 2023, 8(1): 2137-2153. doi: 10.3934/math.2023110 |
[6] | Ahmad Qazza, Rania Saadeh, Emad Salah . Solving fractional partial differential equations via a new scheme. AIMS Mathematics, 2023, 8(3): 5318-5337. doi: 10.3934/math.2023267 |
[7] | Aslı Alkan, Halil Anaç . The novel numerical solutions for time-fractional Fornberg-Whitham equation by using fractional natural transform decomposition method. AIMS Mathematics, 2024, 9(9): 25333-25359. doi: 10.3934/math.20241237 |
[8] | Shaomin Wang, Cunji Yang, Guozhi Cha . On the variational principle and applications for a class of damped vibration systems with a small forcing term. AIMS Mathematics, 2023, 8(9): 22162-22177. doi: 10.3934/math.20231129 |
[9] | Armin Hadjian, Juan J. Nieto . Existence of solutions of Dirichlet problems for one dimensional fractional equations. AIMS Mathematics, 2022, 7(4): 6034-6049. doi: 10.3934/math.2022336 |
[10] | Paul Bosch, José M. Rodríguez, José M. Sigarreta . Oscillation results for a nonlinear fractional differential equation. AIMS Mathematics, 2023, 8(5): 12486-12505. doi: 10.3934/math.2023627 |
In Euclidean 3-space E3, a canonical subject is the focal surface of such a cliched space curve, which would be a two-dimensional corrosive with Lagrangian discontinuities. The tubular surfaces with respect to the B-Darboux frame and type-2 Bishop frame in E3 are given. These tubular surfaces' focal surfaces are then defined. For such types of surfaces, we acquire some results becoming Weingarten, flat, linear Weingarten conditions and we demonstrate that in E3, a tubular surface has no minimal focal surface. We also provide some examples of these types of surfaces.
The theory of fractional calculus has played an important role in engineering and natural sciences. Currently, the concept of fractional calculus has been effectively used in many social, physical, signal, image processing, biological and engineering problems. Further, it has been realized that a fractional system provides a more accurate interpretation than the integer-order system in many real modeling problems. For more details, one can refer to [1,2,3,4,5,6,7,8,9,10].
Oscillation phenomena take part in different models of real world applications; see for instance the papers [11,12,13,14,15,16,17] and the papers cited therein. More precisely, we refer the reader to the papers [18,19] on bio-mathematical models where oscillation and/or delay actions may be formulated by means of cross-diffusion terms. Recently and although it is rare, the study on the oscillation of fractional partial differential equations has attracted many researchers. In [20,21,22,23], the researchers have established the requirements of the oscillation for certain kinds of fractional partial differential equations.
In [24], Luo et al. studied the oscillatory behavior of the fractional partial differential equation of the form
D1+α+,tu(y,t)+p(t)Dα+,tu(y,t)+q(y,t)∫t0(t−ℏ)−αu(y,ℏ)dℏ=a(t)Δu(y,t)+m∑i=1ai(t)Δu(y,t−τi),(y,t)∈Q×R+=H |
subject to either of the following boundary conditions
∂u(y,t)∂ν+β(y,t)u(y,t)=0,(y,t)∈∂Q×R+,u(y,t)=0,(y,t)∈∂Q×R+. |
They have obtained some sufficient conditions for the oscillation of all solutions of this kind of fractional partial differential equations by using the integral averaging technique and Riccati transformations.
On other hand in [25], Xu and Meng considered a fractional partial differential equation of the form
Dα+,t(r(t)Dα+,tu(y,t))+p(t)Dα+,tu(y,t)+q(y,t)f(u(y,t))=a(t)Δu(y,t)+m∑i=1bi(t)Δu(y,t−τi),(y,t)∈Q×R+=H |
with the Robin boundary condition
∂u(y,t)∂N+g(y,t)u(y,t)=0,(y,t)∈∂Q×R+, |
they obtained some oscillation criteria using the integral averaging technique and Riccati transformations.
Prakash et al. [26] considered the oscillation of the fractional differential equation
∂∂t(r(t)Dα+,tu(y,t))+q(y,t)f(∫t0(t−v)−αu(y,v)dv)=a(t)Δu(y,t),(y,t)∈Q×R+ |
with the Neumann boundary condition
∂u(y,t)∂N=0,(y,t)∈∂Q×R+, |
they obtained some oscillation criteria by using the integral averaging technique and Riccati transformations.
Furthermore in [27], Ma et al. considered the forced oscillation of the fractional partial differential equation with damping term of the form
∂∂t(r(t)Dα+,tu(y,t))+p(t)Dα+,tu(y,t)+q(y,t)f(u(y,t))=a(t)Δu(y,t)+˜g(y,t),(y,t)∈Q×R+ |
with the boundary condition
∂u(y,t)∂N+β(y,t)u(y,t)=0,(y,t)∈∂Q×R+, |
they obtained some oscillation criteria by using the integral averaging technique.
From the above mentioned literature, one can notice that the Riccati transformation method has been incorporated into the proof of the oscillation results. Unlike previous results, however, we study in this paper the forced oscillation of the fractional partial differential equation with the damping term of the form
∂∂t(a(t)∂∂t(r(t)g(Dα+,tu(y,t))))+p(t)∂∂t(r(t)g(Dα+,tu(y,t)))=b(t)Δu(y,t)+m∑i=1ai(t)Δu(y,t−τi)−q(y,t)∫t0(t−ℏ)−αu(y,ℏ)dℏ+f(y,t),(y,t)∈Q×R+=H | (1.1) |
via the application of the integral averaging technique only. Equation (1.1) is presented under a high degree of generality providing a general platform for many particular cases. Here, Dα+,tu(y,t) is the Riemann-Liouville fractional partial derivative of order α of u,α∈(0,1), Δ is the Laplacian in Rn, i.e.,
Δu(y,t)=∑nr=1∂2u(y,t)∂y2r, |
Q is a bounded domain of Rn with the piecewise smooth boundary ∂Q and R+:=(0,∞).
Further, we assume the Robin and Dirichlet boundary conditions
∂u(y,t)∂N+γ(y,t)u(y,t)=0,(y,t)∈∂Q×R+ | (1.2) |
and
u(y,t)=0,(y,t)∈∂Q×R+, | (1.3) |
where N is the unit outward normal to ∂Q and γ(y,t)>0 is a continuous function on ∂Q×R+. The following conditions are assumed throughout:
(H1) a(t)∈C1([t0,∞);R+) and r(t)∈C2([t0,∞);R+);
(H2) g(t)∈C2(R;R) is an increasing function and there exists a positive constant k such that yg(y)=k>0, yg(y)≠0 for y≠0;
(H3) p(t)∈C([t0,∞);R) and A(t)=∫tt0p(ζ)a(ζ)dζ;
(H4) b(t),ai(t)∈C(R+;R+) and τi are non-negative constants, i∈Im={1,2,…,m};
(H5) q(y,t)∈C(H;R+) and q(t)=miny∈Qq(y,t);
(H6) f(y,t)∈C(ˉH;R).
By a solution of the problems (1.1) and (1.2) (or (1.1)–(1.3)), we mean a function u(y,t)∈C2+α(ˉQ×[0,∞)), which satisfies (1.1) on H and the boundary condition (1.2) (or (1.3)).
A solution u(y,t) of (1.1) is said to be oscillatory if it is neither eventually positive nor eventually negative. Otherwise, it is non-oscillatory.
The rest of the paper is organized as follows. Some basic definitions and known lemmas are included in Section 2. In Sections 3 and 4, we study the oscillations of (1.1) and (1.2), and (1.1) and (1.3), respectively. Section 5 deals with some applications for the sake of showing the feasibility and effectiveness of our results. Lastly, we add a conclusion in Section 6.
Before we start the main work, we present some basic lemmas and definitions which are applied in what follows.
Definition 1. [4] The Riemann-Liouville fractional integral of order α>0 of a function y:R+→R on the half-axis R+ is defined by
(Iα+y)(t):=1Γ(α)∫t0(t−ϑ)α−1y(ϑ)dϑ,t>0 |
provided the right-hand side is pointwise defined on R+, where Γ is the gamma function.
Definition 2. [4] The Riemann-Liouville fractional derivative of order α>0 of a function y:R+→R on the half-axis R+ is defined by
(Dα+y)(t):=d⌈α⌉dt⌈α⌉(I⌈α⌉−α+y)(t),t>0 |
provided the right-hand side is pointwise defined on R+, where ⌈α⌉ is the ceiling function of α.
Definition 3. [4] The Riemann-Liouville fractional partial derivative of order 0<α<1 with respect to t of a function u(y,t) is defined by
(Dα+,tu)(y,t):=1Γ(1−α)∂∂t∫t0(t−ϑ)−αu(y,ϑ)dϑ |
provided the right-hand side is pointwise defined on R+.
Lemma 1. [4] Let y be a solution of (1.1) and
L(t):=∫t0(t−ϑ)−αy(ϑ)dϑ |
for α∈(0,1) and t>0. Then
L′(t)=Γ(1−α)(Dα+y)(t). |
Lemma 2. [4] Let α≥0,m∈N and D=ddt. If the fractional derivatives (Dαa+y)(t) and (Dα+ma+y)(t) exist, then
(DmDαa+y)(t)=(Dα+ma+y)(t). |
Lemma 3. [4] If α∈(0,1), then
(Iαa+Dαa+y)(t)=y(t)−y1−α(a)Γ(α)(t−a)α−1, |
where y1−α(t)=(I1−αa+y)(t).
Lemma 4. [5] The smallest eigenvalue β0 of the Dirichlet problem
Δω(y)+βω(y)=0 in Qω(y)=0 on ∂Q |
is positive and the corresponding eigenfunction ϕ(y) is positive in Q.
In this section, we establish the oscillation criteria for (1.1) and (1.2).
Theorem 1. If (H1)−(H6) are valid, limt→∞I1−α+U(0)=C0 and if
lim inft→∞∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ<0 | (3.1) |
and
lim supt→∞∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ>0 | (3.2) |
for some constants C0,C1 and C2 with F(t)=∫Qf(y,t)dy, then all solutions of (1.1) and (1.2) are oscillatory.
Proof. If u(y,t) is a non-oscillatory solution of (1.1) and (1.2) then there exists a t0≥0 such that u(y,t)>0 (or u(y,t)<0),t≥t0.
Case 1. Let u(y,t)>0 for t≥t0. Integrating (1.1) over Q, we get
ddt(a(t)ddt(r(t)g(Dα+U(t))))+p(t)ddt(r(t)g(Dα+U(t)))=b(t)∫QΔu(y,t)dy+m∑i=1ai(t)∫QΔu(y,t−τi)dy−∫Q(q(y,t)∫t0(t−ℏ)−αu(y,ℏ)dℏ)dy+∫Qf(y,t)dy, | (3.3) |
where U(t)=∫Qu(y,t)dy with U(t)>0. By (1.2) and Green's formula, we have
∫QΔu(y,t)dy=∫∂Q∂u∂Ndζ=−∫∂Qγ(y,t)u(y,t)dζ<0 | (3.4) |
and
∫QΔu(y,t−τi)dy<0. | (3.5) |
Also, by (H5), one can get
∫Q(q(y,t)∫t0(t−ℏ)−αu(y,ℏ)dℏ)dy≥q(t)∫t0(t−ℏ)−α(∫Qu(y,ℏ)dy)dℏ=q(t)L(t), | (3.6) |
where L(t)=∫t0(t−ℏ)−αU(ℏ)dℏ. Because of the inequalities (3.4)–(3.6), (3.3) becomes
ddt(a(t)ddt(r(t)g(Dα+U(t))))+p(t)ddt(r(t)g(Dα+U(t)))≤−q(t)L(t)+F(t)≤F(t). |
Thus, we get
(eA(t)a(t)(r(t)g(Dα+U(t)))′)′=eA(t)((a(t)(r(t)g(Dα+U(t)))′)′+p(t)(r(t)g(Dα+U(t)))′)≤eA(t)F(t). |
Integrating the above inequality over [t0,t], one can get
eA(t)a(t)(r(t)g(Dα+U(t)))′≤∫tt0eA(ζ)F(ζ)dζ+C1, |
where
C1=eA(t0)a(t0)(r(t0)g(Dα+U(t0)))′. |
Again integrating the above inequality over [t0,t], we get
r(t)g(Dα+U(t))≤C2+∫tt0C1eA(τ)a(τ)dτ+∫tt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ, |
where C2=r(t0)g(Dα+U(t0)). Then using (H5), we obtain
Dα+U(t)k≤C2r(t)+1r(t)∫tt0C1eA(τ)a(τ)dτ+1r(t)∫tt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ. |
Applying the Riemann-Liouville fractional integral operator of order α to the above inequality and using Lemma 3, we obtain
U(t)−I1−α0U(0)Γ(α)tα−1≤kΓ(α)∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ. |
Then
lim inft→∞U(t)≤lim inft→∞C0Γ(α)tα−1+lim inft→∞{kΓ(α)∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ}. |
Therefore, by our hypothesis, as given by (3.1), we get lim inft→∞U(t)≤0. This leads to a contradiction to U(t)>0.
Case 2. Let u(y,t)<0 for t≥t0. Just as in Case 1, we can obtain that (3.3) holds and U(t)<0. By (1.2) and Green's formula, we get
∫QΔu(y,t)dy=∫∂Q∂u∂Ndζ=−∫∂Qγ(y,t)u(y,t)dζ>0 | (3.7) |
and
∫QΔu(y,t−τi)dy>0. | (3.8) |
Also, by (H5), we have
∫Q(q(y,t)∫t0(t−ℏ)−αu(y,ℏ)dℏ)dy≤q(t)∫t0(t−ℏ)−α(∫Qu(y,ℏ)dy)dℏ=q(t)L(t). | (3.9) |
Because of the inequalities (3.7)–(3.9), (3.3) becomes
ddt(a(t)ddt(r(t)g(Dα+U(t))))+p(t)ddt(r(t)g(Dα+U(t)))≥−q(t)L(t)+F(t)≥F(t), | (3.10) |
that is,
(eA(t)a(t)(r(t)g(Dα+U(t)))′)′=eA(t)((a(t)(r(t)g(Dα+U(t)))′)′+p(t)(r(t)g(Dα+U(t)))′)≥eA(t)F(t). |
Integrating the above inequality over [t0,t], we have
eA(t)a(t)(r(t)g(Dα+U(t)))′≥∫tt0eA(ζ)F(ζ)dζ+C1, |
where
C1=eA(t0)a(t0)(r(t0)g(Dα+U(t0)))′. |
Again integrating the above inequality over [t0,t], we obtain
r(t)g(Dα+U(t))≥C2+∫tt0C1eA(τ)a(τ)dτ+∫tt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ, |
where C2=r(t0)g(Dα+U(t0)). Then using (H5), we obtain
Dα+U(t)k≥C2r(t)+1r(t)∫tt0C1eA(τ)a(τ)dτ+1r(t)∫tt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ. |
Applying the Riemann-Liouville fractional integral operator of order α to the above inequality and using Lemma 3, we obtain
U(t)−I1−α0U(0)Γ(α)tα−1≥kΓ(α)∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ. |
Then
lim supt→∞U(t)≥lim supt→∞C0Γ(α)tα−1+lim supt→∞{kΓ(α)∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ}. |
Therefore, by our hypothesis given by (3.2), we get lim supt→∞U(t)≥0. This leads to a contradiction to U(t)<0.
In this section, we establish the oscillation criteria for (1.1) and (1.3).
Theorem 2. If (H1)−(H5) are valid, limt→∞I1−α+U1(0)=A1 and if
lim inft→∞∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F1(ζ)dζ)dτ]dℏ<0 | (4.1) |
and
lim supt→∞∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F1(ζ)dζ)dτ]dℏ>0 | (4.2) |
for some constants A1,C1 and C2 with
F1(t)=∫Qf(y,t)ϕ(y)dyandU1(t)=∫Qu(y,t)ϕ(y)dy, |
then all solutions of (1.1) and (1.3) are oscillatory.
Proof. If u(y,t) is a non-oscillatory solution of (1.1) and (1.3) then there exists a t0≥0 such that u(y,t)>0 (or u(y,t)<0) for t≥t0.
Case 1. Let u(y,t)>0 for t≥t0. Multiplying (1.1) by ϕ(y) and then integrating over Q, we get
∫Q∂∂t(a(t)∂∂t(r(t)g(Dα+,tu(y,t))))ϕ(y)dy+∫Qp(t)∂∂t(r(t)g(Dα+,tu(y,t)))ϕ(y)dy=∫Qb(t)Δu(y,t)ϕ(y)dy+∫Qm∑i=1ai(t)Δu(y,t−τi)ϕ(y)dy−∫Q(q(y,t)∫t0(t−ℏ)−αu(y,ℏ)dℏ)ϕ(y)dy+∫Qf(y,t)ϕ(y)dy. | (4.3) |
By Lemma 4 and Green's formula, we have
∫QΔu(y,t)ϕ(y)dy=∫Qu(y,t)Δϕ(y)dy=−β0∫Qu(y,t)ϕ(y)dy<0 | (4.4) |
and
∫QΔu(y,t−τi)ϕ(y)dy<0. | (4.5) |
Also, by (H5), we get
∫Q(q(y,t)∫t0(t−ℏ)−αu(y,ℏ)ϕ(y)dℏ)dy≥q(t)∫t0(t−ℏ)−α(∫Qu(y,ℏ)ϕ(y)dy)dℏ=q(t)L1(t), | (4.6) |
where
L1(t)=∫t0(t−ℏ)−αU1(ℏ)dℏ>0. |
Because of the inequalities (4.4)–(4.6), (4.3) becomes
ddt(a(t)ddt(r(t)g(Dα+U1(t))))+p(t)ddt(r(t)g(Dα+U1(t)))≤−q(t)L1(t)+F1(t)≤F1(t), |
that is,
(eA(t)a(t)(r(t)g(Dα+U1(t)))′)′=eA(t)[(a(t)(r(t)g(Dα+U1(t)))′)′+p(t)(r(t)g(Dα+U1(t)))′]≤eA(t)F1(t). |
Integrating the above inequality over [t0,t], we have
eA(t)a(t)(r(t)g(Dα+U1(t)))′≤∫tt0eA(ζ)F1(ζ)dζ+C1, |
where
C1=eA(t0)a(t0)(r(t0)g(Dα+U1(t0)))′. |
Again integrating the above inequality over [t0,t], we have
r(t)g(Dα+U1(t))≤C2+∫tt0C1eA(τ)a(τ)dτ+∫tt01eA(τ)a(τ)(∫τt0eA(ζ)F1(ζ)dζ)dτ, |
where C2=r(t0)g(Dα+U1(t0)). Then using (H5), we obtain
Dα+U1(t)k≤C2r(t)+1r(t)∫tt0C1eA(τ)a(τ)dτ+1r(t)∫tt01eA(τ)a(τ)(∫τt0eA(ζ)F1(ζ)dζ)dτ. |
Applying the Riemann-Liouville fractional integral operator of order α to the above inequality and using Lemma 3, we obtain
U1(t)−I1−α0U1(0)Γ(α)tα−1≤kΓ(α)∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F1(ζ)dζ)dτ]dℏ. |
Then
lim inft→∞U1(t)≤lim inft→∞A1Γ(α)tα−1+lim inft→∞{kΓ(α)∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F1(ζ)dζ)dτ]dℏ}. |
Therefore, by our hypothesis given by (4.1), we get lim inft→∞U1(t)≤0. This leads to a contradiction to U1(t)>0.
Case 2. Let u(y,t)<0 for t≥t0. Multiplying (1.1) by ϕ(y) and then integrating over Q, one can get (4.3). Using Green's formula, we have
∫QΔu(y,t)ϕ(y)dy=∫Qu(y,t)Δϕ(y)dy=−β0∫Qu(y,t)ϕ(y)dy>0 | (4.7) |
and
∫QΔu(y,t−τi)ϕ(y)dy>0. | (4.8) |
Also, by (H5), we have
∫Q(q(y,t)∫t0(t−ℏ)−αu(y,ℏ)dℏ)ϕ(y)dy≤q(t)∫t0(t−ℏ)−α(∫Qu(y,ℏ)ϕ(y)dy)dℏ=q(t)L1(t), | (4.9) |
where
L1(t)=∫t0(t−ℏ)−αU1(ℏ)dℏ<0. |
Because of the inequalities (4.7)–(4.9), (4.3) becomes
ddt(a(t)ddt(r(t)g(Dα+U1(t))))+p(t)ddt(r(t)g(Dα+U1(t)))≥−q(t)L1(t)+F1(t)≥F1(t), | (4.10) |
that is,
(eA(t)a(t)(r(t)g(Dα+U1(t)))′)′=eA(t)((a(t)(r(t)g(Dα+U1(t)))′)′+p(t)(r(t)g(Dα+U1(t)))′)≥eA(t)F1(t). |
Integrating the above inequality over [t0,t], we get
eA(t)a(t)(r(t)g(Dα+U1(t)))′≥∫tt0eA(ζ)F1(ζ)dζ+C1, |
where
C1=eA(t0)a(t0)(r(t0)g(Dα+U1(t0)))′. |
Again integrating the above inequality over [t0,t], we get
r(t)g(Dα+U1(t))≥C2+∫tt0C1eA(τ)a(τ)dτ+∫tt01eA(τ)a(τ)(∫τt0eA(ζ)F1(ζ)dζ)dτ, |
where C2=r(t0)g(Dα+U1(t0)). Then using (H5), we obtain
Dα+U1(t)k≥C2r(t)+1r(t)∫tt0C1eA(τ)a(τ)dτ+1r(t)∫tt01eA(τ)a(τ)(∫τt0eA(ζ)F1(ζ)dζ)dτ. |
Applying the Riemann-Liouville fractional integral operator of order α to the above inequality and using Lemma 3, we obtain
U1(t)−I1−α0U1(0)Γ(α)tα−1≥kΓ(α)∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F1(ζ)dζ)dτ]dℏ. |
Then
lim supt→∞U1(t)≥lim supt→∞A1Γ(α)tα−1+lim supt→∞{kΓ(α)∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F1(ζ)dζ)dτ]dℏ}. |
Therefore, by our hypothesis given by (4.2), we get lim supt→∞U1(t)≥0. This leads to a contradiction to U1(t)<0.
In this section, we give two examples to illustrate our main results.
Example 1. Let us consider the fractional partial differential system
D52+,tu(y,t)=1πΔu(y,t)+2tΔu(y,t−1)−(y2+1t2)∫t0(t−ℏ)−12u(y,ℏ)dℏ+e2tcos(t)sin(y),(y,t)∈(0,π)×R+ | (5.1) |
with the condition
uy(0,t)=uy(π,t)=0. | (5.2) |
In the above, a(t)=1,r(t)=1,g(t)=t,α=1/2,p(t)=0,b(t)=1/π,m=1,a1(t)=2t,τ1=1, q(y,t)=(y2+1t2),f(y,t)=e2tcos(t)sin(y),Q=(0,π),q(t)=miny∈(0,π)q(y,t)=1/t2 and t0=0.
Since F(t)=∫π0e2tcos(t)sin(y)dy=2e2tcos(t) and A(t)=0, we have
∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ=C2∫t0(t−ℏ)−1/2dℏ+C1∫t0(t−ℏ)−1/2(∫ℏ0dτ)dℏ+25∫t0(t−ℏ)−1/2(2∫ℏ0e2τcos(τ)dτ+∫ℏ0e2τsin(τ)dτ−2∫ℏ0dτ)dℏ=(C2−6/25)∫t0(t−ℏ)−1/2dℏ+(C1−4/5)∫t0ℏ(t−ℏ)−1/2dℏ+6/25∫t0e2ℏ(t−ℏ)−1/2cos(ℏ)dℏ+8/25∫t0e2ℏ(t−ℏ)−1/2sin(ℏ)dℏ. |
Fixing y2=t−ℏ, then
∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ=2(C2−6/25)√t+4/3(C1−4/5)t3/2+4/25e2t(3cos(t)∫√t0e−2y2cos(y2)dy+3sin(t)∫√t0e−2y2sin(y2)dy+4sin(t)∫√t0e−2y2cos(y2)dy−4cos(t)∫√t0e−2y2sin(y2)dy). | (5.3) |
Pointing out that
|e−2y2cos(y2)|≤e−2y2,|e−2y2sin(y2)|≤e−2y2 and limt→∞∫√t0e−2y2dy=√2π4, |
we can conclude that
limt→∞∫√t0e−2y2cos(y2)dy and limt→∞∫√t0e−2y2sin(y2)dy |
are convergent. Thus, we have that
limt→∞[cos(t)(3∫√t0e−2y2cos(y2)dy−4∫√t0e−2y2sin(y2)dy)+sint(3∫√t0e−2y2sin(y2)dy+4∫√t0e−2y2cos(y2)dy)] |
is convergent. Fixing
limt→∞∫√t0e−2y2cos(y2)dy=P,limt→∞∫√t0e−2y2sin(y2)dy=Q |
and considering the sequence
tn=3π2+2nπ−arctan(3P−4Q3Q+4P), |
we get
limn→∞{cos(tn)(3∫√tn0e−2y2cos(y2)dy−4∫√tn0e−2y2sin(y2)dy)+sin(tn)(3∫√tn0e−2y2sin(y2)dy+4∫√tn0e−2y2cos(y2)dy)}=√(3P−4Q)2+(3Q+4P)2sin(3π2+2nπ−arctan(3P−4Q3Q+4P)+arctan(3P−4Q3Q+4P))=5√P2+Q2sin(3π2+2nπ)=−5√P2+Q2. |
Since limn→∞tn=∞, from (5.3), we have
lim inft→∞∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ=lim infn→∞{2(C2−6/25)√tn+4/3(e−1C1−4/5)t3/2n+4/25e2tn[cos(tn)(3∫√tn0e−2y2cos(y2)dy−4∫√tn0e−2y2sin(y2)dy)+sin(tn)(3∫√tn0e−2y2sin(y2)dy+4∫√tn0e−2y2cos(y2)dy)]}=−∞<0. |
Similarly, fixing
tn=π2+2nπ−arctan(3P−4Q3Q+4P), |
we get
limn→∞[cos(tn)(3∫√tn0e−2y2cos(y2)dy−4∫√tn0e−2y2sin(y2)dy)+sin(tn)(3∫√tn0e−2y2sin(y2)dy+4∫√tn0e−2y2cos(y2)dy)]=5√P2+Q2. |
Thus, from (5.3), we can get
lim supt→∞∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ=lim supn→∞{2(C2−6/25)√tn+4/3(e−1C1−4/5)t3/2n+4/25e2tn[cos(tn)(3∫√tn0e−2y2cos(y2)dy−4∫√tn0e−2y2sin(y2)dy)+sin(tn)(3∫√tn0e−2y2sin(y2)dy+4∫√tn0e−2y2cos(y2)dy)]}=∞>0. |
Therefore, by referring to Theorem 1, the solutions of (5.1) and (5.2) are oscillatory.
Example 2. Let us consider the fractional partial differential system
11875√πD52+,tu(y,t)=1105t52Δu(y,t)+(1675×102πt3−16e2tcos(t)5πt3)∫t0(t−ℏ)−12u(y,ℏ)dℏ+e2tcos(t)cos(10y),(y,t)∈(0,π)×(0,1.5) | (5.4) |
with the condition
u(0,t)=u(π,t)=0. | (5.5) |
In the above, a(t)=1, r(t)=11875√π, g(t)=t, α=1/2, p(t)=0, b(t)=12×105t52, m=1, a1(t)=12×105t52, τ1=0, q(y,t)= −1675×102πt3+16e2tcos(t)5πt3,f(y,t)= e2tcos(t)sin(y),Q=(0,π),q(t)=miny∈(0,π)q(y,t)= −1675×102πt3+16e2tcos(t)5πt3 and t0=0. It is obvious that β0=1 and ϕ(y)=sin(y). Since F1(t)=∫π0e2tcos(t)cos(10y)sin(y)dy= −299e2tcos(t) and A(t)=0, we have
∫t0(t−ℏ)α−1r(ℏ)(C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ)dℏ=−3750√π99∫t0(t−ℏ)α−1(∫ℏt0(∫τt0e2ζcos(ζ)dζ)dτ)dℏ=50√π11∫t0(t−ℏ)−1/2dℏ+500√π33∫t0ℏ(t−ℏ)−1/2dℏ−50√π33[3∫t0e2ℏ(t−ℏ)−1/2cos(ℏ)dℏ+4∫t0e2ℏ(t−ℏ)−1/2sin(ℏ)dℏ]. |
Fixing y2=t−ℏ, then
∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ=102√πt11+2×10399t3/2−102√π33e2t{3cos(t)∫√t0e−2y2cos(y2)dy+3sin(t)∫√t0e−2y2sin(y2)dy+4sin(t)∫√t0e−2y2cos(y2)dy−4cos(t)∫√t0e−2y2sin(y2)dy}. | (5.6) |
Pointing out that
|e−2y2cos(y2)|≤e−2y2,|e−2y2sin(y2)|≤e−2y2 and limt→∞∫√t0e−2y2dy=√2π4, |
we can conclude that
limt→∞∫√t0e−2y2cos(y2)dy and limt→∞∫√t0e−2y2sin(y2)dy |
are convergent. Thus, we have that
limt→∞[cos(t)(3∫√t0e−2y2cos(y2)dy−4∫√t0e−2y2sin(y2)dy)+sint(3∫√t0e−2y2sin(y2)dy+4∫√t0e−2y2cos(y2)dy)] |
is convergent. Fixing
limt→∞∫√t0e−2y2cos(y2)dy=P and limt→∞∫√t0e−2y2sin(y2)dy=Q |
and considering the sequence
tn=3π2+2nπ−arctan(3P−4Q3Q+4P), |
we get
limn→∞{cos(tn)(3∫√tn0e−2y2cos(y2)dy−4∫√tn0e−2y2sin(y2)dy)+sin(tn)(3∫√tn0e−2y2sin(y2)dy+4∫√tn0e−2y2cos(y2)dy)}=√(3P−4Q)2+(3Q+4P)2sin(3π2+2nπ−arctan(3P−4Q3Q+4P)+arctan(3P−4Q3Q+4P))=5√P2+Q2sin(3π2+2nπ)=−5√P2+Q2. |
Since limn→∞tn=∞, from (5.6), we have
lim supt→∞∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ=lim supn→∞{102√πtn11√tn+2×10399t3/2n−102√π33e2tn[cos(tn)(3∫√tn0e−2y2cos(y2)dy−4∫√tn0e−2y2sin(y2)dy)+sin(tn)(3∫√tn0e−2y2sin(y2)dy+4∫√tn0e−2y2cos(y2)dy)]}=∞>0. |
Similarly, fixing
tn=π2+2nπ−arctan(3P−4Q3Q+4P), |
we get
limn→∞{cos(tn)(3∫√tn0e−2y2cos(y2)dy−4∫√tn0e−2y2sin(y2)dy)+sin(tn)(3∫√tn0e−2y2sin(y2)dy+4∫√tn0e−2y2cos(y2)dy)}=5√P2+Q2. |
Thus, from (5.6), we get
lim inft→∞∫t0(t−ℏ)α−1r(ℏ)[C2+∫ℏt0C1eA(τ)a(τ)dτ+∫ℏt01eA(τ)a(τ)(∫τt0eA(ζ)F(ζ)dζ)dτ]dℏ=lim infn→∞{102√πtn11√tn+2×10399t3/2n−102√π33e2tn[cos(tn)(3∫√tn0e−2y2cos(y2)dy−4∫√tn0e−2y2sin(y2)dy)+sin(tn)(3∫√tn0e−2y2sin(y2)dy+4∫√tn0e−2y2cos(y2)dy)]}=−∞<0. |
Therefore, by referring to Theorem 2, the solutions of (5.4) and (5.5) are oscillatory. In fact, u(y,t)=t5/2cos(10y) is a solution of (5.4) and (5.5) and its oscillatory behavior is demonstrated in Figure 1.
In this paper, we have obtained some new oscillation results for the fractional partial differential equation with damping and forcing terms under Robin and Dirichlet boundary conditions. The main results are proved by using only the integral averaging technique and without implementing the Riccati approach. Further, the obtained results are justified by some examples which can not be commented upon by using the previous results. Our results have been obtained for the general equation which may cover other particular cases.
A. Palanisamy was supported by the University Grants Commission (UGC-Ref. No.: 958/(CSIR-UGC NET JUNE 2018)), New Delhi, India and the third author was partially supported by the DST-FIST Scheme (Grant No. SR/FST/MST-115/2016), New Delhi, India. J. Alzabut is thankful to Prince Sultan University and Ostim Technical University for their endless support. The authors are grateful to the reviewers for their precious help in improving this manuscript.
The authors declare that they have no conflicts of interest.
[1] |
L. R. Bishop, There is more than one way to frame a curve, Amer. Math. Mon., 82 (1975), 246–251. https://doi.org/10.1080/00029890.1975.11993807 doi: 10.1080/00029890.1975.11993807
![]() |
[2] | J. L. M. Barbosa, A. G. Colares, Minimal surfaces in R3, Springer, 1986. |
[3] | E. M. Solouma, Investigation of non-lightlike tubular surfaces with Darboux frame in Minkowski 3-space, Commun. Math. Model. Appl., 4 (2016), 58–65. |
[4] | G. Darboux, Leçons sur la théorie générale des surfaces, Paris: Gauthier-Villars, 1896. |
[5] | M. P. Do Carmo, Differential geometry of curves and surfaces: Revised and updated second edition, Courier Dover Publications, 2016. |
[6] |
M. Dede, M. Ç. Aslan, C. Ekici, On a variational problem due to the B-Darboux frame in Euclidean 3-space, Math. Methods Appl. Sci., 44 (2021), 12630–2639. https://doi.org/10.1002/mma.7567 doi: 10.1002/mma.7567
![]() |
[7] | G. H. Georgiev, M. D. Pavlov, Focal and generalized focal surfaces of parabolic cylinders, ARPN J. Eng. Appl. Sci., 13 (2018), 4458–4465. |
[8] |
S. Hu, Z. Wang, X. Tang, Tubular surfaces of center curves on spacelike surfaces in Lorentz-Minkowski 3-space, Math. Methods Appl. Sci., 42 (2019), 3136–3166. https://doi.org/10.1002/mma.5574 doi: 10.1002/mma.5574
![]() |
[9] |
G. Hu, H. Cao, J. Wu, G. Wei, Construction of developable surfaces using generalized C-Bézier bases with shape parameters, Comput. Appl. Math., 39 (2020), 157. https://doi.org/10.1007/s40314-020-01185-9 doi: 10.1007/s40314-020-01185-9
![]() |
[10] |
S. Kiziltuǧ, S. Kya, Ö. Tarakci, Tube surfaces with type-2 Bishop frame of Weingarten types in E3, Int. J. Math. Anal., 7 (2013), 9–18. http://dx.doi.org/10.12988/ijma.2013.13002 doi: 10.12988/ijma.2013.13002
![]() |
[11] |
S. Liu, Z. Wang, Generalized focal surfaces of spacelike curves lying in lightlike surfaces, Math. Methods Appl. Sci., 44 (2020), 7501–7525. https://doi.org/10.1002/mma.6296 doi: 10.1002/mma.6296
![]() |
[12] |
H. Liu, J. Miao, Geometric invariants and focal surfaces of spacelike curves in de Sitter space from a caustic viewpoint, AIMS Math., 6 (2021), 3177–3204. https://doi.org/10.3934/math.2021192 doi: 10.3934/math.2021192
![]() |
[13] | B. O'Neill, Elementary differential geometry, New York: Academic Press Inc., 1966. |
[14] | G. Öztürk, K. Arslan, On focal curves in Euclidean n-space Rn, Novi Sad J. Math., 46 (2016), 35–44. |
[15] |
J. Qian, J. Liu, X. Fu, S. D. Jung, Geometric characterizations of canal surfaces with Frenet center curves, AIMS Math., 6 (2021), 9476–9490. https://doi.org/10.3934/math.2021551 doi: 10.3934/math.2021551
![]() |
[16] |
E. M. Solouma, I. Al-Dayel, Harmonic evolute surface of tubular surfaces via B-Darboux frame in Euclidean 3-space, Adv. Math. Phys., 2021 (2021), 5269655. https://doi.org/10.1155/2021/5269655 doi: 10.1155/2021/5269655
![]() |
[17] |
Z. Wang, D. Pei, L. Chen, L. Kong, Q. Han, Singularities of focal surfaces of null Cartan curves in Minkowski 3-space, Abstr. Appl. Anal., 2021 (2021), 823809. https://doi.org/10.1155/2012/823809 doi: 10.1155/2012/823809
![]() |
[18] |
S. Yılmaz, M. Turgut, A new version of Bishop frame and an application to spherical images, J. Math. Anal. Appl., 371 (2010), 764–776. https://doi.org/10.1016/j.jmaa.2010.06.012 doi: 10.1016/j.jmaa.2010.06.012
![]() |
1. | Jehad Alzabut, Said R. Grace, Jagan Mohan Jonnalagadda, Shyam Sundar Santra, Bahaaeldin Abdalla, Higher-Order Nabla Difference Equations of Arbitrary Order with Forcing, Positive and Negative Terms: Non-Oscillatory Solutions, 2023, 12, 2075-1680, 325, 10.3390/axioms12040325 | |
2. | Abdullah Özbekler, Kübra Uslu İşler, Jehad Alzabut, Sturmian comparison theorem for hyperbolic equations on a rectangular prism, 2024, 9, 2473-6988, 4805, 10.3934/math.2024232 | |
3. | Hasib Khan, Jehad Alzabut, J.F. Gómez-Aguilar, Praveen Agarwal, Piecewise mABC fractional derivative with an application, 2023, 8, 2473-6988, 24345, 10.3934/math.20231241 | |
4. | Jehad Alzabut, Said R. Grace, Shyam Sundar Santra, Mohammad Esmael Samei, Oscillation Criteria for Even-Order Nonlinear Dynamic Equations with Sublinear and Superlinear Neutral Terms on Time Scales, 2024, 23, 1575-5460, 10.1007/s12346-024-00961-w | |
5. | Osama Moaaz, Asma Al-Jaser, Functional differential equations of the neutral type: Oscillatory features of solutions, 2024, 9, 2473-6988, 16544, 10.3934/math.2024802 | |
6. | S. Sangeetha, S. K. Thamilvanan, S. S. Santra, S. Noeiaghdam, M. Abdollahzadeh, Property ˉA of third-order noncanonical functional differential equations with positive and negative terms, 2023, 8, 2473-6988, 14167, 10.3934/math.2023724 |