Pontificia Universidad Javeriana.

Facultad de Ciencias.
Departamento de Matemáticas.

Introducción al Cálculo Cuántico e Integrales de Jackson.

Sara Bolaños Nuñez

Directora: Eddy Pariguan

Bogotá - Colombia
Mayo de 2016
Índice general

Agradecimientos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Índice general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

1. Herramientas básicas del Cálculo Cuántico 7

1.1. Generalización de la fórmula de Taylor para polinomios . . . . . . . . . . . 12
1.2. q-análogo de (x ≠ a)n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

2. Propiedades combinatorias para q-análogos 22

2.1. Fórmula de binomial de Gauss y una fórmula binomial no conmutativa. . . 23
2.2. Propiedades de coeficientes q-binomial . . . . . . . . . . . . . . . . . . . . 26

3. Integral de Feynman-Jackson 30
Bibliografía . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

2
Agradecimientos

Debo agradecer de manera especial y sincera a la Profesora Eddy Pariguán por su gran
colaboración para realizar esta tesis bajo su dirección. Su apoyo y confianza en mi trabajo
y su capacidad para guiar mis ideas ha sido un aporte invaluable, no solamente en el
desarrollo de esta tesis, sino también en mi formación como investigadora.

Quiero expresar también mi más sincero agradecimiento al Profesor Humberto Refeiro

por su importante aporte al hacer las respectivas correciones de este trabajo.

Agradezo a la Pontificia Universidad Javeriana por la financiación parcial de este tra-

bajo a través del proyecto identificado con el ID 5889.

Dedico esta tesis a mis padres y a mi novio David quienes fueron un gran apoyo emo-
cional durante el tiempo en que escribía esta tesis.

3
Introducción

El cálculo cuántico se puede considerar, en cierta manera, una versión de el cáculo clá-
sico sin incluir la noción de límite, cuyo objetivo principal es buscar q-análogos de los
objetos matemático clásicos y estudiar qué propiedades tienen en el q-cálculo, teniendo
en cuenta que al tomar el límite cuando q tiende a 1 debemos recuperar nuevamente el
objeto original.

En los últimos años, el interés sobre el cálculo cuántico se ha disparado. No pasa una
semana sin que aparezca un nuevo documento sobre q-cálculo. Esto es, por supuesto, de-
bido al hecho que el q-análisis ha demostrado ser muy fructífero en diversas áreas, tan
vitales como la informática, la física de partículas y supersimetrías. Además actúa como
una herramienta importante para los investigadores que trabajan con teoría de números
analítica o en la física teórica [5]. Sumado a esto, temas como las q- series han apare-
cido en el trabajo de la física, las álgebras de Lie, teoría de números trascendentales, y
estadística, también nuevos desarrollos en áreas familiarizadas con q-series como: análisis
clásico, combinatoria, teoría aditiva de los números, álgebra computacional, entre otros [1].

Hasta la fecha, el desarrollo teórico del q-cálculo se ha estructurado de manera no unifor-

me. Inicialmente, los trabajos publicados sobre el q-cálculo se diferenciaban dependiendo
de dónde y por quién eran escritos. Esta confusión complicó el desarrollo de esta teoría
por varios años [5]. La historia del q-cálculo se remonta al siglo XVIII, puede de hecho, ser
tomado tan atrás como Leonhard Euler en su libro Introduction in analysin infinitorum

4
[6], quién iba tras las pistas de la serie infinita de Newton [5].

Las diversas escuelas del cálculo cuántico se han desarrollado durante un periodo de
aproximadamente 300 años desde Bernoulli y Euler. Lo que distingue a estas escuelas es
principalmente: su historia (sus raíces), su lenguaje y sus diferentes notaciones, por esta
razón éstas escuelas hoy suelen tener problemas para entenderse unos con los otros, debi-
do a las diferencias en su lenguaje y demás distinciones. Las dos principales escuelas son
la escuela austríaca y la escuela de Watson, que toma su nombre del matemático inglés
George Neville Watson, quien escribió el famoso ensayo sobre la teoría de las funciones de
Bessel, y facilitó una prueba rigurosa de la identidades de Rogers-Ramanujan. Ambas es-
cuelas reconocen los primeros legados de C.F. Gauss y L. Euler. Por un lado tenemos que
los matemáticos importantes pioneros de la escuela austríaca son J. Bernoulli, C.F. Gauss
y L. Euler en el siglo XVII, entre los matemáticos europeos centrales del siglo XIX están:
H. Heine, J. Thomae, J. Jacobi, y desde el siglo XX: A. Pringsheim, C.L Lindemann,H.
Hanh, A. Lesky y J. Cigler, el inglés F.H Jackson, el austríaco P. Paule, J. Hofbauer,
A. Riese y el francés P. Appell, por mencionar algunos. Por otra parte tenemos que los
primeros practicantes en la escuela Watson fueron los matemáticos de Cambridge que se
inspiraron a corta estancia de S.Ramanujan, por ejemplo, E. Neville y W. Bailey, por
nombrar algunos [5].

En este trabajo vamos a realizar una revisión del libro Quantum Calculus del autor
Victor Kac [9], donde estudiamos los conceptos básicos del cálculo cuántico. Luego, estu-
diaremos el artículo An Example of Feynman-Jackson integral de los autores Rafael Díaz
y Eddy Pariguán [4], donde nos introducimos al mundo de las integrales de Feynman-
Jackson y mostramos algunas de las propiedades combinatorias. Las integrales de Feyn-
man son una herramienta muy utilizada en la física de altas energías, ya que proporcionan
una representación integral universal para las funciones de correlación de cualquier teoría
cuántica de campos de Lagrange, cuya forma cuadrática asociada es no degenerada [3].

5
Las integrales de Feynman tienen como q-análogo en el cálculo cuántico las integrales de
Feynman Jackson. El nombre de Jackson, fue introducido por F.H Jackson en [7], [8].

El presente trabajo esta dividido en 3 capítulos. En el primer capítulo introduciremos

las definiciones preliminares, herramientas y propiedades básicas del q-cálculo, además
podemos leer sobre la generalización de la fórmula de Taylor, examinar algunos q-análogos
de objetos clásicos en matemáticas, como el q-análogo de el polinomio (x ≠ a)n y veremos
algunas de sus propiedades. En el capítulo 2 presentamos las propiedades combinatorias
para q-análogos de expresiones como (x≠a)n , mostramos dos fórmulas, la fórmula binomial
de Gauss y una fórmula binomial no conmutativa que involucran coeficientes q-binomiales.
Finalmente en el tercer capítulo, con la ayuda de los capítulos 1 y 2, construiremos el q-
análogo de los mementos de la medida de Gauss con la ayuda de la integral de Feynman
que está definida por la siguiente expresión
⁄ b Œ
ÿ
f (x)dq x = (1 ≠ q)b q n f (q n b). (1)
0 n=0

La idea principal es encontrar el q-análogo de cada una de las partes de la ecuación (2)

1 ⁄ Œ ≠ x2 2n
Ô e 2 x dx = (2n ≠ 1)(2n ≠ 3) · · · 7 · 5 · 3 · 1 (2)
2fi ≠Œ

y exhibir sus propiedades en la combinatoria.

6
Capítulo 1

Herramientas básicas del Cálculo

Cuántico

En este capítulo comenzaremos a desarrollar las ideas centrales del cálculo cuántico. En
primera instancia introducimos el concepto de diferencial cuántico, lo cual nos permite
definir la q-derivada y la h-derivada de una función. En todo el trabajo utilizaremos la
notación F unc(R, R) para referirnos al espacio vectorial de todas las funciones de R en
R.

Definición 1. Sea f œ F unc(R, R), el h-diferencial de f está definido por

dh f (x) = f (x + h) ≠ f (x). (1.1)

