All Questions
5,876 questions
14
votes
0
answers
718
views
Lower bounds on analytic functions connected to Fox H
The question is related to the one I asked before and never got an answer to. Fourier transform of $f_a(x)= a^{-2}\exp(-|x|^a)$, $a \in (0,2)$, is decreasing in $a$ . I need to demonstrate that the ...
- 178
14
votes
0
answers
633
views
Classes of (non-continuous) functions with the fixed point property
Let $K$ be a convex body in $ R^d$. (Say, a ball, say a cube...) For which classes $ \cal C$ of functions, every function $ f \in {\cal C}$ which takes $K$ into itself admits a fixed point in $K$.
...
- 24.7k
13
votes
7
answers
35k
views
Real analysis has no applications?
I'm teaching an undergrad course in real analysis this Fall and we are using the text "Real Mathematical Analysis" by Charles Pugh. On the back it states that real analysis involves no "applications ...
13
votes
4
answers
2k
views
Is there an increasing function on $[a, b]$ which is differentiable, but not absolutely continuous？
Is there an increasing function on
$[a, b]$ which is differentiable,
but not absolutely continuous？
- 577
13
votes
5
answers
3k
views
Reference request: Oldest calculus, real analysis books with exercises?
Per the title, what are some of the oldest calculus, real analysis books out there with exercises? Maybe there are some hidden gems from before the 20th century out there.
Edit. Unsolved exercises ...
13
votes
6
answers
4k
views
Finding f such that f(f(x))=g(x) given g
Suppose $g(x)$ is a smooth increasing function defined for $x \ge 0$ such that $g(x) \ge x$ for all $x$. Does there exist a function $f$ with similar properties such that $f(f(x))=g(x)$ for all $x \ge ...
- 15.4k
13
votes
3
answers
1k
views
iterated harmonic numbers vs Riemann zeta
Define the $m$-th iterated harmonic sums in the manner: $\bar{H}_0(n):=1$ and for
$m\geq1$ by
$$\bar{H}_m(n):=\sum_{k=1}^n\frac{\bar{H}_{m-1}(k)}k.$$
For example, $\bar{H}_1(n)=\sum_{k=1}^n\frac1k$ ...
- 43.2k
13
votes
1
answer
3k
views
Behavior of $n^\alpha \sin^{\circ\, n}(n^{-\alpha}x)$
I'll write it formally: Let $\sin^{\circ\, 1}(x) = \sin(x)$ and $\sin^{\circ n+1}(x) = \sin\bigl(\sin^{\circ n}(x)\bigr)$ for $n\in \Bbb N$ with $n>1$.
What is the limit as $n \to \infty$?
It's ...
13
votes
3
answers
820
views
Is there a Borel subset of $ \mathbb{R}^{2} $, with finite vertical cross-sections, whose projection onto the first component is non-Borel?
This question is related to another one that I asked two days ago.
Question. Does there exist a Borel subset $ M $ of $ \mathbb{R}^{2} $ with
the following two properties?
The ...
- 1,396
13
votes
2
answers
1k
views
Is the exponential function the sole solution to these equations?
Let us take the exponential function $\lambda^z$ where $0 < \lambda < 1$. There are many great uniqueness conditions this holomorphic function satisfies. For example, it is the only function ...
user78249
13
votes
3
answers
2k
views
Set of real numbers with positive measure containing no midpoints
Does there exists a subset E of R with positive measure and without containing any midpoints (i.e. x,y distinct in E, (x+y)/2 not in E)?
- 133
13
votes
3
answers
720
views
Supremum of $ a_n = a_{n-1}^3 - a_{n-2} $
Let $a_1=0$ and let $ - \ln(2) < a_2 < \ln(2) $
Define
$$ a_n = a_{n-1}^3 - a_{n-2} $$
Then
$$ \sup_{n>2} a_n = a_2 $$
And
$$ \inf_{n>2} a_n = - a_2 $$
How to prove that ?
- 763
13
votes
2
answers
2k
views
Asymptotics of the n-th prime using the gamma function
In the paper http://rgmia.org/papers/v8n2/eepnt.pdf, the author proves that proves an explicit inequality on prime numbers using the gamma function and as a corollary, he showed that.
$$
p_n = n \...
- 5,470
13
votes
1
answer
1k
views
Is it necessary to use AC to solve this problem ?
Dear All,
As a routine application of Zorn's Lemma, one can show that there is a subset $A$ of $\mathbb{R}$ such that $A$ contains no arithmetic progression of length 3 but for any $x\not \in A$, $A\...
user30230
13
votes
2
answers
1k
views
Is there a known condition for partial sums of a decreasing positive sequence to take all values up to the total sum?
Let $a_0>a_1>\cdots>0$ have the property that, for each positive $a<\sum_{n\in\Bbb N}a_n$ (admitting $\infty$ for the sum), there is $A\subset\Bbb N$ such that $a=\sum_{n\in A}a_n$ . Are ...
- 2,437
13
votes
2
answers
539
views
$f$ real-rooted forbid truncated $\frac1f$ to be so?
Let $f(x)$ be a polynomial in the ring $\mathbb{R}[x]$, the roots are all real and $f(0)=1$. Write the Taylor series of $1/f(x)$ around the origin as
$$\frac1{f(x)}=\sum_{k=0}^{\infty}a_kx^k,$$
and ...
- 43.2k
13
votes
4
answers
3k
views
Multivariate analogue of Vandermonde determinant
Dear all,
Consider the $(n+1)\times (n+1)$ matrix $A$ with indeterminates $X_i, Y_i$, $0\leq i\leq n$ such that the $(i,j)$-th entry is given by $X_i^jY_i^{n-j}$. The $i$-th row is $(X_i^n,X_i^{n-1}...
- 537
13
votes
2
answers
1k
views
Probability vector $p$ majorizes its normalized entropy vector $\small \frac{-p\log p}{H(p)}$
I guess the following inequality
$$ \sum_{i=1}^n g \left (\frac{-p_i \log p_i}{H(\boldsymbol{p})} \right ) \le \sum_{i=1}^n g (p_i)$$
holds for any continuous convex function $g$ and any probability ...
- 303
13
votes
1
answer
1k
views
How continuous can a bijection between line and plane be?
Is there a bijection $f$ from $[0, 1]$ to $[0, 1]^2$ such that the set of points of discontinuity of $f$ has measure zero? If not, could it be dense/comeager?
- 131
13
votes
2
answers
1k
views
On Hamkins' answer to a problem by Michael Hardy
Based on a post by Michael Hardy and Hamkins' answer to it Andreas Blass, Will Brian, Joel Hamkins, Michael Hardy and Paul Larson introduced a new cardinal characteristic of the continuum $\mathfrak{...
- 2,381
13
votes
2
answers
2k
views
New research and re-discovering classic results in "basic" real analysis
Sometimes, it happens that researchers publish a new proof of an old well-known result in "basic real analysis" (I'm referring to what some American people may call "honors calculus"). For instance, ...
13
votes
3
answers
810
views
Is $\sum_{n=1}^\infty\frac{S(n)}{n!}$ an irrational, where $S(n)$ denotes the sum of remainders function?
For each integer $n\geq 1$ we consider the arithmetic function $$S(n)=\sum_{k=1}^n n\text{ mod }k,\tag{1}$$
the sum of remainders function, the arithmetic function A004125 from the OEIS.
Example. We'...
13
votes
2
answers
653
views
The geometry of $\mathbb{R}^n$
Let $X,Y$ be finite-dimensional real normed spaces. Consider the set of linear operators $L(X,Y)$ between the two spaces.
Then we define the set of equivalence classes
$$G(X,Y):=\left\{[T]; T,S \in ...
- 536
13
votes
2
answers
316
views
Semigroup of differentiable functions on real line
Let $D(\mathbb R) $ be the set of all differentiable functions $f: \mathbb R \to \mathbb R$. Then obviously $D(\mathbb R)$ forms a semigroup under usual function composition. Can we characterize (up ...
- 235
13
votes
1
answer
638
views
A question on the sine function
The Fejer-Jackson-Gronwall inequality involving the sine function is as follows:
$$\sum_{k=1}^n\frac{\sin kx}k>0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi.$$
Here I ask the ...
- 15.6k
13
votes
1
answer
1k
views
Structure of the Cantor part of the derivative of a BV function
It is well known that an integrable function $u \colon \mathbb R^d \to \mathbb R$ is said to be of bounded variation iff the distributional gradient $Du$ is (representable by) a finite Radon measure, ...
- 980
13
votes
1
answer
1k
views
Is there an algebra for divergent series summation operators?
Let $D$ denote a divergent series and let $C$ denote a convergent series.
Furthermore, let $s : $ { Series } $\to$ $\mathbb{C}$ be a regular, linear divergent series operator, which is either one ...
- 4,829
13
votes
1
answer
461
views
Does locally nilpotent imply nilpotent for continuous self-maps of intervals?
Let $f\in C([0,1],[0,1])$ be such that:
$$\forall x\in [0,1], \; \exists k\in \mathbb N, \; f^{\circ k}(x)=0.$$
Is it true that $f$ is nilpotent (i.e., that there is some $k$ such that $f^{\circ k}=0$)...
- 4,074
13
votes
1
answer
576
views
Regarding a positive Lebesgue measure set in $\mathbb{R}^2$
Let $P\subset \mathbb{R}^2$ be a positive Lebesgue measure set. Then $P$ does not necessarily contain a subset of the form $A\times B$ where $A,B\subset \mathbb{R}$ are of positive Lebesgue measure.
...
- 173
13
votes
2
answers
2k
views
An alternative proof of the Łojasiewicz inequality
Is there a "brute force proof" of the Łojasiewicz inequality? By "brute force" I mean a proof without introducing the machinery of semianalytic sets and so on but only using elementary results (i.e., ...
- 1,727
13
votes
2
answers
3k
views
Left and right eigenvalues
A quaternionic matrix $A$ gives rise to a
function $\mathbb{H}^n \to \mathbb{H}^n$
given by $x \mapsto A \cdot x$. This is real linear,
but not complex- or quaternionic-linear
(in general) if we ...
- 12.5k
13
votes
1
answer
1k
views
Which functions are Wiener-integrable?
I'm looking for either a few precise mathematical statements about Wiener integrals, or a reference where I can find them.
Background
The Wiener integral is an analytic tool to define certain "...
- 54.6k
13
votes
2
answers
813
views
A dichotomy for everywhere differentiable eikonal functions
Let $f: \mathbb R^n \to \mathbb R$ be everywhere differentiable, with $|\nabla f| = 1$ almost everywhere. Is it true that $|\nabla f| = 0$ or $1$ everywhere?
- 6,215
13
votes
1
answer
2k
views
Hausdorff Dimension and Hölder Continuity
Suppose we have a curve γ : [0,1] -> ℝn. It is well known that if this curve is Hölder continuous for some exponent α then the Hausdorff dimension of γ[0,1] is bounded above ...
- 183
13
votes
1
answer
586
views
The real numbers as a wreath product?
In Faltin-Metropolis-Ross-Rota's [FMRR] paper The Real Numbers as a Wreath Product [Adv. Math. 16(3), 278-304 (1975)], the real numbers are constructed as a quotient of a certain subset of the ring of ...
- 825
13
votes
3
answers
2k
views
"Values" of divergent integrals
Are there existing theories of integration in which $I_0 = \int_0^{\infty} dx$ and $I_1 = \int_0^{\infty} x \ dx$ are well-defined infinite elements in a non-archimedean extension of the reals? I can ...
- 19.7k
13
votes
1
answer
1k
views
When is a matrix similar to a non-negative matrix?
Consider a real square matrix $A$ of size $n\times n$. Under which conditions on $A$ does there exist a row-stochastic matrix $U$ (non-negative, rowsums = 1), such that $A'=U^{-1}AU$ is a non-negative ...
- 231
13
votes
0
answers
710
views
Minimizing total variation under constraint
For $p\in[0,1]$, we write $\mathrm{Ber}(p)$
to denote the Bernoulli measure on $\{0,1\}$;
that is, $\mathrm{Ber}(p)(0)=1-p$,
$\mathrm{Ber}(p)(1)=p$.
For $n\in\mathbb{N}$ and $p=(p_1,\ldots,p_n)\in[0,1]...
- 6,541
13
votes
0
answers
545
views
Is there a logical relationship between constructions of the reals and proof methods in real analysis?
In my elementary real analysis course three years ago, I remember noting that there seemed to be 3 main ways of proving the main theorems about continuity. There was Bolzano-Weierstrass, continuous ...
- 295
13
votes
0
answers
786
views
Seek for a algebro-geometric proof: the group homomorphism $\mathrm{SL}(2,\mathbb{Z}) \rightarrow \mathrm{SL}(2,\mathbb{Z}/N\mathbb{Z})$ is surjective
It is a well-known fact that the group homomorphism $\mathrm{SL}(2,\mathbb{Z}) \rightarrow \mathrm{SL}(2,\mathbb{Z}/N\mathbb{Z})$ is surjective.
What I want is a proof by method of algebraic geometry. ...
- 1,168
13
votes
0
answers
395
views
Converse to Riesz-Thorin Theorem
Let $T$ be an operator on simple functions on (say) $\mathbb{R}$.
The Riesz-Thorin interpolation theorem, in one form, says that the Riesz type diagram of $T$ is a convex subset of $[0,1]\times[0,1]$....
- 854
12
votes
4
answers
1k
views
Understanding the condition $\frac{1}{p} + \frac{1}{q} = 1$ in the estimate $xy \le \frac{1}{p}x^p + \frac{1}{q}y^q$
I just read a proof of Holder's inequality in measure theory, which boils down to the following inequality:
$$xy \le \frac{1}{p}x^p + \frac{1}{q}y^q$$
where $x,y\ge 0$ and $\frac{1}{p} + \frac{1}{q} = ...
- 7,527
12
votes
2
answers
663
views
A conjectural infinite series for $\frac{\pi^2}{5\sqrt{5}}$
I am looking for a proof of the following claim:
First define the function $\chi(n)$ as follows:
$$\chi(n)=\begin{cases}1, & \text{if }n \equiv \pm 1 \pmod{10} \\
-1, & \text{if }n \equiv \pm ...
- 2,661
12
votes
2
answers
607
views
Partition $\Bbb{R}$ into a family of sets each one homeomorphic to the Cantor set
It is known that there is no (nontrivial) partition of $\Bbb{R}$ into a countable number of closed set. But is there a partition of $\Bbb{R}$ into sets, each one homeomorphic to the cantor ternary set?...
user36763
12
votes
4
answers
2k
views
Seeking a Geometric Proof of a Generalized Alternating Series' Convergence
Let $z \in \mathbb{C} \backslash \lbrace 1 \rbrace$ with $|z| = 1$. We consider the following infinite series, which necessarily converges:
$$S(z) := \sum_{n = 1}^{\infty}\frac{z^n}{n}$$
Note that $S(...
- 7,831
12
votes
1
answer
2k
views
Anti Arzela-Ascoli
Notation: We say a sequence of real numbers diverges if it does not converge to a finite limit. We say a sequence $f_n$ of real valued functions on $[0, 1]
$ are equibounded if $\sup_{n \in \mathbb N}...
- 6,215
12
votes
4
answers
831
views
Relating the roots of polynomials to the solution sets of certain functional equations
Consider a functional equation of the following form:
$$\sum_{k=0}^n a_k\,\underbrace{f(f(\cdots f}_{k}(x)\cdots )=0\quad \big(f:\,\mathbb{R}\to\mathbb{R},\;a_i\in \mathbb{R},\;\text{and}\;f^0=\text{...
- 453
12
votes
2
answers
1k
views
Asymptotics of a strange oscillatory function
Consider the function $f:\mathbb{R}\to \mathbb{R}$ defined by $f(x)=\sum_{n\geq 1}\sin(x/n^2)$. It is easy to see that $f(x) = O(\sqrt{x})$ for large real $x$. Is it true that
$f(x)>0$ for $x>0$...
- 783
12
votes
2
answers
1k
views
Low-degree polynomial approximation of the piecewise-linear function $x \mapsto \max(x, 0)$ on an interval $x \in [-R,R]$
For $R > 0$, consider the piecewise-linear function $\sigma_R: [-R,R] \rightarrow \mathbb R^+$, defined by $\sigma_R(x) := \max(x,0)$.
Question
Given $\epsilon> 0$, find a "low-degree" ...
- 6,853
12
votes
2
answers
2k
views
Implicit function theorem at a singular point?
Let $F:\mathbb{R}^2 \rightarrow \mathbb{R}$ be three times continuously differentiable in some open neighborhood $\mathcal{U}$ of $(0,0)$. Suppose that $F(0,0) = F_x(0,0) = F_y(0,0) = F_{xy}(0,0) = 0$ ...
- 123