domain of the adjoint of the momentum operator.Adjoint of multiplication operator on Sobolev spaceSpectral theorem for momentum operatorCan we talk about the adjoint of a linear operator defined on a distribution space?Restriction of self-adjoint operator self-adjoint?Adjoint of an operator on $L^2$Finding the Adjoint Operator Under Inner-Products: Behaviour of Provided Function Values.About vectors that have bounded support representation on the spectrum of a self-adjoint operatorIs the sum of unbounded, symmetric operators with same domain self-adjoint?Domain of the spectral resolution of a self-adjoint operatorSelf-Adjoint Integral Operator
What are the G forces leaving Earth orbit?
How do conventional missiles fly?
Processor speed limited at 0.4 Ghz
Why was Sir Cadogan fired?
How does a dynamic QR code work?
How to coordinate airplane tickets?
What Exploit Are These User Agents Trying to Use?
files created then deleted at every second in tmp directory
Is it possible to create a QR code using text?
Where would I need my direct neural interface to be implanted?
Why was the shrink from 8″ made only to 5.25″ and not smaller (4″ or less)
Machine learning testing data
Calculate the Mean mean of two numbers
What is a Samsaran Word™?
Why do I get negative height?
Finitely generated matrix groups whose eigenvalues are all algebraic
How can saying a song's name be a copyright violation?
Blending or harmonizing
What exactly is ineptocracy?
What reasons are there for a Capitalist to oppose a 100% inheritance tax?
Mathematica command that allows it to read my intentions
Why is it a bad idea to hire a hitman to eliminate most corrupt politicians?
Car headlights in a world without electricity
How to prevent "they're falling in love" trope
domain of the adjoint of the momentum operator.
Adjoint of multiplication operator on Sobolev spaceSpectral theorem for momentum operatorCan we talk about the adjoint of a linear operator defined on a distribution space?Restriction of self-adjoint operator self-adjoint?Adjoint of an operator on $L^2$Finding the Adjoint Operator Under Inner-Products: Behaviour of Provided Function Values.About vectors that have bounded support representation on the spectrum of a self-adjoint operatorIs the sum of unbounded, symmetric operators with same domain self-adjoint?Domain of the spectral resolution of a self-adjoint operatorSelf-Adjoint Integral Operator
$begingroup$
I was reading the book by Roman where he discusses the linear momentum operator on the half line: $pf= -if’$, this operator is densely defined and in the book he finds the adjoint by using the inner product on $L^2(0,infty)$, one wishes to find the class of $h$ such that: $$
int _0 ^infty h^*(-ig’) dx = int _0 ^infty psi^* g : dx
$$
for some $psi$ and all $g$ in the domain of $p$. So clearly this is easy to do if $h$ is differentiable and with square integrable derivative by integration by parts. The question is: could there be non differentiable $h$ that satisfy this? I have been trying to show that there aren’t any such functions but can’t get anywhere and the book assumes this.
functional-analysis hilbert-spaces adjoint-operators
$endgroup$
add a comment |
$begingroup$
I was reading the book by Roman where he discusses the linear momentum operator on the half line: $pf= -if’$, this operator is densely defined and in the book he finds the adjoint by using the inner product on $L^2(0,infty)$, one wishes to find the class of $h$ such that: $$
int _0 ^infty h^*(-ig’) dx = int _0 ^infty psi^* g : dx
$$
for some $psi$ and all $g$ in the domain of $p$. So clearly this is easy to do if $h$ is differentiable and with square integrable derivative by integration by parts. The question is: could there be non differentiable $h$ that satisfy this? I have been trying to show that there aren’t any such functions but can’t get anywhere and the book assumes this.
functional-analysis hilbert-spaces adjoint-operators
$endgroup$
$begingroup$
In the context of quantum mechanics, don't functions have to be continuous? And usually they're differentiable as well, right? Certainly wave functions are, or they couldn't be solutions of the Schrodinger equation.
$endgroup$
– Adrian Keister
Mar 28 at 15:50
$begingroup$
no strictly that’s not true, in that what is of interest here is the momentum operator on a certain space and finding its adjoint, so basically my question is what the domain of this adjoint is, momentum is not an observable on this space because it’s not self adjoint
$endgroup$
– Michele Galli
Mar 28 at 15:57
add a comment |
$begingroup$
I was reading the book by Roman where he discusses the linear momentum operator on the half line: $pf= -if’$, this operator is densely defined and in the book he finds the adjoint by using the inner product on $L^2(0,infty)$, one wishes to find the class of $h$ such that: $$
int _0 ^infty h^*(-ig’) dx = int _0 ^infty psi^* g : dx
$$
for some $psi$ and all $g$ in the domain of $p$. So clearly this is easy to do if $h$ is differentiable and with square integrable derivative by integration by parts. The question is: could there be non differentiable $h$ that satisfy this? I have been trying to show that there aren’t any such functions but can’t get anywhere and the book assumes this.
functional-analysis hilbert-spaces adjoint-operators
$endgroup$
I was reading the book by Roman where he discusses the linear momentum operator on the half line: $pf= -if’$, this operator is densely defined and in the book he finds the adjoint by using the inner product on $L^2(0,infty)$, one wishes to find the class of $h$ such that: $$
int _0 ^infty h^*(-ig’) dx = int _0 ^infty psi^* g : dx
$$
for some $psi$ and all $g$ in the domain of $p$. So clearly this is easy to do if $h$ is differentiable and with square integrable derivative by integration by parts. The question is: could there be non differentiable $h$ that satisfy this? I have been trying to show that there aren’t any such functions but can’t get anywhere and the book assumes this.
functional-analysis hilbert-spaces adjoint-operators
functional-analysis hilbert-spaces adjoint-operators
asked Mar 28 at 15:12
Michele GalliMichele Galli
1759
1759
$begingroup$
In the context of quantum mechanics, don't functions have to be continuous? And usually they're differentiable as well, right? Certainly wave functions are, or they couldn't be solutions of the Schrodinger equation.
$endgroup$
– Adrian Keister
Mar 28 at 15:50
$begingroup$
no strictly that’s not true, in that what is of interest here is the momentum operator on a certain space and finding its adjoint, so basically my question is what the domain of this adjoint is, momentum is not an observable on this space because it’s not self adjoint
$endgroup$
– Michele Galli
Mar 28 at 15:57
add a comment |
$begingroup$
In the context of quantum mechanics, don't functions have to be continuous? And usually they're differentiable as well, right? Certainly wave functions are, or they couldn't be solutions of the Schrodinger equation.
$endgroup$
– Adrian Keister
Mar 28 at 15:50
$begingroup$
no strictly that’s not true, in that what is of interest here is the momentum operator on a certain space and finding its adjoint, so basically my question is what the domain of this adjoint is, momentum is not an observable on this space because it’s not self adjoint
$endgroup$
– Michele Galli
Mar 28 at 15:57
$begingroup$
In the context of quantum mechanics, don't functions have to be continuous? And usually they're differentiable as well, right? Certainly wave functions are, or they couldn't be solutions of the Schrodinger equation.
$endgroup$
– Adrian Keister
Mar 28 at 15:50
$begingroup$
In the context of quantum mechanics, don't functions have to be continuous? And usually they're differentiable as well, right? Certainly wave functions are, or they couldn't be solutions of the Schrodinger equation.
$endgroup$
– Adrian Keister
Mar 28 at 15:50
$begingroup$
no strictly that’s not true, in that what is of interest here is the momentum operator on a certain space and finding its adjoint, so basically my question is what the domain of this adjoint is, momentum is not an observable on this space because it’s not self adjoint
$endgroup$
– Michele Galli
Mar 28 at 15:57
$begingroup$
no strictly that’s not true, in that what is of interest here is the momentum operator on a certain space and finding its adjoint, so basically my question is what the domain of this adjoint is, momentum is not an observable on this space because it’s not self adjoint
$endgroup$
– Michele Galli
Mar 28 at 15:57
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Suppose your equation holds for all $ginmathcalD(p)$. Let $g_y$ be the function that is $1$ on $[0,y]$, is linear on $[y,y+epsilon]$ and is $0$ at $y+epsilon$, as well as for all $x > y+epsilon$. Then your adjoint equation would require
$$
int_0^inftyh^* (-ig_y')dx=int_0^inftypsi^* g_ydx \
-ifrac1epsilonint_y^y+epsilonh^*dx=int_0^inftypsi^*g_ydx
$$
Now, letting $epsilondownarrow 0$ gives
$$
-ih^*(y)=int_0^ypsi^*dx
$$
Hence, $h$ must be differentiable a.e., $h(0)=0$, and
$$
h'(y)=-ipsi(y).
$$
$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%2f3166013%2fdomain-of-the-adjoint-of-the-momentum-operator%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$
Suppose your equation holds for all $ginmathcalD(p)$. Let $g_y$ be the function that is $1$ on $[0,y]$, is linear on $[y,y+epsilon]$ and is $0$ at $y+epsilon$, as well as for all $x > y+epsilon$. Then your adjoint equation would require
$$
int_0^inftyh^* (-ig_y')dx=int_0^inftypsi^* g_ydx \
-ifrac1epsilonint_y^y+epsilonh^*dx=int_0^inftypsi^*g_ydx
$$
Now, letting $epsilondownarrow 0$ gives
$$
-ih^*(y)=int_0^ypsi^*dx
$$
Hence, $h$ must be differentiable a.e., $h(0)=0$, and
$$
h'(y)=-ipsi(y).
$$
$endgroup$
add a comment |
$begingroup$
Suppose your equation holds for all $ginmathcalD(p)$. Let $g_y$ be the function that is $1$ on $[0,y]$, is linear on $[y,y+epsilon]$ and is $0$ at $y+epsilon$, as well as for all $x > y+epsilon$. Then your adjoint equation would require
$$
int_0^inftyh^* (-ig_y')dx=int_0^inftypsi^* g_ydx \
-ifrac1epsilonint_y^y+epsilonh^*dx=int_0^inftypsi^*g_ydx
$$
Now, letting $epsilondownarrow 0$ gives
$$
-ih^*(y)=int_0^ypsi^*dx
$$
Hence, $h$ must be differentiable a.e., $h(0)=0$, and
$$
h'(y)=-ipsi(y).
$$
$endgroup$
add a comment |
$begingroup$
Suppose your equation holds for all $ginmathcalD(p)$. Let $g_y$ be the function that is $1$ on $[0,y]$, is linear on $[y,y+epsilon]$ and is $0$ at $y+epsilon$, as well as for all $x > y+epsilon$. Then your adjoint equation would require
$$
int_0^inftyh^* (-ig_y')dx=int_0^inftypsi^* g_ydx \
-ifrac1epsilonint_y^y+epsilonh^*dx=int_0^inftypsi^*g_ydx
$$
Now, letting $epsilondownarrow 0$ gives
$$
-ih^*(y)=int_0^ypsi^*dx
$$
Hence, $h$ must be differentiable a.e., $h(0)=0$, and
$$
h'(y)=-ipsi(y).
$$
$endgroup$
Suppose your equation holds for all $ginmathcalD(p)$. Let $g_y$ be the function that is $1$ on $[0,y]$, is linear on $[y,y+epsilon]$ and is $0$ at $y+epsilon$, as well as for all $x > y+epsilon$. Then your adjoint equation would require
$$
int_0^inftyh^* (-ig_y')dx=int_0^inftypsi^* g_ydx \
-ifrac1epsilonint_y^y+epsilonh^*dx=int_0^inftypsi^*g_ydx
$$
Now, letting $epsilondownarrow 0$ gives
$$
-ih^*(y)=int_0^ypsi^*dx
$$
Hence, $h$ must be differentiable a.e., $h(0)=0$, and
$$
h'(y)=-ipsi(y).
$$
answered Mar 29 at 2:58
DisintegratingByPartsDisintegratingByParts
60.3k42681
60.3k42681
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%2f3166013%2fdomain-of-the-adjoint-of-the-momentum-operator%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$
In the context of quantum mechanics, don't functions have to be continuous? And usually they're differentiable as well, right? Certainly wave functions are, or they couldn't be solutions of the Schrodinger equation.
$endgroup$
– Adrian Keister
Mar 28 at 15:50
$begingroup$
no strictly that’s not true, in that what is of interest here is the momentum operator on a certain space and finding its adjoint, so basically my question is what the domain of this adjoint is, momentum is not an observable on this space because it’s not self adjoint
$endgroup$
– Michele Galli
Mar 28 at 15:57