Wave function Created 2026-10-13 Updated 2026-10-20
A wavefunction is the position representation of a pure state. In the one-dimensional model used here, takes values in the complex numbers, and the Born rule gives
The probability density has units of inverse length; the wavefunction has units of inverse square root of length. A value of at a point is not itself a probability: probabilities come from an integral over a region. For the infinite square well ground state, , whereas the probability of the exact single point is zero. The interesting question is how much probability a finite interval contains.
Two wavefunctions differing only by a global phase represent the same pure state. Relative quantum phases between components of a quantum superposition affect matter-wave interference, so retaining the full complex number amplitude is essential. This scalar description covers a particle without active spin degrees of freedom; a general electron wavefunction can have two spin components, with the position probability density obtained by adding the squared modulus of each component.
Wavefunction normalization Created 2026-10-06 Updated 2026-10-20
Wavefunction normalization makes the total Born rule probability equal to one. In an orthonormal basis of energy eigenstates, is normalized precisely when .
For a proposed infinite square well mode , the integral of its squared modulus is . Thus wavefunction normalization requires ; choosing real and positive fixes a convenient global phase. For the equal quantum superposition , orthogonality makes the integrated cross term zero, leaving . The cross term can nevertheless be nonzero locally: normalization constrains total probability, not the shape of its probability density.
For and , define the shifted, scaled analyzing function and its coefficient by
Assume the product is integrable; for example this holds for a locally integrable function and a bounded analyzing function with compact support. The bar is complex conjugation. This normalization preserves the L2 norm of the analyzing function. If is a polynomial of degree of a polynomial less than , then is a sum of monomials with . Linearity of integration and the vanishing moments give at every position and scale. Nonzero polynomials on the whole real line are not square-integrable, so this cancellation is an integral pairing; it is not a claim that these polynomials are vectors of .
Here is a quantitative reason that smooth regions yield small details. Let have compact support and vanishing moments, and suppose is times continuously differentiable on an interval containing and . Subtract its degree- Taylor polynomial at . If on that interval, the Taylor remainder bound gives
The factor comes from the Taylor remainder; comes from the coefficient normalization. Thus the analyzing function measures the departure from the local polynomial trend, rather than the height of itself. The wavelet coefficient decay for Hölder functions uses the same argument with a Hölder-Taylor remainder bound. These estimates concern regularity of on the analyzing function's entire support of a function; extra vanishing moments alone do not make smooth or establish an orthonormal wavelet construction.[ref]
A bounded measurable one-periodic function rescaled to frequency converges weak-star in to its period average. Subtract the average and take a bounded periodic primitive . Its integral on after rescaling is , which tends to zero. Sequential Banach-Alaoglu with separable predual then identifies every cluster point by interval integrals; uniqueness of all cluster points gives full weak-star convergence. Localizing to bounded intervals avoids falsely assuming that a bounded cluster function is globally integrable.
For the stress-driven stagnation-point boundary layer on , a regular perturbation gives satisfying , and . Reduction of order with the known solution gives
Indeed, writing gives ; decay at fixes the lower endpoint and fixes . The integral at zero is , as follows by differentiating the antiderivative
Here is the error function. Thus positive imposed outward shear stress increases the outward surface velocity by the displayed first-order factor. Replacing decay at by decay at while leaving the equation and wall derivative unchanged reverses this coefficient and describes a different problem.
Weighted arithmetic mean Created 2026-10-03 Updated 2026-10-14
The weighted arithmetic mean combines values according to how much each contributes to the quantity being summarized. For a finite list of real numbers and nonnegative weights with , define
Zero weights ignore an entry; at least one weight must be positive. Multiplying every weight by the same positive number leaves the result unchanged. Writing makes the weighted mean a convex combination, since and . It therefore lies between the smallest and largest input values. [ref]
For example, give the values and weights and :
The larger weight pulls the result closer to . The balancing identity
explains a geometric interpretation: if the weights were masses placed at positions , the weighted mean would be their center of mass. Here , so the two sides balance even though their distances from the mean differ.
Weights need an interpretation. They can represent numbers of observations, masses, or probabilities in a finite probability distribution. These meanings lead to the same formula, while answering different questions. For instance, combining means of groups uses group sizes as weights to recover the mean over individual observations. For a function and nonnegative weight function , the analogous integral is , provided is integrable and the total weight is positive and finite.
For with integral one, the Cauchy-Schwarz inequality makes the mass functional bounded on the weighted Hilbert space. The vector has norm one, so the velocity-reset projection is the orthogonal projection onto its span. Consequently is bounded and self-adjoint. This Hilbert geometry differs from the norm-one positive reset projection on phase-space .
Window function Created 2026-10-14 Updated 2026-10-18
A window function is a function that vanishes outside a chosen finite interval; multiplying an input by it selects and weights that part of the history before a Fourier transform. The rectangular window is the indicator function of . Applied to the weighted causal extension by zero of an input, it produces the finite-history integral used to approximate a Laplace transform.
World line Created 2026-09-24 Updated 2026-10-13
A world line is an object's history as a curve of spacetime events. In an inertial frame, a particle at rest has constant spatial coordinates, so its world line is vertical in a spacetime diagram with upward. A particle at constant velocity along one axis has , a straight sloping world line. The coordinate representation changes with the inertial frame, while the physical history is the same.
A massive observer follows a future-directed timelike curve. Along a differentiable world line with velocity , its clock accumulates
The Minkowski metric therefore measures clock time along the curve, not just the difference between two coordinate readings. In the straight -to- example, for , giving . If the observer changes velocity along the path, use the integral rather than assigning the straight-segment formula to the whole path.
For , this parametric curve closes with a corner on a unit circular cylinder. Its speed is , so its arc length is . The cylindrical surface between the curve and has the same surface area, because unrolling gives the integral .
For a real exponent and a positive integer , the series truncation error in the defining Riemann zeta function series is
The integral comparison for the positive decreasing function gives the explicit bounds
On each unit interval, the area under lies between its endpoint heights. Summing from the first omitted term gives the lower integral from to infinity and the upper integral from to infinity. This uses positivity and monotonicity, not an assumption that the last computed term equals the remaining error.
At , the bounds are , whereas . The errors above fit both intervals. Merely looking at the eleventh term would give for squares, far smaller than the actual remaining .
Figure 1.
Integral bounds enclose the full remaining error of two zeta series
. Original computed errors, obtained by subtracting finite partial sums from the exact even zeta values. Shaded bands show the upper and lower integral comparison bounds. The logarithmic axes reveal decay proportional to for squares and for fourth powers. These are mathematical computations, not measured data. Details.
For a chosen absolute error target , the sufficient condition is , rounded upward to an integer. Thus requires by this bound for squares but only for fourth powers. This is a guarantee from an upper bound, not a claim that those are the smallest successful term counts.