For questions about infinitesimals, both in an intuitive sense as well as more rigorous settings (see also [nonstandard-analysis]).

learn more… | top users | synonyms

1
vote
1answer
37 views

Proving a Function Continuous with Non-Standard Analysis

I am reading a text on non-standard analysis. I need to prove the following: Suppose that $f$ is non-decreasing on the real interval $[a,b]$ and that $f$ satisfies the intermediate value property. ...
4
votes
3answers
637 views

Why don't infinite sums make any sense?

Using the infinite sum series, an infinite sum of (1/5)to the nth power, where n goes from zero to infinity, the general summation equation tells us that the answer is 5/4. However, how is this ...
3
votes
2answers
73 views

Definite Integral of a infinitesimal

I did not study math, but have some foundations in it. I have been looking through some books on nonstandard analysis, and have (what I consider to be) a pretty simple question which I haven't been ...
0
votes
0answers
8 views

Link to question regarding treating differential operator as a ratio [duplicate]

I have attempted to find the post which provides an explanation as to the circumstances in which we can treat $\frac{dy}{dx}$ as a ratio which appears to be used in solving separable DE's, but I have ...
2
votes
2answers
45 views

Ceiling function of an infinitesimal

I was working with infinitesimals and I came across the problem: what is the ceiling function of an infinitesimal? Wolfram Alpha says an infinitesimal equals zero, so therefore the ceiling function of ...
0
votes
1answer
16 views

Make $f(x)=\sin x-\frac{x+ax^3}{1+bx^2}$ be the infinitesimal of the highest order

Here is the question: Find $a$ and $b$, letting $$f(x)=\sin x-\frac{x+ax^3}{1+bx^2}$$ be the infinitesimal of the highest order when $x \to 0$, and find that order. According to the key, ...
2
votes
10answers
864 views

What's an example of an infinitesimal?

If you want to use infinitesimals to teach calculus, what kind of example of an infinitesimal can you give them? What I am asking for are specific techniques for explaining infinitesimals to students, ...
36
votes
15answers
4k views

Is it a new type of induction? (Infinitesimal induction) Is this even true?

Suppose we want to prove Euler's Formula with induction for all positive real numbers. At first this seems baffling, but an idea struck my mind today. Prove: $$e^{ix}=\cos x+i\sin x \ \ \ ...
5
votes
1answer
74 views

Interpretation of $d\phi(z)$ in differential geometry

In "Exercises and Solutions in Mathematics", Ta-Tsien, 2nd Edition, exercise 3343. Statement of the exercise Let $(\mathbb{H}, g)$ be the two-dimensional hyperbolic space, where \begin{equation} ...
2
votes
4answers
509 views

Is this a correct/good way to think interpret differentials for the beginning calculus student?

I was reading the answers to this question, and I came across the following answer which seems intuitive, but too good to be true: Typically, the $\frac{dy}{dx}$ notation is used to denote the ...
1
vote
1answer
22 views

Dual number division

I was reading the Wikipedia article on dual numbers and I read the first part. Then on my own I tried to find how to divide two dual numbers. I came up with: ...
2
votes
1answer
32 views

Does this idea make sense? (infinitesmals and positive change)

I didn't know where else to ask this, so here goes... (caveat: I've been away from math for awhile) I'm trying to "say" symbolically that continued positive infinitesimal changes eventually (not at ...
3
votes
4answers
82 views

Find $\lim_{x\to0}\frac1{x^3}\left(\left(\frac{2+\cos x}{3}\right)^x-1\right)$ without L'Hopital's rule

Find the following limit $$\lim_{x\to0}\frac1{x^3}\left(\left(\frac{2+\cos x}{3}\right)^x-1\right)$$ without using L'Hopital's rule. I tried to solve this using fundamental limits such as ...
0
votes
0answers
28 views

Combine probability and infinitesimals

If we pick a real number from $[0, 1]$ (with uniform probability measure), this number had probability zero to be picked. Can we canonically assign an infinitesimal $\epsilon$ to the event $A_x$ that ...
1
vote
2answers
88 views

Is there such a thing as “hypertopology” (analogous to the hyperreals)?

