Equivalent definitions of total angular momentumTotal angular momentum - single electronPhoton Angular MomentumAngular momentum of the electric field of a point-like electric charge and the magnetic field of a monopoleCan spin angular momentum be understood as orbital angular momentum in extra dimensions?Total angular momentum of a continuous bodyHow to count total spin degeneracies for many spin one half particles?Is Wikipedia's definition of angular velocity incorrect?Orbital angular momentum eigenstates in the $|mathbfrrangle$ representationDerivation of Angular Momentum OperatorDomain of symmetric momentum operator vs self-adjoint momentum operator

What rules turn any attack that hits a given target into a critical hit?

Is there a way to shorten this while condition?

Is it OK to accept a job opportunity while planning on not taking it?

Found more old paper shares from broken up companies

My current job follows "worst practices". How can I talk about my experience in an interview without giving off red flags?

How to Sow[] until I've Reap[]'d enough?

"It is what it is" in French

Was US film used in Luna 3?

How can I deal with someone that wants to kill something that isn't supposed to be killed?

Adding gears to my grandson's 12" bike

What is the best word describing the nature of expiring in a short amount of time, connoting "losing public attention"?

Can we have too many dialogue tags and follow up actions?

Is it better to merge "often" or only after completion do a big merge of feature branches?

why my sourdough starter has in the top the liquid separated from the flour?

What does a black-and-white Puerto Rican flag signify?

Would using carbon dioxide as fuel work to reduce the greenhouse effect?

Is the apartment I want to rent a scam?

Short story where a flexible reality hardens to an unchanging one

Where is this photo of a group of hikers taken? Is it really in the Ural?

Were the Apollo broadcasts recorded locally on the LM?

Why did modems have speakers?

German phrase for 'suited and booted'

ExactlyOne extension method

Why is there an extra "t" in Lemmatization?



Equivalent definitions of total angular momentum


Total angular momentum - single electronPhoton Angular MomentumAngular momentum of the electric field of a point-like electric charge and the magnetic field of a monopoleCan spin angular momentum be understood as orbital angular momentum in extra dimensions?Total angular momentum of a continuous bodyHow to count total spin degeneracies for many spin one half particles?Is Wikipedia's definition of angular velocity incorrect?Orbital angular momentum eigenstates in the $|mathbfrrangle$ representationDerivation of Angular Momentum OperatorDomain of symmetric momentum operator vs self-adjoint momentum operator






.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;








7












$begingroup$


Consider the equality
beginequationexpleft(-fracihbarboldsymbolphi Jright)left|xright>=left|R(phi)xright>,endequation
where $left|xright>$ denotes a position eigenstate, $J$ the total angular momentum operator on the ket space, and $R(boldsymbolphi)$ the $mathbbR^3$ rotation matrix for rotations around $boldsymbolphi=phicdotmathbfn$ with $||mathbfn||=1$.



Some consider this equation to be the definition of total angular momentum. How can this equation be proven by using the arguably more popular and classically motivated definition?
beginequation
mathbfJ:=mathbfL+mathbfS=mathbfXtimesmathbfP+mathbfS
endequation



Note: Thanks to the work of @Valter Moretti and @Adam Latosiński an equality between the two defintions has been established for a spinless particle.










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    is all of $hboldsymbolphi J$ in the denominator?
    $endgroup$
    – Luyw
    Jul 14 at 7:49











  • $begingroup$
    Shouldn't it be $hbar$ instead of $h$ ?
    $endgroup$
    – Thomas Fritsch
    Jul 14 at 8:16










  • $begingroup$
    I tried to address the misunderstandings.
    $endgroup$
    – TheoreticalMinimum
    Jul 14 at 9:09






  • 3




    $begingroup$
    I believe that the most broad definition of the angular momentum operator $bf J$ is the operator that generates the rotations, i.e. the equality you want to be proven is the definition of what angular momentum operator is. If you have a different definition of angular momentum operator, please provide it.
    $endgroup$
    – Adam Latosiński
    Jul 14 at 9:42






  • 1




    $begingroup$
    @AdamLatosinski If one wants to follow your route, he/she must prove that the identity we are discussing implies that $J$ has the standard form in terms of $X_k$ and $P_j$. I mean, that is not a proof, but just another way to state the initial question.
    $endgroup$
    – Valter Moretti
    Jul 14 at 10:05

















7












$begingroup$


Consider the equality
beginequationexpleft(-fracihbarboldsymbolphi Jright)left|xright>=left|R(phi)xright>,endequation
where $left|xright>$ denotes a position eigenstate, $J$ the total angular momentum operator on the ket space, and $R(boldsymbolphi)$ the $mathbbR^3$ rotation matrix for rotations around $boldsymbolphi=phicdotmathbfn$ with $||mathbfn||=1$.



Some consider this equation to be the definition of total angular momentum. How can this equation be proven by using the arguably more popular and classically motivated definition?
beginequation
mathbfJ:=mathbfL+mathbfS=mathbfXtimesmathbfP+mathbfS
endequation



Note: Thanks to the work of @Valter Moretti and @Adam Latosiński an equality between the two defintions has been established for a spinless particle.










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    is all of $hboldsymbolphi J$ in the denominator?
    $endgroup$
    – Luyw
    Jul 14 at 7:49











  • $begingroup$
    Shouldn't it be $hbar$ instead of $h$ ?
    $endgroup$
    – Thomas Fritsch
    Jul 14 at 8:16










  • $begingroup$
    I tried to address the misunderstandings.
    $endgroup$
    – TheoreticalMinimum
    Jul 14 at 9:09






  • 3




    $begingroup$
    I believe that the most broad definition of the angular momentum operator $bf J$ is the operator that generates the rotations, i.e. the equality you want to be proven is the definition of what angular momentum operator is. If you have a different definition of angular momentum operator, please provide it.
    $endgroup$
    – Adam Latosiński
    Jul 14 at 9:42






  • 1




    $begingroup$
    @AdamLatosinski If one wants to follow your route, he/she must prove that the identity we are discussing implies that $J$ has the standard form in terms of $X_k$ and $P_j$. I mean, that is not a proof, but just another way to state the initial question.
    $endgroup$
    – Valter Moretti
    Jul 14 at 10:05













7












7








7





$begingroup$


