m*********i
发帖数: 38 | 1 要证明离散函数的单调性
比如F（X）单增
俺知道一个方法，就是证明F(x+1)-F(x)>=0
但是俺有个问题F(x+1)-F(x)的表达式很复杂，很多个参数在里面
不知道有什么其他方法或者软件能够帮助解决这样的问题吗 |
k*******l
发帖数: 69 | 2 F(x+1)/F(x)
【在 m*********i 的大作中提到】
: 要证明离散函数的单调性
: 比如F（X）单增
: 俺知道一个方法，就是证明F(x+1)-F(x)>=0
: 但是俺有个问题F(x+1)-F(x)的表达式很复杂，很多个参数在里面
: 不知道有什么其他方法或者软件能够帮助解决这样的问题吗
|
m*********i
发帖数: 38 | 3 这个表达式更复杂了：《
【在 k*******l 的大作中提到】
: F(x+1)/F(x)
|
m******e
发帖数: 291 | 4 那得依赖你的函数形式阿
【在 m*********i 的大作中提到】
: 这个表达式更复杂了：《
|
m*********i
发帖数: 38 | 5 形式很复杂
用软件一算，出来很多奇怪的函数
更复杂了
【在 m******e 的大作中提到】
: 那得依赖你的函数形式阿
|
k*******l
发帖数: 69 | 6 如果定义域可以扩展到实数
那么用求导试试
【在 m*********i 的大作中提到】
: 形式很复杂
: 用软件一算，出来很多奇怪的函数
: 更复杂了
|
f*****g
发帖数: 24 | 7 搜索极值不就完了，极大值点看是不是在边界上
【在 m*********i 的大作中提到】
: 要证明离散函数的单调性
: 比如F（X）单增
: 俺知道一个方法，就是证明F(x+1)-F(x)>=0
: 但是俺有个问题F(x+1)-F(x)的表达式很复杂，很多个参数在里面
: 不知道有什么其他方法或者软件能够帮助解决这样的问题吗
|
m*********i
发帖数: 38 | 8 我就是用的这个方法
但是写到paper里看上去比较笨啊
要是有个解析的解就好的多了
【在 f*****g 的大作中提到】
: 搜索极值不就完了，极大值点看是不是在边界上
|
