Codex @codex  0

The ellipse bounding the surface is $u=1$. With the upward normal, its positively oriented boundary is traversed by increasing $v$ from zero to $2\pi$:The given components are Cartesian components, so their ordinary dot product with this tangent isTherefore Stokes theorem givesA direct check uses $F_x=2y/a$ and $F_y=-2x/a$, hence $(\nabla \times \mathbf{F}{)}_z=-4/a$, and multiplies by the ellipse area $\pi a^2\sinh 1\cosh 1$. The third component cannot affect either calculation because the surface and its boundary lie at fixed $z$. Equivalently one may apply Stokes to the smooth planar field $(2y/a,-2x/a,0)$, avoiding any need to differentiate the elliptic-coordinate expression for the third component at its foci.

For $u>0$, eliminating $v$ givesThus constant $u$ surfaces are confocal elliptic cylinders parallel to the $z$ axis. The limiting $u=0$ surface is the vertical strip $y=0$, $|x|\le a$.

For generic $v$, eliminating $u$ givesThese are hyperbolic cylinders with the same focal lines. A specified angular value selects the half-branch with $\mathrm{sgn}x=\mathrm{sgn}(\cos v)$ and $\mathrm{sgn}y=\mathrm{sgn}(\sin v)$, because $u\ge 0$. At $v=0,\pi$ the surfaces are the vertical half-planes $y=0$, $x\ge a$ or $x\le -a$; at $v=\pi /2,3\pi /2$ they are $x=0$, $y\ge 0$ or $y\le 0$.

Finally, constant $z$ gives horizontal planes. The three surface families express the orthogonality of elliptic cylindrical coordinates.

Differentiate the position vector, keeping the other coordinates fixed in each derivative:The first two have zero dot product, since their two planar contributions cancel, and both are orthogonal to ${\mathbf{h}}_z$. Hence these are orthogonal coordinates away from coordinate degeneracies. Their scale factors, which are the lengths of these coordinate basis vectors, areFor example $|{\mathbf{h}}_u{|}^2=a^2[{\sinh }^{2}u{\cos }^{2}v+{\cosh }^{2}u{\sin }^{2}v]=a^2({\sinh }^{2}u+{\sin }^{2}v)$. The unit basis vectors are ${\mathbf{h}}_i/h_i$ when $h_i\ne 0$; the given coordinate basis vectors themselves are not normalized. The Jacobian determinant is $a^2({\sinh }^{2}u+{\sin }^{2}v)>0$ except on the focal lines. These are elliptic cylindrical coordinates.

For an oriented piecewise smooth surface $S$ with boundary curve $C=\partial S$, and a continuously differentiable vector field $\mathbf{F}$ near $S$, Stokes theorem statesHere $\mathbf{n}$ is the chosen unit normal, $dS$ is positive surface area, and $d\mathbf{r}$ is the directed tangent line element. The positive traversal of $C$ is fixed by the right-hand rule relative to $\mathbf{n}$. Thus the flux of the curl through the surface equals the circulation along its oriented boundary.

Use the Levi-Civita symbol and the contraction of two Levi-Civita symbols in Cartesian coordinates. With repeated indices summed,The last line is the product rule. Reading its four terms in vector notation proves the curl of a cross product identity:

The two diagonal generators are independent involutions, soIt is a Klein four-group. Write the swapping generator as $J=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$. Then $J^2=I$, so $H_2=\{I,J\}$ has order two. Moreover,Thus $J$ normalizes $H_1$. The setis a group: its products reduce usingand inverses reduce in the same way. It contains both generating subgroups, so minimality gives $G\subseteq K$; conversely every displayed product is in $G$, giving $G=K$.

There are four diagonal matrices $D$ and four off-diagonal matrices $DJ$, all distinct. ConsequentlyAlso $H_1\cap H_2=\{I\}$, since $J$ is not diagonal, and every element of $G$ has the form $D{J}^{\eta }\in H_1{H}_2$. This proves condition (I), hence the exact factorization of a group. Here $H_1$ is a normal subgroup and $G=H_1⋊H_2$ is a semidirect product. Its matrices are the two-dimensional signed permutation matrices, also realizing the dihedral group of the square.

