All Questions
Tagged with fa.functional-analysis mp.mathematical-physics
221 questions
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)+\...
1
vote
0
answers
147
views
Energy inequalities for Sobolev spaces of negative integer
I asked this question in mathematics stackexchange and couldn't get an answer.
Let $\phi\in H^{s}$ such that the following energy inequality is true:
$$\|\phi(t,\cdot)\|_s \le\int^t_0 C \| P\phi(t,\...
- 101
1
vote
1
answer
403
views
Derivative of a time evolution operator w.r.t. a parameter
Let $N\geq1$ be an integer and let $H:[0,1]^2\to\mathbb C^{N\times N}$ be a pointwise hermitean matrix valued function.
For $y\in[0,1]$ and $0\leq a\leq b\leq 1$, let $U_y(b,a)$ be the time evolution ...
- 8,086
1
vote
0
answers
576
views
Perturbation of Laplacian via Kato-Rellich theorem
Let's consider a potential $V(x)\in L^3(\mathbb{R}^3)$. I want to know if the following Hamiltonian
$$-\Delta+V(x)$$
is self-adjoint on $H^2(\mathbb{R}^3)$.
My idea is to use Kato-Rellich theorem; ...
- 11
2
votes
1
answer
136
views
Proper domain for operators
in this paper on arxiv in equation 27, two operators
$$A_m^* = (1-x^2)^{\frac{1}{2}} \frac{d}{dx} + \frac{mx}{\sqrt{1-x^2}}$$
and $$A_m = - \frac{d}{dx}(1-x^2)^{\frac{1}{2}} + \frac{mx}{\sqrt{1-x^2}...
1
vote
2
answers
352
views
Witten index non-trivial in the context of Quantum Mechanics?
Let $H$ be a self-adjoint Hamiltonian and $H$ admits a decomposition into closed operators $D,D^*$, such that we have $H = D^*D$.
I will now consider the one-dimensional case on a compact set:
So ...
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
3
votes
1
answer
348
views
Well-posedness of heat equation with distributional right hand side
The question is about well-posedness of heat equation
$$
\frac{\partial\Theta}{\partial t}=\alpha^2\Delta\Theta+p(t)\delta(x-u(t))\delta(y-v(t)),~~ (x,y,t)\in\Omega\times[0,T],
$$
subjected to ...
12
votes
0
answers
922
views
What's the appropriate notion of a Unitary representation of a Lie algebra?
Here Lie algebras/groups are real. The most straightforward definition might be:
Def: A representation $\rho:\mathfrak{g} \rightarrow \mathfrak{gl}(V)$ is unitary if $V$ is equipped with a Hermitian ...
- 922
2
votes
1
answer
640
views
Perturbation theory of eigenvalues - Effects of degeneracy/ multiplicity
In Quantum mechanics Schrödinger's perturbation theory is very important (see Wikipedia) which deals with perturbation of the discrete spectrum of a self-adjoint operator.
Where can I find a ...
- 21
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
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
1
vote
1
answer
195
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| x_{k}-...
- 13
3
votes
1
answer
470
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 ...
- 22.8k
9
votes
2
answers
2k
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 ...
user37929
8
votes
1
answer
420
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 $$\mathcal{F}(L^2(\mathbb{...
- 81
3
votes
2
answers
350
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 ...
- 437
3
votes
1
answer
310
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 ...
- 965
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
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
2
votes
1
answer
245
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 ...
- 8,512
8
votes
0
answers
221
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 ...
- 81
2
votes
1
answer
178
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 ...
- 679
7
votes
2
answers
1k
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 ...
- 585
13
votes
2
answers
1k
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 ...
8
votes
1
answer
2k
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}.$$ ...
- 81
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
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 ...
4
votes
0
answers
297
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 ...
- 965
20
votes
6
answers
7k
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 ...
- 16.6k
1
vote
1
answer
134
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 ...
- 13
15
votes
6
answers
3k
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
505
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 ...
- 8,512
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
2
votes
1
answer
179
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 ...
- 95
10
votes
2
answers
2k
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,512
13
votes
3
answers
2k
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 1.3.9)...
- 5,824
0
votes
1
answer
913
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,
$\Big|\frac{a'(t)}{a(t)}\...
- 151
1
vote
1
answer
368
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 ...
- 922
7
votes
1
answer
4k
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.
...
- 515
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
0
votes
1
answer
142
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$
$K:L^2(\...
- 17
3
votes
1
answer
226
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 ...
- 2,358
12
votes
0
answers
478
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 ...
- 8,803
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
15
votes
2
answers
1k
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,358
2
votes
0
answers
146
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 ...
- 2,358
3
votes
0
answers
188
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 ...
- 265
4
votes
2
answers
975
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
3
votes
1
answer
358
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 ...
- 329