اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدThe category of Colombeau algebras
100
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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 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 genera
lize 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.
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 $s
um_{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.
In the present paper we propose a new approach to quantum fields in terms of category algebras and states on categories. We define quantum fields and their states as category algebras and states on causal categories with partial involution structures
. By utilizing category algebras and states on categories instead of simply considering categories, we can directly integrate relativity as a category theoretic structure and quantumness as a noncommutative probabilistic structure. Conceptual relationships with conventional approaches to quantum fields, including Algebraic Quantum Field Theory (AQFT) and Topological Quantum Field Theory (TQFT), are also be discussed.
In The factorization of the Giry monad (arXiv:1707.00488v2) the author asserts that the category of convex spaces is equivalent to the category of Eilenberg-Moore algebras over the Giry monad. Some of the statements employed in the proof of this clai
m have been refuted in our earlier paper (arXiv:1803.07956). Building on the results of that paper we prove that no such equivalence exists and a parallel statement is proved for the category of super convex spaces.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
