Microlocal Analysis of Generalized Pullbacks of?Colombeau Functions

In distribution theory the pullback of a general distribution by a C ^∞-function is well-defined whenever the normal bundle of the C ^∞-function does not intersect the wave front set of the distribution. However, the Colombeau theory of generalized functions allows for a pullback by an arbitrary c-bounded generalized function. It has been shown in previous work that in the case of multiplication of Colombeau functions (which is a special case of a C ^∞ pullback), the generalized wave front set of the product satisfies the same inclusion relation as in the distributional case, if the factors have their wave front sets in favorable position. We prove a microlocal inclusion relation for the generalized pullback (by a c-bounded generalized map) of Colombeau functions. The proof of this result relies on a stationary phase theorem for generalized phase functions, which is given in the Appendix. Furthermore we study an example (due to Hurd and Sattinger), where the pullback function stems from the generalized characteristic flow of a partial differential equation.      

Global Representatives of Colombeau Holomorphic Generalized Functions

It is proved that a holomorphic generalized function in the sense of Colombeau has a representative consisting of a net of holomorphic functions. More generally, the existence of global representatives of Colombeau solutions to elliptic partial differential equations is proved. Further, it is shown that a generalized holomorphic function on Ω, which is equal to zero in an open set L ì WL\subset{\rm{\Omega}} , is equal to zero.     

Generalized solutions of a nonlinear parabolic equation with generalized functions as initial data

In [H. Brézis, A. Friedman, Nonlinear parabolic equations involving measures as initial conditions, J. Math. Pure Appl. (9) (1983) 73–97.] Brézis and Friedman prove that certain nonlinear parabolic equations, with the δ-measure as initial data, have no solution. However in [J.F. Colombeau, M. Langlais, Generalized solutions of nonlinear parabolic equations with distributions as initial conditions, J. Math. Anal. Appl (1990) 186–196.] Colombeau and Langlais prove that these equations have a unique solution even if the δ-measure is substituted by any Colombeau generalized function of compact support. Here we generalize Colombeau and Langlais’ result proving that we may take any generalized function as the initial data. Our approach relies on recent algebraic and topological developments of the theory of Colombeau generalized functions and results from [J. Aragona, Colombeau generalized functions on quasi-regular sets, Publ. Math. Debrecen (2006) 371–399.].     

Generalized group actions in a global setting

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.     

Nonlinear generalized sections and vector bundle homomorphisms in Colombeau spaces of generalized functions

We define and characterize spaces of manifold‐valued generalized functions and generalized vector bundle homomorphisms in the setting of the full diffeomorphism‐invariant vector‐valued Colombeau algebra. Furthermore, we establish point value characterizations for these spaces.     

Global Representatives of Colombeau Holomorphic Generalized Functions

It is proved that a holomorphic generalized function in the sense of Colombeau has a representative consisting of a net of holomorphic functions. More generally, the existence of global representatives of Colombeau solutions to elliptic partial differential equations is proved. Further, it is shown that a generalized holomorphic function on Ω, which is equal to zero in an open set , is equal to zero. First author partially supported by FWF (Austria), grants P16820 and Y237. Third author partially supported by MNZŽ (Serbia), project 144016.     

Isomorphisms of algebras of generalized functions

We show that for smooth manifolds X and Y, any isomorphism between the algebras of generalized functions (in the sense of Colombeau) on X, resp. Y is given by composition with a unique generalized function from Y to X. We also characterize the multiplicative linear functionals from the Colombeau algebra on X to the ring of generalized numbers. Up to multiplication with an idempotent generalized number, they are given by an evaluation map at a compactly supported generalized point on X.     

Internal sets and internal functions in Colombeau theory

This paper is devoted to the study of generalized functions as pointwise functions (so-called internal functions) on certain sets of generalized points (so-called internal sets). We treat the case of the Colombeau algebras of generalized functions, for which these notions have turned out to constitute a fundamental technical tool. We provide general foundations for the notion of internal functions and internal sets and prove a saturation principle. Various applications to Colombeau algebras are given.     

Homogeneity in generalized function algebras

We investigate homogeneity in the special Colombeau algebra on Rd as well as on the pierced space Rd?{0}. It is shown that strongly scaling invariant functions on Rd are simply the constants. On the pierced space, strongly homogeneous functions of degree α admit tempered representatives, whereas on the whole space, such functions are polynomials with generalized coefficients. We also introduce weak notions of homogeneity and show that these are consistent with the classical notion on the distributional level. Moreover, we investigate the relation between generalized solutions of the Euler differential equation and homogeneity.     

Full algebra of generalized functions and non-standard asymptotic analysis

