Fungrim entry: 097efc

\sum_{\tau \in \mathcal{F}} j(\tau) w(\tau) \mathop{\operatorname{ord}}\limits_{z=\tau} E_{2 k}\!\left(z\right) = 120 k - \frac{2}{\zeta\!\left(1 - 2 k\right)}\; \text{ where } w(\tau) = \begin{cases} \frac{1}{2}, & \tau = i\\1, & \text{otherwise}\\ \end{cases}

Assumptions:

k \in \mathbb{Z}_{\ge 2}

References:

K. Ono and M. A. Papanikolas (2004). p-Adic Properties of Values of the Modular j-Function. In: Hashimoto K., Miyake K., Nakamura H. (eds) Galois Theory and Modular Forms. Developments in Mathematics, vol 11. Springer, Boston, MA, https://doi.org/10.1007/978-1-4613-0249-0_19
S. Garthwaite, L. Long, H. Swisher, S. Treneer. Zeros of classical Eisenstein series and recent developments, Fields Communications Volume 60, WIN - Women In Numbers, Proceedings of the WIN Workshop, (2011), 251-263. http://math.oregonstate.edu/~swisherh/C1P.pdf

TeX:

\sum_{\tau \in \mathcal{F}} j(\tau) w(\tau) \mathop{\operatorname{ord}}\limits_{z=\tau} E_{2 k}\!\left(z\right) = 120 k - \frac{2}{\zeta\!\left(1 - 2 k\right)}\; \text{ where } w(\tau) = \begin{cases} \frac{1}{2}, & \tau = i\\1, & \text{otherwise}\\ \end{cases}

k \in \mathbb{Z}_{\ge 2}

Definitions:

Fungrim symbol	Notation	Short description
`Sum`	$\sum_{n} f(n)$	Sum
`ModularJ`	$j(\tau)$	Modular j-invariant
`ComplexZeroMultiplicity`	$\mathop{\operatorname{ord}}\limits_{z=c} f(z)$	Multiplicity (order) of complex zero
`EisensteinE`	$E_{k}\!\left(\tau\right)$	Normalized Eisenstein series
`ModularGroupFundamentalDomain`	$\mathcal{F}$	Fundamental domain for action of the modular group
`RiemannZeta`	$\zeta\!\left(s\right)$	Riemann zeta function
`ConstI`	$i$	Imaginary unit
`ZZGreaterEqual`	$\mathbb{Z}_{\ge n}$	Integers greater than or equal to n

Source code for this entry:

Entry(ID("097efc"),
    Formula(Where(Equal(Sum(Mul(Mul(ModularJ(tau), w(tau)), ComplexZeroMultiplicity(EisensteinE(Mul(2, k), z), For(z, tau))), ForElement(tau, ModularGroupFundamentalDomain)), Sub(Mul(120, k), Div(2, RiemannZeta(Sub(1, Mul(2, k)))))), Equal(w(tau), Cases(Tuple(Div(1, 2), Equal(tau, ConstI)), Tuple(1, Otherwise))))),
    Variables(k),
    Assumptions(Element(k, ZZGreaterEqual(2))),
    References("K. Ono and M. A. Papanikolas (2004). p-Adic Properties of Values of the Modular j-Function. In: Hashimoto K., Miyake K., Nakamura H. (eds) Galois Theory and Modular Forms. Developments in Mathematics, vol 11. Springer, Boston, MA, https://doi.org/10.1007/978-1-4613-0249-0_19", "S. Garthwaite, L. Long, H. Swisher, S. Treneer. Zeros of classical Eisenstein series and recent developments, Fields Communications Volume 60, WIN - Women In Numbers, Proceedings of the WIN Workshop, (2011), 251-263. http://math.oregonstate.edu/~swisherh/C1P.pdf"))

Topics using this entry

Eisenstein series