Consider the equality
beginequationexpleft(-fracihbarboldsymbolphi Jright)left|xright>=left|R(phi)xright>,endequation
where $left|xright>$ denotes a position eigenstate, $J$ the total angular momentum operator on the ket space, and $R(boldsymbolphi)$ the $mathbbR^3$ rotation matrix for rotations around $boldsymbolphi=phicdotmathbfn$ with $||mathbfn||=1$.



Some consider this equation to be the definition of total angular momentum. How can this equation be proven by using the arguably more popular and classically motivated definition?
beginequation
mathbfJ:=mathbfL+mathbfS=mathbfXtimesmathbfP+mathbfS
endequation



Note: Thanks to the work of @Valter Moretti and @Adam Latosiński an equality between the two defintions has been established for a spinless particle.










share|cite|improve this question











$endgroup$




Consider the equality
beginequationexpleft(-fracihbarboldsymbolphi Jright)left|xright>=left|R(phi)xright>,endequation
where $left|xright>$ denotes a position eigenstate, $J$ the total angular momentum operator on the ket space, and $R(boldsymbolphi)$ the $mathbbR^3$ rotation matrix for rotations around $boldsymbolphi=phicdotmathbfn$ with $||mathbfn||=1$.



Some consider this equation to be the definition of total angular momentum. How can this equation be proven by using the arguably more popular and classically motivated definition?
beginequation
mathbfJ:=mathbfL+mathbfS=mathbfXtimesmathbfP+mathbfS
endequation



Note: Thanks to the work of @Valter Moretti and @Adam Latosiński an equality between the two defintions has been established for a spinless particle.







quantum-mechanics angular-momentum operators hilbert-space definition






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jul 14 at 17:15









Qmechanic

111k12 gold badges214 silver badges1315 bronze badges




111k12 gold badges214 silver badges1315 bronze badges










asked Jul 14 at 5:32









TheoreticalMinimumTheoreticalMinimum

3491 silver badge12 bronze badges




3491 silver badge12 bronze badges







  • 1




    $begingroup$
    is all of $hboldsymbolphi J$ in the denominator?
    $endgroup$
    – Luyw
    Jul 14 at 7:49











  • $begingroup$
    Shouldn't it be $hbar$ instead of $h$ ?
    $endgroup$
    – Thomas Fritsch
    Jul 14 at 8:16










  • $begingroup$
    I tried to address the misunderstandings.
    $endgroup$
    – TheoreticalMinimum
    Jul 14 at 9:09






  • 3




    $begingroup$
    I believe that the most broad definition of the angular momentum operator $bf J$ is the operator that generates the rotations, i.e. the equality you want to be proven is the definition of what angular momentum operator is. If you have a different definition of angular momentum operator, please provide it.
    $endgroup$
    – Adam Latosiński
    Jul 14 at 9:42






  • 1




    $begingroup$
    @AdamLatosinski If one wants to follow your route, he/she must prove that the identity we are discussing implies that $J$ has the standard form in terms of $X_k$ and $P_j$. I mean, that is not a proof, but just another way to state the initial question.
    $endgroup$
    – Valter Moretti
    Jul 14 at 10:05












  • 1




    $begingroup$
    is all of $hboldsymbolphi J$ in the denominator?
    $endgroup$
    – Luyw
    Jul 14 at 7:49











  • $begingroup$
    Shouldn't it be $hbar$ instead of $h$ ?
    $endgroup$
    – Thomas Fritsch
    Jul 14 at 8:16










  • $begingroup$
    I tried to address the misunderstandings.
    $endgroup$
    – TheoreticalMinimum
    Jul 14 at 9:09






  • 3




    $begingroup$
    I believe that the most broad definition of the angular momentum operator $bf J$ is the operator that generates the rotations, i.e. the equality you want to be proven is the definition of what angular momentum operator is. If you have a different definition of angular momentum operator, please provide it.
    $endgroup$
    – Adam Latosiński
    Jul 14 at 9:42






  • 1




    $begingroup$
    @AdamLatosinski If one wants to follow your route, he/she must prove that the identity we are discussing implies that $J$ has the standard form in terms of $X_k$ and $P_j$. I mean, that is not a proof, but just another way to state the initial question.
    $endgroup$
    – Valter Moretti
    Jul 14 at 10:05







1




1




$begingroup$
is all of $hboldsymbolphi J$ in the denominator?
$endgroup$
– Luyw
Jul 14 at 7:49





$begingroup$
is all of $hboldsymbolphi J$ in the denominator?
$endgroup$
– Luyw
Jul 14 at 7:49













$begingroup$
Shouldn't it be $hbar$ instead of $h$ ?
$endgroup$
– Thomas Fritsch
Jul 14 at 8:16




$begingroup$
Shouldn't it be $hbar$ instead of $h$ ?
$endgroup$
– Thomas Fritsch
Jul 14 at 8:16












$begingroup$
I tried to address the misunderstandings.
$endgroup$
– TheoreticalMinimum
Jul 14 at 9:09




$begingroup$
I tried to address the misunderstandings.
$endgroup$
– TheoreticalMinimum
Jul 14 at 9:09




3




3




$begingroup$
I believe that the most broad definition of the angular momentum operator $bf J$ is the operator that generates the rotations, i.e. the equality you want to be proven is the definition of what angular momentum operator is. If you have a different definition of angular momentum operator, please provide it.
$endgroup$
– Adam Latosiński
Jul 14 at 9:42




$begingroup$
I believe that the most broad definition of the angular momentum operator $bf J$ is the operator that generates the rotations, i.e. the equality you want to be proven is the definition of what angular momentum operator is. If you have a different definition of angular momentum operator, please provide it.
$endgroup$
– Adam Latosiński
Jul 14 at 9:42




1




1




$begingroup$
@AdamLatosinski If one wants to follow your route, he/she must prove that the identity we are discussing implies that $J$ has the standard form in terms of $X_k$ and $P_j$. I mean, that is not a proof, but just another way to state the initial question.
$endgroup$
– Valter Moretti
Jul 14 at 10:05




$begingroup$
@AdamLatosinski If one wants to follow your route, he/she must prove that the identity we are discussing implies that $J$ has the standard form in terms of $X_k$ and $P_j$. I mean, that is not a proof, but just another way to state the initial question.
$endgroup$
– Valter Moretti
Jul 14 at 10:05










