All Questions
707 questions
1
vote
0
answers
76
views
Geometric series involving the Laguerre polynomials
Let put $\alpha=5$ and $x=3$. Consider the following set given by
$$M=\lbrace \; n \in N, \; \; 0 < |L_{n}^{5}(3)| < 1 \; \rbrace$$
Where $L_{n}^{\alpha}(x)$ is the generalized Laguerre ...
1
vote
1
answer
387
views
$L^p$ compactness for a sequence of functions from compactness of product with cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
- 161
1
vote
0
answers
244
views
Möbius function and polynomials
Let $\mu$ be the Möbius function. It is well known that $\sum_{n|k} \mu(n) = 0$ for $k>1$. What could be said about the polynomials $R_k = \sum_{n|k} \mu(n) x^n$ for $x \in [0,1]$? There does not ...
- 433
1
vote
1
answer
242
views
Can (how) one distinguish germs of continuous functions by a countable set of params?
Continuous functions can be distinguished by their values at say rational points of [0 1].
Germs of analytic functions can be distinguished by derivatives at a point.
So in both cases we see ...
- 24.9k
1
vote
1
answer
193
views
Quantitative finite speed of propagation property for ODE (cone of dependence)
Consider the following ODE initial value problem
\begin{align*}
&\frac{d}{dt}\Phi(t,x) = \boldsymbol{F}(t,\Phi(t,x)), & t \in [0,T], \ \ x \in \mathbb{R}^N,\\
&\Phi(0,x) = x, & x \in \...
- 839
1
vote
0
answers
184
views
A non-differentiable function $f(x,y)$ with bounded $f_x$, $f_y$, $f_{xx}$ and $f_{yy}$
Recently I was trying to construct a counterexample to the statement "If there exist $f_{xy}(0,0)$, $f_{yx}(0,0)$ and the functions $f_{xx}$, $f_{yy}$ exist in some neighborhood and are ...
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
1
answer
236
views
What does Landau symbol mean in an inequality?
I'm reading about subdifferentiable function at page 232 of Villani's Optimal Transport: Old and New.
Definition 10.5 (Subdifferentiability, superdifferentiability). Let $U$ be an open set of $\...
- 835
1
vote
1
answer
266
views
Constant bound for the 1 dimensional Besicovitch covering theorem on real line
I recently looked through the proof of the Gagliardo–Nirenberg Interpolation Inequality, see proof and it says that for real line $R$, there exists a sequence of open intervals $\{I_k\}$, which covers ...
- 65
0
votes
1
answer
297
views
Approximating characteristic functions by cutting the real axis into smaller and smaller pieces
Let $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z} \subset\mathbb{R} (r>0)$, let $E\subset\mathbb{R}$ be a Lebesgue measurable set with finite measure $|E|$, define $J_r=(-\frac{1}{4\pi r}, \frac{1}{4\pi ...
- 1,906
0
votes
1
answer
137
views
Zeros of entire functions with parameter
Let $f_w:\mathbb C \to \mathbb C$ be an entire function with $f_w(0)=1$ and at least one root for any choice of $w \in (0,1)$. Assume further that for a dense set of $w$ the function $f_w$ has ...
- 192
0
votes
1
answer
127
views
Continuous extensions of tangent vector fields
Let $\Omega$ be an open subset of $S^2$ with $\bar{\Omega}\neq S^2$. Suppose a continuous tangent vector field $G$ is given on $\partial \Omega$ with $|G(y)|=1$ for all $y\in \partial \Omega$. Does ...
- 434
0
votes
1
answer
110
views
Functions for which $|f^{(k)}|_{C^{0,\alpha}(0,1)} \le \Vert f \Vert_{L^1(0,1)}$
Let $f \in C^k(0,1)$ and assume that the $k$-th derivative is $\alpha$-Hölder continuous. Assume that $f(x) = 0$ in a fixed interval $(a,b) \subset (0,1)$. Can we characterize (or at least find some ...
- 131
0
votes
1
answer
142
views
Why are the homeomorphisms from the unit circle to the unit circle preserving measure affine? [closed]
Why are the homeomorphisms from the unit circle to the unit circle preserving measure affine? The affine is composition of rotation and continue automorphism.
- 83
0
votes
0
answers
70
views
A system of nonlinear Diophantine equations whose positive solutions are not coprime
Consider the following system of Diophantine equations:
$$v_1k_1=k_1^3-k_2^3+k_3^3 \\
v_2k_2=k_1^3+k_2^3-k_3^3 \\
v_3k_3=-k_1^3+k_2^3+k_3^3 \tag{1}$$
where $v_1,v_2,v_3$ and $k_1,k_2,k_3$ are integer-...
- 303
0
votes
1
answer
53
views
Rate of convergence of the minimum point over a product space
Let $f(\theta, \epsilon)$ be smooth on $[0,2\pi] \times [0,\infty)$ such that
$f(\theta, \epsilon)$ converges to $f(\theta, 0)$ uniformly as $\epsilon \rightarrow 0$.
$f(\theta, \epsilon) > 0$ for ...
- 434
0
votes
1
answer
77
views
Decay rate of minimum point over a product space
Let $f(\theta, \epsilon)$ be smooth on $[0,2\pi] \times [0,\infty)$ such that
$f(\theta, \epsilon)$ converges to $f(\theta, 0)$ uniformly as $\epsilon \rightarrow 0$.
$f(\theta, \epsilon) > 0$ for ...
- 434
0
votes
0
answers
70
views
Multiplication with dilations of nonzero measurable function is injective
Denote $f_s(x):=f(sx)$ as the dilation of a function $f$. I want to know whether the following statement is true:
Suppose $f$ and $g$ are measurable functions on $\mathbb{R}$, and $f$ is not almost ...
- 807
0
votes
1
answer
78
views
The conditions used to prove upper semicontinuous of generalized directional derivative (in Clarke sense)
Let $X$ be a reflexive Banach space, $z, x, v \in X$. $\{z_i\}, \{x_i\}$ and $\{v_i\}$ are arbitrary sequences converging to $z, x$ and $v$, respectively.
I would like to know under which conditions ...
- 15
0
votes
0
answers
63
views
A maximisation problem : finite or not?
Let $\mathcal M_2$ be the space of real $2\times 2$ matrices and $\mathcal S_2\subset \mathcal M_2$ be its subset consisting of positive semidefinite elements, i.e. $A\in \mathcal S_2$ iff $A$ is ...
- 1,399
0
votes
0
answers
124
views
Reference for the Hardy maximal function on the torus
I am searching for a reference for the (sharp) Hardy maximal function on the torus $\mathbb{T}^2:=\mathbb{R^2}/\mathbb{Z}^2$, for instance I would need result result of the following type : if $g\in H^...
- 3,425
0
votes
0
answers
80
views
Alternative to the Sampling Theorem / Invertible transform with sampling criteria
I seek a transform $T$ that operates on real-valued $x(t)$, that
Is perfectly invertible
Has discrete counterpart with continuous reconstructor
Provides conditional reconstruction guarantees
...
0
votes
1
answer
697
views
How much do we know about this "local" Hardy-Littlewood maximal function?
The "local" Hardy-Littlewood maximal function is given by $$(M_\phi f)(x)= \sup_{0<\epsilon<1}|\phi_\epsilon \ast f|(x),$$ which is similar to the classical Hardy-Littlewood maximal function : $$...
- 171
0
votes
1
answer
375
views
Bringing a Heun equation into canonical form
It is a well known fact that any second order Fuchsian differential equation on the complex plane $$u''(x) + p(x)u'(x) + q(x)u(x)=0$$ with exactly $4$ regular singular points may be suitably ...
- 213
0
votes
0
answers
161
views
Superharmonic extension
We know the following classic result. If $K\subset\mathbb{R}^m$ ($m>1$) is a compact set and $u$ is superharmonic on a neighborhood of $K$, then we can extend $u$ to a superharmonic function $\...
- 411
0
votes
2
answers
387
views
Derivative of fractional Laplacian is the fractional Laplacian of the derivative
Is it true that $$\partial_x ((-\Delta)^s u(x)) = ((-\Delta)^s \partial_x
u(x))?$$
user104647
0
votes
0
answers
149
views
Validity of Hölder inequality for the homogeneous Besov spaces $\dot{B}^0_{1,2}(\mathbb{R}^n)$ and $\dot{B}^0_{2,2}(\mathbb{R}^n)=L^2(\mathbb{R}^n)$
I am looking at Corollary 1. in p.244-245 of the book
"Sobolev Spaces of Fractional Order,
Nemytskij Operators,
and Nonlinear
Partial Differential Equations" (1996) by Thomas Runst
Winfried ...
- 3,477
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
1
answer
116
views
Integrable function [closed]
Suppose that $a, b, c_1$ and $c_2$ are real constant.
Is there the necessary and sufficient conditions of $a ,b, c_1,c_2 $ for the following integration is integrable? i.e.
$$\int_1^{\infty}\int_1^{\...
- 119
0
votes
1
answer
143
views
Existence of smooth functions $f$ satisfying $\sup_{x \in \mathbb{R}} \lvert x^k f^{(q)}(x) \rvert \leq C B^q k^{1/8} q^{q/2}$
$\mathcal{S}^{1/2}_{1/2}(\mathbb{R})$ is defined to be the collection of $C^\infty$ functions $f$ on $\mathbb{R}$ such that
\begin{equation}
\sup_{x \in \mathbb{R}} \lvert x^k f^{(q)}(x) \rvert \leq ...
- 3,477
0
votes
1
answer
127
views
asymptotic of ratio between two summations (l1 / l2 norm)
Let $B$ as a $n\times n$ matrix where
$$B_{ij}(\pmb{\theta})=(\theta_i-\theta_j)\sin(\theta_i-\theta_j), 1\leq i<j\leq n$$ and other entries equals to $0$, and $$\theta=[\theta_1,\cdots,\theta_n]\...
- 405
0
votes
1
answer
175
views
Asymptotic of ratio between l1 / l2 norm of a structured vector
As suggested in this discussion, I would like to inquire about the following question:
Consider a matrix B of size $n\times n$ defined as:
$$B_{ij}(\pmb{\theta})=(\theta_i-\theta_j)\sin(\theta_i-\...
- 405
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, ...
- 835
0
votes
1
answer
347
views
Asymptotic behaviour of fixed points in permutations
For any $n\in\mathbb{N}$ let $S_n$ denote the set of all permutations (bijective maps) $\pi:\{1,\ldots, n\} \to \{1,\ldots,n\}$. For $\pi \in S_n$ we set $$\text{fix}(\pi) = \{x\in \{1,\ldots, n\}: \...
- 48.9k
0
votes
1
answer
246
views
can there be a function $f:\mathbb Q_{+}^{*}\longmapsto\mathbb Q_{+}^{*}$ such that $f(xf(y))=\frac{f(f(x))}{y}$?
Problem:
Can an $f$ function be created where:$$f\colon\mathbb Q_{+}^{*}\to \mathbb Q_{+}^{*}$$
The function is defined on the set of fully positive rational numbers and is achieved:
$\forall(x,y)\in \...
- 119
0
votes
1
answer
248
views
Integral with inequality
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
0
votes
1
answer
491
views
Is this set of function belongs to $L^\infty$?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $u\in SBV\cap L^\infty(\Omega)$ be given. We write
$$
Du = \nabla u\lfloor \mathcal L^N + (u^+-u^-)\otimes \nu_u\mathcal H^{N-...
- 679
0
votes
0
answers
173
views
Is this has anything to do with Riesz representation?
The Riesz representation is very useful in study BV space. There is a lot of version of it and one of the good one can be found in this book, page 49.
Here I come up with a question which has similar ...
- 679
0
votes
1
answer
140
views
Singular integral bounded by Dirichlet form?
We define for some fixed $L$
$$\Omega:=\{(x_1,x_2) \in ([-L,L]^2 \times [-L,L]^2) \setminus \{x_1=x_2\}\},$$
in particular $x_1,x_2 \in \mathbb R^2.$
Let $f \in C_c^{\infty}(\Omega)$, then I am ...
0
votes
1
answer
230
views
Can we construct a sequence of trigonometric polynomials that converges pointwise to a given continuous function on the torus?
Consider any continuous function $f$ on an $m$-dimensional Torus $\mathbb{T}^m$. Can we construct a sequence of band limited functions (trigonometric polynomials), with the band width (degree of the ...
- 698
0
votes
1
answer
124
views
Uniform estimation of an integral
Let $\Omega\subset\mathbb{R}^n$ be open and bounded, let $s\in(0,1)$, let $u\in C^{0,2s+\epsilon}(\Omega)$ bounded and such that: $u=0$, on $\mathbb{R}^n\setminus\Omega$, is true that there exist a ...
- 339
0
votes
1
answer
227
views
Laplace transform injectivity for different values of $p$
Let $y\in L^{2}(0,1)$ and let $\widetilde{y}$ be its extension on $(0,\infty
).$ Assume that there exist $p_{0},p_{1}\in
%TCIMACRO{\U{2102} }%
%BeginExpansion
\mathbb{C}
%EndExpansion
,$ $p_{0}\neq ...
- 617
0
votes
1
answer
285
views
Infinite products for linear combinations of sines or cosines
There is a well known infinite product both for $\phi(x)=\sin x$ and $\phi(x)=\cos x$. These are particular cases of the Weierstrass factorization theorem. What about
$\phi(x)=a_1\cos b_1 x + a_2\cos ...
- 3,098
0
votes
1
answer
125
views
Bounding integral expression with Sobolev norm of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{\langle g(x)-g(y), x-y\rangle}{|x-y|^{n+2}} d x d y $$
for $\epsilon>0$, $f \in L^\...
user139844
0
votes
1
answer
169
views
Unimodality of a certain parametric integral
Suppose $f: [0,1] \to [0,\infty)$ is a smooth, concave and strictly increasing function satisfying $f(0)=0$.
Is it true that the map
$$
F(y) = \int_0^1 \frac{y^{3/2}}{(y+f(x))^2} dx
$$
has exactly one ...
- 191
0
votes
1
answer
131
views
Dirichlet problem for a subharmonic function
Suppose $K$ is a compact subset of $\mathbb R^n$ , $V_0$ and $V_1$ the complements of $K$ in $\mathbb R^n$ a and $\mathbb R^n_\infty$ (one point compactification), respectively. Let $u$ be ...
- 411
0
votes
1
answer
276
views
Estimate for computing the $L^2$-norm of a function from its data
Let $f:\mathbb{T}^m \to \mathbb{R}$ is a function of bounded variation(BV). Let $D=\{\boldsymbol{p}_i,i=1,2,3\ldots\}$ be a countable dense subset of $(0,1)^m$. Let $E_n, n = 1,2,3\ldots$ be a ...
- 59
0
votes
1
answer
236
views
Is this a contraction mapping for small $T$?
Let $G$ be the heat kernal, i.e. for $0\le t<s$ and $x,y\in\mathbb R$
$$G(t,x;s,y):=\frac{1}{\sqrt{4\pi(s-t)}}\exp\left(-\frac{(y-x)^2}{4(s-t)}\right).$$
For $T>0$, let $\mathcal H_T:=\{h:[0,T]\...
- 1,334
0
votes
0
answers
112
views
Fixed point of a contraction map
This question is a continuation of Is this a contraction mapping for small $T$?
Set, for $T, m>0$, $H^m_T:=\{h:[0,T]\to [0,m]:~ h,~h' \mbox{ are both continuous on } [0,T]\}$ endowed with the norm
$...
- 1,334
-1
votes
1
answer
208
views
Does this function belong to $L^2(\mathbb{D})$?
Edit: After the answer of Prof. Eremenko to the previous version, I realized that a weaker assumption works for the main motivation of this post. so I revise the question.
The unit ...
- 356