Application of Schwartz Kernel Theorem to Quantum MechanicsApplication of Fubini Theorem in Quantum MechanicsHeat operator formalism via spectral projections and Dirac measureBiorthogonality of vectorsUse of Nets (topological) in Rigged Hilbert SpaceHow does one define the complex distribution $1/z$?The elliptic regularity theorem for differential operators with variable coefficientsDiscrete spectra of generators of compact Lie groupPath to quantum geometry for mathematicians?Quantum mechanics: First order perturbation to eigenstatesTechnical operator theory question on Albeverio's “Solvable Models in quantum mechanics”
Does "variables should live in the smallest scope as possible" include the case "variables should not exist if possible"?
Does splitting a potentially monolithic application into several smaller ones help prevent bugs?
How to pass a string to a command that expects a file?
My story is written in English, but is set in my home country. What language should I use for the dialogue?
BitNot does not flip bits in the way I expected
Could a cubesat propel itself to Mars?
Single word request: Harming the benefactor
How do I deal with a powergamer in a game full of beginners in a school club?
Can't find the Shader/UVs tab
How do you like my writing?
What to do when during a meeting client people start to fight (even physically) with each others?
infinitive telling the purpose
Should I take out a loan for a friend to invest on my behalf?
How are such low op-amp input currents possible?
Can you reject a postdoc offer after the PI has paid a large sum for flights/accommodation for your visit?
They call me Inspector Morse
Rejected in 4th interview round citing insufficient years of experience
What is the chance of making a successful appeal to dismissal decision from a PhD program after failing the qualifying exam in the 2nd attempt?
How do I locate a classical quotation?
Why don't MCU characters ever seem to have language issues?
In the late 1940’s to early 1950’s what technology was available that could melt a LOT of ice?
Is it true that real estate prices mainly go up?
Good allowance savings plan?
Aliens englobed the Solar System: will we notice?
Application of Schwartz Kernel Theorem to Quantum Mechanics
Application of Fubini Theorem in Quantum MechanicsHeat operator formalism via spectral projections and Dirac measureBiorthogonality of vectorsUse of Nets (topological) in Rigged Hilbert SpaceHow does one define the complex distribution $1/z$?The elliptic regularity theorem for differential operators with variable coefficientsDiscrete spectra of generators of compact Lie groupPath to quantum geometry for mathematicians?Quantum mechanics: First order perturbation to eigenstatesTechnical operator theory question on Albeverio's “Solvable Models in quantum mechanics”
$begingroup$
I am currently reading Quantum Mechanics for Mathematicians and have a question about a statement made in the book:
Remark. By the Schwartz kernel theorem, the operator B can be represented by an integral operator with distributional kernel $K(q,q')$. Then the commutativity $BQ = QB$ implies that, in the distributional sense,
$$
(q-q')K(q,q') = 0,
$$
so that $K$ is "proportional" to the Dirac delta-function, i .e.,
$$
K(q,q') = f(q)delta(q-q').
$$
This argument is usually given in physics textbooks.
$B$ and $Q$ are both operators in the coordinate representation. $Q$ is the position operator and $B$ is bounded.
So, first of all, I can't find much about the kernel theorem online. I've been using this as a reference. According to this document, there is a relation between bilinear forms and distributions. However, I don't know how to view $B$ as a bilinear form and thus apply the theorem. Can someone elucidate how the kernel theorem is applicable to $B$? Secondly, what arguments/notation in physics is the author (of the QM book) referencing?
functional-analysis operator-theory mathematical-physics quantum-mechanics
edited 2 days ago
Andrews
1,2691421
asked Aug 18 '13 at 19:41
scottscott
312
$endgroup$
|
show 5 more comments
$begingroup$
I am currently reading Quantum Mechanics for Mathematicians and have a question about a statement made in the book:
Remark. By the Schwartz kernel theorem, the operator B can be represented by an integral operator with distributional kernel $K(q,q')$. Then the commutativity $BQ = QB$ implies that, in the distributional sense,
$$
(q-q')K(q,q') = 0,
$$
so that $K$ is "proportional" to the Dirac delta-function, i .e.,
$$
K(q,q') = f(q)delta(q-q').
$$
This argument is usually given in physics textbooks.
$B$ and $Q$ are both operators in the coordinate representation. $Q$ is the position operator and $B$ is bounded.
So, first of all, I can't find much about the kernel theorem online. I've been using this as a reference. According to this document, there is a relation between bilinear forms and distributions. However, I don't know how to view $B$ as a bilinear form and thus apply the theorem. Can someone elucidate how the kernel theorem is applicable to $B$? Secondly, what arguments/notation in physics is the author (of the QM book) referencing?
functional-analysis operator-theory mathematical-physics quantum-mechanics
edited 2 days ago
Andrews
1,2691421
asked Aug 18 '13 at 19:41
scottscott
312
$endgroup$
$begingroup$
What are Q and B here?
$endgroup$
– Cameron Williams
Aug 18 '13 at 19:50
$begingroup$
B and Q are both operators in the coordinate representation. Q is the position operator.
$endgroup$
– scott
Aug 18 '13 at 19:55
$begingroup$
The coordinate representation being the complex square integrable functions on the real line.
$endgroup$
– scott
Aug 18 '13 at 19:58
$begingroup$
What is B? It seems to have been referenced in something before the remark? Are there any restrictions on the operator B?
$endgroup$
– Cameron Williams
Aug 18 '13 at 20:03
$begingroup$
Ah, I forgot to say B is bounded. The preceding lemma says that if B is bounded and if it commutes with Q, then B is a function of Q. I'll make an edit, thanks.
$endgroup$
– scott
Aug 18 '13 at 20:05
|
show 5 more comments
$begingroup$
I am currently reading Quantum Mechanics for Mathematicians and have a question about a statement made in the book:
Remark. By the Schwartz kernel theorem, the operator B can be represented by an integral operator with distributional kernel $K(q,q')$. Then the commutativity $BQ = QB$ implies that, in the distributional sense,
$$
(q-q')K(q,q') = 0,
$$
so that $K$ is "proportional" to the Dirac delta-function, i .e.,
$$
K(q,q') = f(q)delta(q-q').
$$
This argument is usually given in physics textbooks.
$B$ and $Q$ are both operators in the coordinate representation. $Q$ is the position operator and $B$ is bounded.
So, first of all, I can't find much about the kernel theorem online. I've been using this as a reference. According to this document, there is a relation between bilinear forms and distributions. However, I don't know how to view $B$ as a bilinear form and thus apply the theorem. Can someone elucidate how the kernel theorem is applicable to $B$? Secondly, what arguments/notation in physics is the author (of the QM book) referencing?
functional-analysis operator-theory mathematical-physics quantum-mechanics
edited 2 days ago
Andrews
1,2691421
asked Aug 18 '13 at 19:41
scottscott
312
$endgroup$
I am currently reading Quantum Mechanics for Mathematicians and have a question about a statement made in the book:
Remark. By the Schwartz kernel theorem, the operator B can be represented by an integral operator with distributional kernel $K(q,q')$. Then the commutativity $BQ = QB$ implies that, in the distributional sense,
$$
(q-q')K(q,q') = 0,
$$
so that $K$ is "proportional" to the Dirac delta-function, i .e.,
$$
K(q,q') = f(q)delta(q-q').
$$
This argument is usually given in physics textbooks.
$B$ and $Q$ are both operators in the coordinate representation. $Q$ is the position operator and $B$ is bounded.
So, first of all, I can't find much about the kernel theorem online. I've been using this as a reference. According to this document, there is a relation between bilinear forms and distributions. However, I don't know how to view $B$ as a bilinear form and thus apply the theorem. Can someone elucidate how the kernel theorem is applicable to $B$? Secondly, what arguments/notation in physics is the author (of the QM book) referencing?
functional-analysis operator-theory mathematical-physics quantum-mechanics
functional-analysis operator-theory mathematical-physics quantum-mechanics
edited 2 days ago
Andrews
1,2691421
asked Aug 18 '13 at 19:41
scottscott
312
edited 2 days ago
Andrews
1,2691421
asked Aug 18 '13 at 19:41
scottscott
312
edited 2 days ago
Andrews
1,2691421
edited 2 days ago
Andrews
1,2691421
edited 2 days ago
Andrews
1,2691421
1,2691421
asked Aug 18 '13 at 19:41
scottscott
312
asked Aug 18 '13 at 19:41
scottscott
312
asked Aug 18 '13 at 19:41
scottscott
312
312
$begingroup$
What are Q and B here?
$endgroup$
– Cameron Williams
Aug 18 '13 at 19:50
$begingroup$
B and Q are both operators in the coordinate representation. Q is the position operator.
$endgroup$
– scott
Aug 18 '13 at 19:55
$begingroup$
The coordinate representation being the complex square integrable functions on the real line.
$endgroup$
– scott
Aug 18 '13 at 19:58
$begingroup$
What is B? It seems to have been referenced in something before the remark? Are there any restrictions on the operator B?
$endgroup$
– Cameron Williams
Aug 18 '13 at 20:03
$begingroup$
Ah, I forgot to say B is bounded. The preceding lemma says that if B is bounded and if it commutes with Q, then B is a function of Q. I'll make an edit, thanks.
$endgroup$
– scott
Aug 18 '13 at 20:05
|
show 5 more comments
$begingroup$
What are Q and B here?
$endgroup$
– Cameron Williams
Aug 18 '13 at 19:50
$begingroup$
B and Q are both operators in the coordinate representation. Q is the position operator.
$endgroup$
– scott
Aug 18 '13 at 19:55
$begingroup$
The coordinate representation being the complex square integrable functions on the real line.
$endgroup$
– scott
Aug 18 '13 at 19:58
$begingroup$
What is B? It seems to have been referenced in something before the remark? Are there any restrictions on the operator B?
$endgroup$
– Cameron Williams
Aug 18 '13 at 20:03
$begingroup$
Ah, I forgot to say B is bounded. The preceding lemma says that if B is bounded and if it commutes with Q, then B is a function of Q. I'll make an edit, thanks.
$endgroup$
– scott
Aug 18 '13 at 20:05
$begingroup$
What are Q and B here?
$endgroup$
– Cameron Williams
Aug 18 '13 at 19:50
$begingroup$
What are Q and B here?
$endgroup$
– Cameron Williams
Aug 18 '13 at 19:50
$begingroup$
B and Q are both operators in the coordinate representation. Q is the position operator.
$endgroup$
– scott
Aug 18 '13 at 19:55
$begingroup$
B and Q are both operators in the coordinate representation. Q is the position operator.
$endgroup$
– scott
Aug 18 '13 at 19:55
$begingroup$
The coordinate representation being the complex square integrable functions on the real line.
$endgroup$
– scott
Aug 18 '13 at 19:58
$begingroup$
The coordinate representation being the complex square integrable functions on the real line.
$endgroup$
– scott
Aug 18 '13 at 19:58
$begingroup$
What is B? It seems to have been referenced in something before the remark? Are there any restrictions on the operator B?
$endgroup$
– Cameron Williams
Aug 18 '13 at 20:03
$begingroup$
What is B? It seems to have been referenced in something before the remark? Are there any restrictions on the operator B?
$endgroup$
– Cameron Williams
Aug 18 '13 at 20:03
$begingroup$
Ah, I forgot to say B is bounded. The preceding lemma says that if B is bounded and if it commutes with Q, then B is a function of Q. I'll make an edit, thanks.
$endgroup$
– scott
Aug 18 '13 at 20:05
$begingroup$
Ah, I forgot to say B is bounded. The preceding lemma says that if B is bounded and if it commutes with Q, then B is a function of Q. I'll make an edit, thanks.
$endgroup$
– scott
Aug 18 '13 at 20:05
|
show 5 more comments
1 Answer
1
active
oldest
votes
$begingroup$
If $T$ is a distribution such that $$forall g in C^infty_c, langle T, x g rangle = 0$$ then pick $phi in C^infty_c$ constant $=1$ on $[-1,1]$, let $$g = frac1x (f-f(0)phi)quadin C^infty_c$$ then $$ langle T,f rangle = langle T,f(0)phi rangle + langle T,xgrangle =f(0) langle T, phi rangle$$
answered 2 days ago
reunsreuns
21.2k21351
$endgroup$
add a comment |
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: "69"
;
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: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f470668%2fapplication-of-schwartz-kernel-theorem-to-quantum-mechanics%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
If $T$ is a distribution such that $$forall g in C^infty_c, langle T, x g rangle = 0$$ then pick $phi in C^infty_c$ constant $=1$ on $[-1,1]$, let $$g = frac1x (f-f(0)phi)quadin C^infty_c$$ then $$ langle T,f rangle = langle T,f(0)phi rangle + langle T,xgrangle =f(0) langle T, phi rangle$$
answered 2 days ago
reunsreuns
21.2k21351
$endgroup$
add a comment |
$begingroup$
If $T$ is a distribution such that $$forall g in C^infty_c, langle T, x g rangle = 0$$ then pick $phi in C^infty_c$ constant $=1$ on $[-1,1]$, let $$g = frac1x (f-f(0)phi)quadin C^infty_c$$ then $$ langle T,f rangle = langle T,f(0)phi rangle + langle T,xgrangle =f(0) langle T, phi rangle$$
answered 2 days ago
reunsreuns
21.2k21351
$endgroup$
add a comment |
$begingroup$
If $T$ is a distribution such that $$forall g in C^infty_c, langle T, x g rangle = 0$$ then pick $phi in C^infty_c$ constant $=1$ on $[-1,1]$, let $$g = frac1x (f-f(0)phi)quadin C^infty_c$$ then $$ langle T,f rangle = langle T,f(0)phi rangle + langle T,xgrangle =f(0) langle T, phi rangle$$
answered 2 days ago
reunsreuns
21.2k21351
$endgroup$
If $T$ is a distribution such that $$forall g in C^infty_c, langle T, x g rangle = 0$$ then pick $phi in C^infty_c$ constant $=1$ on $[-1,1]$, let $$g = frac1x (f-f(0)phi)quadin C^infty_c$$ then $$ langle T,f rangle = langle T,f(0)phi rangle + langle T,xgrangle =f(0) langle T, phi rangle$$
answered 2 days ago
reunsreuns
21.2k21351
answered 2 days ago
reunsreuns
21.2k21351
answered 2 days ago
reunsreuns
21.2k21351
answered 2 days ago
reunsreuns
21.2k21351
21.2k21351
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics 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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f470668%2fapplication-of-schwartz-kernel-theorem-to-quantum-mechanics%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$begingroup$
What are Q and B here?
$endgroup$
– Cameron Williams
Aug 18 '13 at 19:50
$begingroup$
B and Q are both operators in the coordinate representation. Q is the position operator.
$endgroup$
– scott
Aug 18 '13 at 19:55
$begingroup$
The coordinate representation being the complex square integrable functions on the real line.
$endgroup$
– scott
Aug 18 '13 at 19:58
$begingroup$
What is B? It seems to have been referenced in something before the remark? Are there any restrictions on the operator B?
$endgroup$
– Cameron Williams
Aug 18 '13 at 20:03
$begingroup$
Ah, I forgot to say B is bounded. The preceding lemma says that if B is bounded and if it commutes with Q, then B is a function of Q. I'll make an edit, thanks.
$endgroup$
– scott
Aug 18 '13 at 20:05