The above chain of equivalences raises the question whether in the present context the analogue of Remark
3.4 (ii) can be established as well, i.e., whether (i)–(iii) are equivalent to

(i')
$u\circ A=u$
for all
$A\in \mathsf{S}\mathsf{O}(n,\mathbb{R})$
.
In fact, we have:
3.9
Proposition. For
$u\in \mathcal{G}({\mathbb{R}}^{n}\backslash \{0\left\}\right)$
, (i) and (i') are equivalent.
Proof. Since each
${\xi}_{ij}$
is nonzero on
${\mathbb{R}}^{n}\backslash \left\{0\right\}$
it may be straightened out, in fact even globally on all of
${\mathbb{R}}^{n}\backslash \left\{0\right\}$
(by using appropriate polar coordinates as charts), cf. the proof of Prop. 3.5 . This procedure reduces the proof to an application of Remark 3.4 .
$\square $
A direct extension of the proof of Prop. 3.9 to the case
$X={\mathbb{R}}^{n}$
is not possible: contrary to the smooth situation a Colombeau generalized function which is rotationally invariant on
${\mathbb{R}}^{n}\backslash \left\{0\right\}$
need not be rotationally invariant on all of
${\mathbb{R}}^{n}$
. As an example, choose any test function
$\phi $
whose support is not rotationally invariant and set
$u=\left[\right(\phi (./\varepsilon ){)}_{\varepsilon}]$
. Then
$u$
is supported in
$\left\{0\right\}$
yet it is clearly not rotationally invariant on
${\mathbb{R}}^{n}$
. Despite this technical complication, however, it turns out that the result can be extended to all of
${\mathbb{R}}^{n}$
, thereby providing an affirmative answer to a question raised by M. Oberguggenberger in [
15]
:
3.10
Theorem. For
$u\in \mathcal{G}\left({\mathbb{R}}^{n}\right)$
, (i) and (i') are equivalent.
Proof. This result was established in [
7]
, Th. 7.6. We include a proof here for the reader's convenience. It clearly suffices to show that (i') implies (i). Let us first consider the case
$n=2$
. Let
$\stackrel{~}{A}\in \mathsf{S}\mathsf{O}(2,\stackrel{~}{\mathbb{R}})$
. Then by the discussion preceding Prop. 3.7 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(\stackrel{~}{A}\cdot (\stackrel{~}{x},\stackrel{~}{y}{)}^{t})=u(\stackrel{~}{x},\stackrel{~}{y})$
in
$\stackrel{~}{\mathbb{R}}$
. We may write
$(\stackrel{~}{x},\stackrel{~}{y})=\left[\right({r}_{\varepsilon}cos\left({\theta}_{\varepsilon}\right),{r}_{\varepsilon}sin\left({\theta}_{\varepsilon}\right)\left)\right]$
for suitable
${r}_{\varepsilon}\ge 0$
,
${\theta}_{\varepsilon}$
. Now set
${v}_{\varepsilon}:=\theta \mapsto {u}_{\varepsilon}({r}_{\varepsilon}cos(\theta ),{r}_{\varepsilon}sin(\theta \left)\right)$
. Then
$v=\left[\right({v}_{\varepsilon}{)}_{\varepsilon}]\in \mathcal{G}(\mathbb{R})$
and by assumption
$v(\stackrel{~}{\theta}+\eta )=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 by Th. 3.3 it follows that
$v$
is a generalized constant, thereby finishing the proof for
$n=2$
. In the general case
$n\ge 2$
we verify (ii) of Prop. 3.7 . Let
$1\le i<j\le n$
and let
${\xi}_{ij}={x}_{i}{\partial}_{{x}_{j}}{x}_{j}{\partial}_{{x}_{i}}$
as above be an infinitesimal generator of
$\mathsf{S}\mathsf{O}(n,\mathbb{R})$
. Fix compactly supported generalized numbers
${\stackrel{~}{x}}_{1}$
,. . . ,
${\stackrel{~}{x}}_{i1}$
,
${\stackrel{~}{x}}_{i+1}$
,. . . ,
${\stackrel{~}{x}}_{j1}$
,
${\stackrel{~}{x}}_{j+1}$
,. . . ,
${\stackrel{~}{x}}_{n}$
and consider the maps
$${w}_{\varepsilon}:({x}_{i},{x}_{j})\mapsto {u}_{\varepsilon}({\stackrel{~}{x}}_{1},...,{\stackrel{~}{x}}_{i1},{x}_{i},...,{\stackrel{~}{x}}_{j1},{x}_{j},...,{\stackrel{~}{x}}_{n}).$$
Then
$w=\left[\right({w}_{\varepsilon}{)}_{\varepsilon}]\in \mathcal{G}({\mathbb{R}}^{2})$
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 2Dcase and Prop. 3.7 it follows that
${\xi}_{ij}w=0$
in
$\mathcal{G}\left({\mathbb{R}}^{2}\right)$
for each
$i<j$
, which finishes the proof.
$\square $
In the smooth setting, the local structure of invariants of a group action is determined by socalled complete sets of functionally independent invariants (cf. [
17]
, Sec. 2.1). A family of smooth functions
${f}_{1},...,{f}_{k}$
on
$X$
is called functionally dependent if for each
$x\in X$
there exists a neighborhood
$U$
of
$x$
and a smooth function
$F$
which is not identically zero on any open subset of
${\mathbb{R}}^{k}$
such that
$x\mapsto F\left({f}_{1}\right(x),...,{f}_{k}(x\left)\right)$
vanishes identically on
$U$
.
${f}_{1},...,{f}_{k}$
are called functionally independent if they are not functionally dependent on any open subset of
$X$
. It is shown in [
17]
, Th. 2.17 that if
$\Psi $
acts (semi)regularly with
$s$
dimensional orbits then in a neighborhood of any point
${x}_{0}$
of
$X$
there exists a set
${f}_{1},...,{f}_{ns}$
of functionally independent invariants such that any other local invariant
$f$
of
$\Psi $
is of the form
$$f\left(x\right)=F\left({f}_{1}\right(x),...,{f}_{ns}(x\left)\right)$$
for some smooth function
$F$
. Such a family
${f}_{1},...,{f}_{ns}$
is called a complete set of functionally independent invariants of
$\Psi $
. Using Th. 3.6 we now show that an analogous characterization of generalized invariants of regular smooth group actions holds true.
3.11
Theorem. Let
$\Psi :G\times X\supseteq \mathcal{V}\to X$
be a regular Lie group action on
$X$
with
$s$
dimensional orbits. Then for each
${x}_{0}\in X$
there exists a neighborhood
$U$
of
${x}_{0}$
and a complete set of functionally independent invariants
${f}_{1},...,{f}_{ns}$
on
$U$
such that every
$\Psi $
invariant
$u\in \mathcal{G}\left(U\right)$
is of the form
$u\left(x\right)=v\left({f}_{1}\right(x),...,{f}_{ns}(x\left)\right)$
for some
$v\in \mathcal{G}\left(V\right)$
, where
$V$
is an appropriate open subset of
${\mathbb{R}}^{ns}$
Proof. Employing the notations of Th. 3.6 , the coordinates
${z}_{1}={f}_{1}\left(x\right)$
, . . .
${z}_{ns}={f}_{ns}\left(x\right)$
are in fact a complete set of functionally independent invariants for the group action
$\Psi $
on
$X$
(cf. the proof of Th. 2.17 in [
17]
). Now if
$u\in \mathcal{G}\left(U\right)$
is an invariant of
$\Psi $
then by Th. 3.6 we may choose a representative
$({u}_{\varepsilon}{)}_{\varepsilon}$
of
$u$
such that each
${u}_{\varepsilon}$
is an invariant of
$\Psi $
on
$U$
. Then by [
17]
, Th. 2.17, for each
$\varepsilon $
there exists a smooth function
${v}_{\varepsilon}$
such that
${u}_{\varepsilon}\left(x\right)={v}_{\varepsilon}\left({f}_{1}\right(x),...,{f}_{ns}(x\left)\right)$
. Denoting
${\phi}_{*}u$
by
$\stackrel{~}{u}$
we have
${\stackrel{~}{u}}_{\varepsilon}(y,z)={v}_{\varepsilon}\left(z\right)$
, so
$({v}_{\varepsilon}{)}_{\varepsilon}\in \mathcal{\mathcal{E}}M(V)$
, where
$V$
is the projection of
$\phi \left(U\right)$
onto the last
$ns$
components. It follows that the class
$v=\left[\right({v}_{\varepsilon}{)}_{\varepsilon}]$
of
$({v}_{\varepsilon}{)}_{\varepsilon}$
in
$\mathcal{G}\left(V\right)$
is the desired generalized function.
$\square $
References

Abraham, R., Marsden, J. E. Foundations of Mechanics. Benjamin/Cummings, Reading, MA, second edition, 1978.

Berest, Yu. Yu. Group analysis of linear differential equations in distributions and the construction of fundamental solutions. Diff. Equ., 29(11):1700–1711, 1993.

Berest, Yu. Yu., Ibragimov, N. H. Group theoretic determination of fundamental solutions. Lie Groups Appl., 1(2):65–80, 1994.

Bluman, G. W., Kumei, S. Symmetries and Differential Equations. Springer, New York, 1989.

Djapić, N., Kunzinger, M., Pilipović, S. Symmetry group analysis of weak solutions. Proc. London Math. Soc. (3), 84(3):686–710, 2002.

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.

Konjik, S., Kunzinger, M. Generalized group actions in a global setting. Submitted.

Kunzinger, M. Nonsmooth differential geometry and algebras of generalized functions. J. Math. Anal. Appl., 297:456–471, 2004.

Kunzinger, M., Oberguggenberger, M. Group analysis of differential equations and generalized functions. SIAM J. Math. Anal., 31(6):1192–1213, 2000.

Kunzinger, M., Oberguggenberger, M., Steinbauer, R., Vickers, J. Generalized flows and singular ODEs on differentiable manifolds. Acta Appl. Math., 80:221–241, 2004.

Ligȩza, J. Remarks on generalized solutions of ordinary differential equations in the Colombeau algebra. Math. Bohem., 123(3):301–316, 1998.

Marsden, J. E. Generalized Hamiltonian mechanics. Arch. Rat. Mech. Anal., 28(4):323–361, 1968.

Methée, P. D. Sur les distributions invariantes dans le groupe des rotations de Lorentz. Comment. Math. Helv., 28:224–269, 1954.

Oberguggenberger, M. Symmetry groups, nonlinear partial differential equations, and generalized functions. In Lesley, J. A., Robart, T., editor, Geometrical Study of Differential Equations, volume 285 of Contemporary Mathematics, pages 101–110. Amer. Math. Soc., 2001.

Oberguggenberger, M. Rotationally invariant Colombeau functions. In Delcroix, A., Hasler, M., Marti, J.A., Valmorin, V., editor, Nonlinear Algebraic Analysis and Applications, pages 227–236. Cambridge Scientific Publishers, 2004.

Oberguggenberger, M., Rosinger, E. E. Solution of Continuous Nonlinear PDEs through Order Completion. North Holland, Amsterdam, 1994.

Olver, P. J. Applications of Lie Groups to Differential Equations, volume 107 of Graduate Texts in Mathematics. Springer, New York, second edition, 1993.

Olver, P. J. Equivalence, Invariants, and Symmetry. Cambridge University Press, 1995.

Pilipović, S., Scarpalezos, D., Valmorin, V. Equalities in generalized function algebras. Preprint, 2004.

Rosinger, E. E., Rudolph, M. Group invariance of global generalized solutions of smooth nonlinear PDEs: a Dedekind order completion method. Lie Groups Appl., 1(1):203–215, 1994.

Rosinger, E. E., Walus, Y. E. Group invariance of generalized solutions obtained through the algebraic method. Nonlinearity, 7:837–859, 1994.

Szmydt, Z. On homogeneous rotation invariant distributions and the laplace operator. Ann. Pol. Math., 6:249–259, 1979.

Ziemian, B. On distributions invariant with respect to some linear transformations. Ann. Pol. Math., 36:261–276, 1979.