f ( g ( x ) ) f(g(x)) increasing, g ( f ( x ) ) g(f(x)) decreasing

Calculus Level 3

Do there exist functions f : R R f \colon \mathbb{R} \to \mathbb{R} and g : R R g \colon \mathbb{R} \to \mathbb{R} , such that f g f \circ g is strictly increasing and g f g \circ f is strictly decreasing?

Yes No

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.

2 solutions

Simon Kaib
Feb 24, 2021

Here is a simple and explicit example of two such functions: First, set f ( 0 ) = g ( 0 ) = 0 f(0) = g(0) = 0 . Define f ( x ) = x f(x) = x for x ( 1 , 2 ] x \in (1, 2] and f ( x ) = x f(x) = -x for x [ 2 , 1 ) x \in [-2, -1) . For all other x x , define f f such that f ( x ) = 2 f ( x 2 ) f(x) = -2f(\frac{x}{2}) for all x x . f f looks something like this:

Note that f ( f ( x ) ) = x f(f(x)) = x , as you can check (the absolute value never changes under f f ). With this set up, define g ( x ) = 2 f ( x ) g(x) = 2f(x) .

Now, f ( g ( x ) ) = f ( 2 f ( x ) ) = 2 f ( f ( x ) ) = 2 x f(g(x)) = f(2f(x))=-2f(f(x))=-2x (decreasing) and g ( f ( x ) ) = 2 f ( f ( x ) ) = 2 x g(f(x)) = 2f(f(x)) = 2x (increasing).

Kris Hauchecorne
Feb 23, 2021

d(f(g))/dx = df/dg * dg/dx > 0

d(g(f(x)) = dg/df * df/dx < 0

Make df/dg and dg/df negative, dg/dx negative and df/dx positive.

Well, if f ( x ) > 0 f'(x)>0 and g ( x ) < 0 g'(x)<0 for all x x , then both f ( g ( x ) ) f(g(x)) and g ( f ( x ) ) g(f(x)) are strictly decreasing. Thus there are no differentiable function that satisfy your conditions.

Simon Kaib - 3 months, 2 weeks ago

Simon, can you furnish an example?

Doug Brunson - 3 months, 2 weeks ago

Log in to reply

One example that goes against that condition is f ( x ) = e x f(x) = e^x and g ( x ) = e x g(x) = e^{-x} . As f f is strictly increasing and g g is strictly decreasing, f ( g ( x ) ) = e e x f(g(x)) = e^{e^{-x}} and g ( f ( x ) ) = e e x g(f(x)) = e^{-e^{x}} are both strictly decreasing. The simplest one is f ( x ) = x f(x) = x and g ( x ) = x g(x) = -x .

Michael Huang - 3 months, 2 weeks ago

I have written up an example :) I hope you enjoy.

Simon Kaib - 3 months, 2 weeks ago

So is the answer to the question yes or no?

Doug Brunson - 3 months, 2 weeks ago

Log in to reply

The answer is yes. Yet, it takes some handwork to prove the existence of the functions. As Simon said, it is not the case that if f ( x ) f(x) is strictly increasing and g ( x ) g(x) is strictly decreasing for all x x , then f g f \circ g is increasing, whereas g f g \circ f is decreasing.

Michael Huang - 3 months, 2 weeks ago

Log in to reply

I have written up a simple example of two such functions which I found somewhere on reddit ^^. I hope you like it!

Simon Kaib - 3 months, 2 weeks ago

You may want to read this and also that .

Michael Huang - 3 months, 2 weeks ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...