本文我们考虑的是如下2-β(0<β<1)阶分数阶扩散方程，（此处公式省略）　　这里未知函数c表示污染物的浓度，K(x)是扩散项系数，有正的上下界（此处公式省略）　　本文通过引入通量函数u=-K(x)D c作为中间变量，对变系数双边分数阶扩散方程推导了一种混合型Galerkin变分形式，在空间上证明变分解的存在唯一性.在对解有一定正则性假设下，建立了（0.0.1)和变分形式的等价性.然后基于混合型Galerkin变分格式的好的性质的基础上，在通常所用的有限元空间上推导了混合型有限元离散格式，并且证明有限元解的存在唯一性以及给出未知函数和中间变量的误差估计.　　由于分数阶微积分算子的非局部性，由分数阶扩散方程的数值方法产生的系数矩阵通常为满阵或稠密矩阵.传统的求解方法需要O(N3的计算量和O(N2)的存储量，其中N为网格节点.在对混合型有限元格式求解过程中，我们发现混合有限元格式所形成的系数矩阵具有特殊结构.系数矩阵由四个分块小矩阵构成，其中一个零阵、两个三对角的稀疏矩阵以及一个具有Toeplitz- l i k e结构的矩阵.通过引入快速傅里叶变换，结合共轭梯度法我们构造出了每次迭代计算量为 O(N logN)以及相应的存储量为O(N)的快速共轭梯度法.同样的，为了减少迭代次数，我们又对快速共轭梯度法做了进一步的改进，引入了预处理技术，构造了预条件快速共轭梯度算法，减少了迭代次数，同时保证了收敛精度.并且我们可以证明预条件的快速算法的总计算量仍然为O(N logN).本文提供的数值算例也验证了该快速算法的良好性质.