When can one find a canonically conjugate operator?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite












Suppose one is given a self-adjoint operator $A$ acting on an infinite dimensional separable Hilbert space $mathcalH$. Under what conditions can one find an operator $B$ such that $[A,B] = i$? And if this is possible, how does one construct $B$?



For simplicity, assume that $H simeq L_2(mathbbR)$ and that $A = A(X,P)$ is a function of the position $X$ and momentum operator $P$.










share|cite|improve this question

























    up vote
    3
    down vote

    favorite












    Suppose one is given a self-adjoint operator $A$ acting on an infinite dimensional separable Hilbert space $mathcalH$. Under what conditions can one find an operator $B$ such that $[A,B] = i$? And if this is possible, how does one construct $B$?



    For simplicity, assume that $H simeq L_2(mathbbR)$ and that $A = A(X,P)$ is a function of the position $X$ and momentum operator $P$.










    share|cite|improve this question























      up vote
      3
      down vote

      favorite









      up vote
      3
      down vote

      favorite











      Suppose one is given a self-adjoint operator $A$ acting on an infinite dimensional separable Hilbert space $mathcalH$. Under what conditions can one find an operator $B$ such that $[A,B] = i$? And if this is possible, how does one construct $B$?



      For simplicity, assume that $H simeq L_2(mathbbR)$ and that $A = A(X,P)$ is a function of the position $X$ and momentum operator $P$.










      share|cite|improve this question













      Suppose one is given a self-adjoint operator $A$ acting on an infinite dimensional separable Hilbert space $mathcalH$. Under what conditions can one find an operator $B$ such that $[A,B] = i$? And if this is possible, how does one construct $B$?



      For simplicity, assume that $H simeq L_2(mathbbR)$ and that $A = A(X,P)$ is a function of the position $X$ and momentum operator $P$.







      quantum-mechanics operators hilbert-space canonical-conjugation






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 1 hour ago









      e4alex

      283




      283




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          5
          down vote













          There is a conjugate operator if and only if there is a unitary operator $U$ such that $UAU^dagger = X$. This is a consequence of the Stone-von Neumann theorem - all representations of the canonical commutation relations are unitarily equivalent.






          share|cite|improve this answer






















          • Agreed! But given $A$ how does one know if such a $U$ exists? And how does one find $U$?
            – e4alex
            1 hour ago










          • @e4alex I've appended the answer.
            – ACuriousMind♦
            1 hour ago










          • Thank you for your answer. So if I understand you, if and only if the spectrum of $A$ is equal to the spectrum of $X$, which coincides with the entire real line $mathbbR$, then there exists such a unitary $U$. This implies that for $B$ to exist then the spectrum of $A$ is $mathbbR$.
            – e4alex
            37 mins ago










          • However, consider A = P^2, the spectrum of which coincides with the positive real line $mathbbR_+$, which is not equal to the spectrum of $X$. And yet $A = P^2$ is canonically conjugate to the operator $B = -frac14 left(frac1P X + X frac1P right)$. In this case the spectrum of $A$ is not equal to the spectrum of $X$. Also, what if the spectrum of $A$ is degenerate? How is the unitary constructed?
            – e4alex
            11 mins ago











          • @e4alex Ah, unbounded operators, they never play nice. My claim only holds for bounded operators...
            – ACuriousMind♦
            5 mins ago










          Your Answer





          StackExchange.ifUsing("editor", function ()
          return StackExchange.using("mathjaxEditing", function ()
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          );
          );
          , "mathjax-editing");

          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',
          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%2f438109%2fwhen-can-one-find-a-canonically-conjugate-operator%23new-answer', 'question_page');

          );

          Post as a guest






























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          5
          down vote













          There is a conjugate operator if and only if there is a unitary operator $U$ such that $UAU^dagger = X$. This is a consequence of the Stone-von Neumann theorem - all representations of the canonical commutation relations are unitarily equivalent.






          share|cite|improve this answer






















          • Agreed! But given $A$ how does one know if such a $U$ exists? And how does one find $U$?
            – e4alex
            1 hour ago










          • @e4alex I've appended the answer.
            – ACuriousMind♦
            1 hour ago










          • Thank you for your answer. So if I understand you, if and only if the spectrum of $A$ is equal to the spectrum of $X$, which coincides with the entire real line $mathbbR$, then there exists such a unitary $U$. This implies that for $B$ to exist then the spectrum of $A$ is $mathbbR$.
            – e4alex
            37 mins ago










          • However, consider A = P^2, the spectrum of which coincides with the positive real line $mathbbR_+$, which is not equal to the spectrum of $X$. And yet $A = P^2$ is canonically conjugate to the operator $B = -frac14 left(frac1P X + X frac1P right)$. In this case the spectrum of $A$ is not equal to the spectrum of $X$. Also, what if the spectrum of $A$ is degenerate? How is the unitary constructed?
            – e4alex
            11 mins ago











          • @e4alex Ah, unbounded operators, they never play nice. My claim only holds for bounded operators...
            – ACuriousMind♦
            5 mins ago














          up vote
          5
          down vote













          There is a conjugate operator if and only if there is a unitary operator $U$ such that $UAU^dagger = X$. This is a consequence of the Stone-von Neumann theorem - all representations of the canonical commutation relations are unitarily equivalent.






          share|cite|improve this answer






















          • Agreed! But given $A$ how does one know if such a $U$ exists? And how does one find $U$?
            – e4alex
            1 hour ago










          • @e4alex I've appended the answer.
            – ACuriousMind♦
            1 hour ago










          • Thank you for your answer. So if I understand you, if and only if the spectrum of $A$ is equal to the spectrum of $X$, which coincides with the entire real line $mathbbR$, then there exists such a unitary $U$. This implies that for $B$ to exist then the spectrum of $A$ is $mathbbR$.
            – e4alex
            37 mins ago










          • However, consider A = P^2, the spectrum of which coincides with the positive real line $mathbbR_+$, which is not equal to the spectrum of $X$. And yet $A = P^2$ is canonically conjugate to the operator $B = -frac14 left(frac1P X + X frac1P right)$. In this case the spectrum of $A$ is not equal to the spectrum of $X$. Also, what if the spectrum of $A$ is degenerate? How is the unitary constructed?
            – e4alex
            11 mins ago











          • @e4alex Ah, unbounded operators, they never play nice. My claim only holds for bounded operators...
            – ACuriousMind♦
            5 mins ago












          up vote
          5
          down vote










          up vote
          5
          down vote









          There is a conjugate operator if and only if there is a unitary operator $U$ such that $UAU^dagger = X$. This is a consequence of the Stone-von Neumann theorem - all representations of the canonical commutation relations are unitarily equivalent.






          share|cite|improve this answer














          There is a conjugate operator if and only if there is a unitary operator $U$ such that $UAU^dagger = X$. This is a consequence of the Stone-von Neumann theorem - all representations of the canonical commutation relations are unitarily equivalent.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited 4 mins ago

























          answered 1 hour ago









          ACuriousMind♦

          68.9k17118296




          68.9k17118296











          • Agreed! But given $A$ how does one know if such a $U$ exists? And how does one find $U$?
            – e4alex
            1 hour ago










          • @e4alex I've appended the answer.
            – ACuriousMind♦
            1 hour ago










          • Thank you for your answer. So if I understand you, if and only if the spectrum of $A$ is equal to the spectrum of $X$, which coincides with the entire real line $mathbbR$, then there exists such a unitary $U$. This implies that for $B$ to exist then the spectrum of $A$ is $mathbbR$.
            – e4alex
            37 mins ago










          • However, consider A = P^2, the spectrum of which coincides with the positive real line $mathbbR_+$, which is not equal to the spectrum of $X$. And yet $A = P^2$ is canonically conjugate to the operator $B = -frac14 left(frac1P X + X frac1P right)$. In this case the spectrum of $A$ is not equal to the spectrum of $X$. Also, what if the spectrum of $A$ is degenerate? How is the unitary constructed?
            – e4alex
            11 mins ago











          • @e4alex Ah, unbounded operators, they never play nice. My claim only holds for bounded operators...
            – ACuriousMind♦
            5 mins ago
















          • Agreed! But given $A$ how does one know if such a $U$ exists? And how does one find $U$?
            – e4alex
            1 hour ago










          • @e4alex I've appended the answer.
            – ACuriousMind♦
            1 hour ago










          • Thank you for your answer. So if I understand you, if and only if the spectrum of $A$ is equal to the spectrum of $X$, which coincides with the entire real line $mathbbR$, then there exists such a unitary $U$. This implies that for $B$ to exist then the spectrum of $A$ is $mathbbR$.
            – e4alex
            37 mins ago










          • However, consider A = P^2, the spectrum of which coincides with the positive real line $mathbbR_+$, which is not equal to the spectrum of $X$. And yet $A = P^2$ is canonically conjugate to the operator $B = -frac14 left(frac1P X + X frac1P right)$. In this case the spectrum of $A$ is not equal to the spectrum of $X$. Also, what if the spectrum of $A$ is degenerate? How is the unitary constructed?
            – e4alex
            11 mins ago











          • @e4alex Ah, unbounded operators, they never play nice. My claim only holds for bounded operators...
            – ACuriousMind♦
            5 mins ago















          Agreed! But given $A$ how does one know if such a $U$ exists? And how does one find $U$?
          – e4alex
          1 hour ago




          Agreed! But given $A$ how does one know if such a $U$ exists? And how does one find $U$?
          – e4alex
          1 hour ago












          @e4alex I've appended the answer.
          – ACuriousMind♦
          1 hour ago




          @e4alex I've appended the answer.
          – ACuriousMind♦
          1 hour ago












          Thank you for your answer. So if I understand you, if and only if the spectrum of $A$ is equal to the spectrum of $X$, which coincides with the entire real line $mathbbR$, then there exists such a unitary $U$. This implies that for $B$ to exist then the spectrum of $A$ is $mathbbR$.
          – e4alex
          37 mins ago




          Thank you for your answer. So if I understand you, if and only if the spectrum of $A$ is equal to the spectrum of $X$, which coincides with the entire real line $mathbbR$, then there exists such a unitary $U$. This implies that for $B$ to exist then the spectrum of $A$ is $mathbbR$.
          – e4alex
          37 mins ago












          However, consider A = P^2, the spectrum of which coincides with the positive real line $mathbbR_+$, which is not equal to the spectrum of $X$. And yet $A = P^2$ is canonically conjugate to the operator $B = -frac14 left(frac1P X + X frac1P right)$. In this case the spectrum of $A$ is not equal to the spectrum of $X$. Also, what if the spectrum of $A$ is degenerate? How is the unitary constructed?
          – e4alex
          11 mins ago





          However, consider A = P^2, the spectrum of which coincides with the positive real line $mathbbR_+$, which is not equal to the spectrum of $X$. And yet $A = P^2$ is canonically conjugate to the operator $B = -frac14 left(frac1P X + X frac1P right)$. In this case the spectrum of $A$ is not equal to the spectrum of $X$. Also, what if the spectrum of $A$ is degenerate? How is the unitary constructed?
          – e4alex
          11 mins ago













          @e4alex Ah, unbounded operators, they never play nice. My claim only holds for bounded operators...
          – ACuriousMind♦
          5 mins ago




          @e4alex Ah, unbounded operators, they never play nice. My claim only holds for bounded operators...
          – ACuriousMind♦
          5 mins ago

















           

          draft saved


          draft discarded















































           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fphysics.stackexchange.com%2fquestions%2f438109%2fwhen-can-one-find-a-canonically-conjugate-operator%23new-answer', 'question_page');

          );

          Post as a guest













































































          Comments

          Popular posts from this blog

          Long meetings (6-7 hours a day): Being “babysat” by supervisor

          Is the Concept of Multiple Fantasy Races Scientifically Flawed? [closed]

          Confectionery