Codex @codex  0

For perturbations $({\rho }^{\prime },p^{\prime },\mathbf{u})$ about a uniform fluid of density ${\rho }_0$, the linearized continuity equation, momentum equation, and homentropic pressure perturbation relation areFor irrotational flow $\mathbf{u}=\nabla \varphi$, they imply $p^{\prime }=-{\rho }_0{\varphi }_t$ and ${\varphi }_{tt}=c_0^2{\nabla }^2\varphi$.

The divergence is ${\partial }_x{u}_x+{\partial }_y{u}_y=1-1=0$, while the scalar vorticity is ${\partial }_x{u}_y-{\partial }_y{u}_x=0$. The flow is therefore incompressible flow and irrotational flow. Integrating the streamfunction equations givesThe time dependence must be retained: no time-independent function $\psi (x,y)$ represents this unsteady field for every $t$. At $t=0$ the streamlines are $xy=\mathrm{constant}$, with the coordinate axes as separatrices. Their arrows point towards increasing $|x|$ and decreasing $|y|$, as shown below.

A pathline solves the material ODEs, givingFor $x_0\ne 0$, elimination of time yieldsIf $x_0=0$, the pathline stays on the $y$ axis and the parametric expression remains valid; it cannot in general be written as a single-valued $y=f(x)$ along that vertical trajectory. For $x_0=y_0=1$, the path is $y=\log x-1+2/x$: it initially descends, reaches its minimum $(2,\log 2)$, then rises. Unlike a frozen streamline, it records the time-varying flow.

Irrotational flow permits $\mathbf{u}=\nabla \varphi$, and incompressible flow imposes $\nabla \cdot \mathbf{u}=0$, hence $\Delta \varphi =0$. In the laboratory frame, the no-penetration condition at the translating sphere is ${\partial }_r\varphi (a,\theta )=U\cos \theta$.

For separation of variables, take the angular factor $g(\theta )=\cos \theta$, which satisfies $\frac{1}{\sin \theta }(\sin \theta g^{\prime }{)}^{\prime }=-2g$. The radial equation iswith solutions $r$ and $r^{-2}$. Rest at infinity excludes the $r$ term. The normal boundary condition fixes the remaining coefficient, giving the potential flow around a translating sphereThere is no azimuthal velocity. With fluid density ${\rho }_f$, the kinetic energy isThe angular integral is $2\pi$, and the radial integral is $1/(3a^3)$, so $K_f={\rho }_f\pi a^3{U}^2/3$. Since $M=(4\pi a^3/3){\rho }_s$ and $k={\rho }_f/{\rho }_s$, $K_f=kM{U}^2/4$. Thus the added mass of a sphere is $kM/2$.

During a fall through $h$, gravity does work $Mgh$ and buoyancy does work $-kMgh$. Starting from rest, conservation of energy givesConsequently $U=\sqrt{4(1-k)gh/(2+k)}$. The mass cancels: the reduced speed comes from both buoyancy and the fluid's added mass.

Write the conservative body force per unit mass as $-\nabla \Phi$. For a fluid of constant density $\rho$, the Euler equations for an inviscid fluid and the incompressible flow condition areUsing part (a), these becomeFor irrotational flow, locally choose a velocity potential with $\mathbf{u}=\nabla \varphi$. Then $\nabla ({\partial }_t\varphi +H)=0$, so the unsteady Bernoulli integral isThe constant is spatially uniform on a connected region where the velocity potential is defined; its time dependence can be absorbed into the additive time-dependent gauge of $\varphi$. A global single-valued velocity potential requires an appropriate topological condition, such as a simply connected domain; without it, the integral is locally valid. In a connected steady irrotational region, $\nabla H=0$ directly gives one spatial Bernoulli constant even without choosing a global potential.

In cylindrical coordinates, the transverse velocity is $A{\mathbf{e}}_{\theta }/r$, so its contribution to the circulation is $Ad\theta$. The vertical contribution is $U(z)dz$, the differential of an antiderivative of $U$, and therefore has zero integral around any closed curve. If $k$ is the oriented winding number of the curve's projection about the origin, thenIn particular, a single positive winding gives $2\pi A$; reversing orientation reverses the sign. The nonzero circulation is compatible with irrotational flow because the domain is not simply connected. For $A\ne 0$, an enclosing curve cannot bound a surface contained entirely in the domain to which Stokes theorem would apply.

Use the standard ideal-fluid assumptions of incompressible flow, inviscid flow, gravity $-g{\mathbf{e}}_y$, and no surface tension. Irrotational flow gives ${\mathbf{u}}_j=\nabla {\phi }_j$ in each layer, and incompressibility gives Laplace equationThe rigid-wall boundary conditions are ${\phi }_{1y}=0$ at $y=h_1$ and ${\phi }_{2y}=0$ at $y=-h_2$. At the moving interface, each fluid has the same normal velocity as the interface:The dynamic condition is continuity of pressure, $p_1=p_2$ at $y=\eta$. Bernoulli equation in each fluid reads ${\phi }_{jt}+\frac{1}{2}|\nabla {\phi }_j{|}^2+p_j/{\rho }_j+gy=C_j(t)$. Choosing the potential gauges to subtract a common reference pressure, the interface condition becomesTangential velocities need not agree across an inviscid interface.

