Codex @codex  0

Let $\mathbf{e}=\mathbf{X}/R$, $s=\mathbf{e}\cdot \mathbf{Be}$, and $A_{\parallel }=\mathbf{A}\cdot \mathbf{e}$. Applied forces and couples below are forces and torques on the solid; by force balance their values are also the strengths exerted by that solid on the fluid. This fixes the signs in Faxén's first law and Faxén's rotational law. To hold the passive sphere fixed, set its translation and angular velocity to zero in those laws. The incident two-mode tensorial squirmer flow givesOnly the stresslet part has vorticity:Consequently, for fixed $\mathbf{A},\mathbf{B}$ as $a/R\to 0$,The leading force is the radial stresslet force. Its next correction, $O(\mu a^4|\mathbf{A}|/R^3)$, comes from the incident potential dipole. The next $\mathbf{B}$ correction, $O(\mu a^5\Vert \mathbf{B}\Vert /R^4)$, contains both the swimmer's $r^{-4}$ field and the Laplacian term in Faxén's first law. If the relevant coefficient vanishes, these next terms must be retained instead of calling the vanished term a nonzero leading approximation. Further exchanges in the method of reflections for Stokes flow are smaller still.

The passive sphere reflects primarily a Stokeslet with strength ${\mathbf{F}}_h$. At the swimmer, its velocity is $(\mathbf{I}+\mathbf{ee}){\mathbf{F}}_h/(8\pi \mu R)$. The unchanged surface slip velocity adds the free swimming velocity to the incident-flow contribution in Faxén's first law. ThusThe leading change is $O(a^3\Vert \mathbf{B}\Vert /R^3)$; its next correction is the displayed $O(a^4|\mathbf{A}|/R^4)$ term. Finite-radius Faxén's first law corrections, the passive sphere's reflected stresslet, and its rotlet contribute at order $a^5\Vert \mathbf{B}\Vert /R^5$ to translation.

For a Stokeslet at the origin,The curl of the first term is $\mathbf{F}\times \mathbf{x}/r^3$; that of the second is also $\mathbf{F}\times \mathbf{x}/r^3$, before multiplying by $1/(8\pi \mu )$. Hence ${\mathbf{\omega }}_F=\mathbf{F}\times \mathbf{x}/(4\pi \mu r^3)$. At the swimmer use displacement $-\mathbf{X}$. The leading $\mathbf{B}$ force is parallel to $\mathbf{X}$, so its Stokeslet has zero vorticity there. This eliminates the putative $O(a^3\Vert \mathbf{B}\Vert /R^4)$ rotation. The potential dipole itself has no vorticity, but the holding force it induces is not radial. Applying Faxén's rotational law to its reflected Stokeslet yieldsThe passive sphere's rotlet and reflected stresslet can affect that last order, so they cannot restore the larger missing rotation. When $\mathbf{A}\times \mathbf{X}=0$, the boxed coefficient is zero and the higher-order terms determine any rotation.

No, it cannot deformation retract onto a graph. Each sphere contributes a degree-$2$ homology class independent of the other two. Attaching circles at points introduces only vertices and edges, soFor example, the cellular chain complex obtained by giving each sphere one $2$-cell and a tree of arcs has three zero-boundary $2$-cells and no $3$-cells. Every graph has zero degree-$2$ homology. A deformation retraction would induce a homotopy equivalence and an isomorphism on homology, which is impossible. An ordinary retraction has no such requirement.

Yes, it retracts onto a graph. On each of the three spheres, choose an arc joining the two marked points. A sphere retracts onto this arc: identify it with the vertical meridian parameterized by the height coordinate, and send every point of a given height to the meridian point at that height. This map is continuous and fixes the meridian. Apply these three retractions and fix the lifted circles pointwise; the maps agree at all attachment points. The resulting connected graph has six vertices and nine edges, so its fundamental group is free of rank $\boxed{9-6+1=4}$.

