若干非线性算子的讨论及其在微分方程边值问题中的应用