BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Paolo Giordano

Paolo Giordano appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.FAmath.CAmath-phmath.ACmath.DGmath.HOmath.LOmath.MPmath.RA

Catalog footprint

What is connected

13works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2022arXiv

Hyperseries in the non-Archimedean ring of Colombeau generalized numbers

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}\in\tilde{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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A convenient notion of compact set for generalized functions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The classical theory of calculus of variations for generalized functions

We present an extension of the classical theory of calculus of variations to generalized functions. The framework is the category of generalized smooth functions, which includes Schwartz distributions while sharing many nonlinear properties with ordinary smooth functions. We prove full connections between extremals and Euler-Lagrange equations, classical necessary and sufficient conditions to have a minimizer, the necessary Legendre condition, Jacobi's theorem on conjugate points and Noether's theorem. We close with an application to low regularity Riemannian geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Calculus in the ring of Fermat reals Part I: Integral calculus

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The category of 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 Colombeau's 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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Asymptotic gauges: generalization of Colombeau type algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Categorical frameworks for generalized functions

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 Frölicher spaces, diffeological spaces and functionally generated spaces as frameworks for generalized functions. The latter are similar to Frölicher spaces, but starting from locally defined functionals. Functionally generated spaces strictly lie between Frölicher spaces and diffeological spaces, and they form a complete and cocomplete Cartesian closed category. We deeply study functionally generated spaces (and Frölicher 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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Strongly internal sets and generalized smooth functions

Based on a refinement of the notion of internal sets in Colombeau's theory, so-called strongly internal sets, we introduce the space of generalized smooth functions, a maximal extension of Colombeau generalized functions. Generalized smooth functions as morphisms between sets of generalized points form a sub-category of the category of topological spaces. In particular, they can be composed unrestrictedly.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Unifying order structures for Colombeau algebras

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 Landau's 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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

New topologies on Colombeau generalized numbers and the Fermat-Reyes theorem

Based on the theory of Fermat reals we introduce new topologies on spaces of Colombeau generalized points and derive some of their fundamental properties. In particular, we obtain metric topologies on the space of near-standard generalized points that induce the standard Euclidean topology on the reals. We also give a new description of the sharp topology in terms of the natural extension of the absolute value (or of the defining semi-norms in the case of locally convex spaces) that allows to preserve a number of classical notions. Building on a new point value characterization of Colombeau generalized functions we prove a Fermat-Reyes theorem that forms the basis of an approach to differentiation on spaces of generalized functions close to the classical one.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Topological and algebraic structures on the ring of Fermat reals

The ring of Fermat reals is an extension of the real field containing nilpotent infinitesimals, and represents an alternative to Synthetic Differential Geometry in classical logic. In the present paper, our first aim is to study this ring from using standard topological and algebraic structures. We present the Fermat topology, generated by a complete pseudo-metric, and the omega topology, generated by a complete metric. The first one is closely related to the differentiation of (non standard) smooth functions defined on open sets of Fermat reals. The second one is connected to the differentiation of smooth functions defined on infinitesimal sets. Subsequently, we prove that every (proper) ideal is a set of infinitesimals whose order is less than or equal to some real number. Finally, we define and study roots of infinitesimals. A computer implementation as well as an application to infinitesimal Taylor formulas with fractional derivatives are presented.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Two ways of obtaining infinitesimals by refining Cantor's completion of the reals

Cantor's famous construction of the real continuum in terms of Cauchy sequences of rationals proceeds by imposing a suitable equivalence relation. More generally, the completion of a metric space starts from an analogous equivalence relation among sequences of points of the space. Can Cantor's relation among Cauchy sequences of reals be refined so as to produce a Cauchy complete and infinitesimal-enriched continuum? We present two possibilities: one leads to invertible infinitesimals and the hyperreals; the other to nilpotent infinitesimals (e.g. h nonzero infinitesimal such that h^2=0) and Fermat reals. One of our themes is the trade-off between formal power and intuition.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Infinitesimals without Logic

We introduce the ring of Fermat reals, an extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from Smooth Infinitesimal Analysis (SIA), but provides a powerful theory of actual infinitesimals without any need of a background in mathematical logic. In particular, on the contrary with respect to SIA, which admits models only in intuitionistic logic, the theory of Fermat reals is consistent with classical logic. We face the problem to decide if the product of powers of nilpotent infinitesimals is zero or not, the identity principle for polynomials, the definition and properties of the total order relation. The construction is highly constructive, and every Fermat real admits a clear and order preserving geometrical representation. Using nilpotent infinitesimals, every smooth functions becomes a polynomial because in Taylor's formulas the rest is now zero. Finally, we present several applications to informal classical calculations used in Physics: now all these calculations become rigorous and, at the same time, formally equal to the informal ones. In particular, an interesting rigorous deduction of the wave equation is given, that clarifies how to formalize the approximations tied with Hook's law using this language of nilpotent infinitesimals.

0 citations0 reviewsNo code linkedOpen access