为何下述优化约束为非凸约束？我的解释是否正确？

API 探路者

2026-5-19

关于该非凸约束的解释与验证

嘿，我来帮你拆解这个约束为什么被标注为非凸的～首先得明确：一个约束是非凸的，本质是它对应的可行域（满足约束的变量集合）不是凸集。我们先把这个约束拆解开来，一步步分析左边的函数性质——毕竟约束的凸性和左边函数的凸性直接相关。

我们先聚焦约束左边的函数（假设优化变量是$q(t)$，$p_k$为固定参考点）：
$$f(q) = a\sum_{t=1}^{T}b_t\log \left(1+\frac{c}{(d^{2+||q(t)-p_k||}2)^{m}}\right)$$
拆解步骤如下：

第一步：内层凸函数的构建：$||q(t)-p_k||^{2$是凸函数（欧几里得范数平方的凸性），加上正常数$d}2$后，$z(q)=d^{2+||q(t)-p_k||}2$依然是凸函数。
第二步：复合递减凸函数后的非凸性：我们看$\frac{1}{z(q)^{m}$（正数$c$不改变凸性），函数$h(z)=z}{-m}$（$m>1$）是凸函数（二阶导数$m(m+1)z^{-m-2}>0$），但它是严格递减的（导数$-m z^{{-m-1}<0$）。这里不能直接套用简单的复合凸性规则，拿一维例子验证：若$q$是一维变量、$p_k=0$、$d=1$、$m=2$，则$\frac{1}{(1+q}2)^{2}$的二阶导数在$q}2<1/5$时为负，在$q^2>1/5$时为正——这说明这个函数在不同区间凸性不同，整体是非凸非凹的。
第三步：复合$\log$函数后的非凸性保留：$\log(1 + c\cdot h(z(q)))$中，$\log$是递增的凹函数，复合非凸非凹的函数后，结果依然是非凸非凹的。
第四步：求和后的非凸性不变：乘以正数$b_t$、$a$再对$t$求和，非凸函数的正系数线性组合依然是非凸的。