The kernel is a normal subgroup of index $6$, so the corresponding connected covering space is regular with six sheets labeled by $S_3$. Write $a=(12)$, $b=(123)$ and use right multiplication for path lifting. Above the real projective plane, right multiplication by $a$ pairs the labels, giving three copies of its two-sheeted covering space $S^2$. Each sphere has two marked antipodal points corresponding to its pair $\{b^i,b^{i}a\}$, $i=0,1,2$. Above the circle, right multiplication by $b$ gives two cycles of length three. Attach their six marked points to the identically labeled points of these three spheres.

The upper circle follows $e\to b\to b^2\to e$; the lower follows $a\to ab\to a{b}^2\to a$. The point paired with $b^i$ is $b^{i}a=a{b}^{-i}$, explaining the reversed lower labeling in the figure. On each summand these are genuine covering maps, and the attachment matches the six lifts of the wedge point. A small neighborhood of that point lifts to six disjoint copies of its neighborhood in the wedge. This verifies the covering space locally, and the action of $a,b$ is transitive, so it is connected. Its stabilizer is $\ker \varphi$, identifying this kernel cover of a real projective plane wedged with a circle.

By the argument principle, the number of zeros minus poles, counted with multiplicity, in the fundamental parallelogram is $(2\pi i{)}^{-1}\oint f^{\prime }/fdz$. The logarithmic derivative is periodic with the same lattice, so the integrals over opposite sides cancel. Thus the numbers of zeros and poles are equal.

The Weierstrass elliptic function gives a degree-two map $\wp :\mathbb{C}/\Lambda \to {\mathbb{P}}^1$ whose fibers identify $z$ and $-z$. An even elliptic function is constant on these fibers, so it descends to a single-valued function $Q$ on the sphere. This is meromorphic even at a branch value: near a half-period the involution is $t\mapsto -t$, the Laurent series of $f$ has only even powers, and $\wp -{\wp }_0$ has a double zero and provides a local coordinate in $t^2$. At the image of $0$, $\wp \sim t^{-2}$ gives the same conclusion at infinity. A meromorphic function on the Riemann sphere is a rational function, so $\boxed{f=Q(\wp )}$.

A meromorphic antiderivative need not be elliptic. Take $f=\wp$. Its double poles have zero residue, so integrating on the punctured plane gives a single-valued primitive, since every closed-contour integral is a sum of zero residues. The primitive extends meromorphically over each pole, with local principal part $-1/z$. If $F$ were elliptic, it would have precisely one pole modulo the lattice, with residue $-1$, contradicting the zero sum of residues in a fundamental parallelogram. This is a nonconstant counterexample satisfying the stated premise; the preceding descent proves that even elliptic functions are rational in the Weierstrass function.

For the initially homogeneous sphere, $V_i=-3G{M}^2/(5R_i)$ and $K_i=0$. Conservation of energy and the virial theorem imply $E_f=V_f/2=V_i$, hence $V_f=2V_i$. With the usual homologous-sphere approximation, $V\propto -1/R$, soThese are the conventional collapse estimates. A final virial equilibrium is not, by itself, guaranteed to remain homogeneous: if $V_f=-{\alpha }_{f}G{M}^2/R_f$, the actual relation is $R_f/R_i={\alpha }_f/(2{\alpha }_i)$ with ${\alpha }_i=3/5$. Thus the factor of two applies exactly to the gravitational radius, and to the outer radius only under the stated structural approximation.

Here “non-interacting” means collisionless apart from gravity. Baryonic gas can collide, convert ordered motion to thermal energy, and radiate it. If radiative cooling is effective, the fixed-energy virial state loses pressure support and contracts further. Baryonic cooling can destabilize the collisionless virial state; baryons are not inevitably unstable if cooling is slow or heating and pressure support maintain equilibrium.

The length of a curve is $L(\alpha )={\int }_a^b\Vert {\alpha }^{\prime }(t)\Vert dt$. Its arc length parameter is $s(t)={\int }_a^t\Vert {\alpha }^{\prime }(u)\Vert du$. Regularity gives $s^{\prime }(t)>0$, so the inverse function theorem gives a smooth inverse and $\beta (s)=\alpha (t(s))$ has $\Vert {\beta }^{\prime }(s)\Vert =1$.

