All Questions
6,015 questions
3
votes
1
answer
100
views
Vague Topologies induced by $C_c$ and $C_0$ are the same on a closed ball of finite Radon measures?
Let $X$ be a locally compact Hausdorff space. Denote $C_c(X)$ and $C_0(X)$ the space of continuous functions with compact support and vanishing at infinity respectively. By Riesz representation ...
- 315
1
vote
0
answers
131
views
Integral flow that can commute to Laplacian operator
Firstly, considering the vector field in $ \mathbb{R}^3 $, $ X=x_2e_1-x_1e_2 $, we can see that
$$
\phi(t,x)=\phi(t,x_1,x_2,x_3)=(t,x_1\cos t+x_2\sin t,-x_1\sin t+x_2\cos t,x_3)
$$
is the ...
- 1,219
11
votes
6
answers
872
views
A question on the real root of a polynomial
For $n\geq 1$, given a polynomial
\begin{equation*}
\begin{aligned}
f(x)=&\frac{2+(x+3)\sqrt{-x}}{2(x+4)}(\sqrt{-x})^n+\frac{2-(x+3)\sqrt{-x}}{2(x+4)}(-\sqrt{-x})^n \\
&+\frac{x+2+\...
- 145
0
votes
2
answers
166
views
Asymptotics of the unique root of a polynomial equation defined as a sum of rational expressions
Let $\lambda_1\ge \ldots \ge \lambda_n \gt 0$. Define a function $F:\mathbb R_+ \to \mathbb R_+$ by
$$
F(t) = t^2\sum_{i=1}^n\frac{\lambda_i^2}{(\lambda_i + t)^2}.
$$
It is clear that $F$ is strictly ...
- 6,853
1
vote
0
answers
64
views
Sequential Hölder-norm for functions in $H_{\alpha}([0,1]^{d})$?
I have come across a nice result attributed to Ciesielski (Ciesielski, Z. (1960). On the isomorphisms of the spaces $H_{\alpha}$ and m. Bull. Acad. Pol. Sci. Ser. Sci. Math. Phys. 8, 217–222.), even ...
- 149
5
votes
1
answer
294
views
Converse to Young's classical result on Riemann-Stieltjes integration
A classical result from Young in 1936 says that if $f\in C^\alpha$ and $g\in C^\beta$ with $\alpha+\beta>1$ then $\int f \, dg$ exists as a Riemann-Stieltjes integral.
However, I am interested in ...
- 1,904
3
votes
0
answers
191
views
Does "Invariance of domain" hold true for injective Darboux function (instead of continuous injection)?
Let $f \colon U\subset \mathbb{R^n}\to\mathbb{R}^n$ be an injective Darboux map.
Does this imply that $f$ is an open map?
If $f$ is continuous then the result follows from "Invariance of domain&...
- 307
3
votes
1
answer
499
views
Does the integral $\int_0^{\infty}e^{cx^2+dx}dx/(a+bx)$ have a closed form?
The integral is
$$\DeclareMathOperator{\dm}{d\!}
\int_0^{\infty}\frac{e^{-cx^2+dx}}{a+bx}\dm x.
$$
Here I assume that $a,b,c,d$ are chosen to make this integral convergent. Rewritting the rational ...
- 375
2
votes
1
answer
307
views
Property so that $f(t)\equiv 0$ for all $t\geq T$ for some finite $T>0$?
Let $f:[0, \infty)\to [0, \infty)$ be non-decreasing 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
5
votes
1
answer
322
views
Proving an integral identity
Let $ f : \left[ 0, 1 \right] \rightarrow \mathbb{R} $ be a continuous function. Knowing that: $$ \int_0^1 (2x-1)f(x)dx = 0 $$ Show that $ \exists c \in \left(0,1\right)$ such that: $$ \int_0^c (x-c)...
- 151
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
0
answers
135
views
Quantifying the degree of continuity of a function via perturbations
Let $f: \mathbb R \to \mathbb R$ be a measurable function. Define the perturbation operator $T_f$ on measurable functions $g: \mathbb R \to \mathbb R$ by
$$T_f (g)(x) := f(x + g(x)) - f(x).$$
Observe ...
- 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
0
votes
1
answer
125
views
Why is this integrability condition needed for uniqueness in the continuity equation?
I am reading about the uniqueness problem for the continuity equation $\partial_t \mu_t + div_x (b \mu_t)=0$ in the lecture notes by Ambrosio (here: https://warwick.ac.uk/fac/sci/maths/research/events/...
- 697
0
votes
1
answer
164
views
Does convolution commute with Lebesgue–Stieltjes integration?
Let $g: \mathbb R \to \mathbb R$ be a function of locally bounded variation, and $f$ a locally integrable function with respect to $dg$, the Lebesgue–Stieltjes measure associated with $g$.
Let $\eta$ ...
- 6,223
4
votes
1
answer
287
views
Local maxima of the sum of Gaussian functions in *multiple dimensions* are always strict local maxima - prove/disprove/prove conditionally?
This is a follow up of the question in one dimension, that asked to show that the all the maxima of the sum of Gaussian
$$f_n(x):= \sum_{i=1}^{n}e^{-(x-x_i)^2}, x_1 < x_2 < \dots < x_n$$
are ...
- 1,467
0
votes
1
answer
74
views
$\int_{\mathbb{R}}|p(v-r,x)-p(u-r,x)|\,dx \leq C\frac{v-u}{u-r}$
Consider $p(u,x)=(4\pi u)^{-d/2}e^{-\frac{|x|^2}{4u}},u>0,x\in \mathbb{R}^d.$
Prove that there exists $C>0$ such that for all $0<u\leq v,r\in[0,u[,$ $$\int_{\mathbb{R}^d}|p(v-r,x)-p(u-r,x)|\, ...
- 573
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
106
views
Question on the existence of a certain decomposition method for real square matrices
I was working around with the decomposition of the multidimensional linear canonical transform (which is not even continuous w.r.t. the parameters) into a few fractional Fourier transforms (and other ...
- 286
0
votes
0
answers
342
views
Main ideas behind the proof of the Carleson theorem
I tried to read a few years ago the book "Pointwise Convergence of Fourier Series" (Springer, Juan Arias De Reyna) which is a detailed proof of the Carleson theorem, but I was lost after a ...
- 587
9
votes
4
answers
2k
views
How may I find all continuous and bounded functions g with the following property?
Find all continuous and bounded functions $g$
with :
$$\forall x \in \mathbb R, 4g(x)=g(x+1)+g(x-1)+g(x+\pi)+g(x-\pi).$$
I have posted this question here, but received no answer.
- 4,074
0
votes
0
answers
143
views
Is $C^\infty(\Omega) \cap W^{s_1,p_1}(\Omega)$ dense in $W^{s_2,p_2}(\Omega)$ if $W^{s_1,p_1}(\Omega) \subset W^{s_2,p_2}(\Omega)$?
Background: The proof of Theorem 6.4 in http://mate.dm.uba.ar/~jrossi/Fractional-1-lapla-07_02_2015.pdf, I want to use the density that $C^\infty(\Omega) \cap W^{r_0,q_0}(\Omega) \cap L^2(\Omega)$ is ...
- 1
0
votes
1
answer
165
views
An inequality involving the essential supremum
Let $\mu$ be a Radon measure on $[0, 1]$, and $f: [0, 1] \to \mathbb R$ a Borel measurable function.
Question: Is it true that for $\mu$ almost every $x \in [0, 1]$, we have
$$f(x) \leq \mu\text{-...
- 6,223
2
votes
1
answer
157
views
$\int_0^u\int_{[-1,1]^2}\int_{[-1,1]^2}\frac{1}{r}e^{-\alpha^2|x-y|^2/r} \, dx\,dy\,dr\leq Cu^{\epsilon}\alpha^{-2\beta}$
I am looking for a proof for the following fact: for $U>0,\beta>0,$ there exists $C>0,\epsilon>0$ such that $$\forall u\in [0,U],\alpha\in\left]0,1\right],\int_0^u\int_{[-1,1]^2}\int_{[-1,...
- 573
4
votes
1
answer
95
views
Limiting values of particular functions
Let's define the functions
$$A_n(q)=\sum_{k=0}^n(-1)^k\cdot\frac{(1+q)q^k}{1+q^{2k+1}}\cdot\frac{2k+1}{n+k+1}\binom{2n}{n-k}.$$
I'm interested in the following:
QUESTION. Let $n\geq1$ be integers. ...
- 43.2k
2
votes
1
answer
60
views
Specific estimation of the norm for a linearly transformed function in $\mathcal{S}_0^{\beta}(\mathbb{R}^n)$
According to the standard definition, $\mathcal{S}_0^{\beta}(\mathbb{R})$ is a subspace of smooth functions on $\mathbb{R}$ with the property that
\begin{equation}
\lvert x^k f^{(q)}(x) \rvert \leq CA^...
- 3,477
2
votes
0
answers
107
views
Approximating PL homeomorphism by diffeomorphisms in Euclidean space
The question is whether a piecewise function can be approximated by diffeomorphic functions in the following two situations.
I'm not really familiar with these piecewise stuffs. So it may be stupid ...
- 173
1
vote
1
answer
190
views
Inequality and integral
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
1
vote
0
answers
179
views
Getting rid of complex zeros of function with zeros the primes?
From our Note: simple real function with zeros greater than one the primes
simple real function with zeros greater than one the primes:
$j_1(x)=(\sin(\pi x))^2+(\sin(\pi \frac{\Gamma(x)+1}{x}))^2$.
...
- 25.4k
1
vote
0
answers
214
views
Bound for the laplacian of a strictly convex function from above by the gradient of it
Let $V \in C^2(\mathbb{R}^d; \mathbb{R})$ a (strictly) convex function with $ \int_{\mathbb{R}^d} \mathrm{e}^{-V(x)} \, dx = 1.$
I am trying to show that
$$ \int_{\mathbb{R}^d} |\nabla_x V(x) |^2\...
- 185
1
vote
1
answer
102
views
Is there an example of a causally supported Schwartz function on $\mathbb{R}^4$ invariant under the Lorentz transform?
I am working on $\mathbb{R}^4$ with the sign convention $(1,-1,-1,-1)$.
I wonder if there is Schwartz function $f(x)$ on $\mathbb{R}^4$ such that the support satisfies the condition $0<x^2 < 4m^...
- 3,477
2
votes
1
answer
76
views
Zeros in $[0,1]$ of functions $f \in \mathrm{span} \{ p(x - \lambda_k)e^{\lambda_k x} : k=1,\dots, n \}$
Let $n \in \mathbb N$, let $p:\mathbb R \to \mathbb R$ be a real polynomial, and let $\lambda_1< \lambda_2 <\dots < \lambda_n$. Now let
$$
f \in \mathrm{span} \left \{ p(x - \lambda_k)e^{\...
- 190
0
votes
1
answer
112
views
Integral and 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
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
1
vote
0
answers
217
views
Inequality on matrix trace
Consider the following inequality of Lemma 1 arising in The law of large numbers for quantum stochastic filtering and control of many-particle systems :
$$\Big|tr(L\gamma LB) - \frac{1}{2}tr(B(L\gamma ...
- 1,399
4
votes
2
answers
392
views
Lebesgue differentiation theorem at boundary points for Sobolev traces
$\newcommand{\R}{\mathbb R}$
Let $\Omega\subset \R^d$ be a smooth, bounded open set and fix $p\geq 1$.
Fact 1: the usual Lebesgue differentiation theorem says that, if $u\in L^p(\Omega)$, then
$$
u(x)...
- 5,380
3
votes
1
answer
134
views
Analyticity of central stable manifolds
Let $X$ be a real analytic vector field defined on $\mathbb{R}^n$. Assume the origin $0 \in \mathbb{R}^n$ is a zero of $X$. Assume, furthermore, that we know that the center-stable manifold (in the ...
- 1,409
5
votes
2
answers
352
views
Locating the maximum point $x_n$ of $f_n(x):=e^{-1/x}\Bigl(1+\frac{1}{n^2 x^n} \Bigr)$ in $(0,1)$
I am trying to observe the behavior of $x_n \in (0,1)$ defined such that the function
\begin{equation}
f_n(x):=e^{-1/x}\Bigl(1+\frac{1}{n^2 x^n} \Bigr)
\end{equation}
attains its maximum inside the ...
- 3,477
1
vote
0
answers
96
views
On optimizing a multivariate quadratic function subject to certain conditions
The problem is to maximize $f(x_1,x_2,\cdots,x_n)=\sum\limits_{i=1}^{n}\Big(x_i-k_i\Big)^2$ for $n\ge 3$ subject to the conditions (1) $\sum\limits_{i=1}^{n}x_i=\sum\limits_{i=1}^{n}k_i\le n(n-1)$ ...
- 61
-3
votes
1
answer
77
views
Sobolev embedding [closed]
I was trying to understand Sobolev embedding, some results about this topic are not clear to me.
My question is the following:
what are the condition on $p_1 , \alpha_1, p_2 $and $\alpha_2$ for
$W^{...
- 35
2
votes
1
answer
76
views
The eigenvalues of the product $WD$ for some particular matrices
Let $D$ be a diagonal matrix in $M_{2n}(\mathbb{R})$ such that $D^2=I$ and Trace$(D)$=0
Suppose that $e_k$s are the standard vectors in $\mathbb{R}^{2n}$, that is
$$e_k=(0,\cdots 0,1,0,\cdots,0)^t$$...
- 4,058
2
votes
0
answers
137
views
Sonin inversion formula, equivalence of two solutions of an integral equation
Let me first specify the problem I am facing, and then below explain where it arises. Given a function $f(x)$ on the interval $0<x<1$ and a real number $s\in(-1,1)$ I consider the integral ...
- 188k
5
votes
1
answer
713
views
Does this condition imply absolute continuity?
Let $f: [0, 1] \to \mathbb R$ be a measurable function. Define the (possibly infinite valued) upper and lower Dini derivative $D^+ f, D^- f: [0, 1] \to [-\infty, \infty]$ by
$$D^+ f (x) := \limsup_{y \...
- 6,223
1
vote
0
answers
127
views
Functions $f: \mathbb R \to \mathbb R$ such that $\det [f(a_j-b_k)]_{j,k} \neq 0$ for all $a_1,b_1, \dots, a_N,b_N$ and all $N \in \mathbb N$
A function $f: \mathbb R \to \mathbb R$ is called totally positive if for every $N \in \mathbb N$, every $a_1< a_2< \dotsb < a_N \in \mathbb R$ and every $b_1 < b_2 < \dotsb < b_N \...
- 437
2
votes
1
answer
215
views
Measuring how "close" $\alpha\in[0,1]\setminus\mathbb{Q}$ is to being rational
Let $\mathbb{N}_+$ denote the set of positive integers and let $\mathbb{N}_0 = \mathbb{N}_+\cup\{0\}$. Fix $\alpha\in[0,1]\setminus \mathbb{Q}$. For $n\in\mathbb{N}_+$ we let the approximation radius ...
- 48.9k
6
votes
2
answers
463
views
Spectrum of operator involving ladder operators
The ladder operator in quantum mechanics are the operators
$$a^\dagger \ = \ \frac{1}{\sqrt{2}} \left(-\frac{d}{dq} + q\right)$$
and
$$a \ \ = \ \frac{1}{\sqrt{2}} \left(\ \ \ \!\frac{d}{dq} + q\...
1
vote
2
answers
169
views
Asymptotic properties of weighted random walks / infinite convolutions of random variables
Let $(X_n)_{n\in\mathbb{N}}$ be a sequence of i.i.d. real-random variables. Let further $0<c<1$. I'm interested in the asymptotic properties of
$$
\sum_{k=1}^n c^k X_k.
$$
I can prove that this ...
2
votes
1
answer
174
views
Description of $\mathcal{S}^{2}_0(\mathbb{R})$ and certain class of functions inside it
I am currently reading volume 2 of "Generalized Functions" by Gelfand and $\mathcal{S}^{2}_0(\mathbb{R})$ is defined to be the collection of $C^\infty$ functions $f$ on $\mathbb{R}$ such ...
- 3,477
1
vote
2
answers
107
views
Measurability of Brjuno numbers
A positive irrational number $\alpha\in{\mathbb R}\setminus {\mathbb Q}$ is said to be a Brjuno number if $$\sum_{i=1}^\infty\frac{\log q_{i+1}}{q_i} < \infty$$ where $q_i>0$ is the denominator ...
- 48.9k
-2
votes
1
answer
175
views
Simple closed form for $\int \lfloor x \rfloor dx$? [closed]
Wolfram Alpha claims there is no closed form in terms of standard funcions
for $\int \lfloor x \rfloor dx$ but we believe we found
simple closed form agreeing with experimental data.
Define $i_1(x)=x -...
- 25.4k