Proving that the derivative operator on $L^p(0,1)$ has a closed graph
$begingroup$
Let $Tx(t) = x'(t)$ on $L_p(0,1)$, and let the domain of $T$ be only the absolutely continuous functions on $[0,1]$ whose derivatives are in $L^p(0,1)$. I need to show that this operator has a closed graph. Naturally, by the closed graph theorem, it would be sufficient to show that $T$ is a continuous operator. This seems like a standard exercise, but I can't seem to be able to do it. I don't make much progress with the definition of continuity. Is it best to try and show that $T$ is bounded?
real-analysis functional-analysis
$endgroup$
add a comment |
$begingroup$
Let $Tx(t) = x'(t)$ on $L_p(0,1)$, and let the domain of $T$ be only the absolutely continuous functions on $[0,1]$ whose derivatives are in $L^p(0,1)$. I need to show that this operator has a closed graph. Naturally, by the closed graph theorem, it would be sufficient to show that $T$ is a continuous operator. This seems like a standard exercise, but I can't seem to be able to do it. I don't make much progress with the definition of continuity. Is it best to try and show that $T$ is bounded?
real-analysis functional-analysis
$endgroup$
add a comment |
$begingroup$
Let $Tx(t) = x'(t)$ on $L_p(0,1)$, and let the domain of $T$ be only the absolutely continuous functions on $[0,1]$ whose derivatives are in $L^p(0,1)$. I need to show that this operator has a closed graph. Naturally, by the closed graph theorem, it would be sufficient to show that $T$ is a continuous operator. This seems like a standard exercise, but I can't seem to be able to do it. I don't make much progress with the definition of continuity. Is it best to try and show that $T$ is bounded?
real-analysis functional-analysis
$endgroup$
Let $Tx(t) = x'(t)$ on $L_p(0,1)$, and let the domain of $T$ be only the absolutely continuous functions on $[0,1]$ whose derivatives are in $L^p(0,1)$. I need to show that this operator has a closed graph. Naturally, by the closed graph theorem, it would be sufficient to show that $T$ is a continuous operator. This seems like a standard exercise, but I can't seem to be able to do it. I don't make much progress with the definition of continuity. Is it best to try and show that $T$ is bounded?
real-analysis functional-analysis
real-analysis functional-analysis
edited Dec 7 '18 at 3:49
Andrews
3901317
3901317
asked Dec 7 '18 at 3:31
Wyatt GregoryWyatt Gregory
706
706
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I suppose you are taking $p>1$. Suppose $x_n to x$ in $L^{p}$ and $x_n' to y$ in $L^{p}$. We have to show that $x$ is absolutely continuous, $x' in L^{p}$ and $y=x'$. By absolute continuity we have $x_n(t)=x_n(0)+int_0^{t} x_n'(s) , ds$ $,,, (1)$. Let $n_k$ be a subseqeunce of the integers such that $x_{n_k}$ converges almost everywhere to $x$. Since convergence in $L^{p}$ implies convergence in $L^{1}$ we get $x(t)=a+int_0^{t} y(s), ds$ for some constant $a$. [In (1) LHS converges and the second term on RHS converges. Hence the first term must converge]. Since $y$ is integrable this last equation implies that $x$ is absolutely continuous [more precisely it can be modified on a null set to make it absolutely continuous] and $x'=y$.
$endgroup$
$begingroup$
Maybe I’m missing something, how can the derivative be bounded (given that, e.g., $ exp(i k x)$ are in the domain) ?
$endgroup$
– lcv
Dec 7 '18 at 18:12
$begingroup$
$T$ is not a bounded operator. Unbounded operators can have closed graph.
$endgroup$
– Kavi Rama Murthy
Dec 7 '18 at 23:21
$begingroup$
Absolutely. The OP misuses the closed graph theorem as the operator is not defined on the whole space.
$endgroup$
– lcv
Dec 8 '18 at 2:14
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%2f3029426%2fproving-that-the-derivative-operator-on-lp0-1-has-a-closed-graph%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$
I suppose you are taking $p>1$. Suppose $x_n to x$ in $L^{p}$ and $x_n' to y$ in $L^{p}$. We have to show that $x$ is absolutely continuous, $x' in L^{p}$ and $y=x'$. By absolute continuity we have $x_n(t)=x_n(0)+int_0^{t} x_n'(s) , ds$ $,,, (1)$. Let $n_k$ be a subseqeunce of the integers such that $x_{n_k}$ converges almost everywhere to $x$. Since convergence in $L^{p}$ implies convergence in $L^{1}$ we get $x(t)=a+int_0^{t} y(s), ds$ for some constant $a$. [In (1) LHS converges and the second term on RHS converges. Hence the first term must converge]. Since $y$ is integrable this last equation implies that $x$ is absolutely continuous [more precisely it can be modified on a null set to make it absolutely continuous] and $x'=y$.
$endgroup$
$begingroup$
Maybe I’m missing something, how can the derivative be bounded (given that, e.g., $ exp(i k x)$ are in the domain) ?
$endgroup$
– lcv
Dec 7 '18 at 18:12
$begingroup$
$T$ is not a bounded operator. Unbounded operators can have closed graph.
$endgroup$
– Kavi Rama Murthy
Dec 7 '18 at 23:21
$begingroup$
Absolutely. The OP misuses the closed graph theorem as the operator is not defined on the whole space.
$endgroup$
– lcv
Dec 8 '18 at 2:14
add a comment |
$begingroup$
I suppose you are taking $p>1$. Suppose $x_n to x$ in $L^{p}$ and $x_n' to y$ in $L^{p}$. We have to show that $x$ is absolutely continuous, $x' in L^{p}$ and $y=x'$. By absolute continuity we have $x_n(t)=x_n(0)+int_0^{t} x_n'(s) , ds$ $,,, (1)$. Let $n_k$ be a subseqeunce of the integers such that $x_{n_k}$ converges almost everywhere to $x$. Since convergence in $L^{p}$ implies convergence in $L^{1}$ we get $x(t)=a+int_0^{t} y(s), ds$ for some constant $a$. [In (1) LHS converges and the second term on RHS converges. Hence the first term must converge]. Since $y$ is integrable this last equation implies that $x$ is absolutely continuous [more precisely it can be modified on a null set to make it absolutely continuous] and $x'=y$.
$endgroup$
$begingroup$
Maybe I’m missing something, how can the derivative be bounded (given that, e.g., $ exp(i k x)$ are in the domain) ?
$endgroup$
– lcv
Dec 7 '18 at 18:12
$begingroup$
$T$ is not a bounded operator. Unbounded operators can have closed graph.
$endgroup$
– Kavi Rama Murthy
Dec 7 '18 at 23:21
$begingroup$
Absolutely. The OP misuses the closed graph theorem as the operator is not defined on the whole space.
$endgroup$
– lcv
Dec 8 '18 at 2:14
add a comment |
$begingroup$
I suppose you are taking $p>1$. Suppose $x_n to x$ in $L^{p}$ and $x_n' to y$ in $L^{p}$. We have to show that $x$ is absolutely continuous, $x' in L^{p}$ and $y=x'$. By absolute continuity we have $x_n(t)=x_n(0)+int_0^{t} x_n'(s) , ds$ $,,, (1)$. Let $n_k$ be a subseqeunce of the integers such that $x_{n_k}$ converges almost everywhere to $x$. Since convergence in $L^{p}$ implies convergence in $L^{1}$ we get $x(t)=a+int_0^{t} y(s), ds$ for some constant $a$. [In (1) LHS converges and the second term on RHS converges. Hence the first term must converge]. Since $y$ is integrable this last equation implies that $x$ is absolutely continuous [more precisely it can be modified on a null set to make it absolutely continuous] and $x'=y$.
$endgroup$
I suppose you are taking $p>1$. Suppose $x_n to x$ in $L^{p}$ and $x_n' to y$ in $L^{p}$. We have to show that $x$ is absolutely continuous, $x' in L^{p}$ and $y=x'$. By absolute continuity we have $x_n(t)=x_n(0)+int_0^{t} x_n'(s) , ds$ $,,, (1)$. Let $n_k$ be a subseqeunce of the integers such that $x_{n_k}$ converges almost everywhere to $x$. Since convergence in $L^{p}$ implies convergence in $L^{1}$ we get $x(t)=a+int_0^{t} y(s), ds$ for some constant $a$. [In (1) LHS converges and the second term on RHS converges. Hence the first term must converge]. Since $y$ is integrable this last equation implies that $x$ is absolutely continuous [more precisely it can be modified on a null set to make it absolutely continuous] and $x'=y$.
answered Dec 7 '18 at 5:55
Kavi Rama MurthyKavi Rama Murthy
56.2k42158
56.2k42158
$begingroup$
Maybe I’m missing something, how can the derivative be bounded (given that, e.g., $ exp(i k x)$ are in the domain) ?
$endgroup$
– lcv
Dec 7 '18 at 18:12
$begingroup$
$T$ is not a bounded operator. Unbounded operators can have closed graph.
$endgroup$
– Kavi Rama Murthy
Dec 7 '18 at 23:21
$begingroup$
Absolutely. The OP misuses the closed graph theorem as the operator is not defined on the whole space.
$endgroup$
– lcv
Dec 8 '18 at 2:14
add a comment |
$begingroup$
Maybe I’m missing something, how can the derivative be bounded (given that, e.g., $ exp(i k x)$ are in the domain) ?
$endgroup$
– lcv
Dec 7 '18 at 18:12
$begingroup$
$T$ is not a bounded operator. Unbounded operators can have closed graph.
$endgroup$
– Kavi Rama Murthy
Dec 7 '18 at 23:21
$begingroup$
Absolutely. The OP misuses the closed graph theorem as the operator is not defined on the whole space.
$endgroup$
– lcv
Dec 8 '18 at 2:14
$begingroup$
Maybe I’m missing something, how can the derivative be bounded (given that, e.g., $ exp(i k x)$ are in the domain) ?
$endgroup$
– lcv
Dec 7 '18 at 18:12
$begingroup$
Maybe I’m missing something, how can the derivative be bounded (given that, e.g., $ exp(i k x)$ are in the domain) ?
$endgroup$
– lcv
Dec 7 '18 at 18:12
$begingroup$
$T$ is not a bounded operator. Unbounded operators can have closed graph.
$endgroup$
– Kavi Rama Murthy
Dec 7 '18 at 23:21
$begingroup$
$T$ is not a bounded operator. Unbounded operators can have closed graph.
$endgroup$
– Kavi Rama Murthy
Dec 7 '18 at 23:21
$begingroup$
Absolutely. The OP misuses the closed graph theorem as the operator is not defined on the whole space.
$endgroup$
– lcv
Dec 8 '18 at 2:14
$begingroup$
Absolutely. The OP misuses the closed graph theorem as the operator is not defined on the whole space.
$endgroup$
– lcv
Dec 8 '18 at 2:14
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%2f3029426%2fproving-that-the-derivative-operator-on-lp0-1-has-a-closed-graph%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