scientific article; zbMATH DE number 12762

From MaRDI portal
Publication:3978720





Let M be a differentiable manifold, and let \(\rho: G\times M\rightarrow M\) denote an action of an \(r\)-dimensional Lie group \(G\) on \(M\). A class \(C^ k\) function \(\nabla: U\rightarrow{\mathbb{R}}\) on an open subset \(U\) of \(M\) is said to be a local invariant function at \(p_ 0\in U\) if there exists a neighborhood \(B_ 0\) of \(p_ 0\), with \(B_ 0\subset U\), together with a neighborhood \(W_ 0\) of the identity of \(G\), such that \(W_ 0 \bullet B_ 0\subset U\) and \(\nabla (g\bullet p)=\nabla(p)\) for all \(g\in W_ 0\) and \(p\in B_ 0\). \(\{\)Here the notation \(g\bullet p=\rho(g,p)\) is used.\(\}\) A finite set \(\{\nabla_ 1,\dots,\nabla_ q\}\) of local invariant functions of class \(C^{k_ 0}\) at \(p_ 0\) is called a fundamental system at \(p_ 0\) if every local invariant function \(\nabla\) at \(p_ 0\) of class \(C^ k\) (\(0\leq k\leq k_ 0\)) admits the representation \[ \nabla(p)=f(\nabla_ 1(p),\dots,\nabla_ q(p))\leqno(*) \] for all p in a neighborhood of \(p_ 0\), when \(f\) is some function of class \(C^ k\) that depends on \(\nabla\). In this paper the author considers the so-called linear case for which \(M\) is a linear space and \(\rho\) is a linear action, and the formula (*) is analyzed for continuous or differentiable \(\nabla\) with rational or polynomial invariants \(\nabla_ 1,\dots,\nabla_ q\). This state of affairs is investigated in detail for rational linear representations of \(SO(n)\) and tensor representations of \(Gl(n,{\mathbb{R}})\). As an application of the latter the scalar concomitants of zero order of certain tensors are determined.


Recommendations










This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3978720)