Entropy dimension of shifts of finite type on free groups

1.   Introduction

Fractional calculus is a popular subject because of having a lot of application areas of theoretical and applied sciences, like engineering, physics, biology, etc. Discrete fractional calculus is more recent area than fractional calculus and it was first defined by Diaz–Osler ^[1], Miller–Ross ^[2] and Gray–Zhang ^[3]. More recently, the theory of discrete fractional calculus have begun to develop rapidly with Goodrich–Peterson ^[4], Baleanu et al. ^[5,6], Ahrendt et al. ^[7], Atici–Eloe ^[8,9], Anastassiou ^[10], Abdeljawad et al. ^{[11,12,13,14,15,16]}, Hein et al. ^[17] and Cheng et al. ^[18], Mozyrska ^[19] and so forth ^{[20,21,22,23,24,25]}.

Fractional Sturm–Liouville differential operators have been studied by Bas et al. ^[26,27], Klimek et al.^[28], Dehghan et al. ^[29]. Besides that, Sturm–Liouville differential and difference operators were studied by ^{[30,31,32,33]}. In this study, we define DFHA operators and prove the self–adjointness of DFHA operator, some spectral properties of the operator.

More recently, Almeida et al. ^[34] have studied discrete and continuous fractional Sturm–Liouville operators, Bas–Ozarslan ^[35] have shown the self–adjointness of discrete fractional Sturm–Liouville operators and proved some spectral properties of the problem.

Sturm–Liouville equation having hydrogen atom potential is defined as follows

In quantum mechanics, the study of the energy levels of the hydrogen atom leads to this equation. Where $R$ is the distance from the mass center to the origin, $\ell$ is a positive integer, $a$ is real number $E$ is energy constant and $r$ is the distance between the nucleus and the electron.

The hydrogen atom is a two–particle system and it composes of an electron and a proton. Interior motion of two particles around the center of mass corresponds to the movement of a single particle by a reduced mass. The distance between the proton and the electron is identified $r$ and $r$ is given by the orientation of the vector pointing from the proton to the electron. Hydrogen atom equation is defined as Schrödinger equation in spherical coordinates and in consequence of some transformations, this equation is defined as

Spectral theory of hydrogen atom equation is studied by ^[39,40,41]. Besides that, we can observe that hydrogen atom differential equation has series solution as follows (^[39], p.268)

Recently, Bohner and Cuchta ^[36,37] studied some special integer order discrete functions, like Laguerre, Hermite, Bessel and especially Cuchta mentioned the difficulty in obtaining series solution of discrete special functions in his dissertation (^[38], p.100). In this regard, finding series solution of DFHA equations is an open problem and has some difficulties in the current situation. For this reason, we study to obtain solutions of DFHA eq.s in a different way with representation of solutions.

In this study, we investigate DFHA equation in Riemann–Liouville and Grü nwald–Letnikov sense. The aim of this study is to contribute to the spectral theory of DFHA operator and behaviors of eigenfunctions and also to obtain the solution of DFHA equation.

We investigate DFHA equation in three different ways;

$i)$ (nabla left and right) Riemann–Liouville (R–L)sense,

$ii)$ (delta left and right) Grünwald–Letnikov (G–L) sense,

$iii)$ (nabla left) Riemann–Liouville (R–L)sense,

2.   Preliminaries

Definition 2.1. ^[42] Falling and rising factorial functions are defined as follows respectively

where $\Gamma$ is the gamma function, $\alpha \in \mathbb{R}$.

Remark 2.1. Delta and nabla operators hold the following properties

Definition 2.2. ^[2,8,11] Nabla fractional sum operators are given as below,

$\left(i\right)$ The left fractional sum of order $\mu > 0$ is defined by

$\left(ii\right)$ The right fractional sum of order $\mu > 0$ is defined by

where $\rho \left(t\right) = t-1$ is called backward jump operators, $\mathbb{N} _{a} = \left \{ a, a+1, ...\right \},$ $_{b} \mathbb{N} = \left \{ b, b-1, ...\right \}$.

Definition 2.3. ^[12,14] Nabla fractional difference operators are as follows,

