Using convex subrings of *$\mathbb{C}$, a nonstandard extension of $\mathbb{C}$, we define several kinds of complex bounded polynomials and we provide their associated analytic functions obtained by taking the quasistandard part.

This paper addresses linear hyperbolic partial differential equations and pseudodifferential equations with strongly singular coefficients and data, modelled as members of algebras of generalized functions. We employ the recently developed theory of generalized Fourier integral operators to construct parametrices for the solutions and to describe propagation of singularities in this setting. As required tools, the construction of generalized solutions to eikonal and transport equations is given and results on the microlocal regularity of the kernels of generalized Fourier integral operators are obtained.

In this paper, a theory is developed of generalized oscillatory integrals (OIs) whose phase functions and amplitudes may be generalized functions of Colombeau type. Based on this, generalized Fourier integral operators (FIOs) acting on Colombeau algebras are defined. This is motivated by the need for a general framework for partial differential operators with non-smooth coefficients and distribution dataffi The mapping properties of these FIOs are studied, as is microlocal Colombeau regularity for OIs and the influence of the FIO action on generalized wavefront sets.

Using a canonical linear embedding of the algebra ${{G}^{\infty }}\left( \Omega \right)$ of Colombeau generalized functions in the space of $\overline{\mathbb{C}}$ -valued $\mathbb{C}$-linear maps on the space $D\left( \Omega \right)$ of smooth functions with compact support, we give vanishing conditions for functions and linear integral operators of class ${{G}^{\infty }}$ . These results are then applied to the zeros of holomorphic generalized functions in dimension greater than one.

The concept of generalized functions taking values in a differentiable manifold is extended to a functorial theory. We establish several characterization results which allow a global intrinsic formulation both of the theory of manifold-valued generalized functions and of generalized vector bundle homomorphisms. As a consequence, a characterization of equivalence that does not resort to derivatives (analogous to scalar-valued cases of Colombeau's construction) is achieved. These results are employed to derive a point value description of all types of generalized functions valued in manifolds and to show that composition can be carried out unrestrictedly. Finally, a new concept of association adapted to the present setting is introduced.