User:F=q(E+v^B)/Mathematical summary of physics

Please note this subpage will generally be incomplete and there will be mistakes. The current page needs a lot of work.

Physical laws are often summarized by a single equation, or at least a small set of equations, usually coupled. This article only summarizes the mathematical formalism of the current physical laws from a fundamental perspective.

Classical mechanics edit

Summary:

  1. Start from an appropriate physical law or principle, analyze the classical system and impose boundary and initial conditions,
  2. derive the equations of motion for the system,
  3. solve the equations to obtain functions describing the motion for all times,
  4. Naturally - symmetries and conservation laws are looked for. These occur in parallel.

Generalized dynamics edit

  1. Generalization of Galilean-Newtonian mechanics to a more rigourous, versatile and complete theory of classical mechanics,
  2. by introducing the new analytical procedure: generalized coordinates, virtual work, and constraints,
  3. leading to understand symmetry and conservation laws.
  4. It was the first development of modern theoretical physics,
  5. and has many roots into further refinements of physics even when classical mechanics itself was inconsistent with experiment.
  6. The reformulation is borderline between classical and quantum mechanics, and even optics, where analogous principles and simalar equations occur
  7. General relativity makes use of variational principles of action,
  8. Chaotic dynamical systems are analysed using concepts developed from generlized coordinate and momentum spaces.

Generalized quantities

Generalized coordinates:

  1. are the minimum number of coordinates, to completley define the configeration of the constituients of the system,
  2. choice is arbitary (governed only by conveience),
  3. based on lengths, angles, curves in any direction,

For each coordinate is a canonically conjugate generalized momentum, using the Lagranginan function (see below).

Quantity Definition
Coordinates  
Velocities  
Momenta  
Forces  

NB: while its an abuse of notation to write:

 

i.e. "divide by a vector", this actually a very conveient notation: it only means collecting a number the expressions

 

into one equation, the natural power and efficency of vector algebra.

Configuration space:

  1. The set/tuple of generalized coordinates:  .
  2. Physiaclly its the set of each object's position in space.
  3. At a more abstract mathematical level, the single vector q can be treated as an element of a vector space, for this purpose known as a configeration space of the system.

Lagrangian mechanics edit

The lagrangian formalism is perhaps the most efficient method in practice to solve for the motion of the system, i.e. where each constiutient of the system will be at time t.

Lagrangian function:

  1. The general form is  , i.e. "a function of the system's configeration", though also includes the rate at which the configeration changes, and time.
  2. Summarizes the dynamics of a system
  3. in terms of positions (generalized coordinates) corresponding to potential energies, and velocities (generalized) corresponding to potential and kinetic energies.

Lagrange's equations:

  1. Usually quoted as
     
  2. although the more symmetrical statement is by using the definition of generlized momentum, and observing the symmetry in the position of the dot:

     

  3. Symmetry in the equations: from definition of p, the transformation   obtains
     
    which are Lagrange's equations. Obviously reversing the change yeilds only the generalized momentum.

NB: People refer to one of Einstein's mass-energy equivalence  , field equations (see below) or Mandelbrot's   as "the simplest equation one could write down". There are no fundamental constants cluttering the Lagrange's equation only to be set equal to unity by suggestive natural units. The equation can be obtained from the definition of generalized momentum simply by changing the position of the dot from q to p, more symmetrical than Hamiltonians equations, which usually gain the attension of their antisymmetric appearance.

Lagrangian inveriance:

  1. In Lagrange's equations, since only the partial derivatives with respect to generalized coordinates and velocities are requried,
  2. adding the total time derivative of an arbitary function of the generalized coordinates and time describes the same motion:
 

which is analogous to gauge invariance of electromagnetic potentials (see below).

Constants of motion: If

 

then the Hamtilonian

 

and p is are constants of the motion (i..e conserved quantities).

Hamiltonian mechanics edit

