量子解析学

数学の分野としての量子解析学（りょうしかいせきがく、）は極限の概念を持たないことを除けば通常の微分積分学と同じものであり、しばしば「極限の無い微分積分学」("calculus without limits") と呼ばれる。量子解析学には二種類のパラメータ （ は量子 (quantum) の頭文字、 はプランク定数にそれぞれ由来する）がそれぞれ入った -解析と -解析という二つの形で述べることができる（両者は formula_1 なる関係で結ばれていると理解するのがよい）。
微分法.
函数の微分は -解析および -解析のそれぞれに対して formula_2 および formula_3 と定義され、同様に導函数も formula_4 および -微分 formula_5 が定まる。
積分法.
"q"-積分.
函数 が の -原始函数であるとは、 を満たすときに言い、formula_6 で表す。 の -不定積分はと呼ばれる公式 formula_7 によって求めることができる。 のとき、適当な に対して が半開区間 上有界となるならば、右辺の和は 上で に収束する。
上記の -積分は、無限個の点 においてそれぞれ だけ跳んで増加する階段函数に関するリーマン–スティルチェス積分である。そのような階段函数を と書けば、 となる。
"h"-積分.
函数 が の -原始函数（-不定積分）であるとは、 となるときに言い、formula_8 で表す。 を の相異なる倍数とするとき、-定積分 formula_9 は、閉区間 の小区間の幅が であるような分割に関する のリーマン和によって定義される。
例.
古典的な微分積分学において、適当な自然数 を冪指数とする冪函数 の導函数は で与えられるのであった。これに対応する -解析および -解析の式は、それぞれ formula_10 および formula_11 で与えられる。ただし、formula_12 は である。
したがって、formula_13 が自然数冪の微分法則の -解析版ということになる。この意味で冪函数は -解析においても「よく振る舞う」ということができるが、他方 -解析ではそうでない（冪函数の -解析版としては下降階乗冪 formula_14 がとられるべきである）。これをさらに推し進めて発展させれば、たとえばテイラー展開などの概念もほとんどそのままの形で -解析版に持ち込むことができるし、通常考えるような任意の函数の -解析版にさえ到達することができる。例えば、正弦函数の -解析版を -微分すれば適当な意味で -解析版余弦函数になるはずである。
歴史.
-解析はまさに差分法に他ならず、これはジョージ・ブールらによって研究され、組合せ論や流体力学など数々の分野でその有効性が確かめられている。-解析は、ある意味ではレオンハルト・オイラーやカール・グスタフ・ヤコビにまで遡れるが、近年では交換関係およびリー代数に密接な関係を持つ量子力学において有効性が見いだされ始めている。