求满足f(x)+f’(x)≤1且f(0)=0的可微函数f(1)的最大值

嘿，你的推导思路完全正确，只差最后一步结合初始条件锁定常数啦！我来帮你把整个过程补全：

第一步：回顾你的关键推导 #

你已经选对了核心技巧——给原不等式乘积分因子e^x，把原条件转化成了可直接积分的形式：

原条件：f(x) + f'(x) ≤ 1
两边乘e^x得：e^x f(x) + e^x f'(x) ≤ e^x
而左边恰好是导数形式：d/dx [f(x)e^x] ≤ e^x

第二步：带初始条件的定积分 #

这里别用不定积分加常数c，直接对从0到x的区间积分，就能直接利用f(0)=0的条件：

• 左边积分结果：∫₀ˣ d/dt [f(t)e^t] dt = f(x)e^x - f(0)e^0，因为f(0)=0，所以左边简化为f(x)e^x
• 右边积分结果：∫₀ˣ e^t dt = e^x - e^0 = e^x - 1

把两边结果联立，得到：
f(x)e^x ≤ e^x - 1

第三步：化简得到f(x)的上界 #

两边同时除以e^x（e^x恒正，不等号方向不变），就有：
f(x) ≤ 1 - e^{-x}

第四步：验证上界可达性 #

要确认这个上界是能取到的，我们解等式情况的微分方程f(x) + f'(x) = 1：

• 齐次解为Ce^{-x}，特解设为常数A，代入得A + 0 = 1，即A=1
• 通解为f(x) = 1 + Ce^{-x}，代入f(0)=0：0 = 1 + C*1，解得C=-1
• 最终得到函数f(x) = 1 - e^{-x}，它满足所有给定条件：可微、f(x)+f'(x)=1≤1、f(0)=0

此时f(1) = 1 - e^{-1} = 1 - 1/e，这就是f(1)能取到的最大值。

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