This note concerns the general formulation by Preiss and Uher of Kestelmans influential result pertaining the change of variable, or substitution, formula for the Riemann integral.
We consider general formulations of the change of variable formula for the Riemann-Stieltjes integral, including the case when the substitution is not invertible.
In this paper, motivated by physical considerations, we introduce the notion of modified Riemann sums of Riemann-Stieltjes integrable functions, show that they converge, and compute them explicitely under various assumptions.
We present a new package Theta.jl for computing with the Riemann theta function. It is implemented in Julia and offers accurate numerical evaluation of theta functions with characteristics and their derivatives of arbitrary order. Our package is opti
mized for multiple evaluations of theta functions for the same Riemann matrix, in small dimensions. As an application, we report on experimental approaches to the Schottky problem in genus five.
The Kawazumi-Zhang invariant $varphi$ for compact genus-two Riemann surfaces was recently shown to be a eigenmode of the Laplacian on the Siegel upper half-plane, away from the separating degeneration divisor. Using this fact and the known behavior o
f $varphi$ in the non-separating degeneration limit, it is shown that $varphi$ is equal to the Theta lift of the unique (up to normalization) weak Jacobi form of weight $-2$. This identification provides the complete Fourier-Jacobi expansion of $varphi$ near the non-separating node, gives full control on the asymptotics of $varphi$ in the various degeneration limits, and provides a efficient numerical procedure to evaluate $varphi$ to arbitrary accuracy. It also reveals a mock-type holomorphic Siegel modular form of weight $-2$ underlying $varphi$. From the general relation between the Faltings invariant, the Kawazumi-Zhang invariant and the discriminant for hyperelliptic Riemann surfaces, a Theta lift representation for the Faltings invariant in genus two readily follows.