Questions tagged [infinitesimals]
The infinitesimals tag has no usage guidance.
18 questions
3
votes
3
answers
486
views
In hyperreal field, can ln(ε) and ln(ω) be expressed as infinite sums?
In the hyperreal field, we can use Taylor series to express e^(ε) and e^(ω) as:
e^(ε) = 1 + ε + (ε^2)/2! + ...
e^(ω) = 1 + ω + (ω^2)/2! + ...
Is it similarly possible to express ln(ε) and ln(ω) as ...
- 57
3
votes
0
answers
186
views
In constructive set theory, is it consistent for there to be a ring that models smooth infinitesimal analysis?
In a constructive set theory such as CZF, it is consistent to assume that every function $f : \mathbb R \to \mathbb R$ is continuous. However, it is not consistent to assume that every such function ...
- 6,353
9
votes
2
answers
2k
views
Are the models of infinitesimal analysis (philosophically) circular?
Infinitesimal analysis (by which I mean that originating from topos theory---not the nonstandard analysis of Robinson) seeks to recover the pre-limit notions of calculus (which are sufficiently useful ...
- 341
4
votes
1
answer
211
views
Realization of $\mathbb{R}((X))$ as a subquotient of a hyperreal field ${}^{*}\mathbb{R}$
Now we fix an ultrafilter of $\mathbb{N}$ that contains the cofinite filter, consider a hyperreal field ${}^{*}\mathbb{R}$. Let $\varepsilon$ be a positive infinitesimal. We doubt that a power series ...
- 479
6
votes
1
answer
752
views
What does "ultimately vanishing" mean? (Needham)
In the Prologue of the book Visual Differential Geometry and Forms by Needham the notion of two functions $A(\epsilon)$ and $B(\epsilon)$ being ultimately equal is defined: it means that
$$
\lim_{\...
- 77
-5
votes
1
answer
177
views
Is there a formula or algorithm to remove infinitesimal and oscillating parts from an expression while keeping finite and infinite ones? [closed]
Below, we interpret divergent integrals as germs of partial integrals at infinity:
$$\int_0^\infty f(x) dx=\operatorname{bigpart} \int_0^\omega f(x) dx$$
where $\operatorname{bigpart}$ means taking ...
- 10.1k
1
vote
0
answers
76
views
infinitesimal generators for G/G/1 queue
I read the infinitesimal generator for the M/M/1 queue and thought to generalize to the G/G/1 queue. More specifically, though the queue length process is not Markovian anymore, we could consider an ...
- 173
40
votes
1
answer
1k
views
Rigid non-archimedean real closed fields
Update. The question has been recently answered in the positive by David Marker and Charles Steinhorn (as in indicated in Marker's answer). Note that Remark 3 below is now expanded by reference to a ...
- 17.7k
24
votes
1
answer
2k
views
Has anything (other than what is in the obituary written by M. Noether) survived of Paul Gordan's defense of infinitesimals?
Question. Has anything other than what can be guessed from this obituary written by Max Noether survived of the 'defense' of infinitesimals that Paul Gordan gave in his doctoral disputation on March 1,...
- 6,051
1
vote
1
answer
361
views
Has anybody proposed such a generalization of integration?
Has anybody ever proposed a generalization of integration in which an integral of a function that has non-zero values only on a countable set produces non-zero (but maybe infinitesimal) result?
For ...
- 10.1k
13
votes
2
answers
2k
views
Fermat's opponents
It is well known among historians of Fermat that, while his technique of adequality prepared the ground for the general framework later developed by Leibniz and Newton, Fermat himself gave very little ...
- 16.6k
12
votes
1
answer
351
views
Multiplicative infinitesimals in q-analogs?
Risking to be downvoted, here is a very lightweight question.
In various fields - say, algebraic geometry, nonstandard analysis, synthetic differential geometry - infinitely small quantities, i. e. ...
- 18.4k
1
vote
0
answers
127
views
Obtaining graphics of functions in non-standard analysis [closed]
In the context of $R(\varepsilon)$ or more broad fields, Levi-Civita field or $No(\omega_1)$, how can we obtain the graphics of functions on the infinitesimal range?
For instance, it is alleged that ...
- 10.1k
3
votes
0
answers
170
views
Analysing functions on zero-length intervals and super-small values
Suppose a function that has a pole in $x=0$:
Here we see the graphic of the real part of the Gamma function.
As we can see on it, there is a vertical line at $x=0$ that comes from $-\infty$ to $\...
- 10.1k
21
votes
3
answers
2k
views
Felix Klein on mean value theorem and infinitesimals
This is a reference request prompted by some intriguing comments made by Felix Klein.
In 1908, Felix Klein formulated a criterion of what it would take for a theory of infinitesimals to be ...
- 16.6k
7
votes
2
answers
517
views
Is there a source linking Robinson's work in wing theory with his theory of infinitesimals?
Abraham Robinson worked in applied mathematics for several decades. MathSciNet lists 12 articles by Robinson in wing theory. His production included the book
Robinson, A.; Laurmann, J. A. Wing theory....
- 16.6k
3
votes
1
answer
223
views
Can elements of Weil algebras be detected by maps into truncated symmetric algebras?
Recall that a Weil algebra is a finite-dimensional real unital algebra that admits exactly one homomorphism to R.
Such algebras form the basis of the Weil approach to differential geometry, pioneered ...
- 37.8k
11
votes
3
answers
2k
views
Nontrivial trivial integrals
I posted this question to stackexchange and after 24 hours it's got five votes and no answers, so let's see if mathoverflow can say more than that.
Consider two propositions in geometry:
...
