equation 16.42 eq:calcvar-sl-from-isoperimetric

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on definition 16.75 Rayleigh quotient ¶
  • depends_on definition A.462 The weighted space and the energy space ¶
    • depends_on lemma A.463 Poincaré inequality; $B_{K}$ is an inner product ¶
      • depends_on lemma A.464 $H_{E}$ is a Hilbert space ¶
      • depends_on lemma A.466 The homogeneous Dirichlet problem is trivial ¶
        • depends_on definition A.467 Green function of the shifted problem ¶
        • depends_on theorem A.469 The Green operator inverts $L_{K}$ ¶
      • depends_on theorem A.469 The Green operator inverts $L_{K}$ ¶ ↺
  • depends_on proposition 28.38 Rayleigh's bound on the lowest frequency ¶
  • depends_on theorem A.461 Completeness in the weighted and in the energy norm ¶