I'm trying to solve the initial value problem $(i\partial_t+\Delta_x)u(t,x)=0$, $u(0,x)=f(x)$ for the Schrödinger equation ($t\in\mathbb{R}$, $x\in\mathbb{R}^n$, $f$ Schwartz). I know that a fundamental solution is given by $K(t,x)=(4\pi it)^{-n/2}e^{i|x|^2/{4t}}$. How do I interpret $\sqrt{i}$ here? I'm trying to show that if I convolve the above fundamental solution $K$ with the initial data $f$ (convolution in the spatial variable $x$), then I obtain the solution to the initial value problem. Specifically, how do I prove that $K\ast f\rightarrow f$ as $t\rightarrow0$? More generally, what are the differences between this problem and the analogous problem for the heat equation $(\partial_t-\Delta_x)u(t,x)=0$ (here $t>0$)? [I know that the Schrödinger equation and fundamental solution are obtained from their heat counterparts via $t\mapsto it$.] Why is the Schrödinger equation time reversible (i.e. why can it be solved both forwards and backwards in time), while the heat equation isn't? The total integral of the heat kernel (with respect to $x$) is $1$; is the total integral of the "Schrödinger kernel" $K$ also equal to $1$?
2026-05-05 15:43:53.1777995833
Schrödinger versus heat equations
3.3k Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in PARTIAL-DIFFERENTIAL-EQUATIONS
- PDE Separation of Variables Generality
- Partial Derivative vs Total Derivative: Function depending Implicitly and Explicitly on Variable
- Transition from theory of PDEs to applied analysis and industrial problems and models with PDEs
- Harmonic Functions are Analytic Evan’s Proof
- If $A$ generates the $C_0$-semigroup $\{T_t;t\ge0\}$, then $Au=f \Rightarrow u=-\int_0^\infty T_t f dt$?
- Regular surfaces with boundary and $C^1$ domains
- How might we express a second order PDE as a system of first order PDE's?
- Inhomogeneous biharmonic equation on $\mathbb{R}^d$
- PDE: Determine the region above the $x$-axis for which there is a classical solution.
- Division in differential equations when the dividing function is equal to $0$
Related Questions in PHYSICS
- Why is the derivative of a vector in polar form the cross product?
- What is meant by input and output bases?
- Does Planck length contradict math?
- Computing relative error with ideal gas law.
- Planetary orbits in a $4$-dimensional universe
- Applied Maths: Equations of Motion
- Return probability random walk
- What will be the velocity of a photon ejected from the surface of cesium by a photon with a frequency of 6.12E14 s^-1?
- What mathematical principal allows this rearrangement during simplifying
- Time when velocity of object is zero and position at that point in time
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
The two roots differ by a factor of $-1$. For one of the roots $\lim_{t\to 0} K* f = f$, for the other, $\lim_{t\to 0} K*f = -f$. Choose the one that gives the former (the correct one is the one given by the standard square root on $\mathbb{C}$ with branch cut along the negative real axis, so $\sqrt{i} = \exp \pi i / 4$).
If the data $f$ is in Schwartz class, you can just do it via the Fourier transform. But if you want to do it in more general function spaces, and get estimates on pointwise convergence, the issue is actually amazingly delicate (and not fully resolved yet). The relevant papers are that of Sjölin and Vega written simultaneously but independently.
In the heat equation case, the convolution kernels $H_t$ for $t > 0$ are actually Schwartz functions, and one has that family actually form a family of "Good Kernels" (in the terminology of E. Stein) for which one actually has the general theorem that
Theorem If $f$ is an integrable function, and $f$ is continuous at $x_0$. Let $H_t$ be a family of "Good Kernels" (or approximations to the identity) then $\lim_{t\to 0} H_t* f(x_0) = x_0$.
The Schrödinger kernel is actually quite far from being a "Good kernel" (the criteria for which are (a) integral 1 (b) absolute integral bounded (c) restricted away from the origin, the $\lim_{t\to 0}$ of the absolute integral goes to zero; (b) and (c) quite clearly fails for the Schrödinger kernel). And so the above general theorem cannot be applied.
Yes. While the absolute integral of the Schrödinger kernel does not converge, its improper integral converges to 1 (one can evaluate this by, for example, taking a contour integral). An indication to this is that its Fourier transform is, by definition, $$ \hat{K}(t,\xi) = \exp (- i t \xi^2) \implies \hat{K}(t,0) = \exp 0 = 1 $$ Then we can note that by definition of the Fourier transform $$ \hat{K}(t,\xi) = \int_{-\infty}^\infty K(t,x) \mathrm{d}x. $$ So assuming all the relevant quantities converge the value of its total integral must be 1.
(One way to make the argument above still more precise is that for any Schwarz function $f$ one verifies, through the property of $K$ as a Fourier multiplier, that $ \int K* f \mathrm{d}x = \int f \mathrm{d}x $.)
One "meta"-argument that the Schrödinger equation, if can be solved locally, must be time reversible, lies in the form of the equation. Observe that the complex conjugation operation can be combined with the time reversal to show time reversibility (if $\Psi$ is a solution to Schrödinger's equation, $\bar{\Psi}$ solves the complex-conjugate equation, which is the same equation as the time-reversed equation). This lies in the fact that there is no canonical choice of which square root of -1 we call $i$ and which we call $-i$. So if the "Wick rotation" of the heat equation were to make sense as an evolution equation, it must be evolvable in both $+i$ and $-i$ imaginary time, and so must be time reversible.
Mathematically (in order to illustrate the basic intuition, I shall commit the sin of lying by omission of more difficult details), the difference between the heat and Schrödinger equations is (roughly speaking) the difference between the real and complex exponential function $e^t$ and $e^{it}$ for $t\in\mathbb{R}$. Up to complex conjugation, the complex exponential is "time symmetric": $e^{i(-t)} = \overline{e^{it}}$. But the function $e^t$ is quite clearly not time symmetric. Now, writing the formal solution to the heat equation $$ \partial_t u = \triangle u $$ using ODE type notation $$ u(t) = e^{t\triangle} u_0 $$ we see that since $\triangle$ is a self adjoint operator with negative eigenvalues, $e^{t\triangle}$ is a contraction, and like $e^{t(-1)}$ is not time reversible, whereas $$ i\partial_t u = \triangle u $$ is solved by $$ u(t) = e^{it\triangle} u_0$$ and now since $\triangle$ is self-adjoint, its eigenvalues are real, we have that the exponent is purely imaginary. So the solution operator behaves like the complex exponential $e^{it(-1)}$ which, as discussed above, is time reversible.