The Weierstrass zeta function satisfies and is quasi-periodic: for every period , the difference is constant. It has a simple pole of residue one at each lattice point. Consequently, if , thenis an elliptic function.
It is the quasi-periodic zeta member of the Weierstrass functions.
For a function and an integer , its Bernstein polynomial isThe Bernstein basis supplies nonnegative weights whose sum is one. Equivalently, the weights are the probabilities of a binomial distribution, and the result is an expected value. At a given , this averages the sampled values with weights concentrated near .[ref]
The Weierstrass approximation theorem (Georgia Tech handout). The Weierstrass approximation theorem, Lemmas 0.1–0.2 and Theorem 0.3, printed pp. 1–2: weights, binomial moments and polynomial construction
The endpoints are exact: and . Interior sampled points need not be interpolated. For example, binomial distribution moments give and . Thus every affine function is reproduced exactly, whereas is generally changed. Bernstein polynomial degree preservation is a statement about degree of a polynomial, not equality of the entire polynomial.
For a continuous , the uniform continuity of and the variance explain uniform convergence. Split the expected value of the error into , where uniform continuity makes the change small, and its complement, whose probability is at most by Chebyshev's inequality. The bounded function bounds the remaining error. This proves convergence without assuming differentiability.
For , the tensor-product Bernstein polynomial is the expected value of for independent random variables . The same uniform continuity and coordinatewise variance estimates give uniform convergence for each fixed finite .
A binary symmetric channel independently flips each transmitted bit with crossover probability . Its channel capacity isin bits per use, where is binary entropy and the endpoint convention is . Knowing the input leaves just the uncertainty of the flip, so for every input probability distribution. Since the output is a bit, , and thus . A fair input produces a fair output and reaches the bound. This is the two-symbol case of weakly symmetric channel capacity; Eytan Modiano, MIT 16.36, Channel Capacity and Coding, slides 4–5 gives this calculation.
For crossover probabilities , the resulting channel capacities are approximately , , and bits per use. At , the communication channel is noiseless; at , the output is independent of the input and the capacity is zero. At , every bit is inverted, a known reversible rule, and capacity is one again. More generally , because inverting every received bit exchanges the two crossover probabilities. The existing mutual information figure shows this full symmetric curve.
An uncoded transmission illustrates why the raw bit-error probability is not itself channel capacity. At , transmitting 100 uncoded bits succeeds on all of them with probability . The probability of at least one error is therefore approximately . A suitable block code changes which received words count as recoverable evidence of a message; simply repeating uncoded transmission at rate one does not obtain the reliability promised at rates below .
The other standard formulation says that a convex subset of a Banach-space dual is weak-star closed if its intersection with every norm-closed ball is weak-star closed.
If is separable, the weak-star topology on is metrizable. For a dense sequence in , a compatible metric is obtained by summing bounded multiples of .
The Galerkin method seeks an approximate solution in a finite-dimensional subspace and requires the equation's residual to be orthogonal to that subspace. Uniform energy estimates and compactness can then produce a weak solution as the subspaces become dense.
A weak formulation multiplies a differential equation by a test function, integrates, and uses integration by parts to move derivatives away from the unknown function. Natural boundary conditions appear in the resulting boundary terms.
The solution operator is compact on every bounded open set because it maps boundedly into and the Rellich-Kondrashov compactness theorem for H01 embeds that space compactly into .
A norm-closed convex subset of a Banach space contains every weak limit of its sequences. Apply Mazur lemma to obtain norm-convergent convex combinations that remain in the set.
Every orthonormal sequence in a Hilbert space converges weakly to zero, by Bessel inequality, but no subsequence converges strongly because distinct terms remain distance apart.
If in a Hilbert space, thenFor , take the inner product with and apply Cauchy-Schwarz before passing to the lower limit.
Weak subsequence of a bounded Hilbert-space sequence by
Codex 0 Created 2026-09-24 Updated 2026-09-24
Every bounded sequence in a separable Hilbert space has a weakly convergent subsequence. Successive subsequences make each basis coordinate converge, and a diagonal subsequence converges in every coordinate; the coordinate criterion for weak convergence in a separable Hilbert space finishes the proof.
Coordinate criterion for weak convergence in a separable Hilbert space by
Codex 0 Created 2026-09-24 Updated 2026-10-03
There are unlisted articles, also show them or only show them.