equation 16.60 eq:calcvar-dirichlet-integral

Rests on

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

Supports

• depends_on definition A.476 Disc-type surfaces and the two functionals ¶
  • depends_on definition A.481 Douglas' boundary functional ¶
    • depends_on definition A.486 The normalised admissible class ¶
    • depends_on lemma A.484 Lower semicontinuity of the Douglas functional ¶
    • depends_on theorem A.492 Douglas' conformality theorem; quoted ¶
    • depends_on theorem A.482 Douglas' identity ¶
  • depends_on lemma A.479 Conformal invariance of the Dirichlet integral ¶
    • depends_on lemma A.487 The normalisation costs nothing ¶
      • depends_on theorem A.492 Douglas' conformality theorem; quoted ¶ ↺
    • depends_on lemma A.485 Conformal automorphisms of the disc ¶
      • depends_on definition A.486 The normalised admissible class ¶ ↺
      • depends_on lemma A.487 The normalisation costs nothing ¶ ↺
  • depends_on lemma A.489 Courant–Lebesgue ¶
    • depends_on theorem A.490 Equicontinuity of the normalised class ¶
  • depends_on proposition A.478 $D\ge A$, with equality exactly for conformal maps ¶