Símbolo q-Pochhammer

Símbolo q-Pochhammer

En matemáticas, en el área de combinatoria, el símbolo q-Pochhmammer es el q-análogo del más conocido símbolo de Pochhammer. Se define de la siguiente manera:

(a;q)_n = \prod_{k=0}^{n-1} (1-aq^k)=(1-a)(1-aq)(1-aq^2)\cdots(1-aq^{n-1})

El símbolo q-Pochhmammer es el más importante ladrillo en la construcción de los q-análogos. Por ejemplo, en la teoría de las series hipergeométricas básicas, éste juega un papel fundamental al igual que el símbolo de Pochhammer lo juega en la teoría de las series hypergeométricas.

A diferencia del símbolo de Pochhammer, el símbolo q-Pochhammer sí puede extenderse como producto infinito, representándose de la siguiente manera:

(a;q)_\infty = \prod_{k=0}^{\infty} (1-aq^k)

Se trata de una función donde q toma valores complejos que es analítica en el interior del disco unitario, con lo cual se puede representar en forma de serie de potencias formal de q. Los símbolos q-Pochhammer suelen utilizarse en q-series, que son series cuyos coeficientes dependen de q, generalmente mediante símbolos q-Pochhammer.

Contenido

Función de Euler

Un caso especial es la conocida función de Euler, importante en combinatoria, teoría de números y teoría de formas modulares. Su representación en forma de símbolo q-Pochhammer es:

\phi(q) = (q;q)_\infty=\prod_{k=1}^\infty (1-q^k)

que dentro del radio de convergencia puede ser representada en forma de serie, como bien mostró Leonhard Euler en 1775 con su famoso teorema del número pentagonal, siendo:

\phi(q) = (q;q)_\infty=\prod_{k=1}^\infty (1-q^k) = \sum_{k=-\infty}^{\infty}(-1)^k q^{{k(3k-1)}/{2}}

Identidades

  • Un producto finito puede ser expresado en términos de producto infinito:

(a;q)_n = \frac{(a;q)_\infty} {(aq^n;q)_\infty}

  • El producto también puede extenderse para números n negativos. Así pues, para un número no negativo n se tiene:

(a;q)_{-n} = \frac{1}{(aq^{-n};q)_n}

y también:

(a;q)_{-n} = \frac{(-q/a)^n q^{n(n-1)/2}} {(q/a;q)_n}

  • El símbolo q-Pochhammer se puede representar mediante el uso de q-series, particularmente tenemos:

(x;q)_\infty = \sum_{n=0}^\infty \frac{(-1)^n q^{n(n-1)/2}}{(q;q)_n} x^n

y

\frac{1}{(x;q)_\infty}=\sum_{n=0}^\infty \frac{x^n}{(q;q)_n}

en los que ambos son casos especiales del teorema q-binomial:

\frac{(ax;q)_\infty}{(x;q)_\infty} = \sum_{n=0}^\infty \frac{(a;q)_n}{(q;q)_n} x^n

Interpretación combinacional

El símbolo q-Pochhammer está estrechamente relacionado con la combinatoria de particiones. En efecto, el coeficiente de cada amqn al expandir en serie de potencias la función

(a;q)_\infty^{-1} = \prod_{k=0}^{\infty} (1-aq^k)^{-1}

es el número de particiones de m a lo sumo en n partes.

Dado que, por conjugación de las particiones, el número de particiones de m en partes de, como máximo, tamaño n, es el mismo, podemos obtener la siguiente identidad:

(a;q)_\infty^{-1} = \sum_{k=0}^\infty \left(\prod_{j=1}^k \frac{1}{1-q^j} \right) a^k= \sum_{k=0}^\infty \frac{a^k}{(q;q)_k}

como se ha mostrado en la sección anterior.

También se tiene que el coeficiente de amqn en

(-a;q)_\infty = \prod_{k=0}^{\infty} (1+aq^k)

es el número de particiones de m en n o n-1 partes distintas. Utilizando métodos similares al igual que antes, se obtiene la siguiente identidad:

(-a;q)_\infty = \prod_{k=0}^\infty (1+aq^k) = \sum_{k=0}^\infty \left(q^{k\choose 2} \prod_{j=1}^k \frac{1}{1-q^j}\right) a^k = \sum_{k=0}^\infty \frac{q^{k\choose 2}}{(q;q)_k} a^k

como también se ha mostrado en la sección anterior.

Convenio para múltiples argumentos