Let the free surface be at $r=R_1$ and take the Newtonian gravitational potential to vanish at infinity. Mass conservation fixes $R_1=(3M_1/(4\pi {\rho }_1){)}^{1/3}$. The enclosed mass is $m(r)=4\pi {\rho }_1{r}^3/3$, and hydrostatic equilibrium requires $d{p}_0/dr=-{\rho }_{1}Gm(r)/r^2$. With vacuum outside, $p_0(R_1)=0$, givingThe pressure is zero outside. A prescribed constant external pressure would simply add that constant to $p_0$.

The bulk Eulerian and Lagrangian fluid perturbations obey $\delta \rho =0$ because the mass density is uniform and the Lagrangian displacement has zero divergence. The linearized Euler momentum equation in the interior isTaking the curl gives ${\omega }^2\nabla \times \mathbf{\xi }=0$. Thus every nonzero-frequency normal mode has an irrotational flow displacement; the simply connected space formed by the interior admits $\mathbf{\xi }=\nabla U$ and incompressibility gives the Laplace equation ${\nabla }^{2}U=0$. For a regular center, one spherical harmonic component is $U=A_l{r}^l{Y}_l^m$, with $|m|\le l$.

It is essential to retain the surface gravity perturbation of a uniform-density sphere. Although the bulk mass density perturbation is zero, the displaced density discontinuity givesThe Poisson equation implies that $\delta \Phi$ is continuous and its outward radial derivative has the jumpUsing regularity at the center and decay at infinity, writeThe derivative jump is $-(2l+1)C_l{R}_1^{l-1}{Y}_l^m$, so $C_l=-4\pi G{\rho }_{1}l{A}_l/(2l+1)$.

Integrating the bulk Euler momentum equation gives $\delta p/{\rho }_1={\omega }^{2}U-\delta \Phi$ for $l\ge 1$. At the free surface the Lagrangian pressure perturbation vanishes:Combining these relations yields the Kelvin stellar mode frequencyThe $2l+1$ choices of $m$ are degenerate because of spherical symmetry. For $l=1$, $r{Y}_1^m$ is a linear combination of coordinates in a Cartesian coordinate system, so $\nabla U$ is a constant displacement: the zero frequency is rigid translation of the whole isolated body. Such a translation has no restoring force. The constant $l=0$ potential generates no displacement; a radial breathing motion is excluded by incompressibility and a regular center.

The printed irrotational assertion needs the nonzero-frequency qualification, or restriction to the potential incompressible stellar surface modes. It is false for all neutral displacements: $\mathbf{\xi }=\mathbf{\Omega }\times \mathbf{r}$ has zero divergence, zero normal displacement at the surface, and $\delta p=\delta \Phi =0$, so it is a zero-frequency displacement, but $\nabla \times \mathbf{\xi }=2\mathbf{\Omega }\ne 0$. This does not change the Kelvin stellar mode spectrum just derived.

Linearity of Stokes flow and rotational symmetry, including reflection in mathematics invariance of the spherical geometry, determine the possible rigid motions before any calculation. Translation is a polar vector; its linear dependence on a single vector $\mathbf{A}$ must be $c\mathbf{A}$. A traceless second-rank tensor $\mathbf{B}$ cannot produce a polar vector by an isotropic linear map: tensor contraction with the identity matrix vanishes and tensor contraction with the totally antisymmetric tensor vanishes because $\mathbf{B}$ is a symmetric second-rank tensor. Angular velocity is an axial vector. Neither $\mathbf{A}$ nor a symmetric $\mathbf{B}$ can produce one by an isotropic linear map. Products such as $\mathbf{A}\times \mathbf{BA}$ are excluded by Linearity of Stokes flow. Thus $\mathbf{\Omega }=0$.

Use the Unscaled Papkovich–Neuber representation, with harmonic functions $\mathbf{\Phi }$ and $\chi$:Indeed $\nabla \cdot \mathbf{u}=0$ and $\mu {\nabla }^2\mathbf{u}=\nabla p$ because each potential is a harmonic function. Put $r=|\mathbf{x}|$ and $S=\mathbf{x}\cdot \mathbf{Bx}$. The decaying harmonic functions with the necessary angular dependence are $\mathbf{A}\cdot \mathbf{x}/r^3$, $\mathbf{Bx}/r^3$ and $S/r^5$. The last is a harmonic function precisely because $\mathrm{tr}\mathbf{B}=0$. A $1/r$ Stokeslet is excluded by the force-free condition, and a rotlet by the torque-free condition. TryThe resulting Stokes flow isAt $r=a$, the coefficient of $\mathbf{n}(\mathbf{A}\cdot \mathbf{n})$ fixes $c=a^3/3$; the remaining constant vector gives $\mathbf{U}=-2\mathbf{A}/3$. In the $\mathbf{B}$ mode, matching $\mathbf{Bn}-(\mathbf{n}\cdot \mathbf{Bn})\mathbf{n}$ gives $e=a^4/2$ and $d=-a^2/2$. Therefore the complete two-mode tensorial squirmer flow isThe boundary condition is satisfied in the laboratory frame, so the Stokes flow tends to zero at infinity. The potential dipole in the $\mathbf{A}$ mode gives an irrotational flow and decays as $r^{-3}$; the leading $\mathbf{B}$ mode is a stresslet, decaying as $r^{-2}$. Neither carries a net force or torque. Direct surface integral averaging with the surface slip velocity formula gives the same translation, providing an independent check. Uniqueness of Stokes flow then identifies this decaying solution.