We construct an algebra of generalized functions endowed with a canonical embedding of the space of Schwartz distributions.We offer a solution to the problem of multiplication of Schwartz distributions similar to but different from Colombeau’s solution.We show that the set of scalars of our algebra is an algebraically closed field unlike its counterpart in Colombeau theory, which is a ring with zero divisors. We prove a Hahn–Banach extension principle which does not hold in Colombeau theory. We establish a connection between our theory with non-standard analysis and thus answer, although indirectly, a question raised by Colombeau. This article provides a bridge between Colombeau theory of generalized functions and non-standard analysis.     

Point value characterizations and related results in the full Colombeau algebras \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${{\mathcal {G}}^e(\Omega )}$\end{document} and \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${{\mathcal {G}}^d(\Omega )}$\end{document}

We present a point value characterization for elements of the elementary full Colombeau algebra ${\mathcal {G}}^e(\Omega )$ and the diffeomorphism invariant full Colombeau algebra $\mathcal {G}^d(\Omega )$. Moreover, several results from the special algebra ${\mathcal {G}}^s(\Omega )$ about generalized numbers and invertibility are extended to the elementary full algebra.     

Unifying order structures for Colombeau algebras

We define a general notion of set of indices which, using concepts from pre‐ordered sets theory, permits to unify the presentation of several Colombeau‐type algebras of nonlinear generalized functions. In every set of indices it is possible to generalize Landau's notion of big‐O such that its usual properties continue to hold. Using this generalized notion of big‐O, these algebras can be formally defined the same way as the special Colombeau algebra. Finally, we examine the scope of this formalism and show its effectiveness by applying it to the proof of the pointwise characterization in Colombeau algebras.     

Asymptotic gauges: Generalization of Colombeau type algebras

We use the general notion of set of indices to construct algebras of nonlinear generalized functions of Colombeau type. They are formally defined in the same way as the special Colombeau algebra, but based on more general “growth condition” formalized by the notion of asymptotic gauge. This generalization includes the special, full and nonstandard analysis based Colombeau type algebras in a unique framework. We compare Colombeau algebras generated by asymptotic gauges with other analogous construction, and we study systematically their properties, with particular attention to the existence and definition of embeddings of distributions. We finally prove that, in our framework, for every linear homogeneous ODE with generalized coefficients there exists a minimal Colombeau algebra generated by asymptotic gauges in which the ODE can be uniquely solved. This marks a main difference with the Colombeau special algebra, where only linear homogeneous ODEs satisfying some restrictions on the coefficients can be solved.     

Hugoniot–Maslov chains of a shock wave in conservation law with polynomial flow

In this paper we give a theoretical foundation to the asymptotical development proposed by V. P. Maslov for shock type singular solutions of conservations laws, in the framework of Colombeau theory of generalized functions. Indeed, operating with Colombeau differential algebra of simplified generalized functions, we proof that Hugoniot–Maslov chains are necessary conditions for the existence of shock waves in conservation laws with polynomial flows. As a particular case, these equations include the Hugoniot–Maslov chains for shock waves in the Hopf equation. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Regularized Conservation Laws and Nonlinear Geometric Optics

 This paper is devoted to the study of Cauchy problems for regularized conservation laws in Colombeau algebras of generalized functions. The existence and uniqueness of generalized solutions to these Cauchy problems are obtained. Further, we develop a generalized variant of nonlinear geometric optics for the regularized problems. Consistency with the classical results is shown to hold for scalar conservation laws with bounded variation initial data in one space variable. Received 6 November 1996; in revised form 5 August 1997     

Strongly internal sets and generalized smooth functions

Based on a refinement of the notion of internal sets in Colombeau's theory, so-called strongly internal sets, we introduce the space of generalized smooth functions, a maximal extension of Colombeau generalized functions. Generalized smooth functions as morphisms between sets of generalized points form a sub-category of the category of topological spaces. In particular, they can be composed unrestrictedly.     

Topological properties of regular generalized function algebras

We investigate the topological density of various subalgebras of regular generalized functions in the Colombeau algebra $\mathcal{G }(\varOmega )$ of generalized functions with its natural (so-called sharp) topology.     

An algebraic approach to manifold-valued generalized functions

We discuss the nature of structure-preserving maps of varies function algebras. In particular, we identify isomorphisms between special Colombeau algebras on manifolds with invertible manifold-valued generalized functions in the case of smooth parametrization. As a consequence, and to underline the consistency and validity of this approach, we see that this generalized version on algebra isomorphisms in turn implies the classical result on algebras of smooth functions.     

A Discontinuous Colombeau Differential Calculus

Starting from the Colombeau Generalized Functions, the sharp topologies and the notion of generalized points, we introduce a new kind of differential calculus (for functions between totally disconnected spaces). We also define here the notions of holomorphic generalized functions (in this new framework) and generalized manifold. Finally we give an answer to a question raised in [6].