Differentials, pseudo-differentials, and locality

  • Thread starter jostpuur
  • Start date
  • #1
2,111
17

Main Question or Discussion Point

Claim 1:

If [itex]\psi(x,0)[/itex] has a compact support, and
[tex]
i\partial_t\psi(x,t) = -\partial_x^2 \psi(x,t),
[/tex]
then [itex]\psi(x,t)[/itex] does not have a compact support for any [itex]t>0[/itex].

Claim 2:

If [itex]\psi_1[/itex] and [itex]\psi_2[/itex] are the same in some environment of a point [itex]x_0[/itex], then
[tex]
\partial_x^2 \psi_1(x_0) = \partial_x^2 \psi_2(x_0)
[/tex]

Claim 3:

If [itex]\psi(x,0)[/itex] has a compact support, and
[tex]
i\partial_t\psi(x,t) = \sqrt{1 - \partial_x^2} \psi(x,t),
[/tex]
then [itex]\psi(x,t)[/itex] does not have a compact support for any [itex]t>0[/itex].

Question:

If [itex]\psi_1[/itex] and [itex]\psi_2[/itex] are the same in some environment of [itex]x_0[/itex], will it follow that
[tex]
\sqrt{1 - \partial_x^2}\psi_1(x_0) = \sqrt{1 - \partial_x^2}\psi_2(x_0)?
[/tex]

Thoughts:

According to my understanding, at least with some assumptions, the claims 1,2,3 are all true. If I had not mentioned the claims 1 and 2, some people might have answered to my question, that the pseudo-differential operator [itex]\sqrt{1 - \partial_x^2}[/itex] does not possess the locality property I'm asking in the question, because we know that it is non-local in the sense of the claim 3. However, we know that the ordinary differential operator [itex]\partial_x^2[/itex] has the non-locality property in the sense of claim 1 too, and still it has the locality property in the sense of claim 2. So without better knowledge, it could be that the pseudo-differential operator has this locality property too. But what's the truth?
 

Answers and Replies

  • #2
2,111
17
I think that the answer to my question is "no", and the instantaneous spreading caused by [tex]\sqrt{1 - \partial_x^2}[/tex] is significantly faster than the instantaneous spreading caused by [tex]\partial_x^2[/tex].

I just realized that I don't yet know how to prove that the non-relativistic Schrödinger equation causes instantaneous spreading. Here's the problem:

If we want to satisfy the heat equation

[tex]
\partial_t u(t,x) = \partial_x^2 u(t,x)
[/tex]

with some initial condition [itex]u(0,x)\geq 0[/itex] which has compact support, we can accomplish it with a formula

[tex]
u(t,x) = \frac{1}{\sqrt{4\pi t}}\int\limits_{-\infty}^{\infty} \exp\Big(-\frac{y^2}{4t}\Big) u(0,x-y)dy.
[/tex]

It can be seen from this formula that [itex]u(t,x)>0[/itex] for all [itex]t>0[/itex]. Hence the compact support is lost instantaneously.

But the take a closer look at the non-relativistic Schrödinger equation. We want

[tex]
i\partial_t \psi(t,x) = -\partial_x^2\psi(t,x)
[/tex]

with some initial condition [itex]\psi(0,x)[/itex] with compact support. The solution can be written as

[tex]
\psi(t,x) = \frac{1}{\sqrt{4\pi t}}\int\limits_{-\infty}^{\infty} \exp\Big(\frac{iy^2}{4t}\Big) \psi(0,x-y)dy.
[/tex]

But how do you prove that [itex]\psi(t,x)[/itex] does not have a compact support for [itex]t>0[/itex]? It's not so obvious now because there could be some canceling in the integral.

I'm interested in rigor comments only! (Or comments that at least attempt some rigor. I'm not sure if I'm perfectly rigorous either...).

I know some physicists like to say that "well look at the propagator. It is non-zero for arbitrarily large intervals, and hence the instantaneous spreading." You might as well try to insist that Fourier transforms (or inverse transforms) will never give functions with compact support, because the plane waves extend to infinities. Of course canceling can occur!

An interesting remark about the heat equation is that if we fix some [itex]x'[/itex] outside the original compact support, then the Taylor series

[tex]
u(0,x') + t \partial_t u(0,x') + \frac{1}{2!} t^2 \partial_t^2 u(0,x') + \cdots = 0
[/tex]

is identically zero, even though [itex]u(t,x')>0[/itex] for arbitrarily small [itex]t>0[/itex]. This means that the spreading is extremely slow, at least for small [itex]t[/itex].

The same slowness does not occur for relativistic Schrödinger equation. If [itex]\psi(0,x)[/itex] has a compact support, then [tex]\hat{\psi}(0,p)[/tex] is analytic. But

[tex]
i\partial_t\hat{\psi}(0,p) = \sqrt{1 + p^2}\hat{\psi}(0,p)
[/tex]

is not analytic because of the branch cuts at [itex]p=\pm i[/itex]. Hence [itex]\partial_t\psi(0,x)[/itex] does not have a compact support, and the instantaneous spreading is faster than with the heat equation.
 

Related Threads on Differentials, pseudo-differentials, and locality

Replies
3
Views
3K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
3
Views
1K
Replies
162
Views
8K
Replies
5
Views
2K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
0
Views
987
Replies
2
Views
2K
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
17
Views
776
Top