Processing math: 100%
Research article

New expressions for certain polynomials combining Fibonacci and Lucas polynomials

  • Received: 22 November 2024 Revised: 31 December 2024 Accepted: 05 February 2025 Published: 17 February 2025
  • MSC : 11B39, 11B83, 33C45

  • We establish a new sequence of polynomials that combines the Fibonacci and Lucas polynomials. We will refer to these polynomials as merged Fibonacci-Lucas polynomials (MFLPs). We will show that we can represent these polynomials by combining two certain Fibonacci polynomials. This formula will be essential for determining the power form representation of these polynomials. This representation and its inversion formula for these polynomials are crucial to derive new formulas about the MFLPs. New derivative expressions for these polynomials are given as combinations of several symmetric and non-symmetric polynomials. We also provide the inverse formulas for these formulas. Some new product formulas involving the MFLPs have also been derived. We also provide some definite integral formulas that apply to the derived formulas.

    Citation: Waleed Mohamed Abd-Elhameed, Omar Mazen Alqubori. New expressions for certain polynomials combining Fibonacci and Lucas polynomials[J]. AIMS Mathematics, 2025, 10(2): 2930-2957. doi: 10.3934/math.2025136

    Related Papers:

    [1] Chao Shi . Existence of stable standing waves for the nonlinear Schrödinger equation with mixed power-type and Choquard-type nonlinearities. AIMS Mathematics, 2022, 7(3): 3802-3825. doi: 10.3934/math.2022211
    [2] Yali Meng . Existence of stable standing waves for the nonlinear Schrödinger equation with attractive inverse-power potentials. AIMS Mathematics, 2022, 7(4): 5957-5970. doi: 10.3934/math.2022332
    [3] Meixia Cai, Hui Jian, Min Gong . Global existence, blow-up and stability of standing waves for the Schrödinger-Choquard equation with harmonic potential. AIMS Mathematics, 2024, 9(1): 495-520. doi: 10.3934/math.2024027
    [4] Jiayin Liu . On stability and instability of standing waves for the inhomogeneous fractional Schrodinger equation. AIMS Mathematics, 2020, 5(6): 6298-6312. doi: 10.3934/math.2020405
    [5] Qiuying Li, Xiaoxiao Zheng, Zhenguo Wang . Orbital stability of periodic standing waves of the coupled Klein-Gordon-Zakharov equations. AIMS Mathematics, 2023, 8(4): 8560-8579. doi: 10.3934/math.2023430
    [6] Mohammad Alqudah, Manoj Singh . Applications of soliton solutions of the two-dimensional nonlinear complex coupled Maccari equations. AIMS Mathematics, 2024, 9(11): 31636-31657. doi: 10.3934/math.20241521
    [7] Aly R. Seadawy, Bayan Alsaedi . Contraction of variational principle and optical soliton solutions for two models of nonlinear Schrödinger equation with polynomial law nonlinearity. AIMS Mathematics, 2024, 9(3): 6336-6367. doi: 10.3934/math.2024309
    [8] Yanxia Hu, Qian Liu . On traveling wave solutions of a class of KdV-Burgers-Kuramoto type equations. AIMS Mathematics, 2019, 4(5): 1450-1465. doi: 10.3934/math.2019.5.1450
    [9] Lingxiao Li, Jinliang Zhang, Mingliang Wang . The travelling wave solutions of nonlinear evolution equations with both a dissipative term and a positive integer power term. AIMS Mathematics, 2022, 7(8): 15029-15040. doi: 10.3934/math.2022823
    [10] Lulu Tao, Rui He, Sihua Liang, Rui Niu . Existence and multiplicity of solutions for critical Choquard-Kirchhoff type equations with variable growth. AIMS Mathematics, 2023, 8(2): 3026-3048. doi: 10.3934/math.2023156
  • We establish a new sequence of polynomials that combines the Fibonacci and Lucas polynomials. We will refer to these polynomials as merged Fibonacci-Lucas polynomials (MFLPs). We will show that we can represent these polynomials by combining two certain Fibonacci polynomials. This formula will be essential for determining the power form representation of these polynomials. This representation and its inversion formula for these polynomials are crucial to derive new formulas about the MFLPs. New derivative expressions for these polynomials are given as combinations of several symmetric and non-symmetric polynomials. We also provide the inverse formulas for these formulas. Some new product formulas involving the MFLPs have also been derived. We also provide some definite integral formulas that apply to the derived formulas.



    Gradient estimates are very powerful tools in geometric analysis. In 1970s, Cheng-Yau [3] proved a local version of Yau's gradient estimate (see [25]) for the harmonic function on manifolds. In [16], Li and Yau introduced a gradient estimate for positive solutions of the following parabolic equation,

    (Δq(x,t)t)u(x,t)=0, (1.1)

    which was known as the well-known Li-Yau gradient estimate and it is the main ingredient in the proof of Harnack-type inequalities. In [10], Hamilton proved an elliptic type gradient estimate for heat equations on compact Riemannian manifolds, which was known as the Hamilton's gradient estimate and it was later generalized to the noncompact case by Kotschwar [15]. The Hamilton's gradient estimate is useful for proving monotonicity formulas (see [9]). In [22], Souplet and Zhang derived a localized Cheng-Yau type estimate for the heat equation by adding a logarithmic correction term, which is called the Souplet-Zhang's gradient estimate. After the above work, there is a rich literature on extensions of the Li-Yau gradient estimate, Hamilton's gradient estimate and Souplet-Zhang's gradient estimate to diverse settings and evolution equations. We only cite [1,8,11,12,18,19,24,28,31] here and one may find more references therein.

    An important generalization of the Laplacian is the following diffusion operator

    ΔV=Δ+V,

    on a Riemannian manifold (M,g) of dimension n, where V is a smooth vector field on M. Here and Δ are the Levi-Civita connenction and Laplacian with respect to metric g, respectively. The V-Laplacian can be considered as a special case of V-harmonic maps introduced in [5]. Recall that on a complete Riemannian manifold (M,g), we can define the -Bakry-Émery Ricci curvature and m-Bakry-Émery Ricci curvature as follows [6,20]

    RicV=Ric12LVg, (1.2)
    RicmV=RicV1mnVV, (1.3)

    where mn is a constant, Ric is the Ricci curvature of M and LV denotes the Lie derivative along the direction V. In particular, we use the convention that m=n if and only if V0. There have been plenty of gradient estimates obtained not only for the heat equation, but more generally, for other nonlinear equations concerning the V-Laplacian on manifolds, for example, [4,13,20,27,32].

    In [7], Chen and Zhao proved Li-Yau type gradient estimates and Souplet-Zhang type gradient estimates for positive solutions to a general parabolic equation

    (ΔVq(x,t)t)u(x,t)=A(u(x,t)) (1.4)

    on M×[0,T] with m-Bakry-Émery Ricci tensor bounded below, where q(x,t) is a function on M×[0,T] of C2 in x-variables and C1 in t-variable, and A(u) is a function of C2 in u. In the present paper, by studying the evolution of quantity u13 instead of lnu, we derive localised Hamilton type gradient estimates for |u|u. Most previous studies cited in the paper give the gradient estimates for |u|u. The main theorems are below.

    Theorem 1.1. Let (Mn,g) be a complete Riemannian manifold with

    RicmV(m1)K1

    for some constant K1>0 in B(¯x,ρ), some fixed point ¯x in M and some fixed radius ρ. Assume that there exists a constant D1>0 such that u(0,D1] is a smooth solution to the general parabolic Eq (1.4) in Q2ρ,T1T0=B(¯x,2ρ)×[T0,T1], where T1>T0. Then there exists a universal constant c(n) that depends only on n so that

    |u|uc(n)D1((m1)K1ρ+2m1ρ2+1tT0+maxQρ,T1T0|q|23)12+3D1((m1)K1+maxQρ,T1T0|q|2min{0,minQρ,T1T0(A(u)A(u)2u)})12 (1.5)

    in Qρ2,T1T0 with tT0.

    Remark 1.1. Hamilton [10] first got this gradient estimate for the heat equation on a compact manifold. We also have Hamilton type estimates if we assume that RicV(m1)K1 for some constant K1>0, and notice that RicV(m1)K1 is weak than RicmV(m1)K1. Since we do not have a good enough V-Laplacian comparison for general smooth vector field V, we need the condition that |V| is bounded in this case. Nevertheless, when V=f, we can use the method given in [23] to obtain all results in this paper, without assuming that |V| is bounded.

    If q=0 and A(u)=aulnu, where a is a constant, then following the proof of Theorem 1.1 we have

    Corollary 1.2. Let (Mn,g) be a complete Riemannian manifold with

    RicmV(m1)K1

    for some constant K1>0 in B(¯x,ρ), some fixed point ¯x in M and some fixed radius ρ. Assume that u is a positive smooth solution to the equation

    tu=ΔVuaulnu (1.6)

    in Q2ρ,T1T0=B(¯x,2ρ)×[T0,T1], where T1>T0.

    (1) When a>0, assuming that 1uD1 in Q2ρ,T1T0, there exists a constant c=c(n) such that

    |u|ucD1(4(m1)2K1ρ2+2m1ρ+1tT0+|2(m1)K12a|12) (1.7)

    in Qρ2,T1T0 with tT0.

    (2) When a<0, assuming that 0<uD1 in Q2ρ,T1T0, there exists a constant c=c(n) such that

    |u|ucD1(4(m1)2K1ρ2+2m1ρ+1tT0+|2(m1)K1a(2+lnD1)|12) (1.8)

    in Qρ2,T1T0 with tT0.

    Using the corollary, we get the following Liouville type result.

    Corollary 1.3. Let (Mn,g) be a complete Riemannian manifold with RicmV(m1)K1 for some constant K1>0. Assume that u is a positive and bounded solution to the Eq (1.6) and u is independent of time.

    (1) When a>0, assume that 1uD1. If a=(m1)K1, then u1.

    (2) When a<0, assume that 0<uexp{2+2(m1)K1a}, then u does not exist.

    Remark 1.2. When V=0, ΔV and RicmV become Δ and Ric, respectively. It is clear that Corollary 1.2–1.3 generalize Theorem 1.3 and Corollary 1.1 in [14].

    We can obtain a global estimate from Theorem 1.1 by taking ρ0.

    Corollary 1.4. Let (Mn,g) be a complete Riemannian manifold with RicmV(m1)K1 for some constant K1>0. u is a positive smooth solution to the general parabolic Eq (1.4) on Mn×[T0,T1]. Suppose that uD1 on Mn×[T0,T1]. We also suppose that

    |A(u)A(u)2u|D2,|q|2D3,|q|23D4

    on Mn×[T0,T1]. Then there exists a universal constant c that depends only on n so that

    |u|uc(n)D1(1tT0+D4)12+3D1((m1)K1+D3+D2)12 (1.9)

    in Mn×[T0,T1] with tT0.

    Let A(u)=a(u(x,t))β in Corollary 1.4, we obtain Hamilton type gradient estimates for bounded positive solutions of the equation

    (ΔVq(x,t)t)u(x,t)=a(u(x,t))β,aR,β(,0][12,+). (1.10)

    Corollary 1.5. Let (Mn,g) be a complete Riemannian manifold with RicmV(m1)K1 for some constant K1>0. u is a positive smooth solution to (1.10) on Mn×[T0,T1]. Suppose that uD1 on Mn×[T0,T1]. We also suppose that

    |q|2D3,|q|23D4

    on Mn×[T0,T1]. Then in Mn×[T0,T1] with tT0, there exists a universal constant c that depends only on n so that

    |u|uc(n)D1(1tT0+D4)12+3D1((m1)K1+D3+Λ0)12, (1.11)

    where

    Λ0={0,a0,β12,a(β12)Dβ11,a0,β12,0,a0,β0,a(12β)(minMn×[T0,T1]u)β1,a0,β0.

    In the next part, our result concerns gradient estimates for positive solutions of

    (Δtq(x,t)t)u(x,t)=A(u(x,t)) (1.12)

    on (Mn,g(t)) with the metric evolving under the geometric flow:

    tg(t)=2S(t), (1.13)

    where Δt depends on t and it denotes the Laplacian of g(t), and S(t) is a symmetric (0,2)-tensor field on (Mn,g(t)). In [31], Zhao proved localised Li-Yau type gradient estimates and Souplet-Zhang type gradient estimates for positive solutions of (1.12) under the geometric flow (1.13). In this paper, we have the following localised Hamilton type gradient estimates for positive solutions to the general parabolic Eq (1.12) under the geometric flow (1.13).

    Theorem 1.6. Let (Mn,g(t))t[0,T] be a complete solution to the geometric flow (1.13) on Mn with

    Ricg(t)K2g(t),|Sg(t)|g(t)K3

    for some K2, K3>0 on Qρ,T=B(¯x,ρ)×[0,T]. Assume that there exists a constant L1>0 such that u(0,L1] is a smooth solution to the general parabolic Eq (1.12) in Q2ρ,T. Then there exists a universal constant c(n) that depends only on n so that

    |u|uc(n)L1(K2ρ+1ρ2+1t+K3+maxQρ,T|q|23)12+3L1(K2+K3+maxQρ,T|q|2min{0,minQρ,T(A(u)A(u)2u)})12 (1.14)

    in Qρ2,T.

    Remark 1.3. Recently, some Hamilton type estimates have been achieved to positive solutions of

    (Δtqt)u=au(lnu)α

    under the Ricci flow in [26], and for

    (Δtqt)u=pub+1

    under the Yamabe flow in [29], where p, qC2,1(Mn×[0,T]), b is a positive constant and a,α are real constants. Our results generalize many previous well-known gradient estimate results.

    The paper is organized as follows. In Section 2, we provide a proof of Theorem 1.1 and a proof of Corollary 1.3 and Corollary 1.5. In Section 3, we study gradient estimates of (1.12) under the geometric flow (1.13) and give a proof of Theorem 1.6.

    We first give some notations for the convenience of writing throughout the paper. Let h:=u13 and ˆA(h):=A(u)3u23. Then ˆAh=A(u)2A(u)3u. To prove Theorem 1.1 we need two basic lemmas. First, we derive the following lemma.

    Lemma 2.1. Let (Mn,g) be a complete Riemannian manifold with RicmV(m1)K1 for some constant K1>0. u is a positive smooth solution to the general parabolic Eq (1.4) in Q2ρ,T1T0. If h:=u13, and μ:=h|h|2, then we have

    (ΔVt)μ4h3μ22h1h,μ2(m1)K1μ+qμ23h32|q|μ+2ˆAhμ+h1ˆA(h)μ. (2.1)

    Proof. Since h:=u13, by a simple computation, we can derive the following equation from (1.4):

    (ΔVt)h=2h1|h|2+qh3+ˆA(h). (2.2)

    By direct computations, we have

    iμ=|h|2ih+2hijhjh,

    and

    ΔVμ=Δμ+V,μ=2h|2h|2+2hiijhjh+42h(h,h)+|h|2Δh+2hijhjhVi+V,h|h|2=2h|2h|2+2hΔh,h+2hRic(h,h)+42h(h,h)+|h|2ΔVh+2hijhjhVi=2h|2h|2+2hΔh,h+2hRicV(h,h)+2hjViihjh+42h(h,h)+|h|2ΔVh+2hijhjhVi=2h|2h|2+2hΔVh,h2h(jViihjh+ijhjhVi)+2hRicV(h,h)+2hjViihjh+42h(h,h)+|h|2ΔVh+2hijhjhVi=2h|2h|2+2hΔVh,h+2hRicV(h,h)+42h(h,h)+|h|2ΔVh. (2.3)

    By the following fact:

    0(mnmnΔhnm(mn)h,V)2=(1n1m)(Δh)22mh,VΔh+(1mn1m)h,V2=1n(Δh)21m((Δh)2+2h,VΔh+h,V2)+1mnh,V2|2h|21m(ΔVh)2+1mnh,V2,

    it yields

    |2h|21m(ΔVh)21mnh,V2. (2.4)

    Plugging (2.4) into (2.3), we have

    ΔVμ2h(1m(ΔVh)21mnh,V2)+2hΔVh,h+2hRicV(h,h)+42h(h,h)+|h|2ΔVh=2mh(ΔVh)2+2hRicmV(h,h)+2hΔVh,h+42h(h,h)+|h|2ΔVh. (2.5)

    The partial derivative of μ with respect to t is given by

    tμ=|h|2th+2hi(th)ih=|h|2th+2hi(ΔVh+2h1|h|2qh3ˆA(h))ih=|h|2th+2hΔVh,h+82h(h,h)4h1|h|42qh|h|232h2q,h32hˆAh|h|2. (2.6)

    It follows from (2.2), (2.5) and (2.6) that

    (ΔVt)μ=2mh(ΔVh)2+2hRicmV(h,h)42h(h,h)+|h|2(ΔVt)h+4h1|h|4+2qh3|h|2+2h2q,h3+2hˆAh|h|2=2mh(ΔVh)2+2hRicmV(h,h)42h(h,h)+|h|2(2h1|h|2+qh3+ˆA(h))+4h1|h|4+2qh3|h|2+2h2q,h3+2hˆAh|h|2=2mh(ΔVh)2+2hRicmV(h,h)42h(h,h)+2h1|h|4+qh|h|2+2h2q,h3+2hˆAh|h|2+ˆA(h)|h|22(m1)K1h|h|242h(h,h)+2h1|h|4+qh|h|2+2h2q,h3+2hˆAh|h|2+ˆA(h)|h|2. (2.7)

    Note that

    42h(h,h)=2h1|h|42h1h,(h|h|2)=2h3μ22h1h,μ. (2.8)

    Therefore,

    (ΔVt)μ2(m1)K1h|h|2+4h3μ22h1h,μ+qh|h|2+2h2q,h3+2hˆAh|h|2+ˆA(h)|h|22(m1)K1μ+4h3μ22h1h,μ+qμ23h32|q|μ+2ˆAhμ+h1ˆA(h)μ, (2.9)

    which is the desired estimate.

    The following cut-off function will be used in the proof of Theorem 1.1 (see [2,16,22,30]).

    Lemma 2.2. Fix T0, T1R and T0<T1. Given τ(T0,T1], there exists a smooth function ¯Ψ:[0,+)×[T0,T1]R satisfying the following requirements.

    1). The support of ¯Ψ(s,t) is a subset of [0,ρ]×[T0,T1], and 0¯Ψ1 in [0,ρ]×[T0,T1].

    2). The equalities ¯Ψ(s,t)=1 in [0,ρ2]×[τ,T1] and ¯Ψs(s,t)=0 in [0,ρ2]×[T0,T1].

    3). The estimate |t¯Ψ|¯CτT0¯Ψ12 is satisfied on [0,+]×[T0,T1] for some ¯C>0, and ¯Ψ(s,T0)=0 for all s[0,+).

    4). The inequalities Cb¯Ψbρ¯Ψs0 and |2¯Ψs2|Cb¯Ψbρ2 hold on [0,+]×[T0,T1] for every b(0,1) with some constant Cb that depends on b.

    Throughout this section, we employ the cut-off function Ψ:Mn×[T0,T1]R by

    Ψ(x,t)=¯Ψ(r(x),t),

    where r(x):=d(x,¯x) is the distance function from some fixed point ¯xMn.

    From Lemma 2.1, we have

    (ΔVt)(Ψμ)=μ(ΔVt)Ψ+Ψ(ΔVt)μ+2μ,Ψμ(ΔVt)Ψ+2μ,Ψ2Ψh1h,μ+Ψ[2(m1)K1μ+4h3μ223h32|q|μ+qμ+2ˆAhμ+h1ˆA(h)μ]=μ(ΔVt)Ψ+2ΨΨ,(Ψμ)2|Ψ|2Ψμ2h1h,(Ψμ)+2h1μh,Ψ+Ψ[2(m1)K1μ+4h3μ223h32|q|μ+qμ+2ˆAhμ+h1ˆA(h)μ]. (2.10)

    For fixed τ(T0,T1], let (x1,t1) be a maximum point for Ψμ in Qρ,τT0. Obviously at (x1,t1), we have the following facts: (Ψμ)=0, ΔV(Ψμ)0, and t(Ψμ)0. It follows from (2.10) that at such point

    0h3μ(ΔVt)Ψ2h3|Ψ|2Ψμ2h32μ32|Ψ|+Ψ[2(m1)K1h3μ+4μ223h92|q|μ+qμh3+2h3ˆAhμ+h2ˆA(h)μ]. (2.11)

    In other words, we have just proved that

    4Ψμ2h3μ(ΔVt)Ψ+2h32μ32|Ψ|+23h92|q|μΨ+2h3|Ψ|2Ψμ+Ψμ[2(m1)K1h3qh32h3ˆAhh2ˆA(h)] (2.12)

    at (x1,t1).

    Next, to realize the theorem, it suffices to bound each term on the right-hand side of (2.12). To deal with ΔVΨ(x1,t1), we divide the arguments into two cases.

    Case 1. If d(¯x,x1)<ρ2, then it follows from Lemma 2.2 that Ψ(x,t)=1 around (x1,t1) in the space direction. Therefore, ΔVΨ(x1,t1)=0.

    Case 2. Suppose that d(¯x,x1)ρ2. Since RicmV(m1)K1, we can apply the generalized Laplace comparison theorem (see Corollary 3.2 in [20]) to get

    ΔVr(m1)K1coth(K1r)(m1)(K1+1r).

    Using the generalized Laplace comparison theorem and Lemma 2.2, we have

    ΔVΨ=¯ΨrΔVr+2¯Ψr2|r|2C1/2Ψ12ρ(m1)(K1+2ρ)C1/2Ψ12ρ2

    at (x1,t1), which agrees with Case 1. Therefore, we have

    h3μ(ΔVt)Ψ=uμ(ΔVt)Ψ(C1/2Ψ12ρ(m1)(K1+2ρ)+C1/2Ψ12ρ2+¯CΨ12τT0)uμcD1Ψ12μ((m1)K1ρ+2m1ρ2+1τT0)12Ψμ2+cD21((m1)K1ρ+2m1ρ2+1τT0)2 (2.13)

    for some universal constant c>0. Here we used Lemma 2.2, 0Ψ1 and Cauchy's inequality.

    On the other hand, by Young's inequality and Lemma 2.2, we obtain

    2h32μ32|Ψ|=2Ψ34μ32u12|Ψ|Ψ3412Ψμ2+cD21|Ψ|4Ψ312Ψμ2+cD211ρ4, (2.14)
    23Ψh92|q|μ=23Ψ14μ12u32Ψ34|q|12Ψμ2+cu2Ψ|q|4312Ψμ2+cD21Ψ|q|43, (2.15)
    2|Ψ|2Ψh3μ=2|Ψ|2Ψ32Ψ12uμ2D1|Ψ|2Ψ32Ψ12μ12Ψμ2+cD21|Ψ|4Ψ312Ψμ2+cD21ρ4 (2.16)

    and

    Ψμ[2(m1)K1h3qh32h3ˆAhh2ˆA(h)]=Ψ12μΨ12u[2(m1)K1q2ˆAhh1ˆA(h)]12Ψμ2+12Ψu2[2(m1)K1q2ˆAhh1ˆA(h)]212Ψμ2+D212Ψ[2(m1)K1q2ˆAhh1ˆA(h)]2. (2.17)

    Now, we plug (2.13)–(2.17) into (2.12) to get

    (Ψμ)2(x1,t1)(Ψμ2)(x1,t1)cD21((m1)K1ρ+2m1ρ2+1τT0+|q|23)2+D21((m1)K1+|q|2min{0,minQρ,T1T0(ˆAh+12h1ˆA(h))})2cD21((m1)K1ρ+2m1ρ2+1τT0+maxQρ,T1T0|q|23)2+D21((m1)K1+maxQρ,T1T0|q|2min{0,minQρ,T1T0(A(u)A(u)2u)})2. (2.18)

    The finally, since Ψ(x,τ)=1 in B(¯x,ρ2), it follows from (2.18) that

    μ(x,τ)Ψμ(x1,t1)cD1((m1)K1ρ+2m1ρ2+1τT0+maxQρ,T1T0|q|23)+D1((m1)K1+maxQρ,T1T0|q|2min{0,minQρ,T1T0(A(u)A(u)2u)}). (2.19)

    Since τ(T0,T1] is arbitrary and μ=|u|29u, we have

    |u|ucD1((m1)K1ρ+2m1ρ2+1tT0+maxQρ,T1T0|q|23)12+3D1((m1)K1+maxQρ,T1T0|q|2min{0,minQρ,T1T0(A(u)A(u)2u)})12 (2.20)

    in Qρ2,T1T0. We complete the proof.

    Proof of Corollary 1.3.

    (1) When a>0, for a=(m1)K1, using the inequality (1.7), we have

    |u|ucD1(4(m1)2K1ρ2+2m1ρ+1tT0). (2.21)

    Letting ρ+, t+ in (2.21), we get u is a constant. Using ΔVuaulnu=0, we get u=1.

    (2) When a<0, for D1=exp{2+2(m1)K1a}, using the inequality (1.8), we have

    |u|ucD1(4(m1)2K1ρ2+2m1ρ+1tT0). (2.22)

    Letting ρ+, t+ in (2.22), we get u is a constant. Using ΔVuaulnu=0, we get u=1, but 0<uD1=exp{2+2(m1)K1a}<1. So u does not exist.

    Proof of Corollary 1.5.

    Let

    Λ:=min{0,minMn×[T0,T1](a(β12)uβ1)}.

    From Corollary 1.4, we just have to compute Λ. By the definition, we have

    Λ0={0,a0,β12,a(β12)Dβ11,a0,β12,0,a0,β0,a(12β)(minMn×[T0,T1]u)β1,a0,β0.

    In this section, we consider positive solutions of the nonlinear parabolic Eq (1.12) on (Mn,g) with the metric evolving under the geometric flow (1.13). To prove Theorem 1.6, we follow the procedure used in the proof of Theorem 1.1.

    We first derive a general evolution equation under the geometric flow.

    Lemma 3.1. ([21]) Suppose the metric evolves by (1.13). Then for any smooth function f, we have

    (|f|2)t=2S(f,f)+2f,(ft).

    Next, we derive the following lemma in the same fashion of Lemma 2.1.

    Lemma 3.2. Let (Mn,g(t))t[0,T] be a complete solution to the geometric flow (1.13) and u be a smooth positive solution to the nonlinear parabolic Eq (1.12) in Q2ρ,T. Suppose that there exists positive constants K2 and K3, such that

    Ricg(t)K2g(t),|Sg(t)|g(t)K3

    in Qρ,T. If h:=u13, and μ:=h|h|2, then in Qρ,T, we have

    (Δtt)μ4h3μ24h1h,μ23h32|q|μ2(K2+K3)μ+qμ+h1ˆA(h)μ+2ˆAhμ. (3.1)

    Proof. Since u is a solution to the nonlinear parabolic Eq (1.12), the function h=u13 satisfies

    (Δtt)h=2h1|h|2+qh3+ˆA(h). (3.2)

    As in the proof of Lemma 2.1, we have that

    Δtμ=2h|2h|2+2hΔth,h+2hRic(h,h)+42h(h,h)+|h|2Δth.

    On the other hand, by the equation tg(t)=2S(t), we have

    tμ=|h|2th+2hi(th)ih2hS(f,f)=|h|2th+2hi(Δth+2h1|h|2qh3ˆA(h))ih2hS(f,f)=|h|2th+2hΔth,h+82h(h,h)4h1|h|42qh|h|232h2q,h32hˆAh|h|22hS(f,f). (3.3)

    Therefore,

    (Δtt)μ=2h|2h|242h(h,h)+2h1|h|4+2h2q,h3+2hRic(h,h)+2hS(h,h)+qh|h|2+2hˆAh|h|2+ˆA(h)|h|282h(h,h)2h(K2+K3)|h|223h2|h||q|+(qh+2hˆAh+ˆA(h))|h|2=4h3μ24h1h,μ23h32|q|μ2(K2+K3)μ+qμ+h1ˆA(h)μ+2ˆAhμ, (3.4)

    where we used (2.8), the assumption on bound of Ric+S and

    h|2h|2+22h(h,h)+h1|h|4=|h2h+dhdhh|20.

    The proof is complete.

    Finally, we employ the cut-off function Ψ:Mn×[T0,T1]R, with T0=0, T1=T, by

    Ψ(x,t)=¯Ψ(r(x,t),t),

    where r(x,t):=dg(t)(x,¯x) is the distance function from some fixed point ¯xMn with respect to the metric g(t).

    To prove Theorem 1.6, we follows the same procedure used previously to prove Theorem 1.1; hence in view of Lemma 3.2,

    (Δtt)(Ψμ)μ(Δtt)Ψ+2ΨΨ,(Ψμ)2|Ψ|2Ψμ4h1h,(Ψμ)+4h1μh,Ψ+Ψ[2(K2+K3)μ+4h3μ223h32|q|μ+qμ+2ˆAhμ+h1ˆA(h)μ]. (3.5)

    For fixed τ(0,T], let (x2,t2) be a maximum point for Ψμ in Qρ,τ:=B(¯x,ρ)×[0,τ]Qρ,T. It follows from (3.5) that at such point

    0h3μ(Δtt)Ψ2h3|Ψ|2Ψμ4h32μ32|Ψ|+Ψ[2(K2+K3)μh3+4μ223h92|q|μ+qμh3+2h3ˆAhμ+h2ˆA(h)μ]. (3.6)

    At (x2,t2), making use of (3.6), we further obtain

    4Ψμ2h3μ(Δtt)Ψ+4h32μ32|Ψ|+23h92|q|μΨ+2h3|Ψ|2Ψμ+Ψμ[2(K2+K3)h3qh32h3ˆAhh2ˆA(h)]. (3.7)

    Next, we need to bound each term on the right-hand side of (3.7). To deal with ΔtΨ(x2,t2), we divide the arguments into two cases:

    Case 1: r(x2,t2)<ρ2. In this case, from Lemma 2.2, it follows that Ψ(x,t)=1 around (x2,t2) in the space direction. Therefore, Δt2Ψ(x2,t2)=0.

    Case 2: r(x2,t2)ρ2. Since Ricg(t)(n1)K2, the Laplace comparison theorem (see [17]) implies that

    Δtr(n1)K2coth(K2r)(n1)(K2+1r).

    Then, it follows that

    ΔtΨ=¯ΨrΔtr+2¯Ψr2|r|2C1/2Ψ12ρ(n1)(K2+2ρ)C1/2Ψ12ρ2

    at (x2,t2), which agrees with Case 1.

    Next, we estimate tΨ. xB(¯x,ρ), let γ:[0,a]Mn be a minimal geodesic connecting x and ¯x at time t[0,T]. Then, we have

    |tr(x,t)|g(t)=|ta0|˙γ(s)|g(t)ds|g(t)12a0||˙γ(s)|1g(t)tg(˙γ(s),˙γ(s))|g(t)dsK3r(x,t)K3ρ.

    Thus, together with Lemma 2.2, we find that

    tΨ|t¯Ψ|g(t)+|¯Ψ|g(t)|tr|g(t)¯CΨ1/2τ+C1/2K3Ψ1/2. (3.8)

    Therefore, we have

    h3μ(Δtt)Ψ=uμ(Δtt)Ψ(C1/2Ψ12ρ(n1)(K2+2ρ)+C1/2Ψ12ρ2+¯CΨ1/2τ+C1/2K3Ψ1/2)uμcL1Ψ12μ(K2ρ+1ρ2+1τ+K3)12Ψμ2+cL21(K2ρ+1ρ2+1τ+K3)2 (3.9)

    at (x2,t2) for some universal constant c>0 that depends only on n. By similar computations as in the proof of Theorem 1.1, we arrive at

    4h32μ32|Ψ|Ψμ2+2cL211ρ4, (3.10)
    23Ψh92|q|μ12Ψμ2+cL21Ψ|q|43, (3.11)
    2|Ψ|2Ψh3μ12Ψμ2+cL21ρ4 (3.12)

    and

    Ψμ[2(K2+K3)h3qh32h3ˆAhh2ˆA(h)]12Ψμ2+L212Ψ[2(K2+K3)+|q|min{0,minQρ,T(2ˆAh+h1ˆA(h))}]2. (3.13)

    Plugging (3.9)–(3.13) into (3.6), we get

    (Ψμ)2(x2,t2)(Ψμ2)(x2,t2)cL21(K2ρ+1ρ2+1τ+K3+|q|23)2+L21(K2+K3+|q|2min{0,minQρ,T(ˆAh+12h1ˆA(h))})2cL21(K2ρ+1ρ2+1τ+K3+maxQρ,T|q|23)2+L21(K2+K3+maxQρ,T|q|2min{0,minQρ,T(A(u)A(u)2u)})2. (3.14)

    Note that Ψ(x,τ)=1 when d(x,¯x)<ρ2, it follows from (2.18) that

    μ(x,τ)Ψμ(x2,t2)cL1(K2ρ+1ρ2+1τ+K3+maxQρ,T|q|23)+L1(K2+K3+maxQρ,T|q|2min{0,minQρ,T(A(u)A(u)2u)}). (3.15)

    Since τ(0,T] is arbitrary and μ=|u|29u, we have

    |u|ucL1(K2ρ+1ρ2+1τ+K3+maxQρ,T|q|23)12+3L1(K2+K3+maxQρ,T|q|2min{0,minQρ,T(A(u)A(u)2u)})12 (3.16)

    in Qρ2,T.

    We complete the proof.

    Remark 3.1. We also obtain the corresponding applications similar to Corollary 1.4 and Corollary 1.5, which we will not write them down here.

    The author would like to thank the referee for helpful suggestion which makes the paper more readable. This work was supported by NSFC (Nos. 11971415, 11901500), Henan Province Science Foundation for Youths (No.212300410235), and the Key Scientific Research Program in Universities of Henan Province (No.21A110021) and Nanhu Scholars Program for Young Scholars of XYNU (No. 2019).

    The author declares no conflict of interest.



    [1] J. P. Boyd, Chebyshev and Fourier spectral methods, Courier Corporation, 2001.
    [2] J. C. Mason, D. C. Handscomb, Chebyshev polynomials, CRC Press, 2002.
    [3] F. Marcellán, Orthogonal polynomials and special functions: Computation and applications, Springer Science & Business Media, 1883 (2006).
    [4] M. A. Abdelkawy, M. E. A. Zaky, M. M. Babatin, A. S. Alnahdi, Jacobi spectral collocation technique for fractional inverse parabolic problem, Alex. Eng. J., 61 (2022), 6221–6236. https://doi.org/10.1016/j.aej.2021.11.050 doi: 10.1016/j.aej.2021.11.050
    [5] M. M. Alsuyuti, E. H. Doha, S. S. Ezz-Eldien, Galerkin operational approach for multi-dimensions fractional differential equations, Commun. Nonlinear Sci. Numer. Simul., 114 (2022), 106608. https://doi.org/10.1016/j.cnsns.2022.106608 doi: 10.1016/j.cnsns.2022.106608
    [6] C. Othmani, H. Zhang, C. Lü, Y. Q. Wang, A. R. Kamali, Orthogonal polynomial methods for modeling elastodynamic wave propagation in elastic, piezoelectric and magneto-electro-elastic composites—a review, Compos. Struct., 286 (2022), 115245. https://doi.org/10.1016/j.compstruct.2022.115245 doi: 10.1016/j.compstruct.2022.115245
    [7] M. Pourbabaee, A. Saadatmandi, Collocation method based on Chebyshev polynomials for solving distributed order fractional differential equations, Comput. Methods Differ. Equ., 9 (2021), 858–873. https://doi.org/10.22034/cmde.2020.38506.1695 doi: 10.22034/cmde.2020.38506.1695
    [8] Y. Soykan, On generalized Fibonacci polynomials: Horadam polynomials, Earthline J. Math. Sci., 11 (2023), 23–114. https://doi.org/10.34198/ejms.11123.23114 doi: 10.34198/ejms.11123.23114
    [9] R. S. Rajawat, K. K. Singh, V. N. Mishra, Approximation by modified Bernstein polynomials based on real parameters, Math. Found. Comput., 7 (2024), 297–309. https://doi.org/10.3934/mfc.2023005 doi: 10.3934/mfc.2023005
    [10] M. Pathan, W. A. Khan, A new class of generalized polynomials associated with Hermite and Euler polynomials, Mediterr. J. Math., 13 (2016), 913–928. https://doi.org/10.1007/s00009-015-0551-1 doi: 10.1007/s00009-015-0551-1
    [11] N. Khan, T. Usman, J. Choi, A new class of generalized polynomials, Turk. J. Math., 42 (2018), 1366–1379. https://doi.org/10.3906/mat-1709-44 doi: 10.3906/mat-1709-44
    [12] G. Dattoli, Generalized polynomials, operational identities and their applications, J. Comput. Appl. Math., 118 (2000), 111–123. https://doi.org/10.1016/S0377-0427(00)00283-1 doi: 10.1016/S0377-0427(00)00283-1
    [13] T. Kim, D. S. Kim, Degenerate polyexponential functions and degenerate Bell polynomials, J. Math. Anal. Appl., 487 (2020), 124017. https://doi.org/10.1016/j.jmaa.2020.124017 doi: 10.1016/j.jmaa.2020.124017
    [14] W. M. Abd-Elhameed, O. M. Alqubori, On generalized Hermite polynomials, AIMS Math., 9 (2024), 32463–32490. https://doi.org/10.3934/math.20241556 doi: 10.3934/math.20241556
    [15] F. Qi, D. W. Niu, D. Lim, Y. H. Yao, Special values of the Bell polynomials of the second kind for some sequences and functions, J. Math. Anal. Appl., 491 (2020), 124382. https://doi.org/10.1016/j.jmaa.2020.124382 doi: 10.1016/j.jmaa.2020.124382
    [16] S. Araci, A new class of Bernoulli polynomials attached to polyexponential functions and related identities, Adv. Stud. Contemp. Math., 31 (2021), 195–204.
    [17] D. V. Dolgy, D. S. Kim, T. Kim, J. Kwon, On fully degenerate Bell numbers and polynomials, Filomat, 34 (2020), 507–514. https://doi.org/10.2298/FIL2002507D doi: 10.2298/FIL2002507D
    [18] F. A. Costabile, M. I. Gualtieri, A. Napoli, Polynomial sequences: Elementary basic methods and application hints. A survey, Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A Math., 113 (2019), 3829–3862. https://doi.org/10.1007/s13398-019-00682-9 doi: 10.1007/s13398-019-00682-9
    [19] F. A. Costabile, M. I. Gualtieri, A. Napoli, M. Altomare, Odd and even Lidstone-type polynomial sequences. Part 1: Basic topics, Adv. Differ. Equ., 2018 (2018), 1–26. https://doi.org/10.1007/s10092-019-0354-z doi: 10.1007/s10092-019-0354-z
    [20] F. Costabile, M. Gualtieri, A. Napoli, Recurrence relations and determinant forms for general polynomial sequences. Application to Genocchi polynomials, Integr. Transf. Spec. F., 30 (2019), 112–127. https://doi.org/10.1080/10652469.2018.1537272 doi: 10.1080/10652469.2018.1537272
    [21] O. Yayenie, New identities for generalized Fibonacci sequences and new generalization of Lucas sequences, Southeast Asian Bull. Math., 36 (2012).
    [22] N. Kilar, Y. Simsek, Two parametric kinds of Eulerian-type polynomials associated with Euler's formula, Symmetry, 11 (2019), 1097. https://doi.org/10.3390/sym11091097 doi: 10.3390/sym11091097
    [23] L. Aceto, H. Malonek, G. Tomaz, A unified matrix approach to the representation of Appell polynomials, Integr. Transf. Spec. Funct., 26 (2015), 426–441. https://doi.org/10.1080/10652469.2015.1013035 doi: 10.1080/10652469.2015.1013035
    [24] T. Kim, D. Kim, Some results on degenerate Fubini and degenerate Bell polynomials, Appl. Anal. Discrete Math., 17 (2023), 548–560.
    [25] K. Prasad, H. Mahato, Cryptography using generalized Fibonacci matrices with Affine-Hill cipher, J. Discrete Math. Sci. Cryptogr., 25 (2022), 2341–2352. https://doi.org/10.1080/09720529.2020.1838744 doi: 10.1080/09720529.2020.1838744
    [26] T. Koshy, Fibonacci and Lucas numbers with applications, John Wiley & Sons, 51 (2011).
    [27] W. M. Abd-Elhameed, H. M. Ahmed, A. Napoli, V. Kowalenko, New formulas involving Fibonacci and certain orthogonal polynomials, Symmetry, 15 (2023), 736. https://doi.org/10.3390/sym15030736 doi: 10.3390/sym15030736
    [28] W. M. Abd-Elhameed, A. Napoli, Some novel formulas of Lucas polynomials via different approaches, Symmetry, 15 (2023), 185. https://doi.org/10.3390/sym15010185 doi: 10.3390/sym15010185
    [29] W. M. Abd-Elhameed, A. F. Abu-Sunayh, M. H. Alharbi, A. G. Atta, Spectral tau technique via Lucas polynomials for the time-fractional diffusion equation, AIMS Math., 9 (2024), 34567–34587. https://doi.org/10.3934/math.20241646 doi: 10.3934/math.20241646
    [30] Z. Wu, W. Zhang, Several identities involving the Fibonacci polynomials and Lucas polynomials, J. Inequal. Appl., 2013 (2013), 1–14. https://doi.org/10.1186/1029-242X-2013-205 doi: 10.1186/1029-242X-2013-205
    [31] Z. Jin, On the Lucas polynomials and some of their new identities, Adv. Differ. Equ., 2018 (2018), 1–8. https://doi.org/10.1186/s13662-018-1527-9 doi: 10.1186/s13662-018-1527-9
    [32] D. Aharonov, A. Beardon, K. Driver, Fibonacci, Chebyshev, and orthogonal polynomials, Am. Math. Mon., 112 (2005), 612–630. https://doi.org/10.1080/00029890.2005.11920232
    [33] Y. Yuan, W. Zhang, Some identities involving the Fibonacci polynomials, Fibonacci Q., 40 (2002), 314–318. https://doi.org/10.1080/00150517.2002.12428631 doi: 10.1080/00150517.2002.12428631
    [34] W. M. Abd-Elhameed, A. N. Philippou, N. A. Zeyada, Novel results for two generalized classes of Fibonacci and Lucas polynomials and their uses in the reduction of some radicals, Mathematics, 10 (2022), 2342. https://doi.org/10.3390/math10132342 doi: 10.3390/math10132342
    [35] N. Yilmaz, I. Aktas, Special transforms of the generalized bivariate Fibonacci and Lucas polynomials, Hacet. J. Math. Stat., 52 (2023), 640–651. https://doi.org/10.15672/hujms.1110311 doi: 10.15672/hujms.1110311
    [36] W. M. Abd-Elhameed, N. A. Zeyada, New formulas including convolution, connection and radicals formulas of k-Fibonacci and k-Lucas polynomials, Indian J. Pure Appl. Math., 53 (2022), 1006–1016. https://doi.org/10.1007/s13226-021-00214-5 doi: 10.1007/s13226-021-00214-5
    [37] A. Nalli, P. Haukkanen, On generalized Fibonacci and Lucas polynomials, Chaos Soliton. Fract., 42 (2009), 3179–3186. https://doi.org/10.1016/j.chaos.2009.04.048 doi: 10.1016/j.chaos.2009.04.048
    [38] S. Haq, I. Ali, Approximate solution of two-dimensional Sobolev equation using a mixed Lucas and Fibonacci polynomials, Eng. Comput., 38 (2022), 2059–2068. https://doi.org/10.1007/s00366-021-01327-5 doi: 10.1007/s00366-021-01327-5
    [39] S. Sabermahani, Y. Ordokhani, P. Rahimkhani, Application of generalized Lucas wavelet method for solving nonlinear fractal-fractional optimal control problems, Chaos Soliton. Fract., 170 (2023), 113348. https://doi.org/10.1016/j.chaos.2023.113348 doi: 10.1016/j.chaos.2023.113348
    [40] W. M. Abd-Elhameed, New product and linearization formulas of Jacobi polynomials of certain parameters, Integr. Transf. Spec. F., 26 (2015), 586–599. https://doi.org/10.1080/10652469.2015.1029924 doi: 10.1080/10652469.2015.1029924
    [41] I. Area, E. Godoy, A. Ronveaux, A. Zarzo, Solving connection and linearization problems within the Askey scheme and its q-analogue via inversion formulas, J. Comput. Appl. Math., 133 (2001), 151–162. https://doi.org/10.1016/S0377-0427(00)00640-3 doi: 10.1016/S0377-0427(00)00640-3
    [42] H. Chaggara, W. Koepf, On linearization and connection coefficients for generalized Hermite polynomials, J. Comput. Appl. Math., 236 (2011), 65–73. https://doi.org/10.1016/j.cam.2011.03.010 doi: 10.1016/j.cam.2011.03.010
    [43] J. Sánchez-Ruiz, Linearization and connection formulas involving squares of Gegenbauer polynomials, Appl. Math. Lett., 14 (2001), 261–267. https://doi.org/10.1016/s0893-9659(00)00146-4 doi: 10.1016/s0893-9659(00)00146-4
    [44] J. Sánchez-Ruiz, P. L. Artés, A. Martínez-Finkelshtein, J. Dehesa, General linearization formulas for products of continuous hypergeometric-type polynomials, J. Phys. A: Math. Gen., 32 (1999), 7345. https://doi.org/10.1088/0305-4470/32/42/308 doi: 10.1088/0305-4470/32/42/308
    [45] H. M. Ahmed, Computing expansions coefficients for Laguerre polynomials, Integr. Transf. Spec. Funct., 32 (2021), 271–289. https://doi.org/10.1080/10652469.2020.1815727 doi: 10.1080/10652469.2020.1815727
    [46] W. M. Abd-Elhameed, Novel formulas of certain generalized Jacobi polynomials, Mathematics, 10 (2022), 4237. https://doi.org/10.3390/math10224237 doi: 10.3390/math10224237
    [47] W. M. Abd-Elhameed, A. K. Amin, Novel formulas of Schröder polynomials and their related numbers, Mathematics, 11 (2023), 468. https://doi.org/10.3390/math11020468 doi: 10.3390/math11020468
    [48] G. Andrews, R. Askey, R. Roy, Special functions, Cambridge University Press, 71 (1999).
    [49] R. Askey, Orthogonal polynomials and special functions, SIAM, 1975.
    [50] G. B. Djordjevic, G. V. Milovanovic, Special classes of polynomials, University of Nis, Faculty of Technology Leskovac, 2014.
    [51] W. Koepf, Hypergeometric summation, Springer Universitext Series. Springer, 2Eds, 2014. Available from: http://www.hypergeometric-summation.org.
    [52] W. M. Abd-Elhameed, A. K. Amin, Novel identities of Bernoulli polynomials involving closed forms for some definite integrals, Symmetry, 14 (2022), 2284. https://doi.org/10.3390/sym14112284 doi: 10.3390/sym14112284
  • This article has been cited by:

    1. Chao Shi, Existence of stable standing waves for the nonlinear Schrödinger equation with mixed power-type and Choquard-type nonlinearities, 2022, 7, 2473-6988, 3802, 10.3934/math.2022211
    2. Qiuying Li, Xiaoxiao Zheng, Zhenguo Wang, Orbital stability of periodic standing waves of the coupled Klein-Gordon-Zakharov equations, 2023, 8, 2473-6988, 8560, 10.3934/math.2023430
    3. Jianlun Liu, Ziheng Zhang, Rui Guo, Ground state normalized solutions to Schrödinger equation with inverse-power potential and HLS lower critical Hartree-type nonlinearity, 2025, 44, 2238-3603, 10.1007/s40314-025-03131-z
  • Reader Comments
  • © 2025 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(569) PDF downloads(53) Cited by(1)

Figures and Tables

Tables(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog