Zubov's method is a technique for computing the basin of attraction for a set of ordinary differential equations (a dynamical system). The domain of attraction is the set
\{x:v(x)<1\}
v(x)
Zubov's theorem states that:
If
x'=f(x),t\in\R
\Rn
f(0)=0
A
v,h
v(0)=h(0)=0
0<v(x)<1
x\inA\setminus\{0\}
h>0
\Rn\setminus\{0\}
\gamma2>0
\gamma1>0,\alpha1>0
v(x)>\gamma1,h(x)>\alpha1
||x||>\gamma2
v(xn) → 1
xn → \partialA
||xn|| → infty
\nablav(x) ⋅ f(x)=-h(x)(1-v(x))\sqrt{1+||f(x)||2}
If f is continuously differentiable, then the differential equation has at most one continuously differentiable solution satisfying
v(0)=0