MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

4 deleted 221 characters in body

Maybe this is not a research level question. I post it because I heard that the path integral can be rigorous by Brownian motion. But my knowledge of probability is so limited.

If $$L=\frac{1}{2}(-\frac{d^2}{dx^2}+x^2),$$ we know that $Sp(L)={1/2,3/2,5/2,...}$. So we get $$\mathrm{Tr}[e^{-L}]=\frac{1}{2\sinh1/2}.$$

I would like to recover it by following "method".

If $E_x$ denote the expectation of the Brownian motion $x_.$ start from x. By Feymann-Kac formula, we have $$e^{-L}f(x)=E_x[e^{-\frac{1}{2}\int_0^1x_s^2ds}f(x_1)].$$

If $p(x,y)$ denote the kernel of $e^{-L}$, we get $$p(x,y)=E_x[e^{-\frac{1}{2}\int_0^1x_s^2ds};x_1=y]\frac{e^{-\frac{1}{2}|x-y|^2}}{\sqrt{2\pi}}$$ where $E_x[...;x_1=y]$ is the conditional expectation.

So we get $$\mathrm{Tr}e^{-L}=\int_{x\in \mathbb{R}}\frac{dx}{\sqrt{2\pi}}E_x[e^{-\frac{1}{2}\int_0^1x_s^2ds};x_1=x]$$

All the thing is rigorous until now. But in some physics book, it follows that the right side is $$\int_{periodic\ path} e^{-\frac{1}{2}\int_{0}^1\dot{x}_s^2+x^2_sds}\mathcal{D}x =\int_{periodic\ path} e^{-\frac{1}{2}\int_{0}^1\langle-\Delta +1x,x\rangle} \mathcal{D}x$$ where $$\mathcal{D}x=\mathrm{det}^{1/2}(-\Delta)\frac{dx}{(2\pi)^{\infty/2}}.$$ As the finite cas, $$\int_{periodic\ path} e^{-\frac{1}{2}\int_{0}^1\langle-\Delta +1x,x\rangle} \mathcal{D}x=\frac{\mathrm{det}^{1/2}(-\Delta )}{\mathrm{det}^{1/2}(-\Delta +1)}=\mathrm{det}^{-1/2}(1+(-\Delta)^{-1}).$$ As we know, $Sp(-\Delta)={4\pi^2k^2,k\in \mathbb{Z}}$. We have $$\mathrm{det}^{1/2}(1+(-\Delta)^{-1})=\Pi_{k=1}^{\infty}(1+\frac{1}{4k^2\pi^2})=2\sinh{1/2}$$

It also follows the right answer.

So my question is "How to make it rigorous?"

First, it will need a gaussian measure on the periodic path. But I can not find a natural one.

Edit: Thanks to Alexander Chervov, he give a interesting measure by Fourier Analysis. It is a right one in some sense. But it is not even clear for me that its support is the contious path. And with this measure how can we get the final answer rigorousment.

Edit2 and Answer Thanks to A.J. Tolland and Glimm & Jaffe's book. I just complete the answer to my question.

Consider the Dirichlet probleme on $[0,1]$, $$-\Delta x=0, x(0)=0,x(1)=0$$ There is a unique gaussian mesure $Q$ on $C[0,1]_0$ whose matrix of covariance is $$(-\Delta_D)^{-1}$$ where

Let $(-\Delta_D)^{-1}$ is the Laplacian with Dirichlet condition. Infact this P$is the measure of the brownian bridge. The same we can consider Consider the probleme on operator forme$S^1$, C^{-\infty}(S^1)$ to $$-\Delta x+x=0, C^{\infty}(S^1),$$-\Delta+1, $$There is also a unique gaussian mesure P Q on C(S^1) C^{-\infty}(S^1)(in fact its support is C^0(S^1)) whose matrix of covariance is$$(-\Delta+1)^{-1}$$By the uniqueness, we have$$\frac{dx}{\sqrt{2\pi}}e^{-\frac{1}{2}\int_{0}^1(x_s+x)^2ds}dQ=\frac{\mathrm{det}^{1/2}(-\Delta_D)}{\mathrm{det}^{1/2}(-\Delta+1)}dP$$\frac{dx}{\sqrt{2\pi}}e^{-\frac{1}{2}\int_{0}^1(x_s+x)^2ds}dP=\frac{\mathrm{det}^{1/2}(-\Delta)}{\mathrm{det}^{1/2}(-\Delta+1)}dQ$$

