12/15/2012, 11:38 PM
Let x be a real and consider all f(x) := exp^[1/2](x) that satisfy
1) f(x) is real-analytic.
2) d f(x)/dx > 0 for all x.
3) d^2 f(x) / d^2 x > 0 for all x.
4) f ' (w) = 1 where w is real.
5) let k(x) be the curvature of f at x , then 1/k(x) is U-shaped over the entire real line with its unique minimum value at x=w.
Do all such f(x) agree upon the value of f(-oo) ??
Does adding " d^3 f(x) / d^3 x > 0 for all x > w " create a uniqueness criterion ?
Is there a way to show these conditions to be equivalent to some conditions for sexp(x) ?
1) f(x) is real-analytic.
2) d f(x)/dx > 0 for all x.
3) d^2 f(x) / d^2 x > 0 for all x.
4) f ' (w) = 1 where w is real.
5) let k(x) be the curvature of f at x , then 1/k(x) is U-shaped over the entire real line with its unique minimum value at x=w.
Do all such f(x) agree upon the value of f(-oo) ??
Does adding " d^3 f(x) / d^3 x > 0 for all x > w " create a uniqueness criterion ?
Is there a way to show these conditions to be equivalent to some conditions for sexp(x) ?