OAI/Probability/InvariantIsing/Fields/FieldAffineSecondDerivative.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Actual second covariance derivatives of every finite strict scalar recursion. All derivative data are constructed from the Gaussian integrals.

  1. lemma OAI.InvariantIsing.FieldSecondFamily.parameter_tangent_derivative line 18
  2. lemma OAI.InvariantIsing.FieldSecondFamily.parameter_mean_derivative line 25
  3. theorem OAI.InvariantIsing.fieldAffineValue_second_derivative line 34
  4. theorem OAI.InvariantIsing.fieldAffineValue_spatial_derivative_parameter_differentiable line 48