Integral Notations in Quantum MechanicsWhy is the $dx$ right next to the integral sign in QFT literature?Is there a recognised standard for typesetting quantum mechanical operators?What's the correct link between Dirac notation and wave mechanics integrals?Notation of integralsLine integral in cylindrical coordinates? Confused over notationWhat is the meaning of the double complex integral notation used in physics?flux-flux correlation function under Feynman's path integralBreaking up an Integral FurtherHow does spin enter into the path integral approach to quantum mechanics?Hermitian operator followed by another hermitian operator – is it also hermitian?Time evolution operator in QM

What (the heck) is a Super Worm Equinox Moon?

What is this high flying aircraft over Pennsylvania?

Do I have to take mana from my deck or hand when tapping a dual land?

ContourPlot — How do I color by contour curvature?

How to get directions in deep space?

Is there a distance limit for minecart tracks?

What does "tick" mean in this sentence?

Should I assume I have passed probation?

Does Doodling or Improvising on the Piano Have Any Benefits?

Giving feedback to someone without sounding prejudiced

Why can't the Brexit deadlock in the UK parliament be solved with a plurality vote?

How do I prevent inappropriate ads from appearing in my game?

How do you justify more code being written by following clean code practices?

Can I say "fingers" when referring to toes?

How to make money from a browser who sees 5 seconds into the future of any web page?

Pre-Employment Background Check With Consent For Future Checks

Can I cause damage to electrical appliances by unplugging them when they are turned on?

How to make a list of partial sums using forEach

Would this string work as string?

Echo with obfuscation

Mimic lecturing on blackboard, facing audience

Air travel with refrigerated insulin

How do I tell my boss that I'm quitting in 15 days (a colleague left this week)

Sigmoid with a slope but no asymptotes?



Integral Notations in Quantum Mechanics


Why is the $dx$ right next to the integral sign in QFT literature?Is there a recognised standard for typesetting quantum mechanical operators?What's the correct link between Dirac notation and wave mechanics integrals?Notation of integralsLine integral in cylindrical coordinates? Confused over notationWhat is the meaning of the double complex integral notation used in physics?flux-flux correlation function under Feynman's path integralBreaking up an Integral FurtherHow does spin enter into the path integral approach to quantum mechanics?Hermitian operator followed by another hermitian operator – is it also hermitian?Time evolution operator in QM













1












$begingroup$


I've been learning about Quantum Dynamics, time evolution operators, etc. I am confused about the notation used in integrals. Normally I am used to integrals written in this way (with $dx$ on the right side):
$$int f(x)dx$$

