Space-time white noise and scaling
Define white noise by test-function covariance and use parabolic power counting without mistaking a subcriticality calculation for a solution theorem.
On this page
The question for today
What you’ll understand
- Calculate variances of white-noise averages over space-time sets.
- Apply the parabolic noise scaling dimension.
- Distinguish a formal subcriticality criterion from a renormalized well-posedness proof.
White noise is often drawn as a rapidly fluctuating function, but its mathematical definition is a Gaussian distribution acting on square-integrable tests. Its averages become more variable as the observation volume shrinks. For parabolic equations, time counts as two spatial powers under scaling, so the relevant homogeneous dimension differs from ordinary space-time dimension. Combining that noise scaling with heat smoothing predicts the regularity of a linear response and helps identify potentially subcritical nonlinearities. Those predictions guide construction; they do not themselves define singular products.
Tests and set averages are meaningful; point values are not
On space-time , real white noise ξ is a centered Gaussian family indexed linearly by test functions, with covariance equal to their L² inner product. For a measurable set E with , ξ evaluated on its indicator has variance equal to its volume. The average over E divides that random variable by the volume, giving variance equal to the inverse volume. Disjoint-set integrals are independent because they are jointly Gaussian with zero covariance.
Overlapping-set averages are correlated in proportion to the intersection volume, with their normalizing volumes included. There is no finite-variance point value obtained by shrinking a set indefinitely. White in time also differs from a random potential that is fixed in time and rough only in space. Such noises have different scaling dimensions and lead to different singularity thresholds, even if both are denoted by the same letter in informal equations. State which covariance is being used before counting powers.
Parabolic scaling assigns time weight two
Under the parabolic dilation , volume scales by . The formally rescaled field has the same white-noise law, with that notation interpreted through tests rather than point evaluation. An L¹-normalized parabolic mollifier at scale ε therefore has squared L² norm proportional to ε to the minus d minus two. Its white-noise evaluation has standard deviation proportional to ε to the minus half of d plus two.
In local parabolic Hölder–Besov terminology, white noise has regularity strictly below minus half of d plus two. A heat convolution gains two parabolic orders, suggesting response regularity strictly below one minus d/2. This description uses a different norm from the spectral Hilbert Sobolev norm earlier, even when the numerical threshold coincides. For these linear Gaussian models, identifying Hölder regularity rigorously requires the relevant test-function or increment estimates, not merely an algebraic dimensional assignment.
Power counting is a diagnostic, not the construction
For a semilinear heat equation with polynomial drift of degree p greater than one and additive space-time white noise, assign the linear field nominal regularity alpha equal to one minus d/2. Formal multiplication gives degree-p homogeneity p alpha, and heat integration adds two. A favorable local power count requires p alpha plus two to exceed alpha, or d less than two plus four divided by p minus one. For a cubic drift this predicts subcritical spatial dimensions below four.
Negative-regularity fields do not acquire a classical product merely because the resulting power count is favorable. One must construct enhanced stochastic objects, select counterterms and prove stability in an appropriate solution space. At the critical equality there is no positive regularity improvement in this elementary count; the subcritical theory cannot simply be applied unchanged. Derivative nonlinearities, conservation laws, multiplicative noise and non-parabolic equations require their own counts. A scaling calculation is useful precisely when its limited role remains explicit.
Work it through
Refining a parabolic observation box
Take a parabolic box with time length epsilon² and each of d spatial side lengths epsilon. Compare the variance and standard deviation of its white-noise average when epsilon=1/2 for d=2 and d=3.
For d=2 the box volume is epsilon^4=1/16. A normalized white-noise average therefore has variance sixteen and standard deviation four.
For d=3 the box volume is epsilon^5=1/32. The variance is thirty-two and the standard deviation sqrt(32), approximately 5.656854.
The growth comes from dividing a noise integral of variance equal to volume by that volume. It is not the variance of an unnormalized integral, which would instead shrink with the box. Parabolic time scaling supplies two of the volume powers.
Smaller observation volume makes a white-noise average rougher, with an exponent set by d+2 rather than by d+1.
The living notebook
Explore the model
Interactive lab · sampling
Normalization determines how an average fluctuates
Pause and Reset, then set both controls to p=0.5 and n=25; predict Bernoulli sample-mean variance 0.01. Reset and set p=0.5 and n=100; predict 0.0025. This finite iid average becomes less variable with more observations. Compare its normalization with the separate inverse-volume white-noise calculation; the instrument contains no spatial white noise, parabolic boxes or singular-PDE solver.
- Mean sample proportion
- 0.5
- Sample-mean variance
- 0.0125
- Uniform CDF error bound
- ≤ 0.1062
Exact binomial masses for the mean of n independent Bernoulli trials, compared with normal mass between adjacent half-count boundaries; normal tails outside the finite support remain outside the bars. Playback highlights outcomes, not random samples. The Berry–Esseen bound applies to standardized CDFs, not individual bars or continuity-corrected errors. At p = 0 or 1, normal comparison and that bound are disabled. Normal-CDF evaluation uses a numerical approximation with absolute error below 7.5×10⁻⁸ (at most 1.5×10⁻⁷ per interval, before rounding). Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forA variance scaling law is inseparable from what is summed, what is averaged and which volume or sample-size factor normalizes it.
Pause & reason
Check your understanding
Your turn
Try it yourself
Let B be a subset of a space-time set A, with volumes |A|=1 and |B|=1/16. Compute the covariance and correlation of their normalized white-noise averages. Are they independent?
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Use the intersection volume for the covariance of the unnormalized integrals, then divide by both averaging volumes.
Compare with the solution
The normalized covariance is |A intersection B|/(|A||B|)=(1/16)/(1×1/16)=1. Their variances are one and sixteen, so the correlation is 1/(1×4)=1/4. They are not independent because the covariance is nonzero. This contrasts with disjoint-set averages, which are independent in the Gaussian white-noise model. Refining a box inside another does not create a new independent observation.
Keep the idea
Take it with you
- White noise is defined through Gaussian test-function covariance.
- Parabolic scaling gives homogeneous dimension d+2.
- Subcritical power counting guides, but does not replace, a singular solution construction.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.