For a compact Riemannian manifold $M$, $L^2(M)$ is spanned by the eigenfunctions of the Laplacian. The Next CEO of Stack OverflowWhy is the laplacian positive-definiteprojection onto the nullspace of the Laplacian on a conformally compact surfaceKernel of the Laplacian on a compact manifoldEigenfunctions and spectrum of $T:H to H^*$ where $H$ is a Hilbert spaceSelf-adjoint extension of the LaplacianDiagonalizable operators on compact Riemannian manifoldsUniform estimate for Laplacian eigenfunctionsGeneral questions on the eigenfunctions of Laplacian and Dirac operatorsLocal form of $p$-Laplacian operator in Riemannian manifoldLaplacian of the position vector

Multi tool use
Multi tool use

Arrows in tikz Markov chain diagram overlap

How do I secure a TV wall mount?

Ising model simulation

How to show a landlord what we have in savings?

Is it reasonable to ask other researchers to send me their previous grant applications?

Why was Sir Cadogan fired?

Calculate the Mean mean of two numbers

Why doesn't Shulchan Aruch include the laws of destroying fruit trees?

Is it correct to say moon starry nights?

Is there a rule of thumb for determining the amount one should accept for a settlement offer?

Avoiding the "not like other girls" trope?

logical reads on global temp table, but not on session-level temp table

Masking layers by a vector polygon layer in QGIS

Does Germany produce more waste than the US?

My boss doesn't want me to have a side project

Would a grinding machine be a simple and workable propulsion system for an interplanetary spacecraft?

Strange use of "whether ... than ..." in official text

Free fall ellipse or parabola?

That's an odd coin - I wonder why

How can I separate the number from the unit in argument?

Could a dragon use hot air to help it take off?

How dangerous is XSS

Direct Implications Between USA and UK in Event of No-Deal Brexit

Man transported from Alternate World into ours by a Neutrino Detector



For a compact Riemannian manifold $M$, $L^2(M)$ is spanned by the eigenfunctions of the Laplacian.



The Next CEO of Stack OverflowWhy is the laplacian positive-definiteprojection onto the nullspace of the Laplacian on a conformally compact surfaceKernel of the Laplacian on a compact manifoldEigenfunctions and spectrum of $T:H to H^*$ where $H$ is a Hilbert spaceSelf-adjoint extension of the LaplacianDiagonalizable operators on compact Riemannian manifoldsUniform estimate for Laplacian eigenfunctionsGeneral questions on the eigenfunctions of Laplacian and Dirac operatorsLocal form of $p$-Laplacian operator in Riemannian manifoldLaplacian of the position vector










2












$begingroup$


In some paper I read the following statement:




For a compact Riemannian manifold $M$ and the corresponding Laplace-Beltrami operator $Delta$ on $M$ we have, that $$L^2(M) = widehatbigoplus_lambda operatornameEigbig( Delta , lambda big) .$$
So the $L^2$-space of $M$ is spanned by the eigenfunctions of the laplacian.




Now the question is: do you know a good book where to look the proof up or from where to cite this result?



Thanks a lot in advance!










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    I don't have a good reference at hand, but the argument goes as follows: (1) For every self-adjoint operator with compact resolvent, the underlying Hilbert spaces decomposes as direct sum of its eigenspaces. This is a direct consequence of the spectral theorem for compact operators. (2) The Laplace-Beltrami operator on a compact Riemannian manifold has compact resolvent. This follows from the compact the Rellich–Kondrachov embedding theorem.
    $endgroup$
    – MaoWao
    Mar 20 at 14:39










  • $begingroup$
    Thank you very much! In the meantime I did also find a reference were they proof it for the case of compact hyperbolic surfaces, which is enough for me and might be enough for some other people: The Spectrum of Hyperbolic Surfaces by Nicolas Bergeron
    $endgroup$
    – Targon
    Mar 20 at 17:28











  • $begingroup$
    And I'd say locally in some chart $Delta_M$ looks like $fmapsto Delta_BbbR^n (f circ psi)$ for some uniformly smooth $psi$ so the resolvent is compact for almost every $z$ and the same holds globally because $M$ is compact thus covered by finitely many charts / bounded domains
    $endgroup$
    – reuns
    Mar 21 at 2:55
















2












$begingroup$


In some paper I read the following statement:




For a compact Riemannian manifold $M$ and the corresponding Laplace-Beltrami operator $Delta$ on $M$ we have, that $$L^2(M) = widehatbigoplus_lambda operatornameEigbig( Delta , lambda big) .$$
So the $L^2$-space of $M$ is spanned by the eigenfunctions of the laplacian.




Now the question is: do you know a good book where to look the proof up or from where to cite this result?



