The coarse texture comes from large ice crystals. Form many small crystals by rapid cooling with agitation and avoid extended storage near partial melting or repeated warming/cooling cycles. Curvature raises the chemical potential of smaller ice crystals, so material can transfer from smaller to larger crystals during recrystallization; partial melting followed by slow refreezing accelerates loss of a fine texture. A more viscous unfrozen phase and suitable stabilizing ingredients slow molecular transport and coarsening. Create small crystals quickly and suppress their subsequent growth with stable cold storage and slow transport. This applies interfacial and phase-change physics; it is not a claim that reducing droplet vapor pressure alone completely models a multicomponent frozen mixture.

wetting liquid in narrow pores and gaps between fibers can have a concave meniscus. Its signed curvature is negative, so the Kelvin equation permits equilibrium at a vapor pressure below that above a flat liquid surface. capillary condensation in sufficiently small, wettable gaps explains moisture accumulation at high relative humidity. Increased humidity brings the vapor closer to flat-surface saturation and permits condensation in larger gaps. Surface adsorption can precede a bulk-like meniscus; large open spaces do not automatically fill at every humidity. The interpretation assumes a wetting contact geometry and does not require the entire cloth to be below the ordinary planar dew point.

For a convex droplet, the Kelvin equation gives $\ln (p_{\mathrm{eq}}(r)/p_{\mathrm{sat}})=2\gamma {\overline{V}}_l/(rRT)$. Smaller droplets therefore require a higher equilibrium vapor pressure. At a common ambient vapor pressure, sufficiently small droplets evaporate while larger ones can grow, transferring material through the vapor. Ostwald ripening decreases the droplet count and increases a characteristic surviving radius. Direct collision and coalescence can also reduce the count but are a distinct mechanism. In a closed container the final state depends on total liquid/vapor inventory and volume; an initially undersaturated, liquid-poor system can lose all droplets rather than indefinitely grow a large one.

For a subgroup $H$ of a finite group $G$, distinct left cosets are disjoint and partition $G$. Each coset $gH$ has exactly $|H|$ elements because $h\mapsto gh$ is a bijection. Counting the partition proves Lagrange's theorem:A cyclic group is generated by a single element. In a group of order four, an element of order four generates the whole group, giving $C_4$. Otherwise all three nonidentity elements have order two. Choose two of them $a,b$; cancellation makes $ab=c$ the third. Since $c^{-1}=c$, $(ab{)}^{-1}=b^{-1}{a}^{-1}=ba=ab$. The remaining products then give the Klein four-group. This proves that there are precisely two groups of order four up to isomorphism, distinguished by whether an element of order four exists.

For the square, take $r$ to be counterclockwise rotation by $90^{\circ }$ and $s$ reflection in the horizontal axis. They satisfy $r^4=s^2=e$ and $sr=r^{-1}s$. The dihedral group here is $D_4$ of order eight, with elements $e,r,r^2,r^3,s,rs,r^{2}s,r^{3}s$. Both generators are necessary: one generator would give a cyclic, hence abelian, group, while $r$ and $s$ do not commute. In the following Cayley table, the row acts after the column; the formula $(r^a{s}^b)(r^c{s}^d)=r^{a+(-1{)}^{b}c}{s}^{b+d}$, with exponents reduced modulo four and two, computes every entry.The largest cyclic subgroup is $⟨r⟩=\{e,r,r^2,r^3\}$, of order four. Every reflection has order two and there is no element of order eight. The other subgroups of order four areBoth are Klein four-groups, generated by the commuting involutions $r^2$ and one reflection. For completeness, any order-four subgroup containing $r$ or $r^3$ equals $⟨r⟩$. Otherwise it contains a reflection $f$; the product of two distinct reflections is a nonidentity rotation, which must be $r^2$ if odd powers of $r$ are excluded. This forces the subgroup to be $\{e,r^2,f,r^{2}f\}$, giving exactly the two displayed choices. It is the square case of the classification of subgroups of a dihedral group.

A group homomorphism preserves multiplication: $\Phi (gh)=\Phi (g)\Phi (h)$. Its group kernel $K=\{g:\Phi (g)=e_H\}$ is a subgroup, and $\Phi (gk{g}^{-1})=e_H$ for $k\in K$. Thus $gK{g}^{-1}=K$, proving it is a normal subgroup. The map $gK\mapsto \Phi (g)$ is well-defined because two representatives of a coset differ by an element of $K$. It is a homomorphism, has trivial kernel, and is surjective when $\Phi$ is. This proves the first isomorphism theorem, $G/K\cong H$. This proof does not use finiteness and therefore also applies below.

