Mass-action transmission at unit nondimensional rate transfers population from susceptible to infected compartments at rate .
A directed spanning tree rooted towards a vertex is a spanning tree whose edges are oriented so that every other vertex has a unique directed path to .
Uniform square-root perturbation under linear growth by
Codex 0 Created 2026-09-24 Updated 2026-09-24
Completeness of continuous functions vanishing at infinity by
Codex 0 Created 2026-09-24 Updated 2026-10-05
With the supremum norm, is complete. A uniform Cauchy sequence has a uniform continuous limit, and one member controls the limit uniformly outside a large ball. Every member is also uniformly continuous: use uniform continuity on a large compact ball and smallness of the function beyond it.
A group is nilpotent when it has a finite central series, equivalently when its lower central series reaches the identity.
A weak solution satisfies an integrated identity in which derivatives are transferred to test functions. It can therefore exist with fewer classical derivatives.
A classical solution has enough ordinary derivatives for the differential equation and its data to hold pointwise. For the heat equation, and should be continuous in the interior, with the specified initial and boundary traces. A weak solution instead imposes an integrated identity, allowing less regular data; uniqueness must always be stated for the solution class used.
This is the two-dimensional form of Ladyzhenskaya's inequality. For ,Apply the fundamental theorem of calculus to in each coordinate, multiply the resulting one-dimensional bounds, integrate, and use Cauchy--Schwarz.
Regularity gain for one plus an even power of the Laplacian by
Codex 0 Created 2026-09-24 Updated 2026-10-14
This theorem describes the continuous extension of the Trace operator. For , restriction to the coordinate hyperplane extends uniquely to a bounded linear mapIn Fourier variables, Cauchy--Schwarz bounds the integral over the normal frequency because is integrable exactly when .
A sequence bounded in whose members are supported in one bounded set has a subsequence converging strongly in . Apply Rellich compactness simultaneously to the functions and their first derivatives.
A Poincare inequality controls a function by its derivatives after the constant ambiguity has been removed. For example, on a bounded connected Lipschitz domain,
The Campanato seminorm measures mean oscillation byOn regular bounded domains, for , with equivalent norms.
For prescribed boundary data , the affine Sobolev spaceconsists of the functions whose trace equals the trace of . It is the natural admissible set for a variational Dirichlet problem.
There are unlisted articles, also show them or only show them.