Can a Function be Composed with Itself to Solve a Differential Equation?

  • Context: Undergrad 
  • Thread starter Thread starter mnb96
  • Start date Start date
  • Tags Tags
    Composition Functions
Click For Summary

Discussion Overview

The discussion revolves around the question of whether a function can be composed with itself to solve a differential equation, specifically exploring the conditions under which a function f can satisfy the equation f = f ∘ g for a given function g. Participants examine various cases, including constant functions, invertible functions, and the implications of different types of functions.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants propose that if g(x) = x, then any function f(x) will suffice, while if g is not equal to x, f must be a constant function.
  • Others argue that the trivial solution is f(x) = c, where c is a constant, but question whether other non-trivial solutions exist.
  • A participant suggests that if f has an inverse, then g must equal x for f = f ∘ g to hold, indicating that non-invertible functions may allow for more solutions.
  • Some participants explore specific examples, such as f(x) = abs(x) and g(x) = -x, to challenge the earlier conclusions regarding invertibility.
  • One participant introduces a related problem involving the equation f = (f ∘ g) g', where g is invertible, and seeks suggestions for solutions.
  • Another participant discusses various cases and suggests that for polynomials, the problem may be reducible, proposing a method to solve it.
  • A later reply indicates that the discussion has led to insights about solving differential equations, although it remains uncertain whether the conclusions are universally applicable.

Areas of Agreement / Disagreement

Participants express differing views on the nature of solutions to the problem, with some agreeing on the trivial solution while others propose additional cases and challenge the assumptions made. The discussion remains unresolved regarding the full scope of solutions and the conditions under which they hold.

Contextual Notes

Limitations include the dependence on the definitions of invertibility and the specific forms of functions discussed. The implications of continuity and the nature of the functions involved are also not fully resolved.

Who May Find This Useful

Readers interested in mathematical reasoning, differential equations, and function composition may find the discussion relevant, particularly those exploring the properties of functions and their inverses.

mnb96
Messages
711
Reaction score
5
This might be a silly question:

given a function [tex]g[/tex] is it possible to find a function [tex]f[/tex] such that [tex]f = f \circ g[/tex]?
 
Physics news on Phys.org
mnb96 said:
This might be a silly question:

given a function [tex]g[/tex] is it possible to find a function [tex]f[/tex] such that [tex]f = f \circ g[/tex]?

f=const.
 
That is the trivial solution. Perhaps there are others?

f(x) = f(g(x)) if...

f(x) = c, c constant.
g(x) = x, f any function.

If these two conditions don't hold, though...

Assume f has an inverse function. For instance, if f(x) = 2x, then (inv f)(x) = x/2. Then

f = f o g
<=>
f(x) = f(g(x))
<=>
x = g(x).

So if f has an inverse, g must equal x if f = f o g.

So you'd only be looking for functions which don't have an inverse.

But what we have is a little stronger than that, no? Since my argument makes no reference to intervals, it must be true on any interval. So g = x if you want a function f which is invertible over any interval.

The only function which is not invertible over any interval is - you guessed it - constant functions.

So, in summary:

if g(x) = x, then any function f(x) will do.

Otherwise, f(x) = c , c constant, is the only solution.


What about functions of more variables? Or generalized operations like differentiation? No idea.
 
If g(x)=x Then f(x) can be anything.

Let
g(n)=2n

Then f(n) can map even numbers to one constant and odd numbers to a different constant. (At least it works if n is discrete). Not sure if it works in the continuous case but I think it might.
 
Last edited:
csprof2000 said:
So, in summary:

if g(x) = x, then any function f(x) will do.

Otherwise, f(x) = c , c constant, is the only solution.

What about the following examples?
a) f(x)=abs(x), g(x)=-x
b) f(x)=cos(x), g(x)=x+2pi
 
Good point.

I guess then that my argument only works for functions which don't have an inverse where Domain(inv f) = Range(f). This, naturally, precludes functions such as abs(x) and cos(x)...

So I guess more though will have to be put into functions which are not bijections.
 
Thanks a lot. You all made very good observations that helped me a lot.
BTW, it seems that if the function f admits an inverse there are not many choices, while if the function f is not invertible, many solutions exist but the problem is non-trivial, and it is difficult to say what kind of functions f and g would have to be, in order to satisfy f(x)=f(g(x)).

At the moment I am trying to solve the following (similar) problem:

[tex]f = (f \circ g) g'[/tex]
where g is invertible, and g' denotes its derivative

If you find it interesting, suggestions are always welcome.
Thanks!
 
Well, similar suggestions - cases - are possible.

Assume f(x) = c, c constant. Then c = cg', g' = 1, and g = x + k, k constant.

Assume f(x) = x. Then x = gg', gdg = xdx, and (g^2)/2 = (x^2)/2 + k, k constant.

Assume f(x) = x^n. Then x^n = g^n g', g^n dg = x^n dx, [1/(n+1)]g^(n+1) = [1/(n+1)]x^(n+1) + k, k constant

Wow, that's an alright result. So for x to any power at all, it's possible. Is is true for any polynomial? Yes, it seems like it should be. So... for any polynomial, I believe you can use the above formula to reduce it.

f(x) = cos x, cos x = (cos g)g', (cos x)dx = (cos g)dg, sin(x) = sin(g) + k.


It seems like, unless I'm mistaken, this is the same thing every time:

f(x) = f(g(x))g'(x) is the same as solving the differential equation f(x)dx = f(g(x))dg.

So, as long as f is integrable, the problem is actually quite easy. Maybe I'm wrong. Thoughts?
 
csproof2000: I think you just made it!
You gave the solution to the problem, and for some reason I didn't immediately spot that what I was trying to do is actually solving a differential equation.
Thanks a lot you all...you made very helpful observations!
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 15 ·
Replies
15
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K