用到的一类函数，会将其他函数和formula_1类函数比较，以确认系统的稳定性。连续函数formula_3若满足以下条件，则属于formula_1类函数：连续函数formula_3若满足以下条件，则属于formula_7类函数：若一非递减的正定函数formula_11满足所有formula_1类（或formula_7类）函数的条件，只有严格递增条件不满足，可以用以下的方式让此函数的上下界用formula_1类（或formula_7类）函数来表示：
formula_17类函数