本文研究如下的半线性抛物方程自由边界问题(0.1)-(0.2)的局部零能控问题:(?) L’(t)=-yx(L(t),t),t∈(0,T),(0.2)其中T＞0,L0＞0,B＞0给定,L0＜B.自由边界L(t)未知,QL={(x,t)|x ∈(0,L(t)),t∈(0,T)}.y=y(x,t)为系统的状态,v=v(x,t)为控制函数,通过非空开集ω=(p,q)作用到系统上。其中0 ＜p ＜q ＜L*＜L0 ＜B,1ω表示集合ω的特征函数。我们假设y~0,f和g满足一定条件,并对自由边界施加限制条件:0 ＜L0≤L(t)≤B,t ∈[0,T],(0.3)本文首先得到了一个具有固定边界的非柱状域上倒向线性抛物方程的Carleman不等式。其次,应用线性化和固定边界方法,结合Kakutani不动点定理证明了Stefan问题(0.1)-(0.2)的解在T时刻对小初值是局部零能控的,即存在ε＞ 0,使得对满足||y~0||C2+α([0,L0])≤ε的y~0(·),存在v(·,·)∈L2(ω×(0,T)),有:y(x,T)=0,x ∈(0,L(T)).(0.4)