|
|
(One intermediate revision by one other user not shown) |
Line 1: |
Line 1: |
| {{lowercase}}
| | Ed is what individuals call me and my spouse doesn't like it at all. My day job is an information officer but I've currently applied for another 1. The preferred hobby for him and his kids is to perform lacross and he would by no means give it up. My spouse and I live in Kentucky.<br><br>Check out my web blog :: [http://modenpeople.co.kr/modn/qna/292291 good psychic] |
| In [[mathematics]], in the area of [[combinatorics]], the '''q-derivative''', or '''Jackson derivative''', is a [[q-analog]] of the [[ordinary derivative]], introduced by [[Frank Hilton Jackson]]. It is the inverse of [[Jackson integral|Jackson's q-integration]]
| |
| | |
| ==Definition==
| |
| The q-derivative of a function ''f''(''x'') is defined as
| |
| | |
| :<math>\left(\frac{d}{dx}\right)_q f(x)=\frac{f(qx)-f(x)}{qx-x}.</math>
| |
| | |
| It is also often written as <math>D_qf(x)</math>. The q-derivative is also known as the '''Jackson derivative'''.
| |
| | |
| Formally, in terms of Lagrange's [[shift operator]] in logarithmic variables, it amounts to the operator
| |
| :<math>D_q= \frac{1}{x} ~ \frac{q^{d~~~ \over d (\ln x)} -1}{q-1} ~, </math>
| |
| which goes to the plain derivative, →<sup>''d''</sup>⁄<sub>''dx''</sub>, as ''q''→1.
| |
| | |
| It is manifestly linear,
| |
| :<math>\displaystyle D_q (f(x)+g(x)) = D_q f(x) + D_q g(x)~.</math>
| |
| | |
| It has product rule analogous to the ordinary derivative product rule, with two equivalent forms
| |
| | |
| :<math>\displaystyle D_q (f(x)g(x)) = g(x)D_q f(x) + f(qx)D_q g(x) = g(qx)D_q f(x) + f(x)D_q g(x). </math>
| |
| | |
| Similarly, it satisfies a quotient rule,
| |
| | |
| :<math>\displaystyle D_q (f(x)/g(x)) = \frac{g(x)D_q f(x) - f(x)D_q g(x)}{g(qx)g(x)},\quad g(x)g(qx)\neq 0. </math>
| |
| | |
| There is also a rule similar to the chain rule for ordinary derivatives. Let <math>g(x) = c x^k</math>. Then
| |
| | |
| :<math>\displaystyle D_q f(g(x)) = D_{q^k}(f)(g(x))D_q(g)(x).</math>
| |
| | |
| The [[eigenfunction]] of the q-derivative is the [[q-exponential]] ''e<sub>q</sub>''(''x'').
| |
| | |
| ==Relationship to ordinary derivatives==
| |
| Q-differentiation resembles ordinary differentiation, with curious differences. For example, the q-derivative of the [[monomial]] is:
| |
| | |
| :<math>\left(\frac{d}{dz}\right)_q z^n = \frac{1-q^n}{1-q} z^{n-1} =
| |
| [n]_q z^{n-1}</math>
| |
| | |
| where <math>[n]_q</math> is the [[q-bracket]] of ''n''. Note that <math>\lim_{q\to 1}[n]_q = n</math> so the ordinary derivative is regained in this limit.
| |
| | |
| The ''n''-th q-derivative of a function may be given as:
| |
| | |
| :<math>(D^n_q f)(0)=
| |
| \frac{f^{(n)}(0)}{n!} \frac{(q;q)_n}{(1-q)^n}=
| |
| \frac{f^{(n)}(0)}{n!} [n]_q!
| |
| </math>
| |
| | |
| provided that the ordinary ''n''-th derivative of ''f'' exists at ''x''=0. Here, <math>(q;q)_n</math> is the [[q-Pochhammer symbol]], and <math>[n]_q!</math> is the [[q-factorial]]. If <math>f(x)</math> is analytic we can apply the Taylor formula to the definition of <math>D_q(f(x)) </math> to get
| |
| | |
| :<math>\displaystyle D_q(f(x)) = \sum_{k=0}^{\infty}\frac{(q-1)^k}{(k+1)!} x^k f^{(k+1)}(x).</math>
| |
| | |
| A q-analog of the Taylor expansion of a function about zero follows:
| |
| | |
| :<math>f(z)=\sum_{n=0}^\infty f^{(n)}(0)\,\frac{z^n}{n!} = \sum_{n=0}^\infty (D^n_q f)(0)\,\frac{z^n}{[n]_q!}</math>
| |
| | |
| == See also ==
| |
| * [[Derivative (generalizations)]]
| |
| * [[Jackson integral]]
| |
| * [[Q-exponential]]
| |
| * [[Q-difference polynomial]]s
| |
| * [[Quantum calculus]]
| |
| * [[Tsallis entropy]]
| |
| | |
| ==References==
| |
| * F. H. Jackson (1908), "On q-functions and a certain difference operator", ''Trans. Roy. Soc. Edin.'', '''46''' 253-281.
| |
|
| |
| * Exton, H. (1983), ''q-Hypergeometric Functions and Applications'', New York: Halstead Press, Chichester: Ellis Horwood, 1983, ISBN 0853124914, ISBN 0470274530, ISBN 978-0470274538
| |
| | |
| * Victor Kac, Pokman Cheung, ''Quantum Calculus'', Universitext, Springer-Verlag, 2002. ISBN 0-387-95341-8
| |
| | |
| ==Further reading==
| |
| * J. Koekoek, R. Koekoek, ''[http://arxiv.org/abs/math/9908140 A note on the q-derivative operator]'', (1999) ArXiv math/9908140
| |
| * Thomas Ernst, ''[http://www.math.uu.se/research/pub/Ernst4.pdf The History of q-Calculus and a new method]'',(2001),
| |
| | |
| [[Category:Q-analogs]]
| |
| [[Category:Differential calculus]]
| |
| [[Category:Linear operators in calculus]]
| |
Ed is what individuals call me and my spouse doesn't like it at all. My day job is an information officer but I've currently applied for another 1. The preferred hobby for him and his kids is to perform lacross and he would by no means give it up. My spouse and I live in Kentucky.
Check out my web blog :: good psychic