Group invariants in algebras of generalized functions, ,

Mathematics Subject Classification (2000): Primary: 46F30; secondary: 58E40,46T30, 35A30 Keywords: Lie group actions, Colombeau generalized functions, invariants

1 Introduction

Extensions of classical Lie group analysis ([17, 18, 4] ) to spaces of generalized functions, first in the distributional setting and later in nonlinear theories of generalized functions have been developed by various authors, starting as early as the 1950ies ([13, 22, 23, 2, 3, 16, 20, 21, 9, 5, 14, 15] ). The main focus of the extension to Colombeau algebras of generalized functions so far has been the study of symmetry groups of differential equations involving singularities. In [14, 15] (see also [6] , ch. 4), however, M. Oberguggenberger initiated the study of group invariant Colombeau generalized functions. He studied invariance under translations and rotations and gave some applications to the determination of group invariant fundamental solutions. Such questions have been taken up in [19, 7] and will also be one of the main themes of this contribution. Our aim is to analyze the action of smooth Lie transformation groups on elements of Colombeau algebras and to derive characterizations of invariants under such transformations which parallel the analogous constructions in the smooth setting.

The theory underlying our investigations is global analysis in Colombeau algebras, as presented in [6] (see [8] for a recent survey). In particular, our study of one-parameter transformation groups is based on the theory of flows of singular vector fields introduced in [10] .

Our plan of exposition is as follows. In section 2 we present some fundamental results on generalized flows of distributional and Colombeau vector fields and compare the two approaches.

Finally, section 3 addresses the main topic of this article, namely the analysis of group invariance under smooth Lie group actions in the Colombeau setting.

To conclude this introduction we fix some notation and terminology to be employed throughout the paper. By

X

we denote a smooth, connected, paracompact Hausdorff manifold of dimension

n

For notations from Colombeau's theory of generalized functions we follow [6] . Similarly, concerning terminology from symmetry group analysis our standard references are [17] for the classical theory and again [6] for the Colombeau setting.

2 Generalized flows

Lie group actions on differentiable manifolds are determined by their one-parameter subgroups which in turn are given as the flows of the corresponding infinitesimal generators. Therefore, in order to analyze generalized group actions we need a theory of ordinary differential equations with distributional or Colombeau generalized right hand side. These problems have been addressed, e.g., in [12] for the distributional and in [10] for the Colombeau case.

We begin with a purely distributional approach, as provided by Marsden [12] , and consider the initial value problem:

\begin{matrix} \begin{matrix} \dot{x} (t) & = & ζ (x (t)) \\ x (t_{0}) & = & x_{0}, \end{matrix} \end{matrix}

(1)

where

