A local path action integrates a nonnegative convex cost g of the path's instantaneous input rate, assigning infinity to paths that are not absolutely continuous. When $g(\mu )=0$, the typical-rate path has zero cost. On any interval with prescribed total input, Jensen inequality makes a constant derivative minimize its cost. With a queue workload constraint this leads to constant-rate burst paths and the linear workload rate for a local convex action. Such a formula alone does not establish goodness in an unspecified path topology; goodness must be checked or assumed as part of the input large-deviation principle.

For $\gamma >1$ and positive mass density and pressure, let $\xi =x/t$ in one-dimensional adiabatic compressible flow. The smooth equations are $(u-\xi ){\rho }^{\prime }+\rho u^{\prime }=0$, $(u-\xi )u^{\prime }+p^{\prime }/\rho =0$ and $(u-\xi )p^{\prime }+\gamma p{u}^{\prime }=0$. Away from a constant branch, their coefficient determinant forces $\xi =u+\sigma c$ with $\sigma =\pm 1$ and adiabatic sound speed $c=\sqrt{\gamma p/\rho }$. The entropy equation gives $p=K{\rho }^{\gamma }$, and combining continuity with $c^{\prime }/c=(\gamma -1){\rho }^{\prime }/(2\rho )$ givesThus $u=[2\xi +(\gamma -1)J]/(\gamma +1)$, $c=\sigma (\gamma -1)(\xi -J)/(\gamma +1)$, $\rho =(c^2/(\gamma K){)}^{1/(\gamma -1)}$ and $p=K{\rho }^{\gamma }$, on intervals where $c>0$. The specific entropy is constant. Together with uniform branches, these exhaust smooth positive-gas self-similar solutions; a contact discontinuity is not a smooth fan.

With ${\beta }^2=\Omega R^2/D$ and $\epsilon =2V_{s}R/(3B\Omega D)$, the first angular harmonic of the steady cell conservation equation satisfies $a^{\prime \prime }+a^{\prime }/r-a/r^2-i{\beta }^{2}a=0$ and $a^{\prime }(1)=-1$. The regular solution is $a=-I_1(qr)/[q{I}_1^{\prime }(q)]$, $q=e^{i\pi /4}\beta$. At large $\beta$ it gives the displayed layer with width $1/\beta$. The exact Modified Bessel function of the first kind expression remains regular at the axis, unlike extrapolation of the boundary-layer formula there.

Let $A,B:U\to V$ be linear maps of finite rank of a linear map. Their sum satisfiesThe image of a linear map $A+B$ lies in $\mathrm{im}A+\mathrm{im}B$, so the dimension formula for a sum of subspaces proves the upper bound. Apply that bound to $A=(A+B)-B$ and to $B=(A+B)-A$ to obtain the lower bound. Finite rank ensures that subtraction in the displayed inequality is defined.

Both extremes occur for square matrices. For prescribed ranks $r\ge s$, take $A=\mathrm{diag}(I_r,0)$ and $B=-\mathrm{diag}(I_s,0)$ to obtain matrix rank $r-s$. For the largest possible matrix rank, use diagonal supports whose union has size $\min (n,r+s)$ and assign positive real diagonal entries, obtaining that matrix rank without cancellation.

For independent $N(0,1)$ increments, a random walk has $S_j\sim N(0,j)$. If $B$ is a bounded measurable set, its occupation time probability obeys $\mathbb{P}(S_j\in B)\le |B|/\sqrt{2\pi j}$. Consequently $\mathbb{E}{\sum }_j{1}_B(S_j)/j<\infty$, and Tonelli's theorem makes this series finite almost surely. Kronecker lemma then gives the displayed zero occupation natural density. This also shows why its empirical occupation probabilities cannot converge to a probability measure simultaneously on all bounded intervals and the whole real line: continuity of probability from below would contradict the preserved total mass one.

An upward skip-free random walk has integer-valued increments bounded above by one. Arbitrarily large downward jumps are permitted, but a first crossing of a nonnegative integer level $k$ from below must land exactly at $k$. This removes the overshoot from the stopped likelihood ratio under exponential tilting and permits the exact geometric maximum of an upward skip-free random walk. For a real threshold $k$, the first crossing is the crossing of $\lceil k\rceil$, so the overshoot-free formula must use that integer level.

Place six positions on a cycle and distinguish two labels. At each step choose one of the fifteen unordered pairs of distinct positions uniformly and transpose their contents. This convention excludes identity moves. The shorter circular distance between the distinguished labels takes values $1,2,3$. Cycle symmetry and exchangeability of the other labels make this distance a Lumped Markov chain.