In this manner of notation, I can easily see the integrand as it is sandwiched by the integral sign and the $dx$.
However, I often see integrals written in this way (with $dx$ beside the integral sign):
$$int dx f(x)$$
Is this notation not ambiguous? This is especially confusing for me when used in products, as I cannot identify what is the integrand sometimes. For example, I don't understand which is true in the following (when evaluating time evolution operator): $$beginalignleft(int ^t_t_0 dt' H(t')right)^2stackrel?=int ^t_t_0 H(t') dt'int ^t_t_0 H(t'')dt''\stackrel?=int ^t_t_0 dt' H(t')int ^t_t_0 dt'' H(t'')\stackrel?=int ^t_t_0 dt'int ^t_t_0 dt'' H(t') H(t'') endalign$$



The last line is especially confusing for me as I'm not sure if the integrand changes. Could I please get clarification for these different notations? Is there a reason for such notation? (If I'm not wrong, it is to group the integrals and the integrands in separate places for convenience? I'm not sure if it sacrifices clarity for this though.)



EDIT: There is also an issue of when operators are involved:
$$beginalignint dx hatF(x) hatG(x)stackrel?=int hatF(x)dxhatG(x)\stackrel?=int hatF(x)hatG(x)dxendalign$$
How do you know which operator is in the integrand? And assuming the general case where $hatF$ and $hatG$ do not commute, you cannot write the integral with $hatG(x)$ on the left of the integral. How is this not ambiguous?










share|cite|improve this question











$endgroup$











  • $begingroup$
    Related: physics.stackexchange.com/q/200378/2451, math.stackexchange.com/q/387572/11127
    $endgroup$
    – Qmechanic
    1 hour ago
















1












$begingroup$


I've been learning about Quantum Dynamics, time evolution operators, etc. I am confused about the notation used in integrals. Normally I am used to integrals written in this way (with $dx$ on the right side):
$$int f(x)dx$$

In this manner of notation, I can easily see the integrand as it is sandwiched by the integral sign and the $dx$.
However, I often see integrals written in this way (with $dx$ beside the integral sign):
$$int dx f(x)$$
Is this notation not ambiguous? This is especially confusing for me when used in products, as I cannot identify what is the integrand sometimes. For example, I don't understand which is true in the following (when evaluating time evolution operator): $$beginalignleft(int ^t_t_0 dt' H(t')right)^2stackrel?=int ^t_t_0 H(t') dt'int ^t_t_0 H(t'')dt''\stackrel?=int ^t_t_0 dt' H(t')int ^t_t_0 dt'' H(t'')\stackrel?=int ^t_t_0 dt'int ^t_t_0 dt'' H(t') H(t'') endalign$$



The last line is especially confusing for me as I'm not sure if the integrand changes. Could I please get clarification for these different notations? Is there a reason for such notation? (If I'm not wrong, it is to group the integrals and the integrands in separate places for convenience? I'm not sure if it sacrifices clarity for this though.)



EDIT: There is also an issue of when operators are involved:
$$beginalignint dx hatF(x) hatG(x)stackrel?=int hatF(x)dxhatG(x)\stackrel?=int hatF(x)hatG(x)dxendalign$$
How do you know which operator is in the integrand? And assuming the general case where $hatF$ and $hatG$ do not commute, you cannot write the integral with $hatG(x)$ on the left of the integral. How is this not ambiguous?










share|cite|improve this question











$endgroup$











  • $begingroup$
    Related: physics.stackexchange.com/q/200378/2451, math.stackexchange.com/q/387572/11127
    $endgroup$
    – Qmechanic
    1 hour ago














1












1








1





$begingroup$


I've been learning about Quantum Dynamics, time evolution operators, etc. I am confused about the notation used in integrals. Normally I am used to integrals written in this way (with $dx$ on the right side):
$$int f(x)dx$$

In this manner of notation, I can easily see the integrand as it is sandwiched by the integral sign and the $dx$.
However, I often see integrals written in this way (with $dx$ beside the integral sign):
$$int dx f(x)$$
Is this notation not ambiguous? This is especially confusing for me when used in products, as I cannot identify what is the integrand sometimes. For example, I don't understand which is true in the following (when evaluating time evolution operator): $$beginalignleft(int ^t_t_0 dt' H(t')right)^2stackrel?=int ^t_t_0 H(t') dt'int ^t_t_0 H(t'')dt''\stackrel?=int ^t_t_0 dt' H(t')int ^t_t_0 dt'' H(t'')\stackrel?=int ^t_t_0 dt'int ^t_t_0 dt'' H(t') H(t'') endalign$$



The last line is especially confusing for me as I'm not sure if the integrand changes. Could I please get clarification for these different notations? Is there a reason for such notation? (If I'm not wrong, it is to group the integrals and the integrands in separate places for convenience? I'm not sure if it sacrifices clarity for this though.)



EDIT: There is also an issue of when operators are involved:
$$beginalignint dx hatF(x) hatG(x)stackrel?=int hatF(x)dxhatG(x)\stackrel?=int hatF(x)hatG(x)dxendalign$$
How do you know which operator is in the integrand? And assuming the general case where $hatF$ and $hatG$ do not commute, you cannot write the integral with $hatG(x)$ on the left of the integral. How is this not ambiguous?










share|cite|improve this question











$endgroup$




I've been learning about Quantum Dynamics, time evolution operators, etc. I am confused about the notation used in integrals. Normally I am used to integrals written in this way (with $dx$ on the right side):
$$int f(x)dx$$

In this manner of notation, I can easily see the integrand as it is sandwiched by the integral sign and the $dx$.
However, I often see integrals written in this way (with $dx$ beside the integral sign):
$$int dx f(x)$$
Is this notation not ambiguous? This is especially confusing for me when used in products, as I cannot identify what is the integrand sometimes. For example, I don't understand which is true in the following (when evaluating time evolution operator): $$beginalignleft(int ^t_t_0 dt' H(t')right)^2stackrel?=int ^t_t_0 H(t') dt'int ^t_t_0 H(t'')dt''\stackrel?=int ^t_t_0 dt' H(t')int ^t_t_0 dt'' H(t'')\stackrel?=int ^t_t_0 dt'int ^t_t_0 dt'' H(t') H(t'') endalign$$



The last line is especially confusing for me as I'm not sure if the integrand changes. Could I please get clarification for these different notations? Is there a reason for such notation? (If I'm not wrong, it is to group the integrals and the integrands in separate places for convenience? I'm not sure if it sacrifices clarity for this though.)



EDIT: There is also an issue of when operators are involved:
$$beginalignint dx hatF(x) hatG(x)stackrel?=int hatF(x)dxhatG(x)\stackrel?=int hatF(x)hatG(x)dxendalign$$
How do you know which operator is in the integrand? And assuming the general case where $hatF$ and $hatG$ do not commute, you cannot write the integral with $hatG(x)$ on the left of the integral. How is this not ambiguous?







quantum-mechanics notation integration






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 1 hour ago







Hexiang Chang

















asked 1 hour ago









Hexiang ChangHexiang Chang

100211




100211











  • $begingroup$
    Related: physics.stackexchange.com/q/200378/2451, math.stackexchange.com/q/387572/11127
    $endgroup$
    – Qmechanic
    1 hour ago

















  • $begingroup$
    Related: physics.stackexchange.com/q/200378/2451, math.stackexchange.com/q/387572/11127
    $endgroup$
    – Qmechanic
    1 hour ago
















$begingroup$
Related: physics.stackexchange.com/q/200378/2451, math.stackexchange.com/q/387572/11127
$endgroup$
– Qmechanic
1 hour ago





$begingroup$
Related: physics.stackexchange.com/q/200378/2451, math.stackexchange.com/q/387572/11127
$endgroup$
– Qmechanic
1 hour ago











2 Answers
2






active

oldest

votes


















3












$begingroup$

I started seeing $$int dx f(x)$$ in my freshman year of undergraduate.
It's pretty common and the more you learn about integration the more it makes sense.



Now, regarding this part:




$$beginalignleft(int ^t_t_0 dt' H(t')right)^2stackrel?=int ^t_t_0 H(t') dt'int ^t_t_0 H(t'')dt''\stackrel?=int ^t_t_0 dt' H(t')int ^t_t_0 dt'' H(t'')\stackrel?=int ^t_t_0 dt'int ^t_t_0 dt'' H(t') H(t'') endalign$$




All of the equals signs there are correct.
Integrals factor like this:
$$
int dx int dy , f(x) , g(y) =
left( int dx , f(x) right) left( int dy ,g(y) right) , ,
$$

which is all you did there.
In fact, these are all the same:
beginalign
int int dx , dy , f(x) g(y)
&= int dx int dy , f(x) g(y) \
&= int dx , dy , f(x) g(y) \
&= left( int dx , f(x) right) left( int dy , g(y) right) \
&= left( int dx , f(x) right) left( int dx , g(x) right) \
endalign

Note, however, that you cannot factor something like this:
$$
int_0^t f(t') left( int_0^t' dt'' f(t'') right) dt'
$$

because the limit of the second integral depends on the first integral's integration variable.
You can, however, write it as
$$
int_0^t dt' f(t') int_0^t' dt'' f(t'') , .
$$



Operators




There is also an issue of when operators are involved:
$$beginalignint dx hatF(x) hatG(x)stackrel?=int hatF(x)dxhatG(x)\stackrel?=int hatF(x)hatG(x)dxendalign$$




There's really no difference.
The key is to remember that the $dx$ really doesn't mean anything other than to remind you which variable(s) in the integrand is being integrated.
By convention we tend to write the $dx$ either at the front or at the end.
I've never seen it written in the middle like that.
I think everyone would know what you mean, but putting the $dx$ is the middle of the integrands runs the risk that a reader won't notice them.




How do you know which operator is in the integrand?




Ok that's a good question!
It really comes down to the fact that notation has to be clear.
If you use the symbol $x$ to denote both an integration variable and a not-integrated variable, that's just asking for trouble.
It also shouldn't ever happen because integration variables are consumed by the integral, so they can't be referred to anywhere else in an equation.
For example, this makes no sense:
$$ g(x) = int_0^1 sin(x) dx$$
because there's no "free" $x$ on the right hand side.




And assuming the general case where $hatF$ and $hatG$ do not commute, you cannot write the integral with $hatG(x)$ on the left of the integral. How is this not ambiguous?




Well, you certainly would not write
$$ int dx hat F(x) hat G(x) neq left( int dx hat F(x) right) hat G(x) , .$$
That just makes no sense.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Thank you for a great answer! Could you please address my edit as well?
    $endgroup$
    – Hexiang Chang
    1 hour ago










  • $begingroup$
    I'm so sorry, I forgot that I needed to ask that as well
    $endgroup$
    – Hexiang Chang
    1 hour ago


















1












$begingroup$

The notation is not ambiguous; it's purely convention. The correspondence is



$$
left(
int_t_1^t_2 H(t) dt right) left( int_t'_1^t'_2H(t',t)dt' right)
iff int_t_1^t_2int_t'_1^t'_2H(t)H(t',t)dt' dt.
$$



That is instead of evaluating "inside out" we evaluate the integrals from right to left.




If you square an integral as



$$ left(int ^t_t_0 dt' H(t')right)^2 $$



you should know that in general these two integrals don't talk to one another, except in very special cases. That is, they are completely separate entities.






share|cite|improve this answer











$endgroup$












    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',
    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%2f467758%2fintegral-notations-in-quantum-mechanics%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    3












    $begingroup$

    I started seeing $$int dx f(x)$$ in my freshman year of undergraduate.
    It's pretty common and the more you learn about integration the more it makes sense.



    Now, regarding this part:




    $$beginalignleft(int ^t_t_0 dt' H(t')right)^2stackrel?=int ^t_t_0 H(t') dt'int ^t_t_0 H(t'')dt''\stackrel?=int ^t_t_0 dt' H(t')int ^t_t_0 dt'' H(t'')\stackrel?=int ^t_t_0 dt'int ^t_t_0 dt'' H(t') H(t'') endalign$$




    All of the equals signs there are correct.
    Integrals factor like this:
    $$
    int dx int dy , f(x) , g(y) =
    left( int dx , f(x) right) left( int dy ,g(y) right) , ,
    $$

    which is all you did there.
    In fact, these are all the same:
    beginalign
    int int dx , dy , f(x) g(y)
    &= int dx int dy , f(x) g(y) \
    &= int dx , dy , f(x) g(y) \
    &= left( int dx , f(x) right) left( int dy , g(y) right) \
    &= left( int dx , f(x) right) left( int dx , g(x) right) \
    endalign

    Note, however, that you cannot factor something like this:
    $$
    int_0^t f(t') left( int_0^t' dt'' f(t'') right) dt'
    $$

    because the limit of the second integral depends on the first integral's integration variable.
    You can, however, write it as
    $$
    int_0^t dt' f(t') int_0^t' dt'' f(t'') , .
    $$



    Operators




    There is also an issue of when operators are involved:
    $$beginalignint dx hatF(x) hatG(x)stackrel?=int hatF(x)dxhatG(x)\stackrel?=int hatF(x)hatG(x)dxendalign$$




    There's really no difference.
    The key is to remember that the $dx$ really doesn't mean anything other than to remind you which variable(s) in the integrand is being integrated.
    By convention we tend to write the $dx$ either at the front or at the end.
    I've never seen it written in the middle like that.
    I think everyone would know what you mean, but putting the $dx$ is the middle of the integrands runs the risk that a reader won't notice them.




    How do you know which operator is in the integrand?




    Ok that's a good question!
    It really comes down to the fact that notation has to be clear.
    If you use the symbol $x$ to denote both an integration variable and a not-integrated variable, that's just asking for trouble.
    It also shouldn't ever happen because integration variables are consumed by the integral, so they can't be referred to anywhere else in an equation.
    For example, this makes no sense:
    $$ g(x) = int_0^1 sin(x) dx$$
    because there's no "free" $x$ on the right hand side.




    And assuming the general case where $hatF$ and $hatG$ do not commute, you cannot write the integral with $hatG(x)$ on the left of the integral. How is this not ambiguous?




    Well, you certainly would not write
    $$ int dx hat F(x) hat G(x) neq left( int dx hat F(x) right) hat G(x) , .$$
    That just makes no sense.






    share|cite|improve this answer











    $endgroup$












    • $begingroup$
      Thank you for a great answer! Could you please address my edit as well?
      $endgroup$
      – Hexiang Chang
      1 hour ago










    • $begingroup$
      I'm so sorry, I forgot that I needed to ask that as well
      $endgroup$
      – Hexiang Chang
      1 hour ago















    3












    $begingroup$

    I started seeing $$int dx f(x)$$ in my freshman year of undergraduate.
    It's pretty common and the more you learn about integration the more it makes sense.



    Now, regarding this part:




    $$beginalignleft(int ^t_t_0 dt' H(t')right)^2stackrel?=int ^t_t_0 H(t') dt'int ^t_t_0 H(t'')dt''\stackrel?=int ^t_t_0 dt' H(t')int ^t_t_0 dt'' H(t'')\stackrel?=int ^t_t_0 dt'int ^t_t_0 dt'' H(t') H(t'') endalign$$




    All of the equals signs there are correct.
    Integrals factor like this:
    $$
    int dx int dy , f(x) , g(y) =
    left( int dx , f(x) right) left( int dy ,g(y) right) , ,
    $$

    which is all you did there.
    In fact, these are all the same:
    beginalign
    int int dx , dy , f(x) g(y)
    &= int dx int dy , f(x) g(y) \
    &= int dx , dy , f(x) g(y) \
    &= left( int dx , f(x) right) left( int dy , g(y) right) \
    &= left( int dx , f(x) right) left( int dx , g(x) right) \
    endalign

    Note, however, that you cannot factor something like this:
    $$
    int_0^t f(t') left( int_0^t' dt'' f(t'') right) dt'
    $$

    because the limit of the second integral depends on the first integral's integration variable.
    You can, however, write it as
    $$
    int_0^t dt' f(t') int_0^t' dt'' f(t'') , .
    $$



    Operators




    There is also an issue of when operators are involved:
    $$beginalignint dx hatF(x) hatG(x)stackrel?=int hatF(x)dxhatG(x)\stackrel?=int hatF(x)hatG(x)dxendalign$$




    There's really no difference.
    The key is to remember that the $dx$ really doesn't mean anything other than to remind you which variable(s) in the integrand is being integrated.
    By convention we tend to write the $dx$ either at the front or at the end.
    I've never seen it written in the middle like that.
    I think everyone would know what you mean, but putting the $dx$ is the middle of the integrands runs the risk that a reader won't notice them.




    How do you know which operator is in the integrand?




    Ok that's a good question!
    It really comes down to the fact that notation has to be clear.
    If you use the symbol $x$ to denote both an integration variable and a not-integrated variable, that's just asking for trouble.
    It also shouldn't ever happen because integration variables are consumed by the integral, so they can't be referred to anywhere else in an equation.
    For example, this makes no sense:
    $$ g(x) = int_0^1 sin(x) dx$$
    because there's no "free" $x$ on the right hand side.




    And assuming the general case where $hatF$ and $hatG$ do not commute, you cannot write the integral with $hatG(x)$ on the left of the integral. How is this not ambiguous?




    Well, you certainly would not write
    $$ int dx hat F(x) hat G(x) neq left( int dx hat F(x) right) hat G(x) , .$$
    That just makes no sense.






    share|cite|improve this answer











    $endgroup$












    • $begingroup$
      Thank you for a great answer! Could you please address my edit as well?
      $endgroup$
      – Hexiang Chang
      1 hour ago










    • $begingroup$
      I'm so sorry, I forgot that I needed to ask that as well
      $endgroup$
      – Hexiang Chang
      1 hour ago













    3












    3








    3





    $begingroup$

    I started seeing $$int dx f(x)$$ in my freshman year of undergraduate.
    It's pretty common and the more you learn about integration the more it makes sense.



    Now, regarding this part:




    $$beginalignleft(int ^t_t_0 dt' H(t')right)^2stackrel?=int ^t_t_0 H(t') dt'int ^t_t_0 H(t'')dt''\stackrel?=int ^t_t_0 dt' H(t')int ^t_t_0 dt'' H(t'')\stackrel?=int ^t_t_0 dt'int ^t_t_0 dt'' H(t') H(t'') endalign$$




    All of the equals signs there are correct.
    Integrals factor like this:
    $$
    int dx int dy , f(x) , g(y) =
    left( int dx , f(x) right) left( int dy ,g(y) right) , ,
    $$

    which is all you did there.
    In fact, these are all the same:
    beginalign
    int int dx , dy , f(x) g(y)
    &= int dx int dy , f(x) g(y) \
    &= int dx , dy , f(x) g(y) \
    &= left( int dx , f(x) right) left( int dy , g(y) right) \
    &= left( int dx , f(x) right) left( int dx , g(x) right) \
    endalign

    Note, however, that you cannot factor something like this:
    $$
    int_0^t f(t') left( int_0^t' dt'' f(t'') right) dt'
    $$

    because the limit of the second integral depends on the first integral's integration variable.
    You can, however, write it as
    $$
    int_0^t dt' f(t') int_0^t' dt'' f(t'') , .
    $$



    Operators




    There is also an issue of when operators are involved:
    $$beginalignint dx hatF(x) hatG(x)stackrel?=int hatF(x)dxhatG(x)\stackrel?=int hatF(x)hatG(x)dxendalign$$




    There's really no difference.
    The key is to remember that the $dx$ really doesn't mean anything other than to remind you which variable(s) in the integrand is being integrated.
    By convention we tend to write the $dx$ either at the front or at the end.
    I've never seen it written in the middle like that.
    I think everyone would know what you mean, but putting the $dx$ is the middle of the integrands runs the risk that a reader won't notice them.




    How do you know which operator is in the integrand?




    Ok that's a good question!
    It really comes down to the fact that notation has to be clear.
    If you use the symbol $x$ to denote both an integration variable and a not-integrated variable, that's just asking for trouble.
    It also shouldn't ever happen because integration variables are consumed by the integral, so they can't be referred to anywhere else in an equation.
    For example, this makes no sense:
    $$ g(x) = int_0^1 sin(x) dx$$
    because there's no "free" $x$ on the right hand side.




    And assuming the general case where $hatF$ and $hatG$ do not commute, you cannot write the integral with $hatG(x)$ on the left of the integral. How is this not ambiguous?




    Well, you certainly would not write
    $$ int dx hat F(x) hat G(x) neq left( int dx hat F(x) right) hat G(x) , .$$
    That just makes no sense.






    share|cite|improve this answer











    $endgroup$



    I started seeing $$int dx f(x)$$ in my freshman year of undergraduate.
    It's pretty common and the more you learn about integration the more it makes sense.



    Now, regarding this part:




    $$beginalignleft(int ^t_t_0 dt' H(t')right)^2stackrel?=int ^t_t_0 H(t') dt'int ^t_t_0 H(t'')dt''\stackrel?=int ^t_t_0 dt' H(t')int ^t_t_0 dt'' H(t'')\stackrel?=int ^t_t_0 dt'int ^t_t_0 dt'' H(t') H(t'') endalign$$




    All of the equals signs there are correct.
    Integrals factor like this:
    $$
    int dx int dy , f(x) , g(y) =
    left( int dx , f(x) right) left( int dy ,g(y) right) , ,
    $$

    which is all you did there.
    In fact, these are all the same:
    beginalign
    int int dx , dy , f(x) g(y)
    &= int dx int dy , f(x) g(y) \
    &= int dx , dy , f(x) g(y) \
    &= left( int dx , f(x) right) left( int dy , g(y) right) \
    &= left( int dx , f(x) right) left( int dx , g(x) right) \
    endalign

    Note, however, that you cannot factor something like this:
    $$
    int_0^t f(t') left( int_0^t' dt'' f(t'') right) dt'
    $$

    because the limit of the second integral depends on the first integral's integration variable.
    You can, however, write it as
    $$
    int_0^t dt' f(t') int_0^t' dt'' f(t'') , .
    $$



    Operators




    There is also an issue of when operators are involved:
    $$beginalignint dx hatF(x) hatG(x)stackrel?=int hatF(x)dxhatG(x)\stackrel?=int hatF(x)hatG(x)dxendalign$$




    There's really no difference.
    The key is to remember that the $dx$ really doesn't mean anything other than to remind you which variable(s) in the integrand is being integrated.
    By convention we tend to write the $dx$ either at the front or at the end.
    I've never seen it written in the middle like that.
    I think everyone would know what you mean, but putting the $dx$ is the middle of the integrands runs the risk that a reader won't notice them.




    How do you know which operator is in the integrand?




    Ok that's a good question!
    It really comes down to the fact that notation has to be clear.
    If you use the symbol $x$ to denote both an integration variable and a not-integrated variable, that's just asking for trouble.
    It also shouldn't ever happen because integration variables are consumed by the integral, so they can't be referred to anywhere else in an equation.
    For example, this makes no sense:
    $$ g(x) = int_0^1 sin(x) dx$$
    because there's no "free" $x$ on the right hand side.




    And assuming the general case where $hatF$ and $hatG$ do not commute, you cannot write the integral with $hatG(x)$ on the left of the integral. How is this not ambiguous?




    Well, you certainly would not write
    $$ int dx hat F(x) hat G(x) neq left( int dx hat F(x) right) hat G(x) , .$$
    That just makes no sense.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited 1 hour ago

























    answered 1 hour ago









    DanielSankDanielSank

    17.6k45178




    17.6k45178











    • $begingroup$
      Thank you for a great answer! Could you please address my edit as well?
      $endgroup$
      – Hexiang Chang
      1 hour ago










    • $begingroup$
      I'm so sorry, I forgot that I needed to ask that as well
      $endgroup$
      – Hexiang Chang
      1 hour ago
















    • $begingroup$
      Thank you for a great answer! Could you please address my edit as well?
      $endgroup$
      – Hexiang Chang
      1 hour ago










    • $begingroup$
      I'm so sorry, I forgot that I needed to ask that as well
      $endgroup$
      – Hexiang Chang
      1 hour ago















    $begingroup$
    Thank you for a great answer! Could you please address my edit as well?
    $endgroup$
    – Hexiang Chang
    1 hour ago




    $begingroup$
    Thank you for a great answer! Could you please address my edit as well?
    $endgroup$
    – Hexiang Chang
    1 hour ago












    $begingroup$
    I'm so sorry, I forgot that I needed to ask that as well
    $endgroup$
    – Hexiang Chang
    1 hour ago




    $begingroup$
    I'm so sorry, I forgot that I needed to ask that as well
    $endgroup$
    – Hexiang Chang
    1 hour ago











    1












    $begingroup$

    The notation is not ambiguous; it's purely convention. The correspondence is



    $$
    left(
    int_t_1^t_2 H(t) dt right) left( int_t'_1^t'_2H(t',t)dt' right)
    iff int_t_1^t_2int_t'_1^t'_2H(t)H(t',t)dt' dt.
    $$



    That is instead of evaluating "inside out" we evaluate the integrals from right to left.




    If you square an integral as



    $$ left(int ^t_t_0 dt' H(t')right)^2 $$



    you should know that in general these two integrals don't talk to one another, except in very special cases. That is, they are completely separate entities.






    share|cite|improve this answer











    $endgroup$

















      1












      $begingroup$

      The notation is not ambiguous; it's purely convention. The correspondence is



      $$
      left(
      int_t_1^t_2 H(t) dt right) left( int_t'_1^t'_2H(t',t)dt' right)
      iff int_t_1^t_2int_t'_1^t'_2H(t)H(t',t)dt' dt.
      $$



      That is instead of evaluating "inside out" we evaluate the integrals from right to left.




      If you square an integral as



      $$ left(int ^t_t_0 dt' H(t')right)^2 $$



      you should know that in general these two integrals don't talk to one another, except in very special cases. That is, they are completely separate entities.






      share|cite|improve this answer











      $endgroup$















        1












        1








        1





        $begingroup$

        The notation is not ambiguous; it's purely convention. The correspondence is



        $$
        left(
        int_t_1^t_2 H(t) dt right) left( int_t'_1^t'_2H(t',t)dt' right)
        iff int_t_1^t_2int_t'_1^t'_2H(t)H(t',t)dt' dt.
        $$



        That is instead of evaluating "inside out" we evaluate the integrals from right to left.




        If you square an integral as



        $$ left(int ^t_t_0 dt' H(t')right)^2 $$



        you should know that in general these two integrals don't talk to one another, except in very special cases. That is, they are completely separate entities.






        share|cite|improve this answer











        $endgroup$



        The notation is not ambiguous; it's purely convention. The correspondence is



        $$
        left(
        int_t_1^t_2 H(t) dt right) left( int_t'_1^t'_2H(t',t)dt' right)
        iff int_t_1^t_2int_t'_1^t'_2H(t)H(t',t)dt' dt.
        $$



        That is instead of evaluating "inside out" we evaluate the integrals from right to left.




        If you square an integral as



        $$ left(int ^t_t_0 dt' H(t')right)^2 $$



        you should know that in general these two integrals don't talk to one another, except in very special cases. That is, they are completely separate entities.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited 1 hour ago

























        answered 1 hour ago









        InertialObserverInertialObserver

        3,2181027




        3,2181027



























            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%2f467758%2fintegral-notations-in-quantum-mechanics%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

            На ростанях Змест Гісторыя напісання | Месца дзеяння | Час дзеяння | Назва | Праблематыка трылогіі | Аўтабіяграфічнасць | Трылогія ў тэатры і кіно | Пераклады | У культуры | Зноскі Літаратура | Спасылкі | НавігацыяДагледжаная версіяправерана1 зменаДагледжаная версіяправерана1 зменаАкадэмік МІЦКЕВІЧ Канстанцін Міхайлавіч (Якуб Колас) Прадмова М. І. Мушынскага, доктара філалагічных навук, члена-карэспандэнта Нацыянальнай акадэміі навук Рэспублікі Беларусь, прафесараНашаніўцы ў трылогіі Якуба Коласа «На ростанях»: вобразы і прататыпы125 лет Янке МавруКнижно-документальная выставка к 125-летию со дня рождения Якуба Коласа (1882—1956)Колас Якуб. Новая зямля (паэма), На ростанях (трылогія). Сулкоўскі Уладзімір. Радзіма Якуба Коласа (серыял жывапісных палотнаў)Вокладка кнігіІлюстрацыя М. С. БасалыгіНа ростаняхАўдыёверсія трылогііВ. Жолтак У Люсiнскай школе 1959

            Францішак Багушэвіч Змест Сям'я | Біяграфія | Творчасць | Мова Багушэвіча | Ацэнкі дзейнасці | Цікавыя факты | Спадчына | Выбраная бібліяграфія | Ушанаванне памяці | У філатэліі | Зноскі | Літаратура | Спасылкі | НавігацыяЛяхоўскі У. Рупіўся дзеля Бога і людзей: Жыццёвы шлях Лявона Вітан-Дубейкаўскага // Вольскі і Памідораў з песняй пра немца Адвакат, паэт, народны заступнік Ашмянскі веснікВ Минске появится площадь Богушевича и улица Сырокомли, Белорусская деловая газета, 19 июля 2001 г.Айцец беларускай нацыянальнай ідэі паўстаў у бронзе Сяргей Аляксандравіч Адашкевіч (1918, Мінск). 80-я гады. Бюст «Францішак Багушэвіч».Яўген Мікалаевіч Ціхановіч. «Партрэт Францішка Багушэвіча»Мікола Мікалаевіч Купава. «Партрэт зачынальніка новай беларускай літаратуры Францішка Багушэвіча»Уладзімір Іванавіч Мелехаў. На помніку «Змагарам за родную мову» Барэльеф «Францішак Багушэвіч»Памяць пра Багушэвіча на Віленшчыне Страчаная сталіца. Беларускія шыльды на вуліцах Вільні«Krynica». Ideologia i przywódcy białoruskiego katolicyzmuФранцішак БагушэвічТворы на knihi.comТворы Францішка Багушэвіча на bellib.byСодаль Уладзімір. Францішак Багушэвіч на Лідчыне;Луцкевіч Антон. Жыцьцё і творчасьць Фр. Багушэвіча ў успамінах ягоных сучасьнікаў // Запісы Беларускага Навуковага таварыства. Вільня, 1938. Сшытак 1. С. 16-34.Большая российская1188761710000 0000 5537 633Xn9209310021619551927869394п

            Беларусь Змест Назва Гісторыя Геаграфія Сімволіка Дзяржаўны лад Палітычныя партыі Міжнароднае становішча і знешняя палітыка Адміністрацыйны падзел Насельніцтва Эканоміка Культура і грамадства Сацыяльная сфера Узброеныя сілы Заўвагі Літаратура Спасылкі НавігацыяHGЯOiТоп-2011 г. (па версіі ej.by)Топ-2013 г. (па версіі ej.by)Топ-2016 г. (па версіі ej.by)Топ-2017 г. (па версіі ej.by)Нацыянальны статыстычны камітэт Рэспублікі БеларусьШчыльнасць насельніцтва па краінахhttp://naviny.by/rubrics/society/2011/09/16/ic_articles_116_175144/А. Калечыц, У. Ксяндзоў. Спробы засялення краю неандэртальскім чалавекам.І ў Менску былі мамантыА. Калечыц, У. Ксяндзоў. Старажытны каменны век (палеаліт). Першапачатковае засяленне тэрыторыіГ. Штыхаў. Балты і славяне ў VI—VIII стст.М. Клімаў. Полацкае княства ў IX—XI стст.Г. Штыхаў, В. Ляўко. Палітычная гісторыя Полацкай зямліГ. Штыхаў. Дзяржаўны лад у землях-княствахГ. Штыхаў. Дзяржаўны лад у землях-княствахБеларускія землі ў складзе Вялікага Княства ЛітоўскагаЛюблінская унія 1569 г."The Early Stages of Independence"Zapomniane prawdy25 гадоў таму было аб'яўлена, што Язэп Пілсудскі — беларус (фота)Наша вадаДакументы ЧАЭС: Забруджванне тэрыторыі Беларусі « ЧАЭС Зона адчужэнняСведения о политических партиях, зарегистрированных в Республике Беларусь // Министерство юстиции Республики БеларусьСтатыстычны бюлетэнь „Полаўзроставая структура насельніцтва Рэспублікі Беларусь на 1 студзеня 2012 года і сярэднегадовая колькасць насельніцтва за 2011 год“Индекс человеческого развития Беларуси — не было бы нижеБеларусь занимает первое место в СНГ по индексу развития с учетом гендерного факцёраНацыянальны статыстычны камітэт Рэспублікі БеларусьКанстытуцыя РБ. Артыкул 17Трансфармацыйныя задачы БеларусіВыйсце з крызісу — далейшае рэфармаванне Беларускі рубель — сусветны лідар па дэвальвацыяхПра змену коштаў у кастрычніку 2011 г.Бядней за беларусаў у СНД толькі таджыкіСярэдні заробак у верасні дасягнуў 2,26 мільёна рублёўЭканомікаГаласуем за ТОП-100 беларускай прозыСучасныя беларускія мастакіАрхитектура Беларуси BELARUS.BYА. Каханоўскі. Культура Беларусі ўсярэдзіне XVII—XVIII ст.Анталогія беларускай народнай песні, гуказапісы спеваўБеларускія Музычныя IнструментыБеларускі рок, які мы страцілі. Топ-10 гуртоў«Мясцовы час» — нязгаслая легенда беларускай рок-музыкіСЯРГЕЙ БУДКІН. МЫ НЯ ЗНАЕМ СВАЁЙ МУЗЫКІМ. А. Каладзінскі. НАРОДНЫ ТЭАТРМагнацкія культурныя цэнтрыПублічная дыскусія «Беларуская новая пьеса: без беларускай мовы ці беларуская?»Беларускія драматургі па-ранейшаму лепш ставяцца за мяжой, чым на радзіме«Працэс незалежнага кіно пайшоў, і дзяржаву турбуе яго непадкантрольнасць»Беларускія філосафы ў пошуках прасторыВсе идём в библиотекуАрхіваванаАб Нацыянальнай праграме даследавання і выкарыстання касмічнай прасторы ў мірных мэтах на 2008—2012 гадыУ космас — разам.У суседнім з Барысаўскім раёне пабудуюць Камандна-вымяральны пунктСвяты і абрады беларусаў«Мірныя бульбашы з малой краіны» — 5 непраўдзівых стэрэатыпаў пра БеларусьМ. Раманюк. Беларускае народнае адзеннеУ Беларусі скарачаецца колькасць злачынстваўЛукашэнка незадаволены мінскімі ўладамі Крадзяжы складаюць у Мінску каля 70% злачынстваў Узровень злачыннасці ў Мінскай вобласці — адзін з самых высокіх у краіне Генпракуратура аналізуе стан са злачыннасцю ў Беларусі па каэфіцыенце злачыннасці У Беларусі стабілізавалася крымінагеннае становішча, лічыць генпракурорЗамежнікі сталі здзяйсняць у Беларусі больш злачынстваўМУС Беларусі турбуе рост рэцыдыўнай злачыннасціЯ з ЖЭСа. Дазволіце вас абкрасці! Рэйтынг усіх службаў і падраздзяленняў ГУУС Мінгарвыканкама вырасАб КДБ РБГісторыя Аператыўна-аналітычнага цэнтра РБГісторыя ДКФРТаможняagentura.ruБеларусьBelarus.by — Афіцыйны сайт Рэспублікі БеларусьСайт урада БеларусіRadzima.org — Збор архітэктурных помнікаў, гісторыя Беларусі«Глобус Беларуси»Гербы и флаги БеларусиАсаблівасці каменнага веку на БеларусіА. Калечыц, У. Ксяндзоў. Старажытны каменны век (палеаліт). Першапачатковае засяленне тэрыторыіУ. Ксяндзоў. Сярэдні каменны век (мезаліт). Засяленне краю плямёнамі паляўнічых, рыбакоў і збіральнікаўА. Калечыц, М. Чарняўскі. Плямёны на тэрыторыі Беларусі ў новым каменным веку (неаліце)А. Калечыц, У. Ксяндзоў, М. Чарняўскі. Гаспадарчыя заняткі ў каменным векуЭ. Зайкоўскі. Духоўная культура ў каменным векуАсаблівасці бронзавага веку на БеларусіФарміраванне супольнасцей ранняга перыяду бронзавага векуФотографии БеларусиРоля беларускіх зямель ва ўтварэнні і ўмацаванні ВКЛВ. Фадзеева. З гісторыі развіцця беларускай народнай вышыўкіDMOZGran catalanaБольшая российскаяBritannica (анлайн)Швейцарскі гістарычны15325917611952699xDA123282154079143-90000 0001 2171 2080n9112870100577502ge128882171858027501086026362074122714179пппппп