The identity matrix belongs to $S{L}_2(\mathbb{C})$. The determinant is multiplicative, giving closure, and matrix multiplication is associative. The inverse of a determinant-one matrix $A=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ is $\left(\begin{array}{cc}d& -b\\ -c& a\end{array}\right)$, also of determinant one. Thus this special linear group is a group.

The fractional linear maps must be interpreted on the Riemann sphere, including infinity: a finite pole is sent to infinity and infinity is sent to $a/c$ when $c\ne 0$. As literal everywhere-defined maps of the complex plane they would not form the asserted group. Substitution into the two rational expressions gives $f_A\circ f_B=f_{AB}$. Matrix identities and inverses therefore give the identity and inverse transformations, proving that the Möbius group is a group and that $\Phi :A\mapsto f_A$ is a surjective homomorphism.

For $f_A$ to be the identity, $(az+b)/(cz+d)=z$ on all finite points where defined. Hence $c{z}^2+(d-a)z-b$ is the zero polynomial, so $b=c=0$, $d=a$, and $a^2=1$ from the determinant. ThereforeThe kernel is central and hence normal. In particular $\Phi$ is not an isomorphism, since $A$ and $-A$ represent the same transformation. The quotient is the projective special linear group in this complex two-dimensional case.

The quadratic Lagrangian gives $\partial L/\partial \dot{q}=T\dot{q}$ and $\partial L/\partial q=-Vq$. Thus the Euler-Lagrange equations areA nonzero mode vector $v$ has a common harmonic time factor and satisfies the generalized eigenvalue problem for small oscillations $Vv={\omega }^{2}Tv$; $\omega$ is its normal frequency. A zero-frequency mode instead admits a constant or linear time factor.

Measure the three coordinates as displacements from a configuration with both springs unstretched. The kinetic energy is $\frac{1}{2}{\dot{x}}_1^2+\frac{1}{2}M{\dot{x}}_2^2+\frac{1}{2}{\dot{x}}_3^2$, and the potential energy is $\frac{1}{2}(x_2-x_1{)}^2+\frac{1}{2}(x_3-x_2{)}^2$. Expansion givesFor $M>0$, direct substitution yields the three normal modes:The three vectors are independent and orthogonal in the mass inner product $v^{T}Tw$, so they exhaust the motion. Their squared mass norms are $M+2,2,2+4/M$; division by the corresponding square roots gives normalized modes. This is the unit-spring, unit-outer-mass case of the normal modes of three masses connected by two equal springs.

As $M\to \infty$, the central displacement in the symmetric oscillatory mode tends to zero and both nonzero frequencies tend to one. The two limiting shapes $(1,0,1)$ and $(1,0,-1)$ span independent motions of the outer masses against an effectively fixed centre; each unit mass has its own unit spring frequency. The translational mode remains at zero frequency. Under a bounded kinetic-energy condition its common velocity tends to zero as $M^{-1/2}$, while a static common displacement is still an equilibrium shift. One must specify that energy condition before concluding that an arbitrary freely translating heavy mass remains stationary.

An isotropic tensor has unchanged components under every proper rotation of the Cartesian axes. Every rank-zero scalar is isotropic, and $c{\delta }_{ij}$ is a rank-two example. The zero rank-one tensor is isotropic, but no nonzero vector is: a half-turn about an axis perpendicular to it reverses its sign.

For the inertia tensor, write $u=x-G$ and $X=P-G$, so $x-P=u-X$. Expand its defining integrand. Every cross term has an integral containing ${\int }_{B}u\rho d^{3}x=0$ by the definition of the centre of mass. The remaining terms give the tensor parallel-axis theorem:For a uniform unit ball, rotational symmetry gives $\int \rho u_i{u}_j{d}^{3}u=c{\delta }_{ij}$. Its trace is $\int \rho |u{|}^2{d}^{3}u=3M/5$, so $c=M/5$ and $I(G)=2MI/5$. ThereforeAssuming positive mass, it is isotropic exactly when $P=G$. For $X\ne 0$, its eigenvalues and directions areTo give an explicit orthonormal eigenbasis when $X_1^2+X_2^2>0$, take $e_1=(-X_2,X_1,0)/\sqrt{X_1^2+X_2^2}$ and $e_2=e_{\parallel }\times e_1$. If $X$ is a nonzero vector along the third axis, take the first two coordinate unit vectors instead. At $X=0$, all three eigenvalues are $2M/5$ and every orthonormal basis works. The inertia tensor of a displaced uniform ball describes the same result for an arbitrary radius.

