All Questions
1,491 questions with no upvoted or accepted answers
1
vote
0
answers
102
views
Commutator estimates for $-(-\Delta)^s$, with $s \in (1,2)$
I'm currently trying to work with the non-local operator given by
$$
(-\Delta)^{\frac{s}{2}}f(x)= c_s\text{P.V} \int_{-\infty}^\infty \frac{-f(x+y)-f(x-y)+2f(x)}{|y|^{1+s}} dy,
$$
where $f :\mathbb ...
1
vote
0
answers
142
views
Intuition from Hopf lemma (boundary point lemma )
Consider the classical boundary point lemma:
Let $L$ be an elliptic operator.
Boundary Point Lemma Suppose $\Omega$ has the interior sphere property and that $u\in C^2(\Omega)\cap C^1(\bar\Omega)$ ...
1
vote
0
answers
40
views
Example of periodic semidifferentiable function without absolutely convergent Fourier series
Is there an example of a periodic continuous function that is semidifferentiable (i.e the left derivative and the right derivative exist at each point), but
with a non-absolutely convergent Fourier ...
1
vote
0
answers
196
views
Asymptotic of a functional as $x\rightarrow \infty$
Consider the following functional :
$$
I(x,s) =\int_0^\infty\mathrm dy \frac{F(x + \mathrm iy, s) − F(x −\mathrm iy, s)}{\mathrm e^{2πy}-1},
$$
where $ F(z, s) = \dfrac{\sinh(\sin^2[π\Gamma(z)/(2z)])...
1
vote
0
answers
45
views
Decomposition of the space of Radon measures with respect fractional harmonic capacity?
It is well know that there is a generalization of Lebesgue decomposition theorem in the following way:
Any non negative Radon measure can be decomposed uniquely into the sum of an absolutely ...
1
vote
0
answers
39
views
Properties of analytic "super-monomials"
Defining as monomials $m(x,n)\,:=\,x^n,\,n\in\mathbb{N}_0$, I denote by an "super-monomial" an analytic function of the form
$$ \overline{m}(x,n,(a))\ :=\ x^n+\sum\limits_{i=1}^\infty \frac{a_{n+i}x^{...
1
vote
0
answers
133
views
Is integration by parts useful for obtaining global cancellation?
If $f$ and $g$ are functions on the real line, and $f$ is oscillatory, then an important technique for bounding the integral $\int fg$ is applying an integration by parts, writing
$$ \int_{-\infty}^\...
1
vote
0
answers
39
views
Analytic function whose derivatives and primitives are independent from a given set of countable cardinality
Let $L=(l_j)_{j\in\mathbb{N}}$ be a set of countably many independent real analytic functions on $[0,2\pi]$. Here and in the following, independent means that a function cannot be written as finite ...
1
vote
0
answers
27
views
How does the principal value affects to the limit here?
In Córdoba and Gancedo - Contour dynamics of incompressible 3-D fluids in a porous medium with different densities (page 4) I read that if
$$ v (x_1,x_2,x_3,t)=-\frac{\rho_2-\rho_1}{4\pi} \...
1
vote
0
answers
49
views
Maschler's bargaining set-an incomplete step in a proof
I have a problem with the concept of the bargaining set which is given below in some detail.
Let $N=\{1,\ldots,n\}$ be a set of players and $v:2^N\to \mathbb{R}$
a superadditive game (meaning $S,T \...
1
vote
0
answers
96
views
Is harmonic mean of linear functions a Bernstein function?
According to some experiments I've been running, for any $n$ and non-negative $a_1, a_2, \ldots a_n$, the following function:
$f(t) = \frac{n}{\sum_{i=1}^n 1/(a_i+t)}$
is a Bernstein function, ...
1
vote
0
answers
303
views
Continuity of the Legendre transform of a Lipschitz function
Let $p > 1$, $f$ defined on $L^p(\mathbb{R}^n,\mathbb{R})$, locally Lipschitz and concave, with $f(x) = 0$ when $x \geq 0$ a.e. We define, with $q$ dual to $p$, for any $y\in L^q$ , $g(y) := \sup_{...
1
vote
0
answers
422
views
Integral of matrix determinant with respect to Lebesgue measure
$\newcommand\norm[1]{\lVert#1\rVert}
\newcommand\opnorm[1]{\norm{#1}_{\text{op}}}
\newcommand\Frnorm[1]{\norm{#1}_{\text F}}$Define
\begin{align*}
S_t=\{
(A,B)\in\mathbb{R}^{n\times n}\times\...
1
vote
0
answers
91
views
Gaussian width and restricted isometry
It is known that, for an $m$ dimensional space and an $n\times m$ dimensional random matrix $U$ whose entries are iid Gaussian, then $\|I-(1/n)U^TU\|$ is bounded by $\sqrt{m/n}$ when $n>m$.
If a ...
1
vote
0
answers
177
views
Do functions $f: \mathbb R \to \mathbb R$ with these properties exist?
Basically, I am trying to determine how exactly and in which ways everywhere discontinuous bijections $f: \mathbb R \to \mathbb R$ "behave when they are unusual".
More precisely, I am trying to ...
1
vote
0
answers
90
views
Conditional Integration of arbitrary function
Let $f(t) \in \mathbb{R}^+$, $g(t) \in \mathbb{R}^+$ be bounded and integrable functions, $A>0$ and $0 < \eta \leq 1$. If $h(t) = A\cdot f(t) - g(t)$, what needs to be the value of $A$ to ...
1
vote
0
answers
126
views
Almost every where divergent Fourier series
Does there exist any continuous function $f:[\pi,\pi]\to \mathbb{C}$ whose Fourier series $\sum \hat{f}(n)e^{int}$ is almost every where divergent?
1
vote
0
answers
84
views
Finite speed of propagation for a PDE
Let $u(s,t,x)$ solve the equation
$$ i \partial_s u +\partial^2_t u - \partial^2_x u =0$$
on the set $[0,1]^3$ and suppose that
$u(0,t,x)=0$ on $[0,1]^2$ and that
$$ u(s,0,x)=\partial_t u(s,0,x)=0$$
...
1
vote
0
answers
116
views
look for differentiable symmetric functions whose global minimizer has all distinct components
For symmetric functions, people ask Do symmetric problems have symmetric solutions?, e.g., [3] and [4].
The answer is no in general. However, solutions of symmetric problems often exhibit certain ...
1
vote
0
answers
59
views
Uniform lower bound on a sequence of functions on $[0,1]$
Consider the sequence of functions $\{F_n(\cdot)\}_{n \in \mathbb{N}}$ on $[0,1]$, where for each $n$, $F_n(\cdot)$ is defined as
\begin{equation}
F_n(x) = \sum_{i=2}^n \Big( x^{b_n} \frac{i}{(i+1)^{...
1
vote
0
answers
76
views
Existence of a `right' sequence
Suppose that $f_n: \mathbb{R} \times [0,\infty) \to \mathbb{R}$ is a sequence of bounded variation functions such that there exists $C>0$: $|f_n| < C$ for every $n$ and, as $n \to \infty$, for $...
1
vote
0
answers
101
views
Reparametrization of a closed curve that balances sum of first derivatives
(Question in the yellow box below.)
A few weeks ago I was wondering about the existence of a scalar function $f(s): S^1 \rightarrow \mathbb{R}$ and a turning angle $\phi(s):S^1 \rightarrow \mathbb{R}/...
1
vote
0
answers
511
views
Weak derivative under the integral sign
Let $\Omega$ be a bounded and regular open subset $\Omega$ of $\mathbb{R}^N$ and $u:[0,\infty)\times \Omega\to \mathbb{R}$ be a smooth function (for example a smooth solution to a PDE). Thus the ...
1
vote
0
answers
52
views
Mean value of a function with binomial coefficients as weights
Is the following true?
Let $a$ be a positive integer and let $t_n$ be a sequence of numbers. We define the binomial mean of $t_n$
$$
\beta_{t_n,a} = \frac{1}{2^n t_n}\sum_{r^a \le n} \binom{n}{r^a}...
1
vote
0
answers
76
views
Generalization of Lagrange-Burmann to system of self-consistency equations
In my research, I have come across a system of probability generating functions of the following form:
$$H_1(x) = x A(H_1(x))B(H_2(x)) \text{,}$$
$$H_2(x) = x C(H_1(x))D(H_2(x)) \text{,}$$
and I am ...
1
vote
0
answers
74
views
Removability of the isolated singularity of real analytic mappings with nondegenerate Jacobian
Let $B^n=\{x\in \mathbf{R}^n: |x|<1\}$$(n>2)$. Consider real analytic mappings $f_1:B^n\setminus \{0\}\to B^n$, $f_2:B^n\setminus \{0\}\to \mathbf{R}^n$ and $f_3: B^n\setminus \{0\}\to S^n$ ...
1
vote
0
answers
69
views
Recurrence involving families of orthogonal polynomials
Let $ \forall n \in N, n\geq 1$ $$ R_n(x)=(-1)^n n! \displaystyle \frac{(x-1)...(x-n)}{(x(x+1)..(x+n))^2}$$ thus by decomposition in simple element it's easy to see that
$$ (1): \quad R_n(x)= \...
1
vote
0
answers
39
views
The parameter regularity of power sum
Let $f(x,s)=\sum_{n=0}^\infty a_n(s)x^n$ where $|a_n(s)|\le1$ is a bounded function theory. Suppose for every $|x|<1$, $f(x,s)$ is Holder-$\alpha$ for $s$-variable, i.e. $|f(x,s_1)-f(x,s_2)|\le C|...
1
vote
0
answers
75
views
Identifying a determinantal condition
Has the following condition already been studied and, if so, is there a known class of functions that satisfy it?
Condition. For a fixed $n > 0$, all the $2 \times 2$ minors of the matrix
$$
\...
1
vote
0
answers
62
views
Regularity of a shrunken domain
I am encountering a geometrical question that intuitively seems obvious but I have a lack of argument to prove or disprove it in a rigorous manner.
Let $\Omega\subset\Bbb R^d$ be an open bounded (...
1
vote
0
answers
103
views
Real root isolation for exponential polynomials
Suppose we are given an exponential polynomial $f:\mathbb{R}\mapsto\mathbb{R}$
$$
f(t)=\sum_{i=1}^n p_i(t)e^{\lambda_i t}
$$
where $p_i(t)$s are polynomials with algebraic coefficients and $\lambda_i$...
1
vote
0
answers
291
views
An implication of the Zagier et al result on the hyperbolicity of Jensen polynomials for the Riemann zeta function?
In their paper recently published in the PNAS, Zagier et al demonstrated that
The Jensen polynomials $J_{\alpha}^{d,n}(X)$ of the Riemann zeta function of degree $d$ and shift $n$ are hyperbolic for ...
1
vote
0
answers
51
views
Convergence acceleration of a series by using optimal parameters
One of the ways of accelerating the convergence of a series is by transforming into a faster series using optimal parameters. Examples of this approach can be found in this paper. I obtained a ...
1
vote
0
answers
152
views
Is the normalized derivative of a holomorphic function Sobolev?
This question is a cross-post from MSE. it is also a special case of this question.
Let $B=\{z\in \mathbb C \,|\,|z|\le 1\}$, and let $f:B \to \mathbb{C}$ be holomorphic on the interior $B^o$, and ...
1
vote
0
answers
103
views
Choosing the weight in a particular definition of Besov spaces
Following Giovanni Leoni's excellent book (or the Wikipedia article) one possible way to define the Besov spaces $B^{s,p,\theta}(\mathbb R ^d)$, with $s\in(0,1)$ the fractional "order of derivative" ...
1
vote
0
answers
97
views
Dependency of the Wasserstein metric on its parameters
Let the population on some region $\Omega\subset\mathbb R^d$ be modeled by a density function $\rho:\Omega\to (0,+\infty)$. Provided $n\ge 1$ food trucks labeled by their capacity $p_1,\ldots, p_n\in (...
1
vote
0
answers
87
views
An oscillatory integral estimate
Let $n \geq 3$ and consider two sequences of strictly monotone functions $\{\mu_l(t)\}_{l=1}^{n}$ and $\{\lambda_l(t)\}_{l=1}^n$ on the interval $[-1,1]$ with $\mu_l(0)=0$ and $\lambda_l(0)=1$ for all ...
1
vote
0
answers
92
views
Alberti rank-one theorem and reduction of the study of BV function to the two-dimensional case
By Alberti rank-one theorem, could it be possible to reduce the study of a function $u \in BV(\mathbb{R}^N, \mathbb{R}^N)$ to the study of a function $\tilde{u} \in BV(\mathbb{R}^2, \mathbb{R}^2)$? At ...
1
vote
0
answers
98
views
Poincaré lemma for gradient times its transpose
Poincaré lemma states that a vector $v_i(x)$ defined on a ball in $R^n$ is the gradient of a function if and only if
\begin{equation}
\partial_i v_j = \partial_j v_i
\end{equation}
or equivalently ...
1
vote
0
answers
188
views
Questions on Riemann's explicit formula
If we consider this version of the prime-counting function
$$\pi_0(x) = \frac{1}{2} \lim_{h\to 0} (\pi(x+h) + \pi(x-h))$$
(with $\pi$ being the normal prime-counting function), then we can write $\...
1
vote
0
answers
135
views
About the sum of prime reciprocals
Let $B$ be the Meissel-Mertens constant., $\theta$ the Chebyshev theta. Let $S(x)=\sum_{p\le x}1/p$, $p$ prime. Let $M(x)=S(x)-\log\log x-B$. Robin, and later Diamond and Pintz, showed that $M(x)$ ...
1
vote
0
answers
88
views
Approximating $3SAT$ by polynomials
Given $3SAT$ formula $\phi$ in $n$ variables and a $\mu\in(0,1/2)$ what is the smallest degree of polynomial $f\in\mathbb Z[x_1,\dots,x_n]$ such that for an $(a_1,\dots,a_n)\in\{0,1\}^n$ if $\phi(a_1,\...
1
vote
0
answers
125
views
Convergence to a $C^\infty$ function
For every $\epsilon \in [0, 1)$ and $n$ in $\mathbb N$, let $g(n, \epsilon)$ be a function $\mathbb R \to \mathbb R$.
Suppose for all $\epsilon \in [0, 1)$, $g(n, \epsilon)$ is $C^n$ smooth and that ...
1
vote
0
answers
86
views
Coboundary in the slow mixing systems
Given dynamical system $(X, T, \mu)$, $\mu$ is probability, $\mu \circ T =\mu$, $T$'s transfer operator $P$ is defined by following relation: $\int (P a) \cdot b d\mu= \int a \cdot (b \circ T) d\mu$ ...
1
vote
0
answers
64
views
Regularity of superposition operator generated by function between Banach spaces
Let $E$, $F$ be Banach spaces, $D$ be open in $E$, and $K=[0,1]$. Given $\varphi\colon K\times D\to F$ I call
$$
\varphi^\sharp\colon D^K\to F^K,\quad u\mapsto \varphi(\cdot,u(\cdot))
$$
the ...
1
vote
0
answers
99
views
How is the dominated convergence theorem applied in the proof of Lyapunov’s criterion?
Let $$\Gamma(f,g):=\frac12f'g'\;\;\;\text{for }f,g\in C^1(\mathbb R),$$ $\mu$ be a probability measure on $(\mathbb R,\mathcal B(\mathbb R))$ with a continuously differentiable and positive density $\...
1
vote
0
answers
253
views
Short question on functions of bounded variation
For a function $f: \mathbb R \to \mathbb R$ of locally bounded variation, when is $$\liminf_{e \to 0} V(f)[x, x+e]/e $$finite everywhere? Here $V(f)[a, b]$ denotes the total variation of the function ...
1
vote
0
answers
220
views
Quantitative Lusin’s theorem
We consider only the set $M$ of a.e. essentially locally bounded measurable functions $[0, 1] \to \mathbb R$. Here $m(S)$ denotes the Lebesgue measure of $S$.
Let $f$ be measurable. For every $e$ in $...
1
vote
0
answers
71
views
Continuous injection of metric ball into Euclidean ball
This is a follow-up to this post.
Suppose that $(X,d_X)$ is a compact metric space with (finite) metric-capacity, defined by
$$
\kappa_X(\epsilon)\triangleq\sup\left\{
k : \exists x_0,\dots,x_k \...
1
vote
0
answers
177
views
Singular integral of the composition of the Hilbert transform and fractional Laplacian
Given $0<s<1$, we can define the Fractional Laplacian by
$$\Lambda^{-s}f(x):=(-\Delta)^{-s/2}(x)=\int_{-\infty}^{+\infty}|x-y|^{-1+s}f(y)dy$$
or by means of Fourier transform as $$\widehat{\...