Substitution of gives
The steady parallel-flow Navier-Stokes equations reduce to
The boundary conditions are
The last condition balances the liquid's tangential traction with the opposing air stress. Hence and
Take vertically downward along the wall and normally outward, with the wall at and free surface at . The expected steady velocity is : it vanishes at the wall and is opposed by an upward air shear at the surface. Gravity supplies the downward body force , while the surface normal stress is the atmospheric pressure .
Integrate over the upper semicircle. Jordan lemma removes the arc, and the pole at has residue . Hence
The cosine contribution is odd, while the sine contribution is even. Therefore
The integrand
has one pole inside the rectangle, at , with residue . The residue theorem therefore gives . The vertical-side integrals tend to zero as .
On the horizontal sides, direct substitution , with the upper side oppositely oriented, shows that their sum is
Taking the limit and comparing with gives
Here
This matrix acts as multiplication by the complex number , so its operator norm is . The largest set is therefore
For distinct , convexity keeps the segment in . Continuity of makes
The fundamental theorem of calculus along a line segment gives
so . Thus is injective.
The bound makes invertible by the Neumann series. The inverse function theorem therefore makes locally open at every point, so is open.
Surjectivity need not hold: the identity map on a proper convex open set has proper image. Even for it can fail. In one dimension, satisfies , but its image is .
The map is differentiable at when there is a linear map such that
It is when it is differentiable everywhere and is continuous. The definition immediately gives , so differentiability implies continuity.
The inverse function theorem says that if is near and is invertible, then restricts to a diffeomorphism between neighbourhoods of and .
For , the third Sylow theorem gives and , so or . In the first case the Sylow -subgroup is unique.
If , conjugation acts transitively on the four Sylow -subgroups. Each normalizer has order and is the subgroup it normalizes. The action kernel lies in every such subgroup, whose intersection is trivial, so embeds in . Its image has order and hence index two. The unique index-two subgroup of is , so
Proceed by induction on . If , Cauchy's theorem for finite groups gives a central subgroup of order . By induction has a subgroup of order ; its inverse image in has order .
If , the class equation shows that some noncentral conjugacy class has size not divisible by . For a representative , its class size is , so . This centralizer is proper because is noncentral, and induction gives it, hence , a subgroup of order . This proves Sylow's first theorem.
Write with . The Sylow theorems state:
Let be the mass of a complete uniform sphere of radius . The intact marble has . Each removed bubble has mass , radius , and centre a distance from the rolling axis. By the parallel axis theorem, each removes
Thus , , and . The two accelerations are therefore and . From rest, distance is proportional to acceleration, so
For rolling without slipping, . Conservation of energy gives
and differentiation yields
For a sphere with density proportional to ,
so . A uniform disc has . Equal launch speeds give equal return times exactly when the accelerations, and hence these ratios, agree. Solving gives .
The equation of motion is
Multiplication by gives
so the mechanical energy is conserved. On a segment where the direction of motion is fixed,
The basic Galilean transformations include spacetime translations , ; spatial rotations , ; and boosts , , where is a rotation matrix and is constant.
Work in the rest frame of . Two-body decay kinematics gives the massless-particle energies
If is the angle between their momenta, then
Since ,

There are unlisted articles, also show them or only show them.