Solving a Serious Math Problem

  • Context: Graduate 
  • Thread starter Thread starter vip89
  • Start date Start date
Click For Summary

Discussion Overview

The discussion centers around the existence of a positive and twice differentiable function \( f \) defined on the interval \([0, \infty)\) such that the product \( f(x)f''(x) \leq -1 \) holds for all \( x \) in that interval. Participants explore the implications of this condition on the function's behavior, particularly regarding its concavity and the possibility of it crossing the x-axis.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants question whether a positive and twice differentiable function can satisfy the condition \( f(x)f''(x) \leq -1 \) on \([0, \infty)\).
  • One participant suggests that any positive constant function would work, but another counters that such a function does not satisfy the inequality since its second derivative is zero.
  • Another participant argues that if \( f(x) > 0 \) on \([0, \infty)\) and \( f''(x) < 0 \), then \( f \) must be concave down, leading to the conclusion that it would eventually cross the x-axis, contradicting the positivity of \( f \).
  • A later reply emphasizes the need to justify the claim that a function which is always concave down must be negative at some point.
  • One participant provides a detailed argument showing that if \( f(x) > 0 \) and \( f''(x) < 0 \), it leads to contradictions regarding the behavior of \( f \) as \( x \) approaches infinity.
  • Another participant notes that changing the condition to \( f(x)f''(x) < 0 \) would allow for the existence of such a function, providing an example with \( f(x) = \ln(x + 2) \).

Areas of Agreement / Disagreement

Participants express differing views on the existence of such a function, with some arguing it cannot exist while others propose that a modified condition could allow for a solution. The discussion remains unresolved with multiple competing perspectives.

Contextual Notes

Participants have not reached consensus on the implications of concavity and the behavior of the function as \( x \) approaches infinity. There are also unresolved assumptions regarding the definitions and conditions of the functions discussed.

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: 409
  • #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
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 11 ·
Replies
11
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
5
Views
1K