On the Schröder equation and iterative sequences of \(C ^{r }\) diffeomorphisms in \({\mathbb{R}^{N}}\) space (Q1941995)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the Schröder equation and iterative sequences of \(C ^{r }\) diffeomorphisms in \({\mathbb{R}^{N}}\) space
scientific article

    Statements

    On the Schröder equation and iterative sequences of \(C ^{r }\) diffeomorphisms in \({\mathbb{R}^{N}}\) space (English)
    0 references
    25 March 2013
    0 references
    From the author's abstract: Let \(U \subset {\mathbb{R}^N}\) be a neighborhood of the origin and \(F:U \to U\) a \({C^r}\) function with \(r \geqslant 2\) and \(F\left( 0 \right) = 0\). Let \(0 < \left| {{s_1}} \right| \leqslant \cdots \leqslant \left| {{s_N}} \right| < 1\), where \({s_1}, \ldots ,{s_N}\) are the eigenvalues of \(dF\left( 0 \right)\). Assume that the Schröder equation, \(\varphi \left( {F\left( x \right)} \right) = S\varphi \left( x \right)\), has a \({C^2}\) solution \(\varphi \) such that \(d\varphi \left( 0 \right) = id\) where \(S: = dF\left( 0 \right)\). Denoting the iterates of \(F\) by \({F^n}\), if \(\tfrac{{\log \left| {{s_1}} \right|}}{{\log \left| {{s_N}} \right|}} < 2\), then the sequence \(\left\{ {{S^{ - n}}{F^n}\left( x \right)} \right\}\) converges for every point \(x\) in the domain of attraction of \(F\) to a \({C^2}\) solution \(\varphi \) of the Schröder equation. If \(\tfrac{{\log \left| {{s_1}} \right|}}{{\log \left| {{s_N}} \right|}} \geqslant 2\), the sequence may diverge. In this case, some sufficient conditions for the convergence and divergence of the sequence are given. Also, if \(F\) is of class \({C^r}\) with \(r > \left[ {\tfrac{{\log \left| {{s_1}} \right|}}{{\log \left| {{s_N}} \right|}}} \right]: = p \geqslant 2\) then every solution of the functional equation such that \(d\varphi \left( 0 \right) = id\) is given by \(\varphi \left( x \right) = \mathop {\lim }\limits_{n \to \infty } \left( {{S^{ - n}}{F^n}\left( x \right) + \sum\nolimits_{k = 2}^p {{S^{ - n}}{L_k}\left( {{F^n}\left( x \right)} \right)} } \right)\) were the \({L_k}:{\mathbb{R}^N} \to {\mathbb{R}^N}\) are homogeneous polynomials of degree \(k\) determined by the differentials \({d^{\left( j \right)}}F\left( 0 \right)\) for \(1 < j \leqslant p\).
    0 references
    0 references
    iterative sequences
    0 references
    Schröder functional equation
    0 references
    linearization
    0 references
    fixed point
    0 references
    characteristic roots
    0 references
    multidimensional matrices
    0 references
    homogeneous polynomials
    0 references
    partial derivatives of higher order
    0 references
    0 references
    0 references