All Questions
6,014 questions
7
votes
0
answers
270
views
Can you identify this irrational number?
There is a certain number, say $v$. I can prove it is irrational. That would be more interesting if it is expressible in terms of known values ... zeta functions, Catalan's number, L-functions, etc. ...
- 41.1k
0
votes
0
answers
48
views
On $[0,1]$ with the Lesbegue measure, is it possible to have $\lVert \cdot \rVert^{1/n}_p \leq \lVert \cdot \rVert_q$ for $p>q$ and $n$ large?
The question is as in the above.
In all literature, I only find that on $[0,1]$ with the Lebesgue measure, $\lVert \cdot \rVert_q \leq \lVert \cdot \rVert_p$ for $p>q$.
(I deleted the last question ...
- 3,477
4
votes
1
answer
256
views
If a function $f$ is $\varepsilon$-times Lebesgue differentiable, is $f$ continuous?
Let $f: \mathbb R^n \to \mathbb R$ be a locally integrable function. Given an $\varepsilon > 0$, we say $f$ is $\varepsilon$-times Lebesgue differentiable if
$$\lim_{r \to 0} \frac{\int_{B_r (x)} |...
- 6,223
9
votes
1
answer
378
views
Does “on average” Hölder continuity imply Hölder continuity?
Let $\Omega$ be a smooth, bounded, connected open subset of $\mathbb R^n$.
A function $f: \Omega \to \mathbb R$ is said to be Hölder continuous on average of order $\alpha$, for $0 < \alpha < 1$ ...
- 6,223
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
3
votes
3
answers
530
views
Proof of the inequality $\frac{y}{x}-1-\log\left(\frac{y}{x}\right)\geq \frac{1}{2}\frac{(x-y)^2}{x}$ when $x,y \in (0,1]$
I am trying to prove the following inequality:
$$\frac{y}{x}-1-\log\left(\frac{y}{x}\right)\geq \frac{1}{2}\frac{(x-y)^2}{x} \quad \forall x,y \in (0,1]$$
The statement looks simple enough that it may ...
- 135
1
vote
0
answers
64
views
Variation of the fractional derivatives
$\DeclareMathOperator\AC{AC}\DeclareMathOperator\Lip{Lip}$Suppose we have $f\in L^1(\mathbb{R})\cap \AC(\mathbb{R})\cap \Lip(\mathbb{R})$ and $f$ piecewise linear function, bounded and $|f|\leqslant \...
- 89
1
vote
1
answer
198
views
Directed graph whose adjacency matrix admits only 0 as eigenvalue
Let $G$ be a directed graph and let $P_i$
be its vertices. Let $A$
be the corresponding adjacency matrix of $G$, i.e. $a_{i,j}=1$
if and only if there is a directed edge from $P_i$
to $P_j$, ($a_{i,...
- 4,058
3
votes
2
answers
203
views
Recovering a set from its projections in varying coordinate systems - a projection hull?
Let me describe the simplest non-trivial case of what I have in mind. Let $V$ be a 2-dimensional $\mathbb{R}$-vector space and fix an isomorphism $V \cong \mathbb{R}^2$, where $\mathbb{R}^2$ is ...
- 7,127
1
vote
1
answer
131
views
A generalized form of the approximation to identity?
This question is an extension of the one I posted on ME: https://math.stackexchange.com/questions/4701500/if-alpha-nx-int-lvert-x-y-rvert-leq-1-n-lvert-x-y-rvert2-d-muy
It might be elementary for here,...
- 3,477
9
votes
0
answers
522
views
Does the intersection of middle third and middle half Cantor sets contain an irrational number?
Let $C_\frac{1}{3}$ be the middle third Cantor set, that is, the set of real numbers in the interval $[0,1]$ which can be written in base $3$ using only digits $0$ and $2$.
Likewise let $C_\frac{1}{2}$...
- 2,934
14
votes
1
answer
417
views
Lipschitz property of the determinant
$\newcommand{\A}{\mathcal A}\newcommand{\Tr}{\operatorname{tr}}$For $c$ and $C$ such that $0<c<C<\infty$, let $\A_{d;c,C}$ denote the set of all symmetric positive-definite real $d\times d$ ...
- 128k
2
votes
0
answers
175
views
Banach space of vector measures
Let $S$ be a set and $\Sigma$ be a $\sigma$-algebra of subsets of $S$. Let $A$ be a Banach space over the field of complex numbers. A countably additive map $\mu:\Sigma\to A$ is called a vector ...
- 552
11
votes
2
answers
1k
views
Is the eigenvalue map open?
The eigenvalue map in question is
$\sigma: {\mathfrak gl}(\mathbb{C}, n) \to S_n \backslash \mathbb{C}^n$,
from $n$ by $n$ complex matrices to $\mathbb{C}^n$ vectors modulo permutation of entries by $...
- 1,123
0
votes
1
answer
310
views
Eigenvalues of $\operatorname{diag}({\bf v}) - {\bf v} {\bf v}^\top - \alpha({\bf v} - {\bf w})({\bf v} - {\bf w})^\top$
Given vectors ${\bf v}, {\bf w} \in [0,1]^n$ , where $n \in \mathbb{N} \setminus \{0\}$, and $\alpha > 0$, I would like to find the eigenvalues of the following matrix.
$$\operatorname{diag}({\bf v}...
- 13
8
votes
1
answer
688
views
Measure without measurable sets
This question is a little on the softer and speculative side, so bear with me.
Usually a measurable space is $(\Omega, \Sigma)$, a set $\Omega$ and sigma algebra $\Sigma$ of subsets. A measurable ...
- 3,574
1
vote
1
answer
160
views
On an integral equation
Let $B: C^{\infty}([0,1]^3)$ satisfy
$$B(t,t,x)=0 \quad \text{for all $t,x \in [0,1]$.}$$
Let $f \in C^{\infty}([0,1]^2)$ satisfy the following integral equation:
$$ \int_0^1 f(t,x)\,dx + \int_0^t\...
- 4,143
4
votes
1
answer
425
views
An exercise on log-concave random variable on the real line
Let $X$ be a real random variable with log-concave density $f$. Assume that $E(X) =0$ and $E(X^2)=1$.
Show that there is a universal (independent of $X$) constant $c>0$ such that:
$$P(X\in[-1/2;0])\...
- 245
6
votes
1
answer
300
views
Log-convexity of determinant
Let $f(z):=\langle g(z),g(z)\rangle,$ where $z \mapsto g(z)$ is holomorphic and $\langle \bullet,\bullet\rangle$ is an inner-product on some function space, such as $L^2$, such that $\langle g(z),g(z)\...
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,143
0
votes
0
answers
75
views
Morse functions on subset $\bar \Omega$ of $\mathbb {R}^d$ and its level sets
Let $f$ be a $C^{2}(\bar{\Omega})$ Morse function, where $\Omega$ is a bounded open set of $\mathbb{R}^d$: this means that
$$
\begin{cases}
f(x) = 0 \\
\nabla f (x) \neq 0
\end{cases}\text{ on }\...
- 61
10
votes
2
answers
612
views
Proving the simple form of a function from statistical mechanics
I have discovered a pertinent solution to my problem in the article On the Kinetic Theory of Rarefied Gases by Harold Grad and the book Thermodynamik und Statistik by Arnold Sommerfeld, both of which ...
0
votes
0
answers
111
views
Sum power series not continuous unit circle
This is (probably) not a research question and I already asked it on StackExchange but I got no answer over there.
Let us consider the sequence $(a_n)_{\geq 1} = \left(\frac{\cos(2\sqrt{2n}+\frac{\pi}{...
- 7,300
2
votes
0
answers
118
views
Inequality for log-likelihood ratio
Let $ p, q $ be two probability densities on $ [0,1] $, strictly positive over $ (0,1) $. Let $ P $ be the cumulative function of $ p $, i.e., $ P(x) = \int_0^x p(x') \, \mathrm{d}x' $, $ x \in [0,1] $...
- 503
3
votes
0
answers
65
views
Representation of Baire 1 functions
Upper semi-continuous functions on the reals are Baire 1, which is readily observed by considering
$$ f_{n}(x):= \sup_{y\in [0,1]}(f(y)- n |x-y| ) \qquad (A).$$
Indeed $f_n$ as in (A) is continuous ...
- 4,359
1
vote
1
answer
61
views
Pair of functions that vary in the same direction
Say we have 2 functions $f$ and $g$ such that:
$f(a)<f(b) \Leftrightarrow g(a)<g(b)\;\; \forall a,b \in \mathbb{R}^n$
Is there an accepted name for a couple of functions like these?
Is there a ...
- 13
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,143
11
votes
1
answer
1k
views
New method to compute square roots [closed]
In 2011 when I was in school I created a formula to calculate square roots... For $x\in\mathbb{R}$ with $x>0$ the following holds:
$$\sqrt{x} = \sum_{n=0}^{\infty}\frac{\left(\prod_{k=1}^{n}\left(\...
- 53
2
votes
2
answers
132
views
What are the bounds of $xy^{y^a/x^a} + yx^{x^a/y^a} - x^a - y^a$ for $0 \le x \le 1$ and $a > 0$?
Posting from MSE since it was unanswered in MSE.
Let $0 \le x,y \le 1$ and $a$ be a real and let
$$
f(x,y,a) = xy^{y^a/x^a} + yx^{x^a/y^a} - x^a - y^a \tag 1
$$
For a fixed $a$, the graph of the ...
- 5,470
2
votes
0
answers
203
views
Schrödinger representation of the Heisenberg group
Let $\Pi_{\lambda}$ be the the Schrödinger representations of the Heisenberg group $H^n=\Bbb C^n\times\Bbb R$. For $\phi\in L^2(\Bbb R^n)$, we have
$$\Pi_{\lambda} (x,y,t)\phi(\xi)=e^{i\lambda t} e^{...
- 531
0
votes
0
answers
101
views
Sobolev estimates on domain with boundary
Could someone point me to a reference for the proof of the following Sobolev estimate
$$
\|u\|_{L^{2 d /(d-2)}(\Omega)} \leqslant C(\|f\|_{L^{2 d /(d+2)}(\Omega)} + \|g\|_{(\partial\Omega)})
$$
for ...
- 61
2
votes
0
answers
56
views
Inequality for a weighted bilinear form in Fourier variables
Let $\phi:\Bbb R^d\setminus\{0\}\to [0,\infty)$ be a continuous and symmetric, i.e., $\phi(-\xi)=\phi(\xi)$. Let $F:\Bbb R\to[0,\infty)$ be increasing and $L-$Lipschitz with $F(0)=0$.
Consider the ...
- 1,101
0
votes
0
answers
107
views
$\log$-classes of irrationals
Let $\mathbb{N}$ denote the set of non-negative integers. For $A\subseteq \mathbb{N}$ we let the (upper) density of $A$ be defined by $d^+(A) = \lim\sup_{n\to\infty} \frac {|A\cap \{0,\ldots, n\}|}{n+...
- 48.9k
8
votes
3
answers
701
views
Regularity of Newtonian potential along smooth boundary
Let $\Omega$ be a bounded open set in $\mathbb{R}^n$ with $C^\infty$ boundary, $n\ge 3$. Define
$$V(z)=\int_\Omega \frac{1}{|z-y|^{n-2}}dy$$
Is it true that $V(z) \in C^{\infty}(\partial \Omega)$?
...
- 1,350
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
4
votes
1
answer
202
views
Finding a real-analytic diffeomorphism
Let $U_1\subset \mathbb R^3$ be a simply connected bounded open set with a smooth boundary and let $U_2$ be a neighborhood of $U_1$. Does there exist a real-analytic diffeomorphism $\psi: U_2 \to W_2$ ...
- 4,143
1
vote
0
answers
223
views
Fastest algorithm for finding the closest semi-definite matrix?
Given a real-valued, symmetric matrix $A \in \mathbb{R}^{n \times n}$, I'm interested in finding the closest positive semi-definite matrix $X^*\in \mathbb{R}^{n \times n}$:
$$
X^* = \mathop{\text{...
- 723
5
votes
2
answers
564
views
Stone-Weierstrass without the "subalgebra" condition
Suppose I consider $C_0(\mathbb{N})$ consisting of function on the natural numbers vanishing at $\infty$. For an irrational $1<\alpha<2$, let $p_{m\alpha}(\cdot)$ be the function $p_{m\alpha}(n)=...
- 161
2
votes
0
answers
66
views
K functional of $L^{1,\infty}$ and $L^\infty$ real interpolation
I want to know where can I find how to compute, given a function $f$ and $t>0$
$$K(t,f;L^{1,\infty};L^\infty)$$
where $L^{1,\infty}=\sup_{t>0}t f^*(t)$
and $K$ is the Petree K-functional ...
- 21
3
votes
0
answers
176
views
A variant of the Laplace principle
$\newcommand{\R}{\mathbb R}\newcommand{\eps}{\varepsilon}$In $\R^d$ I am given a sequence of smooth functions $f_\eps(x)$ that converges uniformly to some $f(x)$, which is assumed to be a good rate ...
- 5,380
2
votes
0
answers
159
views
Are there hereditarily square-boxed plane continua?
A plane continuum is a bounded, closed and connected subset of the plane.
A bounding box $B$ for a plane continuum $C$ is
a rectangle $B=[a,b]\times[c,d]$ (including sides and interior)
such that $C$ ...
- 1,375
0
votes
1
answer
61
views
What can we say about the order of convergence of a critical point of Gaussian mixture density to its limit when the parameter $h$ goes to $0?$
Density of Gaussian mixture with $n$ components is given by:
$$f(x):=C \sum_{i=1}^{n}e^{-\frac{1}{2}||\frac{x-x_i}{h}||^2}, x_i \in \mathbb{R}^d, h > 0$$
where $C$ is a normalization constant ...
- 1,467
8
votes
2
answers
655
views
An extension problem
Let $\Omega$ be an open subset of $\mathbb R^n$ for $n \geq 2$, and $p \in \Omega$.
Let $k$ be a positive integer. Suppose that $f: \Omega \setminus \{p\} \to \mathbb R$ is in $C^k$, and $\lim_{x \to ...
- 6,223
5
votes
2
answers
721
views
Matrices with same eigenvalues
This question is a more precise version of this question.
Let's assume we have the matrix
$$\left(
\begin{array}{ccccc}
0 & a & 0 & 0 & 0 \\
f & 0 & b & 0 & 0 \\
0 &...
3
votes
1
answer
309
views
Eigenvalues two-fold degenerate
Consider the matrix $$A:=\left(
\begin{array}{cccc}
0 & a & 0 & 0 \\
f & 0 & b & 0 \\
0 & e & 0 & c \\
0 & 0 & d & 0 \\
\end{array}
\right)$$
I ...
1
vote
1
answer
139
views
Which kind of convergence can we get from Laplace transform convergence?
This question is a related question see this post Vague convergence VS Laplace transform convergence. But now we assume that
\begin{equation}
\int_0^\infty e^{-sx}\mu_n(dx)\to \int_0^\infty e^{-sx}...
6
votes
1
answer
408
views
On an asymptotic integral decay
Let $f\in C^{\infty}([-1,0])$ be real-valued and suppose that
$$ \left| \int_{-1}^{0} f(t)\,e^{\lambda t} \,{\rm d} t \right| \leq e^{-\sqrt{\lambda}},$$
for all $\lambda > 0$. Does it follow that $...
- 4,143
2
votes
1
answer
309
views
Reverse estimate on the Riesz potential $I_\alpha : L^{n/\alpha}\to \mathrm{BMO}$
$\newcommand\BMO{\mathrm{BMO}}$Consider the Riesz potential on $\mathbb{R}^n$ given by
$$
I_\alpha f(x) = c_{n,\alpha} \int_{\mathbb{R}^n} \frac{f(y)}{\lvert x-y\rvert^{n-\alpha}} dy.
$$
It is known ...
- 363
1
vote
1
answer
161
views
Is there a two-dimensional unimodal function with fractal level sets
Is there an open simply connected $U\subset\mathbb{R}^2$ and a continuous non-constant function $f: U\to \mathbb{R}$,
such that for all $c\in \mathbb{R}$ both sets
$$ f_{<c}~=~ f^{-1}\left( (-\...
- 1,676
2
votes
0
answers
147
views
"Almost rational" irrational
This is a follow-up to an older question.
Let $r\in \mathbb{R}\setminus\mathbb{Q}$, let $\mathbb{N}$ denote the set of non-negative integers and let $\mathbb{N}_+=\mathbb{N}\setminus\{0\}$. For $n\in\...
- 48.9k