theory (physics), model (physics)
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
equality (definitional, propositional, computational, judgemental, extensional, intensional, decidable)
isomorphism, weak equivalence, homotopy equivalence, weak homotopy equivalence, equivalence in an (∞,1)-category
Examples.
The Schrödinger equation (named after Erwin Schrödinger) is the evolution equation of quantum mechanics in the Schrödinger picture. Its simplest version results from replacing the classical expressions in the nonrelativistic, mechanical equation for the energy of a pointparticle, by operators on a Hilbert space:
We start with a point particle with mass , impulse moving in the space with a given potential function , the energy of it is the sum of kinetic and potential energy:
Quantizing this equation means replacing the coordinate with the Hilbert space and
with the Planck constant and
the reduced Planck constant.
This results in the Schrödinger equation for a single particle in a potential:
The last term is the multiplication of the functions and .
The right hand side is called the Hamilton operator , the Schrödinger equation is therefore mostly stated in this form:
…
…
…
…
Any introductory textbook about quantum mechanics will explain the Schrödinger equation (from the viewpoint of physicists mostly).