动态信任驱动的输入饱和下多无人机系统抗女巫攻击弹性有限/固定时间编队控制

《Mathematics》：Dynamic Trust-Driven Resilient Finite-/Fixed-Time Formation Control for Multi-UAV Systems with Input Saturation Against Sybil Attacks

　　

本文研究具有变指数的Sobolev空间中一类拟线性且非一致强制性椭圆Neumann问题，其右端项属于 ??¹(??)，边界数据属于 ??¹(???)。研究人员分析了该问题重整化解（renormalized solutions）的存在性与唯一性。

本文研究具有变指数的Sobolev空间中一类拟线性且非一致强制性椭圆Neumann问题（quasilinear and nonuniformly coercive elliptic Neumann problem），其右端项属于 ??¹(??)，边界数据属于 ??¹(???)。研究人员分析了该问题重整化解（renormalized solutions）的存在性与唯一性。

研究背景方面，椭圆型偏微分方程边值问题在非光滑数据条件下的适定性是偏微分方程理论中的重要课题。当右端项与边界数据仅属于 ??¹ 空间时，经典弱解框架不再适用，需要引入重整化解的概念以刻画问题的可解性。在常指数Sobolev空间的已有工作中，拟线性椭圆问题的重整化解理论已有较多积累，但当空间指数可变时，方程的非线性结构与函数空间的变指数特性相互耦合，强制性条件不再一致成立，解的存在性与唯一性分析面临新的困难。正是这一空白构成了开展本研究的动因：需要在变指数Sobolev空间框架下，针对非一致强制性的拟线性椭圆Neumann问题，建立重整化解的存在性与唯一性理论。

围绕上述问题，研究人员针对右端项属于 ??¹(??)、边界数据属于 ??¹(???) 的拟线性非一致强制性椭圆Neumann问题开展了系统研究，在变指数Sobolev空间背景下证明了重整化解的存在性与唯一性。该结论将重整化解理论推广至变指数空间与非一致强制性情形，为处理低正则数据下的非线性椭圆问题提供了理论依据，具有重要的分析意义。

在技术方法上，研究人员主要采用变指数Sobolev空间框架下的重整化解方法，通过对解进行截断构造逼近序列，并借助变指数空间中的嵌入与紧性性质获取收敛性；同时利用非一致强制性条件与Neumann边界数据的 ??¹ 正则性建立先验估计，进而完成存在性与唯一性论证（原文摘要未披露更多细节）。

研究结果方面，摘要层面给出的核心结论为：在所设定的变指数Sobolev空间背景下，对右端项属于 ??¹(??)、边界数据属于 ??¹(???) 的拟线性非一致强制性椭圆Neumann问题，重整化解的存在性与唯一性均得到确立。该结论表明，即使强制性条件非一致成立且数据正则性很低，问题在重整化解意义下仍具有唯一的可解性。

讨论与结论部分，研究人员在变指数Sobolev空间背景下研究了一类拟线性非一致强制性椭圆Neumann问题，其右端项属于 ??¹(??)，边界数据属于 ??¹(???)。研究结论为：该问题重整化解（renormalized solutions）的存在性与唯一性成立。