Solving a Serious Math Problem

  • Thread starter Thread starter vip89
  • Start date Start date
Click For Summary
The discussion centers on the existence of a positive, twice differentiable function f defined on [0,∞) that satisfies the inequality f(x)f’’(x) ≤ -1. Participants argue that if f is always positive and concave down (f''(x) < 0), it must eventually cross the x-axis, contradicting the requirement that f remains positive. A key point raised is that a function being concave down implies it cannot stay positive indefinitely without eventually becoming negative. The conversation also touches on the implications of changing the inequality to f(x)f''(x) < 0, where examples like f(x) = ln(x+2) demonstrate valid solutions. Ultimately, the consensus is that no such function exists under the original conditions.
vip89
Messages
32
Reaction score
0
Serius problem!

Can you help me in solving this??

Is there a positive and twice differentiable function f defned on [0,∞) such
that f(x)f’’(x) ≤ -1 on [0,∞) ? Why or why not?
 
Physics news on Phys.org
Guys,no one can solve this problem??!
 
What does that tell you about f"(x)? Where is f concave up or down?
 
vip89 said:
Guys,no one can solve this problem??!


Is anybody supposed to solve it...besides you?
 
vip89 said:
Can you help me in solving this??

Is there a positive and twice differentiable function f defned on [0,∞) such
that f(x)f’’(x) ≤ -1 on [0,∞) ? Why or why not?
Any positive constant funtion works.
 
pebloy said:
Any positive constant funtion works.


What do you mean with constant?

say

f(x)=b, where b is a constant, this defenitely doesn't work, since f'=f''=0 so also

f(x)f''(x)=0, so this defenitely is not smaller than -1.
 
picking up on Halls advice.

SInce f(x)>0 on[0,infty) this means that the sign of f(x)f''(x) is determined only by the sign of f''. So, since the problem requires that f(x)f''(x) be smaller or equal to -1 on the interval [0,infty) it means that for all x's on this interval f''(x)<0. What does this tell us about the concavity of f? this means that f is concave down on the whole interval. But if f is concave down on the whole interval it means that at some point it should defenitely cross the x-axis, and therefore at some point be also negative, but this contradicts the fact that f>0, so i would say that such a function does not exist at all.
 
sutupidmath said:
What do you mean with constant?

say

f(x)=b, where b is a constant, this defenitely doesn't work, since f'=f''=0 so also

f(x)f''(x)=0, so this defenitely is not smaller than -1.
Sorry I reversed the inequality. :-)
 
that is wt I did,pls send me ur help
 

Attachments

  • pass10.JPG
    pass10.JPG
    32.8 KB · Views: 399
  • #10
vip89 said:
that is wt I did,pls send me ur help

This is not what you did, but exactly what sutupidmath wrote in his post... you should at least credit him if you literally copy his words...

Anyways, could you prove that a function on [0,inf) which is always concave down has to be negative somewhere..? This is the key argument in your reasoning and you did not justify it.
 
  • #11


The answer is NO:

Suppose the statement is true. Then f(x)&gt;0, f&#039;&#039;(x)&lt;0 for all x&gt;0. Moreover, \lim_{x\rightarrow +\infty} f&#039;&#039;(x)&lt;0 if it exists.

Let f(0)&gt;0, f&#039;(x) is monotonically decreasing, then \lim_{x\rightarrow +\infty} f&#039;(x) is either -\infty or a constant.

If \lim_{x\rightarrow +\infty} f&#039;(x)=-\infty, then f is monotonically decreasing on [T,\,+\infty) for some T large enough and \lim_{x\rightarrow+\infty} f(x) must be negative. Otherwise, \lim_{x\rightarrow+\infty} f(x)=c_0\geq 0 and there exists a unbounded sequence \{x_n\} so that \lim_{n\rightarrow +\infty} f&#039;(x_n)=0. Contradiction;

if \lim_{x\rightarrow +\infty} f&#039;(x)=c, where c is a constant, then there exists a unbounded sequence \{x_n\} so that \lim_{n\rightarrow +\infty} f&#039;&#039;(x_n)=0, but we already have \lim_{n\rightarrow +\infty} f&#039;&#039;(x_n)&lt;0. Contradiction.

P. S.

Note that the assumption is f(x)\cdot f&#039;&#039;(x)\leq -1 on [0,\,+\infty). If we change it into f(x)\cdot f&#039;&#039;(x)&lt;0, then we cannot have \lim_{x\rightarrow +\infty} f&#039;&#039;(x)&lt;0 and in this case the statement is true:
e.g.: Let f(x)=\ln (x+2). Then we have
\begin{align*}<br /> f&#039;(x)&amp;=1/(x+2),\\<br /> f&#039;&#039;(x)&amp;=-1/(x+2)^2.<br /> \end{align*}​
Therefore, for all x\geq 0, we have
\begin{align*}f(x)\cdot f&#039;&#039;(x)&amp;=-\frac{\ln (x+2)}{(2+x)^2}&lt;0 \\<br /> \intertext{and}<br /> f(x)&amp;&gt;0.<br /> \end{align*}​
 
Last edited:

Similar threads

  • · Replies 8 ·
Replies
8
Views
808
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 25 ·
Replies
25
Views
4K