example 28.39 The linear triatomic molecule
open in the book ·
parts/03-classical-mechanics/11-oscillations-waves.tex:1297
· p. 959
- example -- no derivation owed by its kind
Rests on
-
depends_on
corollary 16.88
Momentum and angular momentum
¶
- depends_on equation 16.76 eq:calcvar-noether-charge ¶
-
depends_on
proposition 16.28
Cyclic coordinate
¶
- depends_on equation 16.20 eq:calcvar-euler-lagrange ¶
- proves proof ch:14-calculus-of-variations@proof-14 ¶
- proves proof ch:14-calculus-of-variations@proof-41 ¶
-
depends_on
theorem 28.33
Normal modes
¶
-
depends_on
equation 28.39
eq:osc-secular
¶
- step_from equation 28.37 eq:osc-small-forms ¶
-
depends_on
theorem 5.79
Spectral theorem for a self-adjoint operator
¶
-
depends_on
corollary 5.72
Existence of an eigenvalue over $\C$
¶
-
depends_on
theorem 8.19
Fundamental theorem of algebra
¶
- depends_on theorem 8.18 Liouville ¶
- proves proof ch:06-complex-analysis@proof-13 ¶
-
depends_on
theorem 5.71
The eigenvalues are the roots of the characteristic
polynomial
¶
- depends_on definition 5.70 Characteristic polynomial ¶
- depends_on definition 5.69 Eigenvector, eigenvalue, eigenspace ¶
- depends_on proposition 5.49 Injective, surjective, invertible ¶
- proves proof ch:03-linear-algebra-representations@proof-26 ¶
- proves proof ch:03-linear-algebra-representations@proof-27 ¶
-
depends_on
theorem 8.19
Fundamental theorem of algebra
¶
-
depends_on
definition 5.41
Adjoint
¶
-
depends_on
definition 5.18
Inner product
¶
- depends_on definition 4.33 Vector space ¶
-
depends_on
definition 5.37
Linear transformation
¶
- depends_on definition 4.33 Vector space ¶ ↺
-
depends_on
definition 5.18
Inner product
¶
-
depends_on
theorem 5.40
Rank–nullity
¶
-
depends_on
definition 5.15
Basis
¶
- depends_on definition 5.12 Subspace generated by a set of vectors ¶
- depends_on definition 5.14 Linear independence ¶
-
depends_on
definition 5.39
Kernel, image, nullity, rank
¶
- depends_on definition 5.37 Linear transformation ¶ ↺
- depends_on definition 5.7 Vector subspace ¶
- proves proof ch:03-linear-algebra-representations@proof-12 ¶
-
depends_on
lemma 5.38
Exchange and completion
¶
- depends_on definition 5.15 Basis ¶ ↺
- depends_on definition 5.12 Subspace generated by a set of vectors ¶ ↺
- depends_on definition 5.14 Linear independence ¶ ↺
- proves proof ch:03-linear-algebra-representations@proof-11 ¶
- proves proof ch:03-linear-algebra-representations@proof-13 ¶
-
depends_on
definition 5.15
Basis
¶
- proves proof ch:03-linear-algebra-representations@proof-31 ¶
-
depends_on
corollary 5.72
Existence of an eigenvalue over $\C$
¶
-
depends_on
theorem 5.116
Sylvester's law of inertia
¶
-
depends_on
definition 5.110
Bilinear map
¶
- depends_on definition 5.37 Linear transformation ¶ ↺
-
depends_on
definition 5.111
Symmetric and antisymmetric forms
¶
- depends_on definition 5.110 Bilinear map ¶ ↺
- depends_on equation 5.137 eq:lin-bilinear-matrix ¶
- depends_on equation 5.139 eq:lin-bilinear-congruence ¶
- proves proof ch:03-linear-algebra-representations@proof-53 ¶
-
depends_on
definition 5.110
Bilinear map
¶
- proves proof ch:11-oscillations-waves@proof-17 ¶
-
depends_on
equation 28.39
eq:osc-secular
¶
Supports
Nothing declares a dependency on this node yet.
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
→ | Momentum and angular momentum | declared | parts/03-classical-mechanics/11-oscillations-waves.tex:1331 |
depends_on |
→ | Normal modes | declared | parts/03-classical-mechanics/11-oscillations-waves.tex:1331 |