Treat the left side as a causal convolution with $t^{-\alpha }$. Under the usual Laplace-transform hypotheses, the convolution theorem for Laplace transforms givesFor an absolutely continuous $f$ with $f(0)=0$, the derivative transform is $\mathcal{L}[f^{\prime }]=s\hat{f}$. ConsequentlySince $\mathcal{L}[t^{\alpha -1}]=\Gamma (\alpha )s^{-\alpha }$, inverting the product provesHere $0<\alpha <1$ makes both power kernels locally integrable. For example assume exponential growth bounds sufficient for the transforms and a regularity class where the convolution is defined. This is the Abel integral equation of fractional order; the initial value removes the extra boundary term in the derivative transform.

For $f(t)=t$, the remaining integral is ${\int }_0^t(t-\tau {)}^{\alpha -1}d\tau =t^{\alpha }/\alpha$. ThusSubstitution into the original equation checks the result: scaling $\tau =tu$ gives $tB(\alpha +1,1-\alpha )/[\Gamma (\alpha +1)\Gamma (1-\alpha )]=t$ by the beta-gamma identity.

Cauchy's integral theorem states that a holomorphic function on a simply connected domain has zero contour integral around every closed piecewise smooth curve in that domain. One proof begins with the Cauchy theorem for a triangle. Subdivide a triangle into four equal triangles. Their oriented boundary integrals sum to the original integral because internal edges cancel, so choose a nested subtriangle carrying at least one quarter of the preceding integral's modulus. At stage $n$, its perimeter and diameter are $P/2^n,d/2^n$, and the nested triangles converge to a point $z_0$. Complex differentiability gives $f(z)=f(z_0)+f^{\prime }(z_0)(z-z_0)+ϵ(z)(z-z_0)$, with $ϵ(z)\to 0$. The affine terms have primitives and integrate to zero. Therefore $|I_n|\le \sup |ϵ|Pd/4^n$, while $|I_0|\le 4^n|I_n|$. Letting $n\to \infty$ proves $I_0=0$. Triangulation cancels internal edges for polygonal contours; local primitives and deformation through the domain extend the result to the stated piecewise smooth curves. Simple connectedness ensures the necessary contractions do not pass through a missing point.

Apply the theorem to $e^{-a{z}^2}$ on the rectangle between heights zero and $\rho$, with vertical sides at $\mathrm{Re}z=\pm R$. On either vertical side,The modulus of each side integral is at most $|\rho |e^{-a{R}^2+a{\rho }^2}\to 0$. Both horizontal integrals converge absolutely. The two horizontal orientations are opposite, so the limit gives $I(\rho ,a)=I(0,a)$, also for negative $\rho$. This is Gaussian contour translation.

Now complete the square:The substitution $z=x-i\nu /(2a)$ moves the path to height $-\nu /(2a)$. Its Gaussian integral equals the real-axis integral by the preceding result. HenceThis also gives the Fourier transform of a Gaussian in the convention with no prefactor in the forward transform.

The Klein four-group has multiplication tableSince it is abelian, every conjugacy class is a singleton: $\{1\},\{a\},\{b\},\{c\}$. An irreducible representation is a nonzero representation whose only invariant subspaces are zero and the whole representation space. For a finite group, the number of inequivalent complex irreducible representations equals the number of conjugacy classes, so there are four here.

A one-dimensional representation sends the involutions $a,b$ to signs, independently. All four choices areThey are distinct irreducible representations, exhausting the four possibilities. The character table of the Klein four-group isThe specified diagonal matrices obey $D(a{)}^2=D(b{)}^2=I$, commute, and satisfy $D(a)D(b)=D(c)$, so the group relations prove that $D$ is a group representation. Its coordinate axes are invariant lines carrying respectively ${\chi }_{01},{\chi }_{10},{\chi }_{11}$. ThereforeThe trivial representation ${\chi }_{00}$ is absent. If $H$ denotes the four-row character matrix above, direct row products give $H{H}^T=4I$. This verifies character orthogonality:The character of $D$ is $(3,-1,-1,-1)$, whose inner products with the four rows are $0,1,1,1$, independently confirming the decomposition. All these irreducibles are real as well: commuting real involutions can be simultaneously diagonalized into their real sign eigenspaces.

Let $L=d^2/d{x}^2+x^{-1}d/dx-x^{-2}$. A Green's function $G(x,\xi )$ satisfies $L_{x}G=\delta (x-\xi )$ and the chosen homogeneous boundary conditions in $x$. Away from $x=\xi$, it is a linear combination of $x$ and $x^{-1}$. It must be continuous there and obey the unit derivative jump $G_x({\xi }^{+},\xi )-G_x({\xi }^{-},\xi )=1$, because the leading differential coefficient is one. Thensolves $Ly=f$ whenever the integral and boundary limits are valid. The Wronskian of $x,x^{-1}$ is $-2/x$. The Green kernels for a radial dipole Euler equation implement the two different choices of boundary conditions below.