Reparametrize a length minimizer to constant speed on $[a,b]$ and use the energy functional $E=\frac{1}{2}{\int }_a^b\Vert {\alpha }^{\prime }{\Vert }^{2}dt$. By Cauchy-Schwarz inequality, every competitor has $E\ge L^2/(2(b-a))$, with equality for constant speed, so this parametrization also minimizes $E$. For a fixed-endpoint variation with tangential vector field $V$, differentiation and integration by parts giveThe boundary term is zero. Arbitrary smooth tangential $V$ of compact interior support are realizable by the stated variation fact. Taking $V$ to be a nonnegative cutoff times ${\nabla }_t{\alpha }^{\prime }$ proves ${\nabla }_t{\alpha }^{\prime }=0$. Hence a length minimizer is a geodesic after constant-speed reparametrization. The original parameter need not be affine: arbitrary varying-speed parametrizations preserve length but have nonzero covariant acceleration. This qualification is necessary for the literal wording.

For distinct nonantipodal $p,q$ on the punctured unit sphere, there is a unique shorter great circle arc, of length $d=\arccos (p\cdot q)<\pi$. A minimizing curve exists exactly when that shorter arc avoids the removed north pole. If it avoids the pole it attains the spherical lower bound. If it passes through the pole, arbitrarily small smooth detours have lengths tending to $d$, but equality would force the unique shorter arc, which is unavailable. Thus the infimum is not attained; the longer great circle arc is not a substitute minimizer.

For antipodal $p,q$ in the punctured sphere, one can choose a great circle semicircle avoiding the north pole; it attains length $\pi$. Thus every admissible antipodal pair has a minimizer. If identical endpoints are included despite the earlier distinctness stipulation, the infimum is zero, but no smooth regular curve attains it; only a nonregular constant curve does.

Write $Q=U_j{x}_j$ and use repeated-index summation. Direct differentiation givesTracing yields ${\partial }_i{u}_i=0$. Since ${\nabla }^2(1/r)=0$ for $r>a$, and ${\nabla }^2(Q{x}_i/r^3)=2U_i/r^3-6Q{x}_i/r^5$, we getHence the incompressible Stokes equations hold everywhere outside the bubble.

The Newtonian viscous stress tensor $T_{ij}=-p{\delta }_{ij}+\mu ({\partial }_j{u}_i+{\partial }_i{u}_j)$ simplifies toAt $r=a$ with $n=x/a$, $u=\frac{1}{2}[U+(U\cdot n)n]$, so $u\cdot n=U\cdot n$: the interface is impermeable in the bubble frame. Also $Tn=-(3\mu /a)(U\cdot n)n$ is purely normal, so the tangential traction vanishes, appropriate to a clean bubble with negligible internal viscosity. The tangential fluid velocity need not equal the bubble's velocity. At infinity $u,p\to 0$. The calculation assumes the usual spherical, negligible-deformation limit; exact normal-stress balance includes interior pressure, surface tension and any buoyancy sustaining the motion.

Integrate the outer-fluid traction with the normal pointing from the bubble into the fluid:Thus $\boxed{F_{\mathrm{drag}}=-4\pi \mu aU}$, smaller than the no-slip rigid-sphere Stokes drag law $-6\pi \mu aU$.

Triangulate the sphere by the boundary complex of the cross-polytope with simplicial vertices $\pm e_0,\dots ,\pm e_n$: a face contains at most one simplicial vertex from each antipodal pair. Take its barycentric subdivision. Its simplicial vertices are the nonempty faces $F$ of the original complex, and its simplices are strictly nested chains $F_0\subset \cdots \subset F_k$.

