A topological approach to non-Archimedean Mathematics

Non-Archimedean mathematics (in particular, nonstandard analysis) allows to construct some useful models to study certain phenomena arising in PDE's; for example, it allows to construct generalized solutions of differential equations and variational problems that have no classical solution. In this paper we introduce certain notions of non-Archimedean mathematics (in particular, of nonstandard analysis) by means of an elementary topological approach; in particular, we construct non-Archimedean extensions of the reals as appropriate topological completions of $\mathbb{R}$. Our approach is based on the notion of $\Lambda$-limit for real functions, and it is called $\Lambda$-theory. It can be seen as a topological generalization of the $\alpha$-theory presented in \cite{BDN2003}, and as an alternative topological presentation of the ultrapower construction of nonstandard extensions (in the sense of \cite{keisler}). To motivate the use of $\Lambda$-theory for applications we show how to use it to solve a minimization problem of calculus of variations (that does not have classical solutions) by means of a particular family of generalized functions, called ultrafunctions.Comment: 22 page

Generalized solutions in PDEs and the Burgers' equation

In many situations, the notion of function is not sufficient and it needs to be extended. A classical way to do this is to introduce the notion of weak solution; another approach is to use generalized functions. Ultrafunctions are a particular class of generalized functions that has been previously introduced and used to define generalized solutions of stationary problems in [4,7,9,11,12]. In this paper we generalize this notion in order to study also evolution problems. In particular, we introduce the notion of Generalized Ultrafunction Solution (GUS) for a large family of PDEs, and we confront it with classical strong and weak solutions. Moreover, we prove an existence and uniqueness result of GUS's for a large family of PDEs, including the nonlinear Schroedinger equation and the nonlinear wave equation. Finally, we study in detail GUS's of Burgers' equation, proving that (in a precise sense) the GUS's of this equation provide a description of the phenomenon at microscopic level

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.Comment: The first part of the preprint is taken directly form arXiv:0907.1872 The second part is new and contains a list of example

Low Energy Solutions for the Semiclassical Limit of Schrodinger–Maxwell Systems

We show that the number of positive solutions of Schrodinger– Maxwell system on a smooth bounded domain depends on the topological properties of the domain. In particular we consider the Lusternik– Schnirelmann category and the Poincaré polynomial of the domain

Hylomorphic solitons in the nonlinear Klein-Gordon equation

Roughly speaking a solitary wave is a solution of a field equation whose energy travels as a localised packet and which preserves this localisation in time. A soliton is a solitary wave which exhibits some strong form of stability so that it has a particle-like behaviour. In this paper we show a new mechanism which might produce solitary waves and solitons for a large class of equations, such as the nonlinear Klein-Gordon equation. We show that the existence of these kind of solitons, that we have called \emph{hylomorphic} solitons, depends on a suitable energy/charge ratio. We show a variational method that allows to prove the existence of hylomorphic solitons and that turns out to be very useful for numerical applications. Moreover we introduce some classes of nonlinearities which admit hylomorphic solitons of different shapes and with different relations between charge, energy and frequency.Comment: 23 page

On the Dynamics of solitons in the nonlinear Schroedinger equation

We study the behavior of the soliton solutions of the equation i((\partial{\psi})/(\partialt))=-(1/(2m)){\Delta}{\psi}+(1/2)W_{{\epsilon}}'({\psi})+V(x){\psi} where W_{{\epsilon}}' is a suitable nonlinear term which is singular for {\epsilon}=0. We use the "strong" nonlinearity to obtain results on existence, shape, stability and dynamics of the soliton. The main result of this paper (Theorem 1) shows that for {\epsilon}\to0 the orbit of our soliton approaches the orbit of a classical particle in a potential V(x).Comment: 29 page