5
votes
1answer
164 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 ...
4
votes
1answer
137 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 ...
1
vote
1answer
161 views

System of quadratic complex equations

I want to solve this system of N non-linear equations without using a numerical method: $x_{k}^{2}= \alpha_{k }+ \sum\limits_{m=1}^{N} (\beta_{km} x_{m} + \psi_{km} x_{m}^{*})$ With $\left| ...
3
votes
1answer
161 views

quantum states and observables for the non-commutative torus

The noncommutative torus $A_\theta$ is a $C^*$-algebra corresponding to an irrational foliation of the torus $\mathbb{T}^2$ by lines of slope $\theta \notin \mathbb{Q}$. As far as I am reading it is ...
8
votes
2answers
558 views

Mathematical equivalent to ladder operators?

A powerful method in theoretical physics are ladder operators. They are used in QM to solve problems like the harmonic oscillator and the hydrogen atom. The idea is to solve with their help the ...
7
votes
1answer
184 views

What is the general form of the duality transform for the Fock space?

I am interested in properties of the symmetric Fock space, looked at via the associated Wiener space. It is well known that for a Hilbert space $k$, the symmetric Fock space ...
0
votes
0answers
66 views

Measure generated by Semigroup $\exp[-t|p|]$

I am studying Ingrid Daubechies' paper 'An Uncertainty Principle for Fermions with Generalized Kinetic Energy'. On page 514, the measure $\mu_{x,y;t}$ is introduced as generated by the semigroup ...
3
votes
2answers
232 views

Existence of Minimizer of $h(\rho) = c \|\rho\|_{3} - \int_{\mathbb R^3} \, dx \frac{\rho(x)}{|x|} $

given the following functional $h(\rho) = c \|\rho\|_{3} - \int_{\mathbb R^3} \, dx \frac{\rho(x)}{|x|} $ with $\rho>0$ , $\|\rho\|_1 = 1$ and obviously $\rho\in L^1(\mathbb R^3)$. Can I see ...
3
votes
1answer
209 views

Do cyclic product vectors generatating irreducible representation of a Lie group come from a unique orbit?

Consider a Hilbert space $\mathcal{H}$ which is a carrier space of a unitary, irreducible and strongly continuous representation $\Pi$ of a Lie group $G$. Let $\Pi\otimes \Pi$ denote the corresponding ...
4
votes
1answer
155 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 ...
1
vote
2answers
192 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 ...
2
votes
1answer
193 views

Probability measures on $L^p$

Let $(X,\mathcal X,\mu)$ be a fixed measure space, and suppose that $\mu$ is stationary and ergodic with respect to the (left) action of a topological group $G$. Stationarity means that $\mu = g_* \mu ...
6
votes
0answers
146 views

Density of odd and even eigenstates of an integral operator

Consider an integral operator $(Kf)(x)=\int_{-1}^{1}K(x-y)f(y)dy$, where the kernel $K(-x)=K(x)$ is an even function. Let $\lambda_n$ be the ordered eigenvalues of $K$ and $f_n(x)$ the ...
2
votes
1answer
116 views

Self-adjointness of a perturbed quantum mechanical Hamiltonian specified in an infinite matrix form

Consider an operator $H$ on the Hilbert space $\ell_2$ given as an infinite matrix with two pieces, one diagonal and one arbitrary: $H_{ij}=E_i\delta_{ij}+V_{ij}$. This has a physical meaning in ...
5
votes
2answers
313 views

C*-algebraic representation of observables vs self-adjoint operators one

I am trying to reconcile the "physicist" definition of an observable: self-adjoint operator on a Hilbert space, and the operational one as given by Strocchi in "An introduction to the mathematical ...
12
votes
1answer
333 views

Applications of non-separable Hilbert spaces

In applications, Hilbert spaces of interest are often assumed to be separable. In addition to being extremely convenient mathematically, this assumption can often be justified on computational or ...
5
votes
1answer
331 views

Validity of functional derivative using the Dirac delta function