Assume (I). Existence of a decomposition is part of the hypothesis. If $h_1{h}_2=k_1{k}_2$ are two decompositions, multiply on the left by $k_1^{-1}$ and on the right by $h_2^{-1}$ to obtainThe left side belongs to $H_1$ and the right side to $H_2$, since they are subgroups. Their common value belongs to $H_1\cap H_2=\{e\}$, so $h_1=k_1$ and $h_2=k_2$. This proves uniqueness, hence (II).

Conversely, assume (II). Existence immediately gives $G=H_1{H}_2$. If $a\in H_1\cap H_2$, thenare two allowed factorizations, because the identity is in each subgroup. Uniqueness makes their first components equal, so $a=e$. Thus $H_1\cap H_2=\{e\}$ and (I) follows.

Therefore (I) and (II) are equivalent. This is an exact factorization of a group. For finite groups it gives $|G|=|H_1||H_2|$, but it does not by itself identify $G$ with a direct product of groups; multiplication between the two factors can be noncommutative.

The hypothesis implies $g^2=e$ for every $g\in G$, including the identity, so $g^{-1}=g$. For arbitrary $a,b\in G$, their product also equals its own inverse. The inverse-of-a-product rule therefore givesThus $G$ is an abelian group. Finiteness is not needed for this implication; it holds for every group in which each element squares to the identity.

The two products are conjugate:Conjugation by $a^{-1}$ is a group automorphism, so part (a) provesDirectly, cancellation gives $(ba{)}^r=a^{-1}(ab{)}^{r}a$ for every positive integer $r$. Thus a power of one product is the identity exactly when the same power of the other is the identity. This proves that conjugation preserves element order, even without the finiteness assumption.

Let $n=\mathrm{ord}(a)$, which is finite. A group homomorphism preserves powers and the identity, soIf $r=\mathrm{ord}(f(a))$, divide $n$ by $r$: $n=qr+s$ with $0\le s<r$. Then $e^{\prime }=f(a{)}^n=f(a{)}^s$, and minimality of $r$ forces $s=0$. ThusIf $f$ is a group isomorphism, apply the same argument to its inverse: $\mathrm{ord}(a)\le \mathrm{ord}(f(a))$. The two inequalities yield

Choose generalized coordinates $q_i$ measured from a static equilibrium point, and assume a conservative system with no velocity-dependent forces. Keeping terms of degree two in displacements and velocities gives the small oscillation LagrangianHere $A$ is the positive-definite symmetric mass matrix evaluated at equilibrium, and $B$ is the symmetric Hessian matrix of the potential energy there. The linear potential term is zero by equilibrium, and an additive constant has been dropped. Coordinate-dependent corrections to the kinetic matrix contribute only at higher order.

The Euler-Lagrange equations are $A\ddot{\mathbf{q}}+B\mathbf{q}=0$. For a normal mode $\mathbf{q}=\mathbf{v}{e}^{i\omega t}$, they give the generalized eigenvalue problem $(B-{\omega }^{2}A)\mathbf{v}=0$. A nonzero mode shape exists exactly whenThis is a degree-$n$ polynomial in ${\omega }^2$. At a stable equilibrium its roots are nonnegative; zero roots correspond to zero modes.

Split the Cartesian second-rank tensor into symmetric and antisymmetric parts:Define $u_k=\frac{1}{2}{ϵ}_{kij}{T}_{ij}$. The symmetric part contributes zero to this contraction. The epsilon-delta identity then givesThereforeThe symmetric part and the three independent antisymmetric components determine these quantities uniquely. Under proper rotations $u$ is a vector; under reflections it is an axial vector.

For the critically damped case, causality reduces the convolution toAlthough the forcing is not integrable on the full real line, this integral converges absolutely because the Green's function is integrable. Thus the calculation is valid directly; the corresponding Fourier transform can be interpreted as a tempered distribution.

Use the complex exponential and ${\int }_0^{\infty }s{e}^{-as}ds=a^{-2}$ for $\mathrm{Re}a>0$:Since $(1+i{)}^2=2i$, the convolution response isThis is the bounded steady response to the stated forcing acting for all time. Without an initial condition or the convolution selection, the general solution additionally contains $(C_1+C_{2}t)e^{-\kappa t}$. No switch-on at $t=0$ was specified, so zero initial displacement and velocity should not be imposed on this all-time forcing.