$\left(i\right)$ The left fractional difference of order $\mu > 0$ is defined by

$\left(ii\right)$ The right fractional difference of order $\mu > 0$ is defined by

Fractional differences in $\left(2.6-2.7\right)$ are called the Riemann–Liouville (R–L) definition of the $\mu$-th order nabla fractional difference.

Definition 2.4. ^[1,18] Fractional difference operators are given as follows

$\left(i\right)$ The delta left fractional difference of order $\mu,$ $0 < \mu \leq 1,$ is defined by

$\left(ii\right)$ The delta right fractional difference of order $\mu,$ $0 < \mu \leq 1,$ is defined by

fractional differences in $\left(2.8-2.9\right)$ are called the Grünwald–Letnikov (G–L) definition of the $\mu$-th order delta fractional difference.

Definition 2.5 ^[14] Integration by parts formula for R–L nabla fractional difference operator is defined by, $u$ is defined on $_{b} \mathbb{N}$ and $v$ is defined on $\mathbb{N} _{a}$,

Definition 2.6. ^[34] Integration by parts formula for G–L delta fractional difference operator is defined by, $u$, $v$ is defined on $\left \{ 0, 1, ..., n\right \}$, then

Definition 2.7. ^[17] $f: \mathbb{N} _{a}\rightarrow \mathbb{R}$, $s\in \Re,$ Laplace transform is defined as follows,

where $\Re = \mathbb{C} \backslash \left \{ 1\right \}$ and $\Re$ is called the set of regressive (complex) functions.

Definition 2.8. ^[17] Let $f, g: \mathbb{N} _{a}\rightarrow \mathbb{R}$, all $t\in \mathbb{N} _{a+1},$ convolution of $f$ and $g$ is defined as follows

where $\rho \left(s\right)$ is the backward jump function defined in ^[42] as

Theorem 2.1. ^[17] $f, g: \mathbb{N} _{a}\rightarrow \mathbb{R},$ convolution theorem is expressed as follows,

Lemma 2.1. ^[17] $f: \mathbb{N} _{a}\rightarrow \mathbb{R},$ the following property is valid,

Theorem 2.2. ^[17] $f: \mathbb{N} _{a}\rightarrow \mathbb{R},$ $0 < \mu < 1,$ Laplace transform of nabla fractional difference

Definition 2.9. ^[17] For $\left \vert p\right \vert < 1$, $\alpha > 0,$ $\beta \in \mathbb{R}$ and $t\in \mathbb{N} _{a}$, Mittag–Leffler function is defined by

Theorem 2.3. ^[17] For $\left \vert p\right \vert < 1$, $\alpha > 0,$ $\beta \in \mathbb{R}$, $\left \vert 1-s\right \vert < 1$ and $\left \vert s\right \vert ^{\alpha } > p$, Laplace transform of Mittag–Leffler function is as follows,

3.   Main results

3.1.   Discrete fractional hydrogen–atom equations

Let us consider equations in three different forms;

$i)$ $L_{1}$ DFHA operator $L_{1}$ is defined in (nabla left and right) R–L sense,

where $l$ is a positive integer or zero, $q\left(t\right) +\dfrac{2}{t}- \dfrac{l\left(l+1\right) }{t^{2}}$ are named potential function., $\lambda$ is the spectral parameter, $t\in \left[a+1, b-1\right],$ $x\left(t\right) \in l^{2}\left[a+1, b-1\right],$ $a > 0.$

$ii)$ $L_{2}$ DFHA operator $L_{2}$ is defined in (delta left and right) G–L sense,

where $p, q, l, \lambda$ is as defined above, $t\in \left[1, n\right],$ $x\left(t\right) \in l^{2}\left[0, n\right].$

$iii)$ $L_{3}$ DFHA operator $L_{3}$ is defined in (nabla left) R–L sense,

$p, q, l, \lambda$ is as defined above, $t\in \left[a+1, b-1\right],$ $a > 0.$

Theorem 3.1. DFHA operator $L_{1}$ is self–adjoint.

Proof.

Subtracting $\left(16-17\right)$ from each other

and applying definite sum operator to both side of the last equality, we have