Counting transpositions gives the transition matrix and Stationary distributionThe stationary weights also follow by counting unordered position pairs: six pairs have distance one, six have distance two, and three are opposite. If $\Pi$ has every row equal to $\pi$, then $P=\frac{1}{3}I+\frac{2}{3}\Pi$ and $P^n=3^{-n}I+(1-3^{-n})\Pi$. Starting with adjacent labels, the Probability of opposite labels after $n$ steps is therefore $(1-3^{-n})/5$.

The parent Random transposition shuffle uses a different convention: two positions are sampled independently, allowing an identity move with Probability $1/6$. Under that convention the distance transition matrix is $\tilde{P}=\frac{1}{6}I+\frac{5}{6}P=\frac{4}{9}I+\frac{5}{9}\Pi$, and the opposite-label Probability is $(1-(4/9{)}^n)/5$. Explicitly stating the sampling convention prevents a spurious change in the convergence rate.

For a random sum of independent claims, conditioning on the count gives $M_S(t)=\mathbb{E}[M_X(t{)}^N]$ and therefore the displayed cumulant-generating function. Write $a_j={\kappa }_{N,j}$ and $b_j={\kappa }_{X,j}$. The chain rule gives ${\kappa }_{S,1}=a_1{b}_1$, ${\kappa }_{S,2}=a_1{b}_2+a_2{b}_1^2$, and ${\kappa }_{S,3}=a_1{b}_3+3a_2{b}_1{b}_2+a_3{b}_1^3$. In raw severity moments $m_j=\mathbb{E}{X}^j$, the third cumulant is $a_1{m}_3+3(a_2-a_1)m_1{m}_2+(a_3-3a_2+2a_1)m_1^3$. Positive exponential moments justify two-sided differentiation near zero; finite ordinary moments alone suffice for the corresponding left derivatives when claims are positive.

Let $Y\mid \Lambda \sim \mathrm{Poisson}(e^{\eta +\Lambda })$, with $\Lambda \sim N(0,{\tau }^2)$. The lognormal distribution of the random mean gives marginal mean $m=e^{\eta +{\tau }^2/2}$. The law of total variance gives $\mathrm{Var}(Y)=m+m^2(e^{{\tau }^2}-1)$, strictly larger than $m$ when $\tau >0$. Thus independent observation-level random effects produce overdispersion even though the conditional Poisson distributions have variance equal to their means.

Every red-blue edge coloring of the complete graph $K_6$ contains a monochromatic triangle in a graph, and some coloring of $K_5$ contains none. Together the five-cycle Ramsey coloring and six-vertex monochromatic triangle argument giveThe threshold is exact: one carefully chosen coloring establishes the lower bound, while the upper bound must handle every coloring.

A familiar interpretation uses six people and colors each pair red if they know one another and blue if they do not. Assuming the relation is symmetric and every pair falls into exactly one case, there are either three mutual acquaintances or three mutual strangers. The conclusion concerns all three pairs within the group, not merely two relationships through a common person. There is no prediction about which color wins or which three people form the group.

The small size makes exhaustive verification practical. The complete graph $K_5$ has $\left(\genfrac{}{}{0ex}{}{5}{2}\right)=10$ edges, giving $2^{10}=1024$ red-blue colorings of labeled vertices; exactly 12 have no monochromatic triangle in a graph. They are the choices of a red cycle graph of length five, whose blue complement graph is another five-cycle. The complete graph $K_6$ has $\left(\genfrac{}{}{0ex}{}{6}{2}\right)=15$ edges, giving $2^{15}=32768$ colorings. Checking all $\left(\genfrac{}{}{0ex}{}{6}{3}\right)=20$ triples in every coloring finds none without a monochromatic triangle in a graph; in fact the minimum number is two. These counts can be reproduced by assigning one bit to each unordered pair and testing whether the three bits of each triple agree. The monochromatic-triangle counting formula gives a separate explanation of the stronger minimum-two conclusion.

Let a power series ${\sum }_{n\ge 0}{a}_n{z}^n$ have finite radius of convergence $R$. If its terms were bounded in complex modulus at a point $z$ with $|z|>R$, say $|a_n{z}^n|\le M$, choose $w$ with $R<|w|<|z|$. ThenThe comparison test for series with a convergent geometric series would give absolute convergence at $w$, contradicting its position outside the convergence disc. Hence the terms are unbounded at every such $z$. The argument also works when $R=0$ and gives a stronger obstruction than the usual term test for divergence.

