OAI/Geometry/NodalSets/Spectral/
132 declarations, 0 contain sorry, 0 declared as axioms; 57 files
Files
- CompactEigenfamilyComplement.lean 2 declarations
- CompactEigenframeCardBound.lean 1 declarations
- CompactOperatorBounds.lean 4 declarations
- CompactPositiveInvariantMax.lean 1 declarations
- CompactPositiveMaxEigenvector.lean 1 declarations
- CorrugationAngularProjection.lean 1 declarations
- FiniteEigenframeCaptureLemmas.lean 3 declarations
- FiniteEigenframeMinMax.lean 3 declarations
- FiniteEigenframeSimplicity.lean 2 declarations
- FiniteVariationalEigenframe.lean 3 declarations
- IntrinsicEigenfunctionLinearity.lean 2 declarations
- LiftedEigenfunction.lean 3 declarations
- MetricProjectionBounds.lean 5 declarations
- MetricProjectionStability.lean 1 declarations
- NormalOrthonormalChart.lean 4 declarations
- OrthonormalMetricFrame.lean 1 declarations
- SphereDifferentiatedResolvent.lean 1 declarations
- SphereEigenAllFiniteWeakJets.lean 1 declarations
- SphereEigenClassicalEquation.lean 2 declarations
- SphereEigenDifferentiatedEquation.lean 1 declarations
- SphereEigenDirectRepresentative.lean 3 declarations
- SphereEigenForcingDerivativeBound.lean 2 declarations
- SphereEigenGlobalNormalization.lean 2 declarations
- SphereEigenGlobalRepresentative.lean 1 declarations
- SphereEigenHessianDifferenceBound.lean 1 declarations
- SphereEigenHessianLocalizedEnergy.lean 1 declarations
- SphereEigenInitialWeakJet.lean 1 declarations
- SphereEigenInteriorH3.lean 1 declarations
- SphereEigenInteriorH4.lean 1 declarations
- SphereEigenMatrixEquation.lean 1 declarations
- SphereEigenNeighborhoodPointwise.lean 1 declarations
- SphereEigenResolventForcing.lean 4 declarations
- SphereEigenSecondEquation.lean 1 declarations
- SphereEigenSecondForcingBound.lean 1 declarations
- SphereEigenSmoothQuantitative.lean 1 declarations
- SphereEigenSmoothRepresentative.lean 2 declarations
- SphereEigenSquareDifferenceTest.lean 1 declarations
- SphereEigenThirdDifferenceBound.lean 1 declarations
- SphereIndexedRayleigh.lean 7 declarations
- SphereIndexedSpectralCoverage.lean 2 declarations
- SphereInteriorResolventEquation.lean 1 declarations
- SphereOrthogonalEigenfunction.lean 2 declarations
- SphereRadialProjection.lean 5 declarations
- SphereRayleighComparison.lean 2 declarations
- SphereRayleighQuotient.lean 7 declarations
- SphereResolventDifferenceEquation.lean 2 declarations
- SphereResolventDistribution.lean 1 declarations
- SphereResolventFormBounds.lean 3 declarations
- SphereResolventInteriorH2.lean 1 declarations
- SphereResolventSpectrum.lean 4 declarations
- SphereResolventVariational.lean 2 declarations
- SphereSmoothFrameRayleigh.lean 2 declarations
- SphereSmoothResolventBridge.lean 2 declarations
- SphereVariationalResolvent.lean 3 declarations
- SphereWeakResolvent.lean 14 declarations
- SphericalSeedEigenfunction.lean 2 declarations
- TargetUniformProjection.lean 2 declarations