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

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

Isometric embedding of a genus g surface

What is this high flying aircraft over Pennsylvania?

Check if object is null and return null

How do I fix the group tension caused by my character stealing and possibly killing without provocation?

Alignment of six matrices

What should be the ideal length of sentences in a blog post for ease of reading?

How can I, as DM, avoid the Conga Line of Death occurring when implementing some form of flanking rule?

What's the name of the logical fallacy where a debater extends a statement far beyond the original statement to make it true?

How to leave product feedback on macOS?

Integral Notations in Quantum Mechanics

How to test the sharpness of a knife?

What the heck is gets(stdin) on site coderbyte?

Why is participating in the European Parliamentary elections used as a threat?

Identifying "long and narrow" polygons in with PostGIS

Why would five hundred and five be same as one?

Grepping string, but include all non-blank lines following each grep match

PTIJ: Which Dr. Seuss books should one obtain?

Is there a distance limit for minecart tracks?

Do I have to know the General Relativity theory to understand the concept of inertial frame?

Anime with legendary swords made from talismans and a man who could change them with a shattered body

Mimic lecturing on blackboard, facing audience

What is the meaning of the following sentence?

How to reduce predictors the right way for a logistic regression model



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

            名間水力發電廠 目录 沿革 設施 鄰近設施 註釋 外部連結 导航菜单23°50′10″N 120°42′41″E / 23.83611°N 120.71139°E / 23.83611; 120.7113923°50′10″N 120°42′41″E / 23.83611°N 120.71139°E / 23.83611; 120.71139計畫概要原始内容臺灣第一座BOT 模式開發的水力發電廠-名間水力電廠名間水力發電廠 水利署首件BOT案原始内容《小檔案》名間電廠 首座BOT水力發電廠原始内容名間電廠BOT - 經濟部水利署中區水資源局

            Prove that NP is closed under karp reduction?Space(n) not closed under Karp reductions - what about NTime(n)?Class P is closed under rotation?Prove or disprove that $NL$ is closed under polynomial many-one reductions$mathbfNC_2$ is closed under log-space reductionOn Karp reductionwhen can I know if a class (complexity) is closed under reduction (cook/karp)Check if class $PSPACE$ is closed under polyonomially space reductionIs NPSPACE also closed under polynomial-time reduction and under log-space reduction?Prove PSPACE is closed under complement?Prove PSPACE is closed under union?

            Is my guitar’s action too high? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Strings too stiff on a recently purchased acoustic guitar | Cort AD880CEIs the action of my guitar really high?Μy little finger is too weak to play guitarWith guitar, how long should I give my fingers to strengthen / callous?When playing a fret the guitar sounds mutedPlaying (Barre) chords up the guitar neckI think my guitar strings are wound too tight and I can't play barre chordsF barre chord on an SG guitarHow to find to the right strings of a barre chord by feel?High action on higher fret on my steel acoustic guitar