Generalizing recursion in mapping functions

AI Thread Summary
The discussion centers on a mapping function defined as x_{n+1} = μ(1-x_n) and the conditions under which specific behaviors occur, particularly when x_0 < 1 - 1/μ. The user expresses confusion regarding the concept of "reverse mapping" and how to identify initial conditions that lead to the defined space. There is a mention of difficulties in finding an inductive representation for the reverse mapping series as a function of the number of iterations. Additionally, the user seeks clarification on the concept of attractors in this context, particularly concerning the basin of attraction for the defined region. The conversation highlights the complexities involved in understanding mapping functions and their iterative behaviors.
Pythagorean
Science Advisor
Messages
4,416
Reaction score
327
I have a mapping function:

x_{n+1} = \mu (1-x_n)

I have some condition that occurs for:

\mu (1-x_0) &gt; 1 (1)

which is:

x_0 &lt; 1- \frac{1}{\mu}

but via the map function, there's an initial condition that leads to the above solution:

**UNDER CONSTRUCTION, ERROR FOUND**
 
Last edited:
Mathematics news on Phys.org
Well... "solving" my error just confuses me more. Mapping functions with a shift in them are really unintuitive to me. So, from the top:

Given:

x_{n+1} = \mu (1-x_n)

Some special condition occurs at:

x_{n+1} = \mu (1-x_n)

Which, in terms of initial condition, means that if:

x_0 &lt; 1- \frac{1}{\mu}

than the condition will be met. HOWEVER, there are also initial conditions that will map to the above space. How do I find them? For instance, I can reverse and apply the order of operations in the mapping functions (inverse scale, then shift opposite):

x_0 &lt; \frac{1- \frac{1}{\mu}}{\mu}+1

but this gets unwieldy as I try to go back more and more iterations. Is there an inductive way to represent this "reverse mapping" series as a funciton of n (the number of iterations the mapping function requires). Or am I going about this all wrong?
 
Pythagorean said:
HOWEVER, there are also initial conditions that will map to the above space.

It's unclear what you mean by mapping a condition to space. What space?
 
the region defined by
x_0 &lt; 1- \frac{1}{\mu}
 
I don't understand what you mean by "mapping" the condition to the space since it is the condition that defines the space.

(If your are trying to ask a question about the attractors in the domain of iterated functions, it would be best to use the standard terminology for that subject - or give a link to a page that explains your question.)
 
Well, I am, but I was trying to just focus on the micro-issue I'm having. I just want to find the basin of attraction for that region I defined, but I am not sure if its really an attractor (it goes to infinity; this is the right side of the tent map for mu>2).

Anyway, I will spend more time on it and if I don't get it, I will reformulate the question in more detail later.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...

Similar threads

Back
Top