---
title: 'Discrete Fractional Variants: Theory & Applications'
url: https://www.emergentmind.com/topics/discrete-fractional-variants
type: topic
---

# Discrete Fractional Variants: Theory & Applications

Discrete fractional variants encompass a spectrum of discrete analogues of fractional calculus—extensions of integer-order derivatives and integrals to noninteger orders—systematically incorporating memory and nonlocality into discrete systems. These variants include discrete fractional sums and differences (of Riemann–Liouville, Caputo, binomial, and Grünwald–Letnikov types), generalized operator frameworks, and fractionalizations embedded into difference equations, equations of motion, variational principles, and stochastic processes. In addition, fractional discrete Laplacians are used to induce long-range spatial coupling in lattice models, interpolating from local to global interactions as the fractional order varies. This article synthesizes the foundational frameworks, canonical operator families, numerical methods, representative applications, and spectral structures of discrete fractional variants as developed in the modern literature.

## 1. Operator Frameworks for Discrete Fractional Calculus

Discrete fractional calculus generalizes the difference operator and discrete summation to noninteger orders, leading to discrete analogues of classical Riemann–Liouville and Caputo operators. Canonical constructions fall into two broad classes:

**a) Riemann–Liouville and Caputo Discrete Fractional Operators:**
- The **left discrete Riemann–Liouville fractional sum** is
  $$
  {}_{a}\Delta_t^{-\nu}f(t)
  =\frac{1}{\Gamma(\nu)}
  \sum_{s=a}^{t-\nu}
  (t-\sigma(s))^{(\nu-1)}\,f(s),
  $$
  with $t$ in a suitable lattice. The **fractional (difference) derivative** is defined as $\Delta$ of the sum [1007.0594].
- **Caputo-type fractional differences** move the discrete difference operator inside the fractional sum, altering admissible boundary conditions [1703.06751].

**b) Grünwald–Letnikov and Binomial Approaches:**
- **Grünwald–Letnikov (GL) discrete derivatives** use convolution sums with binomial coefficients:
  $$
  D_h^\alpha x(t_i) = h^{-\alpha} \sum_{k=0}^i \omega_k^{(\alpha)} x_{i-k},
  $$
  where $\omega_k^{(\alpha)} = (-1)^k \binom{\alpha}{k}$. Binomial/GL and Riemann definitions are equivalent via explicit duality identities [1210.0445].

**c) Generalized Convolution-Based Operators:**
- Ferreira's convolutional framework [2105.03896] defines a generalized fractional sum via a sequence $p$:
  $$
  \mathcal{S}_{\{(p);\,a\}} f(t) = \sum_{\tau=a}^{t-1} p(t-\tau-1+a)\,f(\tau),
  $$
  and generalized differences via sequence $q$, such that $(p*q)_a(t) = 1$. All known fractional delta/nabla operators are encompassed as special cases by suitable $p,q$.

These operator frameworks extend naturally to nabla (backward) differences and time scales, including $h\mathbb{Z}$ and multi-dimensional lattices [1202.2960].

## 2. Discrete Fractional Variational Calculus

Discrete fractional variants underpin direct numerical methods in the calculus of variations, fractional optimal control, and fractional Sturm–Liouville theory:

- **Euler–Lagrange equations** for functionals with discrete fractional differences generalize the classical necessary conditions. For example, for a left fractional difference of order $\alpha$ and right fractional difference of order $\beta$, the Euler–Lagrange equation reads:
  $$
  L_u + {}_{t}\Delta_{\rho(b)}^{\alpha}\,L_v + {}_{a}\Delta_t^{\beta}\,L_w = 0.
  $$
  [1007.0594, 1703.06751, 1005.0252]

- **Legendre-type second-order conditions** are established for discrete fractional systems to rule out spurious extremals [1005.0252, 1007.0594, 1202.2960].

- **Direct discrete methods** use GL approximations to convert fractional variational problems to finite-dimensional optimization, facilitating practical computation on grids. The resulting discrete Euler–Lagrange systems are nonlinear algebraic equations for nodal values, with first-order convergence in mesh size [1205.4843, 1305.1859].

- **Fractional Sturm–Liouville problems** can be discretized via fractional difference operators:
  $$
  {}_{k}\Delta^{\alpha}_{N}\left(p(x_k)\,{}_{0}\Delta^{\alpha}_{k}y(x_k)\right)
  + q(x_k)\,y(x_k) = \lambda\,r(x_k)\,y(x_k),
  $$
  leading to generalized eigenvalue problems with self-adjoint and spectral properties analogous to the continuous case [1604.04272].

- **Discrete fractional optimal control** is codified via fractional Pontryagin systems, with well-posed discrete variational integrators and Noether theorems providing exact conservation laws in the presence of discrete symmetries [1203.1707].

## 3. Fractional Discrete Maps and Dynamical Systems

Discrete fractional variants yield maps and dynamical systems with intrinsic long-range memory:

- **Fractional Caputo and Riemann–Liouville difference equations** generate maps where each subsequent value encodes a power-law weighted sum over all prior iterates (falling factorial–law memory) [1404.4906]:
  $$
  x_{n+1} = x_0 + \frac{1}{\Gamma(\alpha)} \sum_{k=0}^{n} F(x_k)\, (n-k+1)^{\alpha-1}.
  $$
