All Questions
5,857 questions
15
votes
0
answers
409
views
Is there a continuous map $f:\mathbb R^\omega\to\mathbb R^\omega$ with dense countable preimage $f^{-1}(\mathbb Q^\omega)$?
Let $\mathbb Q^\omega_0:=\{(x_i)_{i\in\omega}\in\mathbb Q^\omega:\exists n\in\omega\;\forall m\ge n\;\;x_m=0\}$ and observe that $\mathbb Q^\omega_0$ is a countable dense set in $\mathbb R^\omega$ (...
- 42k
3
votes
0
answers
181
views
Refined f- and h-partition polynomials of the associahedra
The f-polynomials, $F_n(x)$ (cf. OEIS A126216, A033282, and A086810), and the h-polynomials, $H_n(x)$ (cf. A001263, the Narayana polynomials), of the family of simple convex polytopes the associahedra ...
- 10.5k
1
vote
0
answers
315
views
Can Carlsons's iterative algorithm for $\arctan x$ be inverted to get one for $\tan x$?
In the article An algorithm for computing logarithms and arctangents, by B. C. Carlson, the following iterative algorithm for arctangents is given:
The algorithm uses that $2^n\tan(2^{-n}\arctan(x))=\...
2
votes
3
answers
3k
views
dual space of a subspace of the space of bounded measures
Let $\mathcal{M}=\mathcal{M}(\mathbb{R})$ be the space of bounded measures. Equipped with the weak convergence, the dual space of $\mathcal{M}$ is $\mathcal{C}_b(\mathbb{R})$ consisting of continuous ...
- 1,835
4
votes
1
answer
223
views
Asymptotics for 'generalized" Kasteleyn's formula
A follow up on an earlier MO question.
Kasteleyn's formula for the number of domino tilings of a $2n\times 2n$ square
$\prod_{j=1}^n\prod_{k=1}^n \left( 4\cos^2(\pi j/(2n+1))+4\cos^2(\pi k/(2n+1))\...
- 43.2k
4
votes
1
answer
470
views
Covering measure one sets by closed null sets
(The following question arose in a joint research with Adam Przeździecki and Boaz Tsaban.)
For a $\sigma$-ideal $\mathcal{I}$ of subsets of the unit interval
$[0,1]$, define
$$\newcommand{\card}[1]{\...
- 135
1
vote
0
answers
190
views
An integration limit
Given $z\geq 0$, denote
$$A_m(z) = \{x\in \mathbf R^{m-1}\, :\, \min_{1\leq i\leq m-1} x_i > z\},$$
and
$$F_m(z) = \int_{A_m(z)} (1+|x|^2)^{1-m} dx.$$
Does the following limit
$$\lim\limits_{m\to\...
- 379
0
votes
1
answer
60
views
Empty interior lack of minima
Suppose that $U \subseteq \mathbb{R}^d$, and satsifies
$U$ is dense in $\mathbb{R}^d$,
U has empty interior,
Then is it possible that
$$
\inf_{x \in U} f(x) >\inf_{x \in \mathbb{R}^d} f(x),
$$
...
- 5,405
2
votes
1
answer
887
views
A uniform Lebesgue density theorem
The Lebesgue density theorem in $\mathbb{R}^n$ may be stated as follows. For a Lebesgue-measurable $A\subseteq\mathbb{R}$ and $r>0, x\in\mathbb{R}^n$, define
$$ \chi_{A,r}(x)=\frac{\mu(A\cap B_r(x))...
- 6,541
1
vote
0
answers
65
views
Real-analytic function with given set of values [closed]
We say that a strictly increasing sequence $x_n$ of reals converges fast
to $x$, if for each $k\in\mathbb{N}$ the sequence $n^k\cdot(x_n − x)$ is
bounded. It is known that there exists a $C^\infty$-...
- 1,133
3
votes
0
answers
136
views
Boundary behavior of $H^2_0(\Omega)$ functions
If $u \in H^2_0(\Omega)$, is it true that $$u(x) \le C\mathrm{dist}(x,\partial \Omega)^2$$ as $x$ goes to the boundary?
user123672
2
votes
1
answer
210
views
asymptotic estimate for log-tan sum
I am finding the following first order estimate.
Question. As $y\rightarrow\infty$,
$$\sum_{n=1}^{\infty}\frac{\log n}n\,\arctan\frac{y}n\,\,
\sim\,\,\frac{\pi}4\log^2y.$$
Is it true?
- 43.2k
3
votes
1
answer
239
views
Distance function is unique nonnegative continuous function on $\mathbb{R}^d$ satisfying following
Suppose $U \subsetneq \mathbb{R}^d$ is open. How do I see that the distance function$$u(x) = \min_{y \in \mathbb{R}^d \setminus U} |x - y|$$is the unique nonnegative continuous function on $\mathbb{R}^...
- 349
1
vote
1
answer
348
views
Continuity of implicitly defined function
Consider a function $g(x)$ defined implicitly via
$$\int_x^{x + g(x)} f(\xi) \,d \xi - u(x) = 0. $$
I know that for every $x$ a unique $g(x)$ exists.
Furthermore $f$ is locally integrable and $u$ is ...
- 11
10
votes
2
answers
427
views
Density of the linear span of products of harmonic polymomials
Let $\mathcal{H}$ denote the space of all harmonic polynomials with complex coefficients in $n$ variables $x_1,\ldots, x_n$ in $\mathbb{R}^n$. I'm trying to show that the linear span of the set $\...
- 577
4
votes
2
answers
197
views
Inequalities for convex functions
Suppose $M:[0, \infty)\to [0, \infty)$ is convex, non-decreasing, $M(0)=0$, $M'(0)=0$ (where the derivative is the derivative from the right), and $M(s)>0$ for all $s>0$. Under what conditions ...
user114263
3
votes
0
answers
72
views
Random Two-Player Asymmetric Game
About half a year ago I asked a question on MSE about a random two player game. At the time, the question received some attention and some progress was made, but was not resolved completely. I have ...
- 181
5
votes
0
answers
195
views
What are the possible $L^{\infty}$ closures of an integration-invariant linear subspace of $C([0,1],\mathbb{R})$?
Let $S \subset C([0,1],\mathbb{R})$ be an $\mathbb{R}$-linear subspace that is invariant under the $T := \int_0^x$ integration operation: if $g \in S$ then the function $f = Tg$ defined pointwise by $...
- 13.8k
3
votes
1
answer
125
views
Propagation error for ODEs
I am looking for a generic estimate to the following problem coming from biology:
I am solving the ODE
$$y'(t)=Ay(t)+zf(t), y(0)=0.$$
where $f$ is an external force determined by us and $z$ a ...
- 31
-1
votes
2
answers
418
views
An inequality involving multi-index [closed]
I came across these inequalities while learning about Schwartz functions (Classical Fourier Analysis, Grafakos) and I have no idea how to prove this:
For $x \in \mathbb{R}^{n}$ and $\alpha = (\alpha_{...
- 339
10
votes
4
answers
3k
views
Measure 0 sets on the line with Hausdorff dimension 1
I use $\dim_H(E)$ to denote the Hausdorff dimension of a set $E \subseteq \mathbb{R}$ and $|E|$ to denote its Lebesgue measure. It is easy to see from the definition of Hausdorff dimension that if $\...
- 515
7
votes
2
answers
5k
views
Relationship between the derivative of a matrix and its eigenvalues
Is there any relationship between the derivative of a matrix and its eigenvalues? If, for example, the derivative is strictly positive definite, can I say that the eigenvalues are strictly increasing?
...
- 71
28
votes
0
answers
1k
views
Number of real roots of a polynomial
Let $P\in \mathbb{R}[x]$ be a polynomial such that $(P, P') = 1$. Suppose that we want to calculate the number of real roots of $P$ in the interval $[a, b]$ (to simplify, let us assume that $P(a), P(b)...
- 6,486
3
votes
1
answer
531
views
An argument in the proof of a compactness theorem
In the proof of a compactness theorem involving fractional derivatives in Temam's Navier-Stokes Equations, an argument as the following is made.
Suppose $X_0,X,X_1$ are Hilbert spaces such that
...
user14319
1
vote
1
answer
229
views
Which norms on vectors can be consistently decomposed?
I need to know which permutation-invariant norms can be consistently decomposed in the sense that for any vector $v = (a,b,c)$ we have that
$$\|(a,b,c)\| = \|(\|(a,b)\|,c)\|.$$
More precisely, let $v ...
- 702
1
vote
1
answer
132
views
A question about a continuous curve in $\mathbb{R}^2$
Let $f:[0,1]\longrightarrow\mathbb{R}^2$ be a continuous function such that
$f(1)-f(0)=(1,0).$ Is it right that we can find $0\leq t_1<t_2\leq1$ such that $f(t_2)-f(t_1)=(\pm1,0)$ and for any $t_1\...
- 1,997
4
votes
0
answers
159
views
inverse of sobolev riemannian metric still sobolev?
Given a covariant riemannian metric of certain sobolev class (i.e. with square-integrable weak derivatives up to a large enough integer order) on a (compact, if necessary) finite-dimensional smooth ...
- 101
10
votes
1
answer
2k
views
Counting norms on an infinite dimensional vector space
It is known that whenever E is a finite dimensional real vector space, there is only one norm on E up to equivalence (actually one non discrete vector space topology).
Is it known what happens when E ...
- 101
3
votes
1
answer
168
views
Uniform bound for an oscillatory sum
I am wondering if there is a uniform bound $C$ (independent of $\lambda>10$):
$$\sum_{k=-\infty}^{-1}\Big|\int_{2^k}^{2^{1+k}}\frac{\sin(\lambda t^3)}{t}dt\Big|\le C.$$
Remark: (1) An easy upper ...
- 187
1
vote
0
answers
156
views
Fejer-Jackson-like inequality with divisor sum
A question was recently asked about a generalization of the Fejer-Jackson inequality $$\sum_{k=1}^n \frac{\sin kx}{k}\gt 0 \quad \forall\: n\in\mathbb{Z}^+\: \text{and}\: 0\lt x\lt\pi$$
to ...
- 105
11
votes
1
answer
1k
views
Has anyone seen this series?
I come across the following infinite series.
$$
\sum_{n=1}^{\infty} \frac{t^n}{n!\: n^{a}}, \quad\text{for $t>0$ and $a>0$}.
$$
In particular, I am interested in the case where $a=1/4$.
...
- 1,649
0
votes
0
answers
124
views
Does Hartogs's Theorem for complex-analytic functions hold for real-analytic functions? [duplicate]
Recall a very famous theorem due to Hartogs for complex analytic functions of several variables.
Hartogs's Theorem Let $f$ be a holomorphic function on a set $G \setminus K$, where $G$ is an open ...
- 671
2
votes
1
answer
337
views
Separability of $L^1$ in $L^2$ topology
In the space $L^1(0,1)$ take the topology generated by the $L^2$-balls
$$B^2_r(f)=\{g\in L^1(0,1):\; \|f-g\|_2<r\}.$$
Is $L^1(0,1)$ separable in this topology?
- 23
0
votes
0
answers
75
views
Does there exist $\alpha>0, \beta\in (0,1)$ such that $\dfrac{\sum_{k=1}^n a_k}{n}\le \alpha (a_1\cdots a_n)^{1/n} + \beta \max_i(a_i)$ holds?
Let $a_1\ge a_2\ge \cdots\ge a_n\ge 0$ be given non-negative numbers. My question is the following:
Is there any $\beta \in(0,1),\ \alpha>0$, such that $$\dfrac{a_1+\cdots+a_n}{n}\le \alpha (a_1\...
1
vote
1
answer
248
views
Expected value of maximal displacement in permutations of $\{1,\ldots,n\}$
For any positive integer $n\in\mathbb{N}$ let $S_n$ denote the set of all permutations (bijections) $\pi:\{1,\ldots,n\}\to \{1,\ldots,n\}$. For any $\pi\in S_n$ we let the maximal displacement be ...
- 48.9k
0
votes
1
answer
274
views
On Cantor sets every map is $C^{\infty}$ [closed]
For a fixed Cantor set $K\subset [0,1]$ and a continuous function $g:[0,1]\to \mathbb R.$ Is it always possible to find a $C^{\infty}$ map $f:[0,1]\to \mathbb R$ such that $g$ and $f$ coincide in $K?$
...
- 1,805
1
vote
0
answers
585
views
A Lemma on convex domain which is a Lipschitz domain
I am reading the following paper:
https://docs.wixstatic.com/ugd/1de1d9_cd82cb002eaa4eefa9af574eb5efdff2.pdf
I am stuck on the proof of lemma 2.3 on page 6.
I don't see why does the property (i) of ...
- 1,594
2
votes
1
answer
244
views
Growth rate of Lipschitz constants for derivatives of $C^\infty$ functions
Let $f\in C^\infty$ have bounded derivatives, i.e.
$$ \sup_{x\in\mathbb{R}}|f^{(p)}(x)| = B_p < \infty$$
for every $p\ge 1$.
I would like to find a proof or a counterexample for the following ...
- 392
5
votes
0
answers
280
views
Proving that a certain function (related to a volume of a region) has a bounded derivative
Let $F$ be a homogeneous form in $n$ variables with integer coefficients.
Let $D$ be a closed box in $\mathbb{R}^n$ (product of closed and bounded intervals). Assume that the partial $\partial F/\...
- 3,625
6
votes
7
answers
5k
views
Best way to teach concept of real numbers using a hands-on activity?
I know a middle school math teacher looking for some suggestions for hands-on activities to teach the concept of real numbers. I'm new to this site, so this may be a little off topic.
- 163
1
vote
1
answer
95
views
A question on a special "metric"
Suppose we have a function $F: [a,b]^n \to \mathcal{M}_{n \times n }(\mathbb{R})$ where $\mathcal{M}_{n \times n }(\mathbb{R})$ is the space of $n \times n$ real matrices, a compact set $B \subset \...
- 113
1
vote
2
answers
3k
views
Are there dense sets of positive but not full measure? [closed]
This topic came out today during a discussion with a colleague. I realized that a counter-example to his claim could be constructed if there exits a subset $A \subset [0,1]$ such that $0 < \mu(A) &...
- 26.9k
7
votes
0
answers
550
views
Counter-example to the completeness of the Wasserstein metric
$\newcommand{\P}{\mathcal{P}}$
Let $(E,d)$ be a complete metric space, let $\P(E)$ be the set of all probability measures on $(E,\mathcal{B}(E))$. Let $W_d$ be the $1$-Wasserstein (Kantorovich) ...
- 931
12
votes
1
answer
191
views
Spectra on different spaces
This is a method request: I am looking for techniques that allow me to investigate problems like this:
Let $T_1: \ell^1 \rightarrow \ell^1$ be a bounded operator with $\Re(\sigma(T_1)) \subset (-\...
- 305
1
vote
1
answer
528
views
Function space between uniform continuity and Hölder continuity
Can you give an example of a complete metric vector space of uniformly continuous functions that is strictly contained between the set of uniformly continuous functions on $\mathbb R^d$ and the Hölder ...
- 5,327
1
vote
0
answers
77
views
Smoothness of a periodization [closed]
If you are given a smooth function, how to verify whether its priodization is well-defined and also smooth (or not)?
For instance, suppose, there is a series
$$
f(x) = \sum_{n=-\infty}^{\infty}e^{-\...
1
vote
1
answer
236
views
Continuity of the solution of a Pde system
Let $\rho_1:[0,1]\to [0,1]$ and $J:\mathbb R\to \mathbb R^+$ both continuous and bounded.
I have the following system of PDE's
\begin{align}
\begin{cases}
\frac{\partial}{\partial t} u_0(t,r)=- J* ...
- 139
3
votes
2
answers
443
views
A problem on real valued functions in $\mathbb{R}^2$ with least variation
Let $\alpha(s) = (x(s),y(s))$ be the arc length parametrization of a plane, smooth, closed, convex curve, of length $L$. Let $J:(0,L)\to\mathbb{R}$ be a smooth and Bounded variation (BV introduced ...
- 698
1
vote
1
answer
262
views
Relationship between $f(t,x)$ as $t \to \infty$ and $f(t/\epsilon, x/\epsilon^2)$ as $\epsilon \to 0$ (periodic functions)
Let $f: (0,\infty)\times \mathbb {R} \to \mathbb{R}$ be $1$-periodic in the second variable and in $L^\infty((0,\infty)\times \mathbb{R}).$ If it is necessary, we can also assume $f$ to be continuous. ...
user89890
2
votes
1
answer
244
views
Are there many "cusps" in a rectfiable star-shaped set?
Let me first recall the definition of density with respect to a measurable set $E$ as follows:
A point $x \in \mathbb{R}^n$ is a point of density $\alpha$ for $E$ if
$$\lim_{r \rightarrow 0} \frac{...
- 1,350