A Weighted Sum Formula for Double Eisenstein Series

We prove a weighted sum formula for double Eisenstein series.

Its corresponding identity for the generating series of multiple divisor sums was conjectured by the author in his master's thesis.

The double Eisenstein series identity follows from the restricted double-shuffle relations proved by the author and Tasaka, while the proof of the divisor-sum identity is combinatorial and uses generating series.