OAI/NumberTheory/CubicMoment/Theta/CubicThetaHeatMoments.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Arbitrary inverse-frequency decay of the nonzero heat modes. The order is chosen after the spectral parameter, without restricting the latter to its initial half-plane.

  1. lemma OAI.CubicFirstMoment.cubicTheta_inverse_heat_power_bound line 14
  2. lemma OAI.CubicFirstMoment.cubicThetaNonzeroHeat_integrable line 24
  3. lemma OAI.CubicFirstMoment.cubicThetaNonzeroHeat_norm_mass_power line 31
  4. theorem OAI.CubicFirstMoment.cubicThetaNonzeroHeat_mass_summable line 58