ﻻ يوجد ملخص باللغة العربية
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.
Generalized smooth functions are a possible formalization of the original historical approach followed by Cauchy, Poisson, Kirchhoff, Helmholtz, Kelvin, Heaviside, and Dirac to deal with generalized functions. They are set-theoretical functions defin
New classes of generalized Nevanlinna functions, which under multiplication with an arbitrary fixed symmetric rational function remain generalized Nevanlinna functions, are introduced. Characterizations for these classes of functions are established
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 functi
We present an extension of some results of higher order calculus of variations and optimal control to generalized functions. The framework is the category of generalized smooth functions, which includes Schwartz distributions, while sharing many nonl
For each integrability parameter $p in (0,infty]$, the critical smoothness of a periodic generalized function $f$, denoted by $s_f(p)$ is the supremum over the smoothness parameters $s$ for which $f$ belongs to the Besov space $B_{p,p}^s$ (or other s