有没有处处不可导的凸函数？ 第1页
1
deng-dai-fei-xiang-63 网友的相关建议:
欧氏空间中的凸函数的定义如下：
定理1：如果函数是凸的，那么是局部Lipschitz的。【证明参见：Measure theory and fine properties of functions, L. C. Evans and R. F. Gariepy., 第236页定理1】
根据
Rademacher定理, Lipschitz函数几乎处处可导。（你可以理解为，函数在除了一些“小”集合以外的其它地方都可以求导。）所以不存在处处不可导的凸函数。
其实凸函数还有一个更加强性质：
定理2：（
Alexandrov theorem）如果函数是凸的，那么是几乎处处可求二次导函数的。【证明参见：Measure theory and fine properties of functions, L. C. Evans and R. F. Gariepy, 第242页定理1】
对于定理1在一维的情形，我给一个不严格几何直观：考虑，根据凸性（真的）不难验证点在连接直线的上方，并且在连接直线的下方。此时如果让趋近于，它只能在一个角型区域内（顶点为并且夹在两条直线中）。所以重复类似的方法（交换再次进行讨论），我们得到了局部Lipschitz连续性。
============2015年6月21日17:41:34===========
评论有人说看不懂，我就为最后一段配了一张图（其中橙色部分为可能的区域）：
1
相关话题
为什么有的数学定理看起来很显然，证明起来却很复杂？[-5e^(2i*π)+1*3]/2=1*4这一串有什么特殊意义吗？
梯子沿着垂直的墙下滑，扫过的区域的边界是怎样的？
如何判别一个方程所表征的曲线是否封闭？
能不能让两个与 π 无关的两个数之和等于 π？
a，b，c，d 是正实数，且 a²＋b²＋c²＋d²＋abcd＝5，怎么证明 a＋b＋c＋d≤4？
这两道积分题有什么好的解决办法吗？
这个定积分应该怎样计算呢?
收敛的有理系数幂级数个数可数么？
任意 ε＞0，a≤b＋ε 是否可推出 a≤b？
下一个讨论
什么样的讲话算「有水平」？
相关的话题
请问这个不等式的证明思路是怎样的？为什么多项式的根是系数的连续函数？
如何证明数列sinn^2发散？
有没有数学无法覆盖的领域？
黎曼函数的积分是零，但是就其大致图像看来并不等于零，这是为什么？
所有tanx的所有非零不动点的倒数平方和等于1/5这个怎么证明？
这两个极限是怎么处理的？
我自认为自己证明了0可以作为除数，若是如此将会有哪些改变？
如何求证：无穷级数∑1/i²=π²/6，求方法？
线性空间的对偶空间和优化里的拉格朗日对偶有什么关系？
有没有两个不相等的数 a 和 b，满足 a 的 b 次幂等于 b 的 a 次幂？
肢体残疾未来走学术方向被看好吗？有可能去国外上学吗？
在 C++ 里实现矩阵库的关键点是什么？
如何看待喜欢玩数独却连微积分都不会的人？
求解一道关于级数的问题怎么证明？
如何计算极限 lim(n→∞) [∫[0, n] (x^n)·e^(-x) dx]/(n!)？
数学理论上可不可以绝对识别ps过的照片（可以作为法律证据的）？
魔方运用了哪些数学原理？
如何通俗地解释混沌理论（chaos）和分岔理论（bifurcation）？
康托尔著名的对角线证明？
如何评价动画《理科生坠入情网，故尝试证明》?
2+2为什么等于4而不是22，加号的本质是什么？
如何解决这道函数题？
一个多项式在满足什么条件时可以因式分解？能否给出证明（证法随意）?
为什么许多规律极其简单的数列却仍未找到求和公式？
学什么数学，为什么不直接学逻辑，为什么不把数学改成逻辑？
数学不好是否低人一等或者不配上大学？
请问这个不等式的证明思路是怎样的？
如何证明一下等式?
物理定律能否脱离物理研究过程，直接通过数学演绎发现？