No Arabic abstract
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.
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 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 show that quantum Casimir W-algebras truncate at degenerate values of the central charge c to a smaller algebra if the rank is high enough: Choosing a suitable parametrization of the central charge in terms of the rank of the underlying simple Lie algebra, the field content does not change with the rank of the Casimir algebra any more. This leads to identifications between the Casimir algebras themselves but also gives rise to new, `unifying W-algebras. For example, the kth unitary minimal model of WA_n has a unifying W-algebra of type W(2,3,...,k^2 + 3 k + 1). These unifying W-algebras are non-freely generated on the quantum level and belong to a recently discovered class of W-algebras with infinitely, non-freely generated classical counterparts. Some of the identifications are indicated by level-rank-duality leading to a coset realization of these unifying W-algebras. Other unifying W-algebras are new, including e.g. algebras of type WD_{-n}. We point out that all unifying quantum W-algebras are finitely, but non-freely generated.
This article is the natural continuation of the paper: Mukhammadiev A.~et al Supremum, infimum and hyperlimits of Colombeau generalized numbers in this journal. Since the ring $tilde{R}$ of Robinson-Colombeau is non-Archimedean, a classical series $sum_{n=0}^{+infty}a_{n}$ of generalized numbers $a_{n}intilde{R}$ is convergent if and only if $a_{n}to0$ in the sharp topology. Therefore, this property does not permit us to generalize several classical results, mainly in the study of analytic generalized functions (as well as, e.g., in the study of sigma-additivity in integration of generalized functions). Introducing the notion of hyperseries, we solve this problem recovering classical examples of analytic functions as well as several classical results.
We construct several quantum coset W-algebras, e.g. sl(2,R)/U(1) and sl(2,R)+sl(2,R) / sl(2,R), and argue that they are finitely nonfreely generated. Furthermore, we discuss in detail their role as unifying W-algebras of Casimir W-algebras. We show that it is possible to give coset realizations of various types of unifying W-algebras, e.g. the diagonal cosets based on the symplectic Lie algebras sp(2n) realize the unifying W-algebras which have previously been introduced as `WD_{-n}. In addition, minimal models of WD_{-n} are studied. The coset realizations provide a generalization of level-rank-duality of dual coset pairs. As further examples of finitely nonfreely generated quantum W-algebras we discuss orbifolding of W-algebras which on the quantum level has different properties than in the classical case. We demonstrate in some examples that the classical limit according to Bowcock and Watts of these nonfreely finitely generated quantum W-algebras probably yields infinitely nonfreely generated classical W-algebras.