invQParam

Mathlib.Analysis.Complex.Periodic

URI: https://scilib.ai/kg/mathlib#Function.Periodic.invQParam

English

One-sided inverse of qParam: invQParam(q) = h/(2π i) · log q.

Русский

Односторонний обратный к qParam: invQParam(q) = h/(2π i) · log q.

LaTeX

$$$\mathrm{invQParam}(q) = \dfrac{h}{2\pi i}\,\log q$$$

Lean4

/-- One-sided inverse of `qParam h`. -/
def invQParam (q : ℂ) : ℂ :=
  h / (2 * π * I) * log q

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru