(a b : ℕ → ℝ) (M alpha : ℝ) (Rc : ℕ → ℝ) {γ : ℂ} (hγ : γ.im ≠ 0) : ∃ (Dom : Submodule ℂ L2Nat) (A : Dom →ₗ[ℂ] L2Nat) (X : L2Nat →L[ℂ] L2Nat), IsSelfAdjointExtension (qgR2ModeHamiltonian a b M alpha...

Initializing...

(a b : ℕ → ℝ) (M alpha : ℝ) (Rc : ℕ → ℝ) {γ : ℂ} (hγ : γ.im ≠ 0) : ∃ (Dom : Submodule ℂ L2Nat) (A : Dom →ₗ[ℂ] L2Nat) (X : L2Nat →L[ℂ] L2Nat), IsSelfAdjointExtension (qgR2ModeHamiltonian a b M alpha... · Prove2Me