Ejemplo 2. Considere f (x) = xn , donde n es un entero positivo. El h-diferencial de f

está dada por la expresión:
dh xn = (x + h)n ≠ xn . (1.2)

Definición 3. Sea f œ F unc(R, R), la h-derivada de f está dada por la expresión:

dh f (x) f (x + h) ≠ f (x)
Dh f (x) = = . (1.3)
h h

7
Ejemplo 4. Considere f (x) = xn , donde n es un entero positivo. La h-derivada de f está
dada por la expresión:

(x + h)n ≠ xn n(n ≠ 1) n≠2

Dh x n = = nxn≠1 + x h + ... + hn≠1 . (1.4)
h 2

Definición 5. Sea 0 < q < 1 un número real fijo. Denotemos por [ ]q : R ≠æ R la

aplicación dada por
(1 ≠ q t )
[t]q = , para todo t œ R.
(1 ≠ q)
La aplicación [ ]q : R ≠æ R no es un homomorfismo de álgebra ya que para s, t œ R

[s + t]q ”= [s]q + [t]q .

Sin embargo se tiene lo siguiente:

Proposición 6. La aplicación [ ]q : R ≠æ R satisface las siguientes propiedades:

1. [s + t]q = [s]q + q s [t]q , para todo s, t œ R.

2. [st]q = [s]qt [t]q , para todo s, t œ R.

3. [1]q = 1.

4. [0]q = 0.

Demostración. 1.
(1 ≠ q s+t ) (1 ≠ q s q t ) 1 ≠ qs + qs ≠ qsqt
[s + t]q = = =
(1 ≠ q) (1 ≠ q) (1 ≠ q)

(1 ≠ q s ) (q s ≠ q s q t ) (1 ≠ q s ) (1 ≠ q t )
= + = + qs = [s]q + q s [t]q .
(1 ≠ q) (1 ≠ q) (1 ≠ q) (1 ≠ q)

(1 ≠ q st ) (1 ≠ q st ) 1 ≠ q t (1 ≠ q st ) 1 ≠ q t
2. [st]q = = · = · = [s]qt [t]q .
(1 ≠ q) (1 ≠ q) 1 ≠ q t (1 ≠ q t ) 1 ≠ q
(1 ≠ q 1 )
3. [1]q = = 1.
(1 ≠ q)

8
 (1 ≠ q 0 )
4. [0]q = = 0.
(1 ≠ q)

Definición 7. Fijemos 0 < q < 1, f œ F unc(R, R). Definimos los operadores lineales Iq ,
dq , ˆq : F unc(R, R) ≠æ F unc(R, R), mediante las expresiones:

1. Iq (f )(x) = f (qx), para todo x œ R.

2. dq (f ) = Iq (f ) ≠ f , dq (f ), es el q-diferencial de f .
dq (f ) Iq (f ) ≠ f
3. ˆq (f ) = = . ˆq (f ) se llama la q-derivada de la función f.
dq x (q ≠ 1)x
Proposición 8. Dados f y g œ F unc(R, R), las siguientes propiedades se satisfacen:

1. ˆq (f + g) = ˆq (f ) + ˆq (g).

2. ˆq (f g) = f ˆq (g) + Iq (g)ˆq (f ).
A B
f
3. ˆq = ˆq (f )g ≠ f ˆq (g).
g
(1 ≠ q b )
4. ˆq (f (axb )) = a[b]q (ˆqb f )(axb )xb≠1 , donde [b]q = , a, b œ R.
(1 ≠ q)
Demostración.
dq (f + g)(x) Iq (f + g)(x) ≠ (f + g)(x)
1. ˆq (f + g)(x) = =
dq x (q ≠ 1)x

(f + g)(qx) ≠ (f + g)(x) f (qx) + g(qx) ≠ f (x) ≠ g(x)

= =
(q ≠ 1)x (q ≠ 1)x

f (qx) ≠ f (x) + g(qx) ≠ g(x) f (qx) ≠ f (x) g(qx) ≠ g(x)

= = +
(q ≠ 1)x (q ≠ 1)x (q ≠ 1)x

(Iq f ≠ f )(x) (Iq g ≠ g)(x) dq (f )(x) dq (g)(x)

= + = +
(q ≠ 1)x (q ≠ 1)x (q ≠ 1)x (q ≠ 1)x

= ˆq (f )(x) + ˆq (g)(x).

9
 dq (f g)(x) (Iq f g ≠ f g)(x) (f g)(qx) ≠ (f g)(x)
2. ˆq (f g)(x) = = =
dq x (q ≠ 1)x (q ≠ 1)x

f (qx)g(qx) ≠ g(qx)f (x) + g(qx)f (x) ≠ f (x)g(x)

=
(q ≠ 1)x

C D C D
g(qx) ≠ g(x) f (qx) ≠ f (x)
= f (x) + g(qx)
(q ≠ 1)x (q ≠ 1)x

C D C D
(Iq g ≠ g)(x) (Iq f ≠ f )(x)
= f (x) + g(qx)
(q ≠ 1)x (q ≠ 1)x

dq (g)(x) dq (f )(x)
= f (x) + Iq (g)(x)
dq x dq x

= f (x)ˆq (g)(x) + Iq (g)(x)ˆq (f )(x).

A B A B A B A B
f f f f f
A B dq (x) Iq ≠ (x) (qx) ≠ (x)
f g g g g g
3. ˆq (x) = = =
g dq x (q ≠ 1)x (q ≠ 1)x

f (qx) f (x) f (qx)g(x) ≠ g(qx)f (x)

≠
g(qx) g(x) g(qx)g(x)
= =
(q ≠ 1)x (q ≠ 1)x

f (qx)g(x) ≠ g(qx)f (x) ≠ g(x)f (x) + g(x)f (x)

(q ≠ 1)x
=
g(qx)g(x)

C D C D
f (qx) ≠ f (x) g(qx) ≠ g(x)
= g(x) ≠ f (x)
(q ≠ 1)x (q ≠ 1)x

(Iq f ≠ f )(x) (Iq g ≠ g)(x)

= g(x) ≠ f (x)
(q ≠ 1)x (q ≠ 1)x

10
 dq (f )(x) dq (g)(x)
= g(x) ≠ f (x) = ˆq (f )(x)g(x) ≠ f (x)ˆq (g)(x).
dq x dq x

4. Sean a, b œ R

dq (f (axb )) Iq (f (axb )) ≠ f (axb )

ˆq (f (axb )) = =
dq x (q ≠ 1)x

f (aq b xb ) ≠ f (axb ) aq b xb ≠ axb

= ·
aq b xb ≠ axb (q ≠ 1)x

A B
(1 ≠ q b ) f (q b (axb )) ≠ f (axb ) b≠1
= a x
(1 ≠ q) (q b ≠ 1)axb

A B
(1 ≠ q b ) Iqb (f )(axb ) ≠ f (axb ) b≠1
= a x
(1 ≠ q) (q b ≠ 1)axb

A B
(1 ≠ q b ) dqb (f )(axb ) b≠1
= a x
(1 ≠ q) (q b ≠ 1)axb

= a[b]q (ˆqb f )(axb )xb≠1 .

Ejemplo 9. Considere la función f (x) = xn . Utilizando la Definición 7 se tiene:

1. Iq (xn ) = (qx)n .

2. dq (xn ) = Iq (xn ) ≠ xn = (qx)n ≠ xn = xn (q n ≠ 1).

dq (xn ) Iq (xn ) ≠ xn xn (q n ≠ 1) xn≠1 (q n ≠ 1)
3. ˆq (x ) =
n
= = = = [n]q xn≠1 .
dq x (q ≠ 1)x (q ≠ 1)x (q ≠ 1)
Note que
df (x)
lı́m ˆq f (x) = lı́m Dh f (x) = .
qæ1 hæ0 dx

