凸函数就是图像像碗口朝上的形状，或者像山脊线那种平缓上升的曲线。简单说就是从任意两点画线段，这条线段都在函数图像上方，或者刚好接触图像。比如二次函数y=x²就是凸的，因为它的曲线中间有个最低点，两边往上延伸。绝对值函数y=|x|也是凸的，虽然中间有个尖点，但两边都是向上延伸的。而像y=e^x这种指数函数就不是凸的，因为它的曲线越来越陡峭，线段会低于函数值。

为什么这样判断呢？先看二次函数y=ax²+bx+c，当a>0时二阶导数2a>0，说明曲线开口向上，符合凸函数定义。比如取a=1，二阶导数就是2，永远大于0。绝对值函数虽然二阶导数在x=0处不存在，但根据凸函数的原始定义，只要任意两点连线不穿过函数图像下方，就算凸的。比如取x=-1和x=1，中间点0的函数值是0，而连线在这点的值也是0，刚好接触，所以符合条件。反过来看指数函数y=e^x，二阶导数还是e^x>0，但为什么不算凸呢？这里有个误区，其实严格凸函数要求二阶导数非负且不同时为零，而指数函数虽然二阶导数始终正，但它的曲率变化太大，导致线段会低于函数值。比如取x=0和x=2，函数值分别是1和7.389，中间点x=1的函数值是e≈2.718，而连线在这点的值是(1+7.389)/2=4.1945，明显大于2.718，这说明线段在函数图像上方，符合凸函数特征。不过实际应用中，指数函数常被归类为凸函数，可能需要更复杂的判断标准。