Inside both convergence discs, the triangle inequality gives absolute convergence of the sum. Suppose $R<S$ and the sum had radius $T>R$. At any modulus between $R$ and $\min (T,S)$, subtracting the absolutely convergent second series from the absolutely convergent sum would give absolute convergence of the first series outside its radius of convergence, a contradiction. Interchanging the two series covers $S<R$.

If the terms of a power series at a nonzero point $z$ are bounded by $M$, then $|a_n{w}^n|\le M(|w|/|z|{)}^n$. A convergent geometric series and the comparison test for series give absolute convergence at every point strictly inside that circle. Consequently terms at every point outside the radius of convergence must be unbounded. This conclusion is stronger than merely saying that those terms fail to tend to zero.

Knowing the radius of convergence does not settle convergence on its boundary. The three power seriesall have radius one, but behave differently on $|z|=1$.

For the geometric series, boundary terms all have complex modulus one, violating the term test for divergence. For the second series, absolute values give the divergent harmonic series at every boundary point. At $z=1$ the series itself is harmonic and diverges. At any other point on the unit circle, its geometric partial sums obeyThe Dirichlet test with the decreasing sequence $1/n\to 0$ therefore gives conditional convergence. In particular, $z=-1$ gives the negative of the alternating harmonic series, with sum $-\ln 2$. For the third series, the convergent p-series ${\sum }_{n\ge 1}1/n^2$ bounds the absolute values at every boundary point, giving absolute convergence by the comparison test for series.

At $z=-1$, the rational function $1/(1-z)$ is well defined and equals $1/2$, yet its geometric series diverges there. A formula for a function and a particular series representation can have different domains. Likewise, applying termwise differentiation of a power series preserves the radius but need not preserve the boundary convergence.

The right radical is $\{w\in V:B(v,w)=0\text{ for every }v\in V\}$. If $A$ is the matrix of a bilinear form, this condition is $Aw=0$. For $B(v,w)=v_1{w}_2$ from the left radical example, the right radical is $\mathrm{span}\{(1,0)\}$. The left radical and right radical differ here because the bilinear form is neither symmetric nor alternating. For a symmetric bilinear form or an alternating bilinear form, reversing a zero pairing preserves zero and the two linear subspaces coincide.

The left radical is $\{v\in V:B(v,w)=0\text{ for every }w\in V\}$. If $A$ is the matrix of a bilinear form, this condition is $v^{T}A=0$, so its coordinate vectors form $\ker A^T$. For $A=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)$, the bilinear form $B(v,w)=v_1{w}_2$ has left radical $\mathrm{span}\{(0,1)\}$.

For a negligible-mass ideal-gas envelope above a core of mass $M_c$, with constant luminosity $L$ and Kramers' opacity law, division of hydrostatic equilibrium by radiative diffusion gives $PdP/dT=16\pi acG{M}_c\mathcal{R}{T}^{15/2}/(3{\kappa }_{0}L\mu )$. Taking the outer pressure constant to be negligible yields $P=C{T}^{17/4}$, where $C^2=64\pi acG{M}_c\mathcal{R}/(51{\kappa }_{0}L\mu )$, and $\rho =(\mu C/\mathcal{R})T^{13/4}$. Hydrostatic equilibrium then gives $dT/dr=-4\mu G{M}_c/(17\mathcal{R}{r}^2)$, so $T=B/r+T_0$ with $B=4\mu G{M}_c/(17\mathcal{R})$. The radiative-zero choice $T_0=0$ is exact for a vanishing-temperature boundary at infinity and a deep-envelope approximation for a very extended finite star. It is not implied by small surface temperature alone at a specified finite radius.

In the optically thick radiative diffusion in a star approximation, the heat flux is $\mathbf{F}=-\chi \nabla T$. The conductivity depends on opacity, mass density and temperature. It relates a material temperature gradient to energy transport and must not be confused with the emergent effective temperature.

Select outgoing waves as a limit of a problem with weak absorption. With time convention $e^{-i\omega t}$ use $\mathrm{Im}\omega >0$; with $e^{i\omega t}$ use $\mathrm{Im}\omega <0$. The resulting Green function and transform-contour prescriptions determine which poles represent incoming or outgoing waves. This is especially useful when real-axis singularities obscure a Wiener-Hopf factorization.

For a slowly switched-on plane internal gravity wave in the half-space $z>0$, the method of multiple scales gives transport of its amplitude at the vertical group velocity. For ${\omega }^2=N^2{k}^2/(k^2+m^2)$, $c_{gz}=-\omega m/(k^2+m^2)$. Initially undisturbed fluid and forcing at the bottom require $c_{gz}>0$. The outgoing radiation condition therefore selects $m<0$ when $\omega >0$, although the vertical phase velocity is downward.