11
 Terminamos esta sección explicando el uso de las letras h y q como parámetros. La letra
q tiene varios significados:

Es la primera letra de “quantum",

Es la letra que se usa comúnmente para denotar el número de elementos en un

campo finito,

Denota lo indeterminado de desarrollos en series de potencias.

La letra h se utiliza como un recordatorio de la constante de Planck, que es la constante

más importante en la mecánica cuántica (la física del mundo microscópico). Se entiende el
límite de “clásico” como q æ 1 o h æ 0, y los dos parámetros cuánticos estan generalmente
relacionados por medio de la ecuación q = eh .

1.1. Generalización de la fórmula de Taylor para po-

linomios
En el cálculo ordinario, una función f (x) que posee derivadas de todas las órdenes es
analítica en x = a, si se puede expresar como una serie de potencias alrededor de x = a
[2]. El teorema de Taylor nos dice que la serie de potencias de f está dada por
Œ
ÿ (x ≠ a)n
f (x) = f (n) (a) . (1.5)
n=0 n!
La expansión de Taylor de una función analítica a menudo nos permite extender la defi-
nición de la función a un dominio más grande y más interesante. Por ejemplo, podemos
utilizar la expansión de Taylor de ex para definir las exponenciales de números complejos y
matrices cuadradas. También nos gustaría formular un q-análogo de la fórmula de Taylor.
Pero antes de hacerlo, consideremos primero una situación más general.

Teorema 10. Sea a œ R , D un operador lineal en el espacio de polinomios, y

{P0 (x), P1 (x), P2 (x), · · · } una secuencia de polinomios que satisfacen las siguientes tres
condiciones:

12
 1. P0 (a) = 1 y Pn (a) = 0, para cualquier n Ø 1;

2. grad(Pn ) = n;

3. D(Pn (x)) = Pn≠1 (x) para cualquier n Ø 1, y D(1) = 0.

Entonces para cualquier polinomio f (x) de grado N se tiene la siguiente fórmula de Taylor
generalizada:
N
ÿ
f (x) = (Dn f )(a)Pn (x). (1.6)
n=0

Demostración. Sea V el espacio de polinomios de grado no superior a N , de modo que

dim V = N +1. Los polinomios {P0 (x), P1 (x), · · · , PN (x)} son linealmente independientes,
ya que, por la condición 2 del Teorema 10, sus grados son estrictamente crecientes. Por
lo tanto constituyen una base para V ; es decir, cualquier polinomio f (x) œ V puede
expresarse como
N
ÿ
f (x) = ck Pk (x). (1.7)
n=0

para constantes únicas ck . Tomando x = a y el uso de la condición 1, uno obtiene c0 = f (a).

Entonces, aplicamos el operador lineal D n veces en ambos lados de la ecuación (1.7),
donde 1 < n < N , usamos las condiciones 1 y 2 del Teorema 10, y obtenemos:
N
ÿ N
ÿ
(Dn f )(x) = ck Dn Pk (x) = ck Pk≠n (x).
k=n k=n

Tomando x = a y usando la condición 1 del Teorema 10, obtenemos

cn = (Dn f )(a), 0 Æ n Æ N.

y por lo tanto la ecuación (1.7) se convierte en la ecuación (1.6).

Ejemplo 11. Sea

d (x ≠ a)n
D= , Pn (x) = ,
dx n!
las condiciones del Teorema 10 se satisfacen:

13
 1. Sea a œ R
(a ≠ a)0
P0 (a) = = 1.
0!
(a ≠ a)n
Pn (a) = = 0.
n!
(x ≠ a)n
2. Como Pn (x) = entonces
n!

grad(Pn ) = n.

3. A B
d (x ≠ a)n n(x ≠ a)n≠1 (x ≠ a)n≠1
D(Pn (x)) = = = = Pn≠1 (x).
dx n! n! (n ≠ 1)!

Es fácil ver que dado D, la secuencia de polinomios que satisfacen condiciones 1, 2 y 3

del Teorema 10, si existe la fórmula de Taylor y se determina de forma única. Por otra
parte, si D es un operador lineal que mapea el espacio de polinomios de grado n en el
espacio de polinomios de grado n ≠ 1, siempre existe una secuencia de este tipo.

1.2. q-análogo de (x ≠ a)n

Como lo vimos en la Proposición 8 ˆq es un operador lineal en el espacio de polinomios.
Para aplicar el Teorema 10 con D © ˆq es necesario introducir el q-análogo de n! el cual
se define de la siguiente manera:
Y
_
] 1, si n = 0,
[n]q ! = (1.8)
_
[ [n] ◊ [n ≠ 1] ◊ · · · ◊ [1] , si n = 1, 2, · · ·
q q q

Ahora vamos a construir la secuencia de polinomios {P0 (x), P1 (x), P2 (x), · · · } que satis-
facen las tres condiciones del Teorema 10 con respecto a D © ˆq . Si a = 0, podemos escoger

xn
Pn (x) = , (1.9)
[n]q !
ya que:

14
 (1) P0 (0) = 1 para n Ø 1,

(2) grad(Pn ) = n,

(3) Usando el resultado del Ejemplo 9 se tiene que ˆq xn = [n]q x(n≠1) , para n Ø 1,

ˆq xn [n]q x(n≠1) xn≠1

ˆq Pn (x) = = = = Pn≠1 (x).
[n]q ! [n]q ! [n ≠ 1]q !
Si a ”= 0,
(x ≠ a)n
Pn (x) ”= .
[n]!
Por ejemplo,
(x ≠ a)2
ˆq ”= (x ≠ a).
[2]q !
Vamos a encontrar el primer término de la secuencia Pn (x) y a tratar de deducir la fórmula
en general. Tenemos
P0 (x) = 1.

Para que ˆq P1 (x) = 1 y P1 (a) = 0, debemos tener que

P1 (x) = x ≠ a.

Para que ˆq P2 (x) = x ≠ a y P2 (a) = 0, debemos tener que

x2 a2 (x ≠ a)(x ≠ qa)
P2 (x) = ≠ ax ≠ + a2 = .
[2]q [2]q [2]q

Análogamente
(x ≠ a)(x ≠ qa)(x ≠ q 2 a)
P3 (x) = ,
[2]q [3]q
Una conjetura lógica sería

(x ≠ a)(x ≠ qa) · · · (x ≠ q n≠1 a)

Pn (x) = . (1.10)
[n]q !

lo que concuerda con la ecuación (1.9) cuando a = 0. Antes de verificar la validez de la

condición 3 del Teorema 10, vamos a introducir lo siguiente:

15
Definición 12. El q-análogo de (x ≠ a)n es el polinomio
Y
_
] 1, si n = 0,
(x ≠ a)nq = (1.11)
_
[ (x ≠ a)(x ≠ qa) · · · (x ≠ q n≠1 a), si n Ø 1.

Proposición 13. Para n Ø 1

ˆq (x ≠ a)nq = [n]q (x ≠ a)n≠1

q . (1.12)

Demostración. La fórmula es verdadera cuando n = 1. Supongamos que

ˆq (x ≠ a)kq = [k]q (x ≠ a)k≠1

q ,

para algún entero k. De acuerdo con la definición,

(x ≠ a)k+1
q = (x ≠ a)kq (x ≠ q k a).

Usando la regla del producto dada en la Proposición 8,

ˆq (x ≠ a)k+1
q = (x ≠ a)kq + (qx ≠ q k a)ˆq (x ≠ a)kq
= (x ≠ a)kq + q(x ≠ q k≠1 a) · [k]q (x ≠ a)k≠1
q

= (1 + q[k]q )(x ≠ a)kq = [k + 1]q (x ≠ a)kq .

Por lo tanto, el resultado se tiene por inducción.

Observe que:
ˆq Pn = Pn≠1

es un resultado inmediato de la Proposición 13. Ahora vamos a explorar algunas otras

propiedades del polinomio (x ≠ a)nq .
En general,
(x ≠ a)m+n
q ”= (x ≠ a)m
q (x ≠ a)q .
n

En su lugar, se tiene:

(x ≠ a)m+n
q = (x ≠ a)(x ≠ qa) · · · (x ≠ q m≠1 a)(x ≠ q m a)(x ≠ q m+1 a)
··· (x ≠ q m+n≠1 a)
= ((x ≠ a)(x ≠ qa) · · · (x ≠ q m≠1 a)) ◊ ((x ≠ q m a)(x ≠ q(q m )a))
··· (x ≠ q n≠1 (q m a))),

