Ives和Stilwell的实验给出了明确的答案：波长膨胀---红移：
http://photo.163.com/photos/yanghx22/101064272/>

我只保留该图片3天，否则张元仲要提出版权问题了，呵，
现在超星有35元的季度卡，15元卡有些地方有，

这可能属于横向sagnac + 纵向sagnac = 斜向sagnac效应？
如果整个装置存在相对以太的运动v，
那么反射镜的反射光S2肯定会比直射光S1晚到接收器，
如果确实存在“斜向sagnac”，S1和S2虽然仍然是一条直线上，
可是由于接收器偏移了，所以如果只考虑一个氢离子的话，
可能接收器“底片”上会有两个错开的亮点？

如果考虑氢离子束会带动、戈引周围的以太运动，情况就复杂一些了，

其实现在的铯原子钟就是从垂直于铯原子射束的方向上取出稳定频率的，
估计精度也很高了，好象并没有听说存在与静止铯原子谱线频率有什么规律性的偏差？

先别这么肯定，还有个精度倍受张元仲老师推崇的“穆斯堡尔效应实验”呀，
我也贴出来了，比较繁复，难看一点，估计是频率膨胀---蓝移： http://photo.163.com/photos/yanghx22/101064272/>

我是在想，爱因斯坦当年是怎样推导这个“横向多普勒公式”的呢？
为什么《爱因斯坦论文集》中只给出最后的推导结果，
却不给出十分关键的推导过程呢？我说“十分关键”不算过分吧？

设，在矢线n上传播的光速为C_n，反向传播的光速为C_-n，矢线n与氖原子运动速度v的夹角为β。要解释这个实验，首先我们可以用波数不变定理来推导出本文的多普勒效应公式如下：。

λ_n=λ₀(1+vcosβ/C_n)K              （7-1）

λ_-n=λ₀(1-vcosβ/C_-n)K             （7-2）

式中K为本文的时间膨胀因子，由微分方程（5-7）确定，即：

K≈1+v²/2C²+v₀v cosθ/C²              （7-3）

（式中θ为参考系绝对运动速度v₀与原子运动速度v 的夹角。）

已有的实验证明了平均回路光速不变，我们引入参数x，则有：

Cn=C/（1+x）  C-n= C/（1-x）                            （7-4）

现把（7-1）与（7-2）相加，并结合式（7-3）、（7-4）得：

λ_n+λ_-n=2λ₀K（1-xvcosβ/C）

   ≈2λ₀(1+v²/2C²)+2(v₀v cosθ/C² –xvcosβ/C)          （7-5）

(略去更高级小量)

snyder和hall观测了原子所发光速沿n与-n两方向的光谱，根据相对论有：

λn+λ-n =2λ₀K相≈2λ₀（1+V²/2C²）                     (7-6)

snyder的实验验证了式（7-6）中的左边等于右边，其精确度达到0.5%。对比式（7-5）、（7-6）得： 

2(v₀v cosθ/C² –xvcosβ/C) =0

故有：x = v₀cosθ/C cosβ

Cn=C/（1+x）=C - v₀cosθ/C cosβ                   （ 7-7）

然而，若假设以太飘移速度为- v₀，则有：

Cn≈C - v₀cos（θ-β）                     （7-8）

考虑到snyder运动原子对激光的饱和吸收实验或是Lves-Stilwell的氢的极隧射线光谱实验中采用的β很小（7度）， 但上两式还是有一个差别的。正是这点，我才想到：

是否还要考虑S1和S2不可能在同一线上，即，也许把S1和S2之间的偏角纳入计算，可能就使得二者一致？

S1和S2不共线的情况有点难以想象？
我只能根据直线加速器中确实存在的所谓“相速度”（超光速），
提出产生红移的另一种可能：

如果考虑到离子对以太的拖动系数是k，于是使得：
λn=(c+kv) /f n
由经典多普勒公式（光源运动）有：
fn=fo * c/(c-v)
代入上式得：
λn=(c+kv)/[fo*c/(c-v)]
=(c+kv)(c-v)/c*fo

