上世纪五、六十年代由三位著名数学家Kolmogorov，Arnold和Moser建立起来的经典KAM理论是哈密顿系统理论发展的里程碑，具有划时代意义，它使人们能够以一种新的方法来研究哈密顿系统。建立在2n维光滑辛流形上的经典KAM理论断言，在Kolmogorov非退化性条件下，可积系统的大多数非共振不变环面在小的摄动下保持下来。在Poincaré的博士论文中，他提出化标准形的理论是最早的线性常微分方程的可约化性理论。该理论给出了微分方程在平衡位置或周期运动附近可能化成的最简单形式。　　很多人利用KAM迭代的方法来研究微分方程的可约化问题。拟周期系统可约化问题的研究是很有意义的，得到了广泛的关注，并有了一些成熟的结果。概周期系统的研究一直以来也广受大家的关注，相对于前面拟周期系统的丰富的结果，成果较少。　　在前人工作的基础上，本文利用KAM迭代的方法研究了两类微分方程的可约化性问题。　　本文具体安排如下:　　第一章，简单介绍了KAM理论和微分方程摄动理论的发展状况，利用KAM迭代的技巧来解决摄动问题。同时介绍了国内外关于可约化理论的研究现状及本文的主要结果。　　第二章，我们将先利用KAM迭代的技巧证明如下具有两个参数的概周期微分方程的正规形定理。(x)=(A+(∈)[a])ξ2n+1-λ+(A+(∈_a(t))Ω(ξ)x+P（x，t;ξ，λ），(0.1)其中[a]是a(t)的均值.λ∈J=[-1，1]，ξ∈I=[-δ，δ]是参数，Ω(ξ)=（2n+1）ξ2n.接下来利用上面的结果来研究一类非线性概周期微分方程:(x)=(A+(∈)a(t))x2n+1+h(x,t,(∈))+f(x,t,(∈)),x∈R，(0.2)其中n≥0是一整数，A是一正数，(∈)为小参数，h是高阶项，f是小摄动项。在研究(0.2)时，需要下面的条件:　　(H1)函数a，h和f关于所有变量是实解析的，同时关于t是概周期的，其频率向量为ω=(ω1，ω2，…)，它们具有有限空间结构（(τ），[·]）;　　(H2)|＜k，ω＞|≥α/△4(|k|△4([k])，k∈Z∞{0}，其中α＞0是一常数，△是一个逼近函数;　　(H3)h=O(x2n+2），（x→0），其中n≥0.当固定m0，s＞0时，有‖|a(t)‖|m0，s＜+∞.　　当上述三个条件成立时，则存在充分小的(∈)＞0，使得当‖|f‖|m0，△r,s≤(∈)时，存在一个仿射的实解析概周期变换x=y+u(t)。通过此变换，方程(0.2)变成(y)=A*y2n+1+f*(y,t),(0.3)其中f*（y，t）=O(y)，y→0.而且‖|u(t)‖|0,s/2=O((∈)1/(2n+2)),x=u(t)是方程(0.2)的关于t实解析的概周期解.　　第三章，我们将研究一类具有退化平衡点的四维拟周期微分方程的可约化性。对于四维拟周期系统:　　｛(x)1=x2+h1(x1，x2，y1，y2，t)+f1（x1，x2，y1，y2，t），(x)2=x1+h2(x1，x2，y1，y2，t)+f2(x1，x2，y1，y2，t)，(0.4)(y)1=y2+h3(x1,x2,y1,y2，t)+f3（x1,x2,y1,y2,t），(y)2=-y3+h4(x1，x2，y1，y2，t)+f4(x1，x2，y1，y2，t)，其中h=(h1,h2,h3,h4)T和f=(f1,f2,f3,f4)T关于(x1,x2,y1,y2)T解析，同时关于t是拟周期的，频率向量为ω=(ω1，ω2，…，ωm).设h是高阶项h(x1,x2,y1,y2,t)=∑v≥2或l+n+μ≥4hlnμv(t)xl1xn2yμ1yv2,(0.5)f是低阶项f(x1,x2，y1,y2,t)=∑v≤1，l+n+μ≤3flnμv(t)xl1xn2yμ1yv2.(0.6)ω=(ω1，ω2,…，wm)∈Rm满足Diophantine条件。则存在一个充分小的(∈)＞0，使得当‖f‖r,δ≤(∈)和‖f‖(∈),δ≤(∈)4时，存在一个实解析的拟周期变换Φ∈Aδ/2r/2，其形式为:　　｛x1=x1++ξ（x1+，x2+，y1+，y2+，t），x2=x2++η（x1+，x2+，y1+，y2+，t)，y1=y1++φ（x1+，x2+，y1+，y2+，t），y2=y2++ψ(x1+，x2+，y1+，y2+，t），同时Φ(·，·，·，·，t):(x1+,x2+,y1+,y2+)∈U(0，r/2)→(x1,x2,y1,y2)∈U(0,r).该变换把系统(0.4)变成｛(x)1=x2+h*1(x1,x2,y1,y2,t)，(x)2=x1+h*2(x1,x2,y1,y2,t),(0.7)(y)1=y2+h*3(x1,x2,y1,y2,t),(y)2=M*(x1,x2,y1,y2)+h*4(x1,x2,y1,y2,t),其中M*(x1，x2，y1，y2)=∑1≤l+n+μ≤3m*lnμ0xl1xn2yμ1+∑l+n+μ≤2m*lnμ1xl1xn2yμ1y2，h*（x1，x2，y1，y2，t）=（h*1，h*2，h*3，h*4）T=∑v≥2或l+n+μ≥4h*lnμv(t)xl1xn2yμ1yv2与h有相同的形式。而且ξ，η，φ，ψ属于Aδ/2r/2，其中‖ξ‖r/2，δ/2+‖η‖r/2，δ/2+‖φ‖r/2，δ/2+‖ψ‖r/2，δ/2=O((∈)).同时‖M*（x1，x2，y1，y2）+y31‖r/2=O((∈)).