3 Answers
3






active

oldest

votes


















4












$begingroup$

Consider a smooth function $psi$ in $L^2(mathbbR^3, d^3x)$ (more precisely $psi$ is assumed to belong to Schwartz' space) and define for a fixed $n in mathbbS^2$ and $phi in mathbbR$
$$psi_phi(x)= psi(R^-1_n(phi)x)$$
Since $R^-1_n(phi) = e^-phi n cdot S$, where $S= (S_x,S_y,S_z)$ are the three generators of $SO(3)$:
$$(S_j)_rs= epsilon_jrs$$
we have
$$fracddphipsi_phi(x) = -sum_j,r,s=1^3 n_j epsilon_jrsx_rfracpartial partial x_spsi_phi(x):.tag1$$
Now consider
$$psi'_phi(x)= left(e^fracihbarphi n cdot Jpsiright)(x):,$$
where, omitting the spin part of $J$ since as far as I unserstand, you are interested in the spatial part of the state only,
$$J_j = sum_r,s=1^3epsilon_jrs X_r P_s = -ihbar sum_r,s=1^3epsilon_jrs X_r fracpartialpartial x_s $$
Computing the $phi$-derivative (using Stone's theorem and some careful analysis about the use of different topologies. I do not want to enter into the details here, I just say that here smoothness of $psi$ matters), we have
$$fracddphipsi'_phi(x) = fracihbarsum_j=1^3 n cdot left(J_jpsi'_phiright)(x)= -sum_j,r,s=1^3 n_j epsilon_jrsx_rfracpartial partial x_spsi'_phi(x):.tag2$$
In summary, for $x$ fixed, $psi_phi(x)$ and $psi'_phi(x)$ satisfy the same first order differential equation (in normal form with smooth known term) and furthermore they satisfy the same initial condition
$$psi_0(x)=psi'_0 (x):.$$
The uniqueness theorem for the solutions of first-order differential equations implies that
$$psi_phi(x)=psi'_phi (x):.$$
In other words
$$left(e^-fracihbar phi n cdot Jpsiright)(x) = psileft(R_n^-1(phi)xright):.$$
(The result extends to the whole $L^2$ space made als of non-smooth functions exploiting the fact that Schwartz' space is dense therein.)
The final step is quite formal, but it can be made rigorous adopting the theory of rigged Hilbert spaces to make rigorous the bra-ket notation for improper eigenvectors of the position operators. In position representation $|yrangle = delta(x-y)= delta_y(x)$, so that, using rotational invariance of the Dirac delta function,
$$left(e^-fracihbar phi n cdot Jdelta_yright)(x) = delta_yleft(R_n^-1(phi)xright)= deltaleft(R_n^-1(phi)x -yright)= deltaleft(x -R_n(phi)yright):.$$
Coming back to the abstract notation, the found identity reads
$$e^-fracihbar phi n cdot J|yrangle = |R_n(phi)yrangle:.$$



(A completely rigorous proof can be found in this book of mine.)






share|cite|improve this answer











$endgroup$




















    3












    $begingroup$

    The most broad definition of the angular momentum operator $bf J$ is the operator that generates rotation, so the equality you want to prove is just the definiton (assumin that the particle we consider does not have any internal degrees of freedom, which could include spin) and as such does not require a proof.



    But what would then needs a proof is the relation between the angular momentum operator and the position operator $$ bf J = bf X times bf P$$
    Let's see that this is satisfied for $bf J_3$, i.e. $$ bf J_3 = bf X_1bf P_2 - bf X_2bf P_1$$
    (other components will be analogous).



    Let us consider an rotation acting on a state $|psirangle = int psi(x) |xrangle dx$.
    $$ exp(- fracihbarphi, bf J_3) int psi(x)|xrangle dx = int psi(x)|R(phi)xrangle dx = int psi(R^-1(phi)x) |xrangle$$
    That means that
    $$ bf J_3 |psirangle = ihbar left.fracddphiright|_phi=0 exp(- fracihbarphi, bf J_3) int psi(x)|xrangle dx = ihbar int left.fracddphiright|_phi=0 psi(R^-1(phi)x) |xrangle$$



    We have $$psi(R^-1(phi)x) = psi(x_1 cosphi + x_2 sinphi,-x_1sinphi+x_2cosphi,x_3) $$
    so
    $$ left.fracddphiright|_phi=0 psi(R^-1(phi)x) = x_2 fracpartial psi(x)partial x_1 - x_1 fracpartial psi(x)partial x_2$$
    so
    beginalign bf J_3|psirangle &= ihbar int Big(x_2 fracpartial psi(x)partial x_1 - x_1 fracpartial psi(x)partial x_2Big) |xrangle = \
    &= -bf X_2 int Big(-ihbarfracpartial psi(x)partial x_1Big) |xrangle dx + bf X_1 int Big(-ihbarfracpartial psi(x)partial x_2Big) |xrangle = \ &= -bf X_2 bf P_1 int psi(x) |xrangle dx + bf X_1 bf P_2 int psi(x) |xrangle = \ &= (bf X_1bf P_2 - bf X_2bf P_1)|psirangle endalign

    so $$ bf J_3 = bf X_1bf P_2 - bf X_2bf P_1$$



    If a particle has internal degrees of freedom, then $$ bf J = bf X times bf P + bf S$$
    where $bf S$ is the spin operator acting on these internal degrees of freedom.






    share|cite|improve this answer









    $endgroup$












    • $begingroup$
      Thank you very much. Together with @Valter Morettis proof this proves the equality.
      $endgroup$
      – TheoreticalMinimum
      Jul 14 at 11:22



















    0












    $begingroup$

    Let's just consider $e^iJ_zphi$ where $hbar=1$.
    We have
    $$R_z=beginbmatrixcos(phi) & sin(phi)&0\-sin(phi)&cos(theta) & 0 \0&0&1endbmatrix$$
    $$J_z=frac1ifracdR_z(phi)dphi|_phi=0=beginbmatrix0 & -i&0\i& 0 & 0 \0&0&0endbmatrix$$



    We can exapnd exponential as:
    $$e^iJ_zphi=1+iJ_zphi-J_z^2phi^2/2!-iJ_z^3phi^3/3!+....$$
    Or
    $$e^iJ_zphi=beginbmatrix1 & 0&0\0 & 1 & 0 \0&0&1endbmatrix+
    phi beginbmatrix0 & 1&0\-1 & 0 & 0 \0&0&0endbmatrix
    +phi^2/2! beginbmatrix-1 & 0&0\0& -1 & 0 \0&0&0endbmatrix+ ...=R_z(phi)$$

    We can do the same for other axes.
    Check out Quantum Field Theory by Lewis H. Ryder/
    Single-particle relativistic wave equation.






    share|cite|improve this answer











    $endgroup$















      Your Answer








      StackExchange.ready(function()
      var channelOptions =
      tags: "".split(" "),
      id: "151"
      ;
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function()
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled)
      StackExchange.using("snippets", function()
      createEditor();
      );

      else
      createEditor();

      );

      function createEditor()
      StackExchange.prepareEditor(
      heartbeatType: 'answer',
      autoActivateHeartbeat: false,
      convertImagesToLinks: false,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: null,
      bindNavPrevention: true,
      postfix: "",
      imageUploader:
      brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
      contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
      allowUrls: true
      ,
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      );



      );













      draft saved

      draft discarded


















      StackExchange.ready(
      function ()
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fphysics.stackexchange.com%2fquestions%2f491530%2fequivalent-definitions-of-total-angular-momentum%23new-answer', 'question_page');

      );

      Post as a guest















      Required, but never shown

























      3 Answers
      3






      active

      oldest

      votes








      3 Answers
      3






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      4












      $begingroup$

      Consider a smooth function $psi$ in $L^2(mathbbR^3, d^3x)$ (more precisely $psi$ is assumed to belong to Schwartz' space) and define for a fixed $n in mathbbS^2$ and $phi in mathbbR$
      $$psi_phi(x)= psi(R^-1_n(phi)x)$$
      Since $R^-1_n(phi) = e^-phi n cdot S$, where $S= (S_x,S_y,S_z)$ are the three generators of $SO(3)$:
      $$(S_j)_rs= epsilon_jrs$$
      we have
      $$fracddphipsi_phi(x) = -sum_j,r,s=1^3 n_j epsilon_jrsx_rfracpartial partial x_spsi_phi(x):.tag1$$
      Now consider
      $$psi'_phi(x)= left(e^fracihbarphi n cdot Jpsiright)(x):,$$
      where, omitting the spin part of $J$ since as far as I unserstand, you are interested in the spatial part of the state only,
      $$J_j = sum_r,s=1^3epsilon_jrs X_r P_s = -ihbar sum_r,s=1^3epsilon_jrs X_r fracpartialpartial x_s $$
      Computing the $phi$-derivative (using Stone's theorem and some careful analysis about the use of different topologies. I do not want to enter into the details here, I just say that here smoothness of $psi$ matters), we have
      $$fracddphipsi'_phi(x) = fracihbarsum_j=1^3 n cdot left(J_jpsi'_phiright)(x)= -sum_j,r,s=1^3 n_j epsilon_jrsx_rfracpartial partial x_spsi'_phi(x):.tag2$$
      In summary, for $x$ fixed, $psi_phi(x)$ and $psi'_phi(x)$ satisfy the same first order differential equation (in normal form with smooth known term) and furthermore they satisfy the same initial condition
      $$psi_0(x)=psi'_0 (x):.$$
      The uniqueness theorem for the solutions of first-order differential equations implies that
      $$psi_phi(x)=psi'_phi (x):.$$
      In other words
      $$left(e^-fracihbar phi n cdot Jpsiright)(x) = psileft(R_n^-1(phi)xright):.$$
      (The result extends to the whole $L^2$ space made als of non-smooth functions exploiting the fact that Schwartz' space is dense therein.)
      The final step is quite formal, but it can be made rigorous adopting the theory of rigged Hilbert spaces to make rigorous the bra-ket notation for improper eigenvectors of the position operators. In position representation $|yrangle = delta(x-y)= delta_y(x)$, so that, using rotational invariance of the Dirac delta function,
      $$left(e^-fracihbar phi n cdot Jdelta_yright)(x) = delta_yleft(R_n^-1(phi)xright)= deltaleft(R_n^-1(phi)x -yright)= deltaleft(x -R_n(phi)yright):.$$
      Coming back to the abstract notation, the found identity reads
      $$e^-fracihbar phi n cdot J|yrangle = |R_n(phi)yrangle:.$$



      (A completely rigorous proof can be found in this book of mine.)






      share|cite|improve this answer











      $endgroup$

















        4












        $begingroup$

        Consider a smooth function $psi$ in $L^2(mathbbR^3, d^3x)$ (more precisely $psi$ is assumed to belong to Schwartz' space) and define for a fixed $n in mathbbS^2$ and $phi in mathbbR$
        $$psi_phi(x)= psi(R^-1_n(phi)x)$$
        Since $R^-1_n(phi) = e^-phi n cdot S$, where $S= (S_x,S_y,S_z)$ are the three generators of $SO(3)$:
        $$(S_j)_rs= epsilon_jrs$$
        we have
        $$fracddphipsi_phi(x) = -sum_j,r,s=1^3 n_j epsilon_jrsx_rfracpartial partial x_spsi_phi(x):.tag1$$
        Now consider
        $$psi'_phi(x)= left(e^fracihbarphi n cdot Jpsiright)(x):,$$
        where, omitting the spin part of $J$ since as far as I unserstand, you are interested in the spatial part of the state only,
        $$J_j = sum_r,s=1^3epsilon_jrs X_r P_s = -ihbar sum_r,s=1^3epsilon_jrs X_r fracpartialpartial x_s $$
        Computing the $phi$-derivative (using Stone's theorem and some careful analysis about the use of different topologies. I do not want to enter into the details here, I just say that here smoothness of $psi$ matters), we have
        $$fracddphipsi'_phi(x) = fracihbarsum_j=1^3 n cdot left(J_jpsi'_phiright)(x)= -sum_j,r,s=1^3 n_j epsilon_jrsx_rfracpartial partial x_spsi'_phi(x):.tag2$$
        In summary, for $x$ fixed, $psi_phi(x)$ and $psi'_phi(x)$ satisfy the same first order differential equation (in normal form with smooth known term) and furthermore they satisfy the same initial condition
        $$psi_0(x)=psi'_0 (x):.$$
        The uniqueness theorem for the solutions of first-order differential equations implies that
        $$psi_phi(x)=psi'_phi (x):.$$
        In other words
        $$left(e^-fracihbar phi n cdot Jpsiright)(x) = psileft(R_n^-1(phi)xright):.$$
        (The result extends to the whole $L^2$ space made als of non-smooth functions exploiting the fact that Schwartz' space is dense therein.)
        The final step is quite formal, but it can be made rigorous adopting the theory of rigged Hilbert spaces to make rigorous the bra-ket notation for improper eigenvectors of the position operators. In position representation $|yrangle = delta(x-y)= delta_y(x)$, so that, using rotational invariance of the Dirac delta function,
        $$left(e^-fracihbar phi n cdot Jdelta_yright)(x) = delta_yleft(R_n^-1(phi)xright)= deltaleft(R_n^-1(phi)x -yright)= deltaleft(x -R_n(phi)yright):.$$
        Coming back to the abstract notation, the found identity reads
        $$e^-fracihbar phi n cdot J|yrangle = |R_n(phi)yrangle:.$$



        (A completely rigorous proof can be found in this book of mine.)






        share|cite|improve this answer











        $endgroup$















          4












          4








          4





          $begingroup$

          Consider a smooth function $psi$ in $L^2(mathbbR^3, d^3x)$ (more precisely $psi$ is assumed to belong to Schwartz' space) and define for a fixed $n in mathbbS^2$ and $phi in mathbbR$
          $$psi_phi(x)= psi(R^-1_n(phi)x)$$
          Since $R^-1_n(phi) = e^-phi n cdot S$, where $S= (S_x,S_y,S_z)$ are the three generators of $SO(3)$:
          $$(S_j)_rs= epsilon_jrs$$
          we have
          $$fracddphipsi_phi(x) = -sum_j,r,s=1^3 n_j epsilon_jrsx_rfracpartial partial x_spsi_phi(x):.tag1$$
          Now consider
          $$psi'_phi(x)= left(e^fracihbarphi n cdot Jpsiright)(x):,$$
          where, omitting the spin part of $J$ since as far as I unserstand, you are interested in the spatial part of the state only,
          $$J_j = sum_r,s=1^3epsilon_jrs X_r P_s = -ihbar sum_r,s=1^3epsilon_jrs X_r fracpartialpartial x_s $$
          Computing the $phi$-derivative (using Stone's theorem and some careful analysis about the use of different topologies. I do not want to enter into the details here, I just say that here smoothness of $psi$ matters), we have
          $$fracddphipsi'_phi(x) = fracihbarsum_j=1^3 n cdot left(J_jpsi'_phiright)(x)= -sum_j,r,s=1^3 n_j epsilon_jrsx_rfracpartial partial x_spsi'_phi(x):.tag2$$
          In summary, for $x$ fixed, $psi_phi(x)$ and $psi'_phi(x)$ satisfy the same first order differential equation (in normal form with smooth known term) and furthermore they satisfy the same initial condition
          $$psi_0(x)=psi'_0 (x):.$$
          The uniqueness theorem for the solutions of first-order differential equations implies that
          $$psi_phi(x)=psi'_phi (x):.$$
          In other words
          $$left(e^-fracihbar phi n cdot Jpsiright)(x) = psileft(R_n^-1(phi)xright):.$$
          (The result extends to the whole $L^2$ space made als of non-smooth functions exploiting the fact that Schwartz' space is dense therein.)
          The final step is quite formal, but it can be made rigorous adopting the theory of rigged Hilbert spaces to make rigorous the bra-ket notation for improper eigenvectors of the position operators. In position representation $|yrangle = delta(x-y)= delta_y(x)$, so that, using rotational invariance of the Dirac delta function,
          $$left(e^-fracihbar phi n cdot Jdelta_yright)(x) = delta_yleft(R_n^-1(phi)xright)= deltaleft(R_n^-1(phi)x -yright)= deltaleft(x -R_n(phi)yright):.$$
          Coming back to the abstract notation, the found identity reads
          $$e^-fracihbar phi n cdot J|yrangle = |R_n(phi)yrangle:.$$



          (A completely rigorous proof can be found in this book of mine.)






          share|cite|improve this answer











          $endgroup$



          Consider a smooth function $psi$ in $L^2(mathbbR^3, d^3x)$ (more precisely $psi$ is assumed to belong to Schwartz' space) and define for a fixed $n in mathbbS^2$ and $phi in mathbbR$
          $$psi_phi(x)= psi(R^-1_n(phi)x)$$
          Since $R^-1_n(phi) = e^-phi n cdot S$, where $S= (S_x,S_y,S_z)$ are the three generators of $SO(3)$:
          $$(S_j)_rs= epsilon_jrs$$
          we have
          $$fracddphipsi_phi(x) = -sum_j,r,s=1^3 n_j epsilon_jrsx_rfracpartial partial x_spsi_phi(x):.tag1$$
          Now consider
          $$psi'_phi(x)= left(e^fracihbarphi n cdot Jpsiright)(x):,$$
          where, omitting the spin part of $J$ since as far as I unserstand, you are interested in the spatial part of the state only,
          $$J_j = sum_r,s=1^3epsilon_jrs X_r P_s = -ihbar sum_r,s=1^3epsilon_jrs X_r fracpartialpartial x_s $$
          Computing the $phi$-derivative (using Stone's theorem and some careful analysis about the use of different topologies. I do not want to enter into the details here, I just say that here smoothness of $psi$ matters), we have
          $$fracddphipsi'_phi(x) = fracihbarsum_j=1^3 n cdot left(J_jpsi'_phiright)(x)= -sum_j,r,s=1^3 n_j epsilon_jrsx_rfracpartial partial x_spsi'_phi(x):.tag2$$
          In summary, for $x$ fixed, $psi_phi(x)$ and $psi'_phi(x)$ satisfy the same first order differential equation (in normal form with smooth known term) and furthermore they satisfy the same initial condition
          $$psi_0(x)=psi'_0 (x):.$$
          The uniqueness theorem for the solutions of first-order differential equations implies that
          $$psi_phi(x)=psi'_phi (x):.$$
          In other words
          $$left(e^-fracihbar phi n cdot Jpsiright)(x) = psileft(R_n^-1(phi)xright):.$$
          (The result extends to the whole $L^2$ space made als of non-smooth functions exploiting the fact that Schwartz' space is dense therein.)
          The final step is quite formal, but it can be made rigorous adopting the theory of rigged Hilbert spaces to make rigorous the bra-ket notation for improper eigenvectors of the position operators. In position representation $|yrangle = delta(x-y)= delta_y(x)$, so that, using rotational invariance of the Dirac delta function,
          $$left(e^-fracihbar phi n cdot Jdelta_yright)(x) = delta_yleft(R_n^-1(phi)xright)= deltaleft(R_n^-1(phi)x -yright)= deltaleft(x -R_n(phi)yright):.$$
          Coming back to the abstract notation, the found identity reads
          $$e^-fracihbar phi n cdot J|yrangle = |R_n(phi)yrangle:.$$



          (A completely rigorous proof can be found in this book of mine.)







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jul 14 at 11:15

























          answered Jul 14 at 10:42









          Valter MorettiValter Moretti

          38.1k4 gold badges73 silver badges145 bronze badges




          38.1k4 gold badges73 silver badges145 bronze badges























              3












              $begingroup$

              The most broad definition of the angular momentum operator $bf J$ is the operator that generates rotation, so the equality you want to prove is just the definiton (assumin that the particle we consider does not have any internal degrees of freedom, which could include spin) and as such does not require a proof.



              But what would then needs a proof is the relation between the angular momentum operator and the position operator $$ bf J = bf X times bf P$$
              Let's see that this is satisfied for $bf J_3$, i.e. $$ bf J_3 = bf X_1bf P_2 - bf X_2bf P_1$$
              (other components will be analogous).



              Let us consider an rotation acting on a state $|psirangle = int psi(x) |xrangle dx$.
              $$ exp(- fracihbarphi, bf J_3) int psi(x)|xrangle dx = int psi(x)|R(phi)xrangle dx = int psi(R^-1(phi)x) |xrangle$$
              That means that
              $$ bf J_3 |psirangle = ihbar left.fracddphiright|_phi=0 exp(- fracihbarphi, bf J_3) int psi(x)|xrangle dx = ihbar int left.fracddphiright|_phi=0 psi(R^-1(phi)x) |xrangle$$



              We have $$psi(R^-1(phi)x) = psi(x_1 cosphi + x_2 sinphi,-x_1sinphi+x_2cosphi,x_3) $$
              so
              $$ left.fracddphiright|_phi=0 psi(R^-1(phi)x) = x_2 fracpartial psi(x)partial x_1 - x_1 fracpartial psi(x)partial x_2$$
              so
              beginalign bf J_3|psirangle &= ihbar int Big(x_2 fracpartial psi(x)partial x_1 - x_1 fracpartial psi(x)partial x_2Big) |xrangle = \
              &= -bf X_2 int Big(-ihbarfracpartial psi(x)partial x_1Big) |xrangle dx + bf X_1 int Big(-ihbarfracpartial psi(x)partial x_2Big) |xrangle = \ &= -bf X_2 bf P_1 int psi(x) |xrangle dx + bf X_1 bf P_2 int psi(x) |xrangle = \ &= (bf X_1bf P_2 - bf X_2bf P_1)|psirangle endalign

              so $$ bf J_3 = bf X_1bf P_2 - bf X_2bf P_1$$



              If a particle has internal degrees of freedom, then $$ bf J = bf X times bf P + bf S$$
              where $bf S$ is the spin operator acting on these internal degrees of freedom.






              share|cite|improve this answer









              $endgroup$












              • $begingroup$
                Thank you very much. Together with @Valter Morettis proof this proves the equality.
                $endgroup$
                – TheoreticalMinimum
                Jul 14 at 11:22
















              3












              $begingroup$

              The most broad definition of the angular momentum operator $bf J$ is the operator that generates rotation, so the equality you want to prove is just the definiton (assumin that the particle we consider does not have any internal degrees of freedom, which could include spin) and as such does not require a proof.



              But what would then needs a proof is the relation between the angular momentum operator and the position operator $$ bf J = bf X times bf P$$
              Let's see that this is satisfied for $bf J_3$, i.e. $$ bf J_3 = bf X_1bf P_2 - bf X_2bf P_1$$
              (other components will be analogous).



              Let us consider an rotation acting on a state $|psirangle = int psi(x) |xrangle dx$.
              $$ exp(- fracihbarphi, bf J_3) int psi(x)|xrangle dx = int psi(x)|R(phi)xrangle dx = int psi(R^-1(phi)x) |xrangle$$
              That means that
              $$ bf J_3 |psirangle = ihbar left.fracddphiright|_phi=0 exp(- fracihbarphi, bf J_3) int psi(x)|xrangle dx = ihbar int left.fracddphiright|_phi=0 psi(R^-1(phi)x) |xrangle$$



              We have $$psi(R^-1(phi)x) = psi(x_1 cosphi + x_2 sinphi,-x_1sinphi+x_2cosphi,x_3) $$
              so
              $$ left.fracddphiright|_phi=0 psi(R^-1(phi)x) = x_2 fracpartial psi(x)partial x_1 - x_1 fracpartial psi(x)partial x_2$$
              so
              beginalign bf J_3|psirangle &= ihbar int Big(x_2 fracpartial psi(x)partial x_1 - x_1 fracpartial psi(x)partial x_2Big) |xrangle = \
              &= -bf X_2 int Big(-ihbarfracpartial psi(x)partial x_1Big) |xrangle dx + bf X_1 int Big(-ihbarfracpartial psi(x)partial x_2Big) |xrangle = \ &= -bf X_2 bf P_1 int psi(x) |xrangle dx + bf X_1 bf P_2 int psi(x) |xrangle = \ &= (bf X_1bf P_2 - bf X_2bf P_1)|psirangle endalign

              so $$ bf J_3 = bf X_1bf P_2 - bf X_2bf P_1$$



              If a particle has internal degrees of freedom, then $$ bf J = bf X times bf P + bf S$$
              where $bf S$ is the spin operator acting on these internal degrees of freedom.






              share|cite|improve this answer









              $endgroup$












              • $begingroup$
                Thank you very much. Together with @Valter Morettis proof this proves the equality.
                $endgroup$
                – TheoreticalMinimum
                Jul 14 at 11:22














              3












              3








              3





              $begingroup$

              The most broad definition of the angular momentum operator $bf J$ is the operator that generates rotation, so the equality you want to prove is just the definiton (assumin that the particle we consider does not have any internal degrees of freedom, which could include spin) and as such does not require a proof.



              But what would then needs a proof is the relation between the angular momentum operator and the position operator $$ bf J = bf X times bf P$$
              Let's see that this is satisfied for $bf J_3$, i.e. $$ bf J_3 = bf X_1bf P_2 - bf X_2bf P_1$$
              (other components will be analogous).



              Let us consider an rotation acting on a state $|psirangle = int psi(x) |xrangle dx$.
              $$ exp(- fracihbarphi, bf J_3) int psi(x)|xrangle dx = int psi(x)|R(phi)xrangle dx = int psi(R^-1(phi)x) |xrangle$$
              That means that
              $$ bf J_3 |psirangle = ihbar left.fracddphiright|_phi=0 exp(- fracihbarphi, bf J_3) int psi(x)|xrangle dx = ihbar int left.fracddphiright|_phi=0 psi(R^-1(phi)x) |xrangle$$



              We have $$psi(R^-1(phi)x) = psi(x_1 cosphi + x_2 sinphi,-x_1sinphi+x_2cosphi,x_3) $$
              so
              $$ left.fracddphiright|_phi=0 psi(R^-1(phi)x) = x_2 fracpartial psi(x)partial x_1 - x_1 fracpartial psi(x)partial x_2$$
              so
              beginalign bf J_3|psirangle &= ihbar int Big(x_2 fracpartial psi(x)partial x_1 - x_1 fracpartial psi(x)partial x_2Big) |xrangle = \
              &= -bf X_2 int Big(-ihbarfracpartial psi(x)partial x_1Big) |xrangle dx + bf X_1 int Big(-ihbarfracpartial psi(x)partial x_2Big) |xrangle = \ &= -bf X_2 bf P_1 int psi(x) |xrangle dx + bf X_1 bf P_2 int psi(x) |xrangle = \ &= (bf X_1bf P_2 - bf X_2bf P_1)|psirangle endalign

              so $$ bf J_3 = bf X_1bf P_2 - bf X_2bf P_1$$



              If a particle has internal degrees of freedom, then $$ bf J = bf X times bf P + bf S$$
              where $bf S$ is the spin operator acting on these internal degrees of freedom.






              share|cite|improve this answer









              $endgroup$



              The most broad definition of the angular momentum operator $bf J$ is the operator that generates rotation, so the equality you want to prove is just the definiton (assumin that the particle we consider does not have any internal degrees of freedom, which could include spin) and as such does not require a proof.



              But what would then needs a proof is the relation between the angular momentum operator and the position operator $$ bf J = bf X times bf P$$
              Let's see that this is satisfied for $bf J_3$, i.e. $$ bf J_3 = bf X_1bf P_2 - bf X_2bf P_1$$
              (other components will be analogous).



              Let us consider an rotation acting on a state $|psirangle = int psi(x) |xrangle dx$.
              $$ exp(- fracihbarphi, bf J_3) int psi(x)|xrangle dx = int psi(x)|R(phi)xrangle dx = int psi(R^-1(phi)x) |xrangle$$
              That means that
              $$ bf J_3 |psirangle = ihbar left.fracddphiright|_phi=0 exp(- fracihbarphi, bf J_3) int psi(x)|xrangle dx = ihbar int left.fracddphiright|_phi=0 psi(R^-1(phi)x) |xrangle$$



              We have $$psi(R^-1(phi)x) = psi(x_1 cosphi + x_2 sinphi,-x_1sinphi+x_2cosphi,x_3) $$
              so
              $$ left.fracddphiright|_phi=0 psi(R^-1(phi)x) = x_2 fracpartial psi(x)partial x_1 - x_1 fracpartial psi(x)partial x_2$$
              so
              beginalign bf J_3|psirangle &= ihbar int Big(x_2 fracpartial psi(x)partial x_1 - x_1 fracpartial psi(x)partial x_2Big) |xrangle = \
              &= -bf X_2 int Big(-ihbarfracpartial psi(x)partial x_1Big) |xrangle dx + bf X_1 int Big(-ihbarfracpartial psi(x)partial x_2Big) |xrangle = \ &= -bf X_2 bf P_1 int psi(x) |xrangle dx + bf X_1 bf P_2 int psi(x) |xrangle = \ &= (bf X_1bf P_2 - bf X_2bf P_1)|psirangle endalign

              so $$ bf J_3 = bf X_1bf P_2 - bf X_2bf P_1$$



              If a particle has internal degrees of freedom, then $$ bf J = bf X times bf P + bf S$$
              where $bf S$ is the spin operator acting on these internal degrees of freedom.







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered Jul 14 at 11:14









              Adam LatosińskiAdam Latosiński

              4204 bronze badges




              4204 bronze badges











              • $begingroup$
                Thank you very much. Together with @Valter Morettis proof this proves the equality.
                $endgroup$
                – TheoreticalMinimum
                Jul 14 at 11:22

















              • $begingroup$
                Thank you very much. Together with @Valter Morettis proof this proves the equality.
                $endgroup$
                – TheoreticalMinimum
                Jul 14 at 11:22
















              $begingroup$
              Thank you very much. Together with @Valter Morettis proof this proves the equality.
              $endgroup$
              – TheoreticalMinimum
              Jul 14 at 11:22





              $begingroup$
              Thank you very much. Together with @Valter Morettis proof this proves the equality.
              $endgroup$
              – TheoreticalMinimum
              Jul 14 at 11:22












              0












              $begingroup$

              Let's just consider $e^iJ_zphi$ where $hbar=1$.
              We have
              $$R_z=beginbmatrixcos(phi) & sin(phi)&0\-sin(phi)&cos(theta) & 0 \0&0&1endbmatrix$$
              $$J_z=frac1ifracdR_z(phi)dphi|_phi=0=beginbmatrix0 & -i&0\i& 0 & 0 \0&0&0endbmatrix$$



              We can exapnd exponential as:
              $$e^iJ_zphi=1+iJ_zphi-J_z^2phi^2/2!-iJ_z^3phi^3/3!+....$$
              Or
              $$e^iJ_zphi=beginbmatrix1 & 0&0\0 & 1 & 0 \0&0&1endbmatrix+
              phi beginbmatrix0 & 1&0\-1 & 0 & 0 \0&0&0endbmatrix
              +phi^2/2! beginbmatrix-1 & 0&0\0& -1 & 0 \0&0&0endbmatrix+ ...=R_z(phi)$$

              We can do the same for other axes.
              Check out Quantum Field Theory by Lewis H. Ryder/
              Single-particle relativistic wave equation.






              share|cite|improve this answer











              $endgroup$

















                0












                $begingroup$

                Let's just consider $e^iJ_zphi$ where $hbar=1$.
                We have
                $$R_z=beginbmatrixcos(phi) & sin(phi)&0\-sin(phi)&cos(theta) & 0 \0&0&1endbmatrix$$
                $$J_z=frac1ifracdR_z(phi)dphi|_phi=0=beginbmatrix0 & -i&0\i& 0 & 0 \0&0&0endbmatrix$$



                We can exapnd exponential as:
                $$e^iJ_zphi=1+iJ_zphi-J_z^2phi^2/2!-iJ_z^3phi^3/3!+....$$
                Or
                $$e^iJ_zphi=beginbmatrix1 & 0&0\0 & 1 & 0 \0&0&1endbmatrix+
                phi beginbmatrix0 & 1&0\-1 & 0 & 0 \0&0&0endbmatrix
                +phi^2/2! beginbmatrix-1 & 0&0\0& -1 & 0 \0&0&0endbmatrix+ ...=R_z(phi)$$

                We can do the same for other axes.
                Check out Quantum Field Theory by Lewis H. Ryder/
                Single-particle relativistic wave equation.






                share|cite|improve this answer











                $endgroup$















                  0












                  0








                  0





                  $begingroup$

                  Let's just consider $e^iJ_zphi$ where $hbar=1$.
                  We have
                  $$R_z=beginbmatrixcos(phi) & sin(phi)&0\-sin(phi)&cos(theta) & 0 \0&0&1endbmatrix$$
                  $$J_z=frac1ifracdR_z(phi)dphi|_phi=0=beginbmatrix0 & -i&0\i& 0 & 0 \0&0&0endbmatrix$$



                  We can exapnd exponential as:
                  $$e^iJ_zphi=1+iJ_zphi-J_z^2phi^2/2!-iJ_z^3phi^3/3!+....$$
                  Or
                  $$e^iJ_zphi=beginbmatrix1 & 0&0\0 & 1 & 0 \0&0&1endbmatrix+
                  phi beginbmatrix0 & 1&0\-1 & 0 & 0 \0&0&0endbmatrix
                  +phi^2/2! beginbmatrix-1 & 0&0\0& -1 & 0 \0&0&0endbmatrix+ ...=R_z(phi)$$

                  We can do the same for other axes.
                  Check out Quantum Field Theory by Lewis H. Ryder/
                  Single-particle relativistic wave equation.






                  share|cite|improve this answer











                  $endgroup$



                  Let's just consider $e^iJ_zphi$ where $hbar=1$.
                  We have
                  $$R_z=beginbmatrixcos(phi) & sin(phi)&0\-sin(phi)&cos(theta) & 0 \0&0&1endbmatrix$$
                  $$J_z=frac1ifracdR_z(phi)dphi|_phi=0=beginbmatrix0 & -i&0\i& 0 & 0 \0&0&0endbmatrix$$



                  We can exapnd exponential as:
                  $$e^iJ_zphi=1+iJ_zphi-J_z^2phi^2/2!-iJ_z^3phi^3/3!+....$$
                  Or
                  $$e^iJ_zphi=beginbmatrix1 & 0&0\0 & 1 & 0 \0&0&1endbmatrix+
                  phi beginbmatrix0 & 1&0\-1 & 0 & 0 \0&0&0endbmatrix
                  +phi^2/2! beginbmatrix-1 & 0&0\0& -1 & 0 \0&0&0endbmatrix+ ...=R_z(phi)$$

                  We can do the same for other axes.
                  Check out Quantum Field Theory by Lewis H. Ryder/
                  Single-particle relativistic wave equation.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Jul 14 at 10:58

























                  answered Jul 14 at 10:53









                  ParadoxyParadoxy

                  6873 silver badges13 bronze badges




                  6873 silver badges13 bronze badges



























                      draft saved

                      draft discarded
















































                      Thanks for contributing an answer to Physics Stack Exchange!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid


                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.

                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fphysics.stackexchange.com%2fquestions%2f491530%2fequivalent-definitions-of-total-angular-momentum%23new-answer', 'question_page');

                      );

                      Post as a guest















                      Required, but never shown





















































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown

































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown







                      Popular posts from this blog

                      Category:9 (number) SubcategoriesMedia in category "9 (number)"Navigation menuUpload mediaGND ID: 4485639-8Library of Congress authority ID: sh85091979ReasonatorScholiaStatistics

                      Circuit construction for execution of conditional statements using least significant bitHow are two different registers being used as “control”?How exactly is the stated composite state of the two registers being produced using the $R_zz$ controlled rotations?Efficiently performing controlled rotations in HHLWould this quantum algorithm implementation work?How to prepare a superposed states of odd integers from $1$ to $sqrtN$?Why is this implementation of the order finding algorithm not working?Circuit construction for Hamiltonian simulationHow can I invert the least significant bit of a certain term of a superposed state?Implementing an oracleImplementing a controlled sum operation

                      Magento 2 “No Payment Methods” in Admin New OrderHow to integrate Paypal Express Checkout with the Magento APIMagento 1.5 - Sales > Order > edit order and shipping methods disappearAuto Invoice Check/Money Order Payment methodAdd more simple payment methods?Shipping methods not showingWhat should I do to change payment methods if changing the configuration has no effects?1.9 - No Payment Methods showing upMy Payment Methods not Showing for downloadable/virtual product when checkout?Magento2 API to access internal payment methodHow to call an existing payment methods in the registration form?