16
lo que nos dice:
(x ≠ a)m+n
q = (x ≠ a)m
q (x ≠ q a)q .
m n (1.13)

Sustituyendo m por ≠n, podemos extender la Definición 12 a todos los enteros, definiendo

1
(x ≠ a)≠n
q = , (1.14)
(x ≠ q ≠n a)nq
para cualquier entero positivo n. Las dos Proposiciones 14 y 15 muestran que la Proposi-
ción 13 se puede extender para todos los números enteros.

Proposición 14. Para dos enteros m y n cualesquiera, se cumple que

(x ≠ a)m+n
q = (x ≠ a)m
q (x ≠ q a)q .
m n (1.15)

Demostración. El caso en el que m > 0 y n > 0 ya ha sido demostrado, y el caso donde

uno de los dos m o n es cero se verifica fácilmente. Consideremos primero m = ≠mÕ < 0
y n > 0. Entonces,

(x ≠ a)m
q (x ≠ q a)q = (x ≠ a)q (x ≠ q ≠m a)nq
m n ≠m Õ Õ

(x ≠ q ≠m a)nq
Õ

por (1.14) =
(x ≠ q ≠mÕ a)m
q
Õ

Y
_
(x ≠ q m (q ≠m a))n≠m
Õ Õ Õ
_
_ , n Ø mÕ ,
_
_ q
_
]
por (1.13) = _
_ _
_ 1
_
[ (x ≠ q n (q ≠mÕ a))mÕ ≠n ,
_ n < mÕ .
q

por (1.14) = (x ≠ a)n≠m = (x ≠ a)n+m

Õ
q q .

17
Si m Ø 0 y n = ≠nÕ , entonces

(x ≠ a)m
q (x ≠ q a)q = (x ≠ a)q (x ≠ q a)q
m n m m ≠n Õ

(x ≠ a)m
por (1.14) = q
(x ≠ q m≠nÕ
a)nq Õ

Y
(x ≠ a)m≠n (x ≠ q m≠n a)nq
Õ Õ Õ
_
_ q
_
_ , m Ø n,
_
_
_
_
]
(x ≠ q m≠nÕ a)nq Õ
por (1.13) =
_
_
_
_
_
_ (x ≠ a)m
q
_
[ (x ≠ q m≠nÕ a)nÕ ≠m (x ≠ q nÕ ≠m (q m≠nÕ a))m , m < n
_
q q

Y
_
(x ≠ a)m≠n
Õ
_
_ , m Ø n,
_
_ q
_
]
= _
_ _
_
_
1
[ (x ≠ q m≠nÕ a)nÕ ≠m , m < n.
_
q

= (x ≠ a)m≠n = (x ≠ a)m+n
Õ
q q .

Finalmente, si m = ≠mÕ < 0 y n = ≠nÕ < 0,

(x ≠ a)m
q (x ≠ q a)q = (x ≠ a)q (x ≠ q ≠m a)≠n
m n ≠m Õ Õ Õ
q

1
=
(x ≠ q (x
q ≠mÕ a)m Õ
≠ q ≠nÕ ≠mÕ a)nq Õ

1
=
(x ≠ q ≠nÕ ≠mÕ a)q (x ≠ q nÕ (x ≠ q ≠mÕ ≠nÕ a)m
nÕ
q
Õ

1
=
(x ≠ q ≠nÕ ≠mÕ a)nq Õ +mÕ

= (x ≠ a)≠m = (x ≠ a)m+n
≠n Õ Õ
q q .

Por lo tanto la ecuación (1.13) es verdadera para cualquier par de enteros m y n.

18
 La Proposición 15 prueba que la Proposición 13 se cumple para todo n.

Proposición 15. Para cualquier entero n,

ˆq (x ≠ a)nq = [n]q (x ≠ a)n≠1

q .

Demostración. Note que si n = 0 se cumple. Si n = ≠n < 0, usando la Proposición 8 y

la ecuación (1.14) tenemos
A B
1
ˆq (x ≠ a)nq = ˆq
(x ≠ q ≠nÕ a)nq Õ

ˆq (x ≠ q ≠n a)nq
Õ Õ

= ≠
(x ≠ q ≠nÕ a)nq Õ (qx ≠ q ≠nÕ a)nq Õ

[nÕ ]q (x ≠ q ≠n a)nq ≠1
Õ Õ

= ≠ nÕ
q (x ≠ q ≠nÕ a)nq Õ (x ≠ q ≠nÕ ≠1 a)nq Õ

1 ≠ qn
Õ Õ
q ≠n
=
q ≠ 1 (x ≠ q ≠1 a)(x ≠ q ≠nÕ ≠1 a)nq Õ

q ≠n ≠ 1 1
Õ

=
q ≠ 1 (x ≠ q ≠nÕ ≠1 a)nq Õ +1

qn ≠ 1
= (x ≠ a)n≠1
q≠1 q

= ˆq (x ≠ a)nq = [n]q (x ≠ a)n≠1

q

como se quería.

La Proposición 15 no se puede aplicar directamente para encontrar las q-derivadas de

1 1
, (a ≠ x)nq , (1.16)
(x ≠ a)nq (a ≠ x)nq
Dado que, por ejemplo,
(a ≠ x)nq ”= (≠1)n (x ≠ a)nq .

19
Para n Ø 1,

(a ≠ x)nq = (a ≠ x)(a ≠ qx)(a ≠ q 2 a) · · · (a ≠ q n≠1 x)

= (a ≠ x)q(q ≠1 a ≠ x)q 2 (q ≠2 ≠ x) · · · q n≠1 (q ≠n+1 a ≠ x)

= (≠1)n q n(n≠1)/2 (x ≠ q ≠n+1 a) · · · (x ≠ q ≠2 a)(x ≠ q ≠1 a)(x ≠ a),

o
(a ≠ x)nq = (≠1)n q n(n≠1)/2 (x ≠ q ≠n+1 a)nq . (1.17)

Es claro, que la ecuación (3.24) se cumple para n = 0, y es sencillo verificar que se cumple
para n < 0.
Vamos a terminar este capítulo encontrando las q-derivadas de las tres funciones que
mencionamos en la ecuación (1.16). Por la ecuación (1.14), tenemos

1 1
ˆq = ˆq = ˆq (x ≠ q n a)≠n
q .
(x ≠ a)q
n (x ≠ q (q n a))nq
≠n

Usando la ecuación (3.24) dos veces, tenemos

ˆq (a ≠ x)nq = (≠1)n q n(n≠1)/2 [n]q (x ≠ q ≠n+1 a)n≠1

q

= ≠[n]q q n≠1 (≠1)n≠1 q (n≠1)(n≠2)/2 (x ≠ q ≠n+2 (q ≠1 a))n≠1

q

= ≠[n]q q n≠1 (q ≠1 a ≠ x)n≠1

q = ≠[n]q (a ≠ qx)n≠1
q .

Finalmente, usamos la propiedad 3 de la Proposición 8, obtenemos

1 ≠[n]q (a ≠ qx)n≠1 [n]q

ˆq = ≠ q
= .
(a ≠ x)q
n (a ≠ x)q (a ≠ qx)q
n n (a ≠ x)q (a ≠ q n+1 x)
n

20
Entonces, para cualquier entero n, tenemos
1
ˆq = [≠n]q (x ≠ q n a)≠n≠1
(x ≠ a)nq q

ˆq (a ≠ x)nq = ≠[n]q (a ≠ qx)n≠1

q

1 [n]q
ˆq =
(a ≠ x)nq (a ≠ x)n+1
q

21
Capítulo 2

Propiedades combinatorias para

q-análogos

(x ≠ a)nq
Como se ha mostrado en el capitulo anterior, Pn (n) = satisface las tres condi-
[n]q !
ciones del Teorema 10 con respecto al operador lineal ˆq . Por lo tanto, ahora obtenemos
la q-vérsion de la fórmula de Taylor.

Teorema 16. Para cualquier polinomio f (x) de grado N y cualquier número c, tenemos
la siguiente expansión q-Taylor:
N
ÿ (x ≠ c)jq
f (x) = (ˆqj f )(c) . (2.1)
j=0 [j]q !

Ejemplo 17. Considere f (x) = xn y c = 1, donde n es un entero positivo. Para j Æ n,

tenemos
(ˆqj f )(x) = [n]q xn≠1 = [n]q [n ≠ 1]q xn≠2 = · · ·

(2.2)
= [n]q [n ≠ 1]q · · · [n ≠ j + 1]q xn≠j

y por lo tanto
(ˆqj f )(1) = [n]q [n ≠ 1]q · · · [n ≠ j + 1]q . (2.3)

22
La fórmula q-Taylor para xn alrededor de x = 1 esta dada por
C D
n
ÿ [n]q · · · [n ≠ j + 1]q n
ÿ n
x = n
(x ≠ 1)jq = (x ≠ 1)jq , (2.4)
j=0 [j]q ! j=0 j

donde C D
n [n]q [n ≠ 1]q · · · [n ≠ j + 1]q [n]q !
= = . (2.5)
j [j]q ! [j]q ![n ≠ j]q !
C D
n
Los elementos son llamados coeficientes q-binomiales.
j
Note que cuando q ≠æ 1, los coeficientes q-binomial se reducen a los coeficientes bino-
miales ordinarios y la ecuación (2.5) se convierte en un resultado de la fórmula binomial
ordinaria.

2.1. Fórmula de binomial de Gauss y una fórmula

binomial no conmutativa.
En esta sección presentamos dos expresiones que involucran coeficientes q-binomiales.
Consideremos en primer lugar la expresión dada en la Definición 12.

Ejemplo 18. Sea n un entero no negativo y a œ R. Vamos a expandir la expresión

f (x) = (x + a)nq ,

alrededor de x = 0 usando la fórmula de q-Taylor. De acuerdo a la ecuación (2.2), para

j Æ n tenemos
(ˆqj f )(x) = [n]q [n ≠ 1]q · · · [n ≠ j + 1]q (x + a)n≠j
q . (2.6)

Recordemos que
(x + a)m
q = (x + a)(x + qa) · · · (x + q
m≠1
a),

luego, tomando x = 0, el lado derecho nos queda,

(a)(qa) · · · (q m≠1 a) = q m(m≠1)/2 am .

23
Aplicando esto a la ecuación (2.6), obtenemos para j Æ n,

(ˆqj f )(0) = [n]q [n ≠ 1]q · · · [n ≠ j + 1]q q (n≠j)(n≠j≠1)/2 an≠j . (2.7)

Asi que, la fórmula de q-Taylor nos da

n
C D
ÿ n (n≠j)(n≠j≠1)/2 n≠j j
(x + a)nq = q a x. (2.8)
j=0 j

Podemos mejorar la expresión un poco si reemplazamos j por n≠j. A partir de la definición

de coeficientes q-binomial dada en la ecuación (2.5), obtenemos coeficientes similares a
los coeficientes binomiales usuales.
C D C D
n [n]q ! n
= = . (2.9)
n≠j [j]q ![n ≠ j]q ! j
Por lo tanto, la ecuación (2.8) es equivalente a lo siguiente
n
C D
ÿ n j(j≠1)/2 j n≠j
(x + a)nq = q ax . (2.10)
j=0 j

La ecuación (2.10) es llamada fórmula Binomial de Gauss.

La multiplicación de números reales es conmutativa, es decir, xy = yx. Sin embargo,

cuando se refiere a la multiplicación más general, como la multiplicación de matrices o la
composición de los operadores, la conmutatividad ya no se cumple. Considere el siguiente
ejemplo

Ejemplo 19. Sea x‚ y Iq operadores lineales en el espacio de polinomios cuyas acciones

en polinomio f (x) están dadas por:

x‚[f (x)] = xf (x), Iq [f (x)] = f (qx) (2.11)

Entonces para cualquier f (x), tenemos

Iq x‚[f (x)] = Iq [xf (x)] = qxf (qx) = q x‚Iq [f (x)],

así
Iq x = q x‚Iq . (2.12)

24
 El Teorema 20 introduce una fórmula binomial no-conmutativa que envuelve dos ele-
mentos que satisfacen una relación de conmutación especial como la que hemos dado en
la ecuación (2.12).

Teorema 20. Si yx = qxy, donde q es un número que conmuta con ambos x e y, entonces
n
C D
ÿ n j n≠j
(x + y) = n
xy . (2.13)
j=0 j

Demostración. Procedemos por inducción sobre n. La ecuación (2.13) es verdadera para

n = 1. Observe que

y k x = qy k≠1 xy = q 2 y k≠2 xy 2 = · · · = q k xy k ,

calculando
C D RQ
n
ÿ n
(x + y)n+1 = (x + y)n (x + y) = a xj y n≠j b (x + y)
j=0 j

n
C D n
C D
ÿ n j n≠j ÿ n j n≠j+1
= x y x+ xy
j=0 j j=0 j

n
C D n
C D
ÿ n j n≠j n≠j ÿ n j n≠j+1
= x (q xy ) + xy
j=0 j j=0 j
(2.14)
n+1
C D n
C D
ÿ n ÿ n
= q n≠j+1 xj y n≠j+1 + xj y n≠j+1
j=1 j≠1 j=0 j

n
A C D C DB
ÿ n n
= y n+1
+ q n≠j+1
+ xj y n≠j+1 + xn+1
j=1 j≠1 j

C D
n+1
ÿ n + 1 j n+1≠j
= xy .
j=0 j

donde hemos usado la q-regla de Pascal que veremos en la Proposición 2.15.

25
2.2. Propiedades de coeficientes q-binomial
Examinaremos algunas propiedades de los coeficientes q-binomial, definidos por la ecua-
ción (2.5), con n y j enteros no negativos y n Ø j. Debido a que vamos a recuperar
los coeficientes de los términos ordinarios si tomamos q ≠æ 1, esperamos a que sus q-
análogos tengan propiedades similares. En primer lugar, como ya se ha señalado en la
ecuación (2.9), tenemos: C D C D
n [n]q ! n
= = . (2.15)
j [j]q ![n ≠ j]q ! n≠j
El q-análogo de la fórmula de Pascal
A B A B A B
n n≠1 n≠1
= + , 1 Æ j Æ n ≠ 1.
j j≠1 j

es un poco más elaborado ya que

C D C D C D
2 1 1
= 1 + q ”= 2 = +
1 0 1

La Proposición 21 nos muestran como están dados los q-análogos de la Identidad de Pascal.

Proposición 21. Las siguientes condiciones se satisfacen: Existen dos q-análogos de la

propiedad de Pascal: C D C D C D
n n≠1 n≠1
= + qj (2.16)
j j≠1 j
C D C D C D
n n≠1 n≠1
= q n≠j + , (2.17)
j j≠1 j
donde 1 Æ j Æ n ≠ 1.

Demostración. Para cualquier 1 Æ j Æ n ≠ 1, se tiene:

[n]q = 1 + q + · · · + q n≠1

= (1 + q + · · · + q j≠1 ) + q j (1 + q + · · · + q n≠j≠1 )

= [j]q + q j [n ≠ j]q

26
luego C D
n [n]q ! [n ≠ 1]q ![n]q
= =
j [j]q ![n ≠ j]q ! [j]q ![n ≠ j]q !

[n ≠ 1]q !([j]q + q j [n ≠ j]q )

=
[j]q ![n ≠ j]q !

[n ≠ 1]q ! [n ≠ 1]q !
= + qj
[j ≠ 1]q ![n ≠ j]q ! [j]q ![n ≠ j ≠ 1]q !

C D C D
n≠1 n≠1
= + qj ,
j≠1 j
con lo cual demostramos la ecuación (2.16). La ecuación (2.17) se obtiene de la ecuación
(2.15) de la siguiente manera
C D C D C D C D
n n n≠1 n≠1
= = + q n≠j
j n≠j n≠j≠1 n≠j

C D C D
n≠1 n≠1
= + q n≠j .
j j≠1

Corolario 22. Cada coeficiente q-binomial es un polinomio en q de grado j(n ≠ j), con
1 como el coeficiente principal.

Demostración. Vamos a utilizar el principio de inducción matemática. Observe que

C D C D
n n
= =1
0 n
es un polinomio constante.

C D
n≠1
Por hipótesis inductiva, supongamos que es un polinomio en q, para todo 1 Æ
j
j Æ n ≠ 1.
Haciendo uso de la Proposición 21 tenemos que
C D C D C D
n n≠1 n≠1
= + qj
j j≠1 j

27
 C D C D C D
n≠1 n≠1 n
Como y son polinomios en q entonces es polinomio en q.
j≠1 j j
C D
n
Como es un polinomio en q de grado j(n ≠ j) tenemos:
j

a0 + a1 q + · · · + aj(n≠j)≠1 q j(n≠j)≠1 + aj(n≠j) q j(n≠j)

(q n ≠ 1)(q n≠1 ≠ 1) · · · (q n≠j+1 ≠ 1)

= .
(q j ≠ 1)(q j≠1 ≠ 1) · · · (q ≠ 1)
Si reemplazamos q por 1/q y multiplicamos a ambos lados por q j(n≠j) , es fácil verificar
que el lado derecho de la ecuación quedará sin cambios, mientras que el lado izquierdo,

a0 q j(n≠j) + a1 q j(n≠j)≠1 + · · · + aj(n≠j)≠1 q + aj(n≠j) ,

tiene la secuencia ai en orden invertido. Mediante la comparación

C D de los coeficientes se
n
observa que los coeficientes de la expresión polinómica de son simétricas, es decir
j
ai = aj(n≠j)≠i .
Al igual que los coeficientes binomiales clásicos, los coeficientes q-binomiales también
tienen interpretaciones combinatorias.

Teorema 23. Sea An = {1, 2, · · · , n} y sea An,j la colección de todos los subconjuntos
An con j-elementos, 0 Æ j Æ n, entonces

C D
n ÿ ÿ
= q w(S)≠j(j+1)/2 , donde w(S) = s (2.18)
j SœAn,j sœS

Demostración. Vamos a proceder por inducción sobre n. Primero, consideremos n = 1,

j = 0. Para A1,0 = {ÿ} y w(ÿ) = 0. Por lo tanto, el lado derecho de la ecuación (2.18) es
igual a la unidad, de acuerdo con el lado de la izquierda. Para j = 1, el único elemento de
A1,1 es A1 = {1}, y w({1}) = 1. Una vez más, el lado de la derecha es igual a la unidad
y esta de acuerdo con el lado izquierdo.

28
 Asumamos que la ecuación (2.18) se cumple para 1 Æ n Æ m ≠ 1, donde m Ø 2, y
consideremos n = m. El caso j = 0 es similar para n = 1 descrito anteriormente. Para
j Ø 1, escribamos Am,j = B fi B Õ , donde B = {S œ Am,j | m ”œ S} y
B Õ = {S œ Am,j | m œ S}. Los conjuntos en B son todos los subconjuntos con j-
elementos de Am≠1 , es decir, B = Am≠1,j . Los conjuntos en B Õ , cada uno con el elemento
“m” eliminado son todos los subconjuntos con j ≠ 1-elementos de Am≠1 . Por lo tanto, el
lado derecho de la ecuación (2.18) se convierte en
ÿ ÿ
q w(S)≠j(j+1)/2 + q w(S)≠j(j+1)/2
SœB SœB Õ

ÿ ÿ
= q w(S)≠j(j+1)/2 + q (w(S)+m)≠j(j+1)/2
SœAm≠1,j SœAm≠1,j≠1

ÿ ÿ
= q w(S)≠j(j+1)/2 + q w(S)≠j(j+1)/2 q m≠j
SœAm≠1,j SœAm≠1,j≠1

C D C D C D
m≠1 m≠1 m
= + q m≠j =
j j≠1 j

La última línea se sigue del q-análogo de la propiedad de Pascal descrita en la ecuación

(2.17). Por inducción en j, la ecuación (2.18) es verdadera para 0 Æ j Æ m. Finalmente,
la inducción en n completa la prueba.

Para uso futuro, tenga en cuenta que la definición del coeficiente q-binomial se puede
generalizar de una manera análoga a su contraparte clásica. Usando Definición 5 tenemos:
C D
– [–]q [– ≠ 1]q · · · [– ≠ j + 1]q
= (2.19)
j [j]q !

donde – es cualquier número y j es un entero no negativo.

29
Capítulo 3

Integral de Feynman-Jackson

En este capítulo haremos una breve revisión de los resultados presentes en [4].
Vamos a utilizar las integrales de Feynman Jackson para construir un q-análogo de la
medida de Gauss.

Definición 24. La q-integral o integral de Jackson de una función f en el intervalo [0, b]

con b œ R está dada por la expresión
⁄ b Œ
ÿ
f (x)dq x = (1 ≠ q)b q n f (q n b), (3.1)
0 n=0

se tiene además;
⁄ 0 ⁄ b
f (x)dq x = f (≠x)dq x, (3.2)
≠b 0

y
⁄ b ⁄ 0 ⁄ b
f (x)dq x = f (x)dq x + f (x)dq x. (3.3)
≠b ≠b 0

Observe que en el límite cuando q ≠æ 1, al igual que la q-derivada tiende a la derivada

usual, la q-integral tiende a la integral de Riemann, y como la q-derivada tiene un q-
análogo de la regla de derivación, la q-integral también lo tiene
⁄ b ⁄ b
ˆq f (x)g(x)dq x = ≠ Iq (f )(x)ˆq g(x)dq x + f (b)g(b) ≠ f (0)g(0) (3.4)
0 0

Como el objetivo es describir el q-análogo de la medida de Gauss sobre R, comenzamos

por introducir los momentos de la medida de Gauss.

30
Definición 25. Los momentos de la medida de Gauss están dadas por las siguientes
integrales
1 ⁄ Œ ≠ x2 n
Ô e 2 x dx (3.5)
2fi ≠Œ
Una propiedad notable de la medida de Gauss es que proporciona un puente entre la
teoría de la medida y la teoría combinatoria.

Definición 26. Los momentos de la medida de Gauss están dados por la expresión

1 ⁄ Œ ≠ x2 2n
Ô e 2 x dx = (2n ≠ 1)(2n ≠ 3) · · · 7 · 5 · 3 · 1, (3.6)
2fi ≠Œ

y
1 ⁄ Œ ≠ x2 2n+1
Ô e 2x dx = 0. (3.7)
2fi ≠Œ
Definición 27. Una partición de a œ Z+ es una secuencia finita de números enteros
positivos a1 , a2 , · · · , ar tal que
r
ÿ
ai = a
i=1

En lo que sigue y hasta finalizar este capítulo, denotaremos por [[n]] al conjunto {1, 2, · · · , n},
para todo n œ N.

Definición 28. Un emparejamiento – en un conjunto totalmente ordenado R de cardi-

nalidad 2n es una secuencia – = {(ai , bi )}ni=1 œ (R2 )n tal que

a1 < a2 < · · · < an .

ai < bi , i = 1, · · · , n.
n
h
R= {ai , bi }.
i=1

Denotemos por P (R) el conjunto de emparejamientos en R.

31
Ejemplo 29. Sea R un conjunto totalmente ordenado de tamaño 6, un emparejamiento
sobre R está dado por

a1 b1 a2 b2 a3 b3

P (R) = {(a1 , b1 ), (a2 , b2 ), (a3 , b3 )}.

Definición 30. Dado n > 2 el número definido por (2n ≠ 1)(2n ≠ 3) · · · 7 · 5 · 3 · 1 se

llama el doble factorial y cuenta el número de emparejamientos en el conjunto [[2n]] =
{1, 2, · · · , 2n} y se denota por (2n ≠ 1)!!.

Ejemplo 31. El número de emparejamientos del conjunto [[6]] según la Definición 30 es

igual a 15 = (6 ≠ 1)(6 ≠ 3)(6 ≠ 5), los cuales se ilustran a continuación:

a1 b1 a2 b2 a3 b3 a1 a2 a3 b3 b2 b1

a1 a2 b2 a3 b3 b1 a1 a2 a3 b2 b3 b1

a1 a2 b1 a3 b2 b3 a1 a2 a3 b1 b2 b3

a1 a2 a3 b3 b1 b2 a1 b1 a2 a3 b2 b3

32
 a1 a2 b2 b1 a3 b3 a1 b1 a2 a3 b3 b2

a1 a2 b1 b2 a3 b3 a1 a2 a3 b1 b3 b2

a1 a2 b2 a3 b1 b3 a1 a2 a3 b2 b1 b3

a1 a2 b1 a3 b3 b2

De lo cual se sigue:
1 ⁄ Œ x2 6
Ô e 2 x dx = 15. (3.8)
2fi ≠Œ
Con el fin de definir el q-análogo de la medida de Gauss, debemos encontrar el q-análogo
Ô x2
de los siguientes objetos 2fi, Œ, e≠ 2 , xn y dx. La medida de Lesbesgue dx coincide con
la integración de Riemann, para las funciones buenas. Por lo tanto es natural reemplazar
dx por la integración de Jackson dq x, mientras que el factor xn se mantiene sin cambios.
Ahora debemos encontrar el q-análogo de la función exponencial ex para poder encontrar
x2
el q-análogo de e≠ 2 .

Definición 32. El q-análogo de la función exponencial que cumple las ecuaciones

33
ˆq exq = exq y e0q = 1, está dado mediante la expresión
Œ
ÿ xn
exq = , (3.9)
n=0 [n]q !

Observe que:

q ”= 1.
exq e≠x

Vamos a introducir el q-análogo de la expresión ex e≠x = 1 en la Definición 33.

Definición 33. El q-análogo de la expresión ex e≠x = 1 está dado mediante la expresión

exq Eq≠x = 1,

donde
Œ
ÿ n(n≠1) xn
Eqx = q 2 . (3.10)
n=0 [n]q !
Como ya tenemos los q-análogos para la función exponencial y su inversa, se puede
x2
pensar que es sencillo generalizar el término e≠ 2 de la integrales de Gauss. Sin embargo,
x2

este no es el caso. Nuestro primer impulso es manipular la expresión E , la respuesta

≠ [2]
q

x2
correcta es reemplazar e 2 por la expresión
2 2
≠ q[2]x Œ
ÿ (≠1)n q n(n+1) x2n
Eq2 q
= . (3.11)
n=0 (1 + q n )[n]q2 !
x2
Definición 34. El q-análogo de la expresión e≠ 2 está dado por
2 2
≠ q[2]x Œ
ÿ (≠1)n q n(n+1) x2n
Eq2 q
= . (3.12)
n=0 (1 + q n )[n]q2 !

Las funciones q-exponencial exq y Eqx son buenos q-análogos de la función exponencial ex
ya que cumple las siguientes propiedades:

ˆq exq = exq .

e0q = 1.

lı́m ex = ex .
q≠æ1 q

34
 ˆq Eqx = Eqqx .

Eq0 = 1.

lı́m Eqx = ex .
q≠æ1

Desde el punto de vista diferencial exq es el q-análogo a derecha de ex . Sin embargo ambos
exq y Eqx , carecen de la propiedad algebraica fundamental de la exponencial, es decir,
ex : (R, +) ≠æ (R, .) es un homomorfismo de grupos. En efecto se puede verificar que
ex+y
q ”= exq eyq y tambien que Eqx+y ”= Eqx Eqy . Sin embargo, tenemos la siguiente identidad

(exq )≠1 = Eq≠x .

El lector interesado en realizar consultas adicionales sobre este tema puede consultar [3].
Ahora tenemos en cuenta los límites de integración. Es curioso que, mientras que la
medida de Gauss esta dada por una integral impropia, su q-análogo resulta ser una integral
definida cuyos límites dependen de q, y cuando q tiende a 1 la integral se aproxima a más
o menos infinito. De hecho, sin más motivación los límites de frontera en las integrales de
1
Ô
Gauss son v y ≠v donde v = Ô1≠q . Para encontrar el q-análogo c(q) de 2fi que aparece
en las integrales de Gauss debemos exigir que c(q) satisfaga la siguiente identidad:
2 2
1 ⁄ v ≠q[2]qx
E 2 dq x = 1. (3.13)
c(q) ≠v q
Luego c(q) está dado por
⁄ v ≠q 2 x2

c(q) =
[2]q
E q2 dq x
≠v

⁄ v ≠q 2 x2

= 2 E q2
[2]q
dq x (3.14)
0

Πq 2 (q n v)2
ÿ ≠
= 2(1 ≠ q)v n [2]q
q Eq 2 ,
n=0

de donde
Ô ÿŒ ÿ Œ
(≠1)m q m(m+1)+(2m+1)n
c(q) = 2 1 ≠ q , (3.15)
n=0 m=0 (1 ≠ q 2 )m [m]q2 !
e intercambiando el orden de la suma, obtenemos la identidad dada en la Definición 35.

35
 Ô
Definición 35. El q-análogo c(q) de 2fi está dado por
Ô Œ
ÿ (≠1)m q m(m+1)
c(q) = 2 1 ≠ q . (3.16)
m=0 (1 ≠ q
2m+1 )(1 ≠ q 2 )m [m]2 !
q

En el cálculo cuántico cuando q ≠æ 1 recuperamos la identidad original, luego

Ô Ô Œ
ÿ (≠1)m q m(m+1)
2fi = 2 lı́m 1≠q . (3.17)
m=0 (1 ≠ q
q≠æ1 2m+1 )(1 ≠ q 2 )m [m]2 !
q

Ahora buscamos el q-análogo de la ecuaciones (3.6) y (3.7) para los momentos de la

medidad de Gauss.

Teorema 36. Las siguientes identidades se satisfacen:

2 2
1 ⁄ v ≠ q[2]xq 2n
1. E2 x dq x = [2n ≠ 1]q [2n ≠ 3]q · · · [7]q [5]q [3]q [1]q = [2n ≠ 1]q !!,
c(q) ≠v q
2 2
1 ⁄ v ≠ q[2]xq 2n+1
2. E2 x dq x = 0.
c(q) ≠v q
Demostración. 1. Usando el análogo de la regla de la cadena (3.4) se demuestra la
siguiente fórmula recursiva
qx2 2
1 ⁄ v ≠ [2] [2n + 1]q ⁄ v ≠qx
E2 x q 2n+2
dq x = Eq2 x2n dq x.
[2]q
(3.18)
c(q) ≠v q c(q) ≠v

La ecuación (3.18) y la ecuación (3.13) implican que

⁄ v 2 2
1 ≠ q[2]x
Eq 2 q
x2n dq x = [2n ≠ 1]q !!
c(q) ≠v

2 2
≠ q[2]x
2. Una función par Eq2 q
por una impar x2n+1 da como resultado una función impar.
Y la integral de una función impar en el intervalo [≠v, v] es cero, pues se restan las
áreas [10]. Luego
2 2
1 ⁄ v ≠ q[2]xq 2n+1
E2 x dq x = 0.
c(q) ≠v q

A continuación vamos a describir la interpretación combinatoria del número [2n ≠ 1]q !!.

[2n ≠ 1]q !! = [2n ≠ 1]q [2n ≠ 3]q · · · [7]q [5]q [3]q [1]q (3.19)

36
Definición 37. Para – œ P ([[2n]]) tenemos lo siguiente:

((ai , bi )) = {j œ [[2n]] : ai < j < bi } para todo (ai , bi ) œ –.

Pi (–) = {bj : 1 Æ j < i}

rn qn
|((ai ,bi ))\Pi (–)|
w(–) = i=1 q
|((ai ,bi ))\Pi (–)|
=q i=1 . w(–) se llama el peso de –.

Ejemplo 38. Vamos a calcular los pesos de los emparejamientos dado en el Ejemplo 31

a1 a2 a3 b3 b2 b1

Para calcular el primer peso, debemos fijarnos el la primera pareja ((a1 , b1 )) y ver cuan-
tos ai ,bi hay entre ((a1 , b1 )), para nuestro ejemplo tenemos cuatro a2 , a3 , b3 , b2 , después
debemos restar los bi menores que b1 ,y como b1 es el menor entonces el peso es q 4 . Luego
repetimos el procedimiento con ((a2 , b2 )), en este caso tenemos a3 , b3 , lo que nos da q 2 . Y
análogamente con ((a3 , b3 )), lo que nos da q 0 . Finalmente sumamos los exponentes de q,
que resulta ser el peso del emparejamiento q 6 . A continuación escribimos formalmente lo
explicado anteriormente:

q |((a1 ,b1 ))\P1 (–)| = q 4 , q |((a2 ,b2 ))\P1 (–)| = q 2 , q |((a3 ,b3 ))\P1 (–)| = q 0 (3.20)

Por lo tanto w(–) = q 6 .

Ejemplo 39. Siguiendo la explicación dada en el Ejemplo 38, podemos obtener los pesos
asociados a los siguientes emparejamientos:
Emparejamientos con peso 1:

q0

a1 b1 a2 b2 a3 b3

37
Emparejamientos con peso q 1 :

q1 q1

a1 b1 a2 a3 b2 b3 a1 a2 b1 b2 a3 b3

Emparejamentos con peso q 2 :

q2 q2

a1 a2 b1 a3 b2 b3 a1 a2 b2 b1 a3 b3

q2

a1 b1 a2 a3 b3 b2

Emparejamientos con peso q 3 :

q3 q3

a1 a2 a3 b1 b2 b3 a1 a2 b2 a3 b1 b3

q3

a1 a2 b1 a3 b3 b2

Emparejamientos con peso q 4 :

38
 q4
q4

a1 a2 b2 a3 b3 b1 a1 a2 a3 b1 b3 b2

q4

a1 a2 a3 b2 b1 b3

Emparejamientos con peso q 5 :

q5
q5

a1 a2 a3 b2 b3 b1 a1 a2 a3 b3 b1 b2

Emparejamientos con peso q 6 :

q6

a1 a2 a3 b3 b2 b1

Teorema 40. Dado n œ N la siguiente identidad se satisface

ÿ
[2n ≠ 1]q !! = w(p). (3.21)
pœP ([[2n]])

Demostración. Procedemos por inducción sobre n. Para n = 1, tenemos que

[2(1) ≠ 1]q !! = [1]q !! = 1.

Ahora supongamos que la identidad (3.21) se cumple para n + 1 como sigue

39
 ÿ ÿ
w(p) = w(p ≠ {(a1 , b1 )})q |((a1 ,b1 ))|
pœP ([[2n+2]]) pœP ([[2n+2]])

ÿ ÿ
= q b1 ≠2 w(—)
2Æb1 Æ2n+2 —œP ([[2n+2]])\{(a1 ,b1 )})

ÿ ÿ
= q b1 ≠2 w(—) (3.22)
2Æb1 Æ2n+2 —œP ([[2n]])

ÿ
= q b1 ≠2 [2n ≠ 1]q !!
2Æb1 Æ2n+2

= [2n + 1]q [2n ≠ 1]q !! = [2n + 1]q !! = [2(n + 1) ≠ 1]q !!.

Ejemplo 41. Aplicando la ecuación (3.21) al Ejemplo 39 se tiene que

ÿ
w(p) = q 0 + 3q 1 + 3q 2 + 3q 4 + 3q 4 + 3q 5 + q 6 (3.23)
pinP ([[6]])

Por otro lado

[6 ≠ 1]q !! = [5]q [3]q [1]q

= (1 + q + q 2 + q 3 + q 4 )(1 + q + q 2 ) (3.24)
= q 0 + 3q 1 + 3q 2 + 3q 4 + 3q 4 + 3q 5 + q 6

entonces tenemos que la ecuación (3.23) es igual a la ecuación (3.24).

Por lo tanto
ÿ
w(p) = [6 ≠ 1]q !!.
pinP ([[6]])

Note que cuando q ≠æ 1 en la ecuación (3.21) recuperamos la identidad:

(2n ≠ 1)!! =| {emparejamientos en [[2n]]} |

lo que coincide con la Definición 30. En conclusión hemos probamos que:

40
 2 2
1 ⁄ v ≠ q[2]xq 2n ÿ
Eq2 x dq x = w(p). (3.25)
c(q) ≠v pœP ([[2n]])

41
Bibliografía

[1] Andrews, G. E. (1986). q-Series: Their development and application in analysis, num-
ber theory, combinatorics, physics, and computer algebra (Vol. 66). American Mat-
hematical Soc..

[2] Brown, J. W., Churchill, R. V., & Lapidus, M. (1996). Complex variables and appli-
cations (Vol. 7). New York: McGraw-Hill.

[3] Díaz, R., & Pariguan, E. (2006). Feynman-Jackson integrals. Journal of Nonlinear
Mathematical Physics, 13(3), 365-376.

[4] Díaz, R., & Pariguan, E. (2007). An example of Feynman-Jackson integrals. Journal
of Physics A: Mathematical and Theoretical, 40(6), 1265-1272.

[5] Ernst, T. (2012). A comprehensive treatment of q-calculus. Springer Science & Bu-
siness Media.

[6] Euler, L. (1748). Introductio in Analysin Infinitorum (Vol. 1). Lausanne.

[7] Jackson, F. H. (1904). A Generalisation of the Functions (n) and xn . Proceedings

of the Royal Society of London, 74, 64-72.

[8] Jackson, F. H. (1910). On a q-definite integrals. Quart. J. Pure Appl. Math., 41,
193-203.

[9] Kac, V., & Cheung, P. (2002). Quantum calculus. Springer Science & Business Media.

42
[10] Spivak, M. (1965). Calculus on manifolds (Vol. 1). New York: WA Benjamin.

43