Fungrim home page

Fungrim entry: 5706ab

η(i)=i4η(i)\eta'(i) = -\frac{i}{4} \eta(i)
TeX:
\eta'(i) = -\frac{i}{4} \eta(i)
Definitions:
Fungrim symbol Notation Short description
ComplexDerivativeddzf ⁣(z)\frac{d}{d z}\, f\!\left(z\right) Complex derivative
DedekindEtaη(τ)\eta(\tau) Dedekind eta function
ConstIii Imaginary unit
Source code for this entry:
Entry(ID("5706ab"),
    Formula(Equal(ComplexDerivative(DedekindEta(tau), For(tau, ConstI)), Mul(Neg(Div(ConstI, 4)), DedekindEta(ConstI)))))

Topics using this entry

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

2019-10-05 13:11:19.856591 UTC