All Questions
5,858 questions
5
votes
0
answers
190
views
Yet, another generalization of Catalan determinants
The discussion on this page is motivated by Johann Cigler's MO question. My intention arose from a possible generalization of Cigler's matrix
$$A_{n,m}=\left( \binom{2m}{j-i+m}-\binom{2m}{m-i-j-1} \...
- 43.2k
4
votes
0
answers
181
views
Fuss-Catalan: how does equality of these determinants hold?
There are many ways that the Catalan numbers seemed to have been generalized, one among them is through what Graham-Knuth-Patashnik (in Concrete Mathematics) dubbed as the Fuss-Catalan numbers
$\frac1{...
- 43.2k
3
votes
1
answer
239
views
Integral analog of an inequality for the Cesàro mean of a sequence
Let $s_1, s_2, \dotsc$ be a real sequence and define
$$\sigma_n = \frac{s_1 + s_2 + \dotsb + s_n}{n}.$$ The inequality
$$\operatorname{lim sup}\sigma_n \leq \operatorname{lim sup} s_n$$
is well known ...
- 71
5
votes
1
answer
436
views
Is the Legendre transform as an operator Lipschitz?
Let $C_{lsc}(\mathbb{R}^n)$ be the space of lower semicontinuous convex functions $\mathbb{R}^n \to \mathbb{R}$. The Legendre-Fenchel (LF) transform of $f \in C_{lsc}(\mathbb{R}^n)$ is:
$$ f^*(y) := \...
- 161
0
votes
1
answer
254
views
Is the space $L^p_{\text{loc}} (\mathbb R^d)$ separable w.r.t. the norm $\|f\|_{\tilde L^p} := \sup_{x \in \mathbb R^d} \|1_{B(x, 1)} f\|_{L^p}$?
Fix $p \in [1, \infty)$. Let $(L^p (\mathbb R^d), \|\cdot\|_{L^p})$ be the Lesbesgue space of $p$-integrable real-valued functions on $\mathbb R^d$. Let ${\tilde L}^p (\mathbb R^d)$ be the space of ...
- 825
4
votes
2
answers
548
views
Convergence of a sequence
Let $x_0=1$ and
$$x_{k+1} = (1-a_k)\left(\frac{3}{2}-\frac{1}{2}\frac{1}{x_k}\right)$$
where $a_n$ is a known sequence satisfying that $a_k\in(0,1)$ for all $k$ and $a_k\to 0$ as $k\to\infty$. How to ...
- 311
3
votes
1
answer
162
views
If $f : [0,1] \to H$ has $t$-derivative with respect to the norm of $H$, and $H=L^2[0,1]$ itself, does the $t$-derivative exist in ordinary sense?
The question is as in the title.
Let $H$ be a separable Hilbert space and $f : [0,1] \to H$ be a continuous mapping such that
\begin{equation}
f'(t):=\lim\limits_{\alpha \to 0} \frac{f(t+\alpha)-f(t)}{...
- 3,477
12
votes
1
answer
596
views
Equality of two $q$-series. Proof?
Recall the notation $(z;q)_n=(1-z)(1-zq)(1-zq^2)\cdots(1-zq^{n-1})$.
My earlier MO question did not find enough interest or yield an answer. Perhaps the modulo $2$ part might have thrown people off. ...
- 43.2k
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
2
votes
1
answer
61
views
$K *g_n$ converges in the topology of smooth functions, $K$ approximates $\delta(x)$ and $g_n$ is a.e convergent to $g$, then regularity of $g$?
This question is continuation from If $K *g_n$ converges in the Fréchet topology of smooth functions and $K$ approximates $\delta(x)$, is $g_n$ itself convergent? - revised.
As before, let us ...
- 3,477
5
votes
1
answer
328
views
Implicit function theorem with singularities of any order
Let $\mathcal{U}\subset \mathbb{R}\times \mathbb{C}$ a neighborhood of $(0,0)$, and $f:\mathcal{U}\to \mathbb{C}$ differentiable in the first variable and holomorphic in the second variable, with $f(0,...
- 211
27
votes
5
answers
1k
views
Is this a known question about the expression of a function on $\Bbb R^2$ as an infinite sum of products?
The question below was posted on Mathematics Stack Exchange. It received no answer, and I do not expect any direct answer to it here. However, the question seems to me a natural one. Thus I wonder ...
- 2,437
3
votes
0
answers
83
views
Embedding theorems for Dini continuous functions
Are there embedding theorems for the space of Dini continuous functions on a Euclidean domain, or even just on an interval? Ideally, I am looking for something like the classical Morrey inequalities ...
- 3,388
2
votes
1
answer
232
views
Existence of diffeomorphism interpolating affine map and identity
$\newcommand{\R}{\mathbb{R}}$Suppose $\Omega$ is a bounded, convex domain in $\R^{m}$. Fix $x_1, x_2\in\Omega$ and an invertible matrix $A\in\mathrm{GL}^{+}(m)$ with positive determinant.
Let $U\...
- 193
9
votes
2
answers
313
views
Average as a constant approximation in $L^p$
Let $I=[0,1]$. For $p\in[1,\infty]$ define $C_p$ as the best constant such that for all $f\in L^p(I)$
$$
\left\|f-\int_If\,\right\|_{L^p(I)}\leq C_p\inf_{c\in\mathbb{R}}\left\|f-c\,\right\|_{L^p(I)}.
$...
- 493
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
6
votes
2
answers
424
views
Lipschitz mappings, covering dimension
Is there a compact metric space $X$ of covering dimension $2$ without a Lipschitz surjection on $[0,1]^2$?
For a space $X$ with Hausdorff dimension greater than $2$, we have a negative answer (see ...
- 97
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
1
vote
1
answer
301
views
Vague convergence VS Laplace transform convergence?
If we assume that $\int_0^\infty e^{-sx}\mu_n(dx)\to \int_0^\infty e^{-sx}\mu(dx), \forall s\geq0$, it is possible to show that $\mu_n\to\mu$ vaguely. Where $\mu_n$ is a measure. Please check here for ...
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
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
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
0
votes
1
answer
247
views
Riemann-Liouville integral of $f$ is zero implies $f =0$ a.e
The Riemann-Liouville integral is defined by
$$
I^\alpha f(x)=\frac{1}{\Gamma(\alpha)} \int_a^x f(t)(x-t)^{\alpha-1} d t
$$
where $\Gamma$ is the gamma function and $a$ is an arbitrary but fixed base ...
- 141
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
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
2
votes
1
answer
455
views
A periodic integral inequality
(This problem comes in connection with a geometric problem exposed here.)
Let $\gamma(x,y)$ be a (real) function on the unit disk such that
$$
\frac{\partial^2\gamma}{\partial x \, \partial y} = 0\:\:\...
- 134
2
votes
0
answers
128
views
Making a continuous function into embedding by adding additional dimension
While doing my researches, I encountered the following problem.
Let $f:[0,1]^n\rightarrow \mathbb{R}^{n+k}$ be an arbitrary continuous function.
I want to make this function an embedding by perturbing ...
- 173
-1
votes
1
answer
189
views
f a continuous function satisfying $\sqrt{xy}(f(x) + f(y)) \leq 1 \; \forall x,y \in [0\; 1]$ Show that $\int_0^1 f(t) dt \leq \frac{\pi}{2} $ [closed]
Let $f :[0 \; 1] \rightarrow R $ be a continuous function satisfying
$ \sqrt{xy}(f(x) + f(y)) \leq 1 \; \forall x,y \in [0\; 1]$ ....(1)
Show that
$\int_0^1 f(t) dt \leq \frac{\pi}{2} $
.... (...
- 9
3
votes
1
answer
202
views
Local properties of Baire 1 functions
A Baire 1 function $f:[0,1]\rightarrow \mathbb{R}$ need not be bounded. However, thanks to the Baire category theorem, we know there is $N\in \mathbb{N}$ and a sub-interval $(c, d) \subset [0,1]$ ...
- 4,359
0
votes
2
answers
199
views
What does "a universal tree" mean?
It is one of the concepts used in "ON THE REPRESENTATION OF CONTINUOUS FUNCTIONS OF SEVERAL VARIABLES AS SUPERPOSITIONS OF CONTINUOUS FUNCTIONS OF A SMALLER NUMBER OF VARIABLES", in the ...
- 33
9
votes
5
answers
2k
views
Convexity of distance-to-boundary function
Let $\Omega\subset\mathbb{R}^{n}$ be an open,
bounded convex domain. Denote $d_{\Omega}:\Omega\rightarrow\mathbb{R}$
the distance-to-boundary function, that is,
$$
d_{\Omega}\left(x\right):=\inf\left\...
- 91
0
votes
1
answer
281
views
Roots of linear combination of $x \sin x$
Let $\theta=(\theta_1,\theta_2,\cdots \theta_n)$, and $a_{ij}$ are constants. There is no condition on the positiveness of $a_{ij}$.
Under which condition on $\theta$, such that the following function ...
- 405
1
vote
1
answer
132
views
Local maxima of the sum of Gaussian functions in *one dimension* are always strict local maxima - proof?
Motivated by this question asked earlier, I was wondering whether one can prove easily that the local maxima of the sum of Gaussians:
$$f_n(x):= \sum_{i=1}^{n}e^{-(x-x_i)^2}, \quad x_1 < x_2 < \...
- 1,467
1
vote
0
answers
89
views
Pre-images of the critical point of $3.83 x(1-x)$
This question may be easy; however, I have been unable to locate any references regarding the specific scenario described below.
Let $T:[0,1]\to [0,1]$ be the quadratic map $T(x) = 3.83 x (1-x)$. It ...
- 333
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
6
votes
2
answers
336
views
On frequency decay of an integral transform of a function
Suppose $f \in C^{\infty}_c((-1,1))$ and assume that there exists constants $a,b>0$ such that
$$
\bigg|\int_{\mathbb R} f(t) \,e^{\tau t^2+i\tau t}\,dt\bigg| \leq a\,e^{-b|\tau|},$$
for all $\tau \...
- 4,153
5
votes
1
answer
1k
views
Analytic functions where all derivatives vanish at infinity and which are bounded
Let $C_0(\mathbb{R})$ denote the analytic functions $f : \mathbb{R} \rightarrow \mathbb{R}$.
I wonder whether there a functions $f \in C_0(\mathbb{R})$ with $f \neq 0$, such that there is a constant $...
- 749
7
votes
6
answers
3k
views
Elementary proof that an open subset of $\Bbb{R}^n$ does not have measure zero?
There is an elementary theory of subsets of $\Bbb{R}^n$ of measure zero, namely one defines the volume of a cube in the obvious way and one says that a subset $A$ has measure zero if given any $\...
- 2,797
16
votes
2
answers
1k
views
How to generalize the various vector calculus theorems to distributions?
Here is a list of vector calculus identities; in the proof of these identities, we all assume that these functions are $𝐶^𝑘$ in an open set, and we usually use these identities to calculate ...
- 415
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
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
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
4
votes
1
answer
172
views
Existence of a domain with simple Dirichlet eigenvalues
Let $g$ be a smooth Riemannian metric on $\mathbb R^3$ that coincides with the Euclidean metric outside a compact set $K$. Does there exist some domain $\Omega$ with smooth boundary such that $K \...
- 4,153
0
votes
0
answers
101
views
Does the tensor product of mollifiers work for $L^{p,q}$ spaces?
Let $X$ and $Y$ be compact regions of $n$- and $m$-dimensional Euclidean spaces respectively.
For any $p,q \in [1,\infty)$, define $L^{p,q}(X \times Y)$ be the space of real valued functions $f :X \...
- 3,477
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
1
vote
0
answers
144
views
Analyticity of a function in two complex variables
Let $f$ be a function defined on $\mathbb{C}^2$ given by
$$
f(s,t)=\int\limits_{-\infty}^{\infty}dk_1 \int\limits_{-\infty}^{\infty}dk_2 \int\limits_{-\infty}^{\infty}dk_3 \frac{1}{\left(\sqrt{s}-k_1\...
- 11
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
33
votes
1
answer
3k
views
About the validity of a new conjecture about a diophantine equation
Let us consider the following conjecture:
Conjecture: There are no integer solutions of the equation $$x^{y-z}z^{x-y}=y^{x-z}$$ with $x,y,z$ distinct positive integers greater than or equal to $2$.
...
- 1,197
9
votes
0
answers
165
views
Changing coordinate to smoothen a function
Let $U\subset \mathbb{R}^2$ be an open neighborhood of the origin $0$, and let $f:U\to \mathbb{R}$ be a continuous function which is smooth on $U\setminus\left\{0\right\}$. Let's say that $f$ is ...
- 2,178