Thanks a lot in advance!










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    I don't have a good reference at hand, but the argument goes as follows: (1) For every self-adjoint operator with compact resolvent, the underlying Hilbert spaces decomposes as direct sum of its eigenspaces. This is a direct consequence of the spectral theorem for compact operators. (2) The Laplace-Beltrami operator on a compact Riemannian manifold has compact resolvent. This follows from the compact the Rellich–Kondrachov embedding theorem.
    $endgroup$
    – MaoWao
    Mar 20 at 14:39










  • $begingroup$
    Thank you very much! In the meantime I did also find a reference were they proof it for the case of compact hyperbolic surfaces, which is enough for me and might be enough for some other people: The Spectrum of Hyperbolic Surfaces by Nicolas Bergeron
    $endgroup$
    – Targon
    Mar 20 at 17:28











  • $begingroup$
    And I'd say locally in some chart $Delta_M$ looks like $fmapsto Delta_BbbR^n (f circ psi)$ for some uniformly smooth $psi$ so the resolvent is compact for almost every $z$ and the same holds globally because $M$ is compact thus covered by finitely many charts / bounded domains
    $endgroup$
    – reuns
    Mar 21 at 2:55














2












2








2


1



$begingroup$


In some paper I read the following statement:




For a compact Riemannian manifold $M$ and the corresponding Laplace-Beltrami operator $Delta$ on $M$ we have, that $$L^2(M) = widehatbigoplus_lambda operatornameEigbig( Delta , lambda big) .$$
So the $L^2$-space of $M$ is spanned by the eigenfunctions of the laplacian.




Now the question is: do you know a good book where to look the proof up or from where to cite this result?



Thanks a lot in advance!










share|cite|improve this question











$endgroup$




In some paper I read the following statement:




For a compact Riemannian manifold $M$ and the corresponding Laplace-Beltrami operator $Delta$ on $M$ we have, that $$L^2(M) = widehatbigoplus_lambda operatornameEigbig( Delta , lambda big) .$$
So the $L^2$-space of $M$ is spanned by the eigenfunctions of the laplacian.




Now the question is: do you know a good book where to look the proof up or from where to cite this result?



Thanks a lot in advance!







functional-analysis reference-request spectral-theory laplacian eigenfunctions






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 21 at 0:57









Andrews

1,2812422




1,2812422










asked Mar 20 at 10:56









TargonTargon

677




677







  • 1




    $begingroup$
    I don't have a good reference at hand, but the argument goes as follows: (1) For every self-adjoint operator with compact resolvent, the underlying Hilbert spaces decomposes as direct sum of its eigenspaces. This is a direct consequence of the spectral theorem for compact operators. (2) The Laplace-Beltrami operator on a compact Riemannian manifold has compact resolvent. This follows from the compact the Rellich–Kondrachov embedding theorem.
    $endgroup$
    – MaoWao
    Mar 20 at 14:39










  • $begingroup$
    Thank you very much! In the meantime I did also find a reference were they proof it for the case of compact hyperbolic surfaces, which is enough for me and might be enough for some other people: The Spectrum of Hyperbolic Surfaces by Nicolas Bergeron
    $endgroup$
    – Targon
    Mar 20 at 17:28











  • $begingroup$
    And I'd say locally in some chart $Delta_M$ looks like $fmapsto Delta_BbbR^n (f circ psi)$ for some uniformly smooth $psi$ so the resolvent is compact for almost every $z$ and the same holds globally because $M$ is compact thus covered by finitely many charts / bounded domains
    $endgroup$
    – reuns
    Mar 21 at 2:55













  • 1




    $begingroup$
    I don't have a good reference at hand, but the argument goes as follows: (1) For every self-adjoint operator with compact resolvent, the underlying Hilbert spaces decomposes as direct sum of its eigenspaces. This is a direct consequence of the spectral theorem for compact operators. (2) The Laplace-Beltrami operator on a compact Riemannian manifold has compact resolvent. This follows from the compact the Rellich–Kondrachov embedding theorem.
    $endgroup$
    – MaoWao
    Mar 20 at 14:39










  • $begingroup$
    Thank you very much! In the meantime I did also find a reference were they proof it for the case of compact hyperbolic surfaces, which is enough for me and might be enough for some other people: The Spectrum of Hyperbolic Surfaces by Nicolas Bergeron
    $endgroup$
    – Targon
    Mar 20 at 17:28











  • $begingroup$
    And I'd say locally in some chart $Delta_M$ looks like $fmapsto Delta_BbbR^n (f circ psi)$ for some uniformly smooth $psi$ so the resolvent is compact for almost every $z$ and the same holds globally because $M$ is compact thus covered by finitely many charts / bounded domains
    $endgroup$
    – reuns
    Mar 21 at 2:55








1




1




$begingroup$
I don't have a good reference at hand, but the argument goes as follows: (1) For every self-adjoint operator with compact resolvent, the underlying Hilbert spaces decomposes as direct sum of its eigenspaces. This is a direct consequence of the spectral theorem for compact operators. (2) The Laplace-Beltrami operator on a compact Riemannian manifold has compact resolvent. This follows from the compact the Rellich–Kondrachov embedding theorem.
$endgroup$
– MaoWao
Mar 20 at 14:39