- **Fractional kicked systems** (universal, standard, dissipative maps) generalize classical maps by embedding fractional derivatives in either the flow or the kick, leading to discrete convolution kernels whose weights decay as power laws. For instance, the fractional standard (Chirikov) map:
  $$
  \begin{aligned}
    p_{n+1} &= p_n - K \sin x_n, \\
    x_{n+1} &= \frac{1}{\Gamma(\alpha)} \sum_{k=0}^n p_{k+1}\,[(n-k+1)^{\alpha-1}-(n-k)^{\alpha-1}],
  \end{aligned}
  $$
  exhibits non-Markovian phase-space dynamics and fractional chaotic attractors [1107.3953, 1107.5148].

- **Memory effects:** The algebraic decay of the memory kernel fundamentally alters bifurcation cascades, stability, and attractor properties compared to their integer-order analogues [1404.4906].

## 4. Fractional Discrete Laplacians and Lattice Models

Fractional discrete Laplacians introduce tunable long-range coupling into lattice systems, leading to discretized analogues of the Riesz fractional operator:

- In 1D, for $0<\alpha<1$,
  $$
  -(\Delta^\alpha u)_n = \sum_{m \neq n} K^\alpha(n-m)[u_n - u_m], \quad K^\alpha(m) \sim |m|^{-1-2\alpha},
  $$
  with $K^\alpha$ explicit in terms of Gamma functions [1911.00136].

- In 2D square lattices, the discrete fractional Laplacian is constructed via spectral/semigroup representations, leading to kernels $K^\alpha(\mathbf{r})$ with "faster than exponential" decay and an effective site energy [2102.05125].

- **Fractional discrete nonlinear Schrödinger (FDNLS) equations:**
  $$
  i\,\dot{\psi}_n + V \sum_{m\neq n} K^\alpha(n-m) [\psi_m - \psi_n] + \gamma |\psi_n|^2 \psi_n = 0,
  $$
  interpolate between local (nearest-neighbor, $\alpha\to1$) and all-to-all ($\alpha\to0$) coupling, with resulting consequences for spectrum flattening, linear transport, soliton width, and self-trapping transitions [1911.00136].

- **Discrete vortex solitons** in 2D FDNLS models persist for all $0<\alpha<1$; smaller $\alpha$ lowers the power threshold for stability and promotes long-range mediated stabilization of helical modes [2102.05125].

## 5. Applications to Stochastic Processes and Fractional Poisson Models

Generalizations of compound/mixed Poisson processes in discrete time admit fractionalization via random time (or space) change with stable subordinators:

- **Time-fractional Poisson processes** $N_\lambda^\nu(t)$ for $0<\nu<1$ have pmf given by:
  $$
  P\{N_\lambda^\nu(t)=n\}
  = \frac{(\lambda t^\nu)^n}{n!} E_{\nu,\nu n+1}(-\lambda t^\nu),
  $$
  with $E_{\alpha,\beta}$ the two-parameter Mittag–Leffler function [1303.2861].

- For compound processes $M^\nu(t) = \sum_{k=1}^{N_\lambda^\nu(t)} X_k$, the fractional Kolmogorov equations replace time derivatives with Caputo derivatives of order $\nu$.

- **Overdispersion** is enhanced in the fractional case compared to the classical Poisson process, and fractional negative binomial and Pólya–Aeppli processes are constructed analogously [1303.2861].

## 6. Discrete Fractional Transforms and Spectral Methods

The discrete fractional Fourier transform (DFrFT) generalizes the discrete Fourier transform (DFT) to arbitrary (fractional) orders, with applications in signal processing and quantum optics:

- DFrFTs may be realized by propagations in $J_x$-lattices (engineered waveguide arrays), with explicit kernels given in terms of Jacobi polynomials, and fractional orders corresponding to longitudinal position on the chip [1508.00033].

- The shift theorem under DFrFT mirrors the DFT case, introducing a phase ramp proportional to both shift and fractional order.

- Quantum generalizations act naturally on multi-photon and entangled states, yielding analytic expressions for coincidence matrices [1508.00033].

## 7. Advanced Topics and Generalizations

- **Generalized discrete fractional operators**: The convolutional framework [2105.03896] unifies classical, binomial, and discrete fractional sums and differences by constructing all operators from a pair of kernels $p, q$ satisfying a convolution identity.

- **Fractional Hadamard derivatives**: Discrete approximations for the Hadamard fractional derivative yield high-order, nonlocal finite difference schemes with explicit convergence rates and error bounds, enabling efficient variational and ODE solvers [1604.04274, 1402.3730].

- **Time scales fractional calculus**: Discrete fractional calculus naturally extends to arbitrary time scales, with Laplace-transform-based definitions and convolutional semigroup laws, encompassing both $\mathbb{Z}$ and $(h\mathbb{Z})_a$ in a unified formalism [1202.2960].

---

These discrete fractional variants form a coherent theoretical and computational foundation for modeling memory, nonlocality, and anomalous phenomena across discrete, lattice, and time-scale systems, with far-reaching applications in numerical analysis, physics, engineering, and stochastic modeling. Foundational frameworks, such as those by Ferreira [2105.03896], Bastos–Ferreira–Torres [1007.0594, 1005.0252], Pooseh–Almeida–Torres [1205.4843, 1305.1859], and explicit fractional Laplacians [2102.05125, 1911.00136], provide the essential mathematical infrastructure underpinning current research in this domain.

Source: https://www.emergentmind.com/topics/discrete-fractional-variants