The hyperreal number system adds infinities and infinitesimals, allowing Calculus to be done using these things instead of limits (sort of like when calculus was originally invented, but with ...
2
votes
1answer
90 views

Mapping $\mathbb{Z}$ onto $\mathbb{Q}$

There is a problem that calls for the mapping the set of all the positive integers to the set of all positive rational numbers in order to prove they have the same cardinality. I know more the common ...
0
votes
2answers
25 views

Find Maclaurin expansion of $y=2^x$ to $x^4$

Find Maclaurin expansion of $$y=2^x\text{ to } x^4$$ This is my try. We have $\displaystyle 2^x=e^{x\ln 2} =\left[1+\frac{x^2}2+\frac{x^3}6+\frac{x^4}{24}+o(x^4)\right]^{\ln 2}$ with $o(x^4)$ is ...
1
vote
1answer
50 views

Does probability theory require infinitesimals to work?

I'm taking an intro to probability class, and my book lists this as an axiom: $$P(\bigcup_{k=1}^{\infty}A_k) = \sum_{k=1}^{\infty}P(A_k)$$ where $A_k$ is an event and $P(A_k)$ is the probability of ...
0
votes
1answer
27 views

Is there any relationship between Gödel numbers associated with proofs of undecidable theorems and infinitesimals?

I recall from my reading of the popular book, Gödel, Escher, Bach some years ago that Hofstadter speculated on the value of Gödel numbers of undecidable theorems. If I recall correctly, he suggested ...
1
vote
0answers
27 views

Infinitesimal Transformation. Importance of Infinitesimal Transformation

My teacher ask me to start to study about Hamilton systems, Noether theorem. I am not advanced in that kind of study, so the teacher want from me to see some easy research, some proofs, step by step. ...
1
vote
1answer
37 views

Infinitesimal generator as a derivation in $SO_2$

Suppose we are looking at $SO_2(\mathbb{R})$. The infitismal generator can eb found using Taylor approximation in form of a matrix, $$X=\begin{pmatrix}0&1\\-1&0\end{pmatrix}.$$ However I saw ...
1
vote
1answer
54 views

Non-standard analysis - infinitesimals and archimedean property

I got a question about infinitesimals in non-standard analysis. If I understand correctly, they are defined to be the number that is closest to zero. However, at the same time, they satisfy all the ...
3
votes
2answers
58 views

What happens if to introduce infinite and infinitesimel quantities this way?

What if to introduce $\varepsilon$ and $\omega=1/\varepsilon$ from the following equation as a definition? $$\left(1+\varepsilon\right)^{1/\varepsilon}=e$$ or such $\varepsilon$ that ...
5
votes
1answer
62 views

Can this sequence be a hyperreal number? What would be its real part?

Consider the sequence $\{a_n\} = \{\sin(n) \mid n\in \mathbb N \}$. Can this sequence be viewed as a hyperreal number? What could be its real part? Any intuition would be highly appreciated :) ...
1
vote
2answers
87 views

Historical Approach to $\lim_{x \to 0} \frac{e^{\alpha x} - e^{\beta x}}{x}$, without L'Hospital's Rule

I encountered this problem, amongst others, in the slightly older Calculus textbook Piskunov's Differential and Integral Calculus when I was working with a student: Calculate the limit $$ \lim_{x \to ...
4
votes
2answers
63 views

Basic question about nonstandard derivative