After integral, we have get the resultatas "the physics methode".

Remark, the existance and the uniqueness of the gaussian measure is the big theorem in the Appendix A.4 of Glimm & Jaffe's book.

3 added 968 characters in body

Maybe this is not a research level question. I post it because I heard that the path integral can be rigorous by Brownian motion. But my knowledge of probability is so limited.

If $$L=\frac{1}{2}(-\frac{d^2}{dx^2}+x^2),$$ we know that $Sp(L)={1/2,3/2,5/2,...}$. So we get $$\mathrm{Tr}[e^{-L}]=\frac{1}{2\sinh1/2}.$$

I would like to recover it by following "method".

If $E_x$ denote the expectation of the Brownian motion $x_.$ start from x. By Feymann-Kac formula, we have $$e^{-L}f(x)=E_x[e^{-\frac{1}{2}\int_0^1x_s^2ds}f(x_1)].$$

If $p(x,y)$ denote the kernel of $e^{-L}$, we get $$p(x,y)=E_x[e^{-\frac{1}{2}\int_0^1x_s^2ds};x_1=y]\frac{e^{-\frac{1}{2}|x-y|^2}}{\sqrt{2\pi}}$$ where $E_x[...;x_1=y]$ is the conditional expectation.

So we get $$\mathrm{Tr}e^{-L}=\int_{x\in \mathbb{R}}\frac{dx}{\sqrt{2\pi}}E_x[e^{-\frac{1}{2}\int_0^1x_s^2ds};x_1=x]$$

All the thing is rigorous until now. But in some physics book, it follows that the right side is $$\int_{periodic\ path} e^{-\frac{1}{2}\int_{0}^1\dot{x}_s^2+x^2_sds}\mathcal{D}x =\int_{periodic\ path} e^{-\frac{1}{2}\int_{0}^1\langle-\Delta +1x,x\rangle} \mathcal{D}x$$ where $$\mathcal{D}x=\mathrm{det}^{1/2}(-\Delta)\frac{dx}{(2\pi)^{\infty/2}}.$$ As the finite cas, $$\int_{periodic\ path} e^{-\frac{1}{2}\int_{0}^1\langle-\Delta +1x,x\rangle} \mathcal{D}x=\frac{\mathrm{det}^{1/2}(-\Delta )}{\mathrm{det}^{1/2}(-\Delta +1)}=\mathrm{det}^{-1/2}(1+(-\Delta)^{-1}).$$ As we know, $Sp(-\Delta)={4\pi^2k^2,k\in \mathbb{Z}}$. We have $$\mathrm{det}^{1/2}(1+(-\Delta)^{-1})=\Pi_{k=1}^{\infty}(1+\frac{1}{4k^2\pi^2})=2\sinh{1/2}$$

It also follows the right answer.

So my question is "How to make it rigorous?"

First, it will need a gaussian measure on the periodic path. But I can not find a natural one.

Edit: Thanks to Alexander Chervov, he give a interesting measure by Fourier Analysis. It is a right one in some sense. But it is not even clear for me that its support is the contious path. And with this measure how can we get the final answer rigorousment.

Edit2 and Answer Thanks to A.J. Tolland and Glimm & Jaffe's book. I just complete the answer to my question.

Consider the Dirichlet probleme on $[0,1]$, $$-\Delta x=0, x(0)=0,x(1)=0$$ There is a unique gaussian mesure $Q$ on $C[0,1]_0$ whose matrix of covariance is $$(-\Delta_D)^{-1}$$ where $(-\Delta_D)^{-1}$ is the Laplacian with Dirichlet condition. Infact this is the measure of the brownian bridge.

