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 Colombeaus 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 develop the integral calculus for quasi-standard smooth functions defined on the ring of Fermat reals. The approach is by proving the existence and uniqueness of primitives. Besides the classical integral formulas, we show the flexibility of the Cartesian closed framework of Fermat spaces to deal with infinite dimensional integral operators. The total order relation between scalars permits to prove several classical order properties of these integrals and to study multiple integrals on Peano-Jordan-like integration domains.
We introduce the notion of functionally compact sets into the theory of nonlinear generalized functions in the sense of Colombeau. The motivation behind our construction is to transfer, as far as possible, properties enjoyed by standard smooth functions on compact sets into the framework of generalized functions. Based on this concept, we introduce spaces of compactly supported generalized smooth functions that are close analogues to the test function spaces of distribution theory. We then develop the topological and functional analytic foundations of these spaces.
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 restriction on the coefficients can be solved.
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 Landaus 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.
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 Frolicher spaces, diffeological spaces and functionally generated spaces as frameworks for generalized functions. The latter are similar to Frolicher spaces, but starting from locally defined functionals. Functionally generated spaces strictly lie between Frolicher spaces and diffeological spaces, and they form a complete and cocomplete Cartesian closed category. We deeply study functionally generated spaces (and Frolicher spaces) as a framework for Schwartz distributions, and prove that in the category of diffeological spaces, both the special and the full Colombeau algebras are smooth differential algebras, with a smooth embedding of Schwartz distributions and smooth pointwise evaluations of Colombeau generalized functions.
The inclusive semileptonic branching ratio is often employed to normalize other inclusive B decays. Using recent determinations of the non-perturbative parameters of the Operator Product Expansion we compute the normalization factor for the branching ratio of B->X_s gamma and find a few percent enhancement with respect to previous determinations.
