All Questions
Tagged with fa.functional-analysis mp.mathematical-physics
221 questions
6
votes
2
answers
539
views
Is there a reasonable notion of spectral theorem on a pre-Hilbert space?
I'm trying to understand how bad things could possibly get without Cauchy completeness as a criterion for Hilbert spaces in quantum mechanics. Obviously, doing calculus on a pre-Hilbert space would be ...
- 269
6
votes
3
answers
600
views
Differential calculus of functions of self-adjoint operators
Let $H$ be a Hilbert space over $\mathbb{C}$. Fix a self-adjoint operator $A:D(A)\rightarrow H$ and a Borel function $f:\mathbb{R}\rightarrow\mathbb{C}$. The operator $f(A)$ is defined by the spectral ...
- 61
6
votes
2
answers
1k
views
In what precise sense is quantum (i.e., non-commutative) probability not expressable in terms of classical probability?
The quantum set-up has many settings, so let's fix some definitions. I will be taking the Hilbert space approach with a minor modification that I will make explicit.
We begin with a Hilbert space $\...
- 323
6
votes
2
answers
621
views
Relativistic scattering theory vs non-relativistic one
In relativistic scattering theory (e.g. in quantum electrodynamics) the existence of the $S$-matrix as well as of Moller operators is postulated as far as I understand (although at some stage it has ...
- 21.8k
6
votes
1
answer
243
views
How to choose phase to give a desired Fourier transform
Cross posted from MSE.
I have a mathematical problem arising from a physics application, which I feel must have been solved before, but I don't know the terminology associated with it. I am looking ...
- 956
6
votes
2
answers
903
views
Gaussian measure on function spaces
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 ...
- 3,515
6
votes
3
answers
481
views
Quantum Mechanics and bilinear optimal control theory
I was wondering whether there are any rigorous results about the optimal controllability of Schrödinger operators.
So my question is something like this:
Let $i \partial_t \psi(x,t) = H_0(x)\psi(x,t)...
- 259
6
votes
1
answer
509
views
Path integral as quantum mechanics on the tangent bundle
Let $X$ be a configuration space, a finite-dimensional manifold. By "quantum mechanics on $X$" I mean a linear evolution equation on complex-valued functions on $X$, determined by a ...
- 7,952
6
votes
2
answers
371
views
Weak solutions for a PDE of fourth order
I deal with two-dimensional Kirchhoff equation with $L^\infty$ coefficient and distributional right hand side:
$$
\Delta\Delta w+u(x,y)\left(\alpha^2\frac{\partial w}{\partial t}+\beta^2w\right)+\...
6
votes
1
answer
505
views
Fermions, their path integrals and effective actions
I just read the nice exposition Fermionic Path Integral on nLab and began to wonder about some details to which references appear to be lacking. Suppose we live on Euclidean space as in the ...
- 651
6
votes
3
answers
917
views
Non-self adjoint Sturm-Liouville problem
I'm new to this site, but I felt the need to post when I recently came in to an ordinary differential equation/boundary value problem with this form:
$(1)- \frac{d^2 y}{d x^2} + \frac{m(m+1)} {x^2(...
- 71
6
votes
1
answer
353
views
Domains of raising and lowering operators in QM
Let $H : \operatorname{dom}(H) \subset L^2(\Omega) \rightarrow L^2(\Omega)$, where $dom(H) \subset H^2(\Omega)$, $\Omega \subset \mathbb{R}$ should be a bounded open interval(so 1-d setting(!)) and $H$...
user54300
6
votes
0
answers
159
views
Identification of Fock space and the $L^2$ space of tempered distributions
Let $\mathcal{S}'(\mathbb{R}^d)$ be the set of tempered distributions over $\mathbb{R}^d$ and $d\phi_C$ a Gaussian measure over $\mathcal{S}'(\mathbb{R}^d)$ with covariance operator $C$. Consider the ...
- 721
6
votes
0
answers
123
views
Can two eigenfunctions be almost linearly dependent in a region?
Consider the Schrödinger operator $H=-\Delta+|x|^a$ on $\mathbb{R}$, where $a>0$. Since the potential is growing at $\infty$, we have compact resolvent thus the eigenvalues are discrete and tend to ...
- 879
6
votes
0
answers
290
views
Two questions about Fock spaces
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 ...
- 3,515
6
votes
0
answers
262
views
Given that a conditional measure is Gaussian, how bad can the original measure be?
Let $X$ and $Y$ be Banach spaces, and let $\varphi : X \to Y$ be a continuous linear map. Suppose that $\mathbb P$ is a probability measure on $X$ which satisfies the continuous disintegration ...
- 8,512
6
votes
0
answers
411
views
Birth-Death Process associated with Orthogonal Polynomials
I have read in various places the following objects are related:
orthogonal polynomials
birth-death processes
Lattice paths
continued fractions
After a lot of searching online, I found sketches ...
- 22.8k
5
votes
2
answers
2k
views
On the domains and extensions of unbounded operators
I am not an expert in functional analysis but I was studying some, motivated from some mathematical physics considerations. I am not quite sure whether this is research-level, but let me state some ...
- 7,746
5
votes
3
answers
877
views
Path integral methods
Are there detailed expositions of the path integral methods in (mathematical) physics other than Feynman-Hibbs and Glimm-Jaffe?
- 21.8k
5
votes
3
answers
987
views
Boundedness of Laplacian eigenfunctions
Let $A$ be a bounded domain in $\mathbb R^d$, $d>1$, and $\{u_k\}$ is the set of all $L^2$-normalized Laplacian eigenfunctions on $A$ with Dirichlet boundary condition (i.e., $\|u_k\|_2 = 1$).
Is ...
5
votes
2
answers
757
views
Generalized basis
In quantum mechanics, people introduce the notion of "continuous basis" (I actually don't know the mathematical denomination of it). It is not a Schauder basis. I would like to know what could be a ...
- 189
5
votes
3
answers
2k
views
Characterizing the harmonic oscillator creation and annihilation operators in a rotationally invariant way
I am interested in a characterization of the creation and annihilation operators that is in some sense invariant under $O(n)$ rotations of $\mathbb{R}^n$:
Background
The Harmonic Oscillator on $\...
- 7,197
5
votes
2
answers
393
views
Connections between two constructions of infinite dimensional Gaussian measures
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} ...
- 3,515
5
votes
1
answer
552
views
Scattering theory for Coulomb potential
Both physical and mathematical theories of quantum scattering seem to be well developed in the case when the potential (or a more general perturbation of the Laplacian) decays fast enough at infinity ...
- 21.8k
5
votes
1
answer
299
views
Lieb: Stability of matter, problem with variational method
I am trying to recalculate 'Stability of Matter' Paper from Lieb.
I have a problem at the last step of the proof at page 3, where Lieb calculates the minimizer. I will explain my ideas and my problem ...
- 437
5
votes
2
answers
684
views
Self-adjoint extensions and delta potentials
Is there a self-adjoint extension of an operator that corresponds to a particle in a box $[a,b] \times [c,d] \subset \mathbb{R}^2$ with a delta potential, i.e., $-\Delta + \lambda \delta_y $ on $L^2([...
- 51
5
votes
1
answer
406
views
Connection on a Hilbert bundle
Is there a well-defined notion of connection on a measurable bundle of Hilbert spaces?
- 103
5
votes
0
answers
110
views
Clifford algebras in the context of locally convex topological vector spaces
Suppose given a locally convex Hausdorff topological vector space $V$ over $\mathbb R$ and a continuous, symmetric, bilinear map $q:V\otimes V\to \mathbb R$, where the tensor product is the completed ...
5
votes
0
answers
105
views
Paving property
In their famed paper (https://arxiv.org/abs/math-ph/0011053), Bourgain and Goldstein conjecture what they call the paving property:
Let $H_{jk}=\delta_{j,k+1}+\delta_{j,k-1}+v(\theta+j\omega)\delta_{...
5
votes
0
answers
611
views
unitary equivalence
Let $U$ be the bilateral shift operator in $l^2(Z)$, and let $V$ stand for a rotation on an irrational angle $\alpha$ in $L^2(T, \mu)$, where $T$ is a circle with a rotation-invariant Lebesgue measure ...
5
votes
0
answers
616
views
Lebesgue measure on Frechet space?
It is well known that there are no Lebesgue measures on infinite-dimensional Banach spaces (see e.g. http://en.wikipedia.org/wiki/There_is_no_infinite-dimensional_Lebesgue_measure). However, I couldn'...
- 1,368
4
votes
2
answers
283
views
Regularity of solution of $(-\Delta + w)f = 0$
I am studying the following Schrödinger equation:
$$(-\Delta + w)f = 0$$
which represents a quantum state with zero energy. Here $w$ and $f$ are defined on $\mathbb{R}^{3}$. For simplicity, let us ...
- 1,305
4
votes
3
answers
490
views
Positivity of the Coulomb energy in two dimensions
In dimensions $d\geq 3$ the Coulomb energy is always non-negative (since the Fourier transform of $\frac{1}{\|\cdot\|^{d-2}}$ is non-negative). What can one say about positivity properties of the ...
- 255
4
votes
2
answers
974
views
Wightman fields vs local functionals vs operators
In QFT literature one wants to look at $n-$point correlation functions of "operators" inserted at $x$ say, $\cal{O}(x)$ and if $\phi_i$ are the fields then the quantity one has in mind is written as, $...
- 3,541
4
votes
1
answer
424
views
Hilbert space representation of a vector in terms of a continuous eigenbasis
Let $\mathscr{H}$ be a complex Hilbert space and $A$ be an Hermitian operator $A: \mathscr{H}\to \mathscr{H}$. Suppose, for a moment, that $A$ has a set of discrete eigenvalues $\{\lambda_{n}\}_{n\in \...
- 1,305
4
votes
1
answer
615
views
Representation of Heisenberg-Weyl elements and their exponentials
There is possibly a huge literature on the subject but I am a newcomer on analytic representations and my need is rather specific. I simplify it below.
Let $A,B$ be two symbols (standing for ...
- 3,738
4
votes
3
answers
464
views
What classes of functions are closed under all rescalings?
Let us denote by the symbol $\mathcal{G}$, a group of functions $f: \mathbb{R} \rightarrow \mathbb{R}$ (with the composition operation) that is additionally closed under all affine change of variables ...
- 81
4
votes
1
answer
134
views
A nice function space closed with the operation $x \cdot \nabla $
I am studying a certain model kinetic equation. To study that system, I have to find a function space, which is a subspace of $L^1 (\mathbb{R}^d)$ and the operator $f \rightarrow x \cdot \nabla_x f$, ...
- 53
4
votes
1
answer
291
views
Structure of all Wightman QFTs
I have two related questions related to constructive/axiomatic QFT.
Is there a structure on the collection of all QFTs, as defined by the Wightman axioms? Do they form some type of category?
...
- 43
4
votes
1
answer
141
views
"Open systems" version of Stone's Theorem for one-parameter groups of quantum operations
Let $H$ be a Hilbert space, which we interpret as a space of quantum states.
If $U(t):H\to H$ is a unitary norm-continuous one-parameter group with $U(0)=I$, (essentially) Cauchy's functional ...
- 854
4
votes
1
answer
280
views
Spectral growth of One dimensional Schrodinger Operator
Conside the One dimentional Schrodinger Operator
$$
-\frac{d^2}{dx^2} + ( V(x) + E )
$$
Where the Potential Function $V$ is of the form $V(x) = ax^2 + b^2x^4$ , $a,b \in \mathbb{R} $.
What is known ...
- 73
4
votes
1
answer
210
views
Conformally covariant distributions
In Conformal Field Theory (in $D$ dimensions) one considers (in particular) correlation functions of the form
$$
\langle O(x)O(y)\rangle,
$$
where $O$ is a scalar primary field. Scale covariance ...
- 1,488
4
votes
1
answer
120
views
Diagonalization of a specific Dirac operator
A few hours ago, a question was posed asking for the eigenvalues and eigenvectors of the Dirac operator
$$
H=\begin{pmatrix} x & 0 & -i\partial_{x} & \bar{z} \\ 0 & x & z & i\...
- 6,696
4
votes
1
answer
633
views
Quantum Mechanics derivation of Wallis' Formula?
Recently there was a proof of the Wallis Product using quantum mechanics on the arXiv. However, there are many proofs of the result, Wikipedia has 4.
Fine Print the first proof has on Wikipedia, the ...
- 22.8k
4
votes
2
answers
280
views
An extremal type problem on segments
I am interested in the following extremal-type problem.
Let us define $\Psi$ by
$$\Psi(x)=\max_{f\in L^2[0,x] \,\,\text{with}\,\,\|f\|_2=1}\Bigg|\int_0^x\int_0^xf(t)f(s)\ln|t-s|dsdt\Bigg|$$
on $(0,\...
- 41
4
votes
1
answer
165
views
Scattering of relativistic particle by long-range potential
Let
$\mathcal{H}=L^2(\mathbb{R}^3)$,
$H_0=\sqrt{-\Delta+M^2}$, ($M$ is a positive constant, $\Delta$ is the laplacian)
and
$H=H_0+V(\vec{x})$
(where $V(\vec{x})$ is the operator of ...
- 552
4
votes
1
answer
275
views
Asymptotic behavior of Schrödinger operators
I am currently dealing with $1$ or at most $2$-dimensional Schrödinger operators on compact domains. A classical result of spectral theory is the Weyl approximations for this operator
$H = -\Delta +V$....
user54300
4
votes
1
answer
355
views
Sharpest version of semiclassical Calderon-Vaillancourt theorem
Let $S$ be the space of symbols defined by $$S:=\{a\in C^{\infty}(T^*\mathbb{R}^d):\forall \alpha,\beta\in\mathbb{Z}^d,\, |\partial_x^{\alpha}\partial_{\xi}^{\beta}a(x,\xi)|\le C_{\alpha\beta}\},$$ ...
- 854
4
votes
1
answer
155
views
Resource on spectral theory for differential operators with symmetry groups
In Methods of Mathematical Physics IV by Reed and Simon, the authors cover Floquet theory in detail in Section XIII.16. On page 280, they note that
"A part of the analysis of [the periodic ...
- 854
4
votes
0
answers
141
views
Generalizing Kato-Seiler-Simon-type inequalities to diamagnetic operators
I recently learned about estimates one can perform with operators on $L^2(\mathbb{R}^n)$ given as $f(x)g(-i\nabla)$, see Chapter 4 in Trace Ideals and their Applications by Professor Barry Simon (the ...
- 243