OAI/Analysis/Conductivity/Fourier/TorusSpectralContinuation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ScalarConductivity.torusSpectralSynthesis_coeff line 12
2. lemma OAI.ScalarConductivity.torusRealContinuation_spectral line 19
3. lemma OAI.ScalarConductivity.mFourierCoeff_Lp_add line 32
4. lemma OAI.ScalarConductivity.mFourierCoeff_Lp_neg line 36
5. lemma OAI.ScalarConductivity.torusPoissonContinuous_add line 40
6. lemma OAI.ScalarConductivity.torusPoissonContinuous_neg line 56
7. lemma OAI.ScalarConductivity.torusRealContinuation_add line 67
8. lemma OAI.ScalarConductivity.torusRealContinuation_neg line 74
9. lemma OAI.ScalarConductivity.torusRealContinuation_sub line 78