¿Cuál es la forma de cambiar los límites de la integración q de una integral doble

Question

Cuál es la forma de cambiar los límites de la integración q de una integral doble.

Por ejemplo, ¿cuál es la respuesta después de cambiar el orden de integración de $$\int_0^1 \int_0^{x} f(x,y)\ d_qy\ d_qx$$

https://en.wikipedia.org/wiki/Jackson_integral

Answer 1

La definición de un $q$ Integral es \begin{eqnarray*} \int_{0}^{x} f(x) d_{q}x =(1-q) x \sum_{k=0}^{\infty} q^{k}f(x^{k}x). \end{eqnarray*} Intentemos calcular su doble intergral donde la función es un monomio simple $f(x,y)=x^{\alpha}y^{\beta} $ & cambiar el $q$ variable a $p$ para el $y$ intergral (Lo volveremos a cambiar al final) \begin{eqnarray*} \int_{0}^{1} d_{q}x \int_{0}^{x} d_{p}y x^{\alpha}y^{\beta} &= & \left[ \int_{0}^{1} d_{q}x (1-p) y \sum_{k=0}^{\infty} p^{k} x^{\alpha} (p^{k}y)^{\beta} \right]_0^{x} \\ \end{eqnarray*} \begin{eqnarray*} &= & (1-p) \sum_{k=0}^{\infty} p^{k(1+\beta)} \int_{0}^{1} d_{q} x x^{1+\alpha+\beta} \\ \end{eqnarray*} \begin{eqnarray*} &= & (1-p) \sum_{k=0}^{\infty} p^{k(1+\beta)} (1-q) \left[x \sum_{j=0}^{\infty} q^{j}(p^{j}x) ^{1+\alpha+\beta} \right]_{0}^{1} \\ \end{eqnarray*} \begin{eqnarray*} &= & (1-p) \sum_{k=0}^{\infty} p^{k(1+\beta)} (1-q) \sum_{j=0}^{\infty} q^{j(2+\alpha+\beta)} \\ \end{eqnarray*} \begin{eqnarray*} &= & \frac{ (1-p)}{ (1- p^{1+\beta})} \frac{ (1-q) }{(1- q^{2+\alpha+\beta})} \\ \end{eqnarray*} Ahora supongamos que el intercambio de las integrales hace lo habitual... calculemos \begin{eqnarray*} \int_{0}^{1} d_{p}y \int_{y}^{1} d_{q}x x^{\alpha}y^{\beta} &= & \left[\int_{0}^{1} d_{p}y (1-q) x \sum_{k=0}^{\infty} q^{j} (q^{j} x)^{\alpha} y^{\beta} \right]_y^{1} \\ \end{eqnarray*} \begin{eqnarray*} &= & \int_{0}^{1} d_{p} (1-q) \sum_{k=0}^{\infty} q^{j(1+\alpha)} \left( y^{1+\beta} -y^{1+\alpha+\beta} \right) \\ \end{eqnarray*} \begin{eqnarray*} &= & (1-q) \sum_{j=0}^{\infty} q^{j(1+\alpha)} \left[ (1-p) \sum_{k=0}^{\infty} p^{k} \left( (p^ky)^{1+\beta} -(p^{k}y)^{1+\alpha+\beta} \right) \right]_0^1 \\ \end{eqnarray*} \begin{eqnarray*} &= & (1-q) \sum_{j=0}^{\infty} q^{j(1+\alpha)} (1-p)y \sum_{k=0}^{\infty} \left( p^{k(1+\beta)} -p^{k(2+\alpha+\beta)} \right) \\ \end{eqnarray*} \begin{eqnarray*} = & \frac{ (1-q)}{ (1- q^{1+\alpha})} \left( \frac{ (1-p) }{(1- p^{1+\beta})} - \frac{ (1-p) }{(1- p^{2+\alpha+\beta})} \right) \end{eqnarray*} \begin{eqnarray*} = & \frac{ (1-q)}{ (1- q^{1+\alpha})} \frac{ p^{1+\beta} (1-p) (1-p^{1+\alpha}) }{(1- p^{1+\beta})(1- p^{2+\alpha+\beta})} \end{eqnarray*} Así que la respuesta es no... intentar invertir las integrales (de la forma habitual) introduce un factor extra de $p^{1+\beta}$ para cada monomio.