Codex @codex  0

In the oscillating rigid rod in resistive-force theory, $\sin \theta \cos \theta =\theta +O({ϵ}^3)$ and $\dot{x}=-ϵa\omega \sin \omega t$. Sincethe mean transverse force from a rocking rod, on the fluid in the tilt convention of part (a), isThe parallel and perpendicular drag coefficients of a slender filament are per unit length here. Their difference is essential: isotropic local drag gives zero transverse force. The hydrodynamic force on the rod is the negative of the displayed answer.

Let $s$ be arclength, $\mathbf{t}={\partial }_s\mathbf{r}$ the unit tangent, and $\mathbf{v}$ the local filament velocity relative to the fluid. The resistive-force theory force per unit arclength, exerted by the fluid on the filament, isThe parallel and perpendicular drag coefficients of a slender filament are proportional to dynamic viscosity. For radius $a$ and a relevant axial cutoff length $\ell \gg a$, the anisotropic slender-filament drag from Stokeslet integration gives the leading logarithmic formsThe cutoff may be set by filament length or deformation wavelength. End shape and the choice of cutoff change order-one constants inside the logarithms. Slender-body theory also includes nonlocal interactions that the local resistive-force theory approximation omits. Typically ${\xi }_{\perp }>{\xi }_{\parallel }$, with ratio tending to two in the slender limit; this drag anisotropy enables propulsion.

Write $C={\xi }_{\perp }-{\xi }_{\parallel }>0$. For a small-amplitude planar deformation, $\mathbf{t}=(1,y_x)+O(y_x^2)$ and the leading transverse velocity is $y_t$. Exact inextensibility requires the quadratic longitudinal displacement of an inextensible planar filament: if $X(s,t)=s+X_2(s,t)$ and $Y(s,t)=y(s,t)$, then $X_{2,s}=-y_s^2/2$ to this order. Its velocity is quadratic and has zero time average for a periodic material cycle without mean axial drift. Thus the fixed material abscissa in the question is leading-order notation; this correction does not change the averaged propulsive term below. An imposed mean translation would contribute its separate ordinary axial drag.

To leading nonzero order,The time-averaged deformation-induced propulsive force of a periodic planar filament and power of a periodic planar filament are consequentlyThese are the leading quadratic functionals. Their signs refer to force on the filament. For example, $y=a\sin (kx-\Omega t)$ gives negative $F_x$, opposing the direction of wave propagation.

Let $\eta (x,t)$ be an arbitrary smooth variation periodic in both variables. The first variation of the constrained functional isUsing integration by parts in $x$ and $t$, every boundary term cancels by periodic boundary conditions. ThereforeThe Euler-Lagrange equation isFor a nontrivial stroke with nonzero thrust, $\Gamma \ne 0$. Set $c=C/(\Gamma {\xi }_{\perp })$ and $v=y_t$. Then $v_t+c{v}_x=0$, whose method of characteristics solution is $v=V(x-ct)$. Integrating in time gives the travelling-wave stationarity of planar filament propulsion:Here $g$ is an arbitrary static periodic component. It contributes neither power nor mean propulsion because the time average of $y_t$ vanishes. It can be set to zero when describing the active stroke. The wave must be compatible with both specified periods: $f(x-cT)=f(x)$.

For a pure travelling wave, its leading force and power areThus positive $x$ propulsion uses a wave travelling in the negative $x$ direction. Any smooth interior maximizer satisfying only the stated power constraint must have this travelling active deformation. If the drag were isotropic, $C=0$ and there would be no leading propulsion.

There is a qualification to the printed maximization claim: the variation proves stationarity, not the existence of an unrestricted global maximum. The bandwidth limitation in fixed-power filament optimization can be seen directly. Set $k=2\pi /\lambda$, $\Omega =2\pi /T$, and consider $y_m=a\sin (mkx+\Omega t)$. The leading expressions giveAt fixed power the formal quadratic objective increases with $m$. Eventually that sequence violates the small-slope approximation, but the approximation supplies no numerical slope or wavelength cutoff with which to define the global optimization. Even within a strict small-slope neighbourhood, a sufficiently small admixture of a higher spatial harmonic can improve a candidate interior maximum while keeping power fixed. For example, $y=a[\sqrt{1-{\eta }^2}\sin (kx+\Omega t)+\eta \sin (mkx+\Omega t)]$ retains the fundamental periods and exactly the same leading power, while its force is multiplied by $1+(m-1){\eta }^2$. For fixed $m>1$, taking $a$ and $\eta$ small keeps every slope small.

