The displayed formula is a submultiplicative norm on the algebra of entire functions: definiteness follows from the identity theorem. No submultiplicative norm on the whole algebra can be complete. The coordinate function $Z(z)=z$ has every complex number in its algebraic spectrum of an element, because $Z-\lambda$ vanishes somewhere and has no entire inverse. This contradicts compactness of spectra in a Banach algebra.

Take disjoint disks escaping to infinity and continuous cutoff functions $h_n$ supported in them and equal to one on smaller disks. The locally finite function $f={\sum }_{n}n{h}_n$ is continuous. Choose nonzero $g_n$ supported in the smaller disks; then $f{g}_n=n{g}_n$. Any algebra norm would give $n\Vert g_n\Vert =\Vert f{g}_n\Vert \le \Vert f\Vert \Vert g_n\Vert$, forcing $n\le \Vert f\Vert$ for every positive integer. This is impossible even without a completeness assumption.

An algebra norm is submultiplicative when it satisfies the displayed product inequality. Induction gives $\Vert a_1\cdots a_n\Vert \le {\prod }_j\Vert a_j\Vert$, and in particular $\Vert a^n\Vert \le \Vert a{\Vert }^n$. The operator norm has this property because $\Vert STv\Vert \le \Vert S\Vert \Vert T\Vert \Vert v\Vert$. The supremum norm for bounded functions with pointwise multiplication is another example. This estimate supports the Neumann series and the spectral radius formula.

Let $S$ be a bounded multiplicatively closed subset of a unital Banach algebra. The displayed auxiliary norm $p$ is equivalent to the original norm, and each left multiplication $L_s$ is a contraction for $s\in S$. Taking the operator norm of the faithful left regular representation produces an equivalent algebra norm with $\Vert 1{\Vert }_S=1$ and $\Vert s{\Vert }_S\le 1$. If $M=\max (\Vert 1\Vert ,{\sup }_S\Vert s\Vert )$, then $\Vert a\Vert /M\le \Vert a{\Vert }_S\le M\Vert a\Vert$. The auxiliary norm is itself submultiplicative, since $p(ab)\le p(a)\Vert b\Vert \le p(a)p(b)$, but $p(1)=M$ can exceed one. The operator norm enforces the required unital normalization.

Goldreich–Sridhar turbulence combines critical balance, balanced counterpropagating Alfvén waves, a local perpendicular cascade, and constant energy flux per unit mass $\mathcal{E}$. With ${\tau }_{\mathrm{nl}}\sim {\ell }_{\perp }/\delta u_{\ell }$ and $\mathcal{E}\sim \delta u_{\ell }^2/{\tau }_{\mathrm{nl}}$, one obtains $\delta u_{\ell }\sim (\mathcal{E}{\ell }_{\perp }{)}^{1/3}$. Defining the one-dimensional perpendicular turbulent energy spectrum by $\delta u_{\ell }^2\sim k_{\perp }E(k_{\perp })$ gives $E(k_{\perp })\sim {\mathcal{E}}^{2/3}{k}_{\perp }^{-5/3}$. Critical balance also gives $k_{\parallel }\sim {\mathcal{E}}^{1/3}{k}_{\perp }^{2/3}/v_A$. This scaling argument neglects scale-dependent alignment and intermittency corrections, which are additional physical effects rather than consequences of the stated assumptions.

The Iroshnikov-Kraichnan spectrum phenomenology assumes balanced, isotropic local Alfvénic turbulence with $\delta z_l\ll v_A$, decorrelated counterpropagating encounters, ${\tau }_A=l/v_A$ and ${\tau }_{\mathrm{nl}}=l/\delta z_l$. A weak wave cascade takes ${\tau }_{\mathrm{cas}}\sim {\tau }_{\mathrm{nl}}^2/{\tau }_A=v_{A}l/\delta z_l^2$. Constant energy flux gives $\delta z_l^4\sim ϵv_{A}l$ and the displayed shell-integrated turbulent energy spectrum. Isotropy is an additional assumption, not a consequence of a strong guide field.

For balanced anisotropic Alfvénic turbulence, suppose ${\tau }_A=l_{\parallel }/v_A\ll {\tau }_{\mathrm{nl}}=l_{\perp }/\delta z$ and resonant interactions preserve the parallel scale during the perpendicular cascade. Random encounter accumulation gives ${\tau }_{\mathrm{cas}}=v_A{l}_{\perp }^2/(\delta z^2{l}_{\parallel })$. Constant energy flux then gives $\delta z\propto l_{\perp }^{1/2}$ and the displayed perpendicular turbulent energy spectrum. Unlike isotropic phenomenology, the fixed parallel scale is independent of the decreasing perpendicular scale.

In a finite-dimensional real vector space, a level set of a nonzero linear functional is an affine hyperplane. Choosing $v_0$ in that level set gives $H=v_0+\ker \ell$, so its dimension is one less than that of the ambient space. With a Euclidean inner product, translation followed by an orthonormal basis of $\ker \ell$ identifies it isometrically with the lower-dimensional Euclidean space. The coordinate-sum constraint on balanced cut vectors is an example.

The smallest affine subspace containing a nonempty set $S$. For any chosen $a\in S$, the displayed formula proves existence and minimality: every containing affine subspace must contain all the indicated differences in its direction space. Equivalently it consists of finite affine combinations ${\sum }_i{\lambda }_i{s}_i$ with ${\sum }_i{\lambda }_i=1$. Its dimension can be smaller than the dimension of an affine hyperplane in which the set has been embedded.