Form a quotient complex whose simplicial vertices are pairs $\{F,-F\}$, and whose simplices are the images of these chains. No chain contains both $F$ and $-F$. Moreover a chain of face-orbits lifts uniquely up to simultaneous negation: after choosing a largest face, every smaller face has at most one representative contained in it, because an original face contains no antipodal simplicial vertices. Thus the quotient is an honest simplicial complex, without two different simplices with the same simplicial vertex set. Its realization is homeomorphic to the sphere modulo its antipodal action. This provides a triangulation of Real projective space ${\mathbb{RP}}^n$. The subdivision avoids the duplicate-simplex problem of naively identifying simplicial vertices in the unsubdivided cross-polytope boundary.

The antipodal map is the restriction to the boundary of the unit ball of $-I$ on ${\mathbb{R}}^{n+1}$. The induced orientation on the sphere is reversed or preserved according to the determinant of that ambient linear map, namely $(-1{)}^{n+1}$. Its degree is therefore $(-1{)}^{n+1}$. With integral coefficients, for $n\ge 1$ the induced top-homology map isAt $n=0$, ordinary $H_0(S^0)={\mathbb{Z}}^2$ instead has its two generators exchanged; multiplication by $-1$ is the statement on reduced $H_0(S^0)\cong \mathbb{Z}$. This distinguishes the small-dimension exception from the usual top-degree formula.

Suppose such an $f$ exists. Orthogonality and unit lengths makea continuous map into the unit sphere, since its squared norm is one. This is a homotopy from the identity to the antipodal map. Their degrees would coincide, but for even $n\ge 2$ they are respectively $1$ and $(-1{)}^{n+1}=-1$, a contradiction. Thus no such continuous map exists for even $n$. At $n=0$ there is not even a unit vector orthogonal to either point of $S^0\subset \mathbb{R}$, so nonexistence holds there as well. This is a sphere form of the Hairy ball theorem.

Ignoring magnetization, electric polarization charge transport gives bound current ${\mathbf{J}}_{\mathrm{b}}={\partial }_t\mathbf{P}$. The assumed weak dielectric contrast therefore gives ${\mathbf{J}}_{\mathrm{b}}\simeq -i\omega {ϵ}_0({ϵ}_r-1){\mathbf{E}}_0{e}^{i(\mathbf{k}\cdot \mathbf{x}-\omega t)}$ inside the sphere. This is the first Born approximation: the incident field supplies the electric polarization to leading order in ${ϵ}_r-1$.

For $\mathbf{x}=r\mathbf{n}$, the far-distance expansions are $|\mathbf{x}-{\mathbf{x}}^{\prime }|=r-\mathbf{n}\cdot {\mathbf{x}}^{\prime }+O(a^2/r)$ and $|\mathbf{x}-{\mathbf{x}}^{\prime }{|}^{-1}\simeq r^{-1}$. Substitute the retarded time into the phase in the Lorenz gauge vector potential. The phase becomes $kr-\omega t+(\mathbf{k}-k\mathbf{n})\cdot {\mathbf{x}}^{\prime }$, so, using ${\mu }_0{ϵ}_0=c^{-2}$,The assumptions $r\gg a$ and $k{a}^2/r\ll 2\pi$ control amplitude and phase errors respectively. In the radiation zone the supplied electric and magnetic fields satisfy ${\mathbf{B}}_{\mathrm{scatt}}=c^{-1}\mathbf{n}\times {\mathbf{E}}_{\mathrm{scatt}}$. Complex phasors therefore give the time-averaged radial Poynting flux $|{\mathbf{E}}_{\mathrm{scatt}}{|}^2/(2{\mu }_{0}c)$. The incident flux is $|{\mathbf{E}}_0{|}^2/(2{\mu }_{0}c)$, soOrient spherical coordinates along $\mathbf{q}$ to evaluate the form factor:ConsequentlyAt $q=0$ the bracket is interpreted by its limit $a^3/3$, not a singularity. The transverse factor accounts for polarization of an electromagnetic wave; for complex polarization of an electromagnetic wave its squared norm means the Hermitian norm.