Applying the integration by parts formula $\left(2.10\right)$ to right hand side of $\left(18\right),$ we have

The proof completes.

Theorem 3.2. Eigenfunctions, corresponding to distinct eigenvalues, of the equation $\left(3.2\right)$ are orthogonal.

Proof. Assume that $\lambda _{\alpha }$ and $\lambda _{\beta }$ are two different eigenvalues corresponds to eigenfunctions $u\left(n\right)$ and $v\left(n\right)$ respectively for the equation $\left(3.1 \right)$,

Multiplying last two equations to $v\left(n\right)$ and $u\left(n\right)$ respectively, subtracting from each other and applying sum operator, since the self–adjointness of the operator $L_{1},$ we get

since $\lambda _{\alpha }\neq \lambda _{\beta, }$

and the proof completes.

Theorem 3.3. All eigenvalues of the equation $\left(3.1\right)$ are real.

Proof. Assume $\lambda = \alpha +i\beta,$ since the self–adjointness of the operator $L_{1},$ we have

Since $\left \langle u, u\right \rangle _{r}\neq 0,$

and hence $\beta = 0.$ So, the proof is completed.

Self–adjointness of $L_{2}$ DFHA operator G–L sense, reality of eigenvalues and orthogonality of eigenfunctions of the equation 3.2 can be proven in a similar way to the Theorem 3.1–3.2–3.3 by means of Definition 2.5.

3.2.   Representation of solution for discrete fractional hydrogen atom equation

Theorem 3.4.

where $p\left(t\right) > 0,$ $r\left(t\right) > 0,$ $q\left(t\right)$ is defined and real valued, $\lambda$ is the spectral parameter$.$ The sum representation of solution of the problem $\left(3.7\right) -\left(3.8\right)$ is given as follows,

Proof. Taking Laplace transform of the equation $\left(3.7 \right)$ by Theorem 2.2 and take $\left(\dfrac{l\left(l+1\right) }{t^{2}}- \dfrac{2}{t}+q\left(t\right) \right) x\left(t\right) = g\left(t\right),$

Using Lemma 2.1, we have

Now, taking inverse Laplace transform of the equation $\left(3.10 \right)$ and applying convolution theorem, then we have the representation of solution of the problem $\left(3.7\right) -\left(3.8\right),$ $\left \vert \lambda \right \vert < 1$, $\left \vert 1-s\right \vert < 1$ and $\left \vert s\right \vert ^{\alpha } > \lambda$ from Theorem 2.3., i.e.

Consequently, we have sum representation of solution for DFHA problem 3.7–3.8

3.3.   Applications and visual results

Presume that $c_{1} = 1, c_{2} = 0, a = 0$ in the representation of solution $\left(3.9\right)$ and hence we may observe the behaviors of solutions in following figures (Figures 1–7) and tables (Tables 1–3);

4.   Conclusion

We have analyzed DFHA equation in Riemann–Liouville and Grü nwald–Letnikov sense. Self–adjointness of the DFHA operator is presented and also, we have proved some significant spectral properties for instance, orthogonality of distinct eigenfunctions, reality of eigenvalues. Moreover, we give sum representation of the solutions for DFHA problem and find the solutions of the problem. We have carried out simulation analysis with graphics and tables. The aim of this paper is to contribute to the theory of hydrogen atom fractional difference operator.

We observe the behaviors of solutions by changing the order of the derivative $\mu$ in Figure 1 and Figure 5, by changing the potential function $q\left(t\right)$ in Figure 2, we compare solutions under different $\lambda$ eigenvalues in Figure 3, and Figure 7, also we observe the solutions by changing $\mu$ with a specific eigenvalue in Figure 4 and by changing $l$ values in Figure 6.

We have shown the solutions by changing the order of the derivative $\mu$ in Table 1, by changing the potential function $q\left(t\right)$ and $\lambda$ eigenvalues in Table 2, Table 3.

Acknowledgment

The authors would like to thank the editor and anonymous reviewers for their careful reading of our manuscript and their many insightful comments and suggestions.

Conflict of interest

The authors declare no conflict of interest.