Use coding of real sequences by ternary digits to give each real sequence a distinct column coordinate $c(s)\in [0,1/2]$. Put every term of that sequence in its column. The vertical affine section of a planar set at $c(s)$ is exactly the sequence range. Every nonempty countable set has such an enumeration, with repetitions allowed, while any column outside the code interval gives the empty set. This realizes every countable real subset; the other sections are unrestricted.

A Euclidean similarity is a map $S:{\mathbb{R}}^n\to {\mathbb{R}}^n$ satisfying $|S(x)-S(y)|=c|x-y|$ for a fixed $c>0$. It has the form $S(x)=cRx+b$ with $R$ orthogonal: after subtracting $S(0)$ and dividing by $c$, the map fixes zero and preserves distances, hence inner products by polarization, so it is a linear orthogonal map. It is a contraction if $c<1$. Contracting Euclidean similarities define self-similar compact sets; the open set condition is a useful separation hypothesis for computing their Hausdorff dimension.

For distinct or equal prime numbers $\ell ,\lambda$, the polynomial $X^{\ell }-\lambda$ is Eisenstein at $\lambda$. Its splitting field over $\mathbb{Q}({\zeta }_{\ell })$ has Galois group a subgroup of $C_{\ell }$, which is nontrivial because a degree-$\ell$ radical cannot belong to a degree-$(\ell -1)$ cyclotomic field. Thus the full Galois group has order $\ell (\ell -1)$. On roots indexed by $j\in {\mathbb{F}}_{\ell }$, all automorphisms act as $j\mapsto uj+b$. Equality of orders identifies the group with the full affine group over a finite field.

// Target: algebra.bigb

A nonidentity involution in the affine group over a finite field ${\mathbb{F}}_{\ell }$, for odd prime $\ell$, has linear coefficient $-1$: a translation has order $\ell$, while $u^2=1$ forces $u=\pm 1$. Its unique fixed point is $b/2$, and its remaining orbits have size two. This orbit count computes primes in an intermediate field as double cosets for an order-two decomposition group acting on the radical roots.

// Target: number-theory.bigb

For $u_t=u_{xx}+\beta u_x$ on $x>0$, integration by parts in its half-line Fourier transform gives ${\hat{u}}_t+(k^2-i\beta k)\hat{u}=-(ik+\beta )u(0,t)-u_x(0,t)$. Its time-integrated identity relates initial data and boundary values. The spectral involution $k\mapsto -k+i\beta$ preserves $\omega =k^2-i\beta k$. Evaluating the relation at both arguments eliminates the unknown Neumann transform from a Dirichlet problem; the residual unknown solution transform vanishes upon closing the upper contour for $x>0$.

In coordinates $s=t$, $y=x-t$, the transport derivative $u_t+u_x$ becomes $U_s$. A Heaviside step function moving at that speed becomes stationary, and its twice-integrated profile gives the displayed continuously differentiable solution of $u_t+u_x=u_{xx}+H(x-t)$. Its second spatial derivative has a jump, so the equation holds away from the moving interface and in the distributional sense there.

At long wavelengths and on a diffusive time scale, a rapidly varying periodic advection-diffusion equation can have a constant effective diffusivity. A multiple-scale expansion solves periodic cell equations for the fast variables. The solvability condition at the next order gives the macroscopic equation. For a periodic sinusoidal shear this is the effective diffusivity of a periodic sinusoidal shear; its transverse zero-mean cell modes decay, leaving the slow conserved concentration. This use of homogenization concerns differential equations, rather than polynomial homogenization.

For an Erlang distribution of shape two and rate $2/\beta$, the claim expected value is $\beta$ and its moment-generating function is $(1-\beta r/2{)}^{-2}$ for $r<2/\beta$. The adjustment coefficient equation is $\lambda [(1-\beta R/2{)}^{-2}-1]=cR$. With $z=\beta R/2$, divide out the zero root to get $k(1-z{)}^2=2-z$. The smaller quadratic root lies in $(0,1)$ when $c>\lambda \beta$; the larger root lies beyond the finite-transform domain and must be rejected. This proves the displayed coefficient.

Fix positive claim expected value $\mu$ and relative safety loading $\theta >0$ in a classical risk model. Assume the random claim law has an adjustment coefficient $R_X>0$. By Jensen inequality, $M_X(r)\ge e^{\mu r}$. Thus $e^{\mu R_X}-1-(1+\theta )\mu R_X\le 0$. The expression on the left is strictly convex, has negative derivative at zero and tends to infinity, so its unique positive zero $R_{\mu }$ satisfies $R_X\le R_{\mu }$. If the claim size is not almost surely constant, strict Jensen inequality gives $R_X<R_{\mu }$. Consequently the Lundberg inequality upper bound $e^{-R_{\mu }u}$ for deterministic claims is smaller for $u>0$. Comparing these upper bounds alone does not establish an ordering of actual ultimate ruin probabilities.

For positive claims with a finite positive moment-generating function neighbourhood, use $e^u>1+u+u^2/2$ and $e^u>1+u+u^2/2+u^3/6$ for $u>0$ in the defining adjustment coefficient equation. They imply the displayed strict upper bounds, where $r_2$ is the positive quadratic root. Its defining polynomial is negative at zero and positive at $r_1$, proving $r_2<r_1$. Higher exponential-series truncations similarly yield upper bounds from more raw moments.

The gamma distribution of shape one half and rate $\beta$ has moment-generating function $(1-r/\beta {)}^{-1/2}$. With mean $\mu =1/(2\beta )$ and positive relative safety loading $\rho$, write $x=R/\beta$. Dividing out the zero root after squaring the adjustment equation gives $(1+\rho {)}^2{x}^2-(1+\rho )(\rho -3)x-4\rho =0$. Its unique positive root lies between zero and one, so it belongs to the transform domain and gives the display.