In [11], we introduced the notion of asymptotic gauge (AG), and we used it to construct Colombeau AG-algebras. This construction concurrently generalizes that of many different algebras used in Colombeau's theory, e.g. the special one $\mathcal{G}^{\srm}$, the full one $\gse$, the NSA based algebra of asymptotic functions $\hat{\mathcal{G}}$, and the diffeomorphism invariant algebras $\gsd$, $\mathcal{G}^{2}$ and $\hat{\mathcal{G}}$. In this paper we study the categorical properties of the construction of Colombeau AG-algebras with respect to the choice of the AG, and we show their consequences regarding the solvability of generalized ODE.
We present a point value characterization for elements of the elementary full Colombeau algebra G^e and the diffeomorphism invariant full Colombeau algebra G^d. Moreover, several results from the special algebra G^s about generalized numbers and invertibility are extended to the elementary full algebra.
We show that the generalised composition of generalised integral operators is well defined on the space Colombeau algebras of tempered generalised functions.
We present a construction of algebras of generalized functions of Colombeau-type which, instead of asymptotic estimates with respect to a regularization parameter, employs only topological estimates on certain spaces of kernels for its definition.
We introduce full diffeomorphism-invariant Colombeau algebras with added $\varepsilone$-dependence in the basic space. This unites the full and special settings of the theory into one single framework. Using locality conditions we find the appropriate definition of point values in full Colombeau algebras and show that special generalized points suffice to characterize elements of full Colombeau algebras. Moreover, we specify sufficient conditions for the sheaf property to hold and give a definition of the sharp topology in this framework.
A recent variant of Colombeau algebras does not employ asymptotic estimates for its definition. We discuss how the concept of association with distributions transfers to this setting and why it still needs to be based on asymptotics.
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 d…
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 Colom…
Colombeau algebras constitute a convenient framework for performing nonlinear operations like multiplication on Schwartz distributions. Many variants and modifications of these algebras exist for various applications. We present a functional analytic approach placing these algebras in a unifying hierarchy, which clarifies their structural properties as well as their relation to each other.
We adapt a nonlinear version of Peetre's theorem on local operators in order to investigate representatives of nonlinear generalized functions occurring in the theory of full Colombeau algebras.
In a recent paper, we gave a topological description of Colombeau type algebras introducing algebras of sequences with exponential weights. Embeddings of Schwartz' spaces into the Colombeau algebra G are well known, but for ultradistribution and periodic hyperfunction type spaces we give new constructions. We show that the multiplication of regular enough functions (smooth, ultradifferentiable or quasianalytic), embedded into corresponding algebras, is the ordinary multiplication.
We present a geometric approach to diffeomorphism invariant full Colombeau algebras which allows a particularly clear view on the construction of the intrinsically defined algebra $\hat{\mathcal G}(M)$ on the manifold $M$ given in (Grosser et al., Adv. Math. 166 (2002), 179--206).
Inspired by nonstandard analysis, we define and study internal subsets and internal functions in algebras of Colombeau generalized functions. We prove a saturation principle for internal sets and provide applications to Colombeau algebras.
We extend the functional analytic approach to Colombeau-type spaces of nonlinear generalized functions in order to study algebras of tempered generalized functions. We obtain a definition of Fourier transform of nonlinear generalized functions which has a strict inversion theorem, agrees with the classical Fourier transform for tempered distributions and preserves well-known classical properties.
The Colombeau algebra of generalized functions allows to unrestrictedly carry out products of distributions. We analyze this operation from a microlocal point of view, deriving a general inclusion relation for wave front sets of products in the algebra. Furthermore, we give explicit examples showing that the given result is optimal, i.e. its assumptions cannot be weakened. Finally, we discuss the interrelation of these results with the concept of pullback under smooth maps.
Modelling of singularities given by discontinuous functions or distributions by means of generalized functions has proved useful in many problems posed by physical phenomena. We introduce in a systematic way generalized functions of Colombeau that model such singularities. Moreover, we evaluate some products of singularity-modelling generalized functions whenever the result admits an associated distribution
Results on products of the distributions $x_{\pm}^{a}$ and $\de^{(p)}(x)$ with coinciding singularities are derived when the products are balanced so that they exist in the distribution space. These results follow the idea of a known result on distributional products published by Jan Mikusiński in 1966. They are obtained in Colombeau algebra $\EuScript{G}(\mathbb{R})$ of generalized functions that contains the distribution space and the notion of 'association' in it allows obtaining results in terms of distributions.
Modelling of singularities given by discontinuous functions or distributions by means of generalized functions has proved useful in many problems posed by physical phenomena. We introduce in a systematic way generalized functions of Colombeau that model singularities given by distributions with singular point support. Moreover, we evaluate various products of such generalized models whenever the results admit associated distributions. The results obtained follow the idea of a well-known result of Jan Mikusinski on balancing of singular distributional products.
We present a differential algebra of generalized functions over a field of generalized scalars by means of several axioms in terms of general algebra and topology. Our differential algebra is of Colombeau type in the sense that it contains a copy of the space of Schwartz distributions, and the set of regular distributions with $\mathcal C^\infty$-kernels forms a differential subalgebra. We discuss the uniqueness of the field of scalars as well as the consistency and independence of our axioms. This article is written mostly to satisfy the interest of mathematicians and scientists who do not ne…
We define natural topologies on the Colombeau algebras which are compatible with the algebraic structure. These topologies reduces do Scarpalezos sharp topologies when restricted. with this we take a positive step towards topological methods of solving P.D. Equations in Colombeau algebras. Applications will appear elsewhere.
We tackle the problem of finding a suitable categorical framework for generalized functions used in mathematical physics for linear and non-linear PDEs. We are looking for a Cartesian closed category which contains both Schwartz distributions and Colombeau generalized functions as natural objects. We study Frölicher spaces, diffeological spaces and functionally generated spaces as frameworks for generalized functions. The latter are similar to Frölicher spaces, but starting from locally defined functionals. Functionally generated spaces strictly lie between Frölicher spaces and diffeological s…
We show that for smooth manifolds X and Y, any isomorphism between the special algebra of Colombeau generalized functions on X, resp. Y is given by composition with a unique Colombeau generalized function from Y to X. We also identify the multiplicative linear functionals from the special algebra of Colombeau generalized functions on X to the ring of Colombeau 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.
Over the past few years there has been considerable progress in the structural understanding of special Colombeau algebras. We present some of the main trends in this development: non-smooth differential geometry, locally convex theory of modules over the ring of generalized numbers, and algebraic aspects of Colombeau theory. Some open problems are given and directions of further research are outlined.
We study the topological duals of the Colombeau algebras $\Gc(\Om)$, $\G(\Om)$ and $\GS(\R^n)$, discussing some continuous embeddings and the properties of generalized delta functionals.
Summarizing basic facts from abstract topological modules over Colombeau generalized complex numbers we discuss duality of Colombeau algebras. In particular, we focus on generalized delta functionals and operator kernels as elements of dual spaces. A large class of examples is provided by pseudodifferential operators acting on Colombeau algebras. By a refinement of symbol calculus we review a new characterization of the wave front set for generalized functions with applications to microlocal analysis.
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.
This contribution presents a comprehensive analysis of Colombeau (-type) algebras in the range between the diffeomorphism invariant algebra introduced in Part I and Colombeau's original algebra. Along the way, it provides several classification results which are indispensable for obtaining an intrinsic description of a (full) Colombeau algebra on a manifold. The latter will be the focus of Part III of this series of contributions.
We introduce the notion of generalized function taking values in a smooth manifold into the setting of full Colombeau algebras. After deriving a number of characterization results we also introduce a corresponding concept of generalized vector bundle homomorphisms and, based on this, provide a definition of tangent map for such generalized functions.
We show that contrary to recent papers by S. Albeverio, A. Yu. Khrennikov and V. Shelkovich, point values do not determine elements of the so-called p-adic Colombeau-Egorov algebra uniquely. We further show in a more general way that for an Egorov algebra of generalized functions on a locally compact ultrametric space (M,d) taking values in a non-trivial ring, a point value characterization holds if and only if (M,d) is discrete. Finally, following an idea due to M. Kunzinger and M. Oberguggenberger, a generalized point value characterization of such an Egorov algebra is given. Elements of the…
We introduce different notions of wave front set for the functionals in the dual of the Colombeau algebra $\Gc(\Om)$ providing a way to measure the $\G$ and the $\Ginf$- regularity in $\LL(\Gc(\Om),\wt{\C})$. For the smaller family of functionals having a ``basic structure'' we obtain a Fourier transform-characterization for this type of generalized wave front sets and results of noncharacteristic $\G$ and $\Ginf$-regularity.
This contribution is the first in a series of three: it reports on the construction of (a fine sheaf of) diffeomorphism invariant Colombeau algebras on open sets of Eucildean space, which completes earlier approaches. Part II and III will show, among others, the way to an intrinsic definition of Colombeau algebras on manifolds which, locally, reproduces the local diffeomorphism invariant theory.
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 ind…
Colombeau generalized functions invariant under smooth (additive) one-parameter groups are characterized. This characterization is applied to generalized functions invariant under orthogonal groups of arbitrary signature, such as groups of rotations or the Lorentz group. Further, a one-dimensional Colombeau generalized function with two (real) periods is shown to be a generalized constant, when the ratio of the periods is an algebraic nonrational number. Finally, a nonstandard Colombeau generalized function invariant under standard translations is shown to be constant.
The proposal "no boundary" of physicists Hartle and Hawking seeks to build a satisfactory model of the early Universe, in a way that avoids the singularity "Big Bang" of the beginning of the Universe. As a consequence of this proposal, the concept of metric signature change arises, which is approached in different ways in the literature. Here, we reinterpret the Mansouri-Nozari approach, which modifies the FLRW metric, and uses the formalism of Colombeau's Algebras, to develop its equations. In addition, we write the function that changes the sign in terms of redshift. Finally, we developed Fr…
The purpose of this paper is to construct and to study algebras of generalized Gevrey ultardistributions. We define the generalized Gevrey wave front and give its main properties. As a fundamental application, the well known Hormander's theorem on the product of two distributions is extended to the case of generalized Gevrey ultradistributions
We define the algebra of Colombeau generalized functions on a subset A of the space of d-dimensional generalized points. If the domain A is open, such generalized functions can be identified with pointwise maps from A into the ring of Colombeau generalized numbers. We study analyticity in these algebras, if the domain is an open subset of the complex generalized points. In particular, if the domain is an open ball for the sharp norm, we characterize analyticity and give a unicity theorem involving the values at generalized points.
An explicit counterexample shows that contrary to the situation in the special Colombeau algebra, positivity and invertibility cannot be characterized pointwise in algebras of tempered generalized functions. Further a point value characterization of the latter is refined.
We present the construction of an associative, commutative algebra $\hat {\mathcal G}$ of generalized functions on a manifold $X$ satisfying the following optimal set of permanence properties: (i)The space of distributions on $X$ is linearly embedded into $\hat {\mathcal G}$, $f(p)\equiv 1$ is the unity in the algebra. (ii) For every smooth vector field $ξ$ on $X$ there exists a derivation operator $\hat L_ξ: \hat {\mathcal G} \to \hat {\mathcal G}$ which is linear and satisfies the Leibniz rule. (iii) $L_ξ$ restricted to the space of distributions on $X$ is the usual Lie derivative. (iv) Mult…
We develop the diffeomorphism invariant Colombeau-type algebra of nonlinear generalized functions in a modern and compact way. Using a unifying formalism for the local setting and on manifolds, the construction becomes simpler and more accessible than previously in the literature.
Regularity theory in generalized function algebras of Colombeau type is largely based on the notion of ${\mathcal G}^\infty$-regularity, which reduces to $C^\infty$-regularity when restricted to Schwartz distributions. Surprisingly, in the nonstandard version of the Colombeau algebras, this basic property of ${\mathcal G}^\infty$-regularity does not hold.
We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of {\em Colombeau type} in the sense that it contains a copy of the space of Schwartz distributions. We study the uniqueness of the objects we define and the consistency of our axioms. The article is aimed at mathematicians and physicists who are interested in the non-linear theory of generalized functions, but who are not necessarily familiar with the original Colombeau theory. We assume, however, some basic familiarity with the Schwartz theor…
We study invariance properties of Colombeau generalized functions under actions of smooth Lie transformation groups. Several characterization results analogous to the smooth setting are derived and applications to generalized rotational invariance are given.
This article is a natural continuation of the paper Tiwari, D., Giordano, P., Hyperseries in the non-Archimedean ring of Colombeau generalized numbers in this journal. We study one variable hyper-power series by analyzing the notion of radius of convergence and proving classical results such as algebraic operations, composition and reciprocal of hyper-power series. We then define and study one variable generalized real analytic functions, considering their derivation, integration, a suitable formulation of the identity theorem and the characterization by uniform upper bounds of derivatives on …
We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of Colombeau type in the sense that it contains a copy of the space of Schwartz distributions. We study the uniqueness of the objects we define and the consistency of our axioms. Next, we identify an inconsistency in the conventional Laplace transform theory. As an application we offer a free of contradictions alternative in the framework of our algebra of generalized functions. The article is aimed at mathematicians, physicists and engineers w…
This paper gives a comprehensive analysis of algebras of Colombeau-type generalized functions in the range between the diffeomorphism-invariant quotient algebra $\mathcal{G}^d = \mathcal{E}_M/\mathcal{N}$ introduced in part I and Colombeau's original algebra $\mathcal{G}^e$. Three main results are established: First, a simple criterion describing membership in $\mathcal{N}$ (applicable to all types of Colombeau algebras) is given. Second, two counterexamples demonstrate that $\mathcal{G}^d$ is not injectively included in $\mathcal{G}^e$. Finally, it is shown that in the range ``between'' $\mat…
We review our recent formulation of Colombeau type algebras as Hausdorff sequence spaces with ultranorms, defined by sequences of exponential weights. We extend previous results and give new perspectives related to echelon type spaces, possible generalisations, asymptotic algebras, concepts of association, and applications thereof.
We develop a refined theory of microlocal analysis in the algebra ${\mathcal G}(Ω)$ of Colombeau generalized functions. In our approach, the wave front is a set of generalized points in the cotangent bundle of $Ω$, whereas in the theory developed so far, it is a set of nongeneralized points. We also show consistency between both approaches.
We show that spaces of Colombeau generalized functions with smooth parameter dependence are isomorphic to those with continuous parametrization. Based on this result we initiate a systematic study of algebraic properties of the ring $\widetilde{\mathbb{K}}_{sm}$ of generalized numbers in this unified setting. In particular, we investigate the ring and order structure of $\widetilde{\mathbb{K}}_{sm}$ and establish some properties of its ideals.
The paper is devoted to proving an existence and uniqueness result for generalized solutions to semilinear wave equations with a small nonlinearity in space dimensions 1, 2, 3. The setting is the one of Colombeau algebras of generalized functions. It is shown that for a nonlinearity of arbitrary growth and sign, but multiplied with a small parameter, the initial value problem for the semilinear wave equation has a unique solution in the Colombeau algebra of generalized functions of bounded type. The proof relies on a fixed point theorem in the ultra-metric topology on the algebras involved. In…
We define the algebra of Colombeau generalized functions on the space of generalized points of {\mathbb R}^d which naturally contains the tempered generalized functions. The subalgebra of \mathscr{S}-regular generalized functions of this algebra is characterized by a pointwise property of the generalized functions and their Fourier transforms. We also characterize the equality in the sense of generalized tempered distributions for certain elements of this algebra (namely those with so-called slow scale support) by means of a pointwise property of their Fourier transforms. Further, we show that…
We give an overview of the development of algebras of generalized functions in the sense of Colombeau and recent advances concerning diffeomorphism invariant global algebras of generalized functions and tensor fields. We furthermore provide a survey on possible applications in general relativity in light of the limitations of distribution theory.
Based on Colombeau's theory of algebras of generalized functions we introduce the concepts of generalized functions taking values in differentiable manifolds as well as of generalized vector bundle homomorphisms. We study their basic properties, in particular with respect to some new point value concepts for generalized functions and indicate applications of the resulting theory in general relativity.
We show that the algebra of asymptotic functions $^ρ\mathcal{E}(Ω)$ (introduced in another paper by the author of this article jointly with M. Oberguggenberger) is isomorphic to a class of pointwise functions in the field of A. Robinson asymptotic numbers $^ρ\mathbb{C}$. Since the algebra $^ρ\mathcal{E}(Ω)$, contains a copy of the Schwartz distributions $\mathcal{D}^\prime(Ω)$, it follows that every Schwartz distribution is a pointwise function in the field $^ρ\mathbb{C}$. The class of asymptotic functions $^ρ\mathcal{E}(Ω)$ is an algebra of generalized functions of Colombeau's type. The field…
We construct a diffeomorphism invariant (Colombeau-type) differential algebra canonically containing the space of distributions in the sense of L. Schwartz. Employing differential calculus in infinite dimensional (convenient) vector spaces, previous attempts in this direction are unified and completed. Several classification results are achieved and applications to nonlinear differential equations involving singularities are given.
We present a geometric approach to defining an algebra $\hat{\mathcal G}(M)$ (the Colombeau algebra) of generalized functions on a smooth manifold $M$ containing the space ${\mathcal D}'(M)$ of distributions on $M$. Based on differential calculus in convenient vector spaces we achieve an intrinsic construction of $\hat{\mathcal G}(M)$. $\hat{\mathcal G}(M)$ is a{\em differential} algebra, its elements possessing Lie derivatives with respect to arbitrary smooth vector fields. Moreover, we construct a canonical linear embedding of ${\mathcal D}'(M)$ into $\hat{\mathcal G}(M)$ that renders ${\mat…
The purpose of this paper is to build a new bridge between category theory and a generalized probability theory known as noncommutative probability or quantum probability, which was originated as a mathematical framework for quantum theory, in terms of states as linear functionals defined on category algebras. We clarify that category algebras can be considered as generalized matrix algebras and that states on categories as linear functionals defined on category algebras turn out to be generalized of probability measures on sets as discrete categories. Moreover, by establishing a generalizatio…