With an explicit admissible Fourier bandwidth or an additional geometric constraint, the intended conclusion can be made precise. For a finite set of nonstatic Fourier series modes proportional to $e^{i(k_{j}x-{\Omega }_{j}t)}$, with wavenumbers $k_j$ and frequencies ${\Omega }_j$,This is a weighted average of $-C{k}_j/({\xi }_{\perp }{\Omega }_j)$. A largest allowed ratio is attained by a single travelling mode, or by modes sharing the same phase speed; their superposition is still a travelling wave. Thus the Euler-Lagrange calculation yields the requested travelling-wave form, while a global maximum requires a specified admissible shape class.

In resistive-force theory (RFT), the hydrodynamic force per unit arclength exerted by the fluid on a slender filament isHere $\mathbf{t}$ is the unit tangent and $\mathbf{u}$ the local velocity relative to the background fluid. The parallel and perpendicular drag coefficients of a slender filament are positive and generally satisfy ${\xi }_{\perp }>{\xi }_{\parallel }$; their leading logarithmic ratio is about two. This local approximation assumes a small filament radius compared with length and curvature scales, negligible fluid inertia, and a Newtonian fluid. It represents drag by the local tangent direction and neglects nonlocal hydrodynamic interactions between separated filament segments. Boundaries, close approaches and end corrections may require slender-body theory or a more complete flow calculation. In this problem the background fluid is at rest, and the drag coefficients are taken uniform along the filament.

The rigid-body velocity in a deforming swimmer frame is the sum of translation, rotation and material deformation. With $\mathbf{r}=x{\mathbf{e}}_x+ϵg{\mathbf{e}}_y$,so, in instantaneous swimmer-frame components,The reference-frame conditions $g(0,t)=g_x(0,t)=0$ attach the origin and orientation to the filament's base and base tangent. They prevent arbitrary shape translations or tilts from being absorbed into the definition of $g$.

The exact tangent and arclength element areSince $U,V,\Omega =O(ϵ)$, the local velocity is $O(ϵ)$. Changing the drag tensor by its $O(ϵ)$ tangent correction therefore changes $\mathbf{f}$ only at $O({ϵ}^2)$. The arclength correction is smaller still at this order. Also $-ϵ\Omega g=O({ϵ}^2)$. Thus $\mathbf{t}={\mathbf{e}}_x$ is sufficient at order $ϵ$. This assumes the small-slope expansion is uniform, $ϵ|g_x|\ll 1$.

Put $G_0(t)=⟨g_t{⟩}_x$ and $G_1(t)=⟨x{g}_t{⟩}_x$, with $⟨h{⟩}_x=L^{-1}{\int }_0^{L}hdx$. The first-order local force isIts total hydrodynamic forces areTaking the moment about the swimmer-frame origin, $M_z=\int (x{f}_y-ϵg{f}_x)ds$, the second term is beyond first order. HenceFor force-free and torque-free motion, the three leading coefficients vanish. The longitudinal force immediately gives $U_1=0$. The two transverse equations areTheir determinant is $L^2/12>0$. Solving yields the first-order free swimming of a planar filament:The resistive-force theory coefficient cancels because both equations use the same transverse drag. Another interpretation is the least-squares projection of filament deformation velocity: $-V_1-{\Omega }_{1}x$ is the best affine approximation to $g_t$ on $[0,L]$. Zero transverse force and torque mean that the residual is orthogonal to $1$ and $x$.

If $g$ is sufficiently differentiable and periodic with period $T$, each $g_t(x,t)$ has zero temporal mean. More explicitly,Both bracketed quantities return to their initial values over a period. Thus the first-order periodic transverse swimming velocity satisfiesThese results concern first order and swimmer-frame components. Changes of orientation can affect laboratory displacements at second order; higher-order net swimming is not ruled out.

For a small-amplitude planar filament without mean axial drift, resistive-force theory gives the leading time-averaged force on the filament as $F_x=({\xi }_{\perp }-{\xi }_{\parallel })T^{-1}{\int }_0^T{\int }_0^{\lambda }{y}_x{y}_{t}dxdt$. The parallel and perpendicular drag coefficients of a slender filament must differ to obtain propulsion at this order. A right-going wave gives negative axial force; a left-going wave gives positive axial force.