无穷维KAM理论及在偏微分方程拟周期解的存在性中的应用