All Questions
5,851 questions
0
votes
1
answer
230
views
Can we further restrict the space of test functions to $C_c^\infty (X)$ in weak convergence?
Let
$X := \mathbb R^n$,
$C_b(X)$ the space of all real-valued bounded continuous,
$C_c(X)$ the space of all real-valued continuous functions with compact supports, and
$C_c^\infty(X)$ the space of ...
- 657
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
88
views
An equation in the convolution measure algebra on reals
Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on reals.
Let $\mu$ be a Radon measure in $M(\mathbb{R})$ and $\delta_0$ be the point mass measure concentrated on ...
- 4,058
0
votes
1
answer
378
views
What's the condition to prove the equicontinuity?
Let $K: I\times I\rightarrow \mathbb{R}$ be a scalar kernel, where $I=[0,1]$, and $a: I \rightarrow (0,+\infty)$ an $L^1(I)$ function.
For $t_1,t_2\in I$, define
$$I_{t_1,t_2}=\int_{0}^{1} \left |\...
- 291
0
votes
2
answers
219
views
Intrinsically defining smooth/continuous/analytic functions
In mathematics, the notion of a continuous/smooth/analytic function $\mathbb{R}\to\mathbb{R}$ is introduced by defining the general set-theoretic function $\mathbb{R}\to\mathbb{R}$ and then imposing ...
user158636
0
votes
1
answer
123
views
Characterization of bounded variation
For a function $f:[0,1]\to\mathbb{R}$, define
$$ V(f)=\sup_{0=x_0<x_1<\ldots<x_n=1}\sum_{i=1}^{n}|f(x_n)-f(x_{n-1})|.
$$
For $f$ with integrable derivative, the definition coincides with
$V(f)...
- 6,541
0
votes
1
answer
263
views
Axioms for the real numbers [closed]
Suppose we have a field with a total order which verifies
If $x,y\geq 0$, then $x+y\geq 0$ (here we relax the compatibility property for the addition).
If $x,y\geq 0$, then $xy\geq 0$.
...
- 29
0
votes
1
answer
126
views
Proof of $\sum\limits_{k\in\mathbb{Z}}\int_{\mathbb{R}}|f(x+k)f'(x)|dx<\infty$ for Schwartz function $f$
For a function $f$ from the Schwartz space $\mathcal{S}(\mathbb{R})$ do we have that
$$\sum\limits_{k\in\mathbb{Z}}\int_{\mathbb{R}}|f(x+k)f'(x)|dx$$
converges?
- 123
0
votes
1
answer
282
views
Continuity of $\arg\min$
Let $f:\mathbb{R}^n \times \mathbb{R}^m \to \mathbb{R}$ be a continuous function.
Let $A = \{(x,\arg\min_x f(x,y)) | x \in \mathbb{R}^n\}$.
Is there necessarily a continuous function $g: \mathbb{R}^...
- 101
0
votes
1
answer
903
views
A measurable set such that its intersection and difference with every interval have the same measure [duplicate]
Let $\Omega = [0,1]$. I want a Lebesgue measurable set $S$ with the following property.
$$ \ell(S \cap I) = \ell(I \backslash S)$$ for every subinterval $I$ of $[0,1]$, where $\ell(A)$ is the ...
- 553
0
votes
1
answer
296
views
Does there exist a continuous nonconstant function $f$ that maps almost all irrationals to rationals? [closed]
Let $f$ be a continuous nonconstant function on the reals. Could it map almost all irrationals to rationals?
This is impossible if $f$ maps all irrationals to rationals, by a well known result.
This ...
0
votes
2
answers
388
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
2
answers
224
views
Solutions or bounds for $x^{(1-\epsilon)/2}=1-x$
Is there a known expression for the solution of the following simple equation, or at least good bounds on the solution? Assume $\epsilon \in [0,1)$ is a given parameter and $x \in (0,1)$.
$$x^{(1-\...
- 1,324
0
votes
1
answer
59
views
Does the neighborhood of a sequence of uniform density have uniform measure?
Suppose $t_{n}$ is a sequence of positive real numbers such that
$c_{1}\geq \lim \sup_{n\to \infty}t_{n}/n\geq \lim \inf_{n\to \infty}t_{n}/n\geq c_{2}>0$ where $c_{1}\geq c_{2}>0$ are positive ...
- 2,964
0
votes
1
answer
109
views
How to show $a\mapsto \frac{\gamma(a,x)}{\Gamma(a)}$ is decreasing on $\mathbb{R}_+^*$?
Let $a>0,x\geq 0$, the lower regularized incomplete gamma function is defined as : $$P(a,x)=\frac{\gamma(a,x)}{\Gamma(a)} = \int_0^x \frac{e^{-t}t^{a-1}}{\Gamma(a)}dt.$$
I have read in the paper ...
- 131
0
votes
1
answer
169
views
An increasing sequence of real numbers [closed]
This was first posted to SE, but now I think its better to be posted here.
For what positive real numbers $\alpha$, the sequence $a_n = \frac{\lfloor n\alpha\rfloor}n $ is (not necessary strictly) ...
- 1,881
0
votes
1
answer
163
views
$\int_0^t f(s)\,dB_s$ normally distributed, mean and variance
Suppose that $f(t)$ is a (non-random) continuous function on $[0, \infty)$. Let$$Z_t = \int_0^t f(s)\,dB_s.$$
How do I see that $Z_t$ is normally distributed?
What is the mean and variance?
I need ...
- 43
0
votes
2
answers
179
views
Analyticity of Logarithmic Integrals
Assume $f\in L^2[0,1]$ and let $g(x)=\int_0^1f(y)\ln|x-y|dy$. Is it true that $g\in C^\infty(0,1)$? Is it true that $g$ is analytic in $(0,1)$? Can you refer me to a right reference to look up such ...
- 1,583
0
votes
1
answer
525
views
A simple question from mathematical analysis (assumption changed) [closed]
Let $\forall n=0,1,2,\dots$, $\alpha_{n}(x)$ are POLYNOMIALS in $x$. Next, let for all $x\neq0$ the power series $$\sum_{n=0}^{\infty}\alpha_{n}(x)t^{n}$$
has positive radius of convergence. Can one ...
- 1
0
votes
1
answer
115
views
Fourier transform of exponential over torus
I found the following formula for the Fourier transform on a flat 2-torus, but I don't quite know how to derive it. We have a variable $q=(q_x,q_y) \in [0,2\pi)^2$ and by considering it in polar ...
0
votes
2
answers
364
views
Can one show $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the ...
- 178
0
votes
1
answer
57
views
Lower bounding an alternating series with signs from a martingale difference sequence
Let $\epsilon_n \in \{-1, 1\}$ be a martingale difference sequence, in the sense that
$$M_n := \sum_{i = 0}^n \epsilon_i$$
is a martingale.
We assume $\epsilon_0 = \pm 1$ with probability $\frac{1}{2}$...
- 6,285
0
votes
1
answer
232
views
Questions on the compactness of $L_1([0,1]^2)$'s unit sphere
Let $U$ denote the set of functions $f\in L_1([0,1]^2)$ such that $\int f=1$ and $f(x,y)\geq 0: a.e. (x,y)\in [0,1]^2$. Recently in my study I need to study the compactness of $U$. By Riesz's theorem ...
- 359
0
votes
1
answer
101
views
Limit sequence of regular function in $L_1$‘s unit sphere
Let $U$ denote the set of functions $f\in L_1([0,1]^2)$ such that $\int f=1$. For any $f\in U$, we say it is regular if $\int_{x_0\times [0,1]}f=\int_{[0,1]\times y_0}f=1$ for a.e. every $x_0, y_0\in [...
- 359
0
votes
1
answer
106
views
Convergence of mollified functions in weighted $L^p$ norm
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\supp}{\operatorname{supp}}
$
Let $(\rho_n)_{n \geq 1}$ be a sequence of mollifiers on $\bR^d$, i.e., each $\rho_n$ is a ...
- 825
0
votes
1
answer
102
views
On weighted Fourier transforms
Suppose that $f\in L^{\infty}((0,1))$ and that there exists $c_1,c_2>0$ such that
$$ \left|\int_0^1 e^{i \xi x} e^{-|\xi|^{-1}x}f(x)\,dx \right| \leq c_1 e^{-c_2|\xi|} \quad \forall\, |\xi|>1.$$
...
- 4,153
0
votes
1
answer
117
views
How to understand the unique continuation result
Let $E$ be the closure of $C_c^{\infty}\left(\mathbb{R}^N\right)$ ($N \geqq 3)$ under the norm
$$
\|u\|_E=\left(\int_{\mathbb{R}^N}|\nabla u|^2\right)^{1 / 2}.
$$
Suppose $K(x) \in C^1\left(\mathbf{R}^...
- 471
0
votes
1
answer
121
views
A simple bilinear estimate
Let $2\leq p,q <\infty$ and fix $0<\alpha<1$ such that
$\frac{1}{p}+\frac{1}{q}\leq 2-\alpha$.
Suppose that $f\in L^{p}([0,1])$ and $g\in L^{q}([0,1])$.
What is the optimal value of $t=t(\...
- 852
0
votes
1
answer
47
views
Everywhere existence of marginals
Let $f\in L^1(\mathbb{R}^2)$ be a (joint) probability density function which satisfies $f(x,y)>0$ for all $(x,y)\in \mathbb{R^2}$.
What is a necessary and sufficient condition under which the ...
- 3,574
0
votes
1
answer
76
views
Decay rate of $\lim_{|z| \to \infty} \|1_{B(z, 1)} f\|_{L^p} =0$
We fix $p \in [1, \infty)$. We have for every $f \in L^p (\mathbb R^d)$ that $\lim_{|z| \to \infty} \|1_{B(z, 1)} f\|_{L^p} =0$. I wonder if there is an estimate of above decay, i.e.,
Is there a ...
- 825
0
votes
1
answer
68
views
Box dimension and graph of Hölder function
In Kamont "ON THE FRACTIONAL ANISOTROPIC WIENER FIELD" (found here : https://www.math.uni.wroc.pl/~pms/files/16.1/Article/16.1.6.pdf), on page 96, it is claimed that,
if a function $f:I^{d}\...
- 73
0
votes
1
answer
92
views
Continuous selectors of a continuous multifunctin on a compact metric space
I am currently working on a continuous selector problem of multifunctions. I am trying to figure out if a continuous multifunction defined on a compact metric space always admit a continuous selector.
...
- 79
0
votes
1
answer
117
views
Sufficient conditions for ensuring that a monic polynomial in $\mathbf{Z}[x]$ possesses exclusively simple roots
I am seeking sufficient conditions to ensure that a monic polynomial, denoted as $f$ in $\mathbf{Z}[x]$, possesses exclusively simple roots.
Based on an old paper (this reference), it has been ...
- 4,058
0
votes
1
answer
300
views
Is there a reference on the space of Lipschitz continuous functions?
I have hard a time finding the specific properties I'm looking for, I'm wondering if there is literature which proves (or disproves) that the space of all Lipschitz continuous functions of some ...
0
votes
1
answer
99
views
Recovering the openness of a map from the openness of its scalar projections
Good morning. I have been thinking about the following question for a while without much success, therefore I'm starting to doubt its validity, although I don't have a clear counterexample in mind.
...
- 311
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
0
votes
2
answers
140
views
Two-Sided Bounds on Binomial Sum
I came across this partial sum which I cannot find reasonable bounds on; I feel this must be known in the literature, but I do not know where to look. Here is the problem:
Let $s\in (0,1)$ and ...
- 364
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
0
votes
1
answer
157
views
Does rapid convergence of the Cesaro sums imply convergence of the original sequence?
Question: Let $a_n$ be a sequence of real numbers. Is it true that for every $\varepsilon > 0$, if
$$\left \lvert \frac{1}{N} \left ( \sum_{n=0}^{N-1} a_n \right )\right \rvert < \frac{1}{N^{1+\...
- 6,285
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,285
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,285
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
105
views
Transforming two smooth densities to the same density
I am looking for an example of the following:
Find a bijective, differentiable function $f$ and continuous probability density functions $q_1\ne q_2$ such that $f_*q_1=p=f_*q_2$, where $f_*$ is the ...
- 5
0
votes
1
answer
129
views
Seeking an integral formulation for an algebraic function
While working with a generating function for the Catalan numbers, I came across the integral representation
$$\frac1{1+\sqrt{1-4x}}=\frac1{2\pi}\int_0^{\infty}\frac{\sqrt{t}}{(t+\frac14)(t-x+\frac14)}\...
- 43.2k
0
votes
1
answer
87
views
Measuring the quality of real approximation
Let $r\in [0,1]\setminus\mathbb{Q}$, let $\mathbb{N}$ denote the set of non-negative integers and let $\mathbb{N}_+=\mathbb{N}\setminus\{0\}$. For $n\in\mathbb{N}_+$ let $$\alpha_r(n)=\min\{\big|r-\...
- 48.9k
0
votes
1
answer
100
views
Existence of a particular positive definite and radially unbounded function
Let $A \subset \mathbb{R}^{n}$ be a closed set. Does there exist an open set $O$ containing $A$, and a smooth function $f : O \to \mathbb{R} $ such that
$f(x) = 0$ for all $x \in A$,
$f(x) > 0$ and ...
- 351
0
votes
1
answer
255
views
An outer measure defined on $\mathbb {R}$
Let $s, \delta \in (0,1)$. Consider the outer measure on $\mathbb{R}$, $\mu^s_{\delta}$, defined by
\begin{align*}
\mu^s_{\delta}(E):=\inf \left\{\sum_{j}\lvert I_{j}\rvert^s: E \subset \bigcup_{j}...
0
votes
1
answer
736
views
Proof: If a reproducing kernel exists for a Hilbert space, then it is unique
I really want to prove the statement in the title but I'm struggling with it. Here my current state:
Proof via contradiction. Let $\mathcal{H}$ be a RKHS with two reproducing kernels $k$ and $\hat{k}$ ...
- 13
0
votes
1
answer
308
views
an exercise regarding sums [closed]
We know that for $a=1$, we have $D(1,b;c)=s(b,c)=\sum_{n \pmod c} ((\frac{n}{c}))((\frac{bn}{c}))$.
I was trying to prove the following property for coprime $b$, $c$, ,that
$s(b,c)=\frac{-c}{4\pi^2}\...
- 17
0
votes
1
answer
344
views
Approximation of positive right-continuous function
Let $f:(0, +\infty)\to(0, +\infty) $ be a monotone decreasing, right-continuous function. Can we find a sequence $\{f_{n}\}_{n\in \mathbb{N}}$ of strictly monotone decreasing, continuous functions, ...
- 459