Main Page: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
mNo edit summary
mNo edit summary
Line 1: Line 1:
A '''bond graph''' is a [[Graph (mathematics)|graphical representation]] of a physical [[dynamical system|dynamic system]]. It is similar to the better known [[block diagram]] and [[signal-flow graph]], with the major difference that the arcs in bond graphs represent [[Undirected graph|bi-directional]] exchange of physical [[energy]], while those in block diagrams and signal-flow graphs represent [[Directed graph|uni-directional]] flow of information. Also, bond graphs are multi domain and domain neutral. This means a bond graph can incorporate multiple domains seamlessly.
{{quantum mechanics}}


The Bond Graph is composed of the "bonds" which link together "single port", "double port" and "multi port" elements (see below for details). Each bond represents the instantaneous flow of energy (dE/dt) or power. The flow in each bond is denoted a pair of variables called 'power variables' whose product is the instantaneous power of the bond. For example, the bond of an electrical system would represent the flow of electrical energy and the power variables would be voltage and current, whose product is power. Each domain's power variables are broken into two types: "effort" and "flow". Effort multiplied by flow produces power, thus the term power variables. Every domain has a pair of power variables with a corresponding effort and flow variable. Examples of effort include force, torque, voltage, or pressure; while flow examples include velocity, current, and volumetric flow. The table below contains the most common energy domains and the corresponding "effort" and "flow".
In [[quantum mechanics]], the '''angular momentum operator''' is one of several related [[operator (mathematics)|operators]] analogous to classical [[angular momentum]]. The angular momentum operator plays a central role in the theory of [[atomic physics]] and other quantum problems involving [[rotational symmetry]]. In both classical and quantum mechanical systems, angular momentum (together with linear momentum and energy) is one of the three fundamental properties of motion.<ref name="Liboff">Introductory Quantum Mechanics, [[Richard L. Liboff]], 2nd Edition, ISBN 0-201-54715-5</ref>


