2025-11-25T11:31:18.098851

Some q-fractional order difference sequence spaces

Yaying, Baliarsingh, Hazarika
This paper intends to develop a $q$-difference operator $\nabla^{(γ)}_q$ of fractional order $γ$, and give several intriguing properties of this new difference operator. Our main focus remains on the construction of sequence spaces $\ell_p(\nabla^{(γ)})$ and $\ell_\infty (\nabla^{(γ)})$, at the same time comparing these spaces with those already exist in the literature. Apart from obtaining Schauder basis, we determine $α$-, $β$-, and $γ$-duals of the newly defined spaces. A section is also devoted for characterizing matrix classes $(\ell_p(\nabla^{(γ)}),\mathfrak X),$ where $\mathfrak X$ is any of the spaces $\ell_\infty,$ $c,$ $c_0$ and $\ell_1$.
academic

Algunos espacios de sucesiones con diferencia fraccionaria de orden q

Información Básica

  • ID del artículo: 2511.17538
  • Título: Some q-fractional order difference sequence spaces
  • Autores: Taja Yaying (Dera Natung Government College), Pinakadhar Baliarsingh (KIT, Institute of Mathematics and Applications), Bipan Hazarika (Gauhati University)
  • Clasificación: math.FA (Análisis Funcional)
  • Fecha de presentación: 6 de noviembre de 2025
  • Enlace del artículo: https://arxiv.org/abs/2511.17538

Resumen

En este artículo se desarrolla el operador q-diferencia ∇q(γ)\nabla^{(\gamma)}_q de orden fraccionario γ\gamma y se presentan varias propiedades importantes de este nuevo operador diferencia. El trabajo principal se concentra en la construcción de espacios de sucesiones ℓp(∇(γ))\ell_p(\nabla^{(\gamma)}) y ℓ∞(∇(γ))\ell_\infty(\nabla^{(\gamma)}), comparando simultáneamente estos espacios con espacios ya existentes en la literatura. Además de obtener la base de Schauder, se determinan los duales α\alpha, β\beta y γ\gamma de los espacios recién definidos. El artículo dedica una sección especial a la caracterización de las clases de matrices (ℓp(∇(γ)),X)(\ell_p(\nabla^{(\gamma)}),\mathfrak{X}), donde X\mathfrak{X} es cualquiera de los espacios ℓ∞\ell_\infty, cc, c0c_0 y ℓ1\ell_1.

Antecedentes de investigación y motivación

Problemas de investigación

Este artículo tiene como objetivo resolver los siguientes problemas centrales:

  1. Construcción del operador q-diferencia de orden fraccionario: Extender el operador diferencia fraccionario clásico al marco del q-cálculo
  2. Definición de nuevos espacios de sucesiones: Definir e investigar las estructuras de espacios de sucesiones correspondientes basados en este operador
  3. Caracterización de propiedades de espacios: Determinar las propiedades topológicas, espacios duales y transformaciones matriciales de estos espacios

Importancia del problema

  1. Valor teórico: El q-cálculo tiene aplicaciones importantes en múltiples campos matemáticos como combinatoria, teoría de aproximación, funciones especiales y funciones hipergeométricas
  2. Marco unificado: Al introducir el parámetro q, es posible unificar y generalizar múltiples resultados existentes
  3. Perspectivas de aplicación: La teoría q está ganando atención gradualmente en la teoría de sumabilidad y la investigación de espacios de sucesiones

Limitaciones de los métodos existentes

  1. Restricción a orden entero: La investigación existente sobre espacios de sucesiones q-diferencia se concentra principalmente en órdenes enteros (como ∇q(2)\nabla^{(2)}_q, ∇q(r)\nabla^{(r)}_q)
  2. Limitaciones del operador diferencia clásico: Los operadores diferencia fraccionarios tradicionales ∇(γ)\nabla^{(\gamma)} no incluyen el parámetro q
  3. Falta de teoría unificada: Se necesita un marco más general que unifique la teoría fraccionaria y la teoría q