In physics, it's customary to compute the functional derivative as $$\frac{\delta F[\rho(x)]}{\delta \rho(y)}=\lim_{\varepsilon\to 0}\frac{F[\rho(x)+\varepsilon\delta(x-y)]-F[\rho(x)]}{\varepsilon}.$$ ...
5
votes
2answers
319 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 ...
5
votes
0answers
287 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 ...
4
votes
0answers
265 views

Which orbits of a separable representation of the infinite unitary group are closed?

Consider a separable irreducible unitary representation of $U(\mathcal{H})$ in the Hilbert space $V$. Assume that $\mathcal{H}$ is separable. My question is the following: Is it true that all ...
4
votes
3answers
1k views

Does the derivative of log have a Dirac delta term?

Dirac writes down the following formula on page 61 of his "Principles of quantum mechanics": $\frac{d}{dx}\log x = \frac{1}{x} -i\pi\delta(x)$, see http://adsabs.harvard.edu/abs/1947pqm..book.....D ...
1
vote
1answer
96 views

Nonintegrable inverse powers as distributions

I am working through Lieb/Loss's "Analysis", and have been stuck on one of the problems for a while; Suppose we are on $\mathbb{R}^n$ and define $f(x) = |x|^{-n}$. This is not a locally integrable ...
4
votes
3answers
759 views

Spectral theorem for self-adjoint differential operator on Hilbert space

I need a reference concerning a theorem that shows the following result, stated very roughly: Given a self-adjoint differential operator densely defined on a Hilbert space, then the given Hilbert ...
1
vote
1answer
191 views

Gaussian measures on non-separable spaces

Let $X$ be a topological affine space which is neither separable nor metrizable. There are plenty of trivial Gaussian measures: each Dirac point-mass $\delta_x$ are the Gaussian measure with zero ...
5
votes
0answers
152 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 ...
3
votes
1answer
145 views

Second quantization of partial isometry

If we have a unitary map from Hilbert space $H$ to $H$, we get a unitary map from $e^{H}$ to $e^{H}$, where $e^{H}$ is the symmetric Fock space of $H$. But if we replace the unitary with partial ...
6
votes
2answers
405 views

When is a space of measures a measurable space?

Let $X$ denote a measurable space, that is, a set equipped with a $\sigma$-algebra $\Sigma(X)$. Let $M(X)$ denote the space of real-valued measures over $X$. This is a vector space over the real ...
9
votes
3answers
488 views

Space of sections of a fibre bundle with non-compact base space