I'm trying to understand how the nonstandard derivative works. For instance, consider the function $f(x) = \frac{1}{2} x^2$ The derivative is $f'(x) = st \left( \frac{\frac{1}{2}(x + \epsilon)^2 - ...
2
votes
0answers
51 views

Infinitesimal Generator for Stochastic Processes

Suppose one has the an Ito process of the form: $$dX_t = b(X_t)dt + \sigma(X_t)dW_t$$ The infinitesimal generator $LV(x)$ is defined by: $$\lim_{t\rightarrow 0} \frac{E^x\left[V(X_t) ...
2
votes
6answers
110 views

More numbers between $[0,1]$ or $[1,\infty)$?

There are infinitely many real numbers between any two real numbers, therefore there are infinitely many real numbers in the range $[0,1]$ as there are in $[1, \infty)$. In a mathematical sense, are ...
16
votes
3answers
2k views

Why is zero the only infinitesimal real number?

I am currently reading Elementary Calculus: An Infinitesimal Approach by H. Jerome Keisler and was wondering if someone could help me with an aspect treated in the book. On page 24 he says a ...
0
votes
0answers
47 views

Are Gaussians a basis for the vector space of continuous functions?

How can I prove (or disprove) that the Gaussian function family: $f_{\mu,\sigma}(x)=e^{-\frac{(x - \mu)^2}{2 \sigma^2}}$ Are a basis for $C(\mathbb{R})$ ?
2
votes
2answers
72 views

Convergence of $\int\frac{\arctan x}{x} dx$

I can't find function to bound this integral in the intervals from $1$ to $+\infty$, to prove if it converges. $$ \int _1^{\infty }\frac{\arctan x}{x}dx $$ Any idea? How can I refute this if it is ...
0
votes
1answer
65 views

Convergent of integral of $1/x^x$ [closed]

I need to prove if this integral converges (on interval $[1,+\infty))$: $$\int _1^{\infty }\frac{1}{x^x}\;dx$$ Has anybody any idea how to do it? thank you. :)
4
votes
0answers
48 views

Rigorous Justification of Infinitesimal Techniques

As you may know that there are a bunch of heuristic techniques in physics to make integrals converge. For example, when we define a following Fourier transform, we add a positive infinitesimal and let ...
6
votes
1answer
164 views

What is the topology of the hyperreal line?

Denote by $\Bbb R$ the real line and by $\Bbb R^*$ the hyperreal line. For any real numbers $x < y < z$ and infinitesimal $\epsilon$ the following holds: \begin{equation} \forall a,b,c \in \Bbb ...
1
vote
0answers
37 views

Linear programming in Hilbert spaces

Let $H$ be a real Hilbert space. Let $b,c\in H$, $P\subset H$ be a convex cone and a continuous linear mapping $A:H\rightarrow H$. Consider the following sets: $$ B:=\{(Ax, \langle c,x\rangle:x\in ...
3
votes
3answers
159 views

$dx=\frac {dx}{dt}dt $. Why is this equality true and what does it mean? [duplicate]

$dx=\frac {dx}{dt}dt $. I know that this deduction is obvious from the chain rule, given that we treat our dx and dt as just numbers. But I find it quite unsatisfactory to think of it in that sense. ...
1
vote
0answers
48 views

Why generator in Lie Algebra is defined as the coefficient in taylor expansion of map

Booth defines the infinitesimal generator of a lie group (denote the manifold it defines by $M$) using flow $\theta_t(p)$ by calculatng the limit (mainly the derivation for $f$ in each point $p\in M$) ...
2
votes
4answers
169 views

What's an intuition behind $\lambda=1$ for $dx\;dy = \lambda r\;dr\;d\theta$?

I've read a bunch of articles here on converting between rectangular and polar coordinates in integrals. I get the intuition about how the natural infinitesimal area segment in rectangular coordinates ...
4
votes
3answers
148 views

If $dx$ is an infinitesimal, can't you list all real numbers as the sequence each whole number times dx?

I'm taking calculus right now. If the difference between each real number and the next is an infintesimal, then wouldn't the following sequence $\{0\,dx, 1\,dx, -1\,dx, 2\,dx, -2\,dx, \ldots\}$ be a ...
0
votes
1answer
84 views

Derivative of an Infinitesimal?

I am currently studying calculus of variations (for my classical mechanics course). I have, on multiple occasions, seen the derivative of an infinitesimal quantity defined like below $$\frac{d}{dt} ...
24
votes
2answers
763 views

Has anybody ever considered “full derivative”?

When differentiating we usually take a limit and drop the infinitesimal terms. But what if not to drop anything? First, we extend the real numbers with an infinitesimal element $\varepsilon$ which ...
5
votes
3answers
135 views

infinitesimal intervals in physics

The density of states of a system in an interval $[E, E+dE]$ is given implicity by $dV = D(E)dE$ (Or I suppose explicitly, by $D(E) = \frac {dV}{dE}$, but we'll be integrating it anyway, so it doesn't ...
2
votes
0answers
76 views

Size of a geometric point

It is well known that the geometric points do not have any length, area, volume, or any other dimensional attribute, also geometric object (for example "line") is made up of a infinite number of ...
1
vote
3answers
75 views

Does it make sense to ask if there are as many real numbers between 1 and 2 as between 0 and 1?

If yes, how does one go about finding the answer? Can the same question be asked for the hyperreals too?
1
vote
2answers
84 views

Using differentials to optimize a function

I've read in a paper by Tevian Dray an alternative way to solve optimization problems manipulating "differentials". Here is an example of how it works (next I quote the paper). Consider the ...
1
vote
1answer
50 views

hyperreals standard part inconsistency

$\def\st{\operatorname{st}}$ I'm studying non-standard calc from Keisler's book. Taking "standard part" rule doesn't make sense... its not commutative. e.g. $a$ is finite non infinitesimal $b,c$ ...
0
votes
0answers
74 views

Is it correct to say that if $\lim\limits_{x \to a}f(x) = 0$ it is an Infinitesimal?

I think I'm misuderstanding something here, because to my understanding the definition of infinitesimal given in my textbook does not convey the same thing as in other sources. I've read the ...
2
votes
1answer
64 views

When “magnifying infinitesimals” why dont they have curvature ? (non standard) Infinitesimal calculus

Im reading https://www.math.wisc.edu/~keisler/calc.html. If you open up the chapter $2$ pdf... The $2$ diagrams (1st on page $14$ of the pdf (not the text book), 2nd on page $15$) have me confused. ...
3
votes
1answer
99 views

What is the limit ${{\lim }_{x\to\infty}}x^\epsilon$ for an infinitesimal $\epsilon$?

What is the limit $${{\lim }_{x\to\infty}}x^\epsilon$$ for an infinitesimal $\epsilon$? Does it give zero or infinity? Note that I'm considering the infinitesimals described in ...
1
vote
0answers
42 views

Is this a valid thing to do to this differential equation?

Don't tell me how to solve it, but I've been trying to use the following equation to get r which is distance) as a function of t. $$\frac{GMm}{r^2}= -ma$$ I've been working on it for about a year ...