ﻻ يوجد ملخص باللغة العربية
This paper contains two topics of Fermat reals, as suggested by the title. In the first part, we study the omega-topology, the order topology and the Euclidean topology on Fermat reals, and their convergence properties, with emphasis on the relationship with the convergence of sequences of ordinary smooth functions. We show that the Euclidean topology is best for this relationship with respect to pointwise convergence, and Lebesgue dominated convergence does not hold, among all additive Hausdorff topologies on Fermat reals. In the second part, we study the intermediate value property of quasi-standard smooth functions on Fermat reals, together with some easy applications. The paper is written in the language of Fermat reals, and the idea could be extended to other similar situations.
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 C
The aim of this note is to characterize all pairs of sufficiently smooth functions for which the mean value in the Cauchy Mean Value Theorem is taken at a point which has a well-determined position in the interval. As an application of this result, a
We establish partial semigroup property of Riemann-Liouville and Caputo fractional differential operators. Using this result we prove theorems on reduction of multi-term fractional differential systems to single-term and multi-order systems, and prov
We study boundary value problems for degenerate elliptic equations and systems with square integrable boundary data. We can allow for degeneracies in the form of an $A_{2}$ weight. We obtain representations and boundary traces for solutions in approp
Let $(X,d,mu)$ be a metric measure space satisfying a $Q$-doubling condition, $Q>1$, and an $L^2$-Poincar{e} inequality. Let $mathscr{L}=mathcal{L}+V$ be a Schrodinger operator on $X$, where $mathcal{L}$ is a non-negative operator generalized by a Di