Loading [MathJax]/jax/element/mml/optable/BasicLatin.js
Research article Special Issues

Some new results on the face index of certain polycyclic chemical networks


  • Received: 11 January 2023 Revised: 01 February 2023 Accepted: 02 February 2023 Published: 23 February 2023
  • Silicate minerals make up the majority of the earth's crust and account for almost 92 percent of the total. Silicate sheets, often known as silicate networks, are characterised as definite connectivity parallel designs. A key idea in studying different generalised classes of graphs in terms of planarity is the face of the graph. It plays a significant role in the embedding of graphs as well. Face index is a recently created parameter that is based on the data from a graph's faces. The current draft is utilizing a newly established face index, to study different silicate networks. It consists of a generalized chain of silicate, silicate sheet, silicate network, carbon sheet, polyhedron generalized sheet, and also triangular honeycomb network. This study will help to understand the structural properties of chemical networks because the face index is more generalized than vertex degree based topological descriptors.

    Citation: Ricai Luo, Khadija Dawood, Muhammad Kamran Jamil, Muhammad Azeem. Some new results on the face index of certain polycyclic chemical networks[J]. Mathematical Biosciences and Engineering, 2023, 20(5): 8031-8048. doi: 10.3934/mbe.2023348

    Related Papers:

    [1] Xiao Qing Huang, Jia Feng Liao . Existence and asymptotic behavior for ground state sign-changing solutions of fractional Schrödinger-Poisson system with steep potential well. Communications in Analysis and Mechanics, 2024, 16(2): 307-333. doi: 10.3934/cam.2024015
    [2] Zhen Wang, Luhan Sun . The Allen-Cahn equation with a time Caputo-Hadamard derivative: Mathematical and Numerical Analysis. Communications in Analysis and Mechanics, 2023, 15(4): 611-637. doi: 10.3934/cam.2023031
    [3] Xueqi Sun, Yongqiang Fu, Sihua Liang . Normalized solutions for pseudo-relativistic Schrödinger equations. Communications in Analysis and Mechanics, 2024, 16(1): 217-236. doi: 10.3934/cam.2024010
    [4] Sergey A. Rashkovskiy . Nonlinear Schrödinger equation with a short-range compensating field. Communications in Analysis and Mechanics, 2025, 17(2): 520-549. doi: 10.3934/cam.2025021
    [5] Pierluigi Colli, Jürgen Sprekels . On the optimal control of viscous Cahn–Hilliard systems with hyperbolic relaxation of the chemical potential. Communications in Analysis and Mechanics, 2025, 17(3): 683-706. doi: 10.3934/cam.2025027
    [6] Fangyuan Dong . Multiple positive solutions for the logarithmic Schrödinger equation with a Coulomb potential. Communications in Analysis and Mechanics, 2024, 16(3): 487-508. doi: 10.3934/cam.2024023
    [7] Shengbing Deng, Qiaoran Wu . Existence of normalized solutions for the Schrödinger equation. Communications in Analysis and Mechanics, 2023, 15(3): 575-585. doi: 10.3934/cam.2023028
    [8] Yonghang Chang, Menglan Liao . Nonexistence of asymptotically free solutions for nonlinear Schrödinger system. Communications in Analysis and Mechanics, 2024, 16(2): 293-306. doi: 10.3934/cam.2024014
    [9] Yang Liu, Xiao Long, Li Zhang . Long-time dynamics for a coupled system modeling the oscillations of suspension bridges. Communications in Analysis and Mechanics, 2025, 17(1): 15-40. doi: 10.3934/cam.2025002
    [10] Chen Yang, Chun-Lei Tang . Sign-changing solutions for the Schrödinger-Poisson system with concave-convex nonlinearities in R3. Communications in Analysis and Mechanics, 2023, 15(4): 638-657. doi: 10.3934/cam.2023032
  • Silicate minerals make up the majority of the earth's crust and account for almost 92 percent of the total. Silicate sheets, often known as silicate networks, are characterised as definite connectivity parallel designs. A key idea in studying different generalised classes of graphs in terms of planarity is the face of the graph. It plays a significant role in the embedding of graphs as well. Face index is a recently created parameter that is based on the data from a graph's faces. The current draft is utilizing a newly established face index, to study different silicate networks. It consists of a generalized chain of silicate, silicate sheet, silicate network, carbon sheet, polyhedron generalized sheet, and also triangular honeycomb network. This study will help to understand the structural properties of chemical networks because the face index is more generalized than vertex degree based topological descriptors.



    Anomalous diffusions are ubiquitous in the natural world, the probability distributions of which are usually governed by equations with fractional operators. It is well known that the diffusion equation tu(t,x)=Δu(t,x) with u(0,x)=f(x) allows the stochastic solution u(t,x)=Ex[f(Bt)], where Bt is Brownian motion started at xRd with infinitesimal generator Δ, describing the normal diffusion that shows, e.g., heat propagation in homogeneous medium. Owing to particle sticking and/or trapping phenomena, the following equation

    βtu(t,x)=Δu(t,x) with u(0,x)=f(x), (1.1)

    has been used to simulate the anomalous diffusions displaying subdiffusive behavior widely such as thermal diffusion in fractal media, protein diffusion within cells, and contaminant transport in groundwater. The Caputo derivative βt, with fractional order β(0,1), can be defined by

    βtf(t):=1Γ(1β)ddtt0(ts)β(f(s)f(0))ds, (1.2)

    where the Gamma function Γ(λ):=0tλ1etdt. In particular, Scheffer and Meerschaert [1, Theorem 5.1] recognized, based on [2], that the stochastic representation u(t,x)=Ex[f(BEt)] satisfies the equation (1.1), where Et is an inverse β-stable subordinator that is independent of Bt.

    Solutions of the linear as well as nonlinear fractional partial differential equations have attracted a lot of attention and have been extensively discussed; see, e.g., [3,4,5,6,7,8,9] and the references therein. There are also some theoretical results and numerical methods for nonlinear time-fractional Schrödinger equations [10,11,12,13]. It can be noted that most of the quoted papers are concentrated on the Caputo derivative of fractional order. This attention has been gained by anomalous diffusion phenomena emerging in diverse fields containing mathematics, physics, engineering, biology, chemistry, hydrology, and geophysics, etc [14,15,16,17,18]. There are also some discussions on the semilinear parabolic equations with singular potentials [19].

    The present paper investigates the generalized time fractional Schrödinger equation

    {wtu(t,x)=Lu(t,x)κ(x)u(t,x),t(0,),xX,u(0,x)=g(x),xX, (1.3)

    where κ is bounded in X with κK, X is a Lusin space, being a topological space homeomorphic to a Borel subset of a compact metric space. Denote X={Xt,t[0,);Px,xX} as a time-homogeneous strong Markov process on X whose sample paths are right continuous and have left limits on X{}, where is an isolated cemetery point outside X and Xt= for every tζ:=inf. The transition semigroup \{P_t\}_{t\geq0} of X is defined as

    P_tf(x): = \mathbb{E}^x[f(X_t)],\, x\in \mathcal{X},\,t\geq0,

    for any bounded or nonnegative function f on \mathcal{X} that is extended to \mathcal{X}\cup\{\partial\} by setting f(\partial) = 0 . Here \mathbb{P}^x denotes the probability law of X starting from position x , and \mathbb{E}^x is the mathematical expectation taken under probability law \mathbb{P}^x . We assume in addition that the strong Markov process X on \mathcal{X} is \nu -symmetric, i.e., for any nonnegative functions f and g on \mathcal{X} and t > 0 ,

    \int_\mathcal{X}f(x)P_tg(x)\nu(dx) = \int_\mathcal{X}g(x)P_tf(x)\nu(dx),

    where \nu is a \sigma -finite measure on \mathcal{X} with full support. The transition semigroup is strongly continuous on L^2(\mathcal{X}; \nu) with \|P_t\|\leq1 for every t\geq0 ; denote its infinitesimal generator by (\mathcal{L}, \mathcal{D}(\mathcal{L})) . Then \mathcal{L} is a nonpositive definite self-adjoint operator in L^2(\mathcal{X}; \nu) [20,21]. The notations \|\cdot\| and \langle\cdot, \cdot\rangle are, respectively, the norm and inner product of L^2(\mathcal{X}; \nu) . Besides, the generalized time fractional derivative is defined by

    \begin{equation*} \partial_t^wf(t): = \frac{d}{dt}\int_0^tw(t-s)(f(s)-f(0))ds, \end{equation*}

    where the given function w:(0, \infty)\to[0, \infty) is unbounded, non-increasing, and having \int_0^\infty\min\{1, s\}(-dw(s)) < \infty . Such a function w is in one-to-one correspondence with an infinite Lévy measure \mu on (0, \infty) so that w(x) = \mu(x, \infty) . This Lévy measure \mu in turn is in one-to-one correspondence with a driftless subordinator \{S_t\}_{t\geq0} having

    \phi(\lambda): = \int_0^\infty(1-e^{-\lambda x})\mu(dx)

    as its Laplace exponent; that is

    \begin{equation} \mathbb{E}[e^{-\lambda S_t}] = e^{-t\phi(\lambda)}\text{ for }\lambda > 0. \end{equation} (1.4)

    In particular, when w(s) = \frac{1}{\Gamma(1-\beta)}s^{-\beta} for \beta\in(0, 1) , \partial_t^wf is just the Caputo derivative of order \beta in (1.2). Through out this paper, \{S_t\}_{t\geq0} is a driftless subordinator with S_0 = 0 that has a density p(t, r) for every t > 0 and \phi(\lambda) is the Laplace exponent of the driftless subordinator \{S_t\}_{t\geq0} having Lévy measure \mu . Define E_t = \inf\{s > 0: S_s > t\} for t > 0 , the inverse subordinator. The assumption that the Lévy measure \mu is infinite, which is equivalent to w(x) = \mu(x, \infty) being unbounded, shows that t\mapsto S_t is strictly increasing and hence t\mapsto E_t is continuous.

    When \kappa = 0 in equation (1.3) , Chen [22, Theorem 2.1] shows that the existence and uniqueness of stochastic strong solution take a form:

    u(t,x) = \mathbb{E}[P_{E_t}g(x)] = \mathbb{E}^x[g(X_{E_t})],

    where the infinitesimal generator \mathcal{L} generates a uniformly bounded and strongly continuous semigroup in continuous function space C_\infty(\mathcal{X}) or L^p space. The result in [22] for strong solution was extended to that of weak solutions in [23] when the infinitesimal generator \mathcal{L} is a symmetric operator in Hilbert L^2 space. The main characteristic of the method in [22,23] is a detailed analysis of the subordinator associated with the function w together with a stochastic representation of the solution. Recently, the authors [24, Page 6022] and [25, Remark 3.3] point out that the stochastic representation of equation (1.3) takes a different form. When \kappa\geq0 , it follows directly from [22, Theorem 2.1] that the unique solution to (1.3) is given by

    \begin{equation} u(t,x) = \mathbb{E}^x\left[e^{-\int_0^{E_t}\kappa(X_s)ds}g(X_{E_t})\right]. \end{equation} (1.5)

    The reason is that \mathcal{L}^\kappa = \mathcal{L}-\kappa(x) with \mathcal{D}(\mathcal{L}^\kappa) = \mathcal{D}(\mathcal{L}) is the infinitesimal generator in terms of strongly continuous contraction semigroup \{P^\kappa_t\}_{t\geq0} induced by the subprocess X^\kappa of X killed at rate \kappa(x) , that is,

    P^\kappa_tf(x): = \mathbb{E}^x[f(X_t^\kappa)] = \mathbb{E}^x\left[e^{-\int_0^t\kappa(X_s)ds}f(X_t)\right],x\in \mathcal{X},t\geq0.

    The stochastic representation (1.5) seems to be the solution to equation (1.3) in the case that the potential \kappa is signed. However, this conclusion has not been proved. To overcome this difficulty, we first study the existence and uniqueness of the weak solution for (1.3) by utilizing the contraction mapping principle. Then we establish regularity of this solution to obtain the strong solution of (1.3). To the best of our knowledge, the regularity investigation of equation (1.3) is largely missing in the literature, apart from the case \kappa\geq0 [25]. We will try to make some contributions to this research field. The current research can be viewed as a sequel to [22,23,25].

    For a real-valued function f defined on [0, \infty) , we use \widehat{f} to denote its Laplace transform,

    \widehat{f}(\lambda): = \mathscr{L}\{f\}(\lambda): = \int_0^\infty e^{-\lambda t}f(t)dt,\; \lambda > 0,

    whenever the integral is absolutely convergent. Recall from [22] that \widehat{w}(\lambda) = \frac{\phi(\lambda)}{\lambda} for \lambda > 0 .

    Let G^S(s): = \int_0^\infty p(r, s)dr be the potential density of the subordinator S . Since S is transient (see [26, Theorem 35.4]),

    \begin{equation} \int_0^tG^S(s)ds < \infty\text{ for every }t > 0, \end{equation} (2.1)

    i.e., (r, s)\mapsto p(r, s) is an integrable function on [0, \infty)\times[0, t] for every t > 0 . In fact, by [27, Proposition III.1], there exist constants C_1, \; C_2 > 0 such that

    \begin{equation} \frac{C_1}{\phi(1/t)}\leq\int_0^tG^S(s)ds\leq\frac{C_2}{\phi(1/t)} \text{ for }t > 0. \end{equation} (2.2)

    We will need the following estimates from Chen [22].

    Lemma 2.1. [22, Lemma 2.1 and Corollary 2.1] It holds that:

    (i) Define G(0) = 0 and G(t) = \int_0^tw(x)dx for all t > 0 . We have that for every t, r > 0 , 0\leq\int_0^tw(t-s)\mathbb{P}(S_r\geq s)ds = G(t)-\mathbb{E}[G(t-S_r)\mathbf{1}_{\{t\geq S_r\}}] .

    (ii) \mathbb{P}(S_r\geq t) = \int_0^r\mathbb{E}[w(t-S_s)\mathbf{1}_{\{t\geq S_s\}}]ds for every r > 0 and t\in(0, \infty)\setminus\mathcal{N} , where the Borel set \mathcal{N}\subset(0, \infty) has zero Lebesgue measure.

    (iii) \int_0^\infty\mathbb{E}[w(t-S_s)\mathbf{1}_{\{t\geq S_s\}}]ds = 1 for t\in(0, \infty)\setminus\mathcal{N} .

    Theorem 2.2. Set X: = \left\{u\in C([0, \infty); L^2(\mathcal{X}; \nu)); \; \sup_{t\geq0}e^{-kt}\|u(t, \cdot)\| < \infty\right\} with norm \|u\|_X = \sup_{t\geq0}e^{-kt}\|u(t, \cdot)\| . Let g\in L^2(\mathcal{X}; \nu) . Then equation (1.3) has a unique weak solution u\in X with stochastic representation (1.5) in the sense that for every t\in(0, \infty) and \varphi\in\mathcal{D}(\mathcal{L}) ,

    \begin{equation} \langle\int_0^tw(t-s)(u(s,\cdot)-g(\cdot))ds,\varphi\rangle = \int_0^t\langle u(s,\cdot),\mathcal{L}\varphi\rangle ds-\int_0^t\langle\kappa(\cdot)u(s,\cdot),\varphi\rangle ds. \end{equation} (2.3)

    Moreover,

    \begin{equation} u\in C((0,\infty);\mathcal{D}((-\mathcal{L})^\alpha)) \;\mathit{\text{for}}\;\alpha\in(0,1), \end{equation} (2.4)

    and

    \begin{equation*} \int_0^T\|(-\mathcal{L})^\alpha u(t,\cdot)\|dt < \infty \;\mathit{\text{for every}}\;T > 0. \end{equation*}

    Proof of Theorem 2.2 . (Existence) We prove that equation (1.3) has a weak solution u\in X using the contraction mapping principle. For u\in X , we define

    \begin{equation*} \begin{aligned} T(u)(t,x):& = \mathbb{E}[P_{E_t}g(x)]-\int_{s = 0}^t\int_{r = 0}^\infty P_r(\kappa(\cdot)u(s,\cdot))(x)p(r,t-s)drds\\ :& = u_1(t,x)-u_2(t,x).\\ \end{aligned} \end{equation*}

    First, it is needed to show that T(u)\in X . Clearly, for g\in L^2(\mathcal{X}; \nu) , \sup_{t\geq0}\|u_1(t, \cdot)\|\leq\|g\| . Since t\mapsto E_t is continuous a.s. and \{P_t\}_{t\geq0} is a strongly continuous contraction semigroup in L^2(\mathcal{X}; \nu) , we have by the bounded convergence theorem that t\mapsto u_1(t, \cdot) is continuous in L^2(\mathcal{X}; \nu) . For u_2(t, \cdot) , we have for every given t\geq0 ,

    \begin{equation*} \begin{aligned} \|u_2(t,\cdot)\|\leq&\int_{s = 0}^t\int_{r = 0}^\infty\|P_r(\kappa(\cdot)u(s,\cdot))\|p(r,t-s)drds\\ \leq&\mathcal{K}\sup\limits_{s\in[0,t]}\|u(s,\cdot)\|\int_{s = 0}^t\int_{r = 0}^\infty p(r,t-s)drds\leq C\int_0^tG^S(s)ds.\\ \end{aligned} \end{equation*}

    Thus, u_2(t, \cdot) is well defined as an element in L^2(\mathcal{X}; \nu) . We now show the continuity of t\mapsto u_2(t, \cdot) in L^2(\mathcal{X}; \nu) . For t\geq0 , \Delta t > 0 ,

    \begin{equation*} \begin{aligned} &\|u_2(t+\Delta t,\cdot)-u_2(t,\cdot)\|\\ \leq&\int_{s = t}^{t+\Delta t}\int_{r = 0}^\infty\|P_r(\kappa(\cdot)u(s,\cdot))\|p(r,t+\Delta t-s)drds\\ &+\int_{s = 0}^{t}\int_{r = 0}^\infty\|P_r(\kappa(\cdot)u(s,\cdot))\||p(r,t+\Delta t-s)-p(r,t-s)|drds\\ \leq&\mathcal{K}\sup\limits_{s\in[t,t+\Delta t]}\|u(s,\cdot)\|\int_{s = t}^{t+\Delta t}\int_{r = 0}^\infty p(r,t+\Delta t-s)drds\\ &+\mathcal{K}\sup\limits_{s\in[0,t]}\|u(s,\cdot)\|\int_{s = 0}^{t}\int_{r = 0}^\infty|p(r,t+\Delta t-s)-p(r,t-s)|drds\\ \leq&C\left[\int_0^{\Delta t}G^S(s)ds+\int_{s = 0}^{t}\int_{r = 0}^\infty|p(r,\Delta t+s)-p(r,s)|drds\right].\\ \end{aligned} \end{equation*}

    Using (2.2) and the fact \lim_{r\to\infty}\phi(r) = \infty in the first term, L^1 -continuity of the integrable function (r, s)\mapsto p(r, s) on [0, \infty)\times[0, t+1] in the second term, one can see that as \Delta t\to0 both terms go to zero.

    Now we show that u_2 belongs to X . By (1.4), we have

    \begin{equation*} \begin{aligned} \|u_2\|_X&\leq\sup\limits_{t\geq0}e^{-kt}\int_{s = 0}^t\int_{r = 0}^\infty \|P_r(\kappa(\cdot)u(s,\cdot))\|p(r,t-s)drds\\ &\leq\mathcal{K}\sup\limits_{t\geq0}e^{-kt}\int_{s = 0}^t\int_{r = 0}^\infty\|u(s,\cdot)\|p(r,t-s)drds\\ &\leq\mathcal{K}\|u\|_X\sup\limits_{t\geq0}e^{-kt}\int_{s = 0}^t\int_{r = 0}^\infty e^{ks}p(r,t-s)drds\\ &\leq\mathcal{K}\|u\|_X\int_{s = 0}^\infty\int_{r = 0}^\infty e^{-ks}p(r,s)drds = \frac{\mathcal{K}}{\phi(k)}\|u\|_X.\\ \end{aligned} \end{equation*}

    Next, one can see that T is a contraction mapping. Indeed, for v_1 , v_2\in X ,

    \begin{equation*} \begin{aligned} \|Tv_1-Tv_2\|_X\leq&\sup\limits_{t\geq0}e^{-kt}\int_{s = 0}^t\int_{r = 0}^\infty\|P_r (\kappa(\cdot)v_1(s,\cdot))-P_r(\kappa(\cdot)v_2(s,\cdot))\|p(r,t-s)drds\\ \leq&\sup\limits_{t\geq0}e^{-kt}\mathcal{K}\int_{s = 0}^t\int_{r = 0}^\infty \|v_1(s,\cdot)-v_2(s,\cdot)\|p(r,t-s)drds\\ \leq&\mathcal{K}\|v_1-v_2\|_X\sup\limits_{t\geq0}e^{-kt}\int_{s = 0}^t\int_{r = 0}^\infty e^{ks}p(r,t-s)drds\\ \leq&\mathcal{K}\|v_1-v_2\|_X\int_{s = 0}^\infty\int_{r = 0}^\infty e^{-ks}p(r,s)drds = \frac{\mathcal{K}}{\phi(k)}\|v_1-v_2\|_X,\\ \end{aligned} \end{equation*}

    which implies that \|Tv_1-Tv_2\|_X < \|v_1-v_2\|_X for large enough k . Hence, there exists a unique fixed point u\in X such that

    \begin{equation} u(t,x) = \mathbb{E}[P_{E_t}g(x)]-\int_{s = 0}^t\int_{r = 0}^\infty P_r(\kappa(\cdot)u(s,\cdot))(x)p(r,t-s)drds. \end{equation} (2.5)

    Now we show that u appearing in (2.5) satisfies the equation (2.3). Denote u = u_1-u_2 . For u_1 , we have for every t\geq0 and \varphi\in\mathcal{D}(\mathcal{L}) ,

    \begin{equation} \begin{aligned} &\langle\int_0^tw(t-s)(u_1(s,\cdot)-g)ds,\varphi\rangle\\ & = \int_{s = 0}^tw(t-s)\int_{r = 0}^\infty(\langle P_rg,\varphi\rangle-\langle g,\varphi\rangle)d_r\mathbb{P}(S_r\geq s)ds\\ & = \int_{r = 0}^\infty(\langle P_rg,\varphi\rangle-\langle g,\varphi\rangle)d_r\left(\int_{s = 0}^tw(t-s)\mathbb{P}(S_r\geq s)ds\right)\\ & = -\int_0^\infty(\langle g,P_r\varphi\rangle-\langle g,\varphi\rangle)d_r\mathbb{E}[G(t-S_r)\mathbf{1}_{\{t\geq S_r\}}]\\ & = \int_0^\infty\mathbb{E}[G(t-S_r)\mathbf{1}_{\{t\geq S_r\}}]\langle P_r g,\mathcal{L}\varphi\rangle dr.\\ \end{aligned} \end{equation} (2.6)

    The first equality follows from \mathbb{P}(E_t\leq r) = \mathbb{P}(S_r\geq t) ; the second is justified by the Riemann sum approximation of Stieltjes integrals; the third follows from self-adjointness of \{P_r\}_{r\geq0} and Lemma 2.1 (i); and the last follows the integration by parts. On the other hand, we find that for every t\geq0 and \varphi\in\mathcal{D}(\mathcal{L}) ,

    \begin{equation} \begin{aligned} &\int_0^t\langle u_1(s,\cdot),\mathcal{L}\varphi\rangle ds = \int_0^t\langle\int_0^\infty P_rgd_r\mathbb{P}(E_s\leq r),\mathcal{L}\varphi\rangle ds\\ = &\int_{s = 0}^t\int_{r = 0}^\infty\langle P_rg,\mathcal{L}\varphi\rangle\mathbb{E}[w(s-S_r)\mathbf{1}_{\{s\geq S_r\}}]drds\\ = &\int_0^\infty\langle P_rg,\mathcal{L}\varphi\rangle\mathbb{E}[G(t-S_r)\mathbf{1}_{\{t\geq S_r\}}]dr,\\ \end{aligned} \end{equation} (2.7)

    the second equality of which follows from Lemma 2.1 (ii); the third one is an application of Tonelli's Theorem and a simple change of variables. Thus, by (2.6) and (2.7) we conclude that for every t\geq0 and \varphi\in\mathcal{D}(\mathcal{L}) ,

    \begin{equation} \langle\int_0^tw(t-s)(u_1(s,\cdot)-g)ds,\varphi\rangle = \int_0^t\langle u_1(s,\cdot),\mathcal{L}\varphi\rangle ds. \end{equation} (2.8)

    Next, we consider u_2 , we have for every t\geq0 ,

    \begin{equation*} \begin{aligned} \int_0^tw(t-s)u_2(s,x)ds& = \int_{s = 0}^tw(t-s)\left(\int_{\tau = 0}^s\int_{r = 0}^\infty P_r (\kappa(\cdot)u(\tau,\cdot))(x)p(r,s-\tau)drd\tau\right)ds\\ & = \int_{\tau = 0}^t\int_{r = 0}^\infty P_r(\kappa(\cdot)u(\tau,\cdot))(x)\left(\int_{s = \tau}^tw(t-s)p(r,s-\tau)ds\right)drd\tau\\ & = \int_{\tau = 0}^t\int_{r = 0}^\infty P_r (\kappa(\cdot)u(\tau,\cdot))(x)\left(\int_{s = 0}^{t-\tau}w(t-\tau-s)p(r,s)ds\right)drd\tau\\ & = \int_{\tau = 0}^t\int_{r = 0}^\infty P_r(\kappa(\cdot)u(\tau,\cdot))(x)d_r\mathbb{P}(E_{t-\tau}\leq r)d\tau\\ & = \int_0^t\mathbb{E}[P_{E_{t-s}}(\kappa(\cdot)u(s,\cdot))(x)]ds,\\ \end{aligned} \end{equation*}

    the first equality of which follows the definition of u_2 ; the second and the third ones are application of Tonelli's Theorem and a simple change of variables; the fourth one is due to Lemma 2.1 (i). Thus, for every \varphi\in\mathcal{D}(\mathcal{L}) and t\geq0 , by the self-adjointness of \{P_r\}_{r\geq0} and Fubini theorem, we have

    \begin{equation} \begin{aligned} &\langle\int_0^tw(t-s)u_2(s,\cdot)ds,\varphi\rangle = \langle\int_0^t\mathbb{E}P_{E_{t-s}}(\kappa(\cdot)u(s,\cdot))ds, \varphi\rangle\\ & = \int_0^t\langle\kappa(\cdot)u(s,\cdot),\mathbb{E}P_{E_{t-s}}\varphi\rangle ds\\ & = \int_0^t\langle \kappa(\cdot)u(s,\cdot),\varphi\rangle ds+\int_0^t\langle \kappa(\cdot)u(\tau,\cdot),\mathbb{E}\int_0^{E_{t-\tau}}P_s \mathcal{L}\varphi ds\rangle d\tau\\ & = \int_0^t\langle \kappa(\cdot)u(s,\cdot),\varphi\rangle ds+\int_0^t\langle\mathbb{E}\int_0^{E_{t-\tau}}P_s(\kappa(\cdot)u(\tau,\cdot))ds, \mathcal{L}\varphi\rangle d\tau.\\ \end{aligned} \end{equation} (2.9)

    Then, by a direct computation, we have

    \begin{equation} \begin{aligned} \int_0^t&\left(\mathbb{E}\int_0^{E_{t-\tau}}P_s(\kappa(\cdot)u(\tau,\cdot))ds\right)d\tau\\ = &\int_0^t\left(\int_0^\infty\mathbb{P}(E_{t-\tau} > s)P_s(\kappa(\cdot)u(\tau,\cdot))ds\right)d\tau\\ = &\int_0^t\left(\int_0^\infty\mathbb{P}(S_s\leq t-\tau)P_s(\kappa(\cdot)u(\tau,\cdot))ds\right)d\tau\\ = &\int_0^t\left(\int_{s = 0}^\infty\left(\int_{r = 0}^{t-\tau}p(s,r)dr\right)P_s (\kappa(\cdot)u(\tau,\cdot))ds\right)d\tau\\ = &\int_{\tau = 0}^t\int_{r = 0}^{t-\tau}\int_{s = 0}^\infty P_s(\kappa(\cdot)u(\tau,\cdot))p(s,t-\tau-r)dsdrd\tau\\ = &\int_{r = 0}^t\int_{\tau = 0}^{t-r}\int_{s = 0}^\infty P_s(\kappa(\cdot)u(\tau,\cdot))p(s,t-r-\tau)dsd\tau dr\\ = &\int_0^tu_2(t-r,\cdot)dr = \int_0^tu_2(s,\cdot)ds.\\ \end{aligned} \end{equation} (2.10)

    Thus by (2.9) and (2.10) one can conclude that for every t\geq0 and \varphi\in\mathcal{D}(\mathcal{L}) ,

    \begin{equation} \langle\int_0^tw(t-s)u_2(s,\cdot)ds,\varphi\rangle = \int_0^t\langle \kappa(\cdot)u(s,\cdot),\varphi\rangle ds+\int_0^t\langle u_2(s,\cdot),\mathcal{L}\varphi\rangle ds. \end{equation} (2.11)

    Hence by (2.8) and (2.11), u appearing in (2.5) satisfies the equation (2.3).

    (Uniqueness) For the uniqueness of weak solution of equation (1.3), it is enough to show that u solves (2.3) if and only if u satisfies (2.5). The 'if' direction has been proved by the above discussion. For the 'only if' direction, let u\in X satisfy (2.3). Combining (2.3), (2.8), and (2.11), we have for every t\geq0 and \varphi\in\mathcal{D}(\mathcal{L}) ,

    \begin{equation*} \langle\int_0^tw(t-s)(u(s,\cdot)-u_1(s,\cdot)+u_2(s,\cdot))ds,\varphi\rangle = \int_0^t\langle u(s,\cdot)-u_1(s,\cdot)+u_2(s,\cdot),\mathcal{L}\varphi\rangle ds. \end{equation*}

    Let h(t, x): = u(t, x)-u_1(t, x)+u_2(t, x) . We have \|h(t, \cdot)\|\leq Ce^{kt} for large enough k . Therefore for every \lambda > k , \widehat{h}(\lambda, \cdot)\in L^2(\mathcal{X}; \nu) . Taking Laplace transform w.r.t. t on both sides yields that for every \lambda > k and \varphi\in\mathcal{D}(\mathcal{L}) ,

    \frac{\phi(\lambda)}{\lambda}\langle \widehat{h}(\lambda,\cdot),\varphi\rangle = \frac{1}{\lambda}\langle \widehat{h}(\lambda,\cdot),\mathcal{L}\varphi\rangle.

    That is, for every \lambda > k and \varphi\in\mathcal{D}(\mathcal{L}) ,

    \int_\mathcal{X}\widehat{h}(\lambda,x)(\phi(\lambda)-\mathcal{L})\varphi(x)\nu(dx) = 0.

    Since \mathcal{L} is the infinitesimal generator of strongly continuous contraction semigroup \{P_t\}_{t\geq0} on Banach space L^2(\mathcal{X}; \nu) , the resolvent G_{\phi(\lambda)} = \int_0^\infty e^{-\phi(\lambda)t}P_tdt is well defined and is the inverse to \phi(\lambda)-\mathcal{L} . Taking \varphi = G_{\phi(\lambda)}\psi yields that,

    \int_\mathcal{X}\widehat{h}(\lambda,x)\psi(x)\nu(dx) = 0 \text{ for every }\lambda > k,\psi\in L^2(\mathcal{X};\nu).

    Thus, we have \widehat{h}(\lambda, \cdot) = 0 for every \lambda > k . By the uniqueness of Laplace transform, we have h(t, \cdot) = 0 for a.e. t\geq0 . Since t\mapsto h(t, \cdot) is continuous for t\geq0 , we conclude that h(t, \cdot) = 0 for t\geq0 , and hence u = u_1-u_2 satisfies (2.5).

    Remark 2.3. Similar to the above discussions, when the nonlinear function f satisfies Lipschitz condition, i.e., there exists a positive constant \mathcal{K} such that for t\geq0 and \phi_1, \phi_2\in L^2(\mathcal{X}; \nu) ,

    \|f(t,\cdot,\phi_1)-f(t,\cdot,\phi_2)\|\leq \mathcal{K}\|\phi_1-\phi_2\|,

    then the nonlinear time fractional equation

    \begin{equation*} \left\{\begin{aligned} \partial_t^wu(t,x)& = \mathcal{L} u(t,x)+f(t,x,u(t,x)),\; t\in(0,\infty),\; x\in\mathcal{X},\\ u(0,x)& = g(x),\; x\in \mathcal{X},\\ \end{aligned}\right. \end{equation*}

    has an unique weak solution in the sense that for every t\in(0, \infty) and \varphi\in\mathcal{D}(\mathcal{L}) ,

    \begin{equation*} \langle\int_0^tw(t-s)(u(s,\cdot)-g(\cdot))ds,\varphi\rangle = \int_0^t\langle u(s,\cdot),\mathcal{L}\varphi\rangle ds+\int_0^t\langle f(s,\cdot,u(s,\cdot)),\varphi\rangle ds. \end{equation*}

    Proof of Theorem 2.2 -continued. (Stochastic representation) Denote

    v(t,x) = \mathbb{E}^x\left[e^{-\int_0^t\kappa(X_s)ds}g(X_t)\right].

    Then we have

    \mathbb{E}^x\left[e^{-\int_0^{E_t}\kappa(X_s)ds}g(X_{E_t})\right] = \mathbb{E}v(E_t,x).

    It remains to establish for t > 0 , the stochastic representation defined by (1.5) satisfies (2.5), i.e.,

    \begin{equation} \mathbb{E}^x\left[e^{-\int_0^{E_t}\kappa(X_s)ds}g(X_{E_t})\right] = \mathbb{E}^x[g(X_{E_t})]-\int_{s = 0}^t\int_{r = 0}^\infty P_r(\kappa(\cdot)\mathbb{E}v(E_s,\cdot))(x)p(r,t-s)drds. \end{equation} (2.12)

    On the one hand, denote by \mathcal{F}^S the \sigma -field generated by the subordinator S . By the independence between X and S (and hence its inverse E ) and the Markov property of X ,

    \begin{equation} \begin{aligned} &\mathbb{E}^x[g(X_{E_t})]-\mathbb{E}^x\left[e^{-\int_0^{E_t}\kappa(X_s)ds}g(X_{E_t})\right]\\ & = -\mathbb{E}^x\left[\left(e^{-\int_0^{E_t}\kappa(X_s)ds}-1\right)g(X_{E_t})\right]\\ & = \mathbb{E}\left[\mathbb{E}^x\left.\left[\int_0^{E_t}\kappa(X_r)e^{-\int_r^{E_t} \kappa(X_s)ds}g(X_{E_t})dr\right]\right|\mathcal{F}^S\right]\\ & = \mathbb{E}\left[\left.\mathbb{E}^x\left[\int_0^{E_t}\kappa(X_r)\mathbb{E}^{X_r}\left[e^{-\int_r^{E_t} \kappa(X_{s-r})ds}g(X_{E_t-r})\right]dr\right]\right|\mathcal{F}^S\right]\\ & = \mathbb{E}\left.\left[\mathbb{E}^x\left[\int_0^{E_t}\kappa(X_r)v(E_t-r,X_r)dr\right]\right|\mathcal{F}^S\right]\\ & = \mathbb{E}\left[\int_0^{E_t}P_r\left(\kappa(\cdot)v(E_t-r,\cdot)\right)(x)dr\right].\\ \end{aligned} \end{equation} (2.13)

    By Lemma 2.1 (ii), taking Laplace transform w.r.t. t yields that for \lambda > k ,

    \begin{equation} \begin{aligned} &\mathscr{L}\left\{\mathbb{E}\left[\int_0^{E_t} P_r\left(\kappa(\cdot)v(E_t-r,\cdot)\right)(x)dr\right]\right\}(\lambda)\\ & = \mathscr{L}\left\{\int_{\tau = 0}^\infty\int_{r = 0}^\tau P_r\left(\kappa(\cdot)v(\tau-r,\cdot)\right)(x)drd_\tau\mathbb{P}(E_t\leq \tau)\right\}(\lambda)\\ & = \mathscr{L}\left\{\int_{\tau = 0}^\infty\int_{r = 0}^\tau P_r\left(\kappa(\cdot)v(\tau-r,\cdot)\right)(x)dr\mathbb{E}[w(t-S_\tau)\mathbf{1}_{\{t\geq S_\tau\}}]d\tau\right\}(\lambda)\\ & = \frac{\phi(\lambda)}{\lambda}\int_{\tau = 0}^\infty\int_{r = 0}^\tau P_r\left(\kappa(\cdot)v(\tau-r,\cdot)\right)(x)dre^{-\tau\phi(\lambda)}d\tau\\ & = \frac{\phi(\lambda)}{\lambda}\int_{\tau = 0}^\infty\int_{r = 0}^\infty e^{-(\tau+r)\phi(\lambda)} P_r\left(\kappa(\cdot)v(\tau,\cdot)\right)(x)drd\tau.\\ \end{aligned} \end{equation} (2.14)

    On the other hand, taking Laplace transform w.r.t. t yields that for \lambda > k ,

    \begin{equation} \begin{aligned} &\mathscr{L}\left\{\int_{s = 0}^t\int_{r = 0}^\infty P_r(\kappa(\cdot)\mathbb{E}v(E_s,\cdot))(x)p(r,t-s)drds\right\}(\lambda)\\ & = \mathscr{L}\left\{\int_{\tau = 0}^\infty\int_{s = 0}^t\int_{r = 0}^\infty P_r(\kappa(\cdot)v(\tau,\cdot))(x)p(r,t-s)drdsd_\tau\mathbb{P}(E_s\leq \tau)\right\}(\lambda)\\ & = \mathscr{L}\left\{\int_{\tau = 0}^\infty\int_{r = 0}^\infty\int_{s = 0}^t P_r(\kappa(\cdot)v(\tau,\cdot))(x)p(r,t-s)\mathbb{E}[w(s-S_\tau)\mathbf{1}_{\{s\geq S_\tau\}}]dsdrd\tau\right\}(\lambda)\\ & = \frac{\phi(\lambda)}{\lambda}\int_{\tau = 0}^\infty\int_{r = 0}^\infty e^{-(\tau+r)\phi(\lambda)} P_r\left(\kappa(\cdot)v(\tau,\cdot)\right)(x)drd\tau.\\ \end{aligned} \end{equation} (2.15)

    Combining (2.13), (2.14), and (2.15), Eq. (2.12) can be proved by the uniqueness of Laplace transform.

    (Regularity) One has the estimate \|(-\mathcal{L})^\alpha P_t\|\leq C_\alpha t^{-\alpha} for t > 0 by utilizing spectral representation of the self-adjoint operator \mathcal{L} . By Lemma 2.1 (ii), for t > 0 ,

    \begin{equation} \begin{aligned} &\int_0^\infty\|(-\mathcal{L})^\alpha P_rg\|d_r\mathbb{P}(E_t\leq r)\\ \leq&C_\alpha\|g\|\int_0^\infty\frac{1}{r^\alpha}d_r\mathbb{P}(E_t\leq r) = C_\alpha\|g\|\mathbb{E}\left[\frac{1}{E_t^\alpha}\right]\\ = &C_\alpha\|g\|\int_0^\infty\left(\frac{1}{r^\alpha}\mathbb{E}[w(t-S_r)\mathbf{1}_{\{t\geq S_r\}}]\right)dr.\\ \end{aligned} \end{equation} (2.16)

    For given t > 0 , by (2.1),

    \begin{equation} \begin{aligned} &\int_{s = 0}^t\int_{r = 0}^\infty\frac{p(r,s)}{r^\alpha}drds = \int_0^\infty\frac{\mathbb{P}(S_r\leq t)}{r^\alpha}dr\\ = &\int_0^1\frac{\mathbb{P}(S_r\leq t)}{r^\alpha}dr+\int_1^\infty\frac{\mathbb{P}(S_r\leq t)}{r^\alpha}dr\\ \leq&\int_0^1\frac{1}{r^\alpha}dr+\int_0^\infty\mathbb{P}(S_r\leq t)dr\\ \leq&\frac{1}{1-\alpha}+\int_0^tG^S(s)ds < \infty.\\ \end{aligned} \end{equation} (2.17)

    Then, for a.e. t > 0 , \int_0^\infty\frac{p(r, t)}{r^\alpha}dr < \infty . By Lemma 2.1 (iii), for a.e. t > 0 ,

    \int_1^\infty\frac{1}{r^\alpha}\mathbb{E}[w(t-S_r)\mathbf{1}_{\{t\geq S_r\}}]dr\leq\int_0^\infty\mathbb{E}[w(t-S_r)\mathbf{1}_{\{t\geq S_r\}}]dr = 1.

    For each t > 0 , using Lemma 2.1 (i) and the Fubini theorem,

    \begin{equation*} \begin{aligned} &\int_{s = 0}^t\int_{r = 0}^1\frac{1}{r^\alpha}\mathbb{E}[w(s-S_r)\mathbf{1}_{\{s\geq S_r\}}]drds\\ = &\int_0^1\frac{1}{r^\alpha}\mathbb{E}\left[\int_0^tw(s-S_r)\mathbf{1}_{\{s\geq S_r\}}ds\right]dr\\ = &\int_0^1\frac{1}{r^\alpha}\mathbb{E}[G(t-S_r)\mathbf{1}_{\{t\geq S_r\}}]dr\\ \leq&G(t)\int_0^1\frac{1}{r^\alpha}dr < \infty.\\ \end{aligned} \end{equation*}

    Thus, for a.e. t > 0 , \int_0^\infty\frac{1}{r^\alpha}\mathbb{E}[w(t-S_r)\mathbf{1}_{\{t\geq S_r\}}]dr < \infty. It follows that u_1(t, \cdot)\in \mathcal{D}((-\mathcal{L})^\alpha) for a.e. t > 0 . By the monotonicity of t\mapsto\mathbb{E}[\frac{1}{E_t^\alpha}] , u_1(t, \cdot)\in \mathcal{D}((-\mathcal{L})^\alpha) for t > 0 . Moreover, we have for each t > 0 ,

    (-\mathcal{L})^\alpha u_1(t,x) = \int_0^\infty(-\mathcal{L})^\alpha P_rg(x)d_r\mathbb{P}(E_t\leq r)

    and

    \begin{equation} \int_0^T\|(-\mathcal{L})^\alpha u_1(t,\cdot)\|dt < \infty \text{ for every }T > 0. \end{equation} (2.18)

    In addition, by Lemma 2.1 (ii) and the Fubini theorem, for t > 0 ,

    \begin{equation*} \begin{aligned} \int_0^\infty\frac{\mathbb{P}(E_t\leq r)}{r^{\alpha+1}}dr = &\int_{r = 0}^\infty\frac{1}{r^{\alpha+1}}\int_{s = 0}^r(\mathbb{E}[w(t-S_s)\mathbf{1}_{\{t\geq S_s\}}])dsdr\\ = &\int_{s = 0}^\infty(\mathbb{E}[w(t-S_s)\mathbf{1}_{\{t\geq S_s\}}])\int_{r = s}^\infty\frac{1}{r^{\alpha+1}}drds\\ = &\int_0^\infty\frac{1}{\alpha s^\alpha}(\mathbb{E}[w(t-S_s)\mathbf{1}_{\{t\geq S_s\}}])ds < \infty.\\ \end{aligned} \end{equation*}

    Thus we have for t > 0 ,

    \int_0^\infty\frac{1}{r^\alpha}d_r\mathbb{P}(E_t\leq r) = \left.\frac{\mathbb{P}(E_t\leq r)}{r^\alpha}\right|_{r = 0}^\infty+\alpha\int_0^\infty\frac{\mathbb{P}(E_t\leq r)}{r^{\alpha+1}}dr.

    It follows that for t > 0 ,

    \begin{equation} \lim\limits_{r\to0^+}\frac{\mathbb{P}(E_t\leq r)}{r^\alpha} = 0. \end{equation} (2.19)

    We now show the continuity of t\mapsto(-\mathcal{L})^\alpha u_1(t, \cdot) in L^2(\mathcal{X}; \nu) . By (2.19) and the integration by parts, for t > 0 , \Delta t > 0 ,

    \begin{equation*} \begin{aligned} (-\mathcal{L})^\alpha u_1(t+\Delta t,x)-(-\mathcal{L})^\alpha u_1(t,x)& = \int_0^\infty(-\mathcal{L})^\alpha P_rg(x)d_r[\mathbb{P}(E_{t+\Delta t}\leq r)-\mathbb{P}(E_t\leq r)]\\ & = \int_0^\infty[\mathbb{P}(E_t\leq r)-\mathbb{P}(E_{t+\Delta t}\leq r)](-\mathcal{L})^{\alpha+1}P_rg(x)dr.\\ \end{aligned} \end{equation*}

    Hence, by Levi monotone convergence theorem, as \Delta t\to0 ,

    \begin{equation} \begin{aligned} \|(-\mathcal{L})^\alpha u_1(t+\Delta t,\cdot)&-(-\mathcal{L})^\alpha u_1(t,\cdot)\|\leq\int_0^\infty|\mathbb{P}(E_t\leq r)-\mathbb{P}(E_{t+\Delta t}\leq r)|\|(-\mathcal{L})^{\alpha+1}P_rg\|dr\\ &\leq C_{\alpha+1}\|g\|\int_0^\infty|\mathbb{P}(E_t\leq r)-\mathbb{P}(E_{t+\Delta t}\leq r)|\frac{1}{r^{\alpha+1}}dr\to0.\\ \end{aligned} \end{equation} (2.20)

    We next consider u_2 , for given t\geq0 , by (2.17),

    \begin{equation*} \begin{aligned} &\int_{s = 0}^t\int_{r = 0}^\infty\|(-\mathcal{L})^\alpha P_r(\kappa(\cdot)u(s,\cdot))\|p(r,t-s)drds\\ \leq&C_\alpha\mathcal{K}\sup\limits_{s\in[0,t]}\|u(s,\cdot)\| \int_{s = 0}^t\int_{r = 0}^\infty\frac{1}{r^\alpha}p(r,t-s)drds\\ \leq&C\left(\frac{1}{1-\alpha}+\int_0^tG^S(s)ds\right) < \infty.\\ \end{aligned} \end{equation*}

    It follows that u_2(t, \cdot)\in\mathcal{D}((-\mathcal{L})^\alpha) for t\geq0 . Moreover, we have for each t\geq0 ,

    (-\mathcal{L})^\alpha u_2(t,x) = \int_{s = 0}^t\int_{r = 0}^\infty(-\mathcal{L})^\alpha P_r(\kappa(\cdot)u(s,\cdot))(x)p(r,t-s)drds

    and

    \begin{equation} \int_0^T\|(-\mathcal{L})^\alpha u_2(t,\cdot)\|dt < \infty \text{ for every }T > 0. \end{equation} (2.21)

    We now show the continuity of t\mapsto(-\mathcal{L})^\alpha u_2(t, \cdot) in L^2(\mathcal{X}; \nu) . For t\geq0 , \Delta t > 0 ,

    \begin{equation} \begin{aligned} &\|(-\mathcal{L})^\alpha u_2(t+\Delta t,\cdot)-(-\mathcal{L})^\alpha u_2(t,\cdot)\|\\ \leq&\int_{s = t}^{t+\Delta t}\int_{r = 0}^\infty\|(-\mathcal{L})^\alpha P_r (\kappa(\cdot)u(s,\cdot))\|p(r,t+\Delta t-s)drds\\ &+\int_{s = 0}^{t}\int_{r = 0}^\infty\|(-\mathcal{L})^\alpha P_r(\kappa(\cdot)u(s,\cdot))\||p(r,t+\Delta t-s)-p(r,t-s)|drds\\ \leq&C_\alpha\mathcal{K}\sup\limits_{s\in[t,t+\Delta t]}\|u(s,\cdot)\|\int_{s = t}^{t+\Delta t}\int_{r = 0}^\infty\frac{1}{r^\alpha}p(r,t+\Delta t-s)drds\\ &+C_\alpha\mathcal{K}\sup\limits_{s\in[0,t]}\|u(s,\cdot)\|\int_{s = 0}^{t}\int_{r = 0}^\infty\frac{1}{r^\alpha}|p(r,t+\Delta t-s)-p(r,t-s)|drds\\ \leq&C\left[\int_0^\infty\frac{1}{r^\alpha}\mathbb{P}(S_r\leq\Delta t)dr+\int_{s = 0}^{t}\int_{r = 0}^\infty\frac{1}{r^\alpha}|p(r,\Delta t+s)-p(r,s)|drds\right].\\ \end{aligned} \end{equation} (2.22)

    Using Levi monotone convergence theorem in the first term, L^1 -continuity of the integrable function (r, s)\mapsto p(r, s)/r^\alpha on [0, \infty)\times[0, t+1] in the second term, one can see that as \Delta t\to0 both terms go to zero.

    When \kappa and g have some regularity, we show that u appearing in Theorem 2.2 is a unique strong solution of equation (1.3) .

    Theorem 2.4. Suppose that g\in\mathcal{D}((-\mathcal{L})^\epsilon) with \epsilon > 0 small enough, and (\kappa(\cdot)u(t, \cdot))\in\mathcal{D}((-\mathcal{L})^\epsilon) for t\geq0 with \|(-\mathcal{L})^\epsilon(\kappa(\cdot)u(t, \cdot))\|\leq C_\kappa\|(-\mathcal{L})^\epsilon u(t, \cdot)\| for some constant C_\kappa . Then u is the unique strong solution of equation (1.3) satisfying u(t, \cdot)\in\mathcal{D}(\mathcal{L}) for a.e. t > 0 and \int_0^T\|\mathcal{L}u(t, \cdot)\|dt < \infty for T > 0 in the sense that for every t > 0 ,

    \begin{equation} \int_0^tw(t-s)(u(s,\cdot)-g(\cdot))ds = \int_0^t\mathcal{L}u(s,\cdot)ds-\int_0^t\kappa(\cdot)u(s,\cdot)ds\;\mathit{\text{in}}\;L^2(\mathcal{X};\nu). \end{equation} (2.23)

    Moreover,

    \begin{equation} u\in C([0,\infty);\mathcal{D}((-\mathcal{L})^\epsilon))\cap C((0,\infty);\mathcal{D}(\mathcal{L})). \end{equation} (2.24)

    Proof. By g\in\mathcal{D}((-\mathcal{L})^\epsilon) and the similar calculations as the proof of (2.4), we have u\in C([0, \infty); \mathcal{D}((-\mathcal{L})^\epsilon)) . It remains to establish for a.e. t > 0 , u(t, \cdot)\in\mathcal{D}(\mathcal{L}) and \int_0^T\|\mathcal{L}u(t, \cdot)\|dt < \infty for T > 0 , and hence (2.3) can be strengthened to (2.23) by the fact that \mathcal{D}(\mathcal{L}) is dense in L^2(\mathcal{X}; \nu) .

    In fact, by the same arguments as those in (2.16), we have for t > 0 ,

    \begin{equation*} \begin{aligned} &\int_0^\infty\|\mathcal{L}P_rg\|d_r\mathbb{P}(E_t\leq r)\\ = &\int_0^\infty\|(-\mathcal{L})^{1-\epsilon}P_r(-\mathcal{L})^\epsilon g\|d_r\mathbb{P}(E_t\leq r)\\ \leq&C_{1-\epsilon}\|(-\mathcal{L})^\epsilon g\|\int_0^\infty\frac{1}{r^{1-\epsilon}}d_r\mathbb{P}(E_t\leq r)\\ = &C_{1-\epsilon}\|(-\mathcal{L})^\epsilon g\|\mathbb{E}\left[\frac{1}{E_t^{1-\epsilon}}\right] < \infty.\\ \end{aligned} \end{equation*}

    Hence u_1(t, \cdot)\in \mathcal{D}(\mathcal{L}) and for t > 0 ,

    \mathcal{L}u_1(t,x) = -\int_0^\infty(-\mathcal{L})^{1-\epsilon} P_r(-\mathcal{L})^\epsilon g(x)d_r\mathbb{P}(E_t\leq r).

    Let \widetilde{u}_1(t, x) = \mathbb{E}[P_{E_t}(-\mathcal{L})^\epsilon g(x)] , by (2.18),

    \begin{equation} \int_0^T\|\mathcal{L}u_1(t,\cdot)\|dt = \int_0^T\|(-\mathcal{L})^{1-\epsilon}\widetilde{u}_1(t,\cdot)\|dt < \infty \text{ for every }T > 0. \end{equation} (2.25)

    For u_2 , by (2.17) and \|(-\mathcal{L})^\epsilon(\kappa(\cdot)u(t, \cdot))\|\leq C_\kappa\|(-\mathcal{L})^\epsilon u(t, \cdot)\| , we have for given t\geq0 ,

    \begin{equation*} \begin{aligned} &\int_{s = 0}^t\int_{r = 0}^\infty\|\mathcal{L}P_r(\kappa(\cdot)u(s,\cdot))\|p(r,t-s)drds\\ = &\int_{s = 0}^t\int_{r = 0}^\infty\|(-\mathcal{L})^{1-\epsilon} P_r(-\mathcal{L})^\epsilon (\kappa(\cdot)u(s,\cdot))\|p(r,t-s)drds\\ \leq&C_{1-\epsilon}C_\kappa\sup\limits_{s\in[0,t]}\|(-\mathcal{L})^\epsilon u(s,\cdot)\|\int_{s = 0}^t\int_{r = 0}^\infty\frac{1}{r^{1-\epsilon}}p(r,t-s)drds\\ \leq&C_{1-\epsilon}C_\kappa\sup\limits_{s\in[0,t]}\|(-\mathcal{L})^\epsilon u(s,\cdot)\|\left(\frac{1}{\epsilon}+\int_0^tG^S(s)ds\right) < \infty.\\ \end{aligned} \end{equation*}

    It follow that u_2(t, \cdot)\in\mathcal{D}(\mathcal{L}) for t\geq0 , and

    \mathcal{L}u_2(t,x) = -\int_{s = 0}^t\int_{r = 0}^\infty(-\mathcal{L})^{1-\epsilon} P_r(-\mathcal{L})^\epsilon (\kappa(\cdot)u(s,\cdot))(x)p(r,t-s)drds.

    Let \widetilde{u}_2(t, x) = \int_{s = 0}^t\int_{r = 0}^\infty P_r(-\mathcal{L})^\epsilon (\kappa(\cdot)u(s, \cdot))(x)p(r, t-s)drds , by (2.21),

    \begin{equation} \int_0^T\|\mathcal{L}u_2(t,\cdot)\|dt = \int_0^T\|(-\mathcal{L})^{1-\epsilon} \widetilde{u}_2(t,\cdot)\|dt < \infty \text{ for every }T > 0. \end{equation} (2.26)

    Therefore \int_0^T\|\mathcal{L}u(t, \cdot)\|dt < \infty for every T > 0 following from (2.25) and (2.26).

    The continuity of t\mapsto\mathcal{L} u(t, \cdot) in L^2(\mathcal{X}; \nu) is as follows. By the same arguments as those in (2.20), for any t > 0 , as \Delta t\to0 ,

    \begin{equation*} \begin{aligned} \|\mathcal{L}u_1(t+\Delta t,\cdot)&-\mathcal{L}u_1(t,\cdot)\| = \int_0^\infty|\mathbb{P}(E_t\leq r)-\mathbb{P}(E_{t+\Delta t}\leq r)|\|(-\mathcal{L})^{2-\epsilon}P_r(-\mathcal{L})^\epsilon g\|dr\\ \leq&C_{2-\epsilon}\|(-\mathcal{L})^\epsilon g\|\int_0^\infty|\mathbb{P}(E_t\leq r)-\mathbb{P}(E_{t+\Delta t}\leq r)|\frac{1}{r^{2-\epsilon}}dr\to0.\\ \end{aligned} \end{equation*}

    By the same arguments as those in (2.22), for t\geq0 , as \Delta t\to0 ,

    \begin{equation*} \begin{aligned} &\|\mathcal{L}u_2(t+\Delta t,\cdot)-\mathcal{L}u_2(t,\cdot)\|\\ \leq&\int_{s = t}^{t+\Delta t}\int_{r = 0}^\infty\|(-\mathcal{L})^{1-\epsilon}P_r(-\mathcal{L})^\epsilon (\kappa(\cdot)u(s,\cdot))\|p(r,t+\Delta t-s)drds\\ &+\int_{s = 0}^{t}\int_{r = 0}^\infty\|(-\mathcal{L})^{1-\epsilon}P_r(-\mathcal{L})^\epsilon (\kappa(\cdot)u(s,\cdot))\||p(r,t+\Delta t-s)-p(r,t-s)|drds\\ \leq&C_{1-\epsilon}C_\kappa\sup\limits_{s\in[0,t+1]}\|(-\mathcal{L})^\epsilon u(s,\cdot)\|\int_0^\infty\frac{1}{r^{1-\epsilon}}\mathbb{P}(S_r\leq\Delta t)dr\\ &+C_{1-\epsilon}C_\kappa\sup\limits_{s\in[0,t]}\|(-\mathcal{L})^\epsilon u(s,\cdot)\|\int_{s = 0}^{t}\int_{r = 0}^\infty\frac{1}{r^{1-\epsilon}}|p(r,\Delta t+s)-p(r,s)|drds\to0.\\ \end{aligned} \end{equation*}

    Then the proof of (2.24) is completed.

    Remark 2.5. As for the rationality of the assumptions in Theorem 2.4, one can note that \|(-\Delta)^\epsilon(\kappa\varphi)\|\leq C_\kappa\|(-\Delta)^\epsilon\varphi\| for the potential function \kappa\in C_c^\infty(\mathbb{R}^d) and every \varphi\in\mathcal{D}((-\Delta)^\epsilon) = H^{2\epsilon}(\mathbb{R}^d) , in which C_\kappa is a constant, and we take the Lusin space \mathcal{X} = \mathbb{R}^d , L^2(\mathcal{X}; \nu) = L^2(\mathbb{R}^d) , (\mathcal{L}, \mathcal{D}(\mathcal{L})) = (\Delta, H^2(\mathbb{R}^d)) , and the symmetric Markov process as Brownian motion B_t .

    The authors declare that they have not used Artificial Intelligence (AI) tools in the creation of this article.

    This work was supported by the National Natural Science Foundation of China under Grant Nos. 12225107 and 12071195, the Major Science and Technology Projects in Gansu Province-Leading Talents in Science and Technology under Grant No. 23ZDKA0005, and the Innovative Groups of Basic Research in Gansu Province under Grant No. 22JR5RA391.

    The authors declare that there are no conflicts of interest.



    [1] M. F. Nadeem, M. Azeem, A. Khalil, The locating number of hexagonal möbius ladder network, J. Appl. Math. Comput., 66 (2021), 149–165. https://doi.org/10.1007/s12190-020-01430-8 doi: 10.1007/s12190-020-01430-8
    [2] A. Ahmad, A. N. Koam, M. Siddiqui, M. Azeem, Resolvability of the starphene structure and applications in electronics, Ain Shams Eng. J., 13 (2022), 101587. https://doi.org/10.1016/j.asej.2021.09.014 doi: 10.1016/j.asej.2021.09.014
    [3] M. F. Nadeem, M. Imran, H. M. A. Siddiqui, M. Azeem, A. Khalil, Y. Ali, Topological aspects of metal-organic structure with the help of underlying networks, Arab. J. Chem., 14 (2021), 103157. https://doi.org/10.1016/j.arabjc.2021.103157 doi: 10.1016/j.arabjc.2021.103157
    [4] M. Azeem, M. F. Nadeem, Metric-based resolvability of polycyclic aromatic hydrocarbons, Eur. Phys. J. Plus, 136 (2021), 395.
    [5] M. Imran, A. Ahmad, Y. Ahmad, M. Azeem, Edge weight based entropy measure of different shapes of carbon nanotubes, IEEE Access, 9 (2021), 139712–139724. https://doi.org/10.1109/ACCESS.2021.3119032 doi: 10.1109/ACCESS.2021.3119032
    [6] M. F. Nadeem, A. Shabbir, Computing and comparative analysis of topological invariants of y-junction carbon nanotubes, Int. J. Quant. Chem., 122 (2022), e26847. https://doi.org/10.1002/qua.26847 doi: 10.1002/qua.26847
    [7] X. Zuo, M. F. Nadeem, M. K. Siddiqui, M. Azeem, Edge weight based entropy of different topologies of carbon nanotubes, IEEE Access, 9 (2021), 102019–102029. https://doi.org/10.1109/ACCESS.2021.3097905 doi: 10.1109/ACCESS.2021.3097905
    [8] M. F. Nadeem, M. Azeem, H. M. K. Siddiqui, Comparative study of zagreb indices for capped, semi-capped and uncapped carbon nanotubes, Polycyclic Aromat. Compd., 42 (2022), 3545–3562. https://doi.org/10.1080/10406638.2021.1890625 doi: 10.1080/10406638.2021.1890625
    [9] F. Afzal, S. Hussain, D. Afzal, S. Razaq, Some new degree based topological indices via m-polynomial, J. Inf. Optim. Sci., 41 (2020), 1061–1076. https://doi.org/10.1080/02522667.2020.1744307 doi: 10.1080/02522667.2020.1744307
    [10] A. Rauf, M. Naeem, S. U. Bukhari, Quantitative structure–property relationship of ev-degree and ve-degree based topological indices with physico-chemical properties of benzene derivatives and application, Int. J. Quant. Chem., 122 (2022), e26851.
    [11] A. Rauf, M. Naeem, A. Aslam, Quantitative structure–property relationship of edge weighted and degree-based entropy of benzene derivatives, Int. J. Quant. Chem., 122 (2022), e26839.
    [12] J. B. Liu, X.-B. Peng, S. Hayat, Topological index analysis of a class of networks analogous to alicyclic hydrocarbons and their derivatives, Int. J. Quant. Chem., 122 (2022), e26827.
    [13] Y. Shang, Sombor index and degree-related properties of simplicial networks, Appl. Math. Comput., 419 (2022), 126881. https://doi.org/10.1016/j.amc.2021.126881 doi: 10.1016/j.amc.2021.126881
    [14] Z. Wang, Y. Mao, K. C. Das, Y. Shang, Nordhaus–gaddum-type results for the steiner gutman index of graphs, Symmetry, 12 (2020), 1711. https://doi.org/10.3390/sym12101711 doi: 10.3390/sym12101711
    [15] Y. Shang, Lower bounds for gaussian estrada index of graphs, Symmetry, 10 (2018), 325. https://doi.org/10.3390/sym10080325 doi: 10.3390/sym10080325
    [16] S. Khan, S. Pirzada, Y. Shang, On the sum and spread of reciprocal distance laplacian eigenvalues of graphs in terms of harary index, Symmetry, 14 (2022), 1937. https://doi.org/10.3390/sym14091937 doi: 10.3390/sym14091937
    [17] J. B. Liu, J. J. Gu, K. Wang, The expected values for the gutman index, schultz index, and some sombor indices of a random cyclooctane chain, Int. J. Quant. Chem., 123 (2022).
    [18] M. Azeem, M. Imran, M. F. Nadeem, Sharp bounds on partition dimension of hexagonal möbius ladder, J. King Saud Univ. Sci., 34 (2022), 101779. https://doi.org/10.1016/j.jksus.2021.101779 doi: 10.1016/j.jksus.2021.101779
    [19] A. Shabbir, M. Azeem, On the partition dimension of tri-hexagonal alpha-boron nanotube, IEEE Access, 9 (2021), 55644–55653. https://doi.org/10.1109/ACCESS.2021.3071716 doi: 10.1109/ACCESS.2021.3071716
    [20] J. B. Liu, M. F. Nadeem, M. Azeem, Bounds on the partition dimension of convex polytopes, Comb. Chem. High Throughput Screening, 25 (2022), 547–553. https://doi.org/10.2174/1386207323666201204144422 doi: 10.2174/1386207323666201204144422
    [21] J. B. Liu, Y. Bao, W. T. Zheng, S. Hayat, Network coherence analysis on a family of nested weighted n-polygon networks, Fractals, 29 (2021), 2150260.
    [22] J. B. Liu, J. J. Gu, Computing and analyzing the normalized laplacian spectrum and spanning tree of the strong prism of the dicyclobutadieno derivative of linear phenylenes, Int. J. Quant. Chem., 122 (2022), e26972.
    [23] J. B. Liu, J. Zhao, Z. Q. Cai, On the generalized adjacency, laplacian and signless laplacian spectra of the weighted edge corona networks, Phys. A Stat. Mechan. Appl., 540 (2020), 123073. https://doi.org/10.1016/j.physa.2019.123073 doi: 10.1016/j.physa.2019.123073
    [24] J.-B. Liu, J. Zhao, J. Min, J. Cao, The hosoya index of graphs formed by a fractal graph, Fractals, 27 (2019), 1950135.
    [25] J.-B. Liu, C. Wang, S. Wang, and B. Wei, Zagreb indices and multiplicative zagreb indices of eulerian graphs, Bull. Malays. Math. Sci. Soc., 42 (2017), 67–78. https://doi.org/10.1007/s40840-017-0463-2 doi: 10.1007/s40840-017-0463-2
    [26] J. B. Liu, X. F. Pan, Minimizing kirchhoff index among graphs with a given vertex bipartiteness, Appl. Math. Comput., 291 (2016), 84–88.
    [27] J. B. Liu, X. F. Pan, F. T. Hu, F. F. Hu, Asymptotic laplacian-energy-like invariant of lattices, Appl. Math. Comput., 253 (2015), 205–214. https://doi.org/10.1016/j.amc.2014.12.035 doi: 10.1016/j.amc.2014.12.035
    [28] S. Bukhari, M. K. Jamil, M. Azeem, S. Swaray, Patched network and its vertex-edge metric-based dimension, IEEE Access, 11 (2023), 4478–4485. https://doi.org/10.1109/ACCESS.2023.3235398 doi: 10.1109/ACCESS.2023.3235398
    [29] M. C. Shanmukha, S. Lee, A. Usha, K. C. Shilpa, M. Azeem, Degree-based entropy descriptors of graphenylene using topological indices, Comput. Model. Eng. Sci., 2023 (2023), 1–25.
    [30] X. Zhang, M. T. A. Kanwal, M. Azeem, M. K. Jamil, M. Mukhtar, Finite vertex-based resolvability of supramolecular chain in dialkyltin, Main Group Metal Chem., 45 (2022), 255–264. https://doi.org/10.1515/mgmc-2022-0027 doi: 10.1515/mgmc-2022-0027
    [31] Q. Huang, A. Khalil, D. A. Ali, A. Ahmad, R. Luo, M. Azeem, Breast cancer chemical structures and their partition resolvability, Math. Biosci. Eng., 20 (2022), 3838–3853. https://doi.org/10.3934/mbe.2023180 doi: 10.3934/mbe.2023180
    [32] M. Azeem, M. K. Jamil, A. Javed, A. Ahmad, Verification of some topological indices of y-junction based nanostructures by m-polynomials, J. Math., 2022 (2022), 1–18. https://doi.org/10.1155/2022/8238651 doi: 10.1155/2022/8238651
    [33] M. K. Jamil, M. Imran, K. A. Sattar, Novel face index for benzenoid hydrocarbons, Mathematics, 8 (2020), 312.
    [34] X. Zhang, A. Raza, A. Fahad, M. K. Jamil, M. A. Chaudhry, Z. Iqbal, On face index of silicon carbides, Discrete Dyn. Nat. Soc., 2020 (2020), 1–8. https://doi.org/10.1155/2020/6048438 doi: 10.1155/2020/6048438
    [35] A. Ye, A. Javed, M. K. Jamil, K. A. Sattar, A. Aslam, Z. Iqbal, et al., On computation of face index of certain nanotubes, Discrete Dyn. Nat. Soc., 2020 (2020), 1–6. https://doi.org/10.1155/2020/3468426 doi: 10.1155/2020/3468426
    [36] Z. Ahmad, , M. Naseem, M. K. Jamil, M. K. Siddiqui, M. F. Nadeem, New results on eccentric connectivity indices of v-phenylenic nanotube, Eurasian Chem. Commun., 2 (2020), 663–671. https://doi.org/10.33945/SAMI/ECC.2020.6.3 doi: 10.33945/SAMI/ECC.2020.6.3
    [37] Z. Ahmad, , M. Naseem, M. K. Jamil, M. F. Nadeem, S. Wang, Eccentric connectivity indices of titania nanotubes TiO, Eurasian Chem. Commun., 2 (2020), 712–721. https://doi.org/10.33945/SAMI/ECC.2020.6.8 doi: 10.33945/SAMI/ECC.2020.6.8
    [38] A. N. A. Koam, A. Ahmad, M. Nadeem, Comparative study of valency-based topological descriptor for hexagon star network, Comput. Syst. Sci. Eng., 36 (2021), 293–306. https://doi.org/10.32604/csse.2021.014896 doi: 10.32604/csse.2021.014896
    [39] H. M. A. Siddiqui, S. Baby, M. F. Nadeem, M. K. Shafiq, Bounds of some degree based indices of lexicographic product of some connected graphs, Polycyclic Aromat. Compd., 42 (2022), 2568–2580.
    [40] J. B. Liu, H. M. A. Siddiqui, M. F. Nadeem, M. A. Binyamin, Some topological properties of uniform subdivision of sierpiński graphs, Main Group Metal Chem., 44 (2021), 218–227. https://doi.org/10.1515/mgmc-2021-0006 doi: 10.1515/mgmc-2021-0006
    [41] M. Ishtiaq, A. Rauf, Q. Rubbab, M. K. Siddiqui, H. Ibrahim, Algebraic polynomial based topological properties of anti-tumor drug hyaluronic acid-doxorubicin (HAD), Polycyclic Aromat. Compd., 42 (2022), 7049–7070. https://doi.org/10.1080/10406638.2021.1995011 doi: 10.1080/10406638.2021.1995011
    [42] V. Ravi, M. K. Siddiqui, N. Chidambaram, K. Desikan, On topological descriptors and curvilinear regression analysis of antiviral drugs used in COVID-19 treatment, Polycyclic Aromat. Compd., 42 (2022), 6932–6945. https://doi.org/10.1080/10406638.2021.1993941 doi: 10.1080/10406638.2021.1993941
    [43] A. Ahmad, S. C. López, Distance-based topological polynomials associated with zero-divisor graphs, Math. Prob. Eng., 2021 (2021), 1–8.
    [44] A. Ahmad, Vertex-degree based eccentric topological descriptors of zero divisor graph of commutative rings, Online J. Anal. Comb., 15 (2020), 1–10.
    [45] A. Ahmad, R. Hasni, K. Elahi, M. A. Asim, Polynomials of degree-based indices for swapped networks modeled by optical transpose interconnection system, IEEE Access, 8 (2020), 214293–214299. https://doi.org/10.1109/ACCESS.2020.3039298 doi: 10.1109/ACCESS.2020.3039298
    [46] F. A. Abolaban, A. Ahmad, M. A. Asim, Computation of vertex-edge degree based topological descriptors for metal trihalides network, IEEE Access, 9 (2021), 65330–65339. https://doi.org/10.1109/ACCESS.2021.3076036 doi: 10.1109/ACCESS.2021.3076036
    [47] Özge Çolakoğlu Havare, Topological indices and QSPR modeling of some novel drugs used in the cancer treatment, Int. J. Quant. Chem., 121 (2021), e26813. https://doi.org/10.1002/qua.26813 doi: 10.1002/qua.26813
    [48] J. B. Liu, R. M. Singaraj, Topological analysis of para-line graph of remdesivir used in the prevention of corona virus, Int. J. Quant. Chem., 121 (2021), e26778.
    [49] M. M. Zobair, M. A. Malik, H. Shaker, Eccentricity-based topological invariants of tightest nonadjacently configured stable pentagonal structure of carbon nanocones, Int. J. Quant. Chem., 121 (2021), e26807.
    [50] Z. Sabir, M. Umar, M. A. Z. Raja, H. M. Baskonus, W. Gao, Designing of morlet wavelet as a neural network for a novel prevention category in the HIV system, Int. J. Biomath., 15 (2021), 2250012. https://doi.org/10.1142/S1793524522500127 doi: 10.1142/S1793524522500127
    [51] M. Cancan, D. Afzal, S. Hussain, A. Maqbool, F. Afzal, Some new topological indices of silicate network via m-polynomial, J. Discrete Math. Sci. Cryptography, 23 (2020), 1157–1171. https://doi.org/10.1080/09720529.2020.1809776 doi: 10.1080/09720529.2020.1809776
    [52] J. B. Liu, M. K. Shafiq, H. Ali, A. Naseem, N. Maryam, S. S. Asghar, Topological indices of mth chain silicate graphs, Mathematics, 7 (2019), 42. https://doi.org/10.3390/math7010042 doi: 10.3390/math7010042
    [53] A. Q. Baig, M. Imran, H. Ali, On topological indices of poly oxide, poly silicate, DOX, and DSL networks, Can. J. Chem., 93 (2015), 730–739. https://doi.org/10.1139/cjc-2014-0490 doi: 10.1139/cjc-2014-0490
    [54] M. S. Chen, K. Shin, D. Kandlur, Addressing, routing, and broadcasting in hexagonal mesh multiprocessors, IEEE Trans. Comput., 39 (1990), 10–18. https://doi.org/10.1109/12.46277 doi: 10.1109/12.46277
    [55] M. F. Nadeem, M. Azeem, I. Farman, Comparative study of topological indices for capped and uncapped carbon nanotubes, Polycyclic Aromat. Compd., 42 (2022), 4666–4683. https://doi.org/10.1080/10406638.2021.1903952 doi: 10.1080/10406638.2021.1903952
    [56] M. F. Nadeem, M. Azeem, H. M. A. Siddiqui, Comparative study of zagreb indices for capped, semi-capped, and uncapped carbon nanotubes, Polycyclic Aromat. Compd., 42 (2022), 3545–3562. https://doi.org/10.1080/10406638.2021.1890625 doi: 10.1080/10406638.2021.1890625
    [57] M. V. Diudea, C. L. Nagy, Diamond and Related Nanostructures, Springer Netherlands, 2013. https://doi.org/10.1007/978-94-007-6371-5
  • This article has been cited by:

    1. Mahmoud Soliman, Hamdy M. Ahmed, Niveen Badra, M. Elsaid Ramadan, Islam Samir, Soliman Alkhatib, Influence of the \beta -fractional derivative on optical soliton solutions of the pure-quartic nonlinear Schrödinger equation with weak nonlocality, 2025, 10, 2473-6988, 7489, 10.3934/math.2025344
  • Reader Comments
  • © 2023 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(1988) PDF downloads(74) Cited by(7)

Figures and Tables

Figures(8)  /  Tables(5)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog