Formula:KLS:01.15:07

From DRMF
Jump to navigation Jump to search


π’Ÿ q n ⁑ ( f ⁒ ( x ) ⁒ g ⁒ ( x ) ) = βˆ‘ k = 0 n [ n k ] q ⁒ ( π’Ÿ q n - k ⁒ f ) ⁒ ( q k ⁒ x ) ⁒ ( π’Ÿ q k ⁒ g ) ⁒ ( x ) q-derivative 𝑛 π‘ž 𝑓 π‘₯ 𝑔 π‘₯ superscript subscript π‘˜ 0 𝑛 q-binomial 𝑛 π‘˜ π‘ž q-derivative 𝑛 π‘˜ π‘ž 𝑓 superscript π‘ž π‘˜ π‘₯ q-derivative π‘˜ π‘ž 𝑔 π‘₯ {\displaystyle{\displaystyle{\displaystyle\mathcal{D}^{n}_{q}\left(f(x)g(x)% \right)=\sum_{k=0}^{n}\genfrac{[}{]}{0.0pt}{}{n}{k}_{q}\left(\mathcal{D}^{n-k}% _{q}f\right)(q^{k}x)\left(\mathcal{D}^{k}_{q}g\right)(x)}}}

Constraint(s)

n = 0 , 1 , 2 , … 𝑛 0 1 2 … {\displaystyle{\displaystyle{\displaystyle n=0,1,2,\ldots}}}


Proof

We ask users to provide proof(s), reference(s) to proof(s), or further clarification on the proof(s) in this space.

Symbols List

π’Ÿ q n superscript subscript π’Ÿ π‘ž 𝑛 {\displaystyle{\displaystyle{\displaystyle\mathcal{D}_{q}^{n}}}}  : q π‘ž {\displaystyle{\displaystyle{\displaystyle q}}} -derivative : http://drmf.wmflabs.org/wiki/Definition:qderiv
Ξ£ Ξ£ {\displaystyle{\displaystyle{\displaystyle\Sigma}}}  : sum : http://drmf.wmflabs.org/wiki/Definition:sum
[ n ] ⁒ j q FRACOP absent 𝑛 subscript 𝑗 π‘ž {\displaystyle{\displaystyle{\displaystyle\genfrac{[}{]}{0.0pt}{0}{}{n}{j}_{q}% }}}  : q π‘ž {\displaystyle{\displaystyle{\displaystyle q}}} -binomial coefficient (or Gaussian polynomial) : http://dlmf.nist.gov/17.2#E27 http://dlmf.nist.gov/26.9#SS2.p1

Bibliography

Equation in Section 1.15 of KLS.

URL links

We ask users to provide relevant URL links in this space.