Multidimensional functional equations and normalization of local matrix- functions
type: Item
instance of: scholarly article
title: Multidimensional functional equations and normalization of local matrix- functions
zbMATH Open document ID: 0665.39006
DOI: 10.1007/BF00975016
author: L. P. Kuchko
published in: Siberian Mathematical Journal
publication date: 1988-01-01T00:00:00Z
review text: This is a continuation of interesting and important investigations of the existence of \(C^{\infty}\)-solutions of functional equations with a given Taylor series. In the present paper the functional equation \((1)\quad \phi [F(x)]=Q(x)\phi (x)+\gamma (x)\) is considered under the assumption that F, Q and \(\gamma\) are defined and of the class \(C^{\infty}\) on a neighbourhood of the origin in \({\mathbb{R}}^ n\) with values in \({\mathbb{R}}^ n\), \({\mathbb{C}}^{m^ 2}\) and \({\mathbb{C}}^ m\), respectively, and F is a diffeomorphism. The author begins with a more general equation \((2)\quad \phi [F(x)]=H(x,\phi (x))\) assuming that the given function H is defined and of the class \(C^{\infty}\) on a neighbourhood of the origin in \({\mathbb{R}}^ n\times {\mathbb{R}}^ m\) with values in \({\mathbb{R}}^ m\), and has the form \(Q(x)y+\gamma (x)+h(x,y)\) with \(h(x,0)=\partial h/\partial y(x,0)=0;\) if \({\mathbb{R}}^ n=L_ 1\oplus L_ 2\) with locally invariant under F subspaces \(L_ 1\) and \(L_ 2\) and \(dist(F(x),L_ 2)<dist(x,L_ 2)\) for \(x\not\in L_ 2\), \(dist(F^{- 1}(x),L_ 1)<dist(x,L_ 1)\) for \(x\not\in L_ 1\), \(\gamma\) is flat at the origin and the matrix Q(0) is nilpotent, then there exists a solution \(\phi\) of (2) defined and of the class \(C^{\infty}\) on a neighbourhood of the origin in \({\mathbb{R}}^ n\) with values in \({\mathbb{R}}^ m\) and flat at the origin. In the next step the existence of a locally invertible \(C^{\infty}\)-map T: \({\mathbb{R}}^ n\to {\mathbb{C}}^{m^ 2}\) which reduces the matrix Q(x) to a diagonal hypermatrix \(diag[Q_ 1(x),Q_ 2(x)]\) with non-singular matrix \(Q_ 1(0)\) and a nilpotent \(Q_ 2(0)\) is proved. These main steps (and another reduction theorem proved in the paper) lead to a theorem which guarantees that to each formal series which fulfils (1) formally there exists a solution \(\phi\) of (1) defined and of the class \(C^{\infty}\) on a neighbourhood of the origin in \({\mathbb{R}}^ n\) with values in \({\mathb…
Mathematics Subject Classification ID: 39B12
Mathematics Subject Classification ID: 39B99
Mathematics Subject Classification ID: 15A21
zbMATH DE Number: 4088191
zbMATH Keywords: formal solutions
zbMATH Keywords: reduction of matrices
zbMATH Keywords: analytical solutions
zbMATH Keywords: diffeomorphism
zbMATH Keywords: flat
reviewed by: Karol Baron
MaRDI profile type: Publication
cites work: Q4136230
cites work: Sur la stabilité des diagrammes d'applications différentiables
cites work: Q4769406
cites work: Q1233671
cites work: Antisymmetric algebras differentiable functions on smooth manifolds
cites work: Q5566771
description: scientific article; zbMATH DE number 4088191