$begingroup$
I don't have a good reference at hand, but the argument goes as follows: (1) For every self-adjoint operator with compact resolvent, the underlying Hilbert spaces decomposes as direct sum of its eigenspaces. This is a direct consequence of the spectral theorem for compact operators. (2) The Laplace-Beltrami operator on a compact Riemannian manifold has compact resolvent. This follows from the compact the Rellich–Kondrachov embedding theorem.
$endgroup$
– MaoWao
Mar 20 at 14:39












$begingroup$
Thank you very much! In the meantime I did also find a reference were they proof it for the case of compact hyperbolic surfaces, which is enough for me and might be enough for some other people: The Spectrum of Hyperbolic Surfaces by Nicolas Bergeron
$endgroup$
– Targon
Mar 20 at 17:28





$begingroup$
Thank you very much! In the meantime I did also find a reference were they proof it for the case of compact hyperbolic surfaces, which is enough for me and might be enough for some other people: The Spectrum of Hyperbolic Surfaces by Nicolas Bergeron
$endgroup$
– Targon
Mar 20 at 17:28













$begingroup$
And I'd say locally in some chart $Delta_M$ looks like $fmapsto Delta_BbbR^n (f circ psi)$ for some uniformly smooth $psi$ so the resolvent is compact for almost every $z$ and the same holds globally because $M$ is compact thus covered by finitely many charts / bounded domains
$endgroup$
– reuns
Mar 21 at 2:55





$begingroup$
And I'd say locally in some chart $Delta_M$ looks like $fmapsto Delta_BbbR^n (f circ psi)$ for some uniformly smooth $psi$ so the resolvent is compact for almost every $z$ and the same holds globally because $M$ is compact thus covered by finitely many charts / bounded domains
$endgroup$
– reuns
Mar 21 at 2:55











0






active

oldest

votes












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%2f3155275%2ffor-a-compact-riemannian-manifold-m-l2m-is-spanned-by-the-eigenfunctions%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






active

oldest

votes









active

oldest

votes






active

oldest

votes















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%2f3155275%2ffor-a-compact-riemannian-manifold-m-l2m-is-spanned-by-the-eigenfunctions%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







N KtGMTCkfa4VhnI XN9emFj0,zo2wpRTzKD0,T,zKn5H1Ak7RPDKnb7K,g6ofNqe,s4HKxWv9h,6EcuAwuN jKSTOxxJfnl
xSfV4J7UuBYab2x,jKGNr45U,yg

Popular posts from this blog

Football at the 1986 Brunei Merdeka Games Contents Teams Group stage Knockout stage References Navigation menu"Brunei Merdeka Games 1986".

Solar Wings Breeze Design and development Specifications (Breeze) References Navigation menu1368-485X"Hang glider: Breeze (Solar Wings)"e

Kathakali Contents Etymology and nomenclature History Repertoire Songs and musical instruments Traditional plays Styles: Sampradayam Training centers and awards Relationship to other dance forms See also Notes References External links Navigation menueThe Illustrated Encyclopedia of Hinduism: A-MSouth Asian Folklore: An EncyclopediaRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to Play10.1353/atj.2005.0004The Illustrated Encyclopedia of Hinduism: A-MEncyclopedia of HinduismKathakali Dance-drama: Where Gods and Demons Come to PlaySonic Liturgy: Ritual and Music in Hindu Tradition"The Mirror of Gesture"Kathakali Dance-drama: Where Gods and Demons Come to Play"Kathakali"Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceMedieval Indian Literature: An AnthologyThe Oxford Companion to Indian TheatreSouth Asian Folklore: An Encyclopedia : Afghanistan, Bangladesh, India, Nepal, Pakistan, Sri LankaThe Rise of Performance Studies: Rethinking Richard Schechner's Broad SpectrumIndian Theatre: Traditions of PerformanceModern Asian Theatre and Performance 1900-2000Critical Theory and PerformanceBetween Theater and AnthropologyKathakali603847011Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceBetween Theater and AnthropologyBetween Theater and AnthropologyNambeesan Smaraka AwardsArchivedThe Cambridge Guide to TheatreRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeThe Garland Encyclopedia of World Music: South Asia : the Indian subcontinentThe Ethos of Noh: Actors and Their Art10.2307/1145740By Means of Performance: Intercultural Studies of Theatre and Ritual10.1017/s204912550000100xReconceiving the Renaissance: A Critical ReaderPerformance TheoryListening to Theatre: The Aural Dimension of Beijing Opera10.2307/1146013Kathakali: The Art of the Non-WorldlyOn KathakaliKathakali, the dance theatreThe Kathakali Complex: Performance & StructureKathakali Dance-Drama: Where Gods and Demons Come to Play10.1093/obo/9780195399318-0071Drama and Ritual of Early Hinduism"In the Shadow of Hollywood Orientalism: Authentic East Indian Dancing"10.1080/08949460490274013Sanskrit Play Production in Ancient IndiaIndian Music: History and StructureBharata, the Nāṭyaśāstra233639306Table of Contents2238067286469807Dance In Indian Painting10.2307/32047833204783Kathakali Dance-Theatre: A Visual Narrative of Sacred Indian MimeIndian Classical Dance: The Renaissance and BeyondKathakali: an indigenous art-form of Keralaeee