读了哪些版本,结论怎样标注
这次精读用的是 Najafi 与 Golestanian(2004)的 arXiv 第 1 版,以及 Golestanian 与 Ajdari(2008)的 arXiv 第 1 版。没有核查期刊版,方程编号按预印本。下面每条结论都标明来源:论文本身的说法,后来论文的说法,或者我们自己的计算。
我们的计算就是第四章的点力模型,沿划水圈的每条边用八点高斯–勒让德求积。大部分数值存放在一个基准文件里,仓库命令 npm run fr23:benchmarks 可以重新生成它。下文引用的 0.156 个半径,来自对 Golestanian 与 Ajdari 方程 9 的另一次单独计算。
方程 1 到 8 搭起的框架
论文:方程 1 和 2 是斯托克斯方程,方程 3 是每颗小球表面的无滑移条件。方程 4 把小球速度写成流体力学张量作用在力上,方程 5 说明合力为零。方程 6 给出第四章用过的 Oseen 形式,方程 7 和 8 用小球半径与间距之比写出张量的系数。
有两处约定和这门课不同。论文把中间小球叫 1 号球,报告的也是中间小球的位移。一整圈下来每颗小球的位移相同,每周期的结果与这里用的质心一致;每步的数字则指中间小球。
完整例题
正方形划法与它的四步
论文:图 3 引入一个辅助动作,一条手臂缩短一个划水幅度,另一条不动。借助镜像和时间反演,一整圈的四步都能化成这一个动作;方程 9 把净位移写成两倍的差,一项是臂长为原长时的辅助位移,另一项是缩短后的辅助位移。方程 10 再除以一圈的时间,也就是四步除以伸缩速度。
论文:正文例子取臂长十个半径、划水幅度四个半径,印出的四步是向后 1.35 个半径、向前 1.44、向前 1.44、向后 1.35。我们的计算:负 1.3531、正 1.4391、正 1.4391、负 1.3531,三位有效数字一致。辅助动作在原长时给出负 1.353 个半径,缩短后给出负 1.439,代入方程 9,每周期 0.172 个半径。
读到这里就有意思了。论文印出的净位移是 0.16 个半径;它自己印的四步加起来是 0.18,我们的积分是 0.172。正文没有说明 0.16 是怎样得来的。作为对照,我们按 Golestanian 与 Ajdari 的方程 9(大变形情形的最低阶公式)沿同一个正方形计算,得到 0.156 个半径,和印出的值接近。我们把三个数并排记下,模型保持原样。
完整例题
方程 11 的拟合公式
论文:方程 11 给出游速,等于 0.7 乘伸缩速度,乘半径与臂长之比,再乘划水幅度与臂长之比的平方;论文把它说成小变形展开的最低阶。后来的论文:Golestanian 与 Ajdari 在脚注 23 里另有说法,认为这是一个在大部分参数范围内(小变形、大变形都包括)数值拟合得最好的关系,没有系统地做微扰计算。
看标度就明白问题在哪。方程 11 乘以一圈的时间,每周期距离随划水幅度的三次方增长;第五章的小圈面积律却说它随幅度平方增长,因为圈住的面积正是这样变大。我们的计算在臂长十个半径时把差距算了出来:幅度为半个半径时,方程 11 把距离低估了 4.7 倍;幅度在三到五个半径之间,误差在百分之十左右以内。论文图 4 画出了整条曲线,我们没有把它数字化,只用文字引用。
后来的论文补上了什么
后来的论文:Golestanian 与 Ajdari(2008)把模型推广到半径不等、划法任意的情形。方程 12 把小变形时的平均速度写成一个系数乘以两条手臂位移扫出面积的组合,方程 13 给出这个系数。方程 16 处理有相位差的简谐划法,第 IV 节说明对称泳者的力偶极相互抵消。他们还推出了失速力和耗散功率,这门课暂且不谈。
后来的论文:Daddi-Moussa-Ider 等人(arXiv 第 2 版,2018)在方程 27 里给体相游速加上小球尺寸的一阶修正,因子是一加七分之五倍的半径与臂长之比。我们的计算外推到极小的圈,得到这个系数为 0.7141,发表值是 0.7143。这项检验是独立的:修正来自他们的分析,数字来自我们的代码。
Pooley、Alexander 与 Yeomans(2007)把泳者推进到成对的情形,就是第八章的内容。几篇后来的论文合起来读,2004 年论证的每一步都能拿另一份计算来检验。