Main Page: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
← Older edit
No edit summary
No edit summary
 
(324 intermediate revisions by more than 100 users not shown)
Line 1: Line 1:
{{Refimprove|date=December 2009}}
This is a preview for the new '''MathML rendering mode''' (with SVG fallback), which is availble in production for registered users.
[[Image:Tent map.png|thumb|right|300px|Graph of tent map function.]]
In [[mathematics]], the '''tent map''' with parameter  μ is the real-valued function f<sub>μ</sub> defined by
:<math>f_\mu:=\mu\min\{x,\,1-x\},</math>
the name being due to the [[tent]]-like shape of the [[graph (mathematics)|graph]] of f<sub>μ</sub>. For the values of the parameter μ within 0 and 2, f<sub>μ</sub> [[image (mathematics)|maps]] the [[unit interval]] [0, 1] into itself, thus
defining a [[discrete-time]] [[dynamical system]] on it (equivalently, a [[recurrence relation]]). In particular,  [[iterated function|iterating]] a point x<sub>0</sub> in [0, 1] gives rise to a sequence <math>x_n</math> :


:<math>
If you would like use the '''MathML''' rendering mode, you need a wikipedia user account that can be registered here [[https://en.wikipedia.org/wiki/Special:UserLogin/signup]]
  x_{n+1}=f_\mu(x_n)=\begin{cases}
* Only registered users will be able to execute this rendering mode.
    \mu x_n    & \mathrm{for}~~ x_n < \frac{1}{2} \\ \\
* Note: you need not enter a email address (nor any other private information). Please do not use a password that you use elsewhere.
    \mu (1-x_n) & \mathrm{for}~~ \frac{1}{2} \le x_n
    \end{cases}
</math>


where μ is a positive real constant. Choosing for instance the parameter μ=2, the effect of the function f<sub>μ</sub>  may be viewed as the result of the operation of folding the unit interval in two, then stretching the resulting interval [0,1/2] to get again the interval [0,1].  Iterating the procedure, any point x<sub>0</sub> of the interval assumes new subsequent positions as described above, generating a sequence  x<sub>n</sub> in [0,1].
Registered users will be able to choose between the following three rendering modes:


The <math>\mu=2</math> case of the tent map is a non-linear transformation of both the [[bit shift map]] and the ''r''=4 case of the [[logistic map]].
'''MathML'''
:<math forcemathmode="mathml">E=mc^2</math>


==Behaviour==
<!--'''PNG'''  (currently default in production)
[[Image:Tent-map.png|thumb|right|Orbits of unit-height tent map]]
:<math forcemathmode="png">E=mc^2</math>
[[Image:TentMap BifurcationDiagram.png|thumb|right|256px|Bifurcation diagram for the tent map. Higher density indicates increased probability of the x variable acquiring that value for the given value of the &mu; parameter.]]


The tent map and the [[logistic map]] are [[topologically conjugate]],<ref>[http://www.math.lsa.umich.edu/~rauch/558/logisticconjugation.pdf Conjugating the Tent and Logistic Maps], Jeffrey Rauch, University of Michigan</ref> and thus the behaviours of the two maps are in this sense identical under iteration.
'''source'''
:<math forcemathmode="source">E=mc^2</math> -->


Depending on the value of μ, the tent map demonstrates a range of dynamical behaviour ranging from predictable to chaotic.
<span style="color: red">Follow this [https://en.wikipedia.org/wiki/Special:Preferences#mw-prefsection-rendering link] to change your Math rendering settings.</span> You can also add a [https://en.wikipedia.org/wiki/Special:Preferences#mw-prefsection-rendering-skin Custom CSS] to force the MathML/SVG rendering or select different font families. See [https://www.mediawiki.org/wiki/Extension:Math#CSS_for_the_MathML_with_SVG_fallback_mode these examples].


* If μ is less than 1 the point ''x'' = 0 is an [[attractor|attractive]] [[fixed point (mathematics)|fixed point]] of the system for all initial values of ''x'' i.e. the system will converge towards ''x'' = 0 from any initial value of ''x''.
==Demos==


* If μ is 1 all values of ''x'' less than  or equal to 1/2 are fixed points of the system.
Here are some [https://commons.wikimedia.org/w/index.php?title=Special:ListFiles/Frederic.wang demos]:


* If μ is greater than 1 the system has two fixed points, one at 0, and the other at μ/(μ&nbsp;+&nbsp;1). Both fixed points are unstable i.e. a value of ''x'' close to either fixed point will move away from it, rather than towards it. For example, when μ is 1.5 there is a fixed point at ''x'' = 0.6 (because 1.5(1&nbsp;&minus;&nbsp;0.6) = 0.6) but starting at ''x'' = 0.61 we get


::<math>0.61 \to 0.585 \to 0.6225 \to 0.56625 \to 0.650625 \ldots</math>
* accessibility:
** Safari + VoiceOver: [https://commons.wikimedia.org/wiki/File:VoiceOver-Mac-Safari.ogv video only], [[File:Voiceover-mathml-example-1.wav|thumb|Voiceover-mathml-example-1]], [[File:Voiceover-mathml-example-2.wav|thumb|Voiceover-mathml-example-2]], [[File:Voiceover-mathml-example-3.wav|thumb|Voiceover-mathml-example-3]], [[File:Voiceover-mathml-example-4.wav|thumb|Voiceover-mathml-example-4]], [[File:Voiceover-mathml-example-5.wav|thumb|Voiceover-mathml-example-5]], [[File:Voiceover-mathml-example-6.wav|thumb|Voiceover-mathml-example-6]], [[File:Voiceover-mathml-example-7.wav|thumb|Voiceover-mathml-example-7]]
** [https://commons.wikimedia.org/wiki/File:MathPlayer-Audio-Windows7-InternetExplorer.ogg Internet Explorer + MathPlayer (audio)]
** [https://commons.wikimedia.org/wiki/File:MathPlayer-SynchronizedHighlighting-WIndows7-InternetExplorer.png Internet Explorer + MathPlayer (synchronized highlighting)]
** [https://commons.wikimedia.org/wiki/File:MathPlayer-Braille-Windows7-InternetExplorer.png Internet Explorer + MathPlayer (braille)]
** NVDA+MathPlayer: [[File:Nvda-mathml-example-1.wav|thumb|Nvda-mathml-example-1]], [[File:Nvda-mathml-example-2.wav|thumb|Nvda-mathml-example-2]], [[File:Nvda-mathml-example-3.wav|thumb|Nvda-mathml-example-3]], [[File:Nvda-mathml-example-4.wav|thumb|Nvda-mathml-example-4]], [[File:Nvda-mathml-example-5.wav|thumb|Nvda-mathml-example-5]], [[File:Nvda-mathml-example-6.wav|thumb|Nvda-mathml-example-6]], [[File:Nvda-mathml-example-7.wav|thumb|Nvda-mathml-example-7]].
** Orca: There is ongoing work, but no support at all at the moment [[File:Orca-mathml-example-1.wav|thumb|Orca-mathml-example-1]], [[File:Orca-mathml-example-2.wav|thumb|Orca-mathml-example-2]], [[File:Orca-mathml-example-3.wav|thumb|Orca-mathml-example-3]], [[File:Orca-mathml-example-4.wav|thumb|Orca-mathml-example-4]], [[File:Orca-mathml-example-5.wav|thumb|Orca-mathml-example-5]], [[File:Orca-mathml-example-6.wav|thumb|Orca-mathml-example-6]], [[File:Orca-mathml-example-7.wav|thumb|Orca-mathml-example-7]].
** From our testing, ChromeVox and JAWS are not able to read the formulas generated by the MathML mode.


* If μ is between 1 and the square root of 2 the system maps a set of intervals between μ&nbsp;&minus;&nbsp;μ<sup>2</sup>/2 and μ/2 to themselves. This set of intervals is the [[Julia set]] of the map i.e. it is the smallest invariant sub-set of the real line under this map. If μ is greater than the square root of 2, these intervals merge, and the Julia set is the whole interval from μ&nbsp;&minus;&nbsp;μ<sup>2</sup>/2 to μ/2 (see bifurcation diagram).
==Test pages ==


* If μ is between 1 and 2 the interval [μ&nbsp;&minus;&nbsp;μ<sup>2</sup>/2,&nbsp;μ/2]contains both periodic and non-periodic points, although all of the [[orbit (dynamics)|orbit]]s are unstable (i.e. nearby points move away from the orbits rather than towards them). Orbits with longer lengths appear as μ increases. For example:
To test the '''MathML''', '''PNG''', and '''source''' rendering modes, please go to one of the following test pages:
*[[Displaystyle]]
*[[MathAxisAlignment]]
*[[Styling]]
*[[Linebreaking]]
*[[Unique Ids]]
*[[Help:Formula]]


::<math>\frac{\mu}{\mu^2+1} \to \frac{\mu^2}{\mu^2+1} \to \frac{\mu}{\mu^2+1} \mbox{ appears at } \mu=1</math>
*[[Inputtypes|Inputtypes (private Wikis only)]]
 
*[[Url2Image|Url2Image (private Wikis only)]]
::<math>\frac{\mu}{\mu^3+1} \to \frac{\mu^2}{\mu^3+1} \to \frac{\mu^3}{\mu^3+1} \to \frac{\mu}{\mu^3+1} \mbox{ appears at } \mu=\frac{1+\sqrt{5}}{2}</math>
==Bug reporting==
 
If you find any bugs, please report them at [https://bugzilla.wikimedia.org/enter_bug.cgi?product=MediaWiki%20extensions&component=Math&version=master&short_desc=Math-preview%20rendering%20problem Bugzilla], or write an email to math_bugs (at) ckurs (dot) de .
::<math>\frac{\mu}{\mu^4+1} \to \frac{\mu^2}{\mu^4+1} \to \frac{\mu^3}{\mu^4+1} \to \frac{\mu^4}{\mu^4+1} \to \frac{\mu}{\mu^4+1} \mbox{ appears at } \mu \approx 1.8393</math>
 
* If μ equals 2 the system maps the interval [0,1] onto itself. There are now periodic points with every orbit length within this interval, as well as non-periodic points. The periodic points are [[dense set|dense]] in [0,1], so the map has become [[chaos theory|chaotic]].  In fact, the dynamics will be non-periodic if and only if <math>x_0</math> is irrational.  This can be seen by noting what the map does when <math>x_n</math> is expressed in binary notation: It shifts the binary point one place to the right; then, if what appears to the left of the binary point is a "one" it changes all ones to zeroes and vice versa (with the exception of the final bit "one" in the case of a finite binary expansion); starting from an irrational number, this process goes on forever without repeating itself.  The invariant measure for ''x'' is the uniform density over the unit interval.<ref>Collett, Pierre, and [[Jean-Pierre Eckmann|Eckmann, Jean-Pierre]], ''Iterated Maps on the Interval as Dynamical Systems'', Boston: Birkhauser, 1980.</ref>  The [[autocorrelation function]] for a sufficiently long sequence {<math>x_n</math>} will show zero autocorrelation at all non-zero lags.<ref name="Brock">Brock, W. A., "Distinguishing random and deterministic systems: Abridged version," ''Journal of Economic Theory'' 40, October 1986, 168-195.</ref>  Thus <math>{x_n}</math> cannot be distinguished from [[white noise]] using the autocorrelation function.  Note that the r=4 case of the [[logistic map]] and the <math>\mu =2</math> case of the tent map are transformations of each other:  Denoting the logistically evolving variable as <math>y_n</math>, we have <math>x_n = \tfrac{2}{\pi}sin^{-1}(y_{n}^{1/2})</math>.
 
* If μ is greater than 2 the map's Julia set becomes disconnected, and breaks up into a [[Cantor set]] within the interval [0,1]. The Julia set still contains an infinite number of both non-periodic and periodic points (including orbits for any orbit length) but [[almost everywhere|almost every]] point within [0,1] will now eventually diverge towards infinity. The canonical [[Cantor set]] (obtained by successively deleting middle thirds from subsets of the unit line) is the Julia set of the tent map for μ&nbsp;=&nbsp;3.
 
==Magnifying the orbit diagram==
[[Image:TentMagnification.JPG|thumb|right|320px|Magnification near the tip shows more details.]]
 
* A closer look at the orbit diagram shows that there are 4 separated regions at μ ≈ 1. For further magnification, 2 reference lines (red) are drawn from the tip to suitable x at certain μ (e.g., 1.10) as shown.
 
[[Image:TentTipDetail.JPG|thumb|right|400px|Further magnification shows 8 separated regions.]]
 
* With distance measured from the corresponding reference lines, further detail appears in the upper and lower part of the map. (total 8 separated regions at some μ)
 
==Asymmetric tent map==
 
The asymmetric tent map is essentially a distorted, but still piecewise linear, version of the <math>\mu=2</math> case of the tent map.  It is defined by
 
<math>
  v_{n+1}=\begin{cases}
    v_n/a &\mathrm{for}~~ v_n \in [0,a) \\ \\
    (1-v_n)/(1-a) &\mathrm{for}~~ v_n \in [a,1]           
    \end{cases}</math>
 
for parameter <math>a \in [0,1]</math>. The <math>\mu=2</math> case of the tent map is the present case of <math>a= \tfrac{1}{2}</math>.  A sequence {<math>v_n</math>} will have the same autocorrelation function <ref name="Brock" /> as will data from the first-order [[autoregressive process]]  <math>w_{n+1} = (2a-1)w_n + u_{n+1}</math> with {<math>u_n</math>} [[independent and identically-distributed random variables|independently and identically distributed]].  Thus data from an asymmetric tent map cannot be distinguished, using the autocorrelation function, from data generated by a first-order autoregressive process.
 
==References==
<references/>
 
==External links==
* [http://chaosbook.org/ ChaosBook.org]
 
{{DEFAULTSORT:Tent Map}}
[[Category:Chaotic maps]]
[[Category:Article Feedback 5]]
 
[[ja:テント写像]]

Latest revision as of 23:52, 15 September 2019

This is a preview for the new MathML rendering mode (with SVG fallback), which is availble in production for registered users.

If you would like use the MathML rendering mode, you need a wikipedia user account that can be registered here [[1]]

  • Only registered users will be able to execute this rendering mode.
  • Note: you need not enter a email address (nor any other private information). Please do not use a password that you use elsewhere.

Registered users will be able to choose between the following three rendering modes:

MathML


Follow this link to change your Math rendering settings. You can also add a Custom CSS to force the MathML/SVG rendering or select different font families. See these examples.

Demos

Here are some demos:


Test pages

To test the MathML, PNG, and source rendering modes, please go to one of the following test pages:

Bug reporting

If you find any bugs, please report them at Bugzilla, or write an email to math_bugs (at) ckurs (dot) de .

Retrieved from "https://en.formulasearchengine.com/index.php?title=Main_Page&oldid=329754"