En matemáticas , una función iterada es una función que se obtiene componiendo otra función consigo misma dos o varias veces. El proceso de aplicar repetidamente la misma función se llama iteración . En este proceso, a partir de algún objeto inicial, el resultado de aplicar una función determinada se introduce nuevamente en la función como entrada y este proceso se repite.
Por ejemplo, en la imagen de la derecha:
Las funciones iteradas se estudian en informática , fractales , sistemas dinámicos , matemáticas y física de grupos de renormalización .
A continuación se presenta la definición formal de una función iterada en un conjunto X.
Sea X un conjunto y f : X → X una función .
Definir f n como la n -ésima iteración de f (una notación introducida por Hans Heinrich Bürmann [ cita necesaria ] y John Frederick William Herschel [1] [2] [3] [4] ), donde n es un entero no negativo , por:
donde id X es la función identidad en X y ( f g )( x ) = f ( g ( x )) denota la composición de la función .
Debido a que la notación f n puede referirse tanto a la iteración (composición) de la función f como a la exponenciación de la función f (esta última se usa comúnmente en trigonometría ), algunos matemáticos [ cita necesaria ] optan por usar ∘ para denotar el significado compositivo, escribiendo f ∘ n ( x ) para la n -ésima iteración de la función f ( x ) , como en, por ejemplo, f ∘3 ( x ) que significa f ( f ( f ( x ))) . Con el mismo propósito, Benjamin Peirce [5] [4] [nb 1] utilizó f [ n ] ( x ) , mientras que Alfred Pringsheim y Jules Molk sugirieron n f ( x ) en su lugar. [6] [4] [nota 2]
En general, la siguiente identidad es válida para todos los números enteros no negativos m y n ,
Esto es estructuralmente idéntico a la propiedad de la exponenciación de que a m a n = a m + n .
En general, para índices generales arbitrarios (negativos, no enteros, etc.) m y n , esta relación se denomina ecuación funcional de traducción , cf. Ecuación de Schröder y ecuación de Abel . En una escala logarítmica, esto se reduce a la propiedad de anidamiento de los polinomios de Chebyshev , T m ( T n ( x )) = T m n ( x ) , ya que T n ( x ) = cos ( n arccos ( x )) .
La relación ( f m ) n ( x ) = ( f n ) m ( x ) = f mn ( x ) también se cumple, análoga a la propiedad de la exponenciación de que ( a m ) n = ( a n ) m = a mn .
La secuencia de funciones f n se llama secuencia de Picard , [7] [8] que lleva el nombre de Charles Émile Picard .
Para una x dada en X , la secuencia de valores f n ( x ) se llama órbita de x .
Si f n ( x ) = f n + m ( x ) para algún número entero m > 0 , la órbita se llama órbita periódica . El valor más pequeño de m para una x dada se llama período de la órbita . El propio punto x se llama punto periódico . El problema de detección de ciclos en informática es el problema algorítmico de encontrar el primer punto periódico de una órbita y el período de la órbita.
Si x = f ( x ) para algún x en X (es decir, el período de la órbita de x es 1 ), entonces x se llama punto fijo de la secuencia iterada. El conjunto de puntos fijos suele denominarse Fix ( f ) . Existen varios teoremas del punto fijo que garantizan la existencia de puntos fijos en diversas situaciones, incluido el teorema del punto fijo de Banach y el teorema del punto fijo de Brouwer .
Existen varias técnicas para la aceleración de la convergencia de las secuencias producidas por iteración de punto fijo . [9] Por ejemplo, el método de Aitken aplicado a un punto fijo iterado se conoce como método de Steffensen y produce convergencia cuadrática.
Tras la iteración, se puede encontrar que hay conjuntos que se reducen y convergen hacia un solo punto. En tal caso, el punto al que converge se conoce como punto fijo atractivo . Por el contrario, la iteración puede dar la apariencia de puntos que divergen de un solo punto; este sería el caso de un punto fijo inestable . [10]
Cuando los puntos de la órbita convergen hacia uno o más límites, el conjunto de puntos de acumulación de la órbita se conoce como conjunto límite o conjunto ω-límite .
Las ideas de atracción y repulsión se generalizan de manera similar; se pueden clasificar las iteraciones en conjuntos estables y conjuntos inestables , según el comportamiento de los pequeños barrios bajo iteración. Véase también infinitas composiciones de funciones analíticas .
Son posibles otras conductas limitantes; por ejemplo, los puntos errantes son puntos que se alejan y nunca regresan ni siquiera cerca de donde comenzaron.
Si se considera la evolución de una distribución de densidad, en lugar de la dinámica de puntos individuales, entonces el comportamiento límite viene dado por la medida invariante . Puede visualizarse como el comportamiento de una nube de puntos o de polvo bajo iteraciones repetidas. La medida invariante es un estado propio del operador Ruelle-Frobenius-Perron u operador de transferencia , correspondiente a un valor propio de 1. Los valores propios más pequeños corresponden a estados inestables y en decadencia.
En general, debido a que la iteración repetida corresponde a un turno, el operador de transferencia y su adjunto, el operador Koopman puede interpretarse como la acción del operador de turno en un espacio de turno . La teoría de los subdesplazamientos de tipo finito proporciona una visión general de muchas funciones iteradas, especialmente aquellas que conducen al caos.
La noción f 1/ n debe usarse con cuidado cuando la ecuación g n ( x ) = f ( x ) tiene múltiples soluciones, lo que suele ser el caso, como en la ecuación de Babbage de las raíces funcionales del mapa de identidad. Por ejemplo, para n = 2 y f ( x ) = 4 x − 6 , tanto g ( x ) = 6 − 2 x como g ( x ) = 2 x − 2 son soluciones; entonces la expresión f 1/2 ( x ) no denota una función única, del mismo modo que los números tienen múltiples raíces algebraicas. La cuestión es bastante similar a la expresión " 0/0 " en aritmética. Siempre se puede obtener una raíz trivial de f si el dominio de f se puede extender lo suficiente, cf. imagen. Las raíces elegidas normalmente son las pertenecientes a la órbita en estudio.
Se puede definir la iteración fraccionaria de una función: por ejemplo, la media iteración de una función f es una función g tal que g ( g ( x )) = f ( x ) . [11] Esta función g ( x ) se puede escribir usando la notación de índice como f 1/2 ( x ) . De manera similar, f 1/3 ( x ) es la función definida de manera que f 1/3 ( f 1/3 ( f 1/3 ( x ))) = f ( x ) , mientras que f 2/3 ( x ) puede ser definido como igual a f 1/3 ( f 1/3 ( x ) ) , y así sucesivamente, todo basado en el principio, mencionado anteriormente, de que f m ○ f n = f m + n . Esta idea se puede generalizar de modo que el recuento de iteraciones n se convierta en un parámetro continuo , una especie de "tiempo" continuo de una órbita continua . [12] [13]
En tales casos, uno se refiere al sistema como un flujo (consulte la sección sobre conjugación a continuación).
Si una función es biyectiva (y por lo tanto posee una función inversa), entonces las iteraciones negativas corresponden a funciones inversas y sus composiciones. Por ejemplo, f −1 ( x ) es la inversa normal de f , mientras que f −2 ( x ) es la inversa compuesta consigo misma, es decir, f −2 ( x ) = f −1 ( f −1 ( x ) . Las iteraciones fraccionarias negativas se definen de manera análoga a las fraccionarias positivas; por ejemplo, f −1/2 ( x ) se define de manera que f −1/2 ( f −1/2 ( x )) = f −1 ( x ) , o, de manera equivalente, tal que f −1/2 ( f 1/2 ( x )) = f 0 ( x ) = x .
Uno de varios métodos para encontrar una fórmula en serie para iteración fraccionaria, utilizando un punto fijo, es el siguiente. [14]
Esto puede llevarse a cabo indefinidamente, aunque de manera ineficiente, a medida que estos últimos términos se vuelven cada vez más complicados. En la siguiente sección sobre conjugación se describe un procedimiento más sistemático .
Por ejemplo, establecer f ( x ) = Cx + D da el punto fijo a = D /(1 − C ) , por lo que la fórmula anterior termina en solo
Encuentre el valor de donde esto se hace n veces (y posiblemente los valores interpolados cuando n no es un número entero). Tenemos f ( x ) = √ 2 x . Un punto fijo es a = f (2) = 2 .
Entonces, conjunto x = 1 y f n (1) expandido alrededor del valor del punto fijo de 2 es entonces una serie infinita,
Para n = −1 , la serie calcula la función inversa 2+en x/en 2.
Con la función f ( x ) = x b , expande alrededor del punto fijo 1 para obtener la serie
Si f y g son dos funciones iteradas y existe un homeomorfismo h tal que g = h −1 ○ f ○ h , entonces se dice que f y g son topológicamente conjugados .
Claramente, la conjugación topológica se conserva en la iteración, ya que g n = h −1 ○ f n ○ h . Por lo tanto, si se puede resolver un sistema de funciones iteradas, también se tienen soluciones para todos los sistemas topológicamente conjugados. Por ejemplo, el mapa de la tienda está topológicamente conjugado con el mapa logístico . Como caso especial, tomando f ( x ) = x + 1 , se tiene la iteración de g ( x ) = h −1 ( h ( x ) + 1 ) como
Haciendo la sustitución x = h −1 ( y ) = ϕ ( y ) se obtiene
Incluso en ausencia de un homeomorfismo estricto, cerca de un punto fijo, aquí considerado en x = 0, f (0) = 0, a menudo se puede resolver [15] la ecuación de Schröder para una función Ψ, que hace que f ( x ) conjugar localmente a una mera dilatación, g ( x ) = f '(0) x , es decir
Por lo tanto, su órbita de iteración, o flujo, bajo disposiciones adecuadas (por ejemplo, f '(0) ≠ 1 ), equivale al conjugado de la órbita del monomio,
donde n en esta expresión sirve como exponente simple: ¡ la iteración funcional se ha reducido a la multiplicación! Aquí, sin embargo, el exponente n ya no necesita ser entero o positivo, y es un "tiempo" continuo de evolución para la órbita completa: [16] el monoide de la secuencia de Picard (cf. semigrupo de transformación ) se ha generalizado a un continuo completo grupo . [17]
Este método (determinación perturbativa de la función propia principal Ψ, cf. matriz de Carleman ) es equivalente al algoritmo de la sección anterior, aunque, en la práctica, más potente y sistemático.
Si la función es lineal y puede describirse mediante una matriz estocástica , es decir, una matriz cuyas filas o columnas suman uno, entonces el sistema iterado se conoce como cadena de Markov .
Hay muchos mapas caóticos . Las funciones iteradas más conocidas incluyen el conjunto de Mandelbrot y los sistemas de funciones iteradas .
Ernst Schröder , [19] en 1870, resolvió casos especiales del mapa logístico , como el caso caótico f ( x ) = 4 x (1 − x ) , de modo que Ψ( x ) = arcsin( √ x ) 2 , por lo tanto f n ( x ) = sin(2 n arcsin( √ x )) 2 .
Un caso no caótico que Schröder también ilustró con su método, f ( x ) = 2 x (1 − x ) , produjo Ψ( x ) = −1/2ln(1 − 2 x ) , y por tanto f n ( x ) = −1/2((1 - 2 x ) 2 norte - 1) .
Si f es la acción de un elemento de grupo sobre un conjunto, entonces la función iterada corresponde a un grupo libre .
La mayoría de las funciones no tienen expresiones generales explícitas de forma cerrada para la enésima iteración. La siguiente tabla enumera algunos [19] que sí lo hacen. Tenga en cuenta que todas estas expresiones son válidas incluso para n no enteros y negativos , así como para n enteros no negativos .
Nota: estos dos casos especiales de ax 2 + bx + c son los únicos casos que tienen una solución en forma cerrada. Elegir b = 2 = – a y b = 4 = – a , respectivamente, los reduce aún más a los casos logísticos caóticos y no caóticos discutidos antes de la tabla.
Algunos de estos ejemplos están relacionados entre sí mediante conjugaciones simples.
Las funciones iteradas se pueden estudiar con la función zeta de Artin-Mazur y con operadores de transferencia .
En informática , las funciones iteradas ocurren como un caso especial de funciones recursivas , que a su vez anclan el estudio de temas tan amplios como el cálculo lambda , o otros más restringidos, como la semántica denotacional de los programas de computadora.
Se pueden definir dos funcionales importantes en términos de funciones iteradas. Estos son sumarios :
y el producto equivalente:
La derivada funcional de una función iterada viene dada por la fórmula recursiva:
Las funciones iteradas surgen en la expansión en serie de funciones combinadas, como g ( f ( x )) .
Dada la velocidad de iteración , o función beta (física) ,
para la n- ésima iteración de la función f , tenemos [21]
Por ejemplo, para advección rígida, si f ( x ) = x + t , entonces v ( x ) = t . En consecuencia, g ( x + t ) = exp( t ∂/∂ x ) g ( x ) , acción realizada por un operador de desplazamiento simple .
Por el contrario, se puede especificar f ( x ) dado un v ( x ) arbitrario, a través de la ecuación genérica de Abel analizada anteriormente,
dónde
Esto es evidente al observar que
Para el índice de iteración continua t , entonces, ahora escrito como un subíndice, esto equivale a la célebre realización exponencial de Lie de un grupo continuo,
La velocidad del flujo inicial v es suficiente para determinar todo el flujo, dada esta realización exponencial que proporciona automáticamente la solución general a la ecuación funcional de traslación , [22]
[…] Artículo 473. Logaritmos iterados […] Observamos aquí el simbolismo utilizado por Pringsheim y Molk en su artículo conjunto de la Encyclopédie : " 2 log b a = log b (log b a ), …, k +1 log b a = log b ( k log b a )." [a] […] §533. La notación de John Herschel para funciones inversas, sin −1 x , tan −1 x , etc., fue publicada por él en Philosophical Transactions of London , para el año 1813. Dice (p. 10): "Esta notación cos . −1 e no debe entenderse en el sentido de 1/cos. e , sino lo que normalmente se escribe así, arc (cos.= e )." Admite que algunos autores utilizan cos. m A para (cos. A ) m , pero justifica su propia notación señalando que dado que d 2 x , Δ 3 x , Σ 2 x significan dd x , ΔΔΔ x , ΣΣ x , debemos escribir pecado. 2 x por el pecado. pecado. x , iniciar sesión. 3 x para troncos. registro. registro. X . Así como escribimos d − n V=∫ n V, podemos escribir de manera similar sin. −1 x =arco (sen.= x ), log. −1 x .=c x . Algunos años más tarde, Herschel explicó que en 1813 usó f n ( x ), f − n ( x ), sin. −1 x , etc. ", como supuso entonces por primera vez. Sin embargo, en estos pocos meses ha llegado a su conocimiento el trabajo de un analista alemán, Burmann , en el que se explica lo mismo en una fecha mucho anterior. .Él[Burmann], sin embargo, no parece haber advertido la conveniencia de aplicar esta idea a las funciones inversas tan −1, etc., ni parece en absoluto consciente del cálculo inverso de funciones al que da lugar". Herschel añade: "La simetría de esta notación y, sobre todo, las nuevas y más amplias perspectivas que abre sobre la naturaleza de las operaciones analíticas parecen autorizar su adopción universal." [b] […] §535. Persistencia de notaciones rivales para función inversa. — […] El uso de la notación de Herschel sufrió un ligero cambio en los libros de Benjamin Peirce , para eliminar la objeción principal a ellos; Peirce escribió: "cos [-1] x ", "log [-1] x ". [c] […] §537. Potencias de funciones trigonométricas. —Se han utilizado tres notaciones principales para denotar, digamos, el cuadrado de sen x , es decir, (sen x ) 2 , sen x 2 , sen 2 x . La notación predominante en la actualidad es sen 2 x , aunque es menos probable que la primera se malinterprete. En el caso de sen 2 x dos se sugieren interpretaciones; primero, sen x · sen x ; segundo, [d] sen (sin x ). Como las funciones del último tipo normalmente no se presentan, el peligro de una mala interpretación es mucho menor que en el caso de log 2 x , donde log x · log x y log (log x ) son frecuentes en el análisis. […] La notación sen n x para (sen x ) n ha sido ampliamente utilizada y ahora es la que prevalece. […](xviii+367+1 páginas incluyendo 1 página de apéndice) (NB. ISBN y enlace para la reimpresión de la segunda edición de Cosimo, Inc., Nueva York, EE. UU., 2013.)
{{cite book}}
: CS1 maint: location missing publisher (link){{cite book}}
: CS1 maint: multiple names: authors list (link)