首先证明Banach空间上关于双线性泛函的Lax-Milgram定理的一个变化形式,然后利用此结果研究了Banach空间上的有界线性算子的谱估计,我们把以往关于Hilbert空间上的自共轭算子的一个谱定理推广到了Banach空间上.