Continuous spectrum
$begingroup$
I understand that the definition of spectrum of an operator(where operator means to be in functional analysis).
The point spectrum(eigenvlue) is used for solving some partial equations(e.g. heat equation, wave equation).
But I don't know what the continuous spectrum means.
Why do we need to consider the continuous spectrum?
I'd appreciate it if you could answer this question.
functional-analysis spectral-theory
$endgroup$
add a comment |
$begingroup$
I understand that the definition of spectrum of an operator(where operator means to be in functional analysis).
The point spectrum(eigenvlue) is used for solving some partial equations(e.g. heat equation, wave equation).
But I don't know what the continuous spectrum means.
Why do we need to consider the continuous spectrum?
I'd appreciate it if you could answer this question.
functional-analysis spectral-theory
$endgroup$
add a comment |
$begingroup$
I understand that the definition of spectrum of an operator(where operator means to be in functional analysis).
The point spectrum(eigenvlue) is used for solving some partial equations(e.g. heat equation, wave equation).
But I don't know what the continuous spectrum means.
Why do we need to consider the continuous spectrum?
I'd appreciate it if you could answer this question.
functional-analysis spectral-theory
$endgroup$
I understand that the definition of spectrum of an operator(where operator means to be in functional analysis).
The point spectrum(eigenvlue) is used for solving some partial equations(e.g. heat equation, wave equation).
But I don't know what the continuous spectrum means.
Why do we need to consider the continuous spectrum?
I'd appreciate it if you could answer this question.
functional-analysis spectral-theory
functional-analysis spectral-theory
edited Nov 26 '18 at 13:49
Yanko
6,4081528
6,4081528
asked Nov 26 '18 at 13:48
ManifoldsManifolds
412
412
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Consider the differential operator $L=frac{1}{i}frac{d}{dx}$ on $L^2[-pi n,pi n]$, where $n=1,2,3,cdots$ with a periodic condition $f(-pi n)=f(pi n)$ on the domain. The normalized eigenfunctions of $L$ are
$$
f_k(x)=frac{e^{ik/n}}{sqrt{2pi n}},;;; k=0,pm 1,pm 2,cdots.
$$
A function $fin L^2[-npi,npi]$ can be expanded in these eigenfunctions as
$$
f = sum_{k=-infty}^{infty}frac{1}{2pi n}langle f,e^{i kx/n}rangle e^{ikx/n}.
$$
As $nrightarrowinfty$, the eigenvalues are closer and closer to each other, and one may intuitively expect, based on Riemann integral ideas, an expansion of the form
$$
f = frac{1}{2pi}int_{-infty}^{infty}left(int_{-infty}^{infty}f(t)e^{-ist}dtright)e^{isx}ds
$$
In the limit, there is a "continuous" spectrum $(-infty,infty)$ and a continuum of "eigenfunctions" indexed by $sin(-infty,infty)$. One also has the generalized Parseval relation:
$$ |f|^2 = frac{1}{2pi}int_{-infty}^{infty}left|int_{-infty}^{infty}f(t)e^{-ist}dtright|^2ds.
$$
This is basically the idea that Fourier proposed in order to come up with the Fourier transform, though he used cosine and sine transforms.
As intuitive and compelling as these ideas may be, they are extremely difficult to justify in a rigorous way using these arguments. Though Fourier did not manage a rigorous argument, the final result is correct. This sort of thing happens when transitioning from finite to infinite domains for differential operators.
For a selfadjoint operator $A$, a point $s$ is in the continuous spectrum if, for every $epsilon > 0$, there is a unit vector $f_{s,epsilon}$ such that $|Af_{s,epsilon}-sf_{s,epsilon}| < epsilon$, even though $Af_{s,epsilon} ne s f_{s,epsilon}$. Every $sinmathbb{R}$ is in the continuous spectrum of $L=frac{1}{i}frac{d}{dx}$ on $L^2(mathbb{R})$. The term "continuous spectrum" is confusing unless you know this origin of the term, where you have a continuum of approximate eigenvalues in the limit of the discrete. Multiplication by $x$ on $L^2[a,b]$ has continuous spectrum only, and every $sin [a,b]$ is in the continuous spectrum. The Fourier transform turns $frac{1}{i}frac{d}{dx}$ into such a multiplication operator with continuous spectrum $(infty,infty)$. Multiplication is a model for selfadjoint operators.
$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%2f3014356%2fcontinuous-spectrum%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$
Consider the differential operator $L=frac{1}{i}frac{d}{dx}$ on $L^2[-pi n,pi n]$, where $n=1,2,3,cdots$ with a periodic condition $f(-pi n)=f(pi n)$ on the domain. The normalized eigenfunctions of $L$ are
$$
f_k(x)=frac{e^{ik/n}}{sqrt{2pi n}},;;; k=0,pm 1,pm 2,cdots.
$$
A function $fin L^2[-npi,npi]$ can be expanded in these eigenfunctions as
$$
f = sum_{k=-infty}^{infty}frac{1}{2pi n}langle f,e^{i kx/n}rangle e^{ikx/n}.
$$
As $nrightarrowinfty$, the eigenvalues are closer and closer to each other, and one may intuitively expect, based on Riemann integral ideas, an expansion of the form
$$
f = frac{1}{2pi}int_{-infty}^{infty}left(int_{-infty}^{infty}f(t)e^{-ist}dtright)e^{isx}ds
$$
In the limit, there is a "continuous" spectrum $(-infty,infty)$ and a continuum of "eigenfunctions" indexed by $sin(-infty,infty)$. One also has the generalized Parseval relation:
$$ |f|^2 = frac{1}{2pi}int_{-infty}^{infty}left|int_{-infty}^{infty}f(t)e^{-ist}dtright|^2ds.
$$
This is basically the idea that Fourier proposed in order to come up with the Fourier transform, though he used cosine and sine transforms.
As intuitive and compelling as these ideas may be, they are extremely difficult to justify in a rigorous way using these arguments. Though Fourier did not manage a rigorous argument, the final result is correct. This sort of thing happens when transitioning from finite to infinite domains for differential operators.
For a selfadjoint operator $A$, a point $s$ is in the continuous spectrum if, for every $epsilon > 0$, there is a unit vector $f_{s,epsilon}$ such that $|Af_{s,epsilon}-sf_{s,epsilon}| < epsilon$, even though $Af_{s,epsilon} ne s f_{s,epsilon}$. Every $sinmathbb{R}$ is in the continuous spectrum of $L=frac{1}{i}frac{d}{dx}$ on $L^2(mathbb{R})$. The term "continuous spectrum" is confusing unless you know this origin of the term, where you have a continuum of approximate eigenvalues in the limit of the discrete. Multiplication by $x$ on $L^2[a,b]$ has continuous spectrum only, and every $sin [a,b]$ is in the continuous spectrum. The Fourier transform turns $frac{1}{i}frac{d}{dx}$ into such a multiplication operator with continuous spectrum $(infty,infty)$. Multiplication is a model for selfadjoint operators.
$endgroup$
add a comment |
$begingroup$
Consider the differential operator $L=frac{1}{i}frac{d}{dx}$ on $L^2[-pi n,pi n]$, where $n=1,2,3,cdots$ with a periodic condition $f(-pi n)=f(pi n)$ on the domain. The normalized eigenfunctions of $L$ are
$$
f_k(x)=frac{e^{ik/n}}{sqrt{2pi n}},;;; k=0,pm 1,pm 2,cdots.
$$
A function $fin L^2[-npi,npi]$ can be expanded in these eigenfunctions as
$$
f = sum_{k=-infty}^{infty}frac{1}{2pi n}langle f,e^{i kx/n}rangle e^{ikx/n}.
$$
As $nrightarrowinfty$, the eigenvalues are closer and closer to each other, and one may intuitively expect, based on Riemann integral ideas, an expansion of the form
$$
f = frac{1}{2pi}int_{-infty}^{infty}left(int_{-infty}^{infty}f(t)e^{-ist}dtright)e^{isx}ds
$$
In the limit, there is a "continuous" spectrum $(-infty,infty)$ and a continuum of "eigenfunctions" indexed by $sin(-infty,infty)$. One also has the generalized Parseval relation:
$$ |f|^2 = frac{1}{2pi}int_{-infty}^{infty}left|int_{-infty}^{infty}f(t)e^{-ist}dtright|^2ds.
$$
This is basically the idea that Fourier proposed in order to come up with the Fourier transform, though he used cosine and sine transforms.
As intuitive and compelling as these ideas may be, they are extremely difficult to justify in a rigorous way using these arguments. Though Fourier did not manage a rigorous argument, the final result is correct. This sort of thing happens when transitioning from finite to infinite domains for differential operators.
For a selfadjoint operator $A$, a point $s$ is in the continuous spectrum if, for every $epsilon > 0$, there is a unit vector $f_{s,epsilon}$ such that $|Af_{s,epsilon}-sf_{s,epsilon}| < epsilon$, even though $Af_{s,epsilon} ne s f_{s,epsilon}$. Every $sinmathbb{R}$ is in the continuous spectrum of $L=frac{1}{i}frac{d}{dx}$ on $L^2(mathbb{R})$. The term "continuous spectrum" is confusing unless you know this origin of the term, where you have a continuum of approximate eigenvalues in the limit of the discrete. Multiplication by $x$ on $L^2[a,b]$ has continuous spectrum only, and every $sin [a,b]$ is in the continuous spectrum. The Fourier transform turns $frac{1}{i}frac{d}{dx}$ into such a multiplication operator with continuous spectrum $(infty,infty)$. Multiplication is a model for selfadjoint operators.
$endgroup$
add a comment |
$begingroup$
Consider the differential operator $L=frac{1}{i}frac{d}{dx}$ on $L^2[-pi n,pi n]$, where $n=1,2,3,cdots$ with a periodic condition $f(-pi n)=f(pi n)$ on the domain. The normalized eigenfunctions of $L$ are
$$
f_k(x)=frac{e^{ik/n}}{sqrt{2pi n}},;;; k=0,pm 1,pm 2,cdots.
$$
A function $fin L^2[-npi,npi]$ can be expanded in these eigenfunctions as
$$
f = sum_{k=-infty}^{infty}frac{1}{2pi n}langle f,e^{i kx/n}rangle e^{ikx/n}.
$$
As $nrightarrowinfty$, the eigenvalues are closer and closer to each other, and one may intuitively expect, based on Riemann integral ideas, an expansion of the form
$$
f = frac{1}{2pi}int_{-infty}^{infty}left(int_{-infty}^{infty}f(t)e^{-ist}dtright)e^{isx}ds
$$
In the limit, there is a "continuous" spectrum $(-infty,infty)$ and a continuum of "eigenfunctions" indexed by $sin(-infty,infty)$. One also has the generalized Parseval relation:
$$ |f|^2 = frac{1}{2pi}int_{-infty}^{infty}left|int_{-infty}^{infty}f(t)e^{-ist}dtright|^2ds.
$$
This is basically the idea that Fourier proposed in order to come up with the Fourier transform, though he used cosine and sine transforms.
As intuitive and compelling as these ideas may be, they are extremely difficult to justify in a rigorous way using these arguments. Though Fourier did not manage a rigorous argument, the final result is correct. This sort of thing happens when transitioning from finite to infinite domains for differential operators.
For a selfadjoint operator $A$, a point $s$ is in the continuous spectrum if, for every $epsilon > 0$, there is a unit vector $f_{s,epsilon}$ such that $|Af_{s,epsilon}-sf_{s,epsilon}| < epsilon$, even though $Af_{s,epsilon} ne s f_{s,epsilon}$. Every $sinmathbb{R}$ is in the continuous spectrum of $L=frac{1}{i}frac{d}{dx}$ on $L^2(mathbb{R})$. The term "continuous spectrum" is confusing unless you know this origin of the term, where you have a continuum of approximate eigenvalues in the limit of the discrete. Multiplication by $x$ on $L^2[a,b]$ has continuous spectrum only, and every $sin [a,b]$ is in the continuous spectrum. The Fourier transform turns $frac{1}{i}frac{d}{dx}$ into such a multiplication operator with continuous spectrum $(infty,infty)$. Multiplication is a model for selfadjoint operators.
$endgroup$
Consider the differential operator $L=frac{1}{i}frac{d}{dx}$ on $L^2[-pi n,pi n]$, where $n=1,2,3,cdots$ with a periodic condition $f(-pi n)=f(pi n)$ on the domain. The normalized eigenfunctions of $L$ are
$$
f_k(x)=frac{e^{ik/n}}{sqrt{2pi n}},;;; k=0,pm 1,pm 2,cdots.
$$
A function $fin L^2[-npi,npi]$ can be expanded in these eigenfunctions as
$$
f = sum_{k=-infty}^{infty}frac{1}{2pi n}langle f,e^{i kx/n}rangle e^{ikx/n}.
$$
As $nrightarrowinfty$, the eigenvalues are closer and closer to each other, and one may intuitively expect, based on Riemann integral ideas, an expansion of the form
$$
f = frac{1}{2pi}int_{-infty}^{infty}left(int_{-infty}^{infty}f(t)e^{-ist}dtright)e^{isx}ds
$$
In the limit, there is a "continuous" spectrum $(-infty,infty)$ and a continuum of "eigenfunctions" indexed by $sin(-infty,infty)$. One also has the generalized Parseval relation:
$$ |f|^2 = frac{1}{2pi}int_{-infty}^{infty}left|int_{-infty}^{infty}f(t)e^{-ist}dtright|^2ds.
$$
This is basically the idea that Fourier proposed in order to come up with the Fourier transform, though he used cosine and sine transforms.
As intuitive and compelling as these ideas may be, they are extremely difficult to justify in a rigorous way using these arguments. Though Fourier did not manage a rigorous argument, the final result is correct. This sort of thing happens when transitioning from finite to infinite domains for differential operators.
For a selfadjoint operator $A$, a point $s$ is in the continuous spectrum if, for every $epsilon > 0$, there is a unit vector $f_{s,epsilon}$ such that $|Af_{s,epsilon}-sf_{s,epsilon}| < epsilon$, even though $Af_{s,epsilon} ne s f_{s,epsilon}$. Every $sinmathbb{R}$ is in the continuous spectrum of $L=frac{1}{i}frac{d}{dx}$ on $L^2(mathbb{R})$. The term "continuous spectrum" is confusing unless you know this origin of the term, where you have a continuum of approximate eigenvalues in the limit of the discrete. Multiplication by $x$ on $L^2[a,b]$ has continuous spectrum only, and every $sin [a,b]$ is in the continuous spectrum. The Fourier transform turns $frac{1}{i}frac{d}{dx}$ into such a multiplication operator with continuous spectrum $(infty,infty)$. Multiplication is a model for selfadjoint operators.
edited Nov 26 '18 at 15:04
answered Nov 26 '18 at 14:53
DisintegratingByPartsDisintegratingByParts
58.9k42580
58.9k42580
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%2f3014356%2fcontinuous-spectrum%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