Motivación de la investigación

La motivación de los autores surge de las siguientes observaciones:

  • La sucesión q-entera [k]q[k]_q converge a 11−q\frac{1}{1-q} (en lugar de divergir al infinito), lo que genera nuevos espacios
  • La investigación reciente sobre espacios q-diferencia de orden entero (Yaying et al., 2022-2023) demuestra el potencial de esta dirección
  • La aplicación exitosa del operador diferencia fraccionario (Baliarsingh y Dutta, 2015) inspiró la combinación de este con la teoría q

Contribuciones principales

Las contribuciones principales del artículo incluyen:

  1. Introducción del operador q-diferencia de orden fraccionario: Se define por primera vez el operador q-diferencia de orden fraccionario γ∈(0,1)\gamma \in (0,1): (∇q(γ)g)j=∑k=0∞(−1)kq(k2)Γq(γ+1)[k]q!Γq(γ−k+1)gj−k(\nabla^{(\gamma)}_q g)_j = \sum_{k=0}^{\infty} (-1)^k q^{\binom{k}{2}} \frac{\Gamma_q(\gamma+1)}{[k]_q!\Gamma_q(\gamma-k+1)} g_{j-k}
  2. Construcción de nuevos espacios de sucesiones: Se definen e investigan los espacios de sucesiones ℓp(∇q(γ))\ell_p(\nabla^{(\gamma)}_q) y ℓ∞(∇q(γ))\ell_\infty(\nabla^{(\gamma)}_q)
  3. Demostración de propiedades topológicas:
    • Se prueba que estos espacios son espacios BK (espacios de Banach de coordenadas)
    • Se determina la expresión explícita de la base de Schauder
    • Se establecen relaciones de isomorfismo con espacios clásicos
  4. Caracterización completa de espacios duales: Se calculan las formas explícitas de los duales α\alpha, β\beta y γ\gamma
  5. Caracterización de transformaciones matriciales: Se proporcionan condiciones necesarias y suficientes para las clases de matrices (X(∇q(γ)),Y)(X(\nabla^{(\gamma)}_q), Y), que incluyen 12 combinaciones diferentes
  6. Unificación de resultados existentes: Mediante la selección de parámetros especiales, es posible recuperar múltiples teorías de espacios de sucesiones conocidas

Explicación detallada de métodos

Conceptos fundamentales

Enteros q y coeficientes q-binomiales

Para q∈(0,1)q \in (0,1) e i∈Z+i \in \mathbb{Z}^+, el entero q se define como: [i]q=∑j=0i−1qj=1−qi1−q[i]_q = \sum_{j=0}^{i-1} q^j = \frac{1-q^i}{1-q}

El coeficiente q-binomial se define como: (μν)q=[µ]q![µ−ν]q![ν]q!\binom{\mu}{\nu}_q = \frac{[µ]_q!}{[µ-\nu]_q![\nu]_q!}

Función q-Gamma

La función q-Gamma posee las siguientes propiedades:

  1. Γq(t+1)=[t]qΓq(t)\Gamma_q(t+1) = [t]_q \Gamma_q(t) (relación de recurrencia q)
  2. Γq(t+1)=[t]q!\Gamma_q(t+1) = [t]_q! para enteros positivos tt
  3. lim⁡q→1−Γq(t)=Γ(t)\lim_{q \to 1^-} \Gamma_q(t) = \Gamma(t) (convergencia a la función Gamma clásica)

Definición del operador q-diferencia de orden fraccionario

Definición: El operador q-diferencia de orden fraccionario ∇q(γ):ω→ω\nabla^{(\gamma)}_q : \omega \to \omega se define como: (∇q(γ)g)j=∑k=0∞(−1)kq(k2)Γq(γ+1)[k]q!Γq(γ−k+1)gj−k(\nabla^{(\gamma)}_q g)_j = \sum_{k=0}^{\infty} (-1)^k q^{\binom{k}{2}} \frac{\Gamma_q(\gamma+1)}{[k]_q!\Gamma_q(\gamma-k+1)} g_{j-k}

