`EnergyFunctional`

definition

show as: view math explainer →

module: IndisputableMonolith.ClassicalBridge.Fluids.Discrete
domain: ClassicalBridge
line: 53 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.ClassicalBridge.Fluids.Discrete on GitHub at line 53.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

  50  step : NSParams → TimeStep → State → State
  51
  52/-- Optional energy functional on the discrete state (used for a priori bounds). -/
  53structure EnergyFunctional (D : DiscreteModel) where
  54  E : D.State → ℝ
  55
  56end Fluids
  57end ClassicalBridge
  58end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.