Hamiltonian's formalism is usually less practical, but has deeper insights into classical mechanics than Lagrange's formalism.

  1. Hamiltonian function:  , analagous to the Lagrangian. The definition is (given above)
     
  2. Hamtilton's equations: can be derived from Lagrange's equations by a Legendre transformation of the Hamtilonian definition to p and q,

     

  3. Symmetry in the equations: by the transformation  , the equations are not changed,
     
     
  4. Phase space: The tuple  . A specific curve in the phase space is a phase path, the collection of all phase paths (solutions to the equations) is the phase portrait.
  5. Canonical transformations: The change of variables in Hamtilton's equations can be transformed to new, more conveient variables rendering Hamiltonian's equations easier to solve, at the same time in the same form. The expression for the Hamiltonian changes. This is done using generating functions, intuitivley the generating function "generates the transformation". Analagous to the Lagrangian, adding the time derivative of another function F to a Hamtiltonian describes the same motion:
     

Principle of stationary action edit

This is one of the most fundemental principles of all physics, it applies in Classical and Quantum mechanics, and General relativity. Like other laws which have profoundly simple equations, this can be written very simply indeed.

  1. Definition of Action functional:  

The principle of stationary action states the action is stationary to first order:

 

 

(1)

From this simple expression, all of classical mechanics can be derived.

Hamiltonian-Jacobi mechanics edit

The equation of which generating function is the simplist leads to the HJE, and it turns out a type-2 generating function is the action:

  1. Hamilton–Jacobi equation

 

where  .

It is a non-linear PDE, making it generally impossible to solve for S exactly, but in fact its not always required to explicitly find S as the problem can be solved for using information generated by the equation. This equation takes classical mechanics to its border, into QM. Many close analogies arise between the SE and HJE.

Statistical mechanics (SM) edit

Entropy is minimized for a fixed energy.

  1. Entropy defnition:  .
  2. The laws of thermodynamics:

 

Thermodynamics is a consequence of Statistical mechanics, which can be extended to quantum mechanics.

Electromagnetism edit

Summary edit

  1. Analyse the system, impose boundary conditions
  2. Use Maxwell's equations to solve for the electromagnetic field, two route to consider:
  3. Derive a wave equation for the EM field and solve to predict propagation of EM wave in spacetime, or
  4. Use the Lorentz-Heaviside force to obtain an equation of motion for the charge distribution, solve to predict the motion of the electric charges in the external electromagnetic field.

Formalism edit

Formulations of the EM field:in terms of

  1. the electric and magnetic fields:
    E and B (two vector fields), or
    • the EM field F (one tensor field), or
    • the EM field F (multi-vector)
  2. the potential fields:
    A and ϕ (seperatley vector and scalar fields), or
    • the 4-potential A (4-vector used in conjuction with F),
  3. each related to the sources
    J and ρ (seperatley vector and scalar fields), or
    • the 4-current J (4-vector).
    • the electric current J (multi-vector).

General relations:

 

The many formalisms are summarized below. These do not include magnetic monopoles (experimentally this is the case so far).

Formalism Maxwell's equations Lorentz force
Vector fields:

E and B fields, or
A and ϕ fields

   
   
Tensor fields    
Differential forms  
Geometric algebra  

Quantum mechanics (QM) edit

Postulates edit

Postulates in QM are analagous to the Newton's laws, treated as axioms. In some sense they are fundamental since they cannot be derived.

  1. State of a system completley described by the wavefunction \Psi.
  2. Amplitude corresponds to probability of particle in the state given state.
  3. Observables are mathematically operators.
  4. Wave equations describe the behaviour of the system, i.e. the solutions are \Psi.
  5. Quantize observables by replacing the classical poission bracket with a commutator.

Non-relativistic QM edit

Wave mechanics edit

Summary:

  1. Anylize the quantum system, impose boundary conditions
  2. Solve the wave equation for the wavefunction, using an approprite Hamiltonian operator
  3. The wavefunction describes the behaviour of the quantum state, use with other operators to find dynamical variables and to calculate probabiities and expectation values

Wave equation

The most general wave equation is

 

which originally arose from Shrodinger's equation. As relativistic equations were developed, such as the Dirac equation and Breit equation, they became more complicated but ultimatley it was the Hamiltonian operator which changed. Otehr wave equations in physics are 2nd order in space and time.

Duality and symmetry.

  1. De Broglie relations:

     

  2. Fourier transform symmetry, between momentum p and position r,
     

    though more natural to use k instead since factors of ħ are removed:

     

Matrix mechanics edit

  1. Heisenberg equation
  2. Matrix operator elements:  .

