Generalized Fourier Integral Operators on spaces of Colombeau type

Generalized Fourier integral operators (FIOs) acting on Colombeau algebras are defined. This is based on a theory of generalized oscillatory integrals (OIs) whose phase functions as well as amplitudes may be generalized functions of Colombeau type. The mapping properties of these FIOs are studied as the composition with a generalized pseudodifferential operator. Finally, the microlocal Colombeau regularity for OIs and the influence of the FIO action on generalized wave front sets are investigated. This theory of generalized FIOs is motivated by the need of a general framework for partial differential operators with non-smooth coefficients and distributional data

Isomorphisms of algebras of Colombeau generalized functions

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.Comment: 10 page

Regularity properties of distributions through sequences of functions

We give necessary and sufficient criteria for a distribution to be smooth or uniformly H\"{o}lder continuous in terms of approximation sequences by smooth functions; in particular, in terms of those arising as regularizations $(T\ast\phi_{n})$.Comment: 10 page

An axiomatic approach to the non-linear theory of generalized functions and consistency of Laplace transforms

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 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 theory of distributions.Comment: 23 page

Classes of generalized functions with finite type regularities

We introduce and analyze spaces and algebras of generalized functions which correspond to Hölder, Zygmund, and Sobolev spaces of functions. The main scope of the paper is the characterization of the regularity of distributions that are embedded into the corresponding space or algebra of generalized functions with finite type regularities

The Epstein-Glaser approach to pQFT: graphs and Hopf algebras

The paper aims at investigating perturbative quantum field theory (pQFT) in the approach of Epstein and Glaser (EG) and, in particular, its formulation in the language of graphs and Hopf algebras (HAs). Various HAs are encountered, each one associated with a special combination of physical concepts such as normalization, localization, pseudo-unitarity, causality and an associated regularization, and renormalization. The algebraic structures, representing the perturbative expansion of the S-matrix, are imposed on the operator-valued distributions which are equipped with appropriate graph indices. Translation invariance ensures the algebras to be analytically well-defined and graded total symmetry allows to formulate bialgebras. The algebraic results are given embedded in the physical framework, which covers the two recent EG versions by Fredenhagen and Scharf that differ with respect to the concrete recursive implementation of causality. Besides, the ultraviolet divergences occuring in Feynman's representation are mathematically reasoned. As a final result, the change of the renormalization scheme in the EG framework is modeled via a HA which can be seen as the EG-analog of Kreimer's HA.Comment: 52 pages, 5 figure

Bayes linear kinematics in the analysis of failure rates and failure time distributions

Collections of related Poisson or binomial counts arise, for example, from a number of different failures in similar machines or neighbouring time periods. A conventional Bayesian analysis requires a rather indirect prior specification and intensive numerical methods for posterior evaluations. An alternative approach using Bayes linear kinematics in which simple conjugate specifications for individual counts are linked through a Bayes linear belief structure is presented. Intensive numerical methods are not required. The use of transformations of the binomial and Poisson parameters is proposed. The approach is illustrated in two examples, one involving a Poisson count of failures, the other involving a binomial count in an analysis of failure times

Evaluation of elicitation methods to quantify Bayes linear models

The Bayes linear methodology allows decision makers to express their subjective beliefs and adjust these beliefs as observations are made. It is similar in spirit to probabilistic Bayesian approaches, but differs as it uses expectation as its primitive. While substantial work has been carried out in Bayes linear analysis, both in terms of theory development and application, there is little published material on the elicitation of structured expert judgement to quantify models. This paper investigates different methods that could be used by analysts when creating an elicitation process. The theoretical underpinnings of the elicitation methods developed are explored and an evaluation of their use is presented. This work was motivated by, and is a precursor to, an industrial application of Bayes linear modelling of the reliability of defence systems. An illustrative example demonstrates how the methods can be used in practice