Fungrim home page

Fungrim entry: 3b806f

η ⁣(−1τ)=(−iτ)1/2η(τ)\eta\!\left(-\frac{1}{\tau}\right) = {\left(-i \tau\right)}^{1 / 2} \eta(\tau)
Assumptions:τ∈H\tau \in \mathbb{H}
TeX:
\eta\!\left(-\frac{1}{\tau}\right) = {\left(-i \tau\right)}^{1 / 2} \eta(\tau)

\tau \in \mathbb{H}
Definitions:
Fungrim symbol Notation Short description
DedekindEtaη(τ)\eta(\tau) Dedekind eta function
Powab{a}^{b} Power
ConstIii Imaginary unit
HHH\mathbb{H} Upper complex half-plane
Source code for this entry:
Entry(ID("3b806f"),
    Formula(Equal(DedekindEta(Neg(Div(1, tau))), Mul(Pow(Neg(Mul(ConstI, tau)), Div(1, 2)), DedekindEta(tau)))),
    Variables(tau),
    Assumptions(Element(tau, HH)))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC