The quantum logarithm is a function of mathematical physics .
definition
Be it . The quantum logarithm
![{\ displaystyle \ hbar> 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5f32634fbae00395285f323035a3f34d0fbec3f)
![{\ displaystyle \ phi ^ {\ hbar} \ colon \ mathbb {C} \ to \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfd65bdafd5c7e35c31a55ac9df6d38e7bdaf9c0)
is defined by
-
,
where is a curve running along the real axis from to and revolving around the zero point from above, for example .
![{\ displaystyle C \ subset \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6dc6a186f865f07fe78e98c488ad4e4046837a7d)
![- \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca2608c4b5fd3bffc73585f8c67e379b4e99b6f1)
![\ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/c26c105004f30c27aa7c2a9c601550a4183b1f21)
![{\ displaystyle C = \ left [- \ infty, -1 \ right] \ cup \ left \ {e ^ {it} \ colon \ pi \ geq t \ geq 0 \ right \} \ cup \ left [1, \ infty \ right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51b2463f547888ada2854aba4f54782184a6b063)
(For every curve with these properties, integration of this integrand over the curve gives the same value.)
properties
![{\ displaystyle \ lim _ {\ hbar \ rightarrow 0} \ phi ^ {\ hbar} (z) = \ log (e ^ {z} +1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/393675c427b376d853f0dfc057e608fd2ac0d9df)
![{\ displaystyle \ phi ^ {\ hbar} (z) - \ phi ^ {\ hbar} (- z) = z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d0a4c17d47d365d28ba31beacbfc56426619305)
![{\ displaystyle {\ overline {\ phi ^ {\ hbar} (z)}} = \ phi ^ {\ hbar} ({\ overline {z}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd0d8c4e15d24de08359fb252e711ec8bf3ddcce)
![{\ displaystyle {\ frac {1} {\ hbar}} \ phi ^ {\ hbar} (z) = \ phi ^ {\ frac {1} {\ hbar}} ({\ frac {z} {\ hbar} })}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f700035dbc1e85b1f0477b6eb8adfa76aabf2501)
![{\ displaystyle \ phi ^ {\ hbar} (z + i \ pi \ hbar) - \ phi ^ {\ hbar} (zi \ pi \ hbar) = {\ frac {2 \ pi i \ hbar} {e ^ { -z} +1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2836ba5c6b74833ab5ee6698169ce0f6f60263d5)
![{\ displaystyle \ phi ^ {\ hbar} (z + i \ pi) - \ phi ^ {\ hbar} (zi \ pi) = {\ frac {2 \ pi i} {e ^ {- {\ frac {z } {\ hbar}}} + 1}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac523b1f5846fcdad5a644d7afcc83807eb3af15)
![{\ displaystyle \ phi ^ {1} (z) = {\ frac {z} {1-e ^ {- z}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e89a3eaeb23018588c090817b4c10741f6b0bf16)
![{\ displaystyle \ phi ^ {\ hbar} (z) = \ phi ^ {\ hbar +1} (z + \ pi i) + \ phi ^ {\ frac {\ hbar} {\ hbar +1}} (z- \ pi \ hbar i) = \ phi ^ {\ hbar +1} (z- \ pi i) + \ phi ^ {\ frac {\ hbar} {\ hbar +1}} (z + \ pi \ hbar i)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f482a77fc299e2ba7af8ee73760aa8ba652debf4)
![{\ displaystyle \ sum _ {l = -r} ^ {r} \ sum _ {m = -s} ^ {s} \ phi ^ {\ hbar} (z + {\ frac {2 \ pi i} {2r + 1}} l + {\ frac {2 \ pi i \ hbar} {2s + 1}} m) = \ phi ^ {{{\ frac {2r + 1} {2s + 1}} \ hbar} ((2r + 1 ) z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c56bfcb651abde6bbf6bea099f0926fa368ba33b)
The 1-form is meromorphic , it has simple poles with a residual in the points with .
![{\ displaystyle \ pm 2 \ pi i \ hbar}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a575fd0ef94aa7c3d2d3906c39e05df1cb43e468)
![{\ displaystyle (2n-1) \ hbar \ pi i \ pm (2m-1) \ pi i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32065d8760e3239508a8dea8523fa1efc999844b)
![{\ displaystyle n, m \ in \ mathbb {N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a011b8508a4abb5730a00fa6c158c79248c34f7)
literature
- VV Fock, AB Goncharov: The quantum dilogarithm and representations of quantum cluster varieties. Invent. Math. 175 (2009), no. 2, 223-286. (Chapter 4.1)