Quantum states edit

  1. Dirac representation: The wavefunction can be represented as an abstract vector in a vector space (a Hilbert space),
     

    where the descrete variable (spin) are summed and continuous variable (position) are integrated. Time is a parameter, no integration over the time coordinate is to be done. The addition and integration of all basis vectors (basis ket)   superimposes to form the state vector. Alternativley momentum p can replace r.

  2. Probability of the system in the state   is
     ,
    integrated over the region of interest and summed over the necerssary spin values. For normalization  .
  3. Overlap matrix/integral:
     
  4. Average/Expectation value of observable A:
     
    Note the case for the identity operator  , which reduces to the probability.

Observables, measurement, and uncertanty edit

Definitions edit

  1. Commutator of operators:  
  2. Poisson bracket:  

Formalism edit

  1. The general Uncertainty principle

     

  2. canonical commutation
     
  3. Quantum operators: The most fundamental operators are position, momentum, and spin. All the others can be derived from position and momentum, but spin can't be derived.
    Quantity Operator Eigenvalue
    Position   r
    Momentum   p
    Spin    
    Wavevector   k
    Angular momentum    
    Potential energy   V
    Kinetic energy   T
    Hamiltonian  
    Total energy   E
    Angular frequency   ω
    Total angular momentum    
  4. Canonical commutation and uncertainty relations: Intrinsic quantum phenomenon. It is impossible to know/measure the exact values of two quantities simaltaneously whose mathematical operators do not commuate.
    Quantities Commutation Uncertainty
    r, p    
    E, t N/A  
    L    
    S    
    σ   N/A
    J    

Relativistic quantum mechanics (RQM) edit

Feynman's path integral formulation edit

4-Operators edit

Relativity edit

Postulate edit

There is one simple, intuitive, but important, postulate of relativity. Again it cannot be derived.

The physical laws are the same for all observers.

Special relativity edit

Metrics in relativity edit

Various 4-vectors are below.

Metric Signature Representation
Minkowski (−+++)  
(+−−−)  
Example Example Example Example


Intrinsic definitons edit

  1. Rapidity ϕ
  2. Velocity ratio:  
  3. Lorentz factor:  
  4. The Velocity-addition formula is:
     
    where   (the componets of u are parallel and perpendicular to  ).

4-vectors edit

Various 4-vectors are below, using the Minkowski metric with signature (+−−−),

  1. indicies raised by  
  2. and lowered by  

The covariant vector components are given below; use the metric above to obtain contravariant vectors.

4-Quantity General definition Components using (+−−−) metric (leave for now)
4-position  
4-velocity    
4-acceleration    
4-momentum    
4-force    
Angular momentum    
4-current

 

EM 4-potential  
EM tensor    
Magnetization-polarization tensor  
electromagnetic displacement tensor    
Maxwell stress tensor    
Stress–energy tensor
Electromagnetic stress-energy tensor    
Riemann curvature tensor  
Ricci curvature tensor  
Einstein tensor  

The general definitions are frame-independent.

NB: The Maxwell stress tensor is not to be confused with the electromagnetic stress-energy tensor, the latter is a special case of the general Stress-energy tensor (as in Einstein's field equations, see below).

Useful invariant relations, also frame-independent equations and quantities:

Quantities Components Resultant Equation Invariant quantity
        Proper time  
       

reduces to definition of  

Luminal speed c
        Invariant mass m

Lorentz transformation (inertial frames) edit

  1. Transformation: For a boost in an arbitary direction (no rotations)
     
    Components are:
     
    in matrix representation:
     
    Most physical quantities are best described as (components of) tensors (also spinors). All physical 4-vetcors and tensors transform by the rule:
     
  2. Compositions of two transformations:
     ,
    including rotations U and V
     
    (cf Gyrovector space)

General relativity edit

Summary edit

  1. Analyze system and impose boundary conditions
  2. Solve Einsteins field equatios for the metric,
  3. Use the Geodesic equation and solve for the geodesic deviation to calculate the motion of masses in curved spacetime, equivalently the gravitational field.

Definitions edit

  1. Some derivative to be named:  .
  2. Any contravariant 4-vector  
  3. Tangent vector  
  4. Affine parameter λ.

Formalism edit

Formalism Einstein's field equations Geodesic equations
Tensor form   Geodesic equation

 

Geodesic deviation  :

 

Differential forms
Geometric algebra

References edit