Source-pinned research
Search theorem names, mathematical ideas, modules, topics, projects, and role-labelled researchers. Open a result for its complete indexed Lean declaration and source record.
This index contains 2,569 curated research declarations and 119,070 complete package declarations. Search 10,000 more complete Mathlib declarations.
Showing 847 to 852 of 2,569 results.
DeGiorgi.weakProblem_unique
Mathematical statement
Zero-boundary weak solutions are unique up to a.e. equality.
Source project: DeGiorgi
Person-level attribution pending.
DeGiorgi.weakProblemRHSOfField_eq_of_memH01
Mathematical statement
On H₀¹(Ω), the raw-function RHS agrees with the witness-dependent divergence-form functional.
Source project: DeGiorgi
Person-level attribution pending.
DeGiorgi.weakProblemRHSOfFieldAndDatum_bound
Mathematical statement
The shifted raw RHS is bounded on H₀¹(Ω) with respect to the L² gradient seminorm.
Source project: DeGiorgi
Person-level attribution pending.
DeGiorgi.weakProblemRHSOfFieldAndDatum_eq_of_memH01
Mathematical statement
On H₀¹(Ω), the shifted raw RHS agrees with the natural lifted functional.
Source project: DeGiorgi
Person-level attribution pending.
DeGiorgi.weakSolution_stability
Mathematical statement
Stability estimate for weak solutions.
Source project: DeGiorgi
Person-level attribution pending.
DeGiorgi.weighted_caccioppoli_absorb
Mathematical statement
Abstract absorption step for weighted Caccioppoli.
Source project: DeGiorgi
Person-level attribution pending.