Let $\pi: E \rightarrow M$ be a fiber bundle over the manifold M and denote by $\Gamma(E)$ the space of smooth sections of $E$. For compact $M$ it is well known (Hamilton 1982, Part II Corollary ...
0
votes
1answer
538 views

Bounding derivative of a function

Consider $a(t)\in\mathbf{L}^{2}(\mathbb{R})$ and $a(t)>0$, is a low pass smooth function with $\hat{a}(f)=0, |f|>f_{max}$. Can we have a upper bound on the following, ...
0
votes
1answer
136 views

Is Every Symmetric Operator on the Schwartz Space Essentially Self-Adjoint?

More generally, suppose $S$ is a subspace of a Hilbert space $H$ that contains an orthonormal basis of $H$ (For example- the Schwartz space inside $L^2(\mathbb{R}^n)$). If $A:S \rightarrow S$ is ...
3
votes
1answer
756 views

Functional/variational derivative and the Leibniz rule

I am currently trying to understand the BV-formalism, which makes heavy use of the functional derivative. Let us consider the functional derivative, as defined in for example its Wikipedia article. ...
6
votes
0answers
241 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 ...
0
votes
1answer
123 views

A special Integral Kernel

Does there exist either one / general class of non-negative definite , symmetric Integral Kernel map satisfying the following properties ?? $f(x)=(Kg)(x)=\int_{\Omega}K(x,y)g(y)dy$ ...
3
votes
1answer
140 views

Analytic continuation of instantaneous eigenstates of a time-dependent hamiltonian

We are considering the instantaneous eigenstates of an analytically time-dependent hamiltonian and I would like to know how legitimate it is to extend them to the complex plane. Specifically, our ...
7
votes
0answers
206 views

What is known about the Yang-Mills stratification over 3-manifolds?

Rade proved in his thesis (Crelle's Journal, 1992, available here: digizeitschriften.de/dms/toc/?PPN=PPN243919689) that if $E\rightarrow M$ is a $U(n)$-bundle over a 3-manifold, then the gradient flow ...
4
votes
3answers
361 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 ...
12
votes
2answers
608 views

Is zero a hydrogen eigenvalue?

This question has been bugging me for some time. Take the hamiltonian for the hydrogen atom: $$\hat{H}=-\frac{1}{2}\nabla^2-\frac{1}{r},$$ acting on (a domain contained in) $L^2(\mathbb{R}^3)$. It is ...
2
votes
0answers
124 views

Subspace where an operator is positive

Given a self-adjoint operator $\hat{T}$ on a Hilbert space $\mathcal{H}$, and assuming it has a basis of eigenvectors $\{\phi_n\}$ such that $\hat{T}\phi_n=\lambda_n\phi_n$, one can consider the ...
3
votes
0answers
150 views

Does the existence of an asymtpotic density imply the existence of a measure on infinite dimensional (path) space?

This question is related to the following question Question about a Limit of Gaussian Integrals and how it relates to Path Integration (if at all)? A couple of authors have observed that composing a ...
4
votes
2answers
428 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
votes
1answer
300 views

Reference Request: Hamiltonian and quantum completeness.

Let $L$ be a differential operator in $L^2(M, dvol)$ wrt to a Riemannian volume form (say). Let us call it quantum complete if it is essentially-self-adjoint. Consider $H$ - the symbol of $L$. It is a ...
9
votes
2answers
947 views

Uncertainty principle and Cramer-Rao bound - is there relation ?

Just out of curiosity. The two things sounds a little bit similar - 1) Uncertainty principle 2) Cramer-Rao bound. Saying that we cannot measure something with certain accuracy. However looking closer ...
6
votes
2answers
638 views

Yang Mills gradient/heat flow on 4-torus

The classic Donaldson-Kronheimer book (Geometry of 4-manifolds) uses the Yang Mills gradient flow (sometimes called heat flow) on $M$ all over the place, $\frac{d A}{dt} = -\frac{\delta YM(A)}{\delta ...
9
votes
1answer
414 views

Classical analogue of the Stone-von Neumann Theorem?

Let $U_s$, $V_t$ be a pair of continuous $n$-parameter groups ($n < \infty$) of unitary operators on a complex Hilbert space $\mathcal{H}$. The Stone-von Neumann Theorem establishes that any such ...
0
votes
0answers
137 views

General form of a symplectic map

A symplectic automorphism of a Hilbert space has the form $T=U(\cosh S+J\sinh S)$ for a unitary $U$, an antilinear involution $J$ and a positive operator $S$. In fact a version of this goes through in ...
1
vote
2answers
764 views

Why is the output of an LTI system the convolution of the input funtion and the impulse response?

I am looking at the description of LTI systems in the time domain. Intuitively, I'd have guessed it would be the composition of the input function and some "system function". $$ y(t) = f(x(t)) = ...
2
votes
4answers
968 views

Suitable references for the the Stone-von Neumann Theorem

Hi all, I am working on a mathematical physics project now and I need to understand the Stone-von Neumann Theorem properly. Wikipedia says that it is any one of a number of different formulations of ...
3
votes
2answers
439 views

Localization of Laplacian eigenfunction on the unit square?

Let A be the unit square, $\{u_k\}$ is the set of all L2-normalized Laplacian eigenfunctions with Dirichlet boundary condition. Is it true that for any open subset V, $C_V = \inf\limits_k ...
3
votes
3answers
514 views

Boundness 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 ...
1
vote
0answers
503 views

Limit of two hypergeometric functions (2F1)

Hi, Does anyone know whether there is a known function/distribution that corresponds to the limit: $\lim_{\epsilon\rightarrow0^+} \mathfrak{Re}\left[f(x+i\epsilon) - f(x-i\epsilon)\right]$ when ...