All Questions
5,630 questions
0
votes
0
answers
66
views
Lower bound of the derivative $(f*g_\sigma)'$ at the zero-crossing point
I am stuck with the following problem. Let consider $f$ a smooth real function such that:
$f$ is negative before 0,
$f$ is positive after 0,
we have $|f'(0)|>0$.
Let $\sigma>0$ and $g_\sigma$ ...
- 393
2
votes
0
answers
325
views
Examples of RKHS that are "classical"
Among the so-called "classical" Hilbert spaces ($L^2$, Sobolev, Hardy, Bergman, etc.), which are very well-studied, which are RKHSs?
It is easy to construct example of RKHSs by applying the ...
- 21
2
votes
1
answer
106
views
Submodularity of a particular function derived from a convex function?
Consider a convex function $f : \mathbb{R}^d \to \mathbb{R}$. Define now the set-input function $g_f : 2^{[d]} \to \mathbb{R}$ as follows,
\begin{align}
g_f(S) = \min \left\{ f(x) : x \in \mathbb{R}^d ...
- 297
5
votes
0
answers
141
views
Maximum of a function
Let $p,q\in\Bbb N$ with $p\not=q$. Put $$M=\sup_{x\in[0,1]} \left|\cos(2 p\pi x)-\cos(2 q\pi x)\right|.$$
What is the value of $M$.
Thanks
- 531
3
votes
0
answers
124
views
Leibniz rule bound for the inverse of the Laplacian?
Let $f, g \in L^2[\mathbb{T}^2]$ be real-valued functions without zero modes. That is, $\int_{\mathbb{T}^2}f=\int_{\mathbb{T}^2}g=0$. Here, ${\mathbb{T}^2}$ is the $2$-dimensional torus $[\mathbb{R}/\...
- 3,477
8
votes
1
answer
461
views
On critical points of harmonic functions
Let $u \in C^{\infty}(\mathbb R^3)$ be harmonic. Suppose that $u$ has no critical points outside the unit ball but that it has at least one critical point inside the unit ball.
Does it follow that $u$ ...
- 4,153
12
votes
1
answer
2k
views
Anti Arzela-Ascoli
Notation: We say a sequence of real numbers diverges if it does not converge to a finite limit. We say a sequence $f_n$ of real valued functions on $[0, 1]
$ are equibounded if $\sup_{n \in \mathbb N}...
- 6,223
0
votes
1
answer
98
views
Estimating the bound of the integral over whole $\mathbb{R}$ of the Taylor remainder term?
Let $f : \mathbb{R} \to \mathbb{R}$ be a smooth function which has a smooth inverse and satisfies the estimate
\begin{equation}
\lvert f(x) \rvert \leq \lvert x \rvert.
\end{equation}
Also, let $d\mu$ ...
- 3,477
2
votes
1
answer
127
views
Partition of unity of simplex
Let $$\chi_S(x,y)=\begin{cases}1&\text{ if }0< x<y< 1\\0&\text{ else }\end{cases}$$
be the indicator function of the simplex $S=\{(x,y)\in (0,1)^2:x<y\}$. I am interested in an ...
- 1,904
1
vote
2
answers
120
views
Integral inequality implies $f(t)\equiv 0$ for all $t\geq T$ for some finite $T>0$?
Let $f:[0, \infty)\to [0, \infty)$ be non-increasing and satisfy for all $t>t_{0}$, $$f(t)+C\int_{t_{0}}^{t}f^{\gamma}(s)ds\leq \frac{1}{t-t_{0}}\int_{t_{0}}^{t}f(s)ds,$$ where $0<\gamma<1$ ...
- 459
4
votes
2
answers
283
views
Can every symmetric function be factorized through symmetric polynomials?
A symmetric function is a function $f:\mathbb R^n\to \mathbb R$ such that $f(x_1,\ldots,x_n)=f(\sigma(x_1,\ldots,x_n))$ for every permutation $\sigma\in S_n.$
The most commonly encountered symmetric ...
- 361
6
votes
1
answer
287
views
A characterisation of continuous real functions
Let $f: \mathbb R^n \to \mathbb R$ be a measurable function.
We say $f$ is precise if for every $x \in \mathbb R^n$ and every compact subset $K$ of $\mathbb R^n$ such that for $|K \cap B_\delta (x)|&...
- 6,223
4
votes
2
answers
352
views
Solving the functional equation $2f(x)=f(x+a_n)+f(x-a_n)$
Let $a_n$ be a sequence of strictly positive real numbers such that $\lim_{n \to \infty}a_n=0$. Find all functions $f: \mathbb{R} \to \mathbb{R}$ that admit primitives (i.e. there exists a function $F:...
- 331
9
votes
1
answer
302
views
For which Sheaf topoi is Brouwer's fan theorem true?
Brouwer's fan theorem is the standard result that the Cantor space is compact, or equivalently that the Cantor space viewed as a locale is spatial. Since it is a compactness result for a countable ...
- 1,947
0
votes
1
answer
143
views
An estimate of the integral of the higher order derivative of a bump function
Let $\kappa_1>0$, $\beta\in [0, 1]$ and $b: \mathbb R_+ \times \mathbb R^d \to \mathbb R^d$ such that for all $t\ge0$ and $x,y \in \mathbb R^d$ we have $|b(t, 0)| \le \kappa_1$ and $|b(t, x) - b(t, ...
- 825
9
votes
2
answers
653
views
Is $\mathbb{Q}$ the orbit of a rational function under iteration?
In this previous post I asked for the smallest set of continuous real functions that could generate $\mathbb Q$ by iteration starting from $0$. Surprisingly one continuous function suffices.
In the ...
- 4,862
3
votes
1
answer
757
views
Function whose sets of discontinuities and zeros are the rationals
Question: Is there a real valued function $f:\mathbb{R}\to\mathbb{R}$ such that its set of discontinuities is $\mathbb{Q}$ and its set of zeros $\{x\in \mathbb{R}\mid f(x)=0\}$ is also $\mathbb{Q}$?
...
- 2,160
2
votes
2
answers
316
views
Convergence of series related to partial fraction expansion of cotangent function
I am looking at the convergence of the series
$$ \cos(t\theta) = \frac{\sin(\pi t)}{\pi} \cdot \Bigg[\frac{1}{t} + 2t \sum_{k=1}^\infty (-1)^k \frac{\cos(k\theta)}{t^2 - k^2}\Bigg].$$
Here $t\in\...
- 3,098
2
votes
0
answers
152
views
Riesz transform of constant function
My one-line question would be, what is the Riesz transform of the constant function, identically equal to 1 on $\mathbb{R}^2$?
But more fundamentally, my question stems from some confusion about the ...
- 287
3
votes
2
answers
472
views
Regularity of lipschitz and derivable function
Let be lipschitz $f$ on $[0,1]$ and everywhere derivable. Is it true that $f\in C^1([0,1])$ ?
- 4,074
6
votes
2
answers
326
views
Looking for references to study $U^p$ and $V^p$ spaces
I am studying some papers in the analysis of nonlinear PDEs and I am encountering the $U^p$ and $V^p$ spaces for the first time. Where can I find references more detailed than papers?
Edited
The ...
- 159
7
votes
1
answer
352
views
Tight upper bounds on trigonometric polynomials
According to D. Hajela's chapter in Open Problems in Communications and Computation the following question was open as of the late 1980s. I have been unable to find any references so any results or ...
- 10.4k
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
3
votes
1
answer
238
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
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
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
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
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
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
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
246
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