Continuous spectrum












3












$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.










share|cite|improve this question











$endgroup$

















    3












    $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.










    share|cite|improve this question











    $endgroup$















      3












      3








      3


      2



      $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.










      share|cite|improve this question











      $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






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 26 '18 at 13:49









      Yanko

      6,4081528




      6,4081528










      asked Nov 26 '18 at 13:48









      ManifoldsManifolds

      412




      412






















          1 Answer
          1






          active

          oldest

          votes


















          4












          $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.






          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: "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
            });


            }
            });














            draft saved

            draft discarded


















            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









            4












            $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.






            share|cite|improve this answer











            $endgroup$


















              4












              $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.






              share|cite|improve this answer











              $endgroup$
















                4












                4








                4





                $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.






                share|cite|improve this answer











                $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.







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited Nov 26 '18 at 15:04

























                answered Nov 26 '18 at 14:53









                DisintegratingByPartsDisintegratingByParts

                58.9k42580




                58.9k42580






























                    draft saved

                    draft discarded




















































                    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.




                    draft saved


                    draft discarded














                    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





















































                    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

                    Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

                    ComboBox Display Member on multiple fields

                    Is it possible to collect Nectar points via Trainline?