A bond has two other features described briefly here, and discussed in more detail below. One is the "half-arrow" sign convention. This defines the assumed direction of positive energy flow. As with electrical circuit diagrams and free-body diagrams, the choice of positive direction is arbitrary, with the caveat that the analyst must be consistent throughout with the chosen definition. The other feature is the "causal stroke". This is a vertical bar placed on only one end of the bond. It is not arbitrary. As described below, there are rules for assigning the proper causality to a given port, and rules for the precedence among ports. Any port (single, double or multi) attached to the bond shall specify either "effort" or "flow" by its causal stroke, but not both. The port attached to the end of the bond with the "causal stroke" specifies the "flow" of the bond. And the bond imposes "effort" upon that port. Equivalently, the port on the end without the "causal stroke" imposes "effort" to the bond, while the bond imposes "flow" to that port. This is made more clear with the illustrative examples below.
There are several angular momentum operators: '''total angular momentum''' (usually denoted '''J'''), '''orbital angular momentum''' (usually denoted '''L'''), and '''spin angular momentum''' ('''spin''' for short, usually denoted '''S'''). The term "angular momentum operator" can (confusingly) refer to either the total or the orbital angular momentum. Total angular momentum is always [[conservation of angular momentum|conserved]], see [[Noether's theorem]].


{| class="wikitable"
==Spin, orbital, and total angular momentum==
|-
{{main|Spin (physics)}}
! Energy Domain
[[File:LS coupling.svg|250px|thumb|"Vector cones" of total angular momentum '''J''' (purple), orbital '''L''' (blue), and spin '''S''' (green). The cones arise due to [[quantum uncertainty]] between measuring angular momentum components ([[#Visual interpretation|see below]]).]]
! effort
! e symbol
! e unit (metric)
! e unit (imperial)
! flow
! f symbol
! f unit (metric)
! f unit (imperial)
|-
| Mechanical, translation
| Force
| F
| N
| lb
| Linear velocity
| v
| m/s
| ft/s, mph
|-
| Mechanical, rotation
| Torque
| τ
| N·m
| ft·lb
| Angular velocity
| ω
| rad/s
| rad/s
|-
| Electrical
| Electromotive force
| V or u
| V
| V
| Current
| I or i
| A
| A
|-
| Magnetic <ref>Karnopp, D. C., Rosenberg, R. C. and Margolis, D. L., 1990: ''System dynamics: a unified approach'', Wiley, ISBN 0-471-62171-4.</ref>
| Magnetomotive force
|
|
|
| Flux rate
|
|
|
|-
| Hydraulic
| Pressure
| P
| Pa
| psi
| Volumetric flow rate
| Q
| m³/s
| ft³/s
|-
| Thermal
| temperature
| T
| °C or K
| °F
| entropy flow rate
| S
| W/°C
| ft·lb/s·°F
|}


If the dynamics of the physical system to be modeled operate on widely varying time scales, fast continuous-time behaviors can be modeled as instantaneous phenomena by using a [[hybrid bond graph]].
The [[angular momentum|classical definition of angular momentum]] is <math>\mathbf{L}=\mathbf{r}\times\mathbf{p}</math>. This can be carried over to quantum mechanics, by reinterpreting '''r''' as the quantum [[position operator]] and '''p''' as the quantum [[momentum operator]]. '''L''' is then an [[Operator (physics)|operator]], specifically called the ''orbital angular momentum operator''. Specifically, '''L''' is a ''vector operator'', meaning <math>\mathbf{L}=(L_x,L_y,L_z)</math>, where ''L''<sub>x</sub>, ''L''<sub>y</sub>, ''L''<sub>z</sub> are three different operators.


==History==
However, there is another type of angular momentum, called [[spin (physics)|''spin angular momentum'']] (more often shortened to ''spin''), represented by the spin operator '''S'''. Almost all [[elementary particle]]s have spin. Spin is often depicted as a particle literally spinning around an axis, but this is a misleading and inaccurate picture: Spin is an intrinsic property of a particle, unrelated to any sort of motion in space. All [[elementary particles]] have a characteristic spin, for example [[electron]]s always have "spin 1/2" while [[photon]]s always have "spin 1".
The Bond Graph was invented by [[Henry Paynter]].<ref>{{cite book |author=Paynter, Henry M. |title=Analysis and Design of Engineering Systems |publisher= The M.I.T. Press |ISBN= 0-262-16004-8}}</ref> The term "Bond Graph" comes from the fact that many of these graphs look like the bonds in chemistry; an example of this structure is shown in the 'examples' section of this wiki.<ref>{{cite book |author=Karnopp, Dean C. |title=System Dynamics- Modeling and Simulation of Mechetronic Systems |publisher= John Wiley and Sons Inc. |ISBN= 0-471-70965-4}}</ref>


==Basics==
Finally, there is [[total angular momentum]] '''J''', which combines both the spin and orbital angular momentum of a particle or system:
The fundamental idea of a bond graph is that [[Power (physics)|power]] is transmitted between connected components by a combination of "effort" and "flow" (generalized effort & generalized flow). Refer to the table above for examples of effort and flow in different domains. If an engine is connected to a wheel through a shaft, the power is being transmitted in the rotational mechanical domain, meaning the effort and the flow are torque (τ) and angular velocity (ω) respectively. A word bond graph is a first step towards a bond graph, in which words define the components. As a word bond graph, this system would look like:
:<math>\mathbf{J}=\mathbf{L}+\mathbf{S}.</math>
[[Conservation of angular momentum]] states that '''J''' for a closed system, or '''J''' for the whole universe, is conserved. However, '''L''' and '''S''' are ''not'' generally conserved. For example, the [[spin–orbit interaction]] allows angular momentum to transfer back and forth between '''L''' and '''S''', with the total '''J''' remaining constant.


==Orbital angular momentum operator==
Orbital angular momentum '''L''' is mathematically defined as the [[cross product]] of a wave function's [[position operator]] ('''r''') and [[momentum operator]] ('''p'''):


<math>{\text{engine}}\;\overset{\textstyle\tau}{\underset{\textstyle\omega}{-\!\!\!-\!\!\!-\!\!\!-\!\!\!-}}\;\text{wheel}</math>
:<math>\mathbf{L}=\mathbf{r}\times\mathbf{p}</math>
<!--
            τ
engine ---------- wheel
            ω
-->


This is analogous to the definition of [[angular momentum]] in classical physics.


A half-arrow is used to provide a sign convention, so if the engine is doing work when τ and ω are positive, then the diagram would be drawn:
In the special case of a single particle with no [[electric charge]] and no [[spin (physics)|spin]], the angular momentum operator can be written in the position basis as a single vector equation:


:<math>\mathbf{L}=-i\hbar(\mathbf{r}\times\nabla)</math>


<math>{\text{engine}}\;\overset{\textstyle\tau}{\underset{\textstyle\omega}{-\!\!\!-\!\!\!-\!\!\!\rightharpoondown}}\;\text{wheel}</math>
where ∇ is the vector differential operator, [[del]].
<!--
            τ
engine ---------- wheel
            ω    /
-->


==Commutation relations==


A full arrow is used to indicate a measurement, and are referred to as signal bonds, because the amount of power flowing through the bond is insignificant. However, it may be useful to certain physical components. For example, the power required to activate a relay is orders of magnitude smaller than the power through the relay itself; making it relevant only to convey whether the switch is on, not the power consumed by it.
===Commutation relations between components===
The orbital angular momentum operator is a vector operator, meaning it can be written in terms of its vector components <math>\mathbf{L}=(L_x,L_y,L_z)</math>. The components have the following [[commutation relation]]s with each other:<ref>{{cite book|url=http://books.google.com/books?id=dRsvmTFpB3wC&pg=PA171|title= Quantum Mechanics|first=G. |last=Aruldhas|page=171|chapter= formula (8.8)|isbn=978-81-203-1962-2|date=2004-02-01}}</ref>
:<math>[L_x,L_y]=i\hbar L_z, \;\; [L_y,L_z]=i\hbar L_x, \;\; [L_z,L_x]=i\hbar L_y</math>
or in symbols,
:<math>[L_l, L_m ] = i \hbar \varepsilon_{lmn} L_n</math>,
where ''ε<sub>lmn</sub>'' denotes the [[Levi-Civita symbol]], and ''l,m,n'' are Cartesian coordinates (each can be ''x'', ''y'' or ''z''), and [, ] is the [[commutator]]
:<math>[X,Y] \equiv XY-YX</math>.
These can be proved as a direct consequence of the [[canonical commutation relation]]s <math>[x_l,p_m]=i \hbar \delta_{lm}</math>, where ''δ<sub>lm</sub>'' is the [[Kronecker delta]].


There is an analogous relationship to the commutator in classical physics which is central to the theory of canonical transformations of [[Hamilton's equations]] of motion:<ref>H. Goldstein, C. P. Poole and J. Safko, ''Classical Mechanics, 3rd Edition'', Addison-Wesley 2002, pp. 388 &#64256;.</ref>
:<math>[u, v]_{q,p} = \frac{\partial u}{\partial q_i} \frac{\partial v}{\partial p_i} - \frac{\partial u}{\partial p_i} \frac{\partial v}{\partial q_i}\!</math>
(summation over generalized coordinate index i implied) where, in this bilinear expression, <math>[u, v]_{q,p}</math> is the [[Poisson bracket]] of two functions <math>u, v</math> with respect to the canonical (generalized) coordinates <math>(p,q)</math>.  "... identification of the canonical angular momentum as the generator of rigid rotation of [a system of particles] leads to a number of interesting and important Poisson bracket relations."<ref>Idem, pp. 408-411.</ref>  Among these are:
:<math>[L_l, L_m ] = \varepsilon_{lmn} L_n. \!</math>
Here, <math>L_z</math>, for example, is a transformation generated by the generalized momentum conjugate to <math>q_i</math>:
:<math>L_z(q, p) = p_i</math>.
It can be shown<ref>Idem, p. 404.</ref> (using Cartesian coordinates x, y and z for each particle i in the system) that
:<math>L_z = x_ip_{iy} - y_ip_{ix}</math>.
This generating function <math>L_z</math> has the physical significance of being the ''z''-component of the total angular momentum:
:<math>L_z \ \equiv \ (r_i \ \times \ p_i)_z</math>.
It is important to recognize that the Poisson bracket is an analogue, not the commutator in disguise.  Hamilton's equations do not generalize to quantum mechanics because they assume that the position and momentum of a particle can be known simultaneously to infinite precision at any point in time.  See the section "Generalization to quantum mechanics through Poisson bracket" in the article on [[Hamiltonian mechanics]] for details and additional references.


<math>{\text{wheel}}\;\overset{\textstyle}{\underset{\textstyle\omega}{-\!\!\!-\!\!\!-\!\!\!\rightarrow}}\;\text{tachometer}</math>
The same commutation relations apply for the other angular momentum operators (spin and total angular momentum):<ref name=littlejohn/>
:<math>[S_l, S_m ] = i \hbar \sum_{n=1}^{3} \varepsilon_{lmn} S_n, \quad [J_l, J_m ] = i \hbar \sum_{n=1}^{3} \varepsilon_{lmn} J_n</math>.
These can be ''assumed'' to hold in analogy with '''L'''. Alternatively, they can be ''derived'' as discussed [[#Connection to commutation relations|below]].


These commutation relations mean that '''L''' has the mathematical structure of a [[Lie algebra]]. In this case, the Lie algebra is [[SU(2)]] or [[SO(3)]], the rotation group in three dimensions. The same is true of '''J''' and '''S'''. The reason is discussed [[#Total angular momentum as a generator of rotations|below]].


<!--
These commutation relations are relevant for measurement and uncertainty, as discussed further below.
                \
wheel ---------- tachometer
          ω    /
-->


==Junctions==
===Commutation relations involving vector magnitude===
Power bonds may join at one of two kinds of junctions: a '''0 junction''' and a '''1 junction'''.
Like any vector, a [[Euclidean norm|magnitude]] can be defined for the orbital angular momentum operator,
* In a 0 junction, the flow sums to zero and the efforts are equal. This corresponds to a node in an electrical circuit (where [[Kirchhoff's current law]] applies), or to a mechanical "stack" in which all the forces are equal.
:<math>L^2 \equiv L_x^2 + L_y^2 + L_z^2</math> .
* In a 1 junction, the efforts sum to zero and the flows are equal. This corresponds to an electrical loop, or to a [[force]] balance at a mass in a mechanical system.
'''''L'''''<sup>2</sup> is another quantum [[operator (mathematics)|operator]]. It commutes with the components of '''''L''''',
:<math>[L^2,L_x] = [L^2,L_y] = [L^2,L_z] = 0~.\,</math>


For an example of a 1 junction, consider a resistor in series:
One way to prove that these operators commute is to start from the [''L''<sub>ℓ</sub>, ''L''<sub>''m''</sub>] commutation relations in the previous section:


:{| class="toccolours collapsible collapsed" width="80%" style="text-align:left"
!Click [show] on the right to see a proof of [''L''<sup>2</sup>, ''L''<sub>x</sub>] = 0, starting from the [''L''<sub>ℓ</sub>, ''L''<sub>''m''</sub>] commutation relations<ref>{{cite book | author=Griffiths, David J. | title=Introduction to Quantum Mechanics | publisher=[[Prentice Hall]] | year=1995 | page=146}}</ref>
|-
|<math>[L^2, L_x] = (L_x^2 + L_y^2 + L_z^2)L_x - L_x (L_x^2 + L_y^2 + L_z^2) </math>
:::<math> = L_y(L_y L_x - L_x L_y) + (L_y L_x - L_x L_y) L_y + L_z(L_z L_x - L_x L_z) + (L_z L_x - L_x L_z)L_z </math>
:::<math> = L_y [L_y, L_x] + [L_y, L_x] L_y + L_z [L_z, L_x] + [L_z, L_x] L_z </math>
:::<math> = L_y (-i \hbar L_z) + (-i \hbar L_z) L_y + L_z (i \hbar L_y) + (i \hbar L_y) L_z </math>
:::<math> = 0 </math>
|}


<math>\frac{v_1\qquad}{i_1 \qquad}\overset{\textstyle R}{\!\!\and\!\!\and\!\!\and\!}\frac{\qquad v_2}{\qquad i_2=i_1}</math>
Mathematically,  '''''L'''''<sup>2</sup> is a [[Casimir invariant]] of the [[Lie algebra]] SO(3) spanned by '''''L'''''.
<!--
v1 ---\/\/\/\---v2
i1      R      i2=i1
-->


In the classical case, '''''L''''' is the orbital angular momentum of the entire system of particles, '''''n''''' is the unit vector along one of the Cartesian axes and we also have Poisson pseudo-commutation of '''''L''''' with each of its Cartesian components:<ref>Goldstein et al, p. 410</ref>
:<math>[\mathbf L \cdot \mathbf L, \mathbf L \cdot \mathbf n] = [L^2, \mathbf L \cdot \mathbf n] = 0</math>


In this case, the flow (current) is constrained to be the same at all points, and when the implied current return path is included the efforts sum to zero. Power can be computed at points 1 and 2, and in general some power will be dissipated in the resistor. As a bond graph, this becomes
with <math> \mathbf n </math> selecting one of the Cartesian components of <math> \mathbf L </math>.  


The same commutation relations apply for the other angular momentum operators (spin and total angular momentum):
:<math>[S^2,S_i]=0, \quad [J^2,J_i]=0</math> .


<math>\overset{\textstyle v_1}{\underset{\textstyle i_1}{-\!\!\!-\!\!\!-\!\!\!\rightharpoondown}}
===Uncertainty principle===
\stackrel{\textstyle\stackrel{\textstyle R}{\upharpoonright}}{1}
{{main|Uncertainty principle|Uncertainty principle derivations}}
\overset{\textstyle v_2}{\underset{\textstyle i_2}{-\!\!\!-\!\!\!-\!\!\!\rightharpoondown}}
In general, in quantum mechanics, when two [[observable|observable operators]] do not commute, they are called ''incompatible observables''. Two incompatible observables cannot be measured simultaneously; instead they satisfy an [[uncertainty principle]]. The more accurately one observable is known, the less accurately the other one can be known. Just as there is an uncertainty principle relating position and momentum, there are uncertainty principles for angular momentum.
</math>
<!--
        R
        |\
  v1  |   v2
------ 1 ------
  i1 /    i2 /
-->


The [[uncertainty principle|Robertson–Schrödinger relation]] gives the following uncertainty principle:
:<math>\sigma_{L_x} \sigma_{L_y} \geq \frac{\hbar}{2} \left| \langle L_z \rangle \right|.</math>
where <math>\sigma_X</math> is the [[standard deviation]] in the measured values of ''X'' and <math>\langle X \rangle</math> denotes the [[Expectation value (quantum mechanics)|expectation value]] of ''X''. This inequality is also true if ''x,y,z'' are rearranged, or if ''L'' is replaced by ''J'' or ''S''.


From an electrical point of view, this diagram may seem counterintuitive in that flow is not preserved in the same way across the diagram. It may be helpful to consider the 1 junction as [[daisy chain (electrical engineering)|daisy chain]]ing the bonds it connects to and power bond up to the ''R'' as a resistor with a lead returning back down.
Therefore, two orthogonal components of angular momentum cannot be simultaneously known or measured, except in special cases such as <math>L_x=L_y=L_z=0</math>.
<!-- ... , so the above is equivalent to
        R
    +\/\/\+
      \  /
      | |
  v1  | |  v2
------+ +------
  i1      i2
-->


Regardless of the problem domain, bond graph modeling typically proceeds from the identification of key 1 and 0 junctions associated with identifiable efforts and flows in the system, then identifying the dissipative (''R'') and storage elements (''I'' and ''C''), power sources, and drawing bonds wherever power or information flow between the sources, junctions, and storage/dissipative components. Then sign conventions (arrow heads), and causality are assigned, and finally equations describing the behavior of the system can be derived using the graph as a kind of guide or map.
It is, however, possible to simultaneously measure or specify ''L''<sup>2</sup> and any one component of ''L''; for example, ''L''<sup>2</sup> and ''L''<sub>z</sub>. This is often useful, and the values are characterized by [[azimuthal quantum number]] and [[magnetic quantum number]], as discussed further below.


=== Causality ===
==Quantization==
Bond graphs have a notion of causality, indicating which side of a bond determines the instantaneous effort and which determines the instantaneous flow. In formulating the dynamic equations that describe the system, causality defines, for each modeling element, which variable is dependent and which is independent. By propagating the causation graphically from one modeling element to the other, analysis of large-scale models becomes easier. Completing causal assignment in a bond graph model will allow the detection of modeling situation where an algebraic loop exists; that is the situation when a variable is defined recursively as a function of itself.
{{see also|Azimuthal quantum number|Magnetic quantum number}}
In [[quantum mechanics]], angular momentum is ''quantized'' – that is, it cannot vary continuously, but only in "quantum leaps" between certain allowed values. For any system, the following restrictions on measurement results apply, where <math>\hbar</math> is [[reduced Planck constant]]:
{| class="wikitable"
|-
!If you [[measurement in quantum mechanics|measure]]...
!...the result can be...
!Notes
|-
|''L''<sub>z</sub>
|<math>(\hbar m)</math>, where <math>m\in\{\ldots, -2, -1, 0, 1, 2, \ldots\}</math>
|''m'' is sometimes called "[[magnetic quantum number]]".<br />This same quantization rule holds for any component of '''L''', e.g. ''L''<sub>x</sub> or ''L''<sub>y</sub>.<br /> This rule is sometimes called '''spatial quantization'''.<ref>I''ntroduction to quantum mechanics: with applications to chemistry'', by Linus Pauling, Edgar Bright Wilson, page 45, [http://books.google.com/books?id=D48aGQTkfLgC&pg=PA45&dq=spatial+quantization google books link]</ref>
|-
|''S''<sub>z</sub> or ''J''<sub>z</sub>
|<math>(\hbar m)</math>, where <math>m\in\{\ldots, -1, -0.5, 0, 0.5, 1, 1.5, \ldots\}</math>
|For ''S''<sub>z</sub>, ''m'' is sometimes called "[[spin quantum number|spin projection quantum number]]".<br /> For ''J''<sub>z</sub>, ''m'' is sometimes called "[[Azimuthal quantum number#Total angular momentum of an electron in the atom|total angular momentum projection quantum number]]".<br />This same quantization rule holds for any component of '''S''' or '''J''', e.g. ''S''<sub>x</sub> or ''J''<sub>y</sub>.
|-
|<math>L^2</math>
|<math>(\hbar^2 \ell (\ell+1))</math>, where <math>\ell \in \{0,1,2,\ldots\}</math>
|''L''<sup>2</sup> is defined by <math>L^2 \equiv L_x^2 +L_y^2 + L_z^2</math>.<br /><math>\ell</math> is sometimes called "[[azimuthal quantum number]]" or "orbital quantum number".
|-
|<math>S^2</math>
|<math>(\hbar^2 s(s+1))</math>, where <math>s \in \{ 0,0.5,1,1.5, \ldots \}</math>
|''s'' is called [[spin quantum number]] or just "spin". For example, a [[spin-½|spin-½ particle]] is a particle where ''s''=½.
|-
|<math>J^2</math>
|<math>(\hbar^2 j(j+1))</math>, where <math>j \in \{ 0,0.5,1,1.5, \ldots \} </math>
|''j'' is sometimes called "[[Azimuthal quantum number#Total angular momentum of an electron in the atom|total angular momentum quantum number]]".
|-
|<math>L^2</math> and <math>L_z</math><br />simultaneously
|<math>(\hbar^2 \ell(\ell+1))</math> for <math>L^2</math>, and <math>(\hbar m_\ell)</math> for <math>L_z</math><br />where <math>\ell \in \{ 0,1,2,\ldots \}</math> and <br /><math>m_\ell \in \{ -\ell, (-\ell+1), \ldots, (\ell-1),\ell \}</math>
|(See above for terminology.)
|-
|<math>S^2</math> and <math>S_z</math><br />simultaneously
|<math>(\hbar^2 s(s+1))</math> for <math>S^2</math>, and <math>(\hbar m_s)</math> for <math>S_z</math><br />where <math>s \in \{0,0.5,1,1.5,\ldots\}</math> and<br /><math>m_s \in \{ -s, (-s+1), \ldots, (s-1),s\}</math>
|(See above for terminology.)
|-
|<math>J^2</math> and <math>J_z</math><br />simultaneously
|<math>(\hbar^2 j(j+1))</math> for <math>J^2</math>, and <math>(\hbar m_j)</math> for <math>J_z</math><br />where <math>j \in \{ 0,0.5,1,1.5,\ldots \}</math> and <br /><math>m_j \in \{ -j, (-j+1), \ldots, (j-1),j \}</math>
|(See above for terminology.)
|}
[[File:Circular Standing Wave.gif|thumb|right|In this [[standing wave]] on a circular string, the circle is broken into exactly 8 [[wavelength]]s. A standing wave like this can have 0,1,2, or any integer number of wavelengths around the circle, but it ''cannot'' have a non-integer number of wavelengths like 8.3. In quantum mechanics, angular momentum is quantized for a similar reason.]]


As an example of causality, consider a capacitor in series with a battery. It is not physically possible to charge a capacitor instantly, so anything connected in parallel with a capacitor will necessarily have the same voltage (effort variable) as the capacitor. Similarly, an inductor cannot change flux instantly and so any component in series with an inductor will necessarily have the same flow as the inductor. Because capacitors and inductors are passive devices, they cannot maintain their respective voltage and flow indefinitely&mdash;the components to which they are attached will affect their respective voltage and flow, but only indirectly by affecting their current and voltage respectively.
===Derivation using ladder operators===
{{main|Ladder operator#Angular momentum}}
A common way to derive the quantization rules above is the method of ''[[ladder operator]]s''.<ref name=Griffithsladder>{{cite book | author=Griffiths, David J. | title=Introduction to Quantum Mechanics | publisher=[[Prentice Hall]] | year=1995 | pages=147–149}}</ref> The ladder operators are defined:
:<math>J_+ \equiv J_x + i J_y, \quad J_- \equiv J_x - i J_y</math>
Suppose a state <math>| \psi \rangle</math> is a state in the simultaneous eigenbasis of <math>J^2</math> and <math>J_z</math> (i.e., a state with a single, definite value of <math>J^2</math> and a single, definite value of <math>J_z</math>). Then using the commutation relations, one can prove that <math>J_+|\psi\rangle</math> and <math>J_-|\psi\rangle</math> are ''also'' in the simultaneous eigenbasis, with the same value of <math>J^2</math>, but where <math>J_z |\psi\rangle</math> is increased or decreased by <math>\hbar</math>, respectively. (It is also possible that one or both of these vectors is the zero vector.) (For a proof, see [[ladder operator#angular momentum]].)


Note: Causality is a symmetric relationship. When one side "causes" effort, the other side "causes" flow.
By manipulating these ladder operators and using the commutation rules, it is possible to prove almost all of the quantization rules above.


Active components such as an ideal voltage or current source are also causal.
{| class="toccolours collapsible collapsed" width="75%" style="text-align:left"
!Click [show] on the right to see more details in the ladder-operator proof of the quantization rules<ref name=Griffithsladder/>
|-
|Before starting the main proof, we will note a useful fact: That <math>J_x^2,J_y^2,J_z^2</math> are [[positive-semidefinite matrix|positive-semidefinite operator]]s, meaning that all their eigenvalues are nonnegative. That also implies that the same is true for their sums, including <math>J^2 = J_x^2 + J_y^2 + J_z^2</math> and <math>(J^2 - J_z^2) = (J_x^2 + J_y^2)</math>. The reason is because the square of ''any'' [[Hermitian operator]] is always positive semidefinite. (A Hermitian operator has real eigenvalues, so the squares of those eigenvalues are nonnegative.)


In bond graph notation, a '''causal stroke''' may be added to one end of the power bond to indicate that the opposite end is defining the effort. Consider a constant-torque motor driving a wheel, i.e. a source of effort (''SE''). That would be drawn as follows:
As above, assume that a state <math>| \psi \rangle</math> is a state in the simultaneous eigenbasis of <math>J^2</math> and <math>J_z</math>. Its eigenvalue with respect to <math>J^2</math> can be written in the form <math>\hbar^2 j (j+1)</math> for some real number ''j'' > 0 (because as mentioned in the previous paragraph, <math>J^2</math> has nonnegative eigenvalues), and its eigenvalue with respect to <math>J_z</math> can be written <math>\hbar m</math> for some real number ''m''. Instead of <math>| \psi \rangle</math> we will use the more descriptive notation <math>|\psi \rangle = | j,m \rangle</math>.


Next, consider the sequence ("ladder") of states
:<math>\{\ldots \; , \; J_- J_- | j,m \rangle \; , \; J_- | j,m \rangle \; , \; | j,m \rangle \; , \; J_+ | j,m \rangle \; , \; J_+ J_+ | j,m \rangle \; , \; \ldots \} </math>
Some entries in this infinite sequence may be the [[zero vector]] (as we will see). However, as described above, all the nonzero entries have the same value of <math>J^2</math>, and among the nonzero entries, each entry has a value of <math>J_z</math> which is exactly <math>\hbar</math> more than the previous entry.


<math>\begin{array}[b]{r}\text{motor}\\SE\end{array}\;
In this ladder, there can only be a finite number of nonzero entries, with infinite copies of the zero vector on the left and right. The reason is, as mentioned above, <math>(J^2 - J_z^2)</math> is positive-semidefinite, so if any quantum state is an eigenvector of both <math>J^2</math> and <math>J_z^2</math>, the former eigenvalue is larger. The states in the ladder all have the same <math>J^2</math> eigenvalue, but going very far to the left or the right, the <math>J_z^2</math> eigenvalue gets larger and larger. The only possible resolution is, as mentioned, that there are only finitely many nonzero entries in the ladder.
\overset{\textstyle\tau}{\underset{\textstyle\omega}{-\!\!\!-\!\!\!-\!\!\!\rightharpoonup\!\!\!|}}\;\text{wheel}</math>
<!--


  motor      τ    \|
Now, consider the last nonzero entry to the right of the ladder, <math>|j,m_{max} \rangle</math>. This state has the property that <math>J_+ |j,m_{max}\rangle = 0</math>. As proven in the [[ladder operator]] article,
      SE  ----------| wheel
:<math>J_+ |j,m \rangle = \hbar \sqrt{j(j+1) - m(m+1)}|j,m+1\rangle</math>
              ω    |
If this is zero, then <math>j(j+1) = m_{max}(m_{max}+1)</math>, so <math>j=m</math> or <math>j = -m - 1</math>. However, because <math>J^2 - J_z^2</math> is positive-semidefinite, <math>\hbar^2 j(j+1) \geq (\hbar m)^2</math>, which means that the only possibility is <math>m_{max} = j</math>.
-->


Similarly, consider the first nonzero entry on the left of the ladder, <math>|j, m_{min}\rangle</math>. This state has the property that
<math>J_- |j,m_{min}\rangle = 0</math>. As proven in the [[ladder operator]] article,
:<math>J_- |j,m\rangle = \hbar \sqrt{j(j+1) - m(m-1)} |j,m-1\rangle</math>
As above, the only possibility is that <math>m_{min} = -j</math>


Symmetrically, the side with the causal stroke (in this case the wheel) defines the flow for the bond.  
Since ''m'' changes by 1 on each step of the ladder, <math>(j - (-j))</math> is an integer, so ''j'' is an integer or half-integer (0 or 0.5 or 1 or 1.5...).
|}


Causality results in compatibility constraints. Clearly only one end of a power bond can define the effort and so only one end of a bond can have a causal stroke. In addition, the two passive components with time-dependent behavior, ''I'' and ''C'', can only have one sort of causation: an ''I'' component determines flow; a ''C'' component defines effort. So from a junction, ''J'', the only legal configurations for ''I'' and ''C'' are
Since '''S''' and '''L''' have the same commutation relations as '''J''', the same ladder analysis works for them.


The ladder-operator analysis does '''''not''''' explain one aspect of the quantization rules above: the fact that '''L''' (unlike '''J''' and '''S''') cannot have half-integer quantum numbers. This fact can be proven (at least in the special case of one particle) by writing down every possible eigenfunction of ''L''<sup>2</sup> and ''L''<sub>z</sub>, (they are the [[spherical harmonic]]s), and seeing explicitly that none of them have half-integer quantum numbers.<ref>{{cite book | author=Griffiths, David J. | title=Introduction to Quantum Mechanics | publisher=[[Prentice Hall]] | year=1995 | pages=148–153}}</ref> An alternative derivation is [[#SU(2), SO(3), and 360° rotations|below]].


<math>J\;
===Visual interpretation===
\overset{\textstyle}{\underset{\textstyle}{-\!\!\!-\!\!\!-\!\!\!\rightharpoonup\!\!\!|}}\;I
[[File:Vector model of orbital angular momentum.svg|250px|"250px"|right|thumb|Illustration of the vector model of orbital angular momentum.]]
\qquad\text{and}\qquad
{{main|Vector model of the atom}}
J\;
Since the angular momenta are quantum operators, they cannot be drawn as vectors like in classical mechanics. Nevertheless, it is common to depict them heuristically in this way. Depicted on the right is a set of states with quantum numbers <math>\ell=2</math>, and <math>m_\ell=-2,-1,0,1,2</math> for the five cones from bottom to top. Since <math>|L|=\sqrt{L^2}=\hbar \sqrt{6}</math>, the vectors are all shown with length <math>\hbar \sqrt{6}</math>. The rings represent the fact that <math>L_z</math> is known with certainty, but <math>L_x</math> and  <math>L_y</math> are unknown; therefore every classical vector with the appropriate length and ''z''-component is drawn, forming a cone. The expected value of the angular momentum for a given ensemble of systems in the quantum state characterized by <math> \ell</math> and <math>m_\ell</math> could be somewhere on this cone while it cannot be defined for a single system (since the components of <math>L</math> do not commute with each other).
\overset{\textstyle}{\underset{\textstyle}{|\!\!\!-\!\!\!-\!\!\!-\!\!\!\rightharpoonup}}\;C</math>
<!--
          \|
  J -------| I
          |


    |      \
===Quantization in macroscopic systems===
  J |------- C
The quantization rules are technically true even for macroscopic systems, like the angular momentum '''L''' of a spinning tire. However they have no observable effect. For example, if <math>L_z/\hbar</math> is roughly 100000000, it makes essentially no difference whether the precise value is an integer like 100000000 or 100000001, or a non-integer like 100000000.2—the discrete steps are too small to notice.
    |
-->


==Angular momentum as the generator of rotations==
{{see also|Total angular momentum quantum number}}
The most general and fundamental definition of angular momentum is as the ''generator'' of rotations.<ref name=littlejohn>{{cite web|url=http://bohr.physics.berkeley.edu/classes/221/1011/notes/spinrot.pdf|title= Lecture notes on rotations in quantum mechanics|first= Robert |last=Littlejohn|accessdate= 13 Jan 2012|work=[http://bohr.physics.berkeley.edu/classes/221/1011/221.html Physics 221B Spring 2011]|year=2011}}</ref> More specifically, let <math>R(\hat{n},\phi)</math> be a [[Rotation operator (quantum mechanics)|rotation operator]], which rotates any quantum state about axis <math>\hat{n}</math> by angle <math>\phi</math>. As <math>\phi\rightarrow 0</math>, the operator <math>R(\hat{n},\phi)</math> approaches the [[identity operator]], because a rotation of 0° maps all states to themselves. Then the angular momentum operator <math>J_{\hat{n}}</math> about axis <math>\hat{n}</math> is defined as:<ref name=littlejohn/>
:<math>J_{\hat{n}} \equiv i \hbar \lim_{\phi\rightarrow 0} \frac{R(\hat{n},\phi) - 1}{\phi}</math>
where 1 is the [[identity operator]]. Remark also that ''R'' is an additive morphism : <math>R(\hat{n},\phi_1+\phi_2)=R(\hat{n},\phi_1)R(\hat{n},\phi_2)</math> ; as a consequence<ref name=littlejohn/>
:<math>R(\hat{n},\phi) = \exp(-i \phi J_{\hat{n}}/\hbar)</math>
where exp is [[matrix exponential]].


A resistor has no time-dependent behavior: you can apply a voltage and get a flow instantly, or apply a flow and get a voltage instantly, thus a resistor can be at either end of a causal bond:
In simpler terms, the total angular momentum operator characterizes how a quantum system is changed when it is rotated. The relationship between angular momentum operators and rotation operators is the same as the relationship between [[Lie algebra]]s and [[Lie group]]s in mathematics, as discussed further below.


[[File:RotationOperators.svg|thumb|300px|The different types of [[rotation operator (quantum mechanics)|rotation operators]]. <u>Top</u>: Two particles, with spin states indicated schematically by the arrows. <u>(A)</u> The operator ''R'', related to '''J''', rotates the entire system. <u>(B)</u> The operator ''R''<sub>spatial</sub>, related to '''L''', rotates the particle positions without altering their internal spin states. <u>(C)</u> The operator ''R''<sub>internal</sub>, related to '''S''', rotates the particles' internal spin states without changing their positions.]]
Just as '''J''' is the generator for [[rotation operator (quantum mechanics)|rotation operators]], '''L''' and '''S''' are generators for modified partial rotation operators. The operator
:<math>R_\mathrm{spatial}(\hat{n},\phi) = \exp(-i \phi L_{\hat{n}}/\hbar),</math>
rotates the position (in space) of all particles and fields, without rotating the internal (spin) state of any particle. Likewise, the operator
:<math>R_\mathrm{internal}(\hat{n},\phi) = \exp(-i \phi S_{\hat{n}}/\hbar),</math>
rotates the internal (spin) state of all particles, without moving any particles or fields in space. The relation '''J'''='''L'''+'''S''' comes from:
:<math>R(\hat{n},\phi) = R_\mathrm{internal}(\hat{n},\phi) R_\mathrm{spatial}(\hat{n},\phi)</math>
i.e. if the positions are rotated, and then the internal states are rotated, then altogether the complete system has been rotated.


<math>J\;
===SU(2), SO(3), and 360° rotations===
\overset{\textstyle}{\underset{\textstyle}{-\!\!\!-\!\!\!-\!\!\!\rightharpoonup\!\!\!|}}\;R
{{main|Spin (physics)}}
\qquad \text{and} \qquad
Although one might expect <math>R(\hat{n},360^\circ) = 1</math> (a rotation of 360° is the identity operator), this is ''not'' assumed in quantum mechanics, and it turns out it is often not true: When the total angular momentum quantum number is a half-integer (1/2, 3/2, etc.), <math>R(\hat{n},360^\circ) = -1</math>, and when it is an integer, <math>R(\hat{n},360^\circ) = +1</math>.<ref name=littlejohn/> Mathematically, the structure of rotations in the universe is ''not'' [[SO(3)]], the [[Lie group|group]] of three-dimensional rotations in classical mechanics. Instead, it is [[SU(2)]], which is identical to SO(3) for small rotations, but where a 360° rotation is mathematically distinguished from a rotation of 0°. (A rotation of 720° is, however, the same as a rotation of 0°.)<ref name=littlejohn/>
J\;
\overset{\textstyle}{\underset{\textstyle}{|\!\!\!-\!\!\!-\!\!\!-\!\!\!\rightharpoonup}}\;R</math>
<!--
        \|              |       \
J -------| R          J |-------- R
          |              |
-->


On the other hand, <math>R_\mathrm{spatial}(\hat{n},360^\circ) = +1</math> in all circumstances, because a 360° rotation of a ''spatial'' configuration is the same as no rotation at all. (This is different from a 360° rotation of the ''internal'' (spin) state of the particle, which might or might not be the same as no rotation at all.) In other words, the <math>R_\mathrm{spatial}</math> operators carry the structure of [[SO(3)]], while <math>R</math> and <math>R_\mathrm{internal}</math> carry the structure of [[SU(2)]].


Sources of flow (''SF'') define flow, sources of effort (''SE'') define effort. Transformers are passive, neither dissipating nor storing energy, so causality passes through them:
From the equation <math>+1=R_\mathrm{spatial}(\hat{z},360^\circ) = \exp(-2\pi i L_z /\hbar)</math>, one picks an eigenstate <math> L_z |\psi\rangle = m\hbar |\psi\rangle</math> and draws
:<math> e^{-2\pi i m} = 1 </math>
which is to say that the orbital angular momentum quantum numbers can only be integers, not half-integers.


===Connection to representation theory===
{{main|Particle physics and representation theory|Representation theory of SU(2)}}
Starting with a certain quantum state <math>|\psi_0\rangle</math>, consider the set of states <math>R(\hat{n},\phi)|\psi_0\rangle</math> for all possible <math>\hat{n}</math> and <math>\phi</math>, i.e. the set of states that come about from rotating the starting state in every possible way. This is a [[vector space]], and therefore the manner in which the rotation operators map one state onto another is a [[group representation|''representation'']] of the group of rotation operators.
:''When rotation operators act on quantum states, it forms a [[group representation|representation]] of the [[Lie group]] [[SU(2)]] (for R and R<sub>internal</sub>), or [[SO(3)]] (for R<sub>spatial</sub>).''
From the relation between '''J''' and rotation operators,
:''When angular momentum operators act on quantum states, it forms a [[group representation|representation]] of the [[Lie algebra]] [[SU(2)]]  or [[SO(3)]].''
(The Lie algebras of SU(2) and SO(3) are identical.)


<math>\;\overset{\textstyle}{\underset{\textstyle}{-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!|}}\;
The ladder operator derivation above is a method for classifying the representations of the Lie algebra SU(2).
\dot{T}\dot{F}
\;\overset{\textstyle}{\underset{\textstyle}{-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!|}}\;
\qquad \text{or} \qquad
\;\overset{\textstyle}{\underset{\textstyle}{|\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-}}\;
\dot{T}\dot{F}
\;\overset{\textstyle}{\underset{\textstyle}{|\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-}}\;
</math>
<!--
        | ..      |          |      .. |
  ------| TF -----|    or    |------ TF |------
        |        |          |          |
-->


===Connection to commutation relations===
Classical rotations do not commute with each other: For example, rotating 1° about the ''x''-axis then 1° about the ''y''-axis gives a slightly different overall rotation than rotating 1° about the ''y''-axis then 1° about the ''x''-axis. By carefully analyzing this noncommutativity, the commutation relations of the angular momentum operators can be derived.<ref name=littlejohn/>


A gyrator transforms flow to effort and effort to flow, so if flow is caused on one side, effort is caused on the other side and vice versa:
(This same calculational procedure is one way to answer the mathematical question "What is the [[Lie algebra]] of the [[Lie group]]s [[SO(3)]] or [[SU(2)]]?")


==Conservation of angular momentum==
The [[Hamiltonian (quantum mechanics)|Hamiltonian]] ''H'' represents the energy and dynamics of the system. In a spherically-symmetric situation, the Hamiltonian is invariant under rotations:
:<math>RHR^{-1}=H</math>
where ''R'' is a [[rotation operator (quantum mechanics)|rotation operator]]. As a consequence, <math>[H,R]=0</math>, and then <math>[H,\mathbf{J}]=0</math> due to the relationship between '''J''' and ''R''. By the [[Ehrenfest theorem]], it follows that '''J''' is conserved.


<math>\;\overset{\textstyle}{\underset{\textstyle}{|\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-}}\;
To summarize, if ''H'' is rotationally-invariant (spherically symmetric), then total angular momentum '''J''' is conserved. This is an example of [[Noether's theorem]].
\dot{G}\dot{Y}
\;\overset{\textstyle}{\underset{\textstyle}{-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!|}}\;
\qquad \text{or} \qquad
\;\overset{\textstyle}{\underset{\textstyle}{-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!|}}\;
\dot{G}\dot{Y}
\;\overset{\textstyle}{\underset{\textstyle}{|\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-}}\;
</math>
<!--
  |      ..     |                | .. |   
  |------ GY -----|    or    ------| GY |------
  |              |                |    |
-->


If ''H'' is just the Hamiltonian for one particle, the total angular momentum of that one particle is conserved when the particle is in a [[central potential]] (i.e., when the potential energy function depends only on <math>|\mathbf{r}|</math>). Alternatively, ''H'' may be the Hamiltonian of all particles and fields in the universe, and then ''H'' is ''always'' rotationally-invariant, as the fundamental laws of physics of the universe are the same regardless of orientation. This is the basis for saying [[conservation of angular momentum]] is a general principle of physics.


; Junctions
For a particle without spin, '''J'''='''L''', so orbital angular momentum is conserved in the same circumstances. When the spin is nonzero, the [[spin-orbit interaction]] allows angular momentum to transfer from '''L''' to '''S''' or back. Therefore, '''L''' is not, on its own, conserved.
In a 0-junction, efforts are equal; in a 1-junction, flows are equal. Thus, with causal bonds, only one bond can cause the effort in a 0-junction and only one can cause the flow in a 1-junction. Thus, if the causality of one bond of a junction is known, the causality of the others is also known. That one bond is called the '''strong bond'''


==Angular momentum coupling==
{{main|Angular momentum coupling|Clebsch–Gordan coefficients}}


<math>\text{strong bond}\rightarrow\;\dashv\!\overset{\textstyle \top}{\underset{\textstyle\bot}{0}}\!\dashv
Often, two or more sorts of angular momentum interact with each other, so that angular momentum can transfer from one to the other. For example, in [[spin-orbit coupling]], angular momentum can transfer between '''L''' and '''S''', but only the total '''J'''='''L'''+'''S''' is conserved. In another example, in an atom with two electrons, each has its own angular momentum '''J'''<sub>1</sub> and '''J'''<sub>2</sub>, but only the total '''J'''='''J'''<sub>1</sub>+'''J'''<sub>2</sub> is conserved.
\qquad\text{and}\qquad
\text{strong bond}\rightarrow\;\vdash\!\overset{\textstyle \bot}{\underset{\textstyle\top}{1}}\!\vdash</math>
<!--
                ___
                  |
                  |
                  |
          ------| 0 ------|
strong bond ^
                  |
                  |
                  |
                ---


In these situations, it is often useful to know the relationship between, on the one hand, states where <math>(J_1)_z, (J_1)^2, (J_2)_z, (J_2)^2</math> all have definite values, and on the other hand, states where <math>(J_1)^2, (J_2)^2, J^2, J_z</math> all have definite values, as the latter four are usually conserved (constants of motion). The procedure to go back and forth between these [[basis (linear algebra)|bases]] is to use [[Clebsch–Gordan coefficients]].


                  |
One important result in this field is that a relationship between the quantum numbers for <math>(J_1)^2, (J_2)^2, J^2</math>:
                  |
:<math> j \in \{ |j_1-j_2|, (|j_1-j_2|+1), \ldots, (j_1 + j_2) \} </math>.
                  |
                ---
          |------ 1 |------
strong bond ^  ___
                  |
                  |
                  |
-->


For an atom or molecule with '''J''' = '''L''' + '''S''', the [[term symbol]] gives the quantum numbers associated with the operators <math>L^2, S^2, J^2</math>.


One can continue, assigning causality using the above rules. Any model which results in inconsistent causality is not physically valid. For example, consider an inductor in series with an ideal current source&mdash;a physically impossible configuration. The bond graph would look like
==Orbital angular momentum in spherical coordinates==


Angular momentum operators usually occur when solving a problem with [[spherical symmetry]] in [[spherical coordinates]]. The angular momentum in space representation is
<ref>{{Cite book
| publisher = Springer Berlin Heidelberg
| isbn = 978-3-540-46215-6
| title = Quantum Mechanics
| location = Berlin, Heidelberg
| accessdate = 2011-03-29
| year = 2007
| url = http://www.springerlink.com/index/10.1007/978-3-540-46216-3
| page= 70
}}</ref>


<math>SF\;\overset{\textstyle}{\underset{\textstyle}{-\!\!\!-\!\!\!-\!\!\!-\!\!\!-}}
: <math>L_{x}=i\hbar\left(\sin\phi\frac{\partial}{\partial\theta}+\cot\theta\cos\phi\frac{\partial}{\partial\phi}\right), </math>
1
\overset{\textstyle}{\underset{\textstyle}{-\!\!\!-\!\!\!-\!\!\!-\!\!\!-}}\;I
</math>
<!--
  SF ------ 1 ------ I
-->


: <math>L_{y}=i\hbar\left(-\cos\phi\frac{\partial}{\partial\theta}+\cot\theta\sin\phi\frac{\partial}{\partial\phi}\right), </math>


Assigning causality to the source bond we get:
: <math>L_{z}=-i\hbar\frac{\partial}{\partial\phi,}</math>


and


<math>SF\;\overset{\textstyle}{\underset{\textstyle}{|\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-}}
: <math>L^2 = -\hbar^2 \left(\frac{1}{\sin\theta}\frac{\partial}{\partial \theta}\left( \sin\theta \frac{\partial}{\partial \theta}\right) + \frac{1}{\sin^2\theta}\frac{\partial^2}{\partial \phi^2}\right). </math>
1
\overset{\textstyle}{\underset{\textstyle}{-\!\!\!-\!\!\!-\!\!\!-\!\!\!-}}\;I
</math>
<!--
  SF |----- 1 ------ I
-->
 
 
Propagating the causality through the junction gives
 
 
<math>SF\;\overset{\textstyle}{\underset{\textstyle}{|\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-}}
1
\overset{\textstyle}{\underset{\textstyle}{|\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-}}\;I
</math>
<!--
  SF |----- 1 |----- I
-->
 
 
But assigning causality to the inductor gives
 
 
<math>SF\;\overset{\textstyle}{\underset{\textstyle}{|\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-}}
1
\overset{\textstyle}{\underset{\textstyle}{|\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!|}}\;I
</math>
<!--
  SF |----- 1 |----| I
-->
 
 
which is invalid, because the causality on the right bond is redundant. This ability to automatically identify impossible configurations is a major advantage of bond graphs.
 
In contrast, one can inadvertently draw an electrical diagram or mechanical schematic that, while possible to construct, would not behave as modeled. For example, one can connect a capacitor directly to a battery, but the assumption that the battery is an ideal voltage source would be violated corresponding with the fact that the theoretical flux would be infinite. The bond graph would tell you that a resistor needs to be put in series with the capacitor to keep the model realistic.
 
==Example==
{{Expert-subject|Science|date=November 2008}}
Consider a simple [[RC circuit]]:<ref>{{cite web|url=http://www.mech.gla.ac.uk/Research/Control/Publications/Reports/csc99005.ps |title=University of Glasgow :: School of Engineering :: Former Department sites |publisher=Mech.gla.ac.uk |date= |accessdate=2012-08-28}}</ref>
 
        R
  i1 --\/\/\-----+------ i2 →
  v1            |      v2
              C =  ↓ic
                |
      ground ----+------
 
where v1 represents a voltage source that is implied as being connected to the resistor, and v2 represents an "output" measurement point.
 
If one follows the "flows" through the circuit diagram then the basic structure of 1 (common flow) and 0 (common effort) nodes can be identified.  In general, one should be looking for common (shared) efforts and common (shared) flows, but commonality may not be immediately obvious to the new practitioner, so to get started one can place a 0 node wherever a distinct effort potential (voltage) can be identified, and 1 nodes wherever a flow is identified, and then bonds between the 0 and 1 nodes:
 
  i1    v1    ir    v2    i2
  1 --- 0 --- 1 --- 0 ---- 1
                    |
                    1 ic
 
Note that i1 and ic both involve current flows to ground, so no power flows there, so no bonds are shown for those power flows.
 
Next, one can add the power dissipating elements next to and connected to the 1 junctions representing flows through components. The connecting bonds represent the power flows that are generated, stored or dissipated by those elements.
 
  Se,in        R
    |          |
    |          |    v2    i2
    1 --- 0 --- 1 --- 0 ---- 1
    i1    v1    ir    |
                      |
                      1 --- C
                      ic
 
Next, 0 or 1 junctions that only have one or two bonds can be optimized out of existence because the power flows on those bonds are identical.
 
            R
            |ir
        v1  |    v2    i2
  Se,in ---- 1 --- 0 --- 1
        i1        |
                  | ic
                  C
 
Note that because v2 is measured, we can equivalently assume that i1=0 or that the output bond has a full arrow, and we can re-arrange the bonds for a more regular graph, and we can assign direction of power flow:
 
              R      C
              |\      |\
              |ir    |ic
        v1                \ i2
  Se,in ----- 1 ----- 0 ----- out
        i1 /      /      /
 
The half-arrows on the remaining 1 junction are assigned so that the power flows into passive elements (R and C), out of the source of effort, and arbitrarily for flows between the 0 and 1 junctions.  If you can anticipate a convention that causes them to be positive then interpreting results will usually be easier. For example, the power flowing between the 1 and 0 junctions should flow away from the 1 junction like the power flowing to the resistor, so set the half-arrow to reflect that.
 
Causality is defined by first setting the causality for reactive elements and power sources according to their behavior.  Sources of effort and capacitors should impose effort (causality stroke opposite the source), and sources of flow and inertial elements should impose flow (causality stroke near the source).  Once this is done, all 0 junctions should have one causal stroke on the near end of its bonds, and all 1 junctions should have only one causal stroke on the opposite end of any of its bonds.  Causality for bonds on resistive elements can go whichever way satisfies the junction at the other end of the bond.
 
                R          C
              ---
                |\        |\
                |          |ic
                          ---
        v1  |    |            v2  \
Se,in ------|  1  |-----  0  ------- out
        i1  /|    |    /      i2  /
 
Note that the output is assumed to draw no power from the circuit, so a full arrow is used instead of a half-arrow.  For the purpose of modeling dynamics, this means the output full bond can be ignored and the diagram is simplified (though the variables have now been renumbered):
 
                R
                ---
                |\
              v3 | i3
                |
        v1  |    | v2
S_e,in ------|  1  |-----  C
        i1  /|    | i2 /
 
Although a systematic approach to formulating the bond graph was described above, in retrospect the central 1 junction in the final bond graph reflects the fact that the same current flows through the input voltage source, the resistor, and the capacitor.  One attraction of bond graphs is that experienced bond graph users can bypass many steps on their way to modeling the dynamic system.
 
Having completed and simplified the bond graph, the diagram can now be used for its intended purpose: guiding the practitioner through the generation of differential equations that describe the dynamics of the system.  This is accomplished by starting at each of the reactive elements in turn and working through the implications of each bond and junction.  This process can, in more complicated diagrams, involve traversing the bonds in both directions at times, but having properly defined causality will prevent this apparent retracing of steps from leading to algebraic loops or integral equations.


<math>S_e,in</math> is a "source of effort" (voltage source) that forces the dynamics.  Note that the causality for a source of effort imposes effort on the junction.  To avoid formulating integral equations, the causality stroke for the capacitor must also impose effort on the junction.  Since every 1 junction should have exactly one flow causal stroke, bond 3 must show flow imposed by the R element (causal stroke away from 1 junction).
When solving to find [[eigenstate]]s of this operator, we obtain the following
 
: <math> L^2 \mid l, m \rang = {\hbar}^2 l(l+1) | l, m \rang </math>
To derive the differential equation, start on bond 2 (attached to a reactive element) and write the differential equation for that reactive element:
: <math> L_z \mid l, m \rang = \hbar m | l, m \rang </math>
 
where
<math>\dot{v}_2 = {1 \over C} i_2 </math>
:<math> \lang \theta , \phi | l, m \rang = Y_{l,m}(\theta,\phi)</math>
 
are the [[spherical harmonic]]s.
One can follow an invisible path from <math>v_2</math> through the C and back to the <math>i_2</math> corresponding to writing this equation down. Because bond 2 is attached to a 1 junction (shared flow) where bond 3 determines the flow, we can extend our path through the diagram from the <math>i_2</math> of bond 2 to the <math>i_3</math> of bond 3 following the flow causal stroke, obtaining <math>i_2 = i_3</math>.  Note that we ignore the half-arrows at this point because all flows on a 1 junction are equal, regardless of direction of power flow. Substituting, we expand the differential equation with more information about the system:
 
<math>\dot{v}_2 = {1 \over C} i_3 </math>
 
At this point, we can follow the causality path from <math>i_3</math> through R and back to <math>v_3</math>, writing the corresponding relation <math>i_3 = {v_3 \over R}</math>. We can substitute this relation into the differential equation:
 
<math>\dot{v}_2 = {1 \over C} {v_3 \over R} </math>
 
Continuing to follow causality, the effort on bond 3 (<math>v_3</math>) is related to all the other efforts on the 1 junction since they must all sum to zero.  That is, using the half-arrows to define signs we can write <math>v_3 = v_1 - v_2</math> and substitute this into the differential equation:
 
<math>\dot{v}_2 = {1 \over C} { { v_1 - v_2 } \over R} </math>
 
Since <math>v_1</math> is an input, and <math>v_2</math> is a [[State space representation|state variable]] (effort on a C element), the equation is completely expanded.  Had it not been completely expanded, it might be necessary to follow two causality paths beyond this point to eventually completely expand the differential equation.
 
For systems with multiple I and/or C elements, the process can be repeated once for each derivative of a state variable to form a system of (typically but not necessarily linear) differential equations. For example, suppose we put two of these RC circuits in series:
 
        R            → i2    R             
  i1 --\/\/\-----+------------\/\/\-----+------ i3 →
  v1            |      v2            |      v3
              C = ↓ic              C = ↓ic
                |                      |
      ground ----+----------------------+---------
 
Although this circuit was constructed as two cascaded RC circuits, the behavior of the first RC circuit is now complicated by the fact that power flows out of its "output" where before no power flowed there.  This changes the overall dynamics of this system, but bond graphs can guide the formation of correct equations anyway. The corresponding bond graph looks like
 
            R          C          R        C
          ---                  ---
            |\        |\        |\        |\
          6 |        4 |        2 |      3 |
                      ---                  ---
      1  |  |  5          7  |  |  8        9  \
SE ------| 1 |------  0  ------| 1 |------ 0 ------ out
        /|  |    /          /|  |    /        /
 
where the ever-present effort/flow (voltage/current in this case) variables have been dropped and the bonds are simply numbered per typical bond graph convention (in this case the first four numbers were placed to avoid confusion with the signal numbering in the circuit diagram).  Again, the output is assumed to draw no power so bonds 8 and 9 can effectively be removed in favor of a direct connection to bond 3:
 
            R          C          R
          ---                  ---
            |\        |\        |\
          6 |        4 |        2 |
                      ---             
      1  |  |  5          7  |  |  3
SE ------| 1 |------  0  ------| 1 |------ C
        /|  |    /          /|  |     /
 
As before, we can start with the derivative of a [[State space representation|state variable]] (<math>v_4</math>) and follow the bonds to form equations:
 
<math>\dot{v}_4 = {1 \over C_4} i_4 = {1 \over C_4} (i_5 - i_7)  = {1 \over C_4} (i_6 - i_2) </math>
 
Continuing the expansion:
 
<math>\dot{v}_4 = {1 \over C_4} ({v_6 \over R_6} - {v_2 \over R_2}) </math>
 
<math>\dot{v}_4 = {1 \over C_4} ({{v 1 - v 5} \over R_6} - {{v 7 - v 3} \over R_2})  </math>
 
<math>\dot{v}_4 = {1 \over C_4} ({{v 1 - v 4} \over R_6} - {{v 4 - v 3} \over R_2} )</math>
 
At this point, <math>\dot{v}_4</math> is defined in terms of inputs and state variables.
 
Similarly, <math>\dot{v}_3</math> can be obtained in terms of inputs and state variables:
 
<math>\dot{v}_3 =  -{1 \over {C_3 R_2}} v_4 + {1 \over {C_3 R_2}} v_3 </math>
 
It is conventional in [[State space representation|state space representation]] to group terms by state variables and inputs:
 
<math>\dot{v}_4 = -({1 \over {C_4 R_6}} + {1 \over {C_4 R_2}}) v_4 + {1 \over {C_4 R_2}} v_3 + { 1 \over {C_4 R_6}} v_1</math>
 
and to express the equations in matrix form:
 
:<math>\begin{bmatrix}\dot{v}_4 \\ \dot{v}_3\end{bmatrix} = \begin{bmatrix}-({1 \over {C_4 R_6}} + {1 \over {C_4 R_2}}) & {1 \over {C_4 R_2}} \\ -{1 \over {C_3 R_2}} & {1 \over {C_3 R_2}} \end{bmatrix} \begin{bmatrix}v_4\\v_3\end{bmatrix} + \begin{bmatrix}{ 1 \over {C_4 R_6} } \\ 0 \end{bmatrix} v_1</math>.
 
==Other components==
===Transformer===
A transformer adds no power but transforms it, much as an ideal electrical [[transformer]] or a [[lever]].
 
Denoted
          r
    e1  ..  e2
------- TF ------
    f1        f2
where the ''r'' denotes the modulus of the transformer. This means
:<math>f_2 = r f_1 \,</math>
and
:<math>e_2 = \frac{1}{r} e_1 \,</math>.
 
===Gyrator===
A [[gyrator]] relates flow to effort. It also adds no power and is written
    e1  μ  e2
------- GY ------
    f1        f2
meaning that
:<math>e_2 = \mu f_1 \,</math>
and
:<math>e_1 = \mu f_2 \,</math>.


==See also==
==See also==
*[[AMESim]] simulation software based on the bond graph theory
*[[Runge–Lenz vector]] (used to describe the shape and orientation of bodies in orbit)
*[[Hybrid bond graph]]
*[[Holstein–Primakoff transformation]]
 
*[[Vector model of the atom]]
==International Conferences on Bond Graph Modeling (ECMS & ICBGM)==
*[[Pauli–Lubanski pseudovector]]
 
*[[Angular momentum diagrams (quantum mechanics)]]
A bibliography on Bond Graph modeling may be extracted from the following conferences :
*[[Spherical basis]]
*[http://www.scs-europe.net/conf/ecms2008/bondg.html ECMS-2008 22nd European Conference on Modelling and Simulation, June 3-6, 2008 Nicosia, Cyprus]
*[[Tensor operator]]
*[http://www.scs.org/confernc/wmc/wmc07/icbgm07_FinalProgram_2.PDF ICBGM-2007: 8th International Conference on Bond Graph Modeling And Simulation, January 15-17, 2007, San Diego, California, U.S.A.]
*[[Orbital magnetization]]
*[http://www.scs-europe.net/services/ecms2006/accepted%20papers.html ECMS-2006 20TH European Conference on Modelling and Simulation, May 28-31, 2006, Bonn, Germany]
*[http://www.lsis.org/~i3m05/progIMAACA.html IMAACA-2005 International Mediterranean Modeling Multiconference]
*[http://gaia.csus.edu/~grandajj/icbgm05_FinalProgram.htm ICBGM-2005 International Conference on Bond Graph Modeling and Simulation, January 23-27, 2005, New Orleans, Louisiana, U.S.A.] - [http://www.scs.org/search.cfm?startrow=1&continueSearch=1 Papers]
*[http://gaia.csus.edu/~grandajj/icbgm03_FinalProgram.htm ICBGM-2003 International Conference on Bond Graph Modeling and Simulation (ICBGM'2003) January 19-23, 2003, Orlando, Florida, USA] - [http://www.scs.org/search.cfm?presearch=db&dbrec=15 Papers]
*[http://www.scs-europe.net/conf/ess2002/accepted.html 14TH European Simulation symposium October 23-26, 2002 Dresden, Germany]
*[http://www.scs-europe.net/conf/ess2001/index.htm ESS'2001 13th European Simulation symposium, Marseilles, France October 18-20, 2001]
*[http://gaia.csus.edu/~grandajj/WMC2001-ICBGM.htm ICBGM-2001 International Conference on Bond Graph Modeling and Simulation (ICBGM 2001), Phoenix, Arizona U.S.A.]
*[http://www.scs-europe.net/conf/esm2000/time_sched1.htm European Simulation Multi-conference 23-26 May, 2000, Gent, Belgium]
*[http://www.scs-europe.net/conf/ess99/finproq.html 11th European Simulation symposium, October 26-28, 1999 Castle, Friedrich-Alexander University,Erlangen-Nuremberg, Germany ]
*[http://www-control.eng.cam.ac.uk/extras/conferences/ICBGM99 ICBGM-1999 International Conference on Bond Graph Modeling and Simulation January 17-20, 1999 San Francisco, California]
*[http://www.scs-europe.net/conf/ess97/fin-mon.html ESS-97 9TH European Simulation Symposium and Exhibition Simulation in Industry, Passau, Germany, October 19-22, 1997]
*[http://www.ece.arizona.edu/~cellier/icbgm_97_final.html ICBGM-1997 3rd International Conference on Bond Graph Modeling And Simulation, January 12-15, 1997, Sheraton-Crescent Hotel, Phoenix, Arizona]
*[http://www.scs-europe.net/conf/esm97/fintue.html 11th European Simulation Multiconference Istanbul, Turkey, June 1-4, 1997]
*[http://www.scs-europe.net/conf/esm96/esm96fin.html ESM-1996 10th annual European Simulation Multiconference  Budapest, Hungary, June 2-6, 1996]
*ICBGM-1995 Int. Conf. on Bond Graph Modeling and Simulation (ICBGM’95), January 15–18, 1995,Las Vegas, Nevada.


==References==
==References==
{{reflist}}
<references/>


== Further reading ==
==Further reading==
* Paynter, Henry M., ''Analysis and design of engineering systems'', The M.I.T. Press, ISBN 0-262-16004-8.
* Karnopp, Dean C., Margolis, Donald L., Rosenberg, Ronald C., 1990: ''System dynamics: a unified approach'', Wiley, ISBN 0-471-62171-4.
* Thoma, Jean, 1975: ''Bond graphs: introduction and applications'', Elsevier Science, ISBN 0-08-018882-6.
* Gawthrop, Peter J. and Smith, Lorcan P. S., 1996: ''Metamodelling: bond graphs and dynamic systems'', Prentice Hall, ISBN 0-13-489824-9.
* Brown, F. T., 2007: ''Engineering system dynamics – a unified graph-centered approach'', Taylor & Francis, ISBN 0-8493-9648-4.
* Amalendu Mukherjee, Ranjit Karmakar (1999): ''Modeling and Simulation of Engineering Systems Through Bondgraphs'' CRC Press LLC, 2000 N.W. Corporate Blvd., Boca Raton, Florida 33431. ISBN 978-0-8493-0982-3
* Gawthrop, P. J. and Ballance, D. J., 1999: ''Symbolic computation for manipulation of hierarchical bond graphs'' in ''Symbolic Methods in Control System Analysis and Design'', N. Munro (ed), IEE, London, ISBN 0-85296-943-0.
* Borutzky, Wolfgang, 2010: ''Bond Graph Methodology'', Springer, ISBN 978-1-84882-881-0.


== External links ==
* ''Quantum Mechanics Demystified'', D. McMahon, Mc Graw Hill (USA), 2006, ISBN(10-) 0-07-145546 9
*[http://www.bondgraph.org Complete Bond Graph Overview]
* ''Quantum mechanics'', E. Zaarur, Y. Peleg, R. Pnini, Schaum’s Easy Oulines Crash Course, Mc Graw Hill (USA), 2006, ISBN (10-)007-145533-7 ISBN (13-)978-007-145533-6
*[http://www.bondgraph.com CAMP-G Bond Graph Software]
* ''Quantum Physics of Atoms, Molecules, Solids, Nuclei, and Particles (2nd Edition)'', R. Eisberg, R. Resnick, John Wiley & Sons, 1985, ISBN 978-0-471-87373-0
*[http://www.20sim.com 20-sim Bond Graph Software]
* ''Quantum Mechanics'', E. Abers, Pearson Ed., Addison Wesley, Prentice Hall Inc, 2004, ISBN 978-0-13-146100-0
*MTT [http://mtt.sourceforge.net Model Transformation Tools]
* ''Physics of Atoms and Molecules'', B.H. Bransden, C.J.Joachain, Longman, 1983, ISBN 0-582-44401-2
*[http://www.htcinfo.com/download.php SYMBOLS Shakti] SYstem Modeling by BOnd graph Language and Simulation *BROKEN*
*[[Mathematica]] Bond Graph Toolbox allows bond graph design, analysis and simulation in a native symbolic environment  [http://www.virtualdynamics.com/softwares.html]
*[http://eeiwzg.et.tu-dresden.de/ae2_files/ae_8_1e.htm Bond Graph library BG V. 2.1] Simulink add-on block library for easy simulation, design and analysis using LTI viewer
*[http://sourceforge.net/projects/libbondgraph/ libBondGraph] C++ library to create and simulate standard and hybrid bond graph
*[http://sourceforge.net/projects/texbondgraph/ texBondGraph] Class to draw bond graphs in LaTeX documents


{{DEFAULTSORT:Bond Graph}}
{{Physics operator}}
[[Category:Scientific modeling]]
[[Category:Diagrams]]


[[fr:Graphe de liaisons]]
[[Category:Rotational symmetry]]
[[nl:Bondgraaf]]
[[Category:Quantum mechanics]]
[[zh:鍵結圖]]

Revision as of 23:06, 14 August 2014

In case you look at the checklist of the Forbes 40 richest folks in Singapore, you will notice many who made their fortunes growing and investing in real estate. Or simply look around you – the average Singaporean's wealth in all probability comes more from the appreciation of his HDB flat or non-public property than from another asset.

As my husband and I are also Singapore PR, we plan to take our criticism to our MP as properly, hopefully the government will turn into conscious of this drawback or perhaps they knew about it already, but it is time to take some action to right this lengthy standing grievance among patrons, and even amongst brokers who acquired shunned out from offers like my poor agent. She misplaced a sale for certain and unbeknownst to her, she in all probability never had an opportunity with that property proper from the start! I feel sorry for her, and appreciated her effort in alerting us about this unit and attempting to get us the property; but I'm a bit of aggravated or perhaps a bit resentful that we lost that condo basically as a result of we had been attached to her or any co-broke agent?

A very powerful part of the process of finding and securing housing is finding a superb estate agent, which is greatest achieved by word of mouth. As soon as expats have managed this feat, what follows is significantly less complicated and less annoying. Steps to renting property in Singapore We've got collected a cross-section of the most effective property resources and repair providers, multi function simple-to-use location, to additional streamline your property purchase or sale. Whether or not you are a first time home buyer or a seasoned seller, you will discover SingaporePropertyExchange.com the essential resource to strengthen your property transaction. iii) for such different period as the Registrar might enable, and had been resident in Singapore throughout that period. ECG Property Pte. Ltd.

Have passed an industry examination i.e Common Examination for House Agents (CEHA) or Actual Estate Company (REA) exam, or equal; Exclusive agents are extra willing to share listing data thus guaranteeing the widest doable coverage inside the actual property group thru Multiple Listings and Networking. Accepting a critical provide is easier since your agent is fully aware of all marketing exercise related together with your property. This reduces your having to verify with a number of agents for another affords. Price control is well achieved. Paint work in good restore-discuss along with your Property Advisor if main works are nonetheless to be accomplished. Softening in residential property costs continue, led by 2.eight per cent decline in the index for Remainder of Central Area

With the steam of an overheated property market dying down, the excitement has now shifted to builders playing discount video games to push new ec launch singapore [that guy] initiatives or clear outdated stock. With so many ‘great offers', patrons are spoiled for choices. In case you overprice your house, buyers shall be delay by the worth. Because of this your own home may take longer to sell, and end up being sold at a lower cost. Patrons may think that you are desperate in promoting (so that you have interaction multiple brokers to sell it off quick). Since they think you might be determined, they may not offer you a great value. Additionally, estate agents are responsibility-certain to avoid another potential conflicts of interest (equivalent to if a celebration to the transaction is related to the agent) until the client's waiver is obtained.

Like anywhere else, cash goes farther when you're exterior the prime districts. In case you plan to stay in a central location, you will have to settle for much less space or fewer onsite services. While rental prices are nonetheless high, 2013 has seen costs adjusting downwards in the higher brackets above $10,000 and the central districts flat-lining. Nevertheless, good value properties in the outer regions and decrease priced items have retained and even seen will increase as individuals typically have been downsizing

It's also usually free to tenants. However tenants paying lower than $three,500 monthly in rental typically pay a half month commission for annually of rental. For rentals above $3,500, tenants don't pay any commission. Does the acquisition process differ for residential, retail, office and industrial properties? Our Guide will assist you to have a head begin within the SEARCH ENGINE OPTIMIZATION bandwagon by performing the right WEBSITE POSITIONING implementation with our custom-made WEBSITE POSITIONING ranking tatics. Basic Search Engine Optimization Capacity to add / edit or delete Challenge Change Ordering of Venture Unpublish or Publish a Undertaking Capability to add / edit or delete a banner of the Undertaking I feel what amazes us firstly is that each owner and agent have to be there with us! Month-to-month rent is $3,888

In quantum mechanics, the angular momentum operator is one of several related operators analogous to classical angular momentum. The angular momentum operator plays a central role in the theory of atomic physics and other quantum problems involving rotational symmetry. In both classical and quantum mechanical systems, angular momentum (together with linear momentum and energy) is one of the three fundamental properties of motion.[1]

There are several angular momentum operators: total angular momentum (usually denoted J), orbital angular momentum (usually denoted L), and spin angular momentum (spin for short, usually denoted S). The term "angular momentum operator" can (confusingly) refer to either the total or the orbital angular momentum. Total angular momentum is always conserved, see Noether's theorem.

Spin, orbital, and total angular momentum

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.

"Vector cones" of total angular momentum J (purple), orbital L (blue), and spin S (green). The cones arise due to quantum uncertainty between measuring angular momentum components (see below).

The classical definition of angular momentum is . This can be carried over to quantum mechanics, by reinterpreting r as the quantum position operator and p as the quantum momentum operator. L is then an operator, specifically called the orbital angular momentum operator. Specifically, L is a vector operator, meaning , where Lx, Ly, Lz are three different operators.

However, there is another type of angular momentum, called spin angular momentum (more often shortened to spin), represented by the spin operator S. Almost all elementary particles have spin. Spin is often depicted as a particle literally spinning around an axis, but this is a misleading and inaccurate picture: Spin is an intrinsic property of a particle, unrelated to any sort of motion in space. All elementary particles have a characteristic spin, for example electrons always have "spin 1/2" while photons always have "spin 1".

Finally, there is total angular momentum J, which combines both the spin and orbital angular momentum of a particle or system:

Conservation of angular momentum states that J for a closed system, or J for the whole universe, is conserved. However, L and S are not generally conserved. For example, the spin–orbit interaction allows angular momentum to transfer back and forth between L and S, with the total J remaining constant.

Orbital angular momentum operator

Orbital angular momentum L is mathematically defined as the cross product of a wave function's position operator (r) and momentum operator (p):

This is analogous to the definition of angular momentum in classical physics.

In the special case of a single particle with no electric charge and no spin, the angular momentum operator can be written in the position basis as a single vector equation:

where ∇ is the vector differential operator, del.

Commutation relations

Commutation relations between components

The orbital angular momentum operator is a vector operator, meaning it can be written in terms of its vector components . The components have the following commutation relations with each other:[2]

or in symbols,

,

where εlmn denotes the Levi-Civita symbol, and l,m,n are Cartesian coordinates (each can be x, y or z), and [, ] is the commutator

.

These can be proved as a direct consequence of the canonical commutation relations , where δlm is the Kronecker delta.

There is an analogous relationship to the commutator in classical physics which is central to the theory of canonical transformations of Hamilton's equations of motion:[3]

(summation over generalized coordinate index i implied) where, in this bilinear expression, is the Poisson bracket of two functions with respect to the canonical (generalized) coordinates . "... identification of the canonical angular momentum as the generator of rigid rotation of [a system of particles] leads to a number of interesting and important Poisson bracket relations."[4] Among these are:

Here, , for example, is a transformation generated by the generalized momentum conjugate to :

.

It can be shown[5] (using Cartesian coordinates x, y and z for each particle i in the system) that

.

This generating function has the physical significance of being the z-component of the total angular momentum:

.

It is important to recognize that the Poisson bracket is an analogue, not the commutator in disguise. Hamilton's equations do not generalize to quantum mechanics because they assume that the position and momentum of a particle can be known simultaneously to infinite precision at any point in time. See the section "Generalization to quantum mechanics through Poisson bracket" in the article on Hamiltonian mechanics for details and additional references.

The same commutation relations apply for the other angular momentum operators (spin and total angular momentum):[6]

.

These can be assumed to hold in analogy with L. Alternatively, they can be derived as discussed below.

These commutation relations mean that L has the mathematical structure of a Lie algebra. In this case, the Lie algebra is SU(2) or SO(3), the rotation group in three dimensions. The same is true of J and S. The reason is discussed below.

These commutation relations are relevant for measurement and uncertainty, as discussed further below.

Commutation relations involving vector magnitude

Like any vector, a magnitude can be defined for the orbital angular momentum operator,

.

L2 is another quantum operator. It commutes with the components of L,

One way to prove that these operators commute is to start from the [L, Lm] commutation relations in the previous section:

Mathematically, L2 is a Casimir invariant of the Lie algebra SO(3) spanned by L.

In the classical case, L is the orbital angular momentum of the entire system of particles, n is the unit vector along one of the Cartesian axes and we also have Poisson pseudo-commutation of L with each of its Cartesian components:[8]

with selecting one of the Cartesian components of .

The same commutation relations apply for the other angular momentum operators (spin and total angular momentum):

.

Uncertainty principle

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. In general, in quantum mechanics, when two observable operators do not commute, they are called incompatible observables. Two incompatible observables cannot be measured simultaneously; instead they satisfy an uncertainty principle. The more accurately one observable is known, the less accurately the other one can be known. Just as there is an uncertainty principle relating position and momentum, there are uncertainty principles for angular momentum.

The Robertson–Schrödinger relation gives the following uncertainty principle:

where is the standard deviation in the measured values of X and denotes the expectation value of X. This inequality is also true if x,y,z are rearranged, or if L is replaced by J or S.

Therefore, two orthogonal components of angular momentum cannot be simultaneously known or measured, except in special cases such as .

It is, however, possible to simultaneously measure or specify L2 and any one component of L; for example, L2 and Lz. This is often useful, and the values are characterized by azimuthal quantum number and magnetic quantum number, as discussed further below.

Quantization

DTZ's public sale group in Singapore auctions all forms of residential, workplace and retail properties, outlets, homes, lodges, boarding homes, industrial buildings and development websites. Auctions are at present held as soon as a month.

We will not only get you a property at a rock-backside price but also in an space that you've got longed for. You simply must chill out back after giving us the accountability. We will assure you 100% satisfaction. Since we now have been working in the Singapore actual property market for a very long time, we know the place you may get the best property at the right price. You will also be extremely benefited by choosing us, as we may even let you know about the precise time to invest in the Singapore actual property market.

The Hexacube is offering new ec launch singapore business property for sale Singapore investors want to contemplate. Residents of the realm will likely appreciate that they'll customize the business area that they wish to purchase as properly. This venture represents one of the crucial expansive buildings offered in Singapore up to now. Many investors will possible want to try how they will customise the property that they do determine to buy by means of here. This location has offered folks the prospect that they should understand extra about how this course of can work as well.

Singapore has been beckoning to traders ever since the value of properties in Singapore started sky rocketing just a few years again. Many businesses have their places of work in Singapore and prefer to own their own workplace area within the country once they decide to have a everlasting office. Rentals in Singapore in the corporate sector can make sense for some time until a business has discovered a agency footing. Finding Commercial Property Singapore takes a variety of time and effort but might be very rewarding in the long term.

is changing into a rising pattern among Singaporeans as the standard of living is increasing over time and more Singaporeans have abundance of capital to invest on properties. Investing in the personal properties in Singapore I would like to applaud you for arising with such a book which covers the secrets and techniques and tips of among the profitable Singapore property buyers. I believe many novice investors will profit quite a bit from studying and making use of some of the tips shared by the gurus." – Woo Chee Hoe Special bonus for consumers of Secrets of Singapore Property Gurus Actually, I can't consider one other resource on the market that teaches you all the points above about Singapore property at such a low value. Can you? Condominium For Sale (D09) – Yong An Park For Lease

In 12 months 2013, c ommercial retails, shoebox residences and mass market properties continued to be the celebrities of the property market. Models are snapped up in report time and at document breaking prices. Builders are having fun with overwhelming demand and patrons need more. We feel that these segments of the property market are booming is a repercussion of the property cooling measures no.6 and no. 7. With additional buyer's stamp responsibility imposed on residential properties, buyers change their focus to commercial and industrial properties. I imagine every property purchasers need their property funding to understand in value. In quantum mechanics, angular momentum is quantized – that is, it cannot vary continuously, but only in "quantum leaps" between certain allowed values. For any system, the following restrictions on measurement results apply, where is reduced Planck constant:

If you measure... ...the result can be... Notes
Lz , where m is sometimes called "magnetic quantum number".
This same quantization rule holds for any component of L, e.g. Lx or Ly.
This rule is sometimes called spatial quantization.[9]
Sz or Jz , where For Sz, m is sometimes called "spin projection quantum number".
For Jz, m is sometimes called "total angular momentum projection quantum number".
This same quantization rule holds for any component of S or J, e.g. Sx or Jy.
, where L2 is defined by .
is sometimes called "azimuthal quantum number" or "orbital quantum number".
, where s is called spin quantum number or just "spin". For example, a spin-½ particle is a particle where s=½.
, where j is sometimes called "total angular momentum quantum number".
and
simultaneously
for , and for
where and
(See above for terminology.)
and
simultaneously
for , and for
where and
(See above for terminology.)
and
simultaneously
for , and for
where and
(See above for terminology.)
In this standing wave on a circular string, the circle is broken into exactly 8 wavelengths. A standing wave like this can have 0,1,2, or any integer number of wavelengths around the circle, but it cannot have a non-integer number of wavelengths like 8.3. In quantum mechanics, angular momentum is quantized for a similar reason.

Derivation using ladder operators

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. A common way to derive the quantization rules above is the method of ladder operators.[10] The ladder operators are defined:

Suppose a state is a state in the simultaneous eigenbasis of and (i.e., a state with a single, definite value of and a single, definite value of ). Then using the commutation relations, one can prove that and are also in the simultaneous eigenbasis, with the same value of , but where is increased or decreased by , respectively. (It is also possible that one or both of these vectors is the zero vector.) (For a proof, see ladder operator#angular momentum.)

By manipulating these ladder operators and using the commutation rules, it is possible to prove almost all of the quantization rules above.

Since S and L have the same commutation relations as J, the same ladder analysis works for them.

The ladder-operator analysis does not explain one aspect of the quantization rules above: the fact that L (unlike J and S) cannot have half-integer quantum numbers. This fact can be proven (at least in the special case of one particle) by writing down every possible eigenfunction of L2 and Lz, (they are the spherical harmonics), and seeing explicitly that none of them have half-integer quantum numbers.[11] An alternative derivation is below.

Visual interpretation

Illustration of the vector model of orbital angular momentum.

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. Since the angular momenta are quantum operators, they cannot be drawn as vectors like in classical mechanics. Nevertheless, it is common to depict them heuristically in this way. Depicted on the right is a set of states with quantum numbers , and for the five cones from bottom to top. Since , the vectors are all shown with length . The rings represent the fact that is known with certainty, but and are unknown; therefore every classical vector with the appropriate length and z-component is drawn, forming a cone. The expected value of the angular momentum for a given ensemble of systems in the quantum state characterized by and could be somewhere on this cone while it cannot be defined for a single system (since the components of do not commute with each other).

Quantization in macroscopic systems

The quantization rules are technically true even for macroscopic systems, like the angular momentum L of a spinning tire. However they have no observable effect. For example, if is roughly 100000000, it makes essentially no difference whether the precise value is an integer like 100000000 or 100000001, or a non-integer like 100000000.2—the discrete steps are too small to notice.

Angular momentum as the generator of rotations

DTZ's public sale group in Singapore auctions all forms of residential, workplace and retail properties, outlets, homes, lodges, boarding homes, industrial buildings and development websites. Auctions are at present held as soon as a month.

We will not only get you a property at a rock-backside price but also in an space that you've got longed for. You simply must chill out back after giving us the accountability. We will assure you 100% satisfaction. Since we now have been working in the Singapore actual property market for a very long time, we know the place you may get the best property at the right price. You will also be extremely benefited by choosing us, as we may even let you know about the precise time to invest in the Singapore actual property market.

The Hexacube is offering new ec launch singapore business property for sale Singapore investors want to contemplate. Residents of the realm will likely appreciate that they'll customize the business area that they wish to purchase as properly. This venture represents one of the crucial expansive buildings offered in Singapore up to now. Many investors will possible want to try how they will customise the property that they do determine to buy by means of here. This location has offered folks the prospect that they should understand extra about how this course of can work as well.

Singapore has been beckoning to traders ever since the value of properties in Singapore started sky rocketing just a few years again. Many businesses have their places of work in Singapore and prefer to own their own workplace area within the country once they decide to have a everlasting office. Rentals in Singapore in the corporate sector can make sense for some time until a business has discovered a agency footing. Finding Commercial Property Singapore takes a variety of time and effort but might be very rewarding in the long term.

is changing into a rising pattern among Singaporeans as the standard of living is increasing over time and more Singaporeans have abundance of capital to invest on properties. Investing in the personal properties in Singapore I would like to applaud you for arising with such a book which covers the secrets and techniques and tips of among the profitable Singapore property buyers. I believe many novice investors will profit quite a bit from studying and making use of some of the tips shared by the gurus." – Woo Chee Hoe Special bonus for consumers of Secrets of Singapore Property Gurus Actually, I can't consider one other resource on the market that teaches you all the points above about Singapore property at such a low value. Can you? Condominium For Sale (D09) – Yong An Park For Lease

In 12 months 2013, c ommercial retails, shoebox residences and mass market properties continued to be the celebrities of the property market. Models are snapped up in report time and at document breaking prices. Builders are having fun with overwhelming demand and patrons need more. We feel that these segments of the property market are booming is a repercussion of the property cooling measures no.6 and no. 7. With additional buyer's stamp responsibility imposed on residential properties, buyers change their focus to commercial and industrial properties. I imagine every property purchasers need their property funding to understand in value. The most general and fundamental definition of angular momentum is as the generator of rotations.[6] More specifically, let be a rotation operator, which rotates any quantum state about axis by angle . As , the operator approaches the identity operator, because a rotation of 0° maps all states to themselves. Then the angular momentum operator about axis is defined as:[6]

where 1 is the identity operator. Remark also that R is an additive morphism :  ; as a consequence[6]

where exp is matrix exponential.

In simpler terms, the total angular momentum operator characterizes how a quantum system is changed when it is rotated. The relationship between angular momentum operators and rotation operators is the same as the relationship between Lie algebras and Lie groups in mathematics, as discussed further below.

The different types of rotation operators. Top: Two particles, with spin states indicated schematically by the arrows. (A) The operator R, related to J, rotates the entire system. (B) The operator Rspatial, related to L, rotates the particle positions without altering their internal spin states. (C) The operator Rinternal, related to S, rotates the particles' internal spin states without changing their positions.

Just as J is the generator for rotation operators, L and S are generators for modified partial rotation operators. The operator

rotates the position (in space) of all particles and fields, without rotating the internal (spin) state of any particle. Likewise, the operator

rotates the internal (spin) state of all particles, without moving any particles or fields in space. The relation J=L+S comes from:

i.e. if the positions are rotated, and then the internal states are rotated, then altogether the complete system has been rotated.

SU(2), SO(3), and 360° rotations

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. Although one might expect (a rotation of 360° is the identity operator), this is not assumed in quantum mechanics, and it turns out it is often not true: When the total angular momentum quantum number is a half-integer (1/2, 3/2, etc.), , and when it is an integer, .[6] Mathematically, the structure of rotations in the universe is not SO(3), the group of three-dimensional rotations in classical mechanics. Instead, it is SU(2), which is identical to SO(3) for small rotations, but where a 360° rotation is mathematically distinguished from a rotation of 0°. (A rotation of 720° is, however, the same as a rotation of 0°.)[6]

On the other hand, in all circumstances, because a 360° rotation of a spatial configuration is the same as no rotation at all. (This is different from a 360° rotation of the internal (spin) state of the particle, which might or might not be the same as no rotation at all.) In other words, the operators carry the structure of SO(3), while and carry the structure of SU(2).

From the equation , one picks an eigenstate and draws

which is to say that the orbital angular momentum quantum numbers can only be integers, not half-integers.

Connection to representation theory

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. Starting with a certain quantum state , consider the set of states for all possible and , i.e. the set of states that come about from rotating the starting state in every possible way. This is a vector space, and therefore the manner in which the rotation operators map one state onto another is a representation of the group of rotation operators.

When rotation operators act on quantum states, it forms a representation of the Lie group SU(2) (for R and Rinternal), or SO(3) (for Rspatial).

From the relation between J and rotation operators,

When angular momentum operators act on quantum states, it forms a representation of the Lie algebra SU(2) or SO(3).

(The Lie algebras of SU(2) and SO(3) are identical.)

The ladder operator derivation above is a method for classifying the representations of the Lie algebra SU(2).

Connection to commutation relations

Classical rotations do not commute with each other: For example, rotating 1° about the x-axis then 1° about the y-axis gives a slightly different overall rotation than rotating 1° about the y-axis then 1° about the x-axis. By carefully analyzing this noncommutativity, the commutation relations of the angular momentum operators can be derived.[6]

(This same calculational procedure is one way to answer the mathematical question "What is the Lie algebra of the Lie groups SO(3) or SU(2)?")

Conservation of angular momentum

The Hamiltonian H represents the energy and dynamics of the system. In a spherically-symmetric situation, the Hamiltonian is invariant under rotations:

where R is a rotation operator. As a consequence, , and then due to the relationship between J and R. By the Ehrenfest theorem, it follows that J is conserved.

To summarize, if H is rotationally-invariant (spherically symmetric), then total angular momentum J is conserved. This is an example of Noether's theorem.

If H is just the Hamiltonian for one particle, the total angular momentum of that one particle is conserved when the particle is in a central potential (i.e., when the potential energy function depends only on ). Alternatively, H may be the Hamiltonian of all particles and fields in the universe, and then H is always rotationally-invariant, as the fundamental laws of physics of the universe are the same regardless of orientation. This is the basis for saying conservation of angular momentum is a general principle of physics.

For a particle without spin, J=L, so orbital angular momentum is conserved in the same circumstances. When the spin is nonzero, the spin-orbit interaction allows angular momentum to transfer from L to S or back. Therefore, L is not, on its own, conserved.

Angular momentum coupling

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.

Often, two or more sorts of angular momentum interact with each other, so that angular momentum can transfer from one to the other. For example, in spin-orbit coupling, angular momentum can transfer between L and S, but only the total J=L+S is conserved. In another example, in an atom with two electrons, each has its own angular momentum J1 and J2, but only the total J=J1+J2 is conserved.

In these situations, it is often useful to know the relationship between, on the one hand, states where all have definite values, and on the other hand, states where all have definite values, as the latter four are usually conserved (constants of motion). The procedure to go back and forth between these bases is to use Clebsch–Gordan coefficients.

One important result in this field is that a relationship between the quantum numbers for :

.

For an atom or molecule with J = L + S, the term symbol gives the quantum numbers associated with the operators .

Orbital angular momentum in spherical coordinates

Angular momentum operators usually occur when solving a problem with spherical symmetry in spherical coordinates. The angular momentum in space representation is [12]

and

When solving to find eigenstates of this operator, we obtain the following

where

are the spherical harmonics.

See also

References

  1. Introductory Quantum Mechanics, Richard L. Liboff, 2nd Edition, ISBN 0-201-54715-5
  2. 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  3. H. Goldstein, C. P. Poole and J. Safko, Classical Mechanics, 3rd Edition, Addison-Wesley 2002, pp. 388 ff.
  4. Idem, pp. 408-411.
  5. Idem, p. 404.
  6. 6.0 6.1 6.2 6.3 6.4 6.5 6.6 Template:Cite web
  7. 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  8. Goldstein et al, p. 410
  9. Introduction to quantum mechanics: with applications to chemistry, by Linus Pauling, Edgar Bright Wilson, page 45, google books link
  10. 10.0 10.1 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  11. 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  12. 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

Further reading

  • Quantum Mechanics Demystified, D. McMahon, Mc Graw Hill (USA), 2006, ISBN(10-) 0-07-145546 9
  • Quantum mechanics, E. Zaarur, Y. Peleg, R. Pnini, Schaum’s Easy Oulines Crash Course, Mc Graw Hill (USA), 2006, ISBN (10-)007-145533-7 ISBN (13-)978-007-145533-6
  • Quantum Physics of Atoms, Molecules, Solids, Nuclei, and Particles (2nd Edition), R. Eisberg, R. Resnick, John Wiley & Sons, 1985, ISBN 978-0-471-87373-0
  • Quantum Mechanics, E. Abers, Pearson Ed., Addison Wesley, Prentice Hall Inc, 2004, ISBN 978-0-13-146100-0
  • Physics of Atoms and Molecules, B.H. Bransden, C.J.Joachain, Longman, 1983, ISBN 0-582-44401-2

What is directory submission? How does it help in the web site promotion? Several think directory submission is comparable to the information entry jobs and they assume it to be very simple and effortless. Sites like yahoo, Google etc have large net directories equivalent to the telephone directory we use. These directories are shop homes of relevant data about company issues and net sites all more than the planet. Hence for advertising a web website its details are submitted to the directory in exchange for a little fee.

Once more this directory submission can either be accomplished manually or implemented by way of automated services. When someone submits his internet site to a directory human editors have to go through them to verify top quality and other guidelines. With millions of internet internet sites coming in daily it is not effortless or it is quite stressful to go through them and verify for quality. So automated directory submissions was invented to examine for the submission recommendations. The advantage of this automated submission is that it is easy and less time consuming. It automatically checks and submits without delay.

But what really matters is regardless of whether the web directories can accept automated directory submission as they are very strict about the recommendations. Moreover if the category to which the submission is made is not selected effectively then it loses its purpose. You can not anticipate an automotive service to analyze which category your submission is finest suited dont you? Therefore even though the time factor favors automated directory submission it nonetheless has a lengthy way to go to outbid manual solutions.

Any item or service hitting the public market place needs to be advertised. Visit linkliciousdiscussionsldd - StreetFire Member in US to read why to see about it. There are several methods and means by means of which this advertisement can reach the general public. The print media, roadside banners, brochures, graphic boards and so on are some of the familiar advertising and marketing tactics followed. Be taught more on this related URL by visiting linklicious discount. Designed a professional web site to promote the business is the new and trendy marketing and advertising tool undertaken today to expose a business. For another standpoint, please consider checking out: is linklicious safe. Crucial characteristics like the Search engine marketing, SEM, directory submission, link developing and so on support to improve the search outcome when somebody searches in the search engine.

The net internet site payout along with the catchy content material and tags should be competent to bring in buyer visitors. And to enable this numerous factors are concerned crucial like the Search engine optimisation, SEM, directory submission, link creating and so on. any organization concern which requires off as a fresher should give away a press release and do the On-line Directories and Search Engine Submissions. Press Release is nothing at all but a public relation announcement about the new organization prospects. The details provided should be one hundred% original and no false or exaggerated content ought to be focused on. This is the principal door which opens up to the public who will trust what they see or read from this press release. This can also be completed during a course of a company when they roll out a new product or have introduced or opened a new retailer..

When you have any concerns about in which and how to utilize health answers, it is possible to e-mail us from the web page.