The same we can consider the probleme on $S^1$, $$-\Delta x+x=0,$$ There is also a unique gaussian mesure $P$ on $C(S^1)$ whose matrix of covariance is $$(-\Delta+1)^{-1}$$

By the uniqueness, we have $$\frac{dx}{\sqrt{2\pi}}e^{-\frac{1}{2}\int_{0}^1(x_s+x)^2ds}dQ=\frac{\mathrm{det}^{1/2}(-\Delta_D)}{\mathrm{det}^{1/2}(-\Delta+1)}dP$$

After integral, we have the resultat as "the physics methode".

Remark, the existance and the uniqueness of the gaussian measure is the big theorem in the Appendix A.4 of Glimm & Jaffe's book.

2 added 662 characters in body

Maybe this is not a research level question. I post it because I heard that the path integral can be rigorous by Brownian motion. But my knowledge of probability is so limited.

If $$L=\frac{1}{2}(-\frac{d^2}{dx^2}+x^2),$$ we know that $Sp(L)={1/2,3/2,5/2,...}$. So we get $$\mathrm{Tr}[e^{-L}]=\frac{1}{2\sinh1/2}.$$

I would like to recover it by following "method".

If $E_x$ denote the expectation of the Brownian motion $x_.$ start from x. By Feymann-Kac formula, we have $$e^{-L}f(x)=E_x[e^{-\frac{1}{2}\int_0^1x_s^2ds}f(x_1)].$$

If $p(x,y)$ denote the kernel of $e^{-L}$, we get $$p(x,y)=E_x[e^{-\frac{1}{2}\int_0^1x_s^2ds};x_1=y]\frac{e^{-\frac{1}{2}|x-y|^2}}{\sqrt{2\pi}}$$ where $E_x[...;x_1=y]$ is the conditional expectation.

So we get $$\mathrm{Tr}e^{-L}=\int_{x\in \mathbb{R}}\frac{dx}{\sqrt{2\pi}}E_x[e^{-\frac{1}{2}\int_0^1x_s^2ds};x_1=x]$$

All the thing is rigorous until now. But in some physics book, it follows that the right side is $$\int_{periodic\ path} e^{-\frac{1}{2}\int_{0}^1\dot{x}_s^2+x^2_sds}Dx e^{-\frac{1}{2}\int_{0}^1\dot{x}_s^2+x^2_sds}\mathcal{D}x =\int_{periodic\ path} e^{-\frac{1}{2}\int_{0}^1\langle-\Delta +1x,x\rangle} Dx =\mathrm{det}^{-1/2}(-\Delta +1)$$ \mathcal{D}x$$where \mathrm{det} is defined \mathcal{D}x=\mathrm{det}^{1/2}(-\Delta)\frac{dx}{(2\pi)^{\infty/2}}.$$ As the Zeta fonction method. This will finite cas, $$\int_{periodic\ path} e^{-\frac{1}{2}\int_{0}^1\langle-\Delta +1x,x\rangle} \mathcal{D}x=\frac{\mathrm{det}^{1/2}(-\Delta )}{\mathrm{det}^{1/2}(-\Delta +1)}=\mathrm{det}^{-1/2}(1+(-\Delta)^{-1}).$$ As we know, $Sp(-\Delta)={4\pi^2k^2,k\in \mathbb{Z}}$. We have $$\mathrm{det}^{1/2}(1+(-\Delta)^{-1})=\Pi_{k=1}^{\infty}(1+\frac{1}{4k^2\pi^2})=2\sinh{1/2}$$

It also follows the right answer.

So my question is "How to make it rigorous?" This

First, it will need a gaussian measure on the periodic path. But I can not find a natural one.

Edit: Thanks to Alexander Chervov, he give a interesting measure by Fourier Analysis. It is a right one in some sense. But it is not even clear for me that its support is the contious path. And with this measure how can we get the final answer rigorousment.