WikiDer > Q-экспоненциалды

Жылы комбинаторлық математика, а q- экспоненциалды Бұл q-analog туралы экспоненциалды функция, атап айтқанда өзіндік функция а q- туынды. Мұнда көптеген бар q- туынды, мысалы, классикалық q- туынды, Askey-Wilson операторы және т.б. Сондықтан классикалық экспоненциалдарға қарағанда q- экспоненциалдар бірегей емес. Мысалға, ${displaystyle e_ {q} (z)}$ болып табылады q- классикаға сәйкес келетін экспоненциалды q- туынды уақыт ${displaystyle {mathcal {E}} _ {q} (z)}$ Askey-Wilson операторларының өзіндік функциялары.

Анықтама

The q- экспоненциалды ${displaystyle e_ {q} (z)}$ ретінде анықталады

${displaystyle e_ {q} (z) = sum _ {n = 0} ^ {infty} {frac {z ^ {n}} {[n] _ {q}!}} = sum _ {n = 0} ^ {infty} {frac {z ^ {n} (1-q) ^ {n}} {(q; q) _ {n}}} = sum _ {n = 0} ^ {infty} z ^ {n} {frac {(1-q) ^ {n}} {(1-q ^ {n}) (1-q ^ {n-1}) cdots (1-q)}}}$

қайда ${displaystyle [n] _ {q}!}$ болып табылады q-факторлық және

${displaystyle (q; q) _ {n} = (1-q ^ {n}) (1-q ^ {n-1}) cdots (1-q)}$

болып табылады q-Похаммер белгісі. Бұл - q- экспоненциалдың аналогы қасиеттен шығады

${displaystyle сол жақта ({frac {d} {dz}} ight) _ {q} e_ {q} (z) = e_ {q} (z)}$

Мұндағы сол жақ туынды болып табылады q- туынды. Жоғарыда айтылғандарды қарастыру арқылы оңай тексеруге болады q- туындысы мономиялық

${displaystyle сол жақта ({frac {d} {dz}} ight) _ {q} z ^ {n} = z ^ {n-1} {frac {1-q ^ {n}} {1-q}} = [n] _ {q} z ^ {n-1 }.}$

Мұнда, ${displaystyle [n] _ {q}}$ болып табылады q-бракет. Басқа анықтамалары үшін q-экономикалық функция, қараңыз Экстон (1983) harvtxt қатесі: мақсат жоқ: CITEREFExton1983 (Көмектесіңдер), Исмаил және Чжан (1994) harvtxt қатесі: мақсат жоқ: CITEREFIsmailZhang1994 (Көмектесіңдер), Суслов (2003) harvtxt қатесі: мақсат жоқ: CITEREFSuslov2003 (Көмектесіңдер) және Цислинский (2011) harvtxt қатесі: мақсат жоқ: CITEREFCieslinski2011 (Көмектесіңдер).

Қасиеттері

Шын ${displaystyle q> 1}$, функциясы ${displaystyle e_ {q} (z)}$ болып табылады бүкіл функция туралы ${displaystyle z}$. Үшін ${displaystyle q <1}$, ${displaystyle e_ {q} (z)}$ дискіде тұрақты болып табылады ${displaystyle | z | <1 / (1-q)}$.

Кері назар аударыңыз, ${displaystyle ~ e_ {q} (z) ~ e_ {1 / q} (- z) = 1}$.

Қосымша формула

Егер ${displaystyle xy = qyx}$, ${displaystyle e_ {q} (x) e_ {q} (y) = e_ {q} (x + y)}$ ұстайды.

Қарым-қатынастар

Үшін ${displaystyle -1$, тығыз байланысты функция болып табылады ${displaystyle E_ {q} (z).}$ Бұл ерекше жағдай негізгі гипергеометриялық қатарлар,

${displaystyle E_ {q} (z) =; _ {1} phi _ {1} сол жақта ({scriptstyle {0 үстінде 0}},;, z ight) = sum _ {n = 0} ^ {infty} {frac {q ^ {inom {n} {2}} (- z) ^ {n}} {(q; q) _ {n}}} = prod _ {n = 0} ^ {infty} (1-q ^ {n} z) = (z; q) _ {infty}.}$

Анық,

${displaystyle lim _ {q o 1} E_ {q} қалды (z (1-q) ight) = lim _ {q o 1} sum _ {n = 0} ^ {infty} {frac {q ^ {inom {n} {2}} (1-q) ^ {n}} {(q; q ) _ {n}}} (- z) ^ {n} = e ^ {- z}. ~}$

Дилогарифммен байланыс

${displaystyle e_ {q} (x)}$ келесі шексіз өнімге ие:

${displaystyle e_ {q} (x) = сол жақ (prod _ {k = 0} ^ {түссіз} (1-q ^ {k} (1-q) x) ight) ^ {- 1}.}$

Басқа жақтан, ${displaystyle log (1-x) = - sum _ {n = 1} ^ {infty} {frac {x ^ {n}} {n}}}$ ұстайды. Қашан ${displaystyle | q | <1}$,

${displaystyle log e_ {q} (x) = - sum _ {k = 0} ^ {infty} log (1-q ^ {k} (1-q) x) = sum _ {k = 0} ^ {infty } қосынды _ {n = 1} ^ {сәйкес емес} {frac {(q ^ {k} (1-q) x) ^ {n}} {n}} = қосынды _ {n = 1} ^ {ақысыз} { frac {((1-q) x) ^ {n}} {(1-q ^ {n}) n}} = {frac {1} {1-q}} sum _ {n = 1} ^ {infty } {frac {((1-q) x) ^ {n}} {[n] _ {q} n}}.}$

Шекті қолдану арқылы ${displaystyle q o 1}$,

${displaystyle lim _ {q o 1} (1-q) log e_ {q} (x / (1-q)) = mathrm {Li} _ {2} (x),}$

қайда ${displaystyle mathrm {Li} _ {2} (x)}$ болып табылады дилогарифм.

Әдебиеттер тізімі

• Экстон, H. (1983), q-гипергеометриялық функциялар және қолдану, Нью-Йорк: Halstead Press, Chichester: Эллис Хорвуд, ISBN 0853124914, ISBN 0470274530, ISBN 978-0470274538
• Гаспер, G. & Рахман, М. (2004), Негізгі гипергеометриялық қатар, Кембридж университетінің баспасы, ISBN 0521833574
• Исмаил, M. E. H. (2005), Бір айнымалыдағы классикалық және кванттық ортогоналды көпмүшелер, Кембридж университетінің баспасы.
• Исмаил, M. E. H. & Чжан, R. (1994), «Кейбір интегралды операторлардың диагонализациясы», Математикадағы жетістіктер. 108, 1-33.
• Исмаил, М.Е.Х. Рахман, М. & Чжан, R. (1996), белгілі бір интегралды операторлардың диагонализациясы, J. Комп. Қолдану. Математика. 68, 163-196.
• Джексон, Ф. Х (1908), «q-функциялар және белгілі бір айырмашылық операторы туралы», Эдинбург Корольдік Қоғамының операциялары, 46, 253-281.