# Tagged Questions

**2**

votes

**1**answer

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

**1**answer

201 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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

135 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

**1**answer

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

**2**answers

289 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

**1**answer

321 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

**1**answer

313 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

**2**answers

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

**0**answers

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

**0**answers

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

**3**answers

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

**1**answer

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

**3**answers

681 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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**3**answers

466 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

**1**answer

526 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

**1**answer

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

**1**answer

594 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

**0**answers

235 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

**1**answer

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

**1**answer

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

**0**answers

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

**3**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**2**answers

409 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

**1**answer

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

**2**answers

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

**2**answers

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

**1**answer

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

**0**answers

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

**2**answers

740 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

**4**answers

924 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

**2**answers

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

**3**answers

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

**0**answers

487 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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**2**answers

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

**1**answer

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

**3**answers

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 ...