All Questions
5,858 questions
3
votes
2
answers
206
views
Getting Wasserstein closeness from a derivative estimate
In my setting, $\mu$ and $\nu$ are probability measures on $\mathbb{R}^{2}$ with compact support. For any function $f\in{C^{2}_{b}(\mathbb{R}^{2})}$, I have the estimate:
$$
|\mathbb{E}_{\mu}(f)-\...
- 662
0
votes
1
answer
154
views
Finite dimensionality of a subspace
Let $c>0$ and let $Y$ be the space of all distributions of compact support in $(-1,1)$ with singular support at $\{0\}$. Let $X$ be subspace of $Y$ such that for any $\phi \in X$ there holds:
$$ \...
- 4,153
6
votes
1
answer
405
views
Baire class $1$ functions and Baire's characterization theorem
Kechris in his Classical Descriptive Set Theory book gives the following definition (Definition 24.1) and characterization (Theorem 24.15) of Baire class $1$ functions:
Definition. Let $X,Y$ be ...
- 2,286
0
votes
1
answer
516
views
A problem of Fourier transform and Hölder condition
Suppose that $f$ is continuous on $[0,1]$. Thus, $f\in L^1(\mathbb{R})$ and its Fourier transform exists, as
$$ \hat{f}(\xi) := \int_\mathbb{R} e^{-2\pi i x \xi} f(x)dx, $$
which can also be written ...
- 419
5
votes
4
answers
362
views
Dual norm of a subspace of $\ell_\infty^3$
We define a norm on $\mathbb C^2$ as $\|(\alpha,\beta)\|:=\max\left\{|\alpha|,|\beta|,\big|\frac{\alpha+\beta}{\sqrt{2}}\big|\right\}.$ Can the dual norm be calculated explicitly?
- 1,879
8
votes
2
answers
432
views
Can an Osgood curve be almost everywhere differentiable?
It is known that you can “reparametrize” Osgood curves to make them almost-everywhere smooth curves (simply compose one after the Cantor function). However doing this breaks injectivity, stopping them ...
- 700
2
votes
0
answers
83
views
Singular integral operators acting on Zygmund class
It is proven in "Classical and Modern Fourier Analysis" by L. Grafakos (Corollary 6.7.2) that if a kernel $K(x)$ defined away from the origin on $\mathbb{R}^n$ satisfies
$$\sup_{0<R<\...
- 21
1
vote
1
answer
154
views
Dense properties of weighted Sobolev space define on $\mathbb{R}^n$
Consider the usual Sobolev space $H^1(\mathbb{R}^n)$ and $H^1_0(\mathbb{R}^n)$, where $H^1_0(\mathbb{R}^n)$ is the closure of $C_0^\infty(\mathbb{R}^n)$ with respect to the norm of $H^1(\mathbb{R}^n)$....
- 561
1
vote
1
answer
60
views
Are there $f,h$ such that $h$ is Lipschitz, $\int_0^t f(s)\,\mathrm d s<\infty$ and $|\partial_t g| (t, x) \le f(t)g(h(t), x)$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Then
$$
\partial_t g(t, x)...
- 657
11
votes
2
answers
2k
views
Converse of mean value theorem almost everywhere?
Let $f: \mathbb R \to \mathbb R$ be a $C^1$ function.
We say a point $c \in \mathbb R$ is a mean value point of $f$ if there exists an open interval $(a,b)$ containing $c$ such that $f’(c) = \frac{f(b)...
- 6,275
4
votes
2
answers
191
views
Reference request: "Tangent relation" in metric spaces
Let $X,Y$ be metric spaces. Let $f,g : X \to Y$ be two maps and $x_0 \in X$. Let us say that $f$ and $g$ are tangent at $x_0$ if the following condition is satisfied: For every $\epsilon > 0$ there ...
- 63.1k
6
votes
2
answers
847
views
An example that the sum of two Borel sets which is not a Borel set in n-dimensional Euclidean space
By sum of two sets I mean $A+B := \{x+y:x \in A \quad y \in B\}$, and there is a tip in a book of real analysis by Zhou Minqiang which says:
“If $A,B$ are Borel sets in $\mathbb{R}^{n}$, $A+B$ may not ...
- 193
3
votes
0
answers
151
views
Is there a space of smooth functions dense in the domain of Coulomb-like potentials in dimension two?
Let $V : \mathbb{R}^2 \to \mathbb{R}$ be compactly supported, bounded away from the origin, and obey
$$ |V(x)| \lesssim r^{-\delta_0}, \qquad 0 < |x| \le 1, \qquad r : =|x|,$$
for some $0 < \...
- 481
5
votes
0
answers
417
views
All $L^pL^q$ estimates for the heat equation on $\mathbb R$ (with gain of derivatives)
I have asked this question on MSE, but this is a better place.
The heat equation and the heat kernel.
Consider the heat equation on $\mathbb R$:
$$ \left\{\begin{aligned}u_t-\Delta u&=f\\u(0,x)&...
- 1,075
2
votes
0
answers
134
views
Extensions of Euler–Maclaurin formula
There are ways to approximate a sum through integration like the Euler–Maclaurin formula, which requires the function $f(x)$ to be continuous, but there are several ways to extend the formula to ...
- 67
-2
votes
1
answer
175
views
Simple closed form for $\int \lfloor x \rfloor dx$? [closed]
Wolfram Alpha claims there is no closed form in terms of standard funcions
for $\int \lfloor x \rfloor dx$ but we believe we found
simple closed form agreeing with experimental data.
Define $i_1(x)=x -...
- 25.4k
5
votes
1
answer
2k
views
Question on an exercise from Terry Tao's blog
I've been reading Tao's An introduction to measure theory, a draft can be found here. An exercise from it is
Exercise 30 (Rising sun inequality) Let ${f: {\bf R} \rightarrow {\bf R}}$ be an absolutely ...
- 95
4
votes
0
answers
114
views
Find at least one square-boxed subcontinuum
Recall that a plane continuum is a closed, bounded,
connected subset of the plane.
It is non-degenerate if it contains at least two points.
(We may sometimes just say "continuum" even if
we ...
- 1,375
3
votes
0
answers
118
views
If $\frac{\partial f}{\partial t}(x,t)$ exists a.e and $\frac{\partial^2 f}{\partial t \,\partial x }$ is continuous, can we improve a.e existence?
The question is as in the title.
Let $f(t,x) : [0,1]^2 \to \mathbb{R}$ be a function which is $C^\infty$ w.r.t $x$ for each fixed $t$ and whose derivatives w.r.t $x$ are all absolutely continuous w.r....
- 3,477
0
votes
0
answers
52
views
Properties of "potential vector field" in Helmholtz decomposition
It is a well known fact that given a vector field $F$ in $\mathbb{R}^3$, this can be decomposed as
$$ F= \nabla V+ \nabla \times R$$
with $V$ a potential and $R$ another vector field. These components ...
- 697
0
votes
0
answers
317
views
What is the "best" good kernel?
A family of functions $k_n(x):[-\pi,\pi]\to \mathbb R$ for $n\in \mathbb N$ is said to be a good kernel if all the following are satisfied:
$\frac{1}{2\pi }\int_{-\pi}^\pi k_n(x) \, \mathrm d x=1$,
$...
- 3,062
14
votes
3
answers
2k
views
How to prove $e^x\left|\int_x^{x+1}\sin(e^t) \,\mathrm d t\right|\le 1.4$?
Related question asked by me on Math SE a few days ago: How to prove $e^x\left|\int_x^{x+1}\sin(e^t) \,\mathrm d t\right|\le 1.4$?
A few days ago, somebody asked How to prove $ \mathrm{e}^x\left|\...
- 1,326
0
votes
0
answers
122
views
A bound for the Bessel function of the first kind J_0
I have proved the following bound for the Bessel function of the first kind:
$$
J_0(x)=\sum_{m=0}^\infty \frac{(-1)^m\,(x/2)^{2m}}{(m!)^2}
$$
which is
$$
|J_0(x)|\le \frac1{\sqrt[4]{1+x^2}}
$$
but I ...
- 258
2
votes
1
answer
192
views
Asymptotic analysis of an expression involving a Fox's H function
One of the performance metrics calculated in the analysis of telecommunications systems is the ergodic channel capacity, $C_{\rm erg}$. During one of my studies, I found the expression below for such ...
1
vote
0
answers
108
views
Existence of a smooth extension
In the three dimensional Euclidean space $\mathbb R^3$ let us define the hypersurface
$$ S= \{(x,y,z) \in \mathbb R^3\,:\, z^2= x^2+y^2\}.$$
Suppose that $f \in C^{\infty}(S)$. Does there exist $u\in ...
- 4,153
1
vote
0
answers
113
views
Computing a limit for the Weierstrass function
Let $a\in (0,1)$ and let $b$ be an odd positive integer such that $ab>1+\frac{3}{2}\pi$. Let $\alpha \in (0,1)$ be defined by $\alpha= -\frac{ln(a)}{ln(b)}$ and consider the well known Weierstrass ...
- 4,153
1
vote
1
answer
295
views
Hausdorff dimension of the non-differentiability set of a locally Lipschitz function
Let $f:\mathbb R^n \to \mathbb R$ and $E := \{x \in X : f \text{ not Fréchet differentiable at }x\}$. Then $E$ is Borel measurable. It is well-known that
Theorem If $f$ is convex, then the Hausdorff ...
- 825
72
votes
9
answers
16k
views
Why do functions in complex analysis behave so well? (as opposed to functions in real analysis)
Complex analytic functions show rigid behavior while real-valued smooth functions are flexible. Why is this the case?
- 1,093
5
votes
1
answer
319
views
Analytical form for the nuclear norm of an $n \times n$ matrix
I get the follow equation in a paper. Let $A \in \mathbb{R}^{2 \times 2}$, then $M = A^TA$ is a positive semi-definite matrix, the nuclear norm of $A$ is:
$$ \Vert A \Vert_* = \sqrt{\operatorname{tr}(...
- 71
4
votes
1
answer
367
views
Inequality with decreasing rearrangement function
Let $f^{*}$ be the usual decreasing rearrangement function of a measurable function $f$ on a measure space $(X, \mu)$. Let $1<p<n$ and set $$p'=\frac{pn}{n-p}.$$ Also, let $g$ be a positive ...
- 459
4
votes
1
answer
353
views
Inequalities involving binary representation of integers
Let $N\geq 1$ be a positive integer and assume that $N=2^{n_1}+2^{n_2}+\cdots+2^{n_{p}}$, $n_{1}>n_{2}>\cdots>n_{p}\geq 0$, is the binary representation of $N$. I believe that the following ...
- 41
4
votes
1
answer
266
views
The difference between Baire 2 and 'effectively Baire 2'
In short: Baire 2 functions are often assumed to be given by a double sequence of continuous functions, thought this is not the exact definition. Does one need the Axiom of Choice (or related) to ...
- 4,359
12
votes
1
answer
1k
views
Is there a set that intersects every line twice which is Lebesgue measurable or Borel?
Let $A$ be a subset of $\mathbb{R}^2$ which intersects every straight line in exactly two points.
Is there a such set which is Lebesgue measurable or Borel?
A well-known fact is that there exists such ...
- 577
1
vote
1
answer
190
views
Inequality and integral
Let $p(u,x):=(4 \pi u)^{-1/2}e^{-\frac{x^2}{4u}},u>0,x \in \mathbb{R}.$
Let $\mathcal{E}:=\{\phi \in C_c^\infty (\mathbb{R}),\operatorname{supp}(\phi) \subset B(0,1),\|\phi\|_\infty \leq 1\}.$
...
- 573
2
votes
1
answer
82
views
Lower bound for coercive polynomials, II
This is a refinement of my earlier question (Lower bound for coercive polynomials). This time, I ask the same question but for the exponent 1. Indeed, the question is: given a coercive polynomial $f \...
- 26.9k
3
votes
1
answer
147
views
What exactly is the topology on $O_M$ that makes the convolution map $S \times S' \to O_M$ hypocontinuous?
Let $O_M(\mathbb{R}^n):= \mathcal{S}'(\mathbb{R}^n) \cap C^\infty(\mathbb{R}^n)$ be the space of slowly increasing smooth functions on $\mathbb{R}^n$.
Following p.294 proposition 9.10 of the "...
- 3,477
3
votes
0
answers
52
views
Closely related definitions with and without approximation built-in
Let us say that a (real) function class $A$ has 'approximation built-in' in case for every $f:\mathbb{R}\rightarrow\mathbb{R}$ in $A$ and any $x\in \mathbb{R}$, we can approximate $f(x)$ using only $f(...
- 4,359
5
votes
1
answer
229
views
An inequality for polynomials
I have been thinking about the validity of the following inequality: if $P(z)=\sum_{k=0}^na_kz^k, a_n\neq 0$ and $P(z)$ is non-zero in $|z|<1, $ then for $\theta \in [0, 2\pi],$ and $p>0$
\...
- 559
1
vote
2
answers
123
views
Whether the integral $t^2(\iint_{\mathbb{R}^2}|\xi|e^{\frac{-a\xi^4t}{\xi^2+b}} \,d\xi_1 \,d\xi_2)$ is bounded?
Is the integral
$$
t^2\left(\iint_{\mathbb{R}^2}|\xi|e^{\frac{-a\xi^4t}{\xi^2+b}}\,d\xi_1\,d\xi_2\right)$$ bounded when $t\rightarrow\infty$? Here
$\xi=(\xi_1,\xi_2)\in\mathbb{R}^2$,
$|\xi|=\sqrt{\...
- 13
7
votes
0
answers
270
views
Between real analysis and mathematical logic
This question lies in the intersection of real analysis and logic, so I try to keep things rather basic.
First of all, logicians care about the following kind of formula:
Let $\varphi(n, x)$ be a ...
- 4,359
1
vote
1
answer
524
views
Everywhere differentiable inverse function theorem in which the derivative is invertible at only $1$ point
I'm reading about inverse function theorem for everywhere (not necessarily continuously) differentiable funtions. First from Terence Tao's blog, i.e.,
Theorem 2 (Everywhere differentiable inverse ...
- 825
17
votes
3
answers
1k
views
Decoupling a double integral
I came across this question while making some calculations.
QUESTION. Can you find some transformation to "decouple" the double integral as follows?
$$\int_0^{\frac{\pi}2}\int_0^{\frac{\pi}...
- 43.2k
2
votes
2
answers
755
views
Derivative of the absolute value
Let $f \in W^{1,p}(U)$, then how to prove that $|f| \in W^{1,p}(U)$, where $W$ means the sobolev space over some open subset $U \in \mathbb{R}^n$.
In Lieb's Analysis he prove that Let $f$ be in $W^{1,...
- 23
10
votes
3
answers
849
views
Progress in robustifying mathematics - i.e. making mathematical theorems robust to small changes in hypotheses
The idea of making a mathematical theorem robust to small changes in its hypotheses has been known for some time. In areas such as group theory reasonable progress has been made leading to the theory ...
- 4,862
0
votes
1
answer
131
views
Is this a smooth approximation to the $\ell$-infinity distance actually a quasi-metric?
The $\|\cdot\|_{\infty}$-norm on $\mathbb{R}^n$ for $n\in \mathbb{Z}^+$ is not a smooth function. However, I came across this post which essentially says that a pointwise approximation to the maximum ...
- 169
2
votes
1
answer
161
views
Smooth approximation of nonnegative, nondecreasing, concave functions
Let $f\colon [0, \infty)\to\mathbb{R}$ be nonnegative, nondecreasing, and concave. Prove the following claim or give a counter example: There is a sequence of functions $f_n\colon [0, \infty)\to\...
- 63
2
votes
1
answer
77
views
Total sets for $L^p$ for every $1\leq p < \infty$
Consider $L^p[ 0,1]$ for $1\leq p < \infty$ or, if you prefer, $L^p(\mu)$ where $\mu$ is a finite Borel measure with compact support. Let $(\phi)_{i\in I}$ be a subset of measurable functions that ...
- 355
1
vote
2
answers
169
views
Asymptotic properties of weighted random walks / infinite convolutions of random variables
Let $(X_n)_{n\in\mathbb{N}}$ be a sequence of i.i.d. real-random variables. Let further $0<c<1$. I'm interested in the asymptotic properties of
$$
\sum_{k=1}^n c^k X_k.
$$
I can prove that this ...
0
votes
0
answers
102
views
Asking a reference about the $p$-Laplacian of $|\nabla u|^p$
It is well-known that for a harmonic function $u$, i.e.
$$ \Delta u=0, $$
the quantity $|\nabla u|^2$ is subharmonic, i.e.
$$\Delta (|\nabla u|^2) \geq 0. $$
Reason:
$$\Delta (|\nabla u|^2)= 2 \nabla (...
- 371
67
votes
9
answers
7k
views
Taking "Zooming in on a point of a graph" seriously
In calculus classes it is sometimes said that the tangent line to a curve at a point is the line that we get by "zooming in" on that point with an infinitely powerful microscope. This explanation ...
- 12.1k