λ-n = (c+kv) /f -n
（从离子束到反射镜的往返光程相等，平均光速仍为[(c-v)+(c+v)]/2=c，
所以只计算光从反射镜返回到原子束后，从原子束到接收器的光程，
这段光程与上面的“λn光程”相等，方向相同，所以速度仍为c+kv）
由经典多普勒公式（光源运动）有：
f-n=fo * c/(c+v)
代入上式得：
λn=(c+kv)/[fo*c/(c+v)]
=(c+kv)(c+v)/c*fo

λn + λ-n = [(c+kv)(c-v)/c*fo] + [(c+kv)(c+v)/c*fo]
=[(c+kv)(c-v) + (c+kv)(c+v)] /c*fo
=(c+kv)[(c-v) + (c+v)] /c*fo
=(c+kv)[2c] /c*fo
=(c+kv)[2c] /c*(c/λo)
=2λo (c+kv)/c
=2λo (1+kv/c)

Δλ= (λn + λ-n)/2  - λo = [2λo (1+kv/c)]/2 - λo
=λo (1+kv/c) - λo
=λo (kv/c)

对比书里给的：
Δλ=λo(vv/cc)/2
虽然：v/c ＞ (v/c)(v/c)
但是(kv/c) 就很难说了，按照菲索公式：
C=(c/n)+ v(1-1/nn) ≈ (c + kv)
k=1-1/nn   （n是介质折射率）
这样似乎k是一个常数了，可实际上菲索实验中的v很小，
当v较高时（比如氢离子现在可以被加速到0.8c），
估计这个拖动系数k也会随v递增，递增规律还不清楚，
另一方面，折射率n如何估算也是个问题，

总之，在高精度原子钟还没有能够发现横向多普勒效应之前，
其他各种实验恐怕都不能太认真？其中都可能存在其他效应产生的频率变化？
比如那个圆盘旋转实验，肯定没有考虑过“径向sagnac效应”的问题，
（光纤陀螺属于“切向sagnac效应”）

可能关键还是当v→0时，两个纵向多普勒公式本来是代数等价的，
可是物理上却要求根号内的v不变，这就难免最后出现数学上的荒谬了？

这次争论促使我认真面对了以下问题：
考虑“传输时间”后的“时慢效应”---相对论多普勒效应，
以前在这个问题上总存在模糊认识，也是这几年来，逐步才搞清楚一点的，
这次在“光多普勒”与“时慢公式”的关系问题上，总算有了一个比较明确的交代了吧？

按照爱因斯坦给出的横向多普勒公式（蓝移）：
f=fo/sqr(1-vv/cc)

现在直线加速器中的氢离子（质子）或铯离子速度至少可以达到0.8c
（400兆电子伏质子加速器可把质子加速到0.86c，
而且现在可以把较重的金离子都加速到近光速，见后面附文），

那么得到：
f=fo/sqr(1-0.64) = 1.666 fo
即：
f= 1.666 fo

这意味着如果我们在垂直于直线离子加速器的方向上测量离子的谱线频率f，
我们应该可以测量出其频率f是原频率fo的1.6倍，
我想这个实验应该不算很难吧？能找到相关的实验资料吗？

现在的铯原子钟里的离子束速度很低，大约1000米/秒左右，
从垂直于铯离子束方向上得到的仍然是精确的“原频率”fo，
设想如果把其中的铯离子束速度提高到v= 0.5c或0.8c，
那么垂直方向的实测频率为：f= 1.15*fo  或 f= 1.66*fo，
这样大的频率膨胀---蓝移，应该可以测量到了吧？
可实际情况是怎样的呢？需要我们寻找相关的实验资料了，

====================================================
附文：
“李政道说，这些研究需要工具。为此，科学家目前正在积极建设高能加速器，
以制造近似大爆炸时的宇宙环境。今年年初，美国科学家利用布鲁克黑文国家
实验室的“相对论性重离子对撞机”将金离子加速到接近光速，研究得出了迄今
最高的物质能量密度。据认为，这对理解宇宙的形成将有重要帮助。 ”

参见：
http://www.jwc.fudan.edu.cn:8080/junzheng/lixiang.htm>

我对比了两本书，更主要的是我自己按相对论的思想进行了推导。只需设想观察者在圆周上运动，再考虑时间膨胀效应，立刻就得到横向多普勒公式！是红移！

而但按我自己的观点恰恰是紫移！因此我反倒是希望是紫移！！因此我还在想已有实验是否能区分红移还是紫移，或许只是检测到了频率变化？