Learn

Learning preferences

Make learning more comfortable. Changes apply immediately.

Enlarges page content, including diagrams and their labels. You can also use your browser’s zoom.

Choose the colours that are easiest for you to distinguish. Applies to lesson diagrams and lab plots. Labels, shapes, hatching and line patterns also distinguish meanings. Source photographs and raw image brightness stay unchanged; mask-only views are available for image overlays.

ExampleComparisonSample link

Saved in this browser on this device. Preferences are separate from progress backups.

Lesson 25 of 30

Distinguish dispersive phases from diffusion

Solve the free Schrödinger equation by Fourier multipliers.

Loading your saved responses…

Try the optional starting-point checks and targeted refreshers. You can continue directly into this lesson.

Try

Heat suppresses high frequencies. A dispersive equation can instead rotate their phases at different rates while preserving total L² size. Consider the free one-dimensional Schrödinger equation i uₜ=−uₓₓ, where u is complex-valued and i²=−1. This is a normalized mathematical equation; physical constants have been scaled out.

Substitute a plane wave e^(i(kx−ωt)). Such a wave is a useful exact mode but is not square integrable on the whole line, so whole-line finite-energy claims must be applied to packets rather than to this mode alone.

Predict

Will the amplitude of a plane wave decay? Calculate its modulus, then compare the frequencies for k=1 and k=2. Predict whether a packet containing both can keep a rigid shape indefinitely.

Experiment

Substitution gives ω=k². Fourier transformation yields û(ξ,t)=e^(−iξ²t)f̂(ξ).

Wave number kFrequency ωPhase velocity ω/k for nonzero kGroup velocity ω′
1112
2424
−11−1−2

The multiplier has modulus 1 at every frequency. A localized spectrum near k travels approximately at group velocity 2k, but different frequencies accumulate different phases and the packet spreads. This approximation has a bandwidth and time range; it is not an exact rigid translation of arbitrary data.

Understand

Plancherel gives ∥u(t)∥₂=∥f∥₂ because the multiplier preserves every frequency magnitude. For smooth rapidly decaying solutions, the same fact follows in physical space. Differentiate ∫|u|² to obtain 2Re∫uₜ conjugate(u). Since uₜ=i uₓₓ, integration by parts gives 2Re(−i∫|uₓ|²)=0. The real part and complex conjugation are essential; treating u as an ordinary real heat field would give the wrong sign and interpretation.

For positive time, the formal kernel is (4πit)^(−1/2)exp(ix²/(4t)), with a consistent square-root branch. Its magnitude is constant in x, so it is not absolutely integrable. It is interpreted through oscillatory regularization or tempered distributions. For sufficiently integrable data the resulting solution can exhibit pointwise decay estimates, even though its L² norm is conserved. Spreading can lower local amplitudes without destroying total squared norm.

There is no heat-style positivity or maximum principle: complex phase cancellation replaces positive averaging. Nor does this equation share the finite propagation cone of the classical wave equation. These distinctions arise from the multipliers and kernels, not merely from calling all three equations “evolution equations.”

The general theory of dispersive estimates, nonlinear Schrödinger equations and quantum measurement is outside this lesson. The proved core is the free multiplier, dispersion relation and norm conservation under stated hypotheses.

Apply

Compare the same smooth initial packet under translation, heat and free Schrödinger evolution in frequency space. Identify which changes magnitude, which changes phase linearly in frequency and which changes phase quadratically. Explain why a smaller peak after evolution does not by itself establish dissipative loss.

Continue

Weak elliptic formulations use a different kind of abstraction: an integrated equation and coercive energy supply existence even when classical second derivatives are unavailable.

Apply · explain · revise

Practice and reasoning

Drafts save locally as you type. Reveal worked solutions when useful; the site remembers that exposure. Automatic matches check the requested answer, while written arguments require review against the rubric.

For i uₜ=−uₓₓ and u=e^(i(kx−ωt)), find ω when k=3.

Integers, fractions and finite decimals are accepted. Expressions such as sqrt(2) are not parsed by this checker.

A free Schrödinger solution has initial squared L² norm 1. What is it at any later time?

Integers, fractions and finite decimals are accepted. Expressions such as sqrt(2) are not parsed by this checker.

Derive the free Schrödinger multiplier and compare it with heat.

Structure your argument and preserve revisions

These optional planning fields save locally. Recording your response saves an immutable copy of the argument and these fields. Older records may contain only first/latest responses; missing intermediate revisions are not reconstructed.

Each field allows 2,000 characters. Keep a specific claim, state where it applies, cite the facts you use, and explain what still needs checking. Blank fields are allowed and are not evidence of mastery.

Prove conservation of ∫|u|² for a smooth rapidly decaying solution.

Structure your argument and preserve revisions

These optional planning fields save locally. Recording your response saves an immutable copy of the argument and these fields. Older records may contain only first/latest responses; missing intermediate revisions are not reconstructed.

Each field allows 2,000 characters. Keep a specific claim, state where it applies, cite the facts you use, and explain what still needs checking. Blank fields are allowed and are not evidence of mastery.

Explain phase and group velocities for the dispersion relation ω=k².

Structure your argument and preserve revisions

These optional planning fields save locally. Recording your response saves an immutable copy of the argument and these fields. Older records may contain only first/latest responses; missing intermediate revisions are not reconstructed.

Each field allows 2,000 characters. Keep a specific claim, state where it applies, cite the facts you use, and explain what still needs checking. Blank fields are allowed and are not evidence of mastery.

Why can the free kernel not be interpreted as a probability density like the heat kernel?

Structure your argument and preserve revisions

These optional planning fields save locally. Recording your response saves an immutable copy of the argument and these fields. Older records may contain only first/latest responses; missing intermediate revisions are not reconstructed.

Each field allows 2,000 characters. Keep a specific claim, state where it applies, cite the facts you use, and explain what still needs checking. Blank fields are allowed and are not evidence of mastery.

Reflect and continue

Before marking this lesson complete, explain one key idea without the worked solution and identify a condition that matters. Marking complete records participation, not independent mastery.