equation A.764 eq:app-sl-completeness-operator

open in the book · appendices/A-long-proofs.tex:22766

Rests on

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

Supports

Neighborhood

Every logical edge within two steps of this node.

equation A.764: eq:app-sl-completeness-operatorA.764lemma A.466: The homogeneous Dirichlet problem is trivialA.466lemma A.463: Poincaré inequality; B_K is an inner productA.463definition A.467: Green function of the shifted problemA.467theorem A.469: The Green operator inverts L_KA.469proof : app:A-long-proofs@proof-276proof

Edges

typedirectionnode provenancewhere
depends_on The homogeneous Dirichlet problem is trivial declared appendices/A-long-proofs.tex:22932