1. 研究背景
软组织通常是指人体的皮肤、皮下组织、肌肉、肌腱、韧带等。软组织弹性模型的研究可以追溯到上世纪80年代开始的形变模型的研究。本文将软组织看作是质量–弹簧模型,从而得到一个微分方程组。
李雅普诺夫稳定性理论是俄国数学家A. M. Lyapunov在1892年所创立的。该理论主要用于分析系统稳定性。李雅普诺夫稳定性理论在许多领域中都有广泛的应用,如生化反应、病毒动力学、生态生物、传染病模型研究等。从19世纪末以来,李雅普诺夫稳定性理论一直被用于指导稳定性的研究和应用。1967年,D.布肖对表征在集合与映射水平上的系统建立了李雅普诺夫第二方法。此时,Lyapunov函数被推广为向量形式,称为向量Lyapunov函数。李雅普诺夫稳定性理论主要指李雅普诺夫直接法。李雅普诺夫直接法可用于任意阶数的系统,运用这一方法可以不必求出微分方程的解而直接判定其解的稳定性。运用李雅普诺夫第二方法的关键是构造出一个合适的Lyapunov函数 [1] [2] ,一直以来,许多学者提出了各种不同的构造方法,如能量函数法、梯度法、能量度量算法、类比法 [3] [4] 等。
王联、王慕秋用类比法研究了一类三阶非线性系统的Lyapunov函数的构造问题 [5] 。秦宏立等学者应用类比法讨论了一类非线性系统的Lyapunov函数的构造 [6] 。柳苗应用能量度量算法和类比法讨论了两种四阶非线性微分方程的Lyapunov函数的构造方法 [7] 。
软组织可以看作是质量–弹簧模型,即单弹簧摆模型,根据牛顿第二定律,其运动方程如下:
根据上述运动方程,可以得到其数学模型:
令
,
,
,
,则上述模型可简化为:
(1.1)
运用能量度量算法的 [8] [9] 过程如下:
先将方程变换成等价的微分方程组,
(1.2)
其中
。
从而有
(1.3)
于是对上述等式变换成下面形式,
(1.4)
对(1.4)式做适当的变换得,
其中
假设
(1.5)
求出
沿着方程(1.2)的全导数
根据常微分方程稳定性的相关理论以及
和
的相关性质,可以讨论出方程(1.2)的零解是否
具有稳定性 [10] [11] [12] [13] 。
定理1:设系统的状态方程为
其中
,为其平衡态.若存在一个有连续一阶偏导数的正定函数
,满足下述条件:
为非正定(半负定)的,则该系统在原点处的平衡态是一致稳定的 [14] [15] 。
2. 主要结果
本文先通过使用能量度量算法构造出合适的李雅普诺夫函数
,再给出方程的零解的稳定性的充分条件,以及充分条件的证明过程。
考虑方程
(2.1)
的等价微分方程组:
(2.2)
其中
,
。
等价微分方程组按照(1.3)式两两相除,得到:
即
(2.3)
(2.4)
(2.5)
(2.6)
(2.7)
(2.8)
做如下适当变换:
可以得到,
(2.9)
由于
对(2.9)式进行积分,
函数
沿着(2.2)式的全导数为:
定理2.1 若系统(2.2)满足以下条件:
(1) 函数
连续可微。
(2)
。
(3)
。
(4)
。
(5)
。
则系统(2.2)的零解是渐进稳定的。
证明:根据实际情况,可知系统(2.2)满足
,并且
所以有
因此
又由于
,则
因此
即
为正定函数。
又由于
,则
由于
,所以有
显然,
成立
所以有
因此
根据定理1.1,系统(2.2)的零解是渐进稳定的。
进而可知模型(1.1)在弹性系数K,阻尼系数Kd存在的情况下,在受到外力作用时,运动是稳定的。
本文创新性地使用能量度量算法构造出了质量–弹簧模型的Lypunov函数,证明了模型在有弹性系数和阻尼系数存在时,其运动是渐进稳定的。后期将对模型进行改进,改为正六边形弹簧网络模型,使其更加接近现实中的软组织结构。
参考文献
NOTES
*通讯作者。