La forma expandida es: (∇q(γ)g)j=gj−[γ]qgj−1+q[γ]q[γ−1]q[2]q!gj−2+⋯(\nabla^{(\gamma)}_q g)_j = g_j - [\gamma]_q g_{j-1} + q\frac{[\gamma]_q[\gamma-1]_q}{[2]_q!} g_{j-2} + \cdots

Casos especiales

Este operador incluye varios casos especiales importantes:

  1. γ=1\gamma = 1: Se reduce al operador diferencia hacia atrás clásico de primer orden ∇\nabla(∇q(1)g)j=gj−gj−1(\nabla^{(1)}_q g)_j = g_j - g_{j-1}
  2. γ=2\gamma = 2: Operador q-diferencia de segundo orden (∇q(2)g)j=gj−[2]qgj−1+qgj−2(\nabla^{(2)}_q g)_j = g_j - [2]_q g_{j-1} + q g_{j-2}
  3. γ=r∈Z+\gamma = r \in \mathbb{Z}^+: Operador q-diferencia de orden entero (∇q(r)g)j=∑k=0r(−1)kq(k2)(rr−k)qgj−k(\nabla^{(r)}_q g)_j = \sum_{k=0}^{r} (-1)^k q^{\binom{k}{2}} \binom{r}{r-k}_q g_{j-k}
  4. q→1−q \to 1^-: Converge al operador diferencia fraccionario clásico ∇(γ)\nabla^{(\gamma)}

Propiedades básicas del operador

Teorema 2.1 (Linealidad): El operador ∇q(γ)\nabla^{(\gamma)}_q es lineal.

Teorema 2.2 (No multiplicatividad): En general, ∇q(μ)⋅∇q(ν)≠∇q(μ+ν)\nabla^{(\mu)}_q \cdot \nabla^{(\nu)}_q \neq \nabla^{(\mu+\nu)}_q

Los autores verifican esto mediante un contraejemplo con μ=ν=1/2\mu = \nu = 1/2.

Lema 2.1 (Operador inverso): Se define el operador inverso (∇q(−γ)g)j=∑k=0∞(−1)kΓq(1−γ)[k]q!Γq(1−γ−k)gj−k(\nabla^{(-\gamma)}_q g)_j = \sum_{k=0}^{\infty} (-1)^k \frac{\Gamma_q(1-\gamma)}{[k]_q!\Gamma_q(1-\gamma-k)} g_{j-k}

Entonces ∇q(γ)∇q(−γ)=I=∇q(−γ)∇q(γ)\nabla^{(\gamma)}_q \nabla^{(-\gamma)}_q = I = \nabla^{(-\gamma)}_q \nabla^{(\gamma)}_q

Construcción de espacios de sucesiones

Definición: Los espacios de sucesiones ℓp(∇q(γ))\ell_p(\nabla^{(\gamma)}_q) y ℓ∞(∇q(γ))\ell_\infty(\nabla^{(\gamma)}_q) se definen como:

ℓp(∇q(γ))={g=(gj)∈ω:∇q(γ)g∈ℓp}\ell_p(\nabla^{(\gamma)}_q) = \left\{ g = (g_j) \in \omega : \nabla^{(\gamma)}_q g \in \ell_p \right\}

ℓ∞(∇q(γ))={g=(gj)∈ω:∇q(γ)g∈ℓ∞}\ell_\infty(\nabla^{(\gamma)}_q) = \left\{ g = (g_j) \in \omega : \nabla^{(\gamma)}_q g \in \ell_\infty \right\}

Representación matricial

El operador puede representarse como una matriz triangular inferior:

undefined