地震背景噪声互相关函数的面波理论表达形式

基于弹性动力学面波激发公式推导出地震背景噪声互相关函数(简称为NCF)的理论表达形式.证明了NCF等价于面波的震源激发公式,其中一个台站为等价震源的位置,另一个台站为接收点.本文提出的最重要的概念是等价震源相位,它直接影响群速度与相速度的测量误差.在噪声源均匀分布的条件下,等价震源相位等于-π/4.一般情况下,等价震源相位与噪声源分布有关,而不是简单的常数.在大信噪比的条件下,等价震源相位的最大可能取值等于信噪比的倒数.本文详细讨论了利用三台法测量相速度的可能性,并且给出了估算等价震源相位以及相速度测量误差的公式.

差分序列空间l_(p)上Wigner's定理的证明

Wigner's定理任何对称变换都可以由复Hilbert空间上的线性和酉或反线性和反酉的算子来表示.关于赋范空间上该定理的证明已经相对完善.如果满映射f满足函数方程{‖f(x)+f(y)‖,‖f(x)-f(y)‖}={‖x+y‖,‖x-y‖}(x,y∈X),(1)我们称其是满足相位等距的.本文是将X限定为lp差分序列空间,证明存在这样的相位函数使得满足相位等距的条件可以相位等价于一个线性映射.

改进的Tsirelson空间TM上的Wigner定理

设X和Y是赋范空间,如果映射f:X→Y满足{||f(x)+f(y)||,||f(x)-f(y)||}={||x+y||,||x-y||}(x,y∈X),则称f是一个相位等距算子.设g,f:X→Y是映射,若存在相位函数ε:X→{-1,1},使得ε·f=g,则称g和f是相位等价的.本文将证明改进的Tsirelson空间TM上的任意满相位等距算子均相位等价于一个线性等距算子.该结论同时也给出了改进的Tsirelson空间TM上的Wigner型定理.