## Generalized Group Actions in a Global Setting

### Sanja Konjik * * Faculty of Agriculture, University of Novi Sad, Trg Dositeja Obradovića 8, 21000 Novi Sad, SCG. Electronic mail: kinjoki@neobee.net Michael Kunzinger † † Faculty of Mathematics, University of Vienna, Nordbergstr. 15, A-1090 Wien, Austria, Electronic mail: michael.kunzinger@univie.ac.at

Abstract
We study generalized group actions on differentiable manifolds in the Colombeau framework, extending previous work on flows of generalized vector fields and symmetry group analysis of generalized solutions. As an application, we analyze group invariant generalized functions in this setting.
Mathematics Subject Classification (2000): Primary: 46F30; secondary: 46T30, 35A30, 58E40 Keywords: Generalized group actions, Colombeau generalized functions, group invariance, symmetry group analysis of generalized solutions

1 Introduction

Lie group analysis of differential equations is an indispensable tool for studying invariance properties of solutions of PDE as well as for finding explicit solutions, with a wealth of applications (cf.
[4, 25). In [19, 29, 30, 31, a study of invariance properties of distributions and distributional solutions of linear partial differential equations was initiated. Later on, symmetry group analysis of PDEs in generalized functions and systematic methods of deriving group invariant fundamental solutions using infinitesimal techniques of group analysis were developed [1, 2, 3, 11. Clearly, in the distributional setting a restriction to linear equations and linear projectable transformation groups is unavoidable.
On the other hand, many applied problems (e.g., systems of conservation laws) underline the need for an extension of the above techniques in order to handle nonlinear problems involving singularities. Algebras of generalized functions provide a setting for addressing such questions in a coherent way. This line of research was initiated in [24, 27, 28in the framework of the 'nowhere dense' algebras of E.E. Rosinger. An alternative approach, based on Colombeau's theory of algebras of generalized functions ([5, 6, 20), was developed in [14, 7, 21, 22and will form the basis for the present paper. In particular, in [14, 7criteria for classical symmetry groups to transform weak (distributional, Colombeau or associated) solutions of a given (smooth) system of differential equations into other solutions of the same type were given. In [14, 7, 21, 22, additionally both the differential operators and the group actions are allowed to be given by generalized functions. The setting of generalized functions employed in these works is that of ${\mathcal{G}}_{\tau }$  , the space of tempered Colombeau functions. As elements of ${\mathcal{G}}_{\tau }$  are characterized by global bounds, this setting appears unsuitable for an extension of the theory to the manifold setting. To lift this limitation, in the present work we employ the recently developed theory of Colombeau generalized functions taking values in differentiable manifolds ([13, 18) as well as the theory of generalized flows of singular vector fields ([15) to extend symmetry group analysis in Colombeau generalized functions to a global setting.
The paper is divided into 6 sections. Section 1 provides basic notations and definitions from Colombeau's theory of algebras of generalized functions (in particular in the manifold setting) and symmetry group analysis. In section  2 we consider generalized group actions and provide a notion of rank of a generalized function, which will be crucial for the infinitesimal criteria to be developed in section  5 . The question of localizing Colombeau generalized functions and an analysis of solution sets of generalized equations is the focus of section  4 . By borrowing a notion from nonstandard analysis we introduce the concept of near-standard points and show that these suffice to characterize equality of Colombeau functions. In section  5 we prove an infinitesimal criterion for symmetry groups of generalized algebraic equations and apply the obtained results in section 5 to symmetry group analysis of differential equations in the Colombeau framework.
Finally, in section  7 we turn to the topic of group invariant generalized functions in this setting.
Based on a recent result of Pilipović, Scarpalezos and Valmorin ([26) we provide an affirmative answer to an open question posed by M. Oberguggenberger in [22whether standard rotations suffice to characterize rotational invariance of Colombeau generalized functions.

2 Notations

In what follows, $M$  and $N$  will denote smooth, connected, paracompact Hausdorff manifolds of dimensions $m$  and $n$  , respectively.
Set $I=\left(0,1\right]$  and denote by $\mathcal{P}\left(M\right)$  the space of linear differential operators on $M$  . The spaces of moderate resp. negligible nets in $M$  are defined as
 $\begin{array}{ccc}{\mathcal{ℰ}}_{M}\left(M\right)& :=& \left\{\left({u}_{\varepsilon }{\right)}_{\varepsilon }\in {\mathcal{C}}^{\infty }\left(M{\right)}^{I}:\forall K\subset \subset M,\forall P\in \mathcal{P}\left(M\right)\exists p\in \mathbb{N}:\end{array}$
 $\begin{array}{ccc}& & {sup}_{x\in K}|P{u}_{\varepsilon }\left(x\right)|=O\left({\varepsilon }^{-p}\right)\right\}\end{array}$
 $\begin{array}{ccc}\mathcal{N}\left(M\right)& :=& \left\{\left({u}_{\varepsilon }{\right)}_{\varepsilon }\in {\mathcal{ℰ}}_{M}\left(M\right):\forall K\subset \subset M,\forall m\in {\mathbb{N}}_{0}:{sup}_{x\in K}|{u}_{\varepsilon }\left(x\right)|=O\left({\varepsilon }^{m}\right)\right\}\end{array}$
(due to [10, ch. 1, Th. 1.2.3, for the characterization of $\mathcal{N}\left(M\right)$  as a subspace of $\mathcal{ℰ}M\left(M\right)$  it is sufficient to estimate only the $0$  -th order derivative). Clearly, $\mathcal{N}\left(M\right)$  is an ideal of the differential algebra ${\mathcal{ℰ}}_{M}\left(M\right)$  . The special Colombeau algebra $\mathcal{G}\left(M\right)$  on $M$  is defined as the quotient ${\mathcal{ℰ}}_{M}\left(M\right)/\mathcal{N}\left(M\right)$  ; it is an associative, commutative differential algebra whose elements are equivalence classes denoted by $u=\left[\left({u}_{\varepsilon }{\right)}_{\varepsilon }\right]$  . $\mathcal{G}\left(_\right)$  is a fine sheaf of differential algebras with respect to the Lie derivative along smooth vector fields. ${\mathcal{C}}^{\infty }\left(M\right)$  is a subalgebra of $\mathcal{G}\left(M\right)$  and there exist injective sheaf morphisms embedding ${\mathcal{D}}^{\prime }\left(_\right)$  linearly into $\mathcal{G}\left(_\right)$  .
A point value characterization of Colombeau generalized functions is based on the concept of compactly supported generalized points ([23, 9). The space of compactly supported generalized points ${M}_{c}$  is the set of all nets $\left({x}_{\varepsilon }{\right)}_{\varepsilon }\in {M}^{I}$  for which ${x}_{\varepsilon }$  stays in a fixed compact set for $\varepsilon$  small.
In ${M}_{c}$  one introduces an equivalence relation $\sim$  in the following way: for $\left({x}_{\varepsilon }{\right)}_{\varepsilon },\left({y}_{\varepsilon }{\right)}_{\varepsilon }\in {M}_{c}$  , $\left({x}_{\varepsilon }{\right)}_{\varepsilon }\sim \left({y}_{\varepsilon }{\right)}_{\varepsilon }⇔{d}_{h}\left({x}_{\varepsilon },{y}_{\varepsilon }\right)=O\left({\varepsilon }^{m}\right)$  , for each $m>0$  , where ${d}_{h}$  denotes the distance function induced on $M$  by one (hence any) Riemannian metric $h$  . The quotient space ${\stackrel{~}{M}}_{c}:={M}_{c}/\sim$  is called the space of compactly supported generalized points on $M$  , and we denote its elements by $\stackrel{~}{x}=\left[\left({x}_{\varepsilon }{\right)}_{\varepsilon }\right]$  . In the case $M=\mathbb{R}$  one also defines the ring of generalized numbers $\stackrel{~}{\mathbb{R}}$  as the quotient of the set of moderate nets of numbers $\left({r}_{\varepsilon }{\right)}_{\varepsilon }\in {\mathbb{R}}^{I}$  with $|{r}_{\varepsilon }|=O\left({\varepsilon }^{-p}\right)$  for some $p\in \mathbb{N}$  modulo the set of negligible nets $\left({r}_{\varepsilon }{\right)}_{\varepsilon }$  with $|{r}_{\varepsilon }|=O\left({\varepsilon }^{m}\right)$  for each $m$  . It is the ring of constants in the Colombeau algebra. Insertion of a compactly supported generalized point into any representative of a Colombeau generalized function produces a well-defined element of $\stackrel{~}{\mathbb{R}}$  . Moreover, elements of $\mathcal{G}\left(M\right)$  are uniquely determined by their values on ${\stackrel{~}{M}}_{c}$  .
In order to describe generalized functions on the manifold $M$  taking values in the manifold $N$  one introduces the space $\mathcal{G}\left[M,N\right]$  of compactly supported (or c-bounded for short) generalized functions. A net $\left({u}_{\varepsilon }{\right)}_{\varepsilon }\in {\mathcal{C}}^{\infty }\left(M,N{\right)}^{I}$  is called c-bounded if $\forall K\subset \subset M\exists {\varepsilon }_{0}>0\exists {K}^{\prime }\subset \subset N\forall \varepsilon <{\varepsilon }_{0}:{u}_{\varepsilon }\left(K\right)\subseteq {K}^{\prime }.$  A c-bounded net is moderate if it satisfies:
• $\forall k\in \mathbb{N}$  , for each chart $\left(V,\phi \right)$  in $M$  , each chart $\left(W,\psi \right)$  in $N$  , each $L\subset \subset V$  and each ${L}^{\prime }\subset \subset W$  there exists $p\in \mathbb{N}$  with ${sup}_{x\in L\cap {u}_{\varepsilon }^{-1}\left({L}^{\prime }\right)}\parallel {D}^{\left(k\right)}\left(\psi \circ {u}_{\varepsilon }\circ {\phi }^{-1}\right)\left(\phi \left(x\right)\right)\parallel =O\left({\varepsilon }^{-p}\right),$
Denote by ${\mathcal{ℰ}}_{M}\left[M,N\right]$  the set of all moderate c-bounded nets. Introduce an equivalence relation $\sim$  in ${\mathcal{ℰ}}_{M}\left[M,N\right]$  in the following way: $\left({u}_{\varepsilon }{\right)}_{\varepsilon },\left({v}_{\varepsilon }{\right)}_{\varepsilon }\in {\mathcal{ℰ}}_{M}\left[M,N\right]$  , $\left({u}_{\varepsilon }{\right)}_{\varepsilon }\sim \left({v}_{\varepsilon }{\right)}_{\varepsilon }$  if
• (i) $\forall K\subset \subset M$  , ${sup}_{x\in K}{d}_{h}\left({u}_{\varepsilon }\left(x\right),{v}_{\varepsilon }\left(x\right)\right)\to 0$  ( $\varepsilon \to 0$  ) for some (hence every) Riemannian metric $h$  on $N$  .
• (ii) $\forall k\in {\mathbb{N}}_{0}\forall m\in \mathbb{N}$  , for each chart $\left(V,\phi \right)$  in $M$  , each chart $\left(W,\psi \right)$  in $N$  , each $L\subset \subset V$  and each ${L}^{\prime }\subset \subset W$  :
${sup}_{x\in L\cap {u}_{\varepsilon }^{-1}\left({L}^{\prime }\right)\cap {v}_{\varepsilon }^{-1}\left({L}^{\prime }\right)}\parallel {D}^{\left(k\right)}\left(\psi \circ {u}_{\varepsilon }\circ {\phi }^{-1}-\psi \circ {v}_{\varepsilon }\circ {\phi }^{-1}\right)\left(\phi \left(x\right)\right)\parallel =O\left({\varepsilon }^{m}\right).$
The space of c-bounded Colombeau generalized functions from $M$  to $N$  is defined as the quotient $\mathcal{G}\left[M,N\right]:={\mathcal{ℰ}}_{M}\left[M,N\right]/\sim$  .
Alternative characterizations of the notions of moderatness and equivalence for the elements of ${\mathcal{C}}^{\infty }\left(M,N{\right)}^{I}$  are: $\left({u}_{\varepsilon }{\right)}_{\varepsilon }\in {\mathcal{ℰ}}_{M}\left[M,N\right]⇔\left(f\circ {u}_{\varepsilon }{\right)}_{\varepsilon }\in {\mathcal{ℰ}}_{M}\left(M\right)$  , $\forall f\in {\mathcal{C}}^{\infty }\left(N\right)$  ([18, Prop. 3.2) and $\left({u}_{\varepsilon }{\right)}_{\varepsilon }\sim \left({v}_{\varepsilon }{\right)}_{\varepsilon }\left(\left({u}_{\varepsilon }{\right)}_{\varepsilon },\left({v}_{\varepsilon }{\right)}_{\varepsilon }\right)\in {\mathcal{ℰ}}_{M}\left[M,N\right]\right)⇔\left(f\circ {u}_{\varepsilon }-f\circ {v}_{\varepsilon }{\right)}_{\varepsilon }\in \mathcal{N}\left(M\right)$  , $\forall f\in {\mathcal{C}}^{\infty }\left(N\right)$  ([18, Th. 3.3).
Similarly as for the elements of $\mathcal{G}\left(M\right)$  , if $u\in \mathcal{G}\left[M,N\right]$  and $\stackrel{~}{x}\in {\stackrel{~}{M}}_{c}$  then $u\left(\stackrel{~}{x}\right)=\left[\left({u}_{\varepsilon }\left({x}_{\varepsilon }\right){\right)}_{\varepsilon }\right]$  is a well-defined element of ${\stackrel{~}{N}}_{c}$  , and elements of $\mathcal{G}\left[M,N\right]$  are uniquely determined by their values on all compactly supported generalized points on $M$  , i.e. $u=v⇔u\left(\stackrel{~}{x}\right)=v\left(\stackrel{~}{x}\right)$  , $\forall \stackrel{~}{x}\in {\stackrel{~}{M}}_{c}$  ([18, Th. 3.5).
If $E\to M$  is any vector bundle over $M$  , denote by $\Gamma \left(M,E\right)$  the space of smooth sections of $E$  , and by $\mathcal{P}\left(M,E\right)$  the space of differential operators $\Gamma \left(M,E\right)\to \Gamma \left(M,E\right)$  . The module of generalized sections of $E$  , ${\Gamma }_{\mathcal{G}}\left(M,E\right)$  , is defined as the quotient ${\Gamma }_{{\mathcal{ℰ}}_{M}}\left(M,E\right)/{\Gamma }_{\mathcal{N}}\left(M,E\right)$  where
 $\begin{array}{ccc}{\Gamma }_{{\mathcal{ℰ}}_{M}}\left(M,E\right)& :=& \left\{\left({s}_{\varepsilon }{\right)}_{\varepsilon }\in \Gamma \left(M,E{\right)}^{I}:\forall P\in \mathcal{P}\left(M,E\right)\forall K\subset \subset M\exists p\in \mathbb{N}:\end{array}$
 $\begin{array}{ccc}& & {sup}_{x\in K}\parallel P{u}_{\varepsilon }\left(x\right){\parallel }_{h}=O\left({\varepsilon }^{-p}\right)\right\}\end{array}$
 $\begin{array}{ccc}{\Gamma }_{\mathcal{N}}\left(M,E\right)& :=& \left\{\left({s}_{\varepsilon }{\right)}_{\varepsilon }\in {\Gamma }_{{\mathcal{ℰ}}_{M}}\left(M,E\right):\forall K\subset \subset M\forall m\in \mathbb{N}:\end{array}$
 $\begin{array}{ccc}& & {sup}_{x\in K}\parallel {u}_{\varepsilon }\left(x\right){\parallel }_{h}=O\left({\varepsilon }^{m}\right)\right\},\end{array}$
where $\parallel {\parallel }_{h}$  is the norm on the fibers of $E$  induced by any Riemannian metric on $M$  . ${\Gamma }_{\mathcal{G}}\left(_,E\right)$  is a fine sheaf of projective and finitely generated $\mathcal{G}\left(M\right)$  -modules, and ${\Gamma }_{\mathcal{G}}\left(M,E\right)=\mathcal{G}\left(M\right){\otimes }_{{\mathcal{C}}^{\infty }\left(M\right)}\Gamma \left(M,E\right).$  If $E$  is some tensor bundle ${T}_{s}^{r}M$  we write ${\mathcal{G}}_{s}^{r}\left(M\right)$  instead of ${\Gamma }_{\mathcal{G}}\left(M,{T}_{s}^{r}M\right)$  ; in particular, if $E$  is the tangent bundle $TM\left(={T}_{0}^{1}M\right)$  then ${\mathcal{G}}_{0}^{1}\left(M\right)$  is the space of generalized vector fields on $M$  .
We say that a generalized vector field $\xi \in {\mathcal{G}}_{0}^{1}\left(M\right)$  is locally bounded resp. locally of ${L}^{\infty }$  -log-type if for all $K\subset \subset M$  and one (hence every) Riemannian metric $h$  on $M$  we have for any representative $\left({\xi }_{\varepsilon }{\right)}_{\varepsilon }$  and $\varepsilon$  sufficiently small ${sup}_{x\in K}\parallel {\xi }_{\varepsilon }{|}_{x}{\parallel }_{h}\le C\text{resp.}{sup}_{x\in K}\parallel {\xi }_{\varepsilon }{|}_{x}{\parallel }_{h}\le C|log\varepsilon |.$  $\xi$  is called globally bounded with respect to $h$  if for some (hence every) representative $\left({\xi }_{\varepsilon }{\right)}_{\varepsilon }$  of $\xi$  there exists $C>0$  with ${sup}_{x\in M}\parallel {\xi }_{\varepsilon }{|}_{x}{\parallel }_{h}\le C,$  for $\varepsilon$  small (cf. [15, Def. 3.4).
To conclude this section we fix some notations from symmetry group analysis of differential equations, following [25. Let $X$  and $U$  be spaces of independent and dependent variables and suppose that $G$  is a local Lie group of transformations acting regularly on some open subset $M\subseteq X×U$  ; for the group action we write $g\cdot \left(x,u\right)=\left({\Xi }_{g}\left(x,u\right),{\Psi }_{g}\left(x,u\right)\right)$  , with appropriate smooth functions ${\Xi }_{g}$  and ${\Psi }_{g}$  . If ${\Xi }_{g}$  does not depend on the dependent variables the group action is called projectable. The $n$  -jet space of $M$  will be denoted by ${M}^{\left(n\right)}$  and the $n$  -th prolongation of a group action $g$  resp. vector field $\mathbf{v}$  by $pr\left(n\right)g$  resp. $pr\left(n\right)\mathbf{v}$  . If ${\Delta }_{\nu }\left(x,u\left(n\right)\right)=0$  $\left(1\le \nu \le l\right)$  is a system of $n$  -th order differential equations on $M$  , where $\Delta :X×{U}^{\left(n\right)}\to {\mathbb{R}}^{l}$  is a smooth function, then the solution set of $\Delta$  is the subvariety ${S}_{\Delta }:=\left\{\left(x,u\left(n\right)\right):\Delta \left(x,u\left(n\right)\right)=0\right\}$  of $X×{U}^{\left(n\right)}$  . We say that a function $f$  is a solution of the system if the $n$  -jet of the graph ${\Gamma }_{f}=\left\{\left(x,f\left(x\right)\right):x\in \Omega \right\}\subset X×U\right\}$  of $f$  , i.e. ${\Gamma }_{f}^{\left(n\right)}$  is contained in ${S}_{\Delta }$  . A symmetry group of $\Delta$  is a local transformation group $G$  acting on $M$  with the property that whenever $u=f\left(x\right)$  is a solution of the system and $g\cdot f$  $\left(g\in G\right)$  is defined, then $g\cdot f$  is again a solution of $\Delta$  .

3 Generalized Group Actions

To begin with we recall the following definitions from [15:
3.1 Definition. A generalized group action on a manifold $M$  is an element $\Phi \in \mathcal{G}\left[\mathbb{R}×M,M\right]$  with the following properties:
• (i) $\Phi \left(0,\cdot \right)=\text{id}$  in $\mathcal{G}\left[M,M\right]$
• (ii) $\Phi \left({\eta }_{1}+{\eta }_{2},x\right)=\Phi \left({\eta }_{1},\Phi \left({\eta }_{2},x\right)\right)$  in $\mathcal{G}\left[{\mathbb{R}}^{2}×M,M\right]$  .
In the following definition we make use of ${\mathcal{G}}^{h}$  , the space of hybrid Colombeau functions defined on a manifold and taking values in a vector bundle which was introduced in [17(see also [10).
3.2 Definition. Let $\xi \in {\mathcal{G}}_{0}^{1}\left(M\right)$  be a generalized vector field such that there exists a unique generalized group action $\Phi \in \mathcal{G}\left[\mathbb{R}×M,M\right]$  satisfying
 $\begin{array}{c}\frac{d}{d\eta }\Phi \left(\eta ,x\right)=\xi \left(\Phi \left(\eta ,x\right)\right)\text{in}{\mathcal{G}}^{h}\left[\mathbb{R}×M,TM\right]\end{array}$ (1)
Then $\xi$  is called the infinitesimal generator of $\Phi$  and both $\xi$  and its generalized flow $\Phi$  are called $\mathcal{G}$  -complete. We call $\xi$  and $\Phi$  strictly $\mathcal{G}$  -complete if, in addition, there exist representatives $\left({\xi }_{\varepsilon }{\right)}_{\varepsilon }$  , $\left({\Phi }_{\varepsilon }{\right)}_{\varepsilon }$  such that ${\Phi }_{\varepsilon }$  is the flow of ${\xi }_{\varepsilon }$  for each $\varepsilon \in I$  .
Even for not necessarily $\mathcal{G}$  -complete group actions $\Phi$  we shall call a generalized vector field $\xi$  an infinitesimal generator of $\Phi$  if ( 1 ) holds. In practice, since in order to show $\mathcal{G}$  -completeness one usually works componentwise, the condition of strict $\mathcal{G}$  -completeness is normally no additional restriction, cf. the following remark.
3.3 Remark. Sufficient conditions for $\mathcal{G}$  -completeness of a generalized vector field $\xi$  have been derived in [15, Th. 3.5 for the case of $\left(M,h\right)$  a complete Riemannian manifold, to wit:
• (i) $\xi$  is globally bounded with respect to $h$  , and
• (ii) for each first-order differential operator $P\in \mathcal{P}\left(M,TM\right)$  , $P\xi$  is locally of ${L}^{\infty }$  -log-type.
In fact, these conditions even ensure strict $\mathcal{G}$  -completeness of $\xi$  .
One of our main interest in generalized group actions in this work will be symmetry properties in the following sense:
3.4 Definition. Let $F\in \mathcal{G}\left(M\right)$  and let $\Phi$  be a $\mathcal{G}$  -complete generalized group action on $M$  . $\Phi$  is called a symmetry group of the equation $F\left(x\right)=0$  in $\mathcal{G}\left(M\right)$  if for any $\stackrel{~}{x}\in {\stackrel{~}{M}}_{c}$  with $F\left(\stackrel{~}{x}\right)=0\in \stackrel{~}{\mathbb{R}}$  we have $F\left(\Phi \left(\stackrel{~}{\eta },\stackrel{~}{x}\right)\right)=0$  in $\stackrel{~}{\mathbb{R}}$  , for every $\stackrel{~}{\eta }\in {\stackrel{~}{\mathbb{R}}}_{c}$  (i.e., $\eta ↦F\left(\Phi \left(\eta ,\stackrel{~}{x}\right)\right)=0$  in $\mathcal{G}\left(\mathbb{R}\right)$  ). If $F=\left({F}_{\nu }{\right)}_{\nu =1}^{l}\in \mathcal{G}\left(M{\right)}^{l}$  , then $\Phi$  is called a symmetry group of the equation $F=0$  if it is a symmetry group of each equation ${F}_{\nu }=0$  $\left(1\le \nu \le l\right)$  .
We note that, since $\mathcal{G}\left[M,\mathbb{R}\right]$  is naturally contained in $\mathcal{G}\left(M\right)$  , the above definitions and results directly apply to c-bounded generalized functions as well.
As in the classical case (cf. [25, ch. 2) our first aim is to derive infinitesimal criteria characterizing symmetries of “algebraic” equations as in  3.4 . In the smooth setting, one supposes a maximal rank condition on $F$  and then uses distinguished local charts to obtain the desired result. In our present context, however, a direct transfer of classical methods is impossible due to the lack of structure of the space ${\stackrel{~}{M}}_{c}$  of compactly supported generalized points on $M$  . In particular, elements of ${\stackrel{~}{M}}_{c}$  are only very weakly localized in the sense that every $\stackrel{~}{x}\in {\stackrel{~}{M}}_{c}$  possesses a representative contained in a suitable compact set in $M$  . We therefore call an open set $U\subseteq M$  a neighborhood of $\stackrel{~}{x}=\left[\left({x}_{\varepsilon }{\right)}_{\varepsilon }\right]$  if $\exists {\varepsilon }_{0}\exists K\subset \subset U\text{s.t.}{x}_{\varepsilon }\in K\forall \varepsilon <{\varepsilon }_{0}.$  Moreover, in the absence of an inverse function theorem in the generalized function setting, it is a priori not clear how to define the rank of a generalized function. Since, on the positive side, inversion of generalized functions is possible in $\mathcal{G}\left[M,N\right]$  we suggest the following notion of rank of a generalized map:
3.5 Definition. Let $F\in \mathcal{G}\left[M,N\right]$  , $k\in \left\{0,...,min\left(m,n\right)\right\}$  and $\stackrel{~}{x}\in {\stackrel{~}{M}}_{c}$  . $F$  is called of rank $k$  in $\stackrel{~}{x}$  if there exist open neighborhoods $U\subseteq M$  of $\stackrel{~}{x}$  , $V\subseteq N$  of $F\left(\stackrel{~}{x}\right)$  , open sets ${U}^{\prime }\subseteq {\mathbb{R}}^{m}$  , ${V}^{\prime }\subseteq {\mathbb{R}}^{n}$  , ${\varepsilon }_{0}>0$  and diffeomorphisms ${\phi }_{\varepsilon }:U\to {U}^{\prime }$  , ${\psi }_{\varepsilon }:V\to {V}^{\prime }$  for each $\varepsilon \in \left(0,{\varepsilon }_{0}\right]$  with $\phi =\left[\left({\phi }_{\varepsilon }{\right)}_{\varepsilon }\right]\in \mathcal{G}\left[U,{U}^{\prime }\right]$  , ${\phi }^{-1}:=\left[\left({\phi }_{\varepsilon }^{-1}{\right)}_{\varepsilon }\right]\in \mathcal{G}\left[{U}^{\prime },U\right]$  , $\psi =\left[\left({\psi }_{\varepsilon }{\right)}_{\varepsilon }\right]\in \mathcal{G}\left[V,{V}^{\prime }\right]$  ${\psi }^{-1}:=\left[\left({\psi }_{\varepsilon }^{-1}{\right)}_{\varepsilon }\right]\in \mathcal{G}\left[{V}^{\prime },V\right]$  such that $F{|}_{U}\in \mathcal{G}\left[U,V\right]$  and $\psi \circ F\circ {\phi }^{-1}=\left({x}_{1},...,{x}_{m}\right)↦\left({x}_{1},...,{x}_{k},0,...,0\right)$  in $\mathcal{G}\left[{U}^{\prime },{V}^{\prime }\right]$  . If $A\subseteq U$  then $F$  is called of rank $k$  globally on $A$  .
It is straightforward to adapt this definition also to the case where $F\in \mathcal{G}\left(M{\right)}^{l}$  (set $N=\mathbb{R}n$  and ${\psi }_{\varepsilon }=id$  for all $\varepsilon$  ).
According to the above discussion it is natural to ask whether a more strict localization than the one used in Definition  3.5 is attainable in general. Before we proceed with the theory of symmetry groups of generalized algebraic equations we should therefore investigate the possibility of localizing Colombeau generalized functions resp. solution sets of generalized equations. The following section is devoted to this purpose.

4 Localization

By the point value characterization of Colombeau generalized functions (cf. [23, [16, [18), elements of $\mathcal{G}\left(M\right)$  as well as of $\mathcal{G}\left[M,N\right]$  are uniquely determined by their values on compactly supported generalized points on $M$  .
As was mentioned in the previous section, elements of ${\stackrel{~}{M}}_{c}$  are only weakly localized, so in particular the existence of suitable open neighborhoods of $\stackrel{~}{x}\in {\stackrel{~}{M}}_{c}$  as in Definition  3.5 is not necessarily guaranteed. Therefore the question arises whether we need all elements of ${\stackrel{~}{M}}_{c}$  to characterize elements of $\mathcal{G}\left(M\right)$  (or $\mathcal{G}\left[M,\mathbb{R}\right]$  ) or if more strongly localized generalized points suffice. The following definition borrows a concept from nonstandard analysis to specify what is meant by this notion:
4.1 Definition. A point $\stackrel{~}{x}\in {\stackrel{~}{M}}_{c}$  is called near-standard if there exists $x\in M$  such that $\stackrel{~}{x}\approx x$  (i.e., ${x}_{\varepsilon }\to x$  $\left(\varepsilon \to 0\right)$  for every representative of $\stackrel{~}{x}$  ).
In particular, any neighborhood of $x$  is a neighborhood of $\stackrel{~}{x}\approx x$  in the sense of section  3 . Near-standard points indeed suffice to characterize Colombeau generalized functions:
4.2 Proposition. (i) Let $u\in \mathcal{G}\left(M\right)$  . Then $u=0$  if and only if $u\left(\stackrel{~}{x}\right)=0$  , for all near-standard points $\stackrel{~}{x}\in {\stackrel{~}{M}}_{c}$  .
(ii) Let $u,v\in \mathcal{G}\left[M,N\right]$  . Then $u=v$  if and only if $u\left(\stackrel{~}{x}\right)=v\left(\stackrel{~}{x}\right)$  , for all near-standard points $\stackrel{~}{x}\in {\stackrel{~}{M}}_{c}$  .
Proof. (i) One direction is clear. So, suppose that $u\left(\stackrel{~}{x}\right)=0$  , for all near-standard points $\stackrel{~}{x}\in {\stackrel{~}{M}}_{c}$  and suppose that $u\ne 0$  . Then
 $\begin{array}{c}\exists K\subset \subset M\exists m\forall k\in \mathbb{N}\exists {x}_{k}\in K\exists {\varepsilon }_{k}k{\varepsilon }_{k}^{m}.\end{array}$ (2)
Since $K$  is a compact set there exists a subsequence ${x}_{{k}_{l}}$  which converges to $x\in K$  . Set ${x}_{\varepsilon }:={x}_{{k}_{l}}$  for $\varepsilon \in \left({\varepsilon }_{{k}_{l+1}},{\varepsilon }_{{k}_{l}}\right]$  and $\stackrel{~}{x}:=\left[\left({x}_{\varepsilon }{\right)}_{\varepsilon }\right]\in {\stackrel{~}{M}}_{c}$  . $\stackrel{~}{x}$  is a near-standard point and from ( 2 ) it follows that $u\left(\stackrel{~}{x}\right)\ne 0$  , which gives a contradiction.
(ii) Necessity is again obvious. For the converse direction we use the characterization of $c$  -bounded generalized functions given in [18. Let $f\in \mathcal{C}\infty \left(N\right)$  . Then $f\circ u$  and $f\circ v$  are well defined elements of $\mathcal{G}\left(M\right)$  . For any near-standard point $\stackrel{~}{x}\in {\stackrel{~}{M}}_{c}$  we have by (i) that $\left(f\circ u\right)\left(\stackrel{~}{x}\right)=\left(f\circ v\right)\left(\stackrel{~}{x}\right),$  so $f\circ u=f\circ v$  in $\mathcal{G}\left(M\right)$  . Hence, $\left(f\circ {u}_{\varepsilon }-f\circ {v}_{\varepsilon }{\right)}_{\varepsilon }\in \mathcal{N}\left(M\right)$  and by [18, Th. 3.3 it follows that $u=v$  . $\square$  In the smooth setting, a maximal rank condition on the set of solutions of an equation $F\left(x\right)=0$  allows to derive an infinitesimal criterion for symmetry groups of the equation (cf. [25, ch. 2).
In the generalized case, however, the assumption of maximal rank in each near-standard point $\stackrel{~}{x}\in {\stackrel{~}{M}}_{c}$  which is a solution of $F\left(x\right)=0$  , $F\in \mathcal{G}\left(M\right)$  , may be insufficient. We illustrate this by the following example:
4.3 Example. Set $M=\mathbb{R}$  , $I=\left(0,1\right]$  and $J={\cup }_{n=1}^{\infty }\left(\frac{1}{2n+1},\frac{1}{2n}\right]$  . Let
 $\begin{array}{c}{x}_{\varepsilon }=\left\{\begin{array}{cc}0,& \varepsilon \in J,\\ 1,& \varepsilon \in I\J\end{array}\end{array}$ (3)
 $\begin{array}{c}{F}_{\varepsilon }\left(x\right)=\left\{\begin{array}{cc}x,& \varepsilon \in J,\\ x-1,& \varepsilon \in I\J.\end{array}\end{array}$ (4)
Then ${F}_{\varepsilon }\left({x}_{\varepsilon }\right)=0$  for all $\varepsilon$  and $\stackrel{~}{x}:=\left[\left({x}_{\varepsilon }{\right)}_{\varepsilon }\right]$  is not a near-standard point. We claim that the solution set ${S}_{F}=\left\{\stackrel{~}{y}\in {\stackrel{~}{\mathbb{R}}}_{c}|F\left(\stackrel{~}{y}\right)=0\right\}$  does not contain any near-standard point. To see this, suppose that $\stackrel{~}{y}=\left[\left({y}_{\varepsilon }{\right)}_{\varepsilon }\right]$  satisfies $F\left(\stackrel{~}{y}\right)=0$  . Then ${F}_{\varepsilon }\left({y}_{\varepsilon }\right)={y}_{\varepsilon }-1\text{on}I\J$  and ${F}_{\varepsilon }\left({y}_{\varepsilon }\right)={y}_{\varepsilon }\text{on}J.$  Suppose that $\stackrel{~}{y}$  is a near-standard point and choose $y\in \mathbb{R}$  such that ${y}_{\varepsilon }\to y$  when $\varepsilon \to 0$  . Then since $F\left(\stackrel{~}{y}\right)=0$  we obtain $y-1=0=y$  , a contradiction. Moreover, the above reasoning implies that $\stackrel{~}{x}$  is in fact the only zero of the equation $F\left(x\right)=0$  in ${\stackrel{~}{\mathbb{R}}}_{c}$  .
This example shows that there exist functions whose solution set is nonempty although it does not contain any near-standard points. In order to obtain infinitesimal criteria for an equation $F\left(x\right)=0$  we will therefore have to require a maximal rank condition in a neighborhood of all of ${S}_{F}$  , no matter which types of generalized points belong to it.
An alternative localization strategy consists in considering an open covering $\mathcal{U}$  of $M$  . Since $\mathcal{G}$  is a sheaf, $F=0$  on $M$  if and only if $F=0$  on each open set $U\subseteq M$  . Also, if $\Phi$  is a symmetry group of the equation $F\left(x\right)=0\text{in}\mathcal{G}\left(M\right)$  then for every open covering $\mathcal{U}$  of $M$  , $\Phi$  is a symmetry group of $F{|}_{U}\left(x\right)=0$  for each $U\in \mathcal{U}$  . However, a localization to near-standard points fails in general: consider again Example  4.3 . Let ${U}_{1}=\left(-\infty ,\frac{1}{2}\right)$  and ${U}_{2}=\left(\frac{1}{4},\infty \right)$  . Then the intersection of ${S}_{F}$  with both $\left({\stackrel{~}{U}}_{1}{\right)}_{c}$  and $\left({\stackrel{~}{U}}_{2}{\right)}_{c}$  is empty, although ${S}_{F}$  itself is nonempty, consisting precisely of the generalized point $\stackrel{~}{x}$  from ( 3 ).

5 Infinitesimal criteria

Our aim in this section is to derive infinitesimal criteria for symmetry groups of algebraic equations in the Colombeau setting. To this end we will need the following auxilliary result:
5.1 Lemma. Let ${\psi }_{\varepsilon }:M\to N$  $\left(\varepsilon \in I\right)$  be a net of diffeomorphisms such that $\psi =\left[\left({\psi }_{\varepsilon }{\right)}_{\varepsilon }\right]\in \mathcal{G}\left[M,N\right]$  and ${\psi }^{-1}=\left[\left({\psi }_{\varepsilon }^{-1}{\right)}_{\varepsilon }\right]\in \mathcal{G}\left[N,M\right]$  . If $\Phi$  is a strictly $\mathcal{G}$  -complete group action on $N$  with generator $\xi \in {\mathcal{G}}_{0}^{1}\left(N\right)$  then ${\psi }^{*}\Phi =\left[\left({\psi }^{*}{\Phi }_{\varepsilon }{\right)}_{\varepsilon }\right]$  is a stricly $\mathcal{G}$  -complete group action on $M$  with infinitesimal generator ${\psi }^{*}\xi =\left[\left({\psi }^{*}{\xi }_{\varepsilon }{\right)}_{\varepsilon }\right]$  .
Proof. Choose representatives $\left({\xi }_{\varepsilon }{\right)}_{\varepsilon }$  , $\left({\Phi }_{\varepsilon }{\right)}_{\varepsilon }$  as in the definition of strict $\mathcal{G}$  -completeness. Then for each fixed $\varepsilon \in I$  , ${\psi }^{*}{\Phi }_{\varepsilon }\left(\eta ,x\right)={\psi }^{-1}\circ {\Phi }_{\varepsilon }\left(\eta ,\psi \left(x\right)\right)$  is a group action on $M$  with generator ${\psi }^{*}{\xi }_{\varepsilon }=T{\psi }^{-1}\circ {\xi }_{\varepsilon }\circ \psi$  . Since equation ( 1 ) transfers componentwise from $N$  to $M$  , strict $\mathcal{G}$  -completeness of the pullback follows. $\square$  In the formulation of Theorem  5.2 below we will make use of the following definition: a subset of ${\mathbb{R}}^{n}$  is called an $n$  -dimensional box if it is a product ${I}_{1}×\cdot \cdot \cdot ×{I}_{n}$  of $n$  finite or infinite open intervals in $\mathbb{R}$  .
5.2 Theorem. Let $\Phi$  be a stricly $\mathcal{G}$  -complete group action on $M$  with generator $\xi$  . Let $F\in \mathcal{G}\left(M{\right)}^{l}$  be of maximal rank on some $U$  with ${\stackrel{~}{U}}_{c}\supseteq \Phi \left(\left(-{\eta }_{0},{\eta }_{0}{\right)}_{c}^{\sim }×{S}_{F}\right)$  ( ${\eta }_{0}>0$  ) via a generalized chart $\psi \in \mathcal{G}\left[U,V\right]$  , where ${S}_{F}:=\left\{\stackrel{~}{x}\in {\stackrel{~}{M}}_{c}|F\left(\stackrel{~}{x}\right)=0\right\}$  . Set $\overline{\xi }:=\left({\psi }^{-1}{\right)}^{*}\xi$  and suppose that one of the following conditions holds:
• (i) $V={\mathbb{R}}^{m}$  and $\overline{\xi }$  possesses a representative $\left({\overline{\xi }}_{\varepsilon }{\right)}_{\varepsilon }$  satisfying:
$\exists C,{\varepsilon }_{0}>0\text{such that}|{\overline{\xi }}_{\varepsilon }\left(x\right)|\le C\left(1+|x|\right)\left(x\in {\mathbb{R}}^{n},\varepsilon <{\varepsilon }_{0}\right).$
• (ii) $V$  is a box and $D\overline{\xi }$  is locally of ${L}^{\infty }$  $log$  -type.
Then $\Phi$  is a symmetry group of
 $\begin{array}{c}{F}_{\nu }\left(x\right)=0\left(1\le \nu \le l\right)\end{array}$ (5)
if and only if
 $\begin{array}{c}\xi \left({F}_{\nu }\right){|}_{\stackrel{~}{x}}=01\le \nu \le l\forall \stackrel{~}{x}\in {S}_{F}.\end{array}$ (6)
Proof. Let $\Phi$  be a symmetry group of ( 5 ). Then for each $\stackrel{~}{x}\in {S}_{F}$  , the generalized function $\eta ↦F\left(\Phi \left(\eta ,\stackrel{~}{x}\right)\right)$  equals $0$  in $\mathcal{G}\left(\mathbb{R}\right)$  . Therefore, $0={\frac{d}{d\eta }|}_{0}F\left(\Phi \left(\eta ,\stackrel{~}{x}\right)\right)=\xi \left(F\right){|}_{\stackrel{~}{x}}.$  Conversely, by assumption we have $F\circ {\psi }^{-1}=\text{pr}:V\subseteq \mathbb{R}m\to \mathbb{R}l$  . By Lemma  5.1 , $\left({\psi }^{-1}{\right)}^{*}\xi$  is a strictly $\mathcal{G}$  -complete vector field on $V$  with flow $\overline{\Phi }\left(\eta ,x\right):=\left(\eta ,x\right)↦\psi \circ \Phi \left(\eta ,{\psi }^{-1}\left(x\right)\right)$  . Write $\overline{\xi }=\left({\psi }^{-1}{\right)}^{*}\xi ={\sum }_{i=1}^{m}{\overline{\xi }}_{i}{\partial }_{{x}_{i}}$  and $\overline{F}:=\left({\psi }^{-1}{\right)}^{*}F=\left({x}_{1},...,{x}_{m}\right)↦\left({x}_{1},...,{x}_{l}\right).$  Then ${S}_{\overline{F}}=\psi \left({S}_{F}\right)=\left\{\stackrel{~}{x}\in {\stackrel{~}{V}}_{c}|\overline{F}\left(\stackrel{~}{x}\right)=0\text{in}{\stackrel{~}{\mathbb{R}}}_{c}^{l}\right\}=\left\{\stackrel{~}{x}\in {\stackrel{~}{V}}_{c}|\left({\stackrel{~}{x}}_{1},...,{\stackrel{~}{x}}_{l}\right)=0\text{in}{\stackrel{~}{\mathbb{R}}}_{c}^{l}\right\}.$  Moreover, $\overline{\xi }\left(\overline{F}\right)=0$  on ${S}_{\overline{F}}$  means that ${\overline{\xi }}_{i}{|}_{V\cap \left(\left\{0\right\}×{\mathbb{R}}^{m-l}\right)}=0$  in $\mathcal{G}\left(V\cap \left(\left\{0\right\}×{\mathbb{R}}^{m-l}\right)\right)$  , for $i=1,2,...,l$  .
Hence, $\overline{\xi }{|}_{V\cap \left(\left\{0\right\}×{\mathbb{R}}^{m-l}\right)}$  has a representative $\left({\overline{\xi }}_{\varepsilon }{\right)}_{\varepsilon }$  with ${\overline{\xi }}_{1\varepsilon },...,{\overline{\xi }}_{l\varepsilon }\equiv 0$  . Write $\overline{\xi }=\left({\overline{\xi }}^{\prime },{\overline{\xi }}^{\prime \prime }\right)\in \mathcal{G}\left(V{\right)}^{l}×\mathcal{G}\left(V{\right)}^{m-l}$  and let $\stackrel{~}{x}\in {S}_{\overline{F}}$  . Then $\stackrel{~}{x}$  has a representative $\left({x}_{\varepsilon }{\right)}_{\varepsilon }$  such that ${x}_{\varepsilon }=\left(0,{x}_{\varepsilon }^{\prime \prime }\right)\in \left(\mathbb{R}l×{\mathbb{R}}^{m-l}\right)\cap V$  for all $\varepsilon$  .
Suppose now that assumption (i) is satisfied. Then the initial value problem
 $\begin{array}{c}\begin{array}{ccc}\frac{d}{d\eta }\phi \left(\eta \right)& =& {\overline{\xi }}^{\prime \prime }\left(0,\phi \left(\eta \right)\right)\\ \phi \left(0\right)& =& {\stackrel{~}{x}}^{\prime \prime },\end{array}\end{array}$ (7)
possesses a solution on $\left\{0\right\}×{\mathbb{R}}^{m-l}$  (see the existence part of the proof of Th. 3.2 in [15). Set ${\stackrel{~}{x}}^{\prime \prime }:=\left[\left({x}_{\varepsilon }^{\prime \prime }{\right)}_{\varepsilon }\right]$  with ${x}_{\varepsilon }^{\prime \prime }$  as above. Let $\phi$  be a solution of ( 7 ). Then $\overline{\Phi }\left(\eta ,\stackrel{~}{x}\right)=\left(0,\phi \left(\eta \right)\right)$  . Indeed, let $\stackrel{~}{\Phi }\left(\eta ,x\right):=\left(0,\phi \left(\eta \right)\right)$  . Then $\stackrel{~}{\Phi }\left(0,\stackrel{~}{x}\right)=\left(0,{\stackrel{~}{x}}^{\prime \prime }\right)=\stackrel{~}{x}$  and $\frac{d}{d\eta }\stackrel{~}{\Phi }\left(\eta ,\stackrel{~}{x}\right)=\left(0,{\phi }^{\prime }\left(\eta \right)\right)=\left(0,{\overline{\xi }}^{\prime \prime }\left(0,\phi \left(\eta \right)\right)\right)=\overline{\xi }\left(0,\phi \left(\eta \right)\right)=\overline{\xi }\left(\stackrel{~}{\Phi }\left(\eta ,\stackrel{~}{x}\right)\right).$  Hence $\overline{\Phi }$  and $\stackrel{~}{\Phi }$  both solve the initial value problem
 $\begin{array}{c}\begin{array}{ccc}\frac{d}{d\eta }\Phi \left(\eta \right)& =& \overline{\xi }\left(\Phi \left(\eta \right)\right)\\ \Phi \left(0\right)& =& \stackrel{~}{x}.\end{array}\end{array}$ (8)
Since $\overline{\xi }$  is $\mathcal{G}$  -complete it follows that $\overline{\Phi }\left(\cdot ,\stackrel{~}{x}\right)=\stackrel{~}{\Phi }\left(\cdot ,\stackrel{~}{x}\right)$  , for all $\stackrel{~}{x}\in \left(\left\{0\right\}×{\mathbb{R}}^{m-l}{\right)}_{c}^{~}$  . Therefore $\overline{\Phi }=\stackrel{~}{\Phi }$  on $\left(\left\{0\right\}×{\mathbb{R}}^{m-l}{\right)}_{c}^{~}$  and $\overline{\Phi }\left(\eta ,\stackrel{~}{x}\right)\in {S}_{\overline{F}}$  , for all $\eta$  and all $\stackrel{~}{x}\in {S}_{\overline{F}}$  , i.e. $\overline{\Phi }$  is a symmetry of $\overline{F}=0$  .Alternatively, let us assume that (ii) obtains. We have to show that ${\text{pr}}_{1}\circ \overline{\Phi }\left(\stackrel{~}{\eta },\stackrel{~}{x}\right)=0$  for all $\stackrel{~}{\eta }\in {\stackrel{~}{\mathbb{R}}}_{c}$  and $\stackrel{~}{x}\in {S}_{F}$  . Let $1\le k\le l$  . Then for representatives as above, ${\overline{\Phi }}_{k\varepsilon }\left(0,{x}_{\varepsilon }\right)=0$  and since $V$  is abox, $\left(\sigma {\overline{\Phi }}_{\varepsilon }^{\prime }\left(\tau ,{x}_{\varepsilon }\right),{\overline{\Phi }}_{\varepsilon }^{\prime \prime }\left(\tau ,{x}_{\varepsilon }\right)\right)\in V$  for $\sigma \in \left[0,1\right]$  and $\tau \in \left(-{\eta }_{0},{\eta }_{0}\right)$  . Therefore,
 $\begin{array}{ccc}{\overline{\Phi }}_{k\varepsilon }\left(\eta ,{x}_{\varepsilon }\right)& =& {\int }_{0}^{\eta }\frac{d}{d\tau }{\overline{\Phi }}_{k\varepsilon }\left(\tau ,{x}_{\varepsilon }\right)d\tau ={\int }_{0}^{\eta }{\overline{\xi }}_{k\varepsilon }\left({\overline{\Phi }}_{\varepsilon }\left(\tau ,{x}_{\varepsilon }\right)\right)d\tau \end{array}$
 $\begin{array}{ccc}& =& {\int }_{0}^{\eta }\left({\overline{\xi }}_{k\varepsilon }\left({\underbrace{\stackrel{1\varepsilon }{\overline{\Phi }}\left(\tau ,{x}_{\varepsilon }\right),...,\stackrel{l\varepsilon }{\overline{\Phi }}\left(\tau ,{x}_{\varepsilon }\right)}}_{=:{\overline{\Phi }}_{\varepsilon }^{\prime }\left(\tau ,{x}_{\varepsilon }\right)},{\underbrace{\stackrel{l+1\varepsilon }{\overline{\Phi }}\left(\tau ,{x}_{\varepsilon }\right),...,\stackrel{m\varepsilon }{\overline{\Phi }}\left(\tau ,{x}_{\varepsilon }\right)}}_{=:{\overline{\Phi }}_{\varepsilon }^{\prime \prime }\left(\tau ,{x}_{\varepsilon }\right)}\right)\end{array}$
 $\begin{array}{ccc}& & -{\overline{\xi }}_{k\varepsilon }\left(0,{\overline{\Phi }}_{\varepsilon }^{\prime \prime }\left(\tau ,{x}_{\varepsilon }\right)\right)\right)d\tau \end{array}$
 $\begin{array}{ccc}& =& {\int }_{0}^{\eta }{\int }_{0}^{1}\frac{d}{d\sigma }{\overline{\xi }}_{k\varepsilon }\left(\sigma {\overline{\Phi }}_{\varepsilon }^{\prime }\left(\tau ,{x}_{\varepsilon }\right),{\overline{\Phi }}_{\varepsilon }^{\prime \prime }\left(\tau ,{x}_{\varepsilon }\right)\right)d\sigma d\tau \end{array}$
 $\begin{array}{ccc}& =& {\int }_{0}^{\eta }{\int }_{0}^{1}{\sum }_{j=1}^{l}{D}_{j}{\overline{\xi }}_{k\varepsilon }\left(\sigma {\overline{\Phi }}_{\varepsilon }^{\prime }\left(\tau ,{x}_{\varepsilon }\right),{\overline{\Phi }}_{\varepsilon }^{\prime \prime }\left(\tau ,{x}_{\varepsilon }\right)\right)\cdot {\overline{\Phi }}_{j\varepsilon }\left(\tau ,{x}_{\varepsilon }\right)d\sigma d\tau .\end{array}$
Since $\overline{\Phi }$  is c-bounded and $D\overline{\xi }$  is locally of ${L}^{\infty }$  $log$  type, the claim therefore follows by applyingGronwall's inequality. $\square$
5.3 Remark. We list some sufficient conditions for the respective assumptions of the abovetheorem:
• (i) In case $M$  is a Riemannian manifold with Riemannian metric $h$  (e.g., a submanifold of ${\mathbb{R}}^{n}$  with the induced metric) it suffices to assume that $\xi$  and $P\psi$  are globally bounded with respect to $h$  for each differential operator $P$  of first order.
• (ii) To secure this condition it suffices to suppose that $P\xi$  is locally bounded for each differential operator $P$  of order $\le 1$  and that $P\psi$  is locally bounded for each differential operator $P$  of order $\le 2$  .
5.4 Examples. In certain algebraically special cases a global chart $\psi$  as in Theorem  5.2 can immediately be read off:
• (i) Suppose that (after a possible renumbering of the coordinates) $F\in \mathcal{G}\left({\mathbb{R}}^{n}{\right)}^{l}$  is given in the form  $\begin{array}{ccc}{F}_{1}\left({x}_{1},...,{x}_{n}\right)& =& {x}_{1}-{f}_{1}\left({x}_{2},...,{x}_{n}\right)\end{array}$
 $\begin{array}{ccc}{F}_{2}\left({x}_{1},...,{x}_{n}\right)& =& {x}_{2}-{f}_{2}\left({x}_{3},...,{x}_{n}\right)\end{array}$
 $\begin{array}{ccc}...& & ...\end{array}$
 $\begin{array}{ccc}{F}_{l}\left({x}_{1},...,{x}_{n}\right)& =& {x}_{l}-{f}_{l}\left({x}_{l+1},...,{x}_{n}\right)\end{array}$
with ${f}_{i}\in \mathcal{G}\left[{\mathbb{R}}^{n-i},\mathbb{R}\right]$  for $1\le i\le l$  . Then $\psi \left({y}_{1},...,{y}_{n}\right)=\left({F}_{1}\left({y}_{1},...,{y}_{n}\right),...,{F}_{l}\left({y}_{1},...,{y}_{n}\right),{y}_{l+1},...,{y}_{n}\right)$  and writing ${\psi }^{-1}\left({x}_{1},...,{x}_{n}\right)=\left({y}_{1},...,{y}_{n}\right)$  , ${\psi }^{-1}$  is determined recursively by ${y}_{i}={x}_{i}$  ( $l  ) and ${y}_{i}={x}_{i}+{f}_{i}\left({y}_{i+1},...,{y}_{n}\right)$  for $i\le l$  . Since composition of c-bounded generalized functions can be carried out unrestrictedly ([18, Th. 3.6), $\psi$  is a global generalized chart. For $l=1$  we obtain [14, Th. 4.7 (formulated there in the ${\mathcal{G}}_{\tau }$  -setting) as a special case.
• (ii) $A\in {\stackrel{~}{\mathbb{R}}}_{c}^{n×n}$  is an invertible matrix of generalized numbers if and only if $det\left(A\right)$  is strictly nonzero in $\stackrel{~}{\mathbb{R}}$  (cf. [10, Th. 1.2.38 and Lemma 1.2.41). If, in addition, $\psi :x↦{A}^{-1}\cdot x$  is c-bounded then it is a global chart for the map $F\in \mathcal{G}\left({\mathbb{R}}^{n}{\right)}^{l}$  , $F\left(x\right)={\text{pr}}_{{\mathbb{R}}^{n}\to {\mathbb{R}}^{l}}\left(A\cdot x\right)$  . As a concrete example one may take for $A$  a generalized rotation, i.e., an element of the special orthogonal group $\mathsf{S}\mathsf{O}\left(n,\stackrel{~}{\mathbb{R}}\right)$  over the ring $\stackrel{~}{\mathbb{R}}$  of generalized numbers (cf. [21, 22and section  7 ).

6 Differential Equations

Based on the previous section, it is possible to derive a theory of symmetry groups of differential equations in the space of c-bounded generalized functions. This development largely parallels the one presented in [14, Sec. 4.2, though with the additional benefit of being formulated in a global setting. Therefore we only point out the technical differences and omit proofs which are analogous to the ${\mathcal{G}}_{\tau }$  -setting used there.
6.1 Definition. A generalized group action $\Phi \in \mathcal{G}\left[\mathbb{R}×{\mathbb{R}}^{p+q},{\mathbb{R}}^{p+q}\right]$  is called projectable if
 $\begin{array}{c}\Phi \left(\eta ,\left(x,u\right)\right)=\left({\Xi }_{\eta }\left(x\right),{\Psi }_{\eta }\left(x,u\right)\right),\end{array}$ (9)
where $\Xi \in \mathcal{G}\left[\mathbb{R}×\mathbb{R}p,\mathbb{R}p\right]$  and $\Psi \in \mathcal{G}\left[\mathbb{R}×{\mathbb{R}}^{p+q},\mathbb{R}q\right]$  .
The group properties
 $\begin{array}{cccc}{\Xi }_{{\eta }_{1}+{\eta }_{2}}\left(x\right)& ={\Xi }_{{\eta }_{1}}\left({\Xi }_{{\eta }_{2}}\left(x\right)\right)& {\Psi }_{{\eta }_{1}+{\eta }_{2}}\left(x,u\right)& ={\Psi }_{{\eta }_{1}}\left({\Xi }_{{\eta }_{2}}\left(x\right),{\Psi }_{{\eta }_{2}}\left(x,u\right)\right)\end{array}$
are to be understood as equations in $\mathcal{G}\left[{\mathbb{R}}^{2}×{\mathbb{R}}^{p},{\mathbb{R}}^{p}\right]$  and $\mathcal{G}\left[{\mathbb{R}}^{2}×{\mathbb{R}}^{p+q},{\mathbb{R}}^{q}\right]$  , respectively. [18, Th. 3.5 shows that any element $u$  of $\mathcal{G}\left[M,N\right]$  is uniquely determined by its graph ${\Gamma }_{u}$  . We have
6.2 Proposition. Let $u\in \mathcal{G}\left[\mathbb{R}p,\mathbb{R}q\right]$  and let $\Phi$  be a projectable generalized group action on $\mathbb{R}p×\mathbb{R}q$  .
Then ${\Phi }_{\eta }\left({\Gamma }_{u}\right)={\Gamma }_{{\Phi }_{\eta }\left(u\right)}$  in ${\stackrel{~}{\mathbb{R}}}_{c}^{p+q}$  for each $\eta \in {\stackrel{~}{\mathbb{R}}}_{c}$  , where ${\Phi }_{\eta }\left(u\right)$  denotes the element $x↦{\Psi }_{\eta }\left({\Xi }_{-\eta }\left(x\right),u\circ {\Xi }_{-\eta }\left(x\right)\right)\in \mathcal{G}\left[\mathbb{R}p,\mathbb{R}q\right].$
6.3 Proposition. Consider a system of PDEs
 $\begin{array}{c}{\Delta }_{\nu }\left(x,u\left(n\right)\right)=0\left(1\le \nu \le l\right)\end{array}$ (10)
in $\mathcal{G}\left[\mathbb{R}p,\mathbb{R}q\right]$  , where $\Delta \in \mathcal{G}\left[\left(\mathbb{R}p×\mathbb{R}q{\right)}^{\left(n\right)},\mathbb{R}l\right]$  . Set ${S}_{\Delta }=\left\{\stackrel{~}{z}\in \left({\stackrel{~}{\mathbb{R}}}_{c}^{p}{\right)}^{\left(n\right)}:{\Delta }_{\nu }\left(\stackrel{~}{z}\right)=0,1\le \nu \le l\right\}.$  Then $u\in \mathcal{G}\left[\mathbb{R}p,\mathbb{R}q\right]$  is a solution of the system if and only if ${\Gamma }_{p{r}^{\left(n\right)}u}\subseteq {S}_{\Delta }$  .
Prolongations of generalized group actions are constructed as in the classical theory: Let $\Phi$  be a projectable generalized group action on $\mathbb{R}p×\mathbb{R}q$  , $z\in \left(\mathbb{R}p×\mathbb{R}q{\right)}^{\left(n\right)}$  and choose a function $h\in \mathcal{C}\infty \left(\mathbb{R}p,\mathbb{R}q\right)$  such that $\left({z}_{1},...,{z}_{p},pr\left(n\right)h\left({z}_{1},...,{z}_{p}\right)\right)=z$  . The $n$  -th prolongation of $\Phi$  is defined as $pr\left(n\right)\Phi \left(\eta ,z\right):=\left({\Xi }_{\eta }\left({z}_{1},...,{z}_{p}\right),pr\left(n\right)\left({\Phi }_{\eta }\left(h\right)\right)\left({\Xi }_{\eta }\left({z}_{1},...,{z}_{p}\right)\right)\right).$  By [10, 3.2.59 it follows that $pr\left(n\right)\Phi \in \mathcal{G}\left[\mathbb{R}×\left({\mathbb{R}}^{p+q}{\right)}^{\left(n\right)},\left({\mathbb{R}}^{p+q}{\right)}^{\left(n\right)}\right]$  . As in [14, Lemma 4.12 and Prop. 4.13 it is seen that this definition does not depend on the particular choice of $h$  and that $pr\left(n\right)\Phi$  is a generalized group action on $\left(\mathbb{R}p×\mathbb{R}q{\right)}^{\left(n\right)}$  .
6.4 Proposition. Let $\Phi$  be a projectable generalized group action on $\mathbb{R}p×\mathbb{R}q$  such that $pr\left(n\right)\Phi$  is a symmetry group of the algebraic equation $\Delta \left(z\right)=0$  . Then $\Phi$  is a symmetry group of ( 10 ).
6.5 Definition. Let $\xi$  be a $\mathcal{G}$  -complete generalized vector field. The $n$  -th prolongation of $\xi$  is the infinitesimal generator of the $n$  -th prolongation of the generalized group action $\Phi$  corresponding to $\xi$  :
$pr\left(n\right)\xi {|}_{z}=\frac{d}{d\eta }|0pr\left(n\right){\Phi }_{\eta }\left(z\right).$  If $pr\left(n\right)\xi$  is $\mathcal{G}$  -complete, then both $\xi$  and $\Phi$  are called $\mathcal{G}$  - $n$  -complete.
6.6 Theorem. Let
 $\begin{array}{c}{\Delta }_{\nu }\left(x,pr\left(n\right)u\right)=0\left(1\le \nu \le l\right)\end{array}$ (11)
be a system of partial differential equations with $\Delta \in \mathcal{G}\left(\mathbb{R}p{\right)}^{l}$  . Let $\Phi$  be a generalized group action on $\mathbb{R}p×\mathbb{R}q$  with infinitesimal generator $\xi$  and suppose that $\Delta$  and $pr\left(n\right)\Phi$  satisfy the assumtions of Th.  5.2 . If $pr\left(n\right)\xi \left(\Delta \right)\left(\stackrel{~}{z}\right)=0\forall \stackrel{~}{z}\in \left({\stackrel{~}{\mathbb{R}}}_{c}^{p}×{\stackrel{~}{\mathbb{R}}}_{c}^{q}{\right)}^{\left(n\right)}\text{with}\Delta \left(\stackrel{~}{z}\right)=0,$  then $\Phi$  is a symmetry group of ( 11 ).
Proof. Immediate from Th.  5.2 and Prop.  6.4 . $\square$  As in [14, Th. 4.17 we may now conclude that the classical algorithm for determining symmetries of a given system of differential equations carries over to the generalized setting: make an ansatz for the infinitesimal generators, calculate the prolongations according to the classical formulas (cf. [25, Th. 2.36) and then apply Th.  6.6 to derive a system of determining equations in the space of c-bounded Colombeau functions. Solutions of this system verifying the conditions of Th.  6.6 yield generalized symmetries of ( 11 ). For recent applications to weak solutions of systems of conservation laws we refer to [12.

7 Group invariant generalized functions

In this final section we analyze the notion of invariance of Colombeau generalized functions under generalized group actions. As in classical analysis and distribution theory this concept plays an important role with respect to applications (cf. the calculation of group invariant fundamental solutions in ${\mathcal{D}}^{\prime }$  resp. $\mathcal{G}$  in [1, 2, 21).
We shall need the fact that composition of Colombeau generalized functions and c-bounded generalized functions is always well-defined:
7.1 Lemma. Let $u=\left[\left({u}_{\varepsilon }{\right)}_{\varepsilon }\right]\in \mathcal{G}\left[M,N\right]$  , $v=\left[\left({v}_{\varepsilon }{\right)}_{\varepsilon }\right]\in \mathcal{G}\left(N\right)$  . Then $v\circ u:=\left[\left({v}_{\varepsilon }\circ {u}_{\varepsilon }{\right)}_{\varepsilon }\right]$  is a well-defined element of $\mathcal{G}\left(M\right)$  .
Proof. To show that $\left({v}_{\varepsilon }\circ {u}_{\varepsilon }{\right)}_{\varepsilon }\in \mathcal{ℰ}M\left(M\right)$  , let $K\subset \subset V$  for some chart $\left(V,\phi \right)$  in $M$  . Since $v$  is c-bounded, there exist ${K}^{\prime }\subset \subset N$  and ${\varepsilon }_{0}>0$  such that ${v}_{\varepsilon }\left(K\right)\subseteq {K}^{\prime }$  for all $\varepsilon <{\varepsilon }_{0}$  . Without loss of generality we may assume that ${K}^{\prime }$  is contained in some chart $\left(W,\psi \right)$  of $N$  . Then the moderateness estimates for ${v}_{\varepsilon }\circ {u}_{\varepsilon }=\left({v}_{\varepsilon }\circ {\psi }^{-1}\right)\circ \left(\psi \circ {u}_{\varepsilon }\right)$  on $K$  follow from the chain rule and the respective estimates for $\left({u}_{\varepsilon }{\right)}_{\varepsilon }$  and $\left({v}_{\varepsilon }{\right)}_{\varepsilon }$  . Suppose now that $\left[\left({u}_{\varepsilon }{\right)}_{\varepsilon }\right]=\left[\left({u}_{\varepsilon }^{\prime }{\right)}_{\varepsilon }\right]$  in $\mathcal{G}\left[M,N\right]$  and let $\stackrel{~}{x}=\left[\left({x}_{\varepsilon }{\right)}_{\varepsilon }\right]\in {\stackrel{~}{M}}_{c}$  . Then by [10, Prop. 3.2.56, $\left[\left({u}_{\varepsilon }\left({x}_{\varepsilon }\right)\right)\right]=\left[\left({u}_{\varepsilon }^{\prime }\left({x}_{\varepsilon }\right)\right)\right]$  in ${\stackrel{~}{M}}_{c}$  and hence $\left[\left({v}_{\varepsilon }\circ {u}_{\varepsilon }\left({x}_{\varepsilon }\right)\right)\right]=\left[\left({v}_{\varepsilon }\circ {u}_{\varepsilon }^{\prime }\left({x}_{\varepsilon }\right)\right)\right]$  in ${\stackrel{~}{M}}_{c}$  by [10, Prop. 3.2.7. By the same result, $\left[\left({v}_{\varepsilon }\circ {u}_{\varepsilon }{\right)}_{\varepsilon }\right]=\left[\left({v}_{\varepsilon }\circ {u}_{\varepsilon }^{\prime }{\right)}_{\varepsilon }\right]$  in $\mathcal{G}\left(M\right)$  . Finally, if $\left({v}_{\varepsilon }{\right)}_{\varepsilon }\in \mathcal{N}\left(N\right)$  it is immediate from the c-boundedness of $\left({u}_{\varepsilon }{\right)}_{\varepsilon }$  that $\left({v}_{\varepsilon }\circ {u}_{\varepsilon }{\right)}_{\varepsilon }\in \mathcal{N}\left(M\right)$  . Hence $v\circ u$  is well-defined, as claimed. $\square$  In particular, for $\Phi$  a generalized group action on $M$  and $f\in \mathcal{G}\left(M\right)$  , it follows that $f\circ \Phi$  is a well-defined element of $\mathcal{G}\left(\mathbb{R}×M\right)$  .
7.2 Definition. Let $\Phi$  be a generalized group action on $M$  and let $f\in \mathcal{G}\left(M\right)$  . $f$  is called invariant under $\Phi$  if $f\circ \Phi =f\circ {\pi }_{2}$  in $\mathcal{G}\left(\mathbb{R}×M\right)$  (with ${\pi }_{2}:\mathbb{R}×M\to M$  , ${\pi }_{2}\left(\eta ,x\right)=x$  ).
By the point value characterization of generalized functions (cf. [10, Th. 3.2.8) the above condition can equivalently be stated as follows:
$f\left(\Phi \left(\stackrel{~}{\eta },\stackrel{~}{x}\right)\right)=f\left(\stackrel{~}{x}\right)\forall \stackrel{~}{\eta }\in {\stackrel{~}{\mathbb{R}}}_{c}\forall \stackrel{~}{x}\in {\stackrel{~}{M}}_{c}.$
7.3 Proposition. Let $f\in \mathcal{G}\left(M\right)$  and let $\Phi$  be a generalized group action on $M$  with infinitesimal generator $\xi$  . Then the following statements are equivalent:
• (i) $f$  is $\Phi$  -invariant
• (ii) $\xi \left(f\right)=0$  in $\mathcal{G}\left(M\right)$  .
Proof. (i) $⇒$  (ii) Since $f$  is $\Phi$  -invariant we have $0=\frac{d}{d\eta }{|}_{{}_{0}}\left(f\left(\Phi \left(\eta ,x\right)\right)\right)=\xi \left(f\right){|}_{x}$  in $\mathcal{G}\left(M\right)$  .
(ii) $⇒$  (i) Conversely, let $\xi \left(f\right)=0$  in $\mathcal{G}\left(M\right)$  . Then $\frac{d}{d\eta }f\left(\Phi \left(\eta ,\stackrel{~}{x}\right)\right)=\xi \left(f\right){|}_{\Phi \left(\eta ,\stackrel{~}{x}\right)}=0\text{in}\mathcal{G}\left(\mathbb{R}\right)\forall \stackrel{~}{x}\in {\stackrel{~}{M}}_{c}.$  Therefore, for each $\stackrel{~}{x}$  the map $\eta ↦f\left(\Phi \left(\eta ,\stackrel{~}{x}\right)\right)$  is constant in $\mathcal{G}\left(\mathbb{R}\right)$  , so $f\circ \Phi =f\circ {\pi }_{2}$  , again by [10, Th. 3.2.8. $\square$  Invariance properties of Colombeau generalized functions under generalized group actions have first been studied in [21, 22. In particular, the following basic result was derived ([22, Th. 2, formulated there in the ${\mathcal{G}}_{\tau }$  -setting):
7.4 Theorem. Let $u\in \mathcal{G}\left({\mathbb{R}}^{n}\right)$  . The following are equivalent:
• (i) $u\left({\stackrel{~}{x}}_{1}+\eta ,{\stackrel{~}{x}}_{2},...,{\stackrel{~}{x}}_{n}\right)=u\left(\stackrel{~}{x}\right)$  for all $\stackrel{~}{x}\in {\stackrel{~}{\mathbb{R}}}_{c}^{n},\eta \in {\stackrel{~}{\mathbb{R}}}_{c}$  .
• (ii) ${\partial }_{{x}_{1}}u=0$  in $\mathcal{G}\left({\mathbb{R}}^{n}\right)$  .
• (iii) $u$  has a representative $\left({u}_{\varepsilon }{\right)}_{\varepsilon }$  such that ${\partial }_{{x}_{1}}{u}_{\varepsilon }\equiv 0$  for all $\varepsilon$  .
It remained an open question there whether (i)–(iii) is equivalent to
• (i') $u\left({\stackrel{~}{x}}_{1}+\eta ,{\stackrel{~}{x}}_{2},...,{\stackrel{~}{x}}_{n}\right)=u\left(\stackrel{~}{x}\right)$  for all $\stackrel{~}{x}\in {\stackrel{~}{\mathbb{R}}}_{c}^{n},\eta \in \mathbb{R}$  .
i.e., whether standard translations suffice to characterize translational invariance of Colombeau generalized functions. Meanwhile, Pilipović, Scarpalezos and Valmorin have provided two alternative proofs (based on a Baire argument resp. on the construction of a parametrix) which show that this question can be answered affirmatively ([26). In what follows we shall make use of this result to resolve a further open question raised in [21in the context of generalized rotations.
Recall from  5.4 that we denote by $\mathsf{S}\mathsf{O}\left(n,\stackrel{~}{\mathbb{R}}\right)$  the space of generalized rotations. Rotational invariance of Colombeau functions has been characterized in [21, 22and has been employed there to provide a new method of calculating rotationally invariant fundamental solutions, e.g., of the Laplace equation. The main characterization result is as follows ([21, Th. 4.2):
7.5 Theorem. Let $u\in \mathcal{G}\left({\mathbb{R}}^{n}\right)$  . The following are equivalent:
• (i) $u\circ A=u$  in $\mathcal{G}\left({\mathbb{R}}^{n}\right)$  for all $A\in \mathsf{S}\mathsf{O}\left(n,\stackrel{~}{\mathbb{R}}\right)$  .
• (ii) $\xi u=0$  in $\mathcal{G}\left({\mathbb{R}}^{n}\right)$  for all infinitesimal generators of $\mathsf{S}\mathsf{O}\left(n,\mathbb{R}\right)$  .
• (iii) $u$  possesses a representative $\left({u}_{\varepsilon }{\right)}_{\varepsilon }$  such that each ${u}_{\varepsilon }$  is rotationally invariant.
The following result affirmatively answers an open question from [22:
7.6 Theorem. Items (i)–(iii) in Theorem  7.5 are equivalent with
• (i') $u\circ A=u$  in $\mathcal{G}\left({\mathbb{R}}^{n}\right)$  for all $A\in \mathsf{S}\mathsf{O}\left(n,\mathbb{R}\right)$  ,
i.e., standard rotations suffice to characterize rotational invariance of Colombeau generalized functions.
Proof. Obviously (i) implies (i'). To prove the converse we first treat the case $n=2$  . Let $\stackrel{~}{A}\in \mathsf{S}\mathsf{O}\left(2,\stackrel{~}{\mathbb{R}}\right)$  . Then by [22, Sec. 3, Lemma 1 there exists some $\stackrel{~}{\eta }\in {\stackrel{~}{\mathbb{R}}}_{c}$  such that $\stackrel{~}{A}=\left[{\left(\begin{array}{cc}cos\left({\eta }_{\varepsilon }\right)& -sin\left({\eta }_{\varepsilon }\right)\\ sin\left({\eta }_{\varepsilon }\right)& cos\left({\eta }_{\varepsilon }\right)\end{array}\right)}_{\varepsilon }\right]$  Given $\stackrel{~}{x}$  , $\stackrel{~}{y}\in {\stackrel{~}{\mathbb{R}}}_{c}$  we have to show that $u\left(\stackrel{~}{A}\cdot \left(\stackrel{~}{x},\stackrel{~}{y}{\right)}^{t}\right)=u\left(\stackrel{~}{x},\stackrel{~}{y}\right)$  in $\stackrel{~}{\mathbb{R}}$  . We may write $\left(\stackrel{~}{x},\stackrel{~}{y}\right)=\left[\left({r}_{\varepsilon }cos\left({\theta }_{\varepsilon }\right),{r}_{\varepsilon }sin\left({\theta }_{\varepsilon }\right)\right)\right]$  for suitable ${r}_{\varepsilon }\ge 0$  , ${\theta }_{\varepsilon }$  . Now set ${v}_{\varepsilon }:=\theta ↦{u}_{\varepsilon }\left({r}_{\varepsilon }cos\left(\theta \right),{r}_{\varepsilon }sin\left(\theta \right)\right)$  . Then $v=\left[\left({v}_{\varepsilon }{\right)}_{\varepsilon }\right]\in \mathcal{G}\left(\mathbb{R}\right)$  and by assumption $v\left(\stackrel{~}{\theta }+\eta \right)=v\left(\stackrel{~}{\theta }\right)$  in $\stackrel{~}{\mathbb{R}}$  for all $\stackrel{~}{\theta }\in {\stackrel{~}{\mathbb{R}}}_{c}$  and all $\eta \in \mathbb{R}$  . But then the equivalence of (i) and (i') in Th.  7.4 shows that $v$  is in fact a generalized constant. This immediately gives the result in the 2D-case.
In the general case $n\ge 2$  we verify (ii) of Th.  7.5 . Let $1\le i  and let $\xi ={x}_{i}{\partial }_{{x}_{j}}-{x}_{j}{\partial }_{{x}_{i}}$  be an infinitesimal generator of $\mathsf{S}\mathsf{O}\left(n,\mathbb{R}\right)$  . Fix compactly supported generalized numbers ${\stackrel{~}{x}}_{1}$  ,. . . , ${\stackrel{~}{x}}_{i-1}$  , ${\stackrel{~}{x}}_{i+1}$  ,. . . , ${\stackrel{~}{x}}_{j-1}$  , ${\stackrel{~}{x}}_{j+1}$  ,. . . , ${\stackrel{~}{x}}_{n}$  and consider the maps ${w}_{\varepsilon }:\left({x}_{i},{x}_{j}\right)↦{u}_{\varepsilon }\left({\stackrel{~}{x}}_{1},...,{\stackrel{~}{x}}_{i-1},{x}_{i},...,{\stackrel{~}{x}}_{j-1},{x}_{j},...,{\stackrel{~}{x}}_{n}\right).$  Then $w=\left[\left({w}_{\varepsilon }{\right)}_{\varepsilon }\right]\in \mathcal{G}\left({\mathbb{R}}^{2}\right)$  and from our assumption it follows that $w\circ A=w$  in $\mathcal{G}\left({\mathbb{R}}^{2}\right)$  for all $A\in \mathsf{S}\mathsf{O}\left({\mathbb{R}}^{2}\right)$  . By what we have already proved in the 2D-case and Th.  7.5 it follows that $\xi w=0$  in $\mathcal{G}\left({\mathbb{R}}^{2}\right)$  . Hence from the point value characterization of Colombeau generalized functions it follows that $\xi u=0$  in $\mathcal{G}\left({\mathbb{R}}^{n}\right)$  for each $\xi \in \mathsf{S}\mathsf{O}\left({\mathbb{R}}^{n}\right)$  , as claimed. $\square$
7.7 Remark. Let $\stackrel{~}{a}$  be a strictly nonzero (i.e., invertible, cf. [10, Th. 1.2.38) generalized number and consider the generalized vector field $\xi =\stackrel{~}{a}\left(y{\partial }_{x}-x{\partial }_{y}\right)$  on ${\mathbb{R}}^{2}$  . Then $\psi =\left[\left({\psi }_{\varepsilon }{\right)}_{\varepsilon }\right]$  with ${\psi }_{\varepsilon }:\left(r,\theta \right)↦\left(rcos\left({a}_{\varepsilon }\theta \right),rsin\left({a}_{\varepsilon }\theta \right)\right)$  is a generalized chart in $\mathcal{G}\left[{\mathbb{R}}^{+}×\left(0,2\pi \right),{\mathbb{R}}^{2}\\left({\mathbb{R}}_{0}^{+}×\left\{0\right\}\right)\right]$  . Moreover, the pullback ${\psi }^{*}\xi$  of $\xi$  under $\psi$  is the smooth vector field $\frac{\partial }{\partial \theta }$  . This provides a simple case of “straightening out” a (strictly) nonzero generalized vector field. In the case of standard polar coordinates ( $\stackrel{~}{a}=1$  ) $\psi$  allows to directly transform standard generators of $\mathsf{S}\mathsf{O}\left(2,\mathbb{R}\right)$  to translations, albeit only on ${\mathbb{R}}^{2}\\left\{0\right\}$  . However, there exist elements of $\mathcal{G}\left({\mathbb{R}}^{2}\right)$  with support $\left\{0\right\}$  which are not rotationally invariant: choose some $\phi \in \mathcal{D}\left({\mathbb{R}}^{2}\right)$  whose support is not rotationally invariant and set $u=\left[\left(\phi \left(\frac{.}{\varepsilon }\right){\right)}_{\varepsilon }\right]$  . Therefore, the above argument does not yield an alternative proof of Prop.  7.6 (by reducing it to the translation setting of Th.  7.4 ), since, contrary to the smooth setting, rotational invariance on ${\mathbb{R}}^{2}\\left\{0\right\}$  is not equivalent to rotational invariance on ${\mathbb{R}}^{2}$  for Colombeau functions. (The situation for ${\mathcal{D}}^{\prime }\left({\mathbb{R}}^{2}\right)$  is similar: for example, ${\partial }_{1}\delta$  is a distribution supported in $\left\{0\right\}$  which is not rotationally invariant).
Nevertheless, generalized charts induced by matrix transformations as above and the related question of straightening out infinitesimal generators of matrix groups over the ring of generalized numbers are likely to play an important role in a further analysis of group invariant generalized functions. They should also provide valuable test cases for the development of inverse function theorems in the Colombeau setting ([8).
References

1. Berest, Yu. Yu. Group analysis of linear differential equations in distributions and the construction of fundamental solutions. Diff. Equ., 29(11):1700–1711, 1993.
2. Berest, Yu. Yu. Weak invariants of local groups of transformations. Diff. Equ., 29(10):1561–1567, 1993.
3. Berest, Yu. Yu., Ibragimov, N. H. Group theoretic determination of fundamental solutions. Lie Groups Appl., 1(2):65–80, 1994.
4. Bluman, G. W., Kumei, S. Symmetries and Differential Equations. Springer, New York, 1989.
5. Colombeau, J. F. New Generalized Functions and Multiplication of Distributions. North Holland, Amsterdam, 1984.
6. Colombeau, J. F. Elementary Introduction to New Generalized Functions. North Holland, Amsterdam, 1985.
7. Djapić, N., Kunzinger, M., Pilipović, S. Symmetry group analysis of weak solutions. Proc. London Math. Soc. (3), 84(3):686–710, 2002.
8. Erlacher, E., Grosser, M. An inverse function theorem for generalized functions. Preprint, 2004.
9. Grosser, M., Farkas, E., Kunzinger, M., Steinbauer, R. On the foundations of nonlinear generalized functions I, II. Mem. Amer. Math. Soc., 153(729), 2001.
10. Grosser, M., Kunzinger, M., Oberguggenberger, M., Steinbauer, R. Geometric Theory of Generalized Functions, volume 537 of Mathematics and its Applications 537. Kluwer Academic Publishers, Dordrecht, 2001.
11. Ibragimov, N. H. Group theoretical treatment of fundamental solutions. In Analysis, Manifolds and Physics. Kluwer, Dordrecht, 1992.
12. Konjik, S. Symmetries of conservation laws. Publ. Inst. Math. (Beograd) (N.S.), to appear.
13. Kunzinger, M. Generalized functions valued in a smooth manifold. Monatsh. Math., 137:31–49, 2002.
14. Kunzinger, M., Oberguggenberger, M. Group analysis of differential equations and generalized functions. SIAM J. Math. Anal., 31(6):1192–1213, 2000.
15. Kunzinger, M., Oberguggenberger, M., Steinbauer, R., Vickers, J. Generalized flows and singular ODEs on differentiable manifolds. Acta Appl. Math., 80:221–241, 2004.
16. Kunzinger, M., Steinbauer, R. Foundations of a nonlinear distributional geometry. Acta Appl. Math., 71:179–206, 2002.
17. Kunzinger, M., Steinbauer, R. Generalized pseudo-Riemannian geometry. Trans. Amer. Math. Soc., 354(10):4179–4199, 2002.
18. Kunzinger, M., Steinbauer, R., Vickers, J. Intrinsic characterization of manifold-valued generalized functions. Proc. London Math. Soc., 87(2):451–470, 2003.
19. Methée, P. D. Sur les distributions invariantes dans le groupe des rotations de Lorentz. Comment. Math. Helv., 28:224–269, 1954.
20. Oberguggenberger, M. Multiplication of Distributions and Applications to Partial Differential Equations, Pitman Research Notes in Mathematics 259. Longman, Harlow, U.K., 1992.
21. Oberguggenberger, M. Symmetry groups, nonlinear partial differential equations, and generalized functions. In Lesley, J. A., Robart, T., (Ed.), Geometrical Study of Differential Equations, Contemporary Mathematics 285, 101–110. Amer. Math. Soc., 2001.
22. Oberguggenberger, M. Rotationally invariant Colombeau functions. In Delcroix, A., Hasler, M., Marti, J.-A., Valmorin, V., editor, Nonlinear Algebraic Analysis and Applications, 227–236. Cambridge Scientific Publishers, 2004.
23. Oberguggenberger, M., Kunzinger, M. Characterization of Colombeau generalized functions by their pointvalues. Math. Nachr., 203:147–157, 1999.
24. Oberguggenberger, M., Rosinger, E. E. Solution of Continuous Nonlinear PDEs through Order Completion. North Holland, Amsterdam, 1994.
25. Olver, P. J. Applications of Lie Groups to Differential Equations, volume 107 of Graduate Texts in Mathematics. Springer, New York, second edition, 1993.
26. Pilipović, S., Scarpalezos, D., Valmorin, V. Equalities in algebras of generalized functions. Preprint, 2004.
27. Rosinger, E. E., Walus, Y. E. Group invariance of generalized solutions obtained through the algebraic method. Nonlinearity, 7:837–859, 1994.
28. Rosinger, E. E., Walus, Y. E. Group invariance of global generalized solutions of nonlinear PDEs in nowhere dense algebras. Lie Groups Appl., 1:216–225, 1994.
29. Szmydt, Z. On homogeneous rotation invariant distributions and the laplace operator. Ann. Pol. Math., 6:249–259, 1979.
30. Szmydt, Z., Ziemian, B. Invariant fundamental solutions of the wave operator. Demonstr. Math., 19:371–386, 1986.
31. Ziemian, B. On distributions invariant with respect to some linear transformations. Ann. Pol. Math., 36:261–276, 1979.