All Questions
5,659 questions
5
votes
2
answers
248
views
Hausdorff dimension of the zero set of $\nabla f$
Let $f: \mathbb R^n \to \mathbb R$ be a Lipschitz function with $\nabla f$ nonzero almost everywhere with respect to Lebesgue measure.
What is the supremal Hausdorff dimension of the set on which $f$ ...
- 6,273
5
votes
2
answers
423
views
$C^1$ harmonic functions on a dense open set are globally harmonic
In a paper I am studying, at a certain point the authors introduce a function $u\in C^1(B_1,\mathbb{R})$ which is harmonic in a dense open subset $U$ of $B_1$. From this, they seem to conclude that $u$...
- 1,149
5
votes
2
answers
223
views
Continuous functions on $[0,1]^\omega$ and a product lower bound
I have a concrete question about continuous functions on $X = [0,1]^\omega$ (with the product topology).
The map $f:X\to [0, 1]$ given by $(x_i)\mapsto \prod x_i$ is well-defined and Borel but not ...
- 53
5
votes
1
answer
484
views
Equidifferentiable functions
Let $f_n: [0, 1] \to \mathbb R$ be a sequence of continuously differentiable functions. We say that the sequence $f_n$ is equidifferentiable if for every $x \in [0, 1]$ and every $\varepsilon > 0$, ...
- 6,273
5
votes
2
answers
358
views
Linear transport equation with unbounded coefficients
Consider the PDE
$$\partial_t f(x,t) = \langle q(x), \nabla \rangle f(t,x) + p(x),$$
with Schwartz initial data $f(0,x) = f_0(x) \in \mathscr S(\mathbb R^n).$
I am wondering then if $q$ and all its ...
- 124
5
votes
4
answers
613
views
Optimizing the gradient norm on the unit sphere
Let $ \Bbb S^{d-1}=\{(x_1,\cdots ,x_d): x_1^2+ \cdots +x_d^2=1\}\subset \Bbb R^d$ be the unit
sphere. Let $\nabla u= (\partial_{x_1}u,\cdots, \partial_{x_d}u)$ be the gradient of a function $u\in C_c^\...
- 1,101
5
votes
2
answers
301
views
Euler–Maclaurin formula in $\mathbb{Z}^d$
I was wondering whether there is a Euler–Maclaurin formula of sorts for expressions such as
$$
\sum_{x \in [a,b]^d\cap \mathbb{Z}^d} f(x) - \int_{[a,b]^d}f(x)
$$
where $d\ge 2$ is an integer, $a,b \...
- 446
5
votes
1
answer
456
views
Number defined by a recursive binary sequence
In a math column in Scientific American many years ago, I encountered a peculiar binary sequence I describe below. Unfortunately I can't find a reference on this, so I would be grateful for any ...
- 48.9k
5
votes
2
answers
980
views
Symbol of the Laplace-Beltrami on $\mathbb{S}^2$
This question is about how the principal part (or symbol) is defined on a manifold?-I assume that the answer is: As in $\mathbb{R}^n$ using local coordinates, i.e.
A differential operator $P=\sum_{|\...
- 329
5
votes
2
answers
341
views
a modification on an infinite Bernoulli convolution
The distribution $\nu_{\lambda}$ of the random series $\sum\pm\lambda^n$ is the infinite convolution product of $\frac12(\delta_{-\lambda^n}+\delta_{\lambda^n})$. This problem has been studied ...
- 43.2k
5
votes
1
answer
337
views
Hadwiger-Nelson problem for $\ell^\infty$
Let $G=(V, E)$ be the following graph:
$V=\ell^\infty = $ set of bounded real sequences, with the norm $$\|x\|_\infty = \sup_{n\in\mathbb{N}}|x_n|,$$
$E = \big\{\{x,y\}: x,y\in \ell^\infty \text{ and ...
- 48.9k
5
votes
1
answer
349
views
Equilateral triangle in a Brownian path
I am curious about the following simple problem but I couldn't do any progress on it. I would like to know whether it is possible to prove (with probabilistic proof) that a brownian trajectory ...
- 393
5
votes
3
answers
620
views
Poisson equation on manifolds
Let $(\mathcal{M},g)$ be a compact Riemannian manifold with Levi-Civita connection $\nabla$. It is well-known that the Poisson equation
$$\Delta u=f$$
does have a solution on $C^{\infty}(\mathcal{M})$ ...
- 1,171
5
votes
1
answer
353
views
Family of functions with prescribed derivatives
Suppose $f: \mathbb C \times (-1,1) \to \mathbb C$ is a smooth function that satisfies $f(0,t)=1$ for all $t\in (-1,1)$. Assume that for any $k\in \mathbb N$, any $z \in \mathbb C$ and any $t \in (-1,...
- 4,153
5
votes
2
answers
2k
views
Relationship between KL, chi-squared, and Hellinger
There are many well-known relationships between the KL divergence, chi-squared ($\chi^2$) divergence, and the Hellinger metric. In the paper "Assouad, Fano, and Le Cam" by Bin Yu, the author ...
- 63
5
votes
3
answers
526
views
How to prove this (corollary of) hyperplane separation theorem?
$X$ is a nonempty convex subset of $\mathbb{R}^n$ whose element is $x=\left(x_1,...,x_n\right)$.
The theorem is as follows.
If for each $x\in X$, there is an $i \in \left\{1,...,n\right\}$ such that $...
- 159
5
votes
2
answers
1k
views
How to prove the second Korn inequality?
$\textbf{Theorem}.1$ (The first Korn inequality) Suppose that $ \Omega $ is a bounded domain in $ \mathbb{R}^d $ with Lipschitz boundary. Then\
\begin{eqnarray}
\sqrt{2}\left\|\triangledown u\right\|_{...
- 1,219
5
votes
1
answer
561
views
Upper bound an integral with exponential function
I am working on my research about approximation a function. I come up with the following integral. I run some simulations and saw that the integral would converge to zero as n goes to infinty. Here is ...
- 87
5
votes
2
answers
700
views
Ground state for non-linear Schrödinger
When studying the blow-up for focusing non-linear Schrödinger equation (NLS) one often compares the initial-state to a stationary solution.
In the energy-critical case, this stationary solution is ...
- 536
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
5
votes
2
answers
840
views
Decompostition of a Lipschitz domain
We say that $\Omega$ is a strongly star shaped domain (with respect to $0$ for example) in $\mathbb R ^n$ if:
$$\Omega = \{x\in \mathbb R ^n : \left \| x \right \| < g(\frac{x}{\left \| x\right \...
- 291
5
votes
2
answers
359
views
Proof without distributions
I was wondering whether there is a way to show this identity
$$\pi \int_{\mathbb{R}^3} \frac{f(x)}{|x|} dx = \int_{\mathbb{R}^3} \frac{\widehat{f(x)}}{|x|^2} dx $$ without using distributions for $f ...
- 111
5
votes
1
answer
501
views
Hausdorff measure of the graph
Is there any example of a real valued function on the real line whose domain has Lebesgue measure zero but the graph (in the plane) has positive one dimensional Hausdorff measure?
Of course if such ...
user56512
5
votes
2
answers
2k
views
Elementary proof of the uniqueness of smooth structures on $\mathbb{R}$
Is there any 'elementary' proof of the uniqueness of smooth structures on $\mathbb{R}$? By elementary, I mean that the proof does not use any sophisticated topological machinery. In particular, I'm ...
- 895
5
votes
2
answers
922
views
What is the status of the extreme value theorem in forms of constructive mathematics, such as Smooth Infinitesimal Analysis?
In certain intuitionistic frameworks the extreme value theorem cannot be proved. Depending on the exact framework, counterexamples can be constructed as well; see for example pp. 294-295 in
Troelstra,...
- 16.6k
5
votes
2
answers
298
views
Is the $W^{1, \infty}$ limit of differentiable a.e. functions also differentiable a.e.?
Let $f_n$ be a sequence of continuous, differentiable a.e. functions on $[0, 1]$ with
$f_n \to f$ uniformly for some continuous $f$.
$f'_n - g \to 0$ in $L^\infty$ for some measurable $g$,
where we ...
- 6,273
5
votes
1
answer
167
views
Upper bound for the $n$-th derivative of a rational function $\frac{f}{f+g}$
Let $f$ and $g$ be real polynomials with nonnegative coefficients. Let
$$
h = \frac{f}{f+g}.
$$
I want to prove that the $n$-th derivative of $h$ satisfies:
There exists $C > 0$ such that
$$
|h^{(...
- 187
5
votes
3
answers
557
views
The field structure on the locale of real numbers
It is well known how to derive the field operations from the construction of the real numbers as the Dedekind completion of the rational numbers and as the Cauchy completion of the rational numbers; ...
- 2,624
5
votes
2
answers
460
views
Backward heat equation and forward perturbed heat equation well posed?
I consider the following scenario. Let $I$ be a compact interval in space and $f$ a nice function in the space $C^{\infty}(I)$. In the following we consider a self-adjoint realization of our operators ...
- 536
5
votes
1
answer
330
views
Irrationality of $e^{x/y}$
How to prove the following continued fraction of $e^{x/y}$
$${\displaystyle e^{x/y}=1+{\cfrac {2x}{2y-x+{\cfrac {x^{2}}{6y+{\cfrac {x^{2}}{10y+{\cfrac {x^{2}}{14y+{\cfrac {x^{2}}{18y+\ddots }}}}}}}}}}...
- 177
5
votes
1
answer
314
views
A simple oscillatory integral with a non-smooth phase
Let $\phi\in C_c^\infty(\mathbb{R})$ be an even function such that $\chi_{(-1/2,1/2)}\le\phi\le \chi_{(-1,1)}$, where $\chi_{(a,b)}$ stands for the indicator function of the interval $(a,b)$. For $\...
- 421
5
votes
2
answers
320
views
Analog of the Birkhoff's ergodic theorem for the sequence of squares
Consider a dynamical system $(X, \mathcal{B}(X), \mu, T)$ where $(X, \mathcal{B}(X), \mu)$ is a measure space and $T$ is a measure-preserving, invertible transformation.
Then by the classical ...
- 421
5
votes
1
answer
151
views
Existence of operator with certain properties
I am curious to know the answer to the following question:
Does there exist a continuous linear operator on some Banach space $X$ such that $\Vert T \Vert=1$, and $\sigma(T)\supset \{1\}$ is isolated ...
user69109
5
votes
2
answers
415
views
Existence of Solution, System of Equations
Suppose $P(\lambda, i)$ is the probability that a Poisson random variable with average $\lambda$ is equal to $i$, i.e. $\frac{\lambda^i}{e^{\lambda}i!}$
I think the following system of equations ...
- 53
5
votes
1
answer
279
views
Mixed norm inequality
Suppose we have a product space $(X_1\times X_2,\mu_1\otimes\mu_2)$, with finite measures $\mu_1,\mu_2$ and $p>1$.
Is there a possibility that an inequality of this form holds on the product space?
...
- 156
5
votes
1
answer
882
views
Two integral representations for $\zeta(3)$ from Zurab's integral and standard formulas for the gamma function
This morning I wrote with the help of a CAS, and integral representation for the Apéry's constant $\zeta(3)$ and some standard formulas two formulas involving this constant. I would like to know if ...
user75829
5
votes
3
answers
787
views
positive sum of sines
This was asked but never answered at MSE.
Let $f(x) = \sin(a_1x) + \sin(a_2x) + \cdots + \sin(a_nx)$, where the $a_i$'s
represent distinct positive integers. Suppose also that $f(x)$ satisfies the ...
- 1,411
5
votes
1
answer
780
views
Do real analytic functions on $\mathbb{C}\mathbb{P}^n$ form a Noetherian ring?
Question: Is the ring of real-analytic functions on $\mathbb{C}\mathbb{P}^n$ (real valued)
a Noetherian ring?
References or counterexamples are welcome.
I know that the ring of germs of holomorphic ...
- 589
5
votes
2
answers
271
views
Continuous map from connected subset of R^n to one of the real zero of an odd degree polynomial whose coefficients are polynoms of the variables
Let take a real multivariate polynomial $P(x_1, \ldots, x_n, y)$ such as the degree of P relatively to the variable $y$ is odd. Thus, for each $X = x_1,\ldots,x_n \in\mathbb{R}^n$, the univariate ...
- 103
5
votes
1
answer
3k
views
Equicontinuity and $L^2$ convergence imply uniform convergence
I'm currently working through an old Paper of Garsia, Rodemich and Rumsey (A Real Variable Lemma) and theres one thing i don't get. Suppose $(f_n)_{n\in\mathbb{N}}$ is a sequence of continuous real ...
- 61
5
votes
1
answer
225
views
Extending Jordan loops
I encountered this issue recently, but do not know of any general results to deal with it, so I would appreciate any pointers.
Let $\mathbb T=\{z\in\mathbb C\mid |z|=1\}$, and let $f:\mathbb T\to\...
- 32.5k
5
votes
4
answers
526
views
Existence of an arbitrary Small positive continuous real Valued Function
Let $(X,\tau)$ be a Tychonoff Topological space.
For each $x\in X$ consider an arbitrary positive real number $\epsilon_x>0$. Is There a continuous real valued function $f:X\rightarrow \mathbb{...
- 1,788
5
votes
3
answers
718
views
Subsets of $\mathbb{R}^+$ closed under addition
No one's answered the question cumulant problem so here's a simpler question: Has anyone described or catalogued all sets of non-negative real numbers that are closed under addition? In particular, ...
5
votes
1
answer
375
views
What is the length of an algebraic curve?
The following question seems to be somewhat standard, but I was unable to find any reference. I would be grateful for any pointers to relevant literature.
We consider a real polynomial $p(x,y)$ of ...
- 53
5
votes
1
answer
489
views
Does coefficient-wise limit preserve real-rootedness?
Let $P_n$, $n=1,2,\ldots$ be polynomials with real roots only (and real coefficients), and $P_n$ converge to a non-zero polynomial $Q$ coefficient-wise. Does it follow that $Q$ has real roots only?
...
- 109k
5
votes
1
answer
542
views
If $f$ is bounded, decays fast enough at infinity and $\int f=0$, does this imply that $f$ is in the Hardy space $\mathcal H^1(\mathbb R^n)$?
Let $\mathcal H^1(\mathbb R^n)$ be the real Hardy space (as in Stein's "Harmonic Analysis", Chapter 3). It is well known that $\mathcal H^1(\mathbb R^n)\subset L^1(\mathbb R^n)$ and its ...
- 1,075
5
votes
1
answer
326
views
Does Cesaro convergence along all arithmetic progressions imply convergence on a full density subsequence?
Suppose $\{x_n\}_{n \geq 1}$ is a real valued sequence such that for every $a, r \in \mathbb Z_+$, we have that
$$\lim_{N \to \infty} \frac{1}{N} \sum_{i = 0}^{N-1} x_{a + ir}$$
exists and equals $L$ ...
- 6,273
5
votes
1
answer
366
views
Quantitative Lebesgue density theorem
Let $A \subset [0, 1]$ be a measurable set, and $\mathbf 1_A$ its indicator function, viewed as a function on $\mathbb R$. Define for each $\delta > 0$, the function $f_{A, \varepsilon}: \mathbb R \...
- 6,273
5
votes
1
answer
322
views
Proving an integral identity
Let $ f : \left[ 0, 1 \right] \rightarrow \mathbb{R} $ be a continuous function. Knowing that: $$ \int_0^1 (2x-1)f(x)dx = 0 $$ Show that $ \exists c \in \left(0,1\right)$ such that: $$ \int_0^c (x-c)...
- 151
5
votes
1
answer
451
views
Riemann rearrangement theorem with restricted choices
Note: For convenience, all sequences will be indexed by the positive integers $\mathbb Z_+$.
Definitions and some motivation:
The Riemann rearrangement theorem says that if we have a sequence that is ...
- 6,273