III.P09 — Discrete Spectrum of H_L

The spectrum of H_L is discrete: {λ_n}_{n≥0} with λ_n → ∞. Compact resolvent follows from L being a compact metric graph. Eigenfunctions are explicit sinusoidal modes on each lobe, matched at the crossing point.