Is $int V^2e^-Vdtextvol0$?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
8
down vote

favorite
3












Suppose we have a measure $mu(dx)= e^-V(x)dtextvol$ on a Riemannian manifold M with $Vin C^2(M)$, $int e^-Vdtextvol = 1$ and $textRic+textHess(V)>0$.
Is it then true that $int V^2e^-Vdtextvol<infty$?
This holds on $mathbbR^n$ and of course on any compact manifold, which tempts me to believe that it is always true, but I do not know for sure.







share|cite|improve this question





















  • May I know how this is true for $mathbb R^n$?
    – John Ma
    Jul 24 at 4:09










  • My attempt on $mathbbR^n$: $V$ is coercive and thus bounded from below. Let $k_0:= lfloor inf Vrfloor>-infty$ and, for any $kinmathbbZ$, let $A_k := leftkleq V<k+1right$. \ $V$ grows at least linearly at infinity so that there is some $M>>0$ with $textvol(A_k)leq Mk^n-1$ for all $k$. Thus, beginalign* int V^2e^-V d x leq sum_k=k_0^infty (k+1)^2e^-ktextvol(A_k) leq M sum_k=k_0^infty (k+1)^2e^-kk^n-1 < infty ,endalign* where the last sum is finite by the integral test for convergence.
    – Corram
    Jul 24 at 8:41














up vote
8
down vote

favorite
3












Suppose we have a measure $mu(dx)= e^-V(x)dtextvol$ on a Riemannian manifold M with $Vin C^2(M)$, $int e^-Vdtextvol = 1$ and $textRic+textHess(V)>0$.
Is it then true that $int V^2e^-Vdtextvol<infty$?
This holds on $mathbbR^n$ and of course on any compact manifold, which tempts me to believe that it is always true, but I do not know for sure.







share|cite|improve this question





















  • May I know how this is true for $mathbb R^n$?
    – John Ma
    Jul 24 at 4:09










  • My attempt on $mathbbR^n$: $V$ is coercive and thus bounded from below. Let $k_0:= lfloor inf Vrfloor>-infty$ and, for any $kinmathbbZ$, let $A_k := leftkleq V<k+1right$. \ $V$ grows at least linearly at infinity so that there is some $M>>0$ with $textvol(A_k)leq Mk^n-1$ for all $k$. Thus, beginalign* int V^2e^-V d x leq sum_k=k_0^infty (k+1)^2e^-ktextvol(A_k) leq M sum_k=k_0^infty (k+1)^2e^-kk^n-1 < infty ,endalign* where the last sum is finite by the integral test for convergence.
    – Corram
    Jul 24 at 8:41












up vote
8
down vote

favorite
3









up vote
8
down vote

favorite
3






3





Suppose we have a measure $mu(dx)= e^-V(x)dtextvol$ on a Riemannian manifold M with $Vin C^2(M)$, $int e^-Vdtextvol = 1$ and $textRic+textHess(V)>0$.
Is it then true that $int V^2e^-Vdtextvol<infty$?
This holds on $mathbbR^n$ and of course on any compact manifold, which tempts me to believe that it is always true, but I do not know for sure.







share|cite|improve this question













Suppose we have a measure $mu(dx)= e^-V(x)dtextvol$ on a Riemannian manifold M with $Vin C^2(M)$, $int e^-Vdtextvol = 1$ and $textRic+textHess(V)>0$.
Is it then true that $int V^2e^-Vdtextvol<infty$?
This holds on $mathbbR^n$ and of course on any compact manifold, which tempts me to believe that it is always true, but I do not know for sure.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 24 at 4:09









John Ma

37.5k93669




37.5k93669









asked Jul 23 at 21:55









Corram

885




885











  • May I know how this is true for $mathbb R^n$?
    – John Ma
    Jul 24 at 4:09










  • My attempt on $mathbbR^n$: $V$ is coercive and thus bounded from below. Let $k_0:= lfloor inf Vrfloor>-infty$ and, for any $kinmathbbZ$, let $A_k := leftkleq V<k+1right$. \ $V$ grows at least linearly at infinity so that there is some $M>>0$ with $textvol(A_k)leq Mk^n-1$ for all $k$. Thus, beginalign* int V^2e^-V d x leq sum_k=k_0^infty (k+1)^2e^-ktextvol(A_k) leq M sum_k=k_0^infty (k+1)^2e^-kk^n-1 < infty ,endalign* where the last sum is finite by the integral test for convergence.
    – Corram
    Jul 24 at 8:41
















  • May I know how this is true for $mathbb R^n$?
    – John Ma
    Jul 24 at 4:09










  • My attempt on $mathbbR^n$: $V$ is coercive and thus bounded from below. Let $k_0:= lfloor inf Vrfloor>-infty$ and, for any $kinmathbbZ$, let $A_k := leftkleq V<k+1right$. \ $V$ grows at least linearly at infinity so that there is some $M>>0$ with $textvol(A_k)leq Mk^n-1$ for all $k$. Thus, beginalign* int V^2e^-V d x leq sum_k=k_0^infty (k+1)^2e^-ktextvol(A_k) leq M sum_k=k_0^infty (k+1)^2e^-kk^n-1 < infty ,endalign* where the last sum is finite by the integral test for convergence.
    – Corram
    Jul 24 at 8:41















May I know how this is true for $mathbb R^n$?
– John Ma
Jul 24 at 4:09




May I know how this is true for $mathbb R^n$?
– John Ma
Jul 24 at 4:09












My attempt on $mathbbR^n$: $V$ is coercive and thus bounded from below. Let $k_0:= lfloor inf Vrfloor>-infty$ and, for any $kinmathbbZ$, let $A_k := leftkleq V<k+1right$. \ $V$ grows at least linearly at infinity so that there is some $M>>0$ with $textvol(A_k)leq Mk^n-1$ for all $k$. Thus, beginalign* int V^2e^-V d x leq sum_k=k_0^infty (k+1)^2e^-ktextvol(A_k) leq M sum_k=k_0^infty (k+1)^2e^-kk^n-1 < infty ,endalign* where the last sum is finite by the integral test for convergence.
– Corram
Jul 24 at 8:41




My attempt on $mathbbR^n$: $V$ is coercive and thus bounded from below. Let $k_0:= lfloor inf Vrfloor>-infty$ and, for any $kinmathbbZ$, let $A_k := leftkleq V<k+1right$. \ $V$ grows at least linearly at infinity so that there is some $M>>0$ with $textvol(A_k)leq Mk^n-1$ for all $k$. Thus, beginalign* int V^2e^-V d x leq sum_k=k_0^infty (k+1)^2e^-ktextvol(A_k) leq M sum_k=k_0^infty (k+1)^2e^-kk^n-1 < infty ,endalign* where the last sum is finite by the integral test for convergence.
– Corram
Jul 24 at 8:41















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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
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%2f2860816%2fis-int-v2e-vd-textvol-infty-on-a-manifold-such-that-textric-text%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2860816%2fis-int-v2e-vd-textvol-infty-on-a-manifold-such-that-textric-text%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Relationship between determinant of matrix and determinant of adjoint?

Color the edges and diagonals of a regular polygon