ζ \in D^{'} (X, T X)

is a distributional vector field. We immediately note that, in the linear theory of distributions, it is difficult to make sense of the above problem: it describes a prospective solution

x

which ought to be distributional, yet take values in a manifold. Moreover, the right hand side of the equation involves the composition of two distributional quantities. To circumvent these conceptual problems, Marsden's approach is to first approximate

ζ

by a sequence of smooth vector fields

ξ_{ɛ}

. The classical theory of ODEs then yields a flow

Φ^{ɛ}

of each

ξ_{ɛ}

. Then, under certain assumptions on

ζ

and the regularizing sequence

ξ_{ɛ}

, the limiting measurable function

Ψ = {lim}_{ɛ \to 0} Φ^{ɛ}

exists and is called the flow of

ζ

. To be more precise, let

ζ \in D^{'} (X, T X)

be a distributional vector field on the manifold

X

and let

(ξ_{ɛ})_{ɛ}

be a net of smooth vector fields with complete flows

Φ^{ɛ} (t, .)

and

ξ_{ɛ} \to ζ \in D^{'} (X, T X)

ζ

is called a vector field with measurable flow

Ψ_{t}

(i) $Φ^{ɛ} (t, .) \to Ψ (t, .)$ almost everywhere on $X$ for all $t$ (in particular, $Ψ_{t}$ is measurable), and
(ii) For each $t \in R$ and each $C \subset \subset X$ there exists $ɛ_{0} \in I$ and $K \subset \subset X$ with $C \subseteq K$ such that $Φ^{ɛ} (t, C) \subseteq K$ for all $ɛ$ .

It should be noted that in our terminology, (ii) says that

Φ^{ɛ} (t, .)

is c-bounded. It turns out, however, that (in contradiction to Thm. 6.2 in [12] ) the assumption on

ζ

to be a vector field with measurable flow

Ψ_{t}

does not guarantee the flow properties of

Ψ_{t}

almost everywhere (see [10] , Prop. 4.1 for a counterexample).

Despite this seeming impasse, the basic approach of Marsden (i.e., regularizing the distributional vector field and considering the net of flows corresponding to these regularizations), can successfully be transferred to the Colombeau setting.

Recall that

G_{0}^{1} (X)

denotes the space of Colombeau generalized vector fields on

X

. In order to derive existence and uniqueness theorems for flows of generalized vector fields we will need the following notions of boundedness in terms of Riemannian metrics on

X

2.1 Definition. Let

ξ \in G_{0}^{1} (X)

(i) We say that $ξ$ is locally bounded resp. locally of $L^{\infty}$ -log-type if for all $K \subset \subset X$ and one (hence every) Riemannian metric $h$ on $X$ we have for one (hence every) representative $ξ_{ɛ}$ ${sup}_{p \in K} ∥ ξ_{ɛ} |_{p} ∥_{h} \leq C resp. {sup}_{p \in K} ∥ ξ_{ɛ} |_{p} ∥_{h} \leq C | log ɛ |,$ where $∥ ∥_{h}$ denotes the norm induced on $T_{p} X$ by $h$ .
(ii) $ξ$ is called globally bounded with respect to $h$ if for some (hence every) representative $(ξ_{ɛ})_{ɛ}$ of $ξ$ there exists $C > 0$ with ${sup}_{p \in X} ∥ ξ_{ɛ} |_{p} ∥_{h} \leq C .$

Note that, contrary to local boundedness resp. local

L^{\infty}

-log type, global boundedness obviously depends on the choice of Riemannian metric. We now have the following basic existence and uniqueness result for ordinary differential equations with generalized right hand side on a differentiable manifold:

2.2 Theorem. Let

(X, h)

be a complete Riemannian manifold,

{\tilde{x}}_{0} \in {\tilde{X}}_{c}

and

ξ \in G_{0}^{1} (X)

such that

(i) $ξ$ is globally bounded with respect to $h$ .
(ii) For each differential operator $P \in P (X, T X)$ of first order $P ξ$ is locally of $L^{\infty}$ -log-type.

Then the initial value problem

\begin{matrix} \dot{x} (t) & = & ξ (x (t)) \end{matrix}

(2)

\begin{matrix} x (t_{0}) & = & {\tilde{x}}_{0} \end{matrix}

has a unique solution

x

G [R, X]

Proof. See [10] , Th. 3.5.

□

Moreover, we have:

2.3 Theorem. Let

(X, h)

be a complete Riemannian manifold and suppose that

ξ \in G_{0}^{1} (X)

satisfies conditions (i) and (ii) of Theorem 2.2 . Then there exists a unique generalized function

Φ \in G [R \times X, X]

, the generalized flow of

ξ

, such that

\begin{matrix} \frac{d}{d t} Φ (t, x) & = & ξ (Φ (t, x)) in G^{h} [R \times X, T X] \end{matrix}

(3)

\begin{matrix} Φ (0, .) & = & i d_{X} in G [X, X] \end{matrix}

(4)

\begin{matrix} Φ (t + s, .) & = & Φ (t, Φ (s, .)) in G [R^{2} \times X, X] . \end{matrix}

(5)

Proof. See [10] , Th. 3.6.

□

2.4 Definition. Let

ξ \in G_{0}^{1} (X)

be a generalized vector field for which there exists a unique global generalized flow

Φ \in G [R \times X, X]

satisfying ( 3 ), ( 4 ) and ( 5 ). Then both

ξ

and its generalized flow

Φ

are called

G

-complete.

Φ

is called a generalized (one-parameter) group action on

X

and

ξ

is called the infinitesimal generator of

Φ

Once the existence of the generalized flow of an element

ξ

G_{0}^{1} (X)

is secured, the question arises whether there exist distributional limits of the corresponding flows

Φ_{ɛ}

. For a detailed analysis of this question (which, in a certain sense provides a resolution to the problems encountered in the distributional modelling of generalized flows above) we refer to [10] , sec. 6.

3 Group invariants in the Colombeau setting

Φ

is a generalized group action on

X

we call

u \in G (X)

invariant under

Φ

u (Φ (\tilde{η}, \tilde{x})) = u (\tilde{x}) \forall \tilde{η} \in {\tilde{R}}_{c}, \tilde{x} \in {\tilde{X}}_{c}

. By the point value characterization of Colombeau generalized functions this condition is equivalent to

u \circ Φ = u \circ π_{2}

as elements of

G (R \times X)

(with

π_{2} : R \times X \to X

the projection). The basic infinitesimal criterion for invariance is given in the following proposition, proved here for the sake of completeness (cf. e.g., [6] , Th. 4.5.1).

3.1 Proposition. Let

u \in G (X)

and let

Φ

be a generalized group action on

X

with infinitesimal generator

ξ

. Then the following statements are equivalent:

(i) $u$ is $Φ$ -invariant.
(ii) $ξ (u) = 0$ in $G (X)$ .

Proof. (i)

\Rightarrow

(ii) Since

u

Φ

-invariant we have

0 = \frac{d}{d η} |_{_{0}} (u (Φ (η, x))) = ξ (u) |_{x}

G (X)

(ii)

\Rightarrow

(i) Conversely, let

ξ (u) = 0

G (X)

. Then

\frac{d}{d η} u (Φ (η, \tilde{x})) = ξ (u) |_{Φ (η, \tilde{x})} = 0 in G (R) \forall \tilde{x} \in {\tilde{X}}_{c} .

Therefore, for each

\tilde{x}

the map

η \mapsto u (Φ (η, \tilde{x}))

is constant in

G (R)

, so

u \circ Φ = u \circ π_{2}

, by [6] , Th. 3.2.8.

□

To analyze the concept of group invariance for Colombeau generalized functions let us first consider the case of a classical (i.e., smooth) generator. If

ξ \in X (X)

G

-complete then the generalized flow of

ξ

coincides with the classical flow. Important examples of

G

-complete smooth vector fields include:

3.2 Examples.

(i) Let $(X, g)$ be a complete Riemannian manifold and let $ξ \in X (X)$ be globally bounded w.r.t. $g$ . Then $ξ$ is $G$ -complete. In fact, since $ξ_{ɛ} \equiv ξ$ is a representative of $ξ$ as an element of $G_{0}^{1} (X)$ it is clear that for each first order differential operator $P \in P (X, T X)$ , $P ξ$ is locally of $L^{\infty}$ -log-type. The claim therefore follows from Th. 2.3 .
(ii) As a particular case of (i), choose $X = R^{n}$ with the standard Euclidean metric. It follows that if $ξ$ is a smooth vector field on $R^{n}$ with globally bounded coefficients then $ξ$ is $G$ -complete and its flow is just the classical smooth flow.
(iii) Suppose that $X = R^{n}$ and the coefficients of $ξ$ are linear functions of $x$ . Then $ξ$ is $G$ -complete (see, e.g., [11] , Th. 3.1). For example, if $ξ = x_{i} \partial_{x_{j}} - x_{j} \partial_{x_{i}}$ is the smooth generator of a rotation in $R^{n}$ then it follows that $ξ$ is $G$ -complete.

For the base vector fields

\partial_{x_{i}}

R^{n}

, the following result by M. Oberguggenberger gives a characterization of translational invariance:

3.3 Theorem. Let

u \in G (R^{n})

. The following are equivalent:

(i) $u ({\tilde{x}}_{1} + η, {\tilde{x}}_{2}, . . ., {\tilde{x}}_{n}) = u (\tilde{x})$ for all $\tilde{x} \in {\tilde{R}}_{c}^{n}, η \in {\tilde{R}}_{c}$ .
(ii) $\partial_{x_{1}} u = 0$ in $G (R^{n})$ .
(iii) $u$ has a representative $(u_{ɛ})_{ɛ}$ such that $\partial_{x_{1}} u_{ɛ} \equiv 0$ for all $ɛ$ .

Proof. See [15] , Th. 2.2.

□

3.4 Remark.

(i) It follows easily from the proof of [15] , Th. 2.2. that an analogous statement is valid for iterated derivatives $\partial_{x_{i_{1}}} . . . \partial_{x_{i_{k}}} u$ .
(ii) Until recently it was an open question whether (i)–(iii) in the above theorem is equivalent to
- (i') $u ({\tilde{x}}_{1} + η, {\tilde{x}}_{2}, . . ., {\tilde{x}}_{n}) = u (\tilde{x})$ for all $\tilde{x} \in {\tilde{R}}_{c}^{n}, η \in R$ .
i.e., whether standard translations suffice to characterize translational invariance of Colombeau generalized functions. In [19] , however, Pilipović, Scarpalezos and Valmorin were able to give an affirmative answer to this question.

Note that Th. 3.3 implies in particular that a generalized function

u

is invariant under translations if and only if it possesses a distinguished representative

(u_{ɛ})_{ɛ}

such that each

u_{ɛ}

is a translation invariant smooth function. The following proposition locally extends the validity of this result to all smooth group actions which are regular in the sense that their infinitesimal generators are non-vanishing.

3.5 Proposition. Let

ξ \in X (X)

G

-complete with flow

Φ

and suppose that

ξ (x_{0}) \neq 0

for some

x_{0} \in X

. Then there exists a neighborhood

U

x_{0}

X

such that

u \in G (U)

is invariant under

Φ

if and only if

u

possesses a representative

(u_{ɛ})_{ɛ}

with each

u_{ɛ}

invariant under

Φ

Proof. By [1] , Th. 2.1.9 we may “straighten out”

ξ

around

x_{0}

. Thus there exists a chart

(U, φ)

around

x_{0}

with

φ_{*} ξ = \partial_{x_{1}}

. But then

φ_{*} u |_{U}

and hence

u |_{U}

itself satisfy the claim by Th. 3.3 .

□

We next wish to generalize Prop. 3.5 from one-parameter groups to more general Lie group actions on manifolds. Thus let us assume that

G

is a Lie group and

Ψ : G \times X \supseteq V \to X

is a regular transformation group (i.e., all orbits have the same dimension as submanifolds and each point in

X

has a base of neighborhoods whose elements intersect each orbit in a connected subset thereof, cf. [18] , p. 41). Analogous to the smooth setting, we call an element

u

G (X)

invariant under

Ψ

u \circ Ψ = u \circ π_{2} in G (V),

where

π_{2} : G \times X \to X

is the projection onto the second factor. The desired generalization of Prop. 3.5 then takes the following form:

3.6 Theorem. Let

Ψ : G \times X \supseteq V \to X

be a regular Lie group action on

X

with

s

-dimensional orbits. Then each point

x_{0} \in X

possesses a neighborhood

U

such that the following statements are equivalent for each

u \in G (U)

(i) $u$ is invariant under $Ψ$ .
(ii) $u$ possesses a representative $(u_{ɛ})_{ɛ}$ with each $u_{ɛ}$ invariant under $Ψ$ .

Proof. By [18] , Th. 2.23 we may choose a rectifying local chart

φ : x \mapsto (y_{1}, . . ., y_{s}, z_{1}, . . ., z_{n - s})

in a neighborhood

U

x_{0}

such that each group orbit intersects the coordinate chart in at most one slice

{z_{1} = c_{1}, . . ., z_{n - s}

=

c_{n - s}}

(with

c_{i}

constant for

1 \leq i \leq n - s

). Denote by

O_{x}

the orbit of

Ψ

through

x

. Then for each

x \in U

the local vector fields

{\frac{\partial}{\partial y_{i}} |}_{x}

(

1 \leq i \leq s

) form a basis of the tangent space of

O_{x}

. It follows that in this neighborhood each infinitesimal generator of

Ψ

is a unique

C \infty

-linear combinations of the

\frac{\partial}{\partial y_{i}}

and vice versa. In

U

, invariance under

Ψ

therefore amounts to

\partial_{y_{i}} u

being zero in

G (U)

. Therefore, by an application of Remark 3.4 (i) to

φ_{*} u

we reach the desired conclusion.

□

As an important concrete example of invariance of Colombeau generalized functions under smooth transformation groups let us consider in some detail the case of rotational invariance, following [14, 15, 7] . Let

S O (n, \tilde{R})

denote the special orthogonal group over the ring

\tilde{R}

of generalized numbers and

S O (n, R)

the usual special orthogonal group. Letting

S O (n, \tilde{R})

act naturally on

R^{n}

it is well known that a basis of the Lie algebra of infinitesimal generators of this action is given by the set of all

ξ_{i j} = x_{i} \partial_{x_{j}} - x_{j} \partial_{x_{i}}

for

i < j

. For an element

u

R^{n}

to be invariant under the flow

Φ_{i j}

ξ_{i j}

means that

u (Φ (\tilde{η}, \tilde{x})) = u (\tilde{x}) \forall \tilde{η} \in {\tilde{R}}_{c} \forall \tilde{x} \in {\tilde{R}}_{c}^{n} .

Here, the action of

Φ_{i j} (\tilde{η}, .)

is precisely a rotation in the

(x_{i}, x_{j})

-plane by the generalized angle

\tilde{η}

, hence is given by the action of the corresponding element of

S O (n, \tilde{R})

\tilde{x}

. Conversely, as was shown in [15] , Sec. 2, Lemma 3, each generalized rotation

A \in S O (n, \tilde{R})

in the

(x_{i}, x_{j})

-plane is precisely of this form. (This structural relationship in fact reaches even further: by the same result of Oberguggenberger, the

ξ_{i j}

also form a basis of the “Lie algebra” of

S O (n, \tilde{R})

in the following sense: each

A \in S O (n, \tilde{R})

is of the form

exp (v)

for some generalized vector field

v = \sum_{i < j} α_{i j} ξ_{i j}

with

α_{i j} \in \tilde{R}

for all

i < j

.) Consequently, the action of a generalized

(i, j)

-rotation

A \in S O (n, \tilde{R})

(which is an example of a generalized group action in the sense of section 2 ) can be viewed as the “nonstandardization” of the corresponding classical rotation which is obtained by replacing the real angle

η

by the generalized angle

\tilde{η}

. This, of course, is a direct result of the

G

-completeness of the smooth generators

ξ_{i j}

(cf. Ex. 3.2 (iii)). Combining these observations with Th. 3.1 we obtain (see [15] for an alternative direct proof ):

3.7 Proposition. Let

u \in G (R^{n})

. The following are equivalent:

(i) $u \circ A = u$ for all $A \in S O (n, \tilde{R})$ , i.e., $u$ is rotationally invariant.
(ii) $ξ (u) = 0$ for each infinitesimal generator $ξ$ of $S O (n, R)$ .

Moreover, we have:

3.8 Proposition. For

u \in G (R^{n} \ {0})

, (i) and (ii) are further equivalent with

(iii) $u$ possesses a representative consisting entirely of rotation invariant functions.

Proof.

S O (n, \tilde{R})

acts freely on

R^{n} \ {0}

, so we may employ Prop. 3.5 to establish the claim.

□

The restriction to

R^{n} \ {0}

in the above result is grounded in the method of proof (application of Prop. 3.5 ) rather than in the subject matter itself. In fact, the equivalence is true on all of

R^{n}

(see [15] ).

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 S O (n, R)$ .

In fact, we have:

3.9 Proposition. For

u \in G (R^{n} \ {0})

, (i) and (i') are equivalent.

Proof. Since each

ξ_{i j}

is nonzero on

R^{n} \ {0}

it may be straightened out, in fact even globally on all of

R^{n} \ {0}

(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 .

□

A direct extension of the proof of Prop. 3.9 to the case

X = R^{n}

is not possible: contrary to the smooth situation a Colombeau generalized function which is rotationally invariant on

R^{n} \ {0}

need not be rotationally invariant on all of

R^{n}

. As an example, choose any test function

φ

whose support is not rotationally invariant and set

u = [(φ (. / ɛ))_{ɛ}]

. Then

u

is supported in

{0}

yet it is clearly not rotationally invariant on

R^{n}

. Despite this technical complication, however, it turns out that the result can be extended to all of

R^{n}

, thereby providing an affirmative answer to a question raised by M. Oberguggenberger in [15] :

3.10 Theorem. For

u \in G (R^{n})

, (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

\tilde{A} \in S O (2, \tilde{R})

. Then by the discussion preceding Prop. 3.7 there exists some

\tilde{η} \in {\tilde{R}}_{c}

such that

\tilde{A} = [{(\begin{matrix} cos (η_{ɛ}) & - sin (η_{ɛ}) \\ sin (η_{ɛ}) & cos (η_{ɛ}) \end{matrix})}_{ɛ}] .

Given

\tilde{x}

\tilde{y} \in {\tilde{R}}_{c}

we have to show that

u (\tilde{A} \cdot (\tilde{x}, \tilde{y})^{t}) = u (\tilde{x}, \tilde{y})

\tilde{R}

. We may write

(\tilde{x}, \tilde{y}) = [(r_{ɛ} cos (θ_{ɛ}), r_{ɛ} sin (θ_{ɛ}))]

for suitable

r_{ɛ} \geq 0

θ_{ɛ}

. Now set

v_{ɛ} : = θ \mapsto u_{ɛ} (r_{ɛ} cos (θ), r_{ɛ} sin (θ))

. Then

v = [(v_{ɛ})_{ɛ}] \in G (R)

and by assumption

v (\tilde{θ} + η) = v (\tilde{θ})

\tilde{R}

for all

\tilde{θ} \in {\tilde{R}}_{c}

and all

η \in 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 \geq 2

we verify (ii) of Prop. 3.7 . Let

1 \leq i < j \leq n

and let

ξ_{i j} = x_{i} \partial_{x_{j}} - x_{j} \partial_{x_{i}}

as above be an infinitesimal generator of

S O (n, R)

. Fix compactly supported generalized numbers

{\tilde{x}}_{1}

,. . . ,

{\tilde{x}}_{i - 1}

{\tilde{x}}_{i + 1}

,. . . ,

{\tilde{x}}_{j - 1}

{\tilde{x}}_{j + 1}

,. . . ,

{\tilde{x}}_{n}

and consider the maps

w_{ɛ} : (x_{i}, x_{j}) \mapsto u_{ɛ} ({\tilde{x}}_{1}, . . ., {\tilde{x}}_{i - 1}, x_{i}, . . ., {\tilde{x}}_{j - 1}, x_{j}, . . ., {\tilde{x}}_{n}) .

Then

w = [(w_{ɛ})_{ɛ}] \in G (R^{2})

and from our assumption it follows that

w \circ A = w

G (R^{2})

for all

A \in S O (R^{2})

. By what we have already proved in the 2D-case and Prop. 3.7 it follows that

ξ_{i j} w = 0

G (R^{2})

for each

i < j

, which finishes the proof.

□

In the smooth setting, the local structure of invariants of a group action is determined by so-called complete sets of functionally independent invariants (cf. [17] , Sec. 2.1). A family of smooth functions

f_{1}, . . ., f_{k}

X

is called functionally dependent if for each

x \in X

there exists a neighborhood

U

x

and a smooth function

F

which is not identically zero on any open subset of

R^{k}

such that

x \mapsto F (f_{1} (x), . . ., f_{k} (x))

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

Ψ

acts (semi-)regularly with

s

-dimensional orbits then in a neighborhood of any point

x_{0}

X

there exists a set

f_{1}, . . ., f_{n - s}

of functionally independent invariants such that any other local invariant

f

Ψ

is of the form

f (x) = F (f_{1} (x), . . ., f_{n - s} (x))

for some smooth function

F

. Such a family

f_{1}, . . ., f_{n - s}

is called a complete set of functionally independent invariants of

Ψ

. 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

Ψ : G \times X \supseteq 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

x_{0}

and a complete set of functionally independent invariants

f_{1}, . . ., f_{n - s}

U

such that every

Ψ

-invariant

u \in G (U)

is of the form

u (x) = v (f_{1} (x), . . ., f_{n - s} (x))

for some

v \in G (V)

, where

V

is an appropriate open subset of

R^{n - s}

Proof. Employing the notations of Th. 3.6 , the coordinates

z_{1} = f_{1} (x)

, . . .

z_{n - s} = f_{n - s} (x)

are in fact a complete set of functionally independent invariants for the group action

Ψ

X

(cf. the proof of Th. 2.17 in [17] ). Now if

u \in G (U)

is an invariant of

Ψ

then by Th. 3.6 we may choose a representative

(u_{ɛ})_{ɛ}

u

such that each

u_{ɛ}

is an invariant of

Ψ

U

. Then by [17] , Th. 2.17, for each

ɛ

there exists a smooth function

v_{ɛ}

such that

u_{ɛ} (x) = v_{ɛ} (f_{1} (x), . . ., f_{n - s} (x))

. Denoting

φ_{*} u

\tilde{u}

we have

{\tilde{u}}_{ɛ} (y, z) = v_{ɛ} (z)

, so

(v_{ɛ})_{ɛ} \in ℰ M (V)

, where

V

is the projection of

φ (U)

onto the last

n - s

components. It follows that the class

v = [(v_{ɛ})_{ɛ}]

(v_{ɛ})_{ɛ}

G (V)

is the desired generalized function.

□

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.
Ligȩ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.