Research proof index

Basic properties of derivatives: linearity, Leibniz rule, etc.

D(exp(cz))/exp(cz) = c/(2πi) for any coefficient c.

The D-derivative of the anomaly function D₂. D₂ γ z = 2πi · (γ₁₀ / denom γ z), so D(D₂ γ) = (2πi)⁻¹ · d/dz[2πi · c / denom] = -c² / denom²

D(E₂E₄ - E₆) = 720 * ∑ n²·σ₃(n)·qⁿ. Key for the log-derivative limit: (D F)/F → 2 as z → i∞.

The D-derivative is bounded at infinity for bounded holomorphic functions. For y large (y ≥ 2·max(A,0) + 1), we use a ball of radius z.im/2 around z. The ball lies in the upper half plane, f is bounded by M on it, and norm_D_le_of_sphere_bound gives ‖D f z‖ ≤ M/(π·z.im) ≤ M/π.

Lemma 6.45 (Blueprint): The normalized derivative $D$ acts as $q \frac{d}{dq}$ on $q$-series. For a single q-power term: D(a·qⁿ) = n·a·qⁿ where q = exp(2πiz) and n ∈ ℤ. The key calculation: - d/dz(exp(2πinz)) = 2πin·exp(2πinz) - D(exp(2πinz)) = (2πi)⁻¹·(2πin·exp(2πinz)) = n·exp(2πinz)