composition lemma
#1
Hi

while trying to make a numerical method i stumbled upon a perhaps classical and/or old question :

" composition lemma "

f: R-> R
g: R->R

Let f [ g^(-1)[x] ] + g^(-1) [ f[x] ] = 2 g[x]
(?) ==> (?) g^(2) [x] = f [x]

regards

tommy1729
#2
Let f [ g^(-1)[x] ] + g^(-1) [ f[x] ] = 2 g[x]

replace x with g(x)

hence we get for x e image g(x)

f(x) + g^(-1)[ f[g(x)] ] = 2 g[g(x)]

if f and g are real analytic then for all real x

f(x) + g^(-1)[ f[g(x)] ] = 2 g[g(x)]

Let g(g(x)) = f(x) + r(x)/2

hence

f(x) + g^(-1)[ f[g(x)] ] = 2 f(x) + r(x)

g^(-1)[ f(g(x)) ] = f(x) + r(x)

thus r(x) = 0 for all x iff f(g(x)) = g(f(x))

which is the condition we needed.

QED

tommy1729



Possibly Related Threads…
Thread Author Replies Views Last Post
  another infinite composition gaussian method clone tommy1729 2 941 01/24/2023, 12:53 AM
Last Post: tommy1729
  Consistency in the composition of iterations Daniel 9 3,475 06/08/2022, 05:02 AM
Last Post: JmsNxn
  Improved infinite composition method tommy1729 5 4,334 07/10/2021, 04:07 AM
Last Post: JmsNxn
  Composition, bullet notation and the general role of categories MphLee 8 7,284 05/19/2021, 12:25 AM
Last Post: MphLee
  Inverse super-composition Xorter 11 31,039 05/26/2018, 12:00 AM
Last Post: Xorter
  [Collatz] Tommy's collatz lemma tommy1729 0 4,004 09/11/2014, 08:48 AM
Last Post: tommy1729
  [2014] composition of 3 functions. tommy1729 0 4,095 08/25/2014, 12:08 AM
Last Post: tommy1729
  lemma 1 tommy1729 2 9,163 06/30/2011, 11:47 AM
Last Post: tommy1729
  attracting fixed point lemma sheldonison 4 18,329 06/03/2011, 05:22 PM
Last Post: bo198214
  Uniqueness of tetration. Small lemma. Kouznetsov 9 18,232 04/14/2009, 01:20 AM
Last Post: Kouznetsov



Users browsing this thread: 1 Guest(s)