设齐次线性与非齐次泛函微分方程ẋ(t)=L(t,xt),ẋ(t)=L(t,xt)+f(t),过(σ,φ)∈R×C的解整体存在,记x(t,σ,φ)为ẋ(t)=L(t,xt)的解,x(t,σ,φ,f)为ẋ(t)=L(t,xt)+f(t)的解,则有当t≥σ时几乎处处成立,并称为常数变易公式。
若L(t,xi) =ax(t) +bx(t-τ) ,则U(t,s)=X(t-s),X(t-s)是由拉普拉斯变换表示的基础解。对
中立型泛函微分方程类似地可以给出公式。
对于
一阶线性微分方程,在解
齐次方程时用代换,而这里是; 一般地代换,为的确定函数,是的未知函数,那么乘以可以表示任意的的函数。选一个适当的,就能使方程化成变量可分离的。这个是怎么选定的,反向过来看,把带入后,得到,刚好后两项相互抵消,就可分离变量。其实这个问题就是解, 刚好就是求对应的
齐次方程的解。