True or False? #5

Calculus Level 5

There is a continuous function f ( x ) f(x) with domain and codomain both R , \mathbb{R}, the set of real numbers. Which of these followings are true?

A. If f ( x 2 ) f(x^2) is differentiable over all real numbers, then so is f ( x ) . f(x).

B. If f ( x ) f(x) is differentiable and f ( x ) = f ( x ) , f(x)=f'(x), then f ( x ) = a e x , f(x)=a\cdot e^{x}, for a constant a . a.

C. If f ( x ) f(x) cannot be precisely expressed as linear for any intervals [ a , b ] ( a b ) , [a,~b]~(a\neq b), and there exists exactly one tangent line from each and every point on the graph y = f ( x ) , y=f(x), then f ( x ) f(x) is differentiable over all real numbers.


This problem is a part of <True or False?> series .

Only C and A Only C None of them Only B and C Only B Only A and B All of them Only A

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Boi (보이)
Sep 23, 2017

A. (counterexample)

f ( x ) = x , f(x)=|x|, then f ( x 2 ) = x 2 . f(x^2)=x^2.

x 2 x^2 is differentiable over all real numbers, while x |x| is not.

FALSE . \therefore~\boxed{\text{FALSE}}.


B.

f ( x ) = 0 f(x)=0 is a possible option.

For all f ( x ) 0 , f(x)\neq0, f ( x ) f ( x ) = 1 , \dfrac{f'(x)}{f(x)}=1, and integrating both sides yields ln f ( x ) = x + C . \ln|f(x)|=x+C.

Since f ( x ) = ± e x + C = ± e C e x , f(x)=\pm e^{x+C}=\pm e^C \cdot e^x, letting ± e C = a , \pm e^C=a, we get f ( x ) = a e x . f(x)=a\cdot e^x. ( a 0 , f ( x ) 0 ) (a\neq 0,~f(x)\neq0)

And from that e x e^x approaches to 0 0 if and only if x x approaches to negative or positive infinity, we can infer that f ( x ) f(x) cannot be zero for any x . x.

Therefore f ( x ) f(x) can be expressed as a form of f ( x ) = a e x . f(x)=a\cdot e^x. (Including f ( x ) = 0 , f(x)=0, since a = 0 a=0 yields f ( x ) = 0. f(x)=0. )

TRUE . \therefore~\boxed{\text{TRUE}}.


C. (counterexample)

f ( x ) = x 1 3 f(x)=x^{\frac{1}{3}} yields f ( x ) = 1 3 x 2 3 , f'(x)=\dfrac{1}{3x^{\frac{2}{3}}}, and since f ( 0 ) f'(0) cannot be defined, f ( x ) f(x) is not differentiable at x = 0. x=0.

FALSE . \therefore~\boxed{\text{FALSE}}.


From above, we figured out that only B is true.

For part (C), what is the 'tangent line' for the curve y = x 1 / 3 y=x^{1/3} at (0,0)?

Abhishek Sinha - 3 years, 8 months ago

Log in to reply

Drawing the graph,

it would be the y y -axis, which is x = 0. x=0.

Boi (보이) - 3 years, 8 months ago

Log in to reply

Then, why can't we define its derivative to be + +\infty in the extended real number system?

Abhishek Sinha - 3 years, 8 months ago

Log in to reply

@Abhishek Sinha Well the problem is, I've already said that f : R R , f:\mathbb{R}\to\mathbb{R}, which does not include + . +\infty.

If the problem doesn't explicitly state an extended real number system, it doesn't include that.

"...affinely extended real number system is obtained from the real number system R \mathbb{R} by adding two elements: + +\infty and . -\infty. ...affinely extended real number system is denoted R \overline{\mathbb{R}} or [ , ] [-\infty,~\infty] or R { , } . \mathbb{R}\cup\{-\infty,~\infty\}. " - Wikipedia <Extended real number line>

Also, look at the definition of a "differentiable function":

"...differentiable function must have a (non-vertical) tangent line at each point in its domain..." - Brilliant wiki <Differentiable function>

"... f f is said to be differentiable at x 0 x_0 if the derivative f ( x 0 ) f(x_0) exists. This means that the graph of f f has a non-vertical tangent line at the point ( x 0 , f ( x 0 ) ) . (x_0, f(x_0)). " - Wikipedia <Differentiable function>

"...continuous function need not be differentiable. For example, a function with a bend, cusp, or vertical tangent may be continuous, but fails to be differentiable at the location of the anomaly." - Wikipedia <Differentiability and continuity>

This is consensual among most of the definitions of "differentiability", and therefore, for a function f : R R , f:\mathbb{R}\to\mathbb{R}, f ( x ) = x 3 f(x)=\sqrt[3]{x} is not differentiable at point ( 0 , 0 ) . (0,~0).

Boi (보이) - 3 years, 8 months ago

Log in to reply

@Boi (보이) In the extended real number system, what is lim n n 2 \lim_{n \to \infty} n^2 ?

Abhishek Sinha - 3 years, 8 months ago

Log in to reply

@Abhishek Sinha In the extended real number system, lim n n 2 = + . \displaystyle \lim_{n\to\infty} n^2=+\infty.

Also I am not talking about an extended real number system in this question, so I'd be glad if you just stopped talking about it.

As I said, I didn't say anything about R , \overline{\mathbb{R}}, and a function is not differentiable at a point if the tangent line is vertical.

Using your logic, the function f ( x ) = 1 x 2 f(x)=\dfrac{1}{x^2} is continuous, but it is clearly not as you can see, IF, I restrict the codomain of f f to R , \mathbb{R}, not R . \overline{\mathbb{R}}.

Because f ( 0 ) f(0) is + , +\infty, but R \mathbb{R} does not include + +\infty as its element.

Boi (보이) - 3 years, 8 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...