Puesto que en numerosas identidades en las que se hace uso de los símbolos q-Pochhammer es frecuente que haya productos utilizando varios símbolos, se ha establecido un convenio estándar para escribir el producto como un único símbolo que acepta múltiples argumentos, de la siguiente manera:

(a_1,a_2,\ldots,a_m;q)_n = (a_1;q)_n (a_2;q)_n \ldots (a_m;q)_n

Relaciones con el q-factorial y los números q-binomiales

Dado que:

\lim_{q\rightarrow 1}\frac{1-q^n}{1-q}=n

se puede definir el q-análogo de n, al que llamaremos q-corchete o q-número de n y lo representaremos como [n]q a:

[n]_q=\frac{1-q^n}{1-q}

De esta manera podemos definir el q-análogo del factorial, el q-factorial, que se puede representar en forma de símbolos de q-Pochhammer:

\begin{align} \big[n]_q! & {} = [1]_q [2]_q \cdots [n-1]_q [n]_q \\ & {} = \frac{1-q}{1-q} \frac{1-q^2}{1-q} \cdots \frac{1-q^{n-1}}{1-q} \frac{1-q^n}{1-q} \\ & {} = 1(1+q)\cdots (1+q+\cdots + q^{n-2}) (1+q+\cdots + q^{n-1}) \\ & {} = \frac{(q;q)_n}{(1-q)^n} \end{align}

El q-factorial converge al factorial clásico cuando q tiende a 1 dentro del disco unitario.

Una vez definidos los q-factoriales, podemos definir los números q-binomiales, más conocidos como coeficientes gaussianos de la siguiente manera:

\begin{bmatrix} n\\ k \end{bmatrix}_q = \frac{[n]_q!}{[n-k]_q! [k]_q!}.

como también se puede definir el q-análogo de la función gamma, llamada función q-gamma, que se puede mostrar en forma de símbolos q-Pochhammer así:

\Gamma_q(x)=\frac{(1-q)^{1-x} (q;q)_\infty}{(q^x;q)_\infty}

Nótese que

\Gamma_q(x+1)=[x]_q\Gamma_q(x) \,\!

y

\Gamma_q(n+1)=[n]_q!\frac{}{}

Como antes, la función q-gamma converge a la función gamma clásica cuando q tiende a 1 dentro del disco unitario.

Referencias

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Símbolo de Pochhammer — Sean z un número complejo y n un número entero, el símbolo de Pochhammer[1] está definido por Si z y z+n no son enteros negativos, entonces donde Γ es la función gamma. Los símbolos de Pochhammer aparecen en la expansión en series de funciones… …   Wikipedia Español

  • Leo August Pochhammer — (1841 1920) fue un matemático prusiano, conocido por su trabajo sobre funciones especiales. Introdujo el símbolo de Pochhammer, usados generalmente hoy en día, para expresar funciones hipergeométricas. Leo Pochhammer creció en Berlín y obtuvo su… …   Wikipedia Español

  • Función gamma — en el eje real. Valor absoluto de la función gamma en el plano complejo …   Wikipedia Español

  • Serie hipergeométrica — En matemáticas, una serie hipergeométrica es una serie de potencias donde el k ésimo coeficiente de la serie es una función racional de k. Si la serie converge, define una función hipergeométrica cuyo dominio es algún subconjunto de los números… …   Wikipedia Español

  • Función theta de Ramanujan — En matemática, la función theta de Ramanujan generaliza la forma de las funciones theta de Jacobi, a la vez que conserva sus propiedades generales. En particular, el producto triple de Jacobi se puede escribir elegantemente en términos de la… …   Wikipedia Español

  • Producto vacío — Saltar a navegación, búsqueda En matemáticas, un producto vacío es el resultado de multiplicar entre sí ningún número. Su valor numérico es 1, el elemento neutro del producto, de la misma manera que la suma vacía, que es el resultado de sumar… …   Wikipedia Español

  • Serie asintótica — En matemáticas, una expansión asintótica o serie asintótica o serie de Poincaré es una serie formal de funciones tal que converge asintóticamente a una función dada, esto significa que si cortamos la serie se obtiene una aproximación de la… …   Wikipedia Español

  • Función gamma elíptica — En matemática, la función gamma elíptica es una generalización de la función q gamma, la cual es en si misma un q análogo de la función gamma ordinaria. Está íntimamente relacionada con la función estudiada por Jackson (1905), y puede ser… …   Wikipedia Español

  • Batalla de las islas Malvinas — Batalla de las Malvinas Parte de Primera Guerra Mundial SMS Scharnhorst, buque insignia de von Spee Fecha …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”