All Questions
791 questions
238
votes
10
answers
43k
views
If $f$ is infinitely differentiable then $f$ coincides with a polynomial
Let $f$ be an infinitely differentiable function on $[0,1]$ and suppose that for each $x \in [0,1]$ there is an integer $n \in \mathbb{N}$ such that $f^{(n)}(x)=0$. Then does $f$ coincide on $[0,1]$ ...
- 4,795
46
votes
7
answers
10k
views
Are some numbers more irrational than others?
Some irrational numbers are transcendental, which makes them in some sense "more irrational" than algebraic numbers. There are also numbers, such as the golden ratio $\varphi$, which are poorly ...
- 1,823
17
votes
2
answers
1k
views
Kolmogorov superposition for smooth functions
Kolmogorov superposition theorem states that a continuous function $f(x_1,\ldots,x_n)$ can be written as
$$f(x_1,\ldots,x_n)=\sum_{q=0}^{2n}\Phi_q\left(\sum_{p=1}^{n}\phi_{q,p}(x_p)\right)$$
for ...
- 807
14
votes
2
answers
871
views
Are all maps $\mathbb{R}^2 \to \mathbb{R}^2$ with fixed singular values affine?
Let $f:\mathbb{R}^2 \to \mathbb{R}^2$ be a smooth map whose differential has fixed distinct singular values $0<\sigma_1<\sigma_2$ and an everywhere positive determinant (which is the product $\...
- 6,741
5
votes
1
answer
630
views
Infinite dimensional involutions: infinitely large sets of multivariate polynomials self-inverse under self-substitution
Examples of infinite dimensional involutions
Edit 2/25/23, as suggested by YCOR below: (Start)
The first return on a Google search on involution--from late Latin 'a rolling up'--gives the Oxford ...
- 10.5k
107
votes
9
answers
36k
views
solving $f(f(x))=g(x)$
This question is of course inspired by the question How to solve f(f(x))=cosx
and Joel David Hamkins' answer, which somehow gives a formal trick for solving equations of the form $f(f(x))=g(x)$ on a ...
- 41.4k
45
votes
5
answers
3k
views
An "analytic continuation" of power series coefficients
Cauchy residue theorem tells us that for a function
$$f(z) = \sum_{k \in \mathbb{Z}} a(k) z^k,$$
the coefficient $a(k)$ can be extracted by an integral formula
$$a(k) = \frac{1}{2\pi i}\oint f(z) z^{-...
- 1,324
8
votes
3
answers
1k
views
Ramanujan's Master Formula: A proof and relation to umbral calculus
The Ramanujan's master theorem states that:
$$
\int_0^{\infty}x^{s-1}\sum_{n=0}^{\infty}\frac{(-1)^n}{n!}a_nx^ndx=\Gamma(s)a_{-s}
$$
I found a really strange proof recently on a personal blog:
Define
$...
- 302
40
votes
5
answers
10k
views
Is there a natural measures on the space of measurable functions?
Given a set Ω and a σ-algebra F of subsets, is there some natural way to assign something like a "uniform" measure on the space of all measurable functions on this space? (I suppose first ...
- 1,475
18
votes
3
answers
6k
views
Number of unique determinants for an NxN (0,1)-matrix
I'm interested in bounds for the number of unique determinants of NxN (0,1)-matrices. Obviously some of these matrices will be singular and therefore will trivially have zero determinant. While it ...
- 359
122
votes
5
answers
27k
views
Is the series $\sum_n|\sin n|^n/n$ convergent?
Problem. Is the series $$\sum_{n=1}^\infty\frac{|\sin(n)|^n}n$$convergent?
(The problem was posed on 22.06.2017 by Ph D students of H.Steinhaus Center of Wroclaw Polytechnica. The promised prize for ...
- 4,535
74
votes
15
answers
18k
views
$f(f(x))=\exp(x)-1$ and other functions "just in the middle" between linear and exponential
The question is about the function $f(x)$ so that $f(f(x))=\exp (x)-1$.
The question is open ended and it was discussed quite recently in the comment thread in Aaronson's blog here http://...
- 24.7k
46
votes
4
answers
8k
views
Why could Mertens not prove the prime number theorem?
We know that
$$
\sum_{n \le x}\frac{1}{n\ln n} = \ln\ln x + c_1 + O(1/x)
$$
where $c_1$ is a constant. Again Mertens' theorem says that the primes $p$ satisfy
$$
\sum_{p \le x}\frac{1}{p} = \ln\ln ...
- 5,470
26
votes
2
answers
9k
views
Maximal ideals in the ring of continuous real-valued functions on ℝ
For a compact space $K$, the maximal ideals in the ring $C(K)$ of continuous real-valued functions on $K$ are easily identified with the points of $K$ (a point defines the maximal ideal of functions ...
- 6,734
25
votes
9
answers
6k
views
Function with range equal to whole reals on every open set
There is an example of a function that is unbounded on every open set. Just take $f(n/m) = m$ for coprime $n$ and $m$ and $f(irrational) = 0$.
I want to generalize this in a way to get a function ...
- 2,821
23
votes
3
answers
6k
views
Density of smooth functions under "Hölder metric"
This question came up when I was doing some reading into convolution squares of singular measures. Recall a function $f$ on the torus $T = [-1/2,1/2]$ is said to be $\alpha$-Hölder (for $0 < \alpha ...
- 505
15
votes
2
answers
849
views
What are the periodic Dyck paths?
I changed the thread completely so that everything is now elementary linear algebra.
A Dyck path of length $n$ is a list of positive integers $[c_1,c_2,...,c_n]$ with $c_i -1 \leq c_{i+1}$ for all $i$...
- 26.5k
11
votes
1
answer
1k
views
Extending an assignment property from Q to R (or C)
Property of any odd number of nonnegative integers:
Given $x_1 \leq \cdots \leq x_{2n + 1}$ with each $x_i \in \mathbb{Z}_{\geq 0}$, suppose that for any $x_i$ we remove, the remaining numbers can be ...
- 7,831
5
votes
1
answer
499
views
Hausdorff dimension of the graph of a BV function
Let $u: \Omega\subset \mathbb{R}^N \to \mathbb{R}^M$ be a $BV$ function.
Is the Hausdorff dimension of the graph of $u$ equal to $N$? How can we prove it?
Update.
In an answer to this post, it ...
- 839
102
votes
21
answers
15k
views
Proofs of the uncountability of the reals
Recently, I learnt in my analysis class the proof of the uncountability of the reals via the Nested Interval Theorem (Wayback Machine). At first, I was excited to see a variant proof (as it did not ...
- 2,855
81
votes
10
answers
9k
views
Existence of a zero-sum subset
Some time ago I heard this question and tried playing around with it. I've never succeeded to making actual progress. Here it goes:
Given a finite (nonempty) set of real numbers, $S=\{a_1,a_2,\dots, ...
- 85.6k
52
votes
7
answers
6k
views
On an example of an eventually oscillating function
For $x\in(0,1)$, put
$$f(x):=\sum_{n=0}^{\infty}(-1)^{n}x^{2^{n}}.$$
This function possesses interesting properties. It grows monotonically from $0$ up to certain point. Then it starts to oscillate ...
- 2,188
46
votes
2
answers
8k
views
"Closed-form" functions with half-exponential growth
Let's call a function f:N→N half-exponential if there exist constants 1<c<d such that for all sufficiently large n,
cn < f(f(n)) < dn.
Then my question is this: can we prove that no ...
- 9,823
43
votes
2
answers
4k
views
Square root of a positive $C^\infty$ function.
Suppose $f$ is a $C^\infty$ function from the reals to the reals that is never negative. Does it have a $C^\infty$ square root? Clearly the only problem points are those at which $f$ vanishes.
- 907
39
votes
8
answers
13k
views
Can Cantor set be the zero set of a continuous function?
More generally, can the zero set $V(f)$ of a continuous function $f : \mathbb{R} \to \mathbb{R}$ be nowhere dense and uncountable? What if $f$ is smooth?
Some days ago I discovered that in this proof ...
- 5,339
38
votes
13
answers
5k
views
Continuous relations?
What might it mean for a relation $R\subset X\times Y$ to be continuous, where $X$ and $Y$ are topological spaces? In topology, category theory or in analysis? Is it possible, canonical, useful?
I ...
- 862
38
votes
4
answers
3k
views
Binomial again, and again
Let $\lceil a\rceil=$ the smallest integer $\geq a$, otherwise known as the ceiling function. When the arguments are real, interpret $\binom{a}b$ using the Euler's gamma function, $\Gamma$.
Recently, ...
- 43.2k
27
votes
3
answers
2k
views
Kasteleyn's formula for domino tilings generalized?
It seems a marvel when a bunch of irrational numbers "conspire" to become rational, even better an integer. An elementary example is $\prod_{j=1}^n4\cos^2\left(\pi j/(2n+1)\right)=1$.
Kasteleyn's ...
- 43.2k
26
votes
5
answers
8k
views
Proof that no differentiable space-filling curve exists
Could someone provide a reference or a sketch of a proof that no differentiable space-filling curve exists?
Or piecewise differentiable?
Must every continuous space-filling curve be nowhere ...
- 151k
20
votes
2
answers
1k
views
Euler numbers and permanent of matrices
Motivated by Question 402249 of Zhi-Wei Sun, I consider the permanent of matrices
$$e(n)=\mathrm{per}\left[\operatorname{sgn} \left(\tan\pi\frac{j+k}n \right)\right]_{1\le j,k\le n-1},$$
where $n$ is ...
- 884
19
votes
2
answers
3k
views
Solutions-set first order ODE's without uniqueness
In short: What can we say about the set of all solutions of an ordinary differential equation (ODE) when we there is no uniqueness?
Consider the ODE
$f:D\to \mathbb{R}, \quad D\subseteq \mathbb{R}^2,$
...
- 3,574
18
votes
4
answers
3k
views
Why is there no Borel function mapping every countable set of reals outside itself?
A choice function maps every set (in its domain) to an element of itself. This question concerns existence of an anti-choice function defined on the family of countable sets of reals. In an answer to ...
- 30.1k
10
votes
2
answers
1k
views
Harmonic oscillator discrete spectrum
Let us act intentionally stupid and assume we do not know that we can solve for the spectrum of the harmonic oscillator
$$-\frac{d^2}{dx^2}+x^2$$
explicitly.
Is there an abstract argument why the ...
- 501
5
votes
2
answers
321
views
If the Hausforff dimension of the graph of a function $u$ is $N$ and $\tilde u = u$ a.e. then $\dim_H \mathrm{graph} \, \tilde u = N$ too
Let $\Omega$ be an open (non empty) set and $u:\Omega \subset \mathbb{R}^N \to \mathbb{R}^M$ be a function such that the Hausdorff dimension of its graph is $N$.
Let $\tilde u = u$ a.e. Is it true ...
- 839
4
votes
1
answer
597
views
Meaning of Alberti rank-one theorem
Heuristically what does Alberti's rank-one theorem imply about the structure of a $\mathrm{BV}$ vector field $\boldsymbol{b}$?
Is it rigorously fair to say that the level lines of $\boldsymbol{b}$ ...
user123457
2
votes
1
answer
184
views
Count N-tuples of commuting matrices over $F_q$ is given by polynomials with pattern $\sum q^{A_i(N)} P_{i}(q) $, where $P_i$ - do not depend on $N$?
Count pairs of $k \times k$ commuting matrices over finite field $F_q$ is given by certain polynomials in $q$ (which is quite rare phenomena for algebraic varieties) and have interesting generating ...
- 24.9k
239
votes
14
answers
76k
views
Have any long-suspected irrational numbers turned out to be rational?
The history of proving numbers irrational is full of interesting stories, from the ancient proofs for $\sqrt{2}$, to Lambert's irrationality proof for $\pi$, to Roger Apéry's surprise demonstration ...
106
votes
5
answers
10k
views
integral of a "sin-omial" coefficients=binomial
I find the following averaged-integral amusing and intriguing, to say the least. Is there any proof?
For any pair of integers $n\geq k\geq0$, we have
$$\frac1{\pi}\int_0^{\pi}\frac{\sin^n(x)}{\...
- 43.2k
61
votes
1
answer
5k
views
Every real function has a dense set on which its restriction is continuous
The title says it all: if $f\colon \mathbb{R} \to \mathbb{R}$ is any real function, there exists a dense subset $D$ of $\mathbb{R}$ such that $f|_D$ is continuous.
Or so I'm told, but this leaves me ...
- 32.5k
54
votes
3
answers
6k
views
On which regions can Green's theorem not be applied?
In elementary calculus texts, Green's theorem is proved for regions enclosed by piecewise smooth, simple closed curves (and by extension, finite unions of such regions), including regions that are not ...
- 629
51
votes
5
answers
18k
views
Integrability of derivatives
Is there a (preferably simple) example of a function $f:(a,b)\to \mathbb{R}$ which is everywhere differentiable, such that $f'$ is not Riemann integrable?
I ask for pedagogical reasons. Results in ...
- 11.4k
44
votes
3
answers
4k
views
Smooth functions for which $f(x)$ is rational if and only if $x$ is rational
A friend of mine introduced me to the following question: Does there exist a smooth function $f: \mathbb{R} \to \mathbb{R}$, ($f \in C^\infty$), such that $f$ maps rationals to rationals and ...
- 543
44
votes
10
answers
47k
views
Is square of Delta function defined somewhere?
I am wondering whether anyone knows if the square of Dirac Delta function is defined somewhere.
In the beginning, this question might look strange. But by restricting the space of the test functions, ...
38
votes
26
answers
57k
views
Text for an introductory Real Analysis course.
Any suggestions on a good text to use for teaching an introductory Real Analysis course? Specifically what have you found to be useful about the approach taken in specific texts?
33
votes
2
answers
2k
views
What is the smallest set of real continuous functions generating all rational numbers by iteration?
I recently came across this problem from USAMO 2005:
"A calculator is broken so that the only keys that still
work are the $\sin$, $\cos$, $\tan$, $\arcsin$, $\arccos$ and $\arctan$ buttons. The ...
- 4,862
30
votes
4
answers
2k
views
is f a polynomial provided that it is "partially" smooth?
Let $f$ be a $C^\infty$ function on $(c,d)$ ,and
let $O=\cup_{n\in \mathbb{Z}^+} (a_n,b_n)$ where $(a_n,b_n)$ are disjoint open interval in $(c,d)$ and $O$ is dense in $(c,d)$.
Suppose for each $n\in ...
- 407
29
votes
1
answer
1k
views
About the function $\prod_{k \in \mathbb{N}}(1-\frac{x^3}{k^3})$
I'm wondering if the function $$f(x)=\prod_{k \in \mathbb{N}}\left(1-\frac{x^3}{k^3}\right)$$ has a name, or if there are any properties (especially about derivatives of $f$) have studied so far.
I ...
- 483
28
votes
4
answers
3k
views
"Converse" of Taylor's theorem
Let $f:(a,b)\to\mathbb{R}$. We are given $(k+1)$ continuous functions $a_0,a_1,\ldots,a_k:(a,b)\to\mathbb{R}$ such that for every $c\in(a,b)$ we can write $f(c+t)=\sum_{i=0}^k a_i(c)t^i+o(t^k)$ (for ...
- 3,146
20
votes
3
answers
1k
views
mixing convex and concave for convexity
Let $n\in\mathbb{N}$ and $0<x<1$ be a real number. Is the following a convex function of $x$?
$$G_n(x)=\log\left(\frac{(1+x^{4n+1})(1+x^{4n-1})(1+x^{2n})(1-x^{2n+1})}{(1+x^{2n+1})(1-x^{2n+2})}\...
- 43.2k
18
votes
3
answers
8k
views
Number of invertible {0,1} real matrices?
This question is inspired from here, where it was asked what possible determinants an $n \times n$ matrix with entries in {0,1} can have over $\mathbb{R}$.
My question is: how many such matrices ...
- 32.1k