2
votes
1answer
156 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
202 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
142 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
190 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
184 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 ...
5
votes
0answers
136 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
114 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
291 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
322 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
314 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
310 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
269 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
264 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
94 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
683 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
180 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
149 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
140 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
398 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 ...
8
votes
3answers
467 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
527 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
132 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
596 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
236 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
122 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
134 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
198 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
359 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
594 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
123 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
412 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
298 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
924 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 ...
5
votes
2answers
605 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
402 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
136 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
742 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
925 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
431 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
495 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
488 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 ...
8
votes
0answers
355 views

Parametrisations for Null Temperature Functions: nonuniqueness of solutions to the Heat Equation

Disclaimer I expect this is a highly open problem, but maybe I'm wrong and someone has come up with some answers besides those given here. In any case, all information appreciated, thanks! Definition ...
0
votes
1answer
841 views

Can you interpret this divergent integral?

In this ArXiv paper by Wilk and Wlodarczyk (published in Physical Review Letters), equation 16 has essentially the following definition of a function: $$\text{f(x)=}\frac{c}{2Dx^2}\exp[\int^x_0 ...
5
votes
1answer
544 views

dependence of eigenvalues on parameters

Let $f$ be a positive real-analytic function on the closed unit disk. Consider the eigenvalue problem $\Delta \phi = \lambda f \phi$, with $\phi = 0$ on the boundary. There exists a sequence of ...
5
votes
0answers
432 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 ...
0
votes
2answers
1k views

fundamental solution of radial wave equation

i am trying to find resources on the derivation of the fundamental solution to the radial wave equation. any suggestions of or links to books, papers, and/or notes would be much appreciated. i have ...
3
votes
1answer
487 views

When is a finite matrix a “good” approximate representation of an operator?

I am interested in representing an arbitrary charge density (say, of atoms in a molecule) $\rho(r), \; r\in \mathbb{R}^3$ by a finite linear combination of basis functions $\rho(r) = \sum_{i=1}^N q_i ...
5
votes
3answers
1k 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 ...