All Questions
10
questions
1
vote
0
answers
43
views
If $A\geq 0$ and $0\leq B\leq C$, then $0\leq \sqrt{B}A\sqrt{B}\leq \sqrt{C}A\sqrt{C}$ [duplicate]
Let $H$ be a complex Hilbert space with inner product $\langle\cdot,\cdot\rangle$. We say $A\geq 0$ if $\langle Ax,x\rangle\geq0$ for all $x\in H$. If $A\geq 0$ and $0\leq B\leq C$, then does $0\leq \...
- 461
2
votes
1
answer
77
views
If $0\leq A\leq B$ then the corresponding densities satisfy $0\leq\rho_A\leq \rho_B$
Let $A,B$ on $L^2(\mathbb R^d,\mathbb C^d)$ such that $0\leq A\leq B$ AND $A,B$ are trace-class. Then their densities are given by $$\rho_A(x):=\sum_jA\varphi_j(x)\overline{\varphi_j(x)},\qquad \rho_A(...
- 461
0
votes
1
answer
70
views
If $0\leq A\leq B$ and $C\geq0$ then does $0\leq AC\leq BC$?
Let $H$ be a complex Hilbert space with inner product $\langle\cdot,\cdot\rangle$. We say $A\geq 0$ if $\langle Ax,x\rangle\geq0$ for all $x\in H$. If $0\leq A\leq B$ and $C\geq0$ then does $0\leq AC\...
- 461
1
vote
0
answers
34
views
Meaning of "smooth finite-rank operators $Q$ in $L^2(\mathbb R^d)$"
What does it mean for a finite-rank operator to be "smooth"? How can one finite-rank operator be smoother than another? For me, a finite-rank operator on $L^2(\mathbb R^d)$ has an expression
...
- 461
0
votes
1
answer
40
views
If $A$ is trace-class on $L^2(\mathbb R^2)$ then $\mathbb 1(-\Delta\leq 1)A\mathbb 1(-\Delta\leq 1)$ is finite-rank. [closed]
I am trying to prove that if $A$ is trace-class on $L^2(\mathbb R^2)$ then $\mathbb 1(-\Delta\leq 1)A\mathbb 1(-\Delta\leq 1)$ is a finite-rank operator, where $\mathbb 1(-\Delta\leq 1)$ is defined on ...
- 461
0
votes
1
answer
59
views
In what sense is $\breve{g}(x-y)/(2\pi)^n$ the integral kernel of $g(-i\nabla)$?
It is said in Trace Ideals and Their Applications by Barry Simon that the integral kernel of the operator $g(-i\nabla)$ on $L^2(\mathbb R^n)$ is given by $\breve{g}(x-y)/(2\pi)^n$.
Indeed, for any $\...
- 461
1
vote
1
answer
80
views
Hartree equation in density matrix formalism is equivalent to a system of Hartree equations
I want to prove that:
If the density matrix $$\gamma(t):=\sum_{j=1}^N|u_j(t)\rangle\langle u_j(t)|=\sum_{j=1}^N\langle u_j(t),\cdot\rangle u_j$$ solves $$i\partial_t\gamma(t)=[-\Delta+w*\rho,\gamma],$...
- 461
5
votes
1
answer
191
views
Problem on a rank 1 perturbation of an self-adjoint operator
With my teacher we have been trying to solve for a while a problem that consists of two parts, and each one in three sections. The first part, which has to do with the problems that I was able to ...
- 160
5
votes
1
answer
477
views
Does the split-step operator method work for a PDE in cylindrical coordinates?
I am trying to numerically solve the 3D Schrodinger equation with an extra non-linear term (the Gross-Pitaevskii equation) using the split-step operator method. This is a follow up to a previous ...
- 243
3
votes
1
answer
3k
views
General relationship between Green's functions and propagators?
Given a linear operator $\hat{L}$ and $x \in \mathbb{R}^n$, a Green's function of $\hat{L}$ is a function that satisfies $$\hat{L}_xG(x,x^\prime) = \delta^{(n)}(x-x^\prime)$$
A "propagator" $G(x,x^\...
- 1,028