Search Results

This page on Wikipedia defines the so-called functional derivative as follows: "Given a manifold $M$ representing (continuous/smooth) functions $\rho$ (with certain boundary conditions, etc.) and a fu …

Disclaimer: This question has its motivation from physics. It is probably not entirely rigorous at the moment. I just want to clarify some steps and try to make the arguments rigorous afterwards, if p …

Let $f: \mathbb{R}^{3} \to \mathbb{R}$ be the solution of the following PDE: $$\Delta f -\frac{1}{2}h f = 0$$ where $h \in C_{c}^{\infty}(\mathbb{R}^{3})$ (compactly supported an smooth) and $f$ satis …

Let $A_{1},...,A_{n}$ be densely defined self-adjoint operators on a separable Hilbert space $\mathscr{H}$. Suppose these have a common dense domain $D\subset \mathscr{H}$ and satisfy commutation rela …

It is a known fact that Borel measures are uniquely determined by their Fourier transforms. This is the motivation for the following question. I came across the concept of a Borel transform of a Borel …

Physicists often use functional integrals and I'm trying to make sense of it in more precise terms. As you can see here, the functional derivative in Physics is defined in terms of Taylor expansions. …

Let $(X,\tau)$ be a locally convex space and $(X^{*},\tau_{s})$ be its topological dual space equipped with the strong topology. Denote by $S(X,X^{*})$ the collection of operators from $X$ to $X^{*}$ …

I'm not sure this is an appropriate question for this site but I've tried math stack exchange and got no answers. Also, this problem arose in one of my research problems, so I'm stating it here. The …

Let $\mathscr{H}$ be a complex Hilbert space and denote $\mathscr{H}_{n}$ the tensor product $\overbrace{\mathscr{H}\otimes\cdots\otimes\mathscr{H}}^{\text{n}}$. Denote by $\Pi_{\pm}$ the projection o …

Following some suggestions on my previous posts, I'm trying to reformulate my question in a more specific way. This is a continuation of my original post. Since the mentioned post, I think I've learne …

Let me discuss two possible constructions of Gaussian measures on infinite dimensional spaces. Consider the Hilbert space $l^{2}(\mathbb{Z}^{d}) := \{\psi: \mathbb{Z}^{d}\to \mathbb{R}: \hspace{0.1cm} …

I'm reading this classic work and I'd like to get deeper inside some of its techniques. In particular, the authors state: "We construct a Gaussian measure $d\mu_{0}(\phi)$ on a measure space of contin …

I'm reading Kupiainen's notes on the renormalization group and also caught my attention. Actually, this is something that often causes my some confusion. On page 43, in the section about Ginzburg-Land …

After my previous post I got curious about the following very simple question (which I don't seem to find the answer). Given a tempered distribution $K \in \mathcal{S}'(\mathbb{R}^{n_{1}+\cdots+n_{N}} …

Suppose $f: \mathcal{S}(\mathbb{R}^{d})^{n+1} \to \mathbb{C}$ is a continuous function. To each $\varphi \in \mathcal{S}(\mathbb{R}^{d})$, we can define the map $f[\varphi]: \mathcal{S}(\mathbb{R}^{d} …