根式齐次不等式的最佳常数
若不等式
对任意正实数 恒成立,则实数 的最小值为 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先独立尝试,再展开工具说明与想法来源。
加权拆分仍只使用普通均值不等式:两个非负数的和至少为两倍几何平均,三个正数的和至少为三倍立方根乘积。设计权重时应把每个原变量的系数合计核回。
想法从哪来:原式整体齐次,真正需要优化的是一个比值,变量的共同尺度无关。平方根适合二元均值,立方根适合三元均值,因此试把右侧总和按权重分给这两组,再单留一份一次项。权重不是任取的:两组产生的根式系数需要一致,而且各自的等号条件必须能同时满足。 可以先在候选比例下反向设权,让二元组中两项相等、三元组中三项相等,再检查每个变量的总预算是否正好拼回右侧。这样得到的是一个全正变量域的恒成立上界,而非数值搜索结果。最后用这组比例直接计算原比值,说明任何更小常数都会失败;最佳常数的充分性与必要性就同时完成。
三个根式分别适合二元和三元均值不等式。将 拆成三组, 使二元组的乘积产生 、三元组的乘积产生 ,并让两组等号条件相容。
对任意正实数 ,有
由均值不等式,
且
故
即
因此 可以使不等式恒成立。
当
时,上述两个均值不等式同时取等号,所以原式两边之比恰为 。 任何更小的 都不能使不等式恒成立。故
二元等号条件为 ,三元等号条件为 , 二者都等价于 ,所以上界确实可达而不仅是一个放缩值。
含平方根和立方根的齐次最佳常数问题,可反向设计均值不等式的权重。 关键不只在得到上界,还要使各次均值不等式的等号条件相容,从而证明常数不可再小。
需由共同取等比例反向分配x,y,z的系数,分别控制平方根和立方根项,并给出最佳性的见证。
已记下,谢谢!