拟线性函数是否存在全局极值？单分式函数优化相关咨询

嘿，我来帮你拆解这个问题！首先得明确：拟线性函数并不必然存在全局极大值或极小值，这和凸函数的核心特性有本质区别——凸函数在凸集定义域上的局部极小值就是全局极小值，但拟线性函数完全不具备这个属性。

先搞懂拟线性函数的核心特性 #

拟线性函数的定义是：它的上水平集（所有满足f(x)≥k的x集合）和下水平集（所有满足f(x)≤k的x集合）都是凸集，简单说就是它既是拟凸又是拟凹函数。但这个性质只关乎集合的凸性，和函数是否有全局极值没有直接关联。比如最基础的线性函数f(x)=mx+b就是典型的拟线性函数，显然在整个实数域上，只要m≠0，它就单调递增或递减，既没有全局极大也没有全局极小。

针对你提到的目标函数分析 #

你写的函数是b+mx/c-mx，我分两种可能的形式来分析：

情况1：线性组合形式 f(x) = b + (m/c)x - mx #

整理后其实就是线性函数（拟线性的特例）：
f(x) = b + x·m(1/c - 1)

• 如果m(1/c - 1) ≠ 0（也就是c≠1且m≠0），函数是严格单调的：系数为正则单调递增，系数为负则单调递减。这种情况下，在无界定义域（比如x∈ℝ）上，既没有全局极大也没有全局极小；如果定义域是有界闭区间，极值只会出现在区间的两个端点。
• 如果m(1/c - 1) = 0（即c=1或m=0），函数退化为常数函数f(x)=b，此时定义域内每一点都是全局极大值和极小值。

情况2：分式形式 f(x) = b + mx/(c - mx)（猜测你可能漏了括号） #

如果是这种单分式结构，先整理一下：
f(x) = b + mx/(c - mx) = (b-1) + c/(mx - c)
这是分式线性函数，属于拟线性范畴。它的极值情况：

• 定义域是x ≠ c/m（假设m≠0），函数在定义域的两个区间(-∞, c/m)和(c/m, +∞)上都是严格单调的：若m和c同号，两个区间内都单调递增；若异号则都单调递减。
• 在无界区间内，当x趋向±∞时，函数趋近于b-1但永远达不到；当x靠近c/m时，函数会趋向+∞或-∞。所以整个定义域上既没有全局极大也没有全局极小；如果定义域是不包含c/m的有界闭区间，极值同样出现在端点。

拟线性和凸函数的关键区别 #

凸函数的核心优势是局部极小值等价于全局极小值（凸集定义域下），但拟线性函数没有这个特性——这类函数大多是单调或分段单调的，几乎不会有内部的极值点，只有退化为常数函数时才会处处是极值。

总结一下：

• 绝大多数拟线性函数（包括你提到的这类）在无界定义域上不存在全局极大值或极小值；
• 仅当函数退化为常数函数时，才处处是全局极值；
• 若定义域是有界闭区间，极值只会出现在区间端点。

内容的提问来源于stack exchange，提问作者sukhalid