All Questions
1,487 questions with no upvoted or accepted answers
1
vote
0
answers
58
views
Cardinality of maximal elements in terms of set-theoretic inclusion in the space $c_0(\mathbb{N})$
Let $c_0(\mathbb{N})$ be the space of real-valued sequences converging to zero.
Here, each element $\{\alpha_n\} \in c_0(\mathbb{N})$ itself is a "set", so that we can think about set-...
- 3,477
1
vote
0
answers
68
views
Hilbert like transform on the circle
Suppose that $u $ is a smooth function real valued function defined on an open neighborhood of the unit disc $ \mathbb{D} $, which satisfies a second order elliptic partial differential equation;
\...
1
vote
0
answers
64
views
Variation of the fractional derivatives
$\DeclareMathOperator\AC{AC}\DeclareMathOperator\Lip{Lip}$Suppose we have $f\in L^1(\mathbb{R})\cap \AC(\mathbb{R})\cap \Lip(\mathbb{R})$ and $f$ piecewise linear function, bounded and $|f|\leqslant \...
- 89
1
vote
0
answers
108
views
Existence of a smooth extension
In the three dimensional Euclidean space $\mathbb R^3$ let us define the hypersurface
$$ S= \{(x,y,z) \in \mathbb R^3\,:\, z^2= x^2+y^2\}.$$
Suppose that $f \in C^{\infty}(S)$. Does there exist $u\in ...
- 4,153
1
vote
0
answers
165
views
Question about stationary phase with Hessian close to $0$
Let $\phi$ be a smooth real function in one variable and say $w$ is a smooth function with compact support say $[- 1, 1]$. Let me define
$$
I_{\lambda} = \int_{\mathbb{R}} w(t) e^{i \lambda \phi(t)} ...
- 3,625
1
vote
0
answers
115
views
Value of $\pi$ and algorithm for Bernoulli numbers
Chowla and Hartung provide an "algorithm" for computing Bernoulli numbers in this paper.
In particular, if the Bernoulli numbers are defined by
$$\frac{x}{e^x-1}=1-\frac{x}{2}+\sum_{n=1}^\...
- 41
1
vote
0
answers
91
views
limsup of sequence
Let $\mathbb{Z}_{\geq 0}[|t|]$ be the ring of power series with non-negative integer coefficients and consider the power series
$$P(t) = \sum_{i=0}^ \infty a_i t^i \in \mathbb{Z}_{\geq 0}[|t|]$$
$$P^2(...
- 81
1
vote
0
answers
50
views
Bound an integral with parameter
Let us define, for $x_0 > 0$ and $x_0 \ll 1$,
$$K(x) = \int_{-x_0}^{x - g(x)^2} \frac{f(y)}{x - y}dy, \quad \text{for } x \in [-x_0/4, x_0],$$
and
$$g(x) = \frac{(x_0 - x)|\log(x_0)|}{|\log(x_0 - x)...
- 452
1
vote
0
answers
135
views
Continuity of derivative
Consider a homeomorphism of the real line $F : \mathbb{R} \to \mathbb{R}$ such that it is differentiable everywhere and the derivative is bounded. Does it follow that the derivative is continuous, ...
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
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
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
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
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
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
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
1
vote
0
answers
57
views
Necessary and sufficient conditions so that $\sum_{k\ge 0}\frac{x^k}{\Gamma(1+a(k))}\sim\int_0^\infty \frac{x^t}{\Gamma(1+a(t))}\,dt$ as $x\to\infty$?
First, some notation. I'll write $f(x)=o(g(x))$ if $\lim_{x\to\infty} \left|\frac{f(x)}{g(x)}\right|=0$. I'll also write $g(x)=\omega(f(x))$ if $f(x)=o(g(x))$, i.e. $\limsup_{x\to\infty} \left|\frac{g(...
- 870
1
vote
0
answers
165
views
Uniformly open map on a dense subset
Schauder's lemma asserts that you can always extend a uniformly continuous, uniformly open map from a dense subset of a complete metric space to a uniformly open map on the completion.
I think the ...
- 11
1
vote
0
answers
216
views
Is there an approximate formula for this summation function?
Consider the function $$\sum_{n=1}^\infty \frac{\cos(nx)}{n^r},$$ where $r\in\mathbb{N}$. Is there any approximate formula (closed form possibly avoiding this type of summation) for this function? I ...
- 59
1
vote
0
answers
106
views
When are the level curves of a polynomial bounded?
Let $f \in \mathbb{R}[x,y]$. I want to understand when $f$ has the following property: for all sufficiently large (positive) $k$, the level curves defined by
$$\displaystyle f(x,y) = k$$
consist of a ...
- 26.9k
1
vote
0
answers
125
views
Second derivative of the logarithm of the modified Bessel function of the first kind
This question makes sense entirely without the probabilistic perspective, but let us quickly describe how it arises in our setting. Let $X,X’$ denote two i.i.d. random variables having the ...
- 183
1
vote
0
answers
65
views
Prescribed class of measurable sets
Let $X\neq\emptyset$ and let $\mu:P(X)\to[0,\infty]$ be an outer measure. Recall that, a set $A\subseteq X$ is $\mu$-measurable if
$$
\mu(B)=\mu(A\cap B)+\mu(B\setminus A), \text{ for all }B\subseteq ...
- 895
1
vote
1
answer
179
views
For fixed $f \in L^2$ and $T>0$, choose $g$ so that $ \mathbb{E}^x[g(T-\tau)\chi_{X_\tau=1}]=-\mathbb{E}^x[f(X_T)\chi_{\tau \ge T}]$
Let $f \in L^2(0,1)$ and $T>0$ be fixed. How can I choose $g \in L^2(0,T)$ such that
\begin{align*}
0\equiv \mathbb{E}^x\left[f\left(X_T\right) \chi_{\tau \geqslant T}+g(T-\tau) \chi_{X_\tau=1}\...
- 19
1
vote
0
answers
195
views
The image of zero-measure set under normal mapping is Lebesgue measurable
Let $u$ be a convex function defined on a bounded open set $\Omega$ in $\mathbb{R}^n$. Then $u$ is twice differentiable a.e. Let $E_u$ be the set on which $u$ is not twice differentiable. Then $E_u$ ...
- 11
1
vote
0
answers
119
views
On some integral equation
Let $M$ be the set of continuous and increasing functions $h: [0,1)\to\mathbb R_+$ s.t. $h(0)=0$ and $h(1-)=+\infty$. Consider the equation as follows:
$$
1-t= \int\limits_0^\infty p(x)\Phi\left(\frac{...
- 1,399
1
vote
0
answers
229
views
How to prove a concentration isoperimetric inequality for a non-Lipschitz function
Definition $1$. A probability measure $\mu$ on $\mathbb{R}^{d}$ satisfies c-isoperimetry if for any bounded L-Lipschitz $f: \mathbb{R}^{d} \rightarrow \mathbb{R}$, and any $t \geq 0$,
\begin{align}
\...
- 79
1
vote
0
answers
182
views
Hardy's inequality proof using Doob's inequalities
Consider a probability space $([0,1],\mathcal{B}([0,1],\lambda),p>1$ and $f \in L^p(]0,\infty[).$
We want to prove Hardy's inequality using martingale theory and Doob's maximal inequalities.
Let $\...
- 573
1
vote
0
answers
195
views
Uniform norm bounds for linear approximation of 1-Lipschitz functions
This problem seems like it should be quite easy/standard, but I've not found a solution written down anywhere.
Consider the set of 1-Lipschitz functions on the $[0,d]$ interval. Define the linear ...
- 181
1
vote
0
answers
123
views
On Riesz decomposition of Volterra operator
Let $T:L^2((0,1)) \to L^2((0,1))$ be the Volterra operator defined by
$$ Tf(x) = \int_0^x f(t)\,dt.$$
Given any $\lambda\neq 0$ it is well known that there exists some positive integer $n=n(\lambda)$ ...
- 4,153
1
vote
0
answers
96
views
Limit of alternating sum of factorial moments which diverge
Consider the non-negative, integer valued random variable $X$, and its $i^{\text{th}}$ factorial moment $E_{i}[X]$. Then we have that
$$
P(X=0) = \sum _{i=0}^{\infty} \frac{(-1)^i E_{r}[X]}{ i!}
$$
...
- 640
1
vote
0
answers
96
views
Building random homeomorphisms of the circle
Given a positive Borel measure without atoms $\tau$ on the circle $\mathbb T =\mathbb R /\mathbb Z =[0,1)$ , in https://arxiv.org/abs/0912.3423 a homeomorphism $h:[0,1)\to [0,1)$ is defined as
\...
- 101
1
vote
1
answer
125
views
Approximation of two densities with a single transformation
Let $p_1$ and $p_2$ be two probability densities and $X_i\sim N(\mu_i,\Sigma_i)$. Write $w(X)\sim p$ if the law of the random variable $w(X)$ has a density equal to $p$. For general densities $p_i$, ...
- 63
1
vote
0
answers
103
views
Real analytic map with connected fibers
Let $X,Y$ be compact real analytic varieties. Suppose $Y$ is connected and there is a surjective analytic map $f:X\to Y$ such that each fiber of $f$ is connected. How to prove that $X$ is connected as ...
- 14.3k
1
vote
0
answers
71
views
Control of solutions to nonlinear elliptic equations away from boundary
Let $\Omega$ be a bounded domain in $\mathbb R^3$ with a smooth boundary. Consider a smooth real valued function $F:\overline\Omega \times \mathbb R \to \mathbb R$ with the property that $\partial_s F(...
- 4,153
1
vote
0
answers
59
views
Identification of a limit point of a sequence of solution of ODE
Let $v^0$ and $v^1$ be the following vector fields over $\big(\mathbb{R}_+^*\big)^3$: for $x\in\big(\mathbb{R}_+^*\big)^3$ and $1\leq i\leq 3$,
\begin{align*}
& v^0_i(x)=x_i(x_{i-1}-x_{i+1}) \\
&...
- 449
1
vote
0
answers
155
views
Study of the class of functions satisfying null-IVP
$\mathcal{N}_u$ : Class of all uncountable Lebesgue-null set i.e all uncountable sets having Lebesgue outer measure $0$.
Let $f:\Bbb{R}\to \Bbb{R}$ be a function with the following property :
$\...
- 307
1
vote
0
answers
48
views
Optimal regularity of polynomial interpolators
Definitions
We define the "complexity" of any polynomial function $p:\mathbb{R}^n\rightarrow \mathbb{R}^m$ as $m\binom{n+\deg(p)}{n}$ (i.e the dimension of $\oplus_{i=1}^m\,\mathbb{R}[X_1,\...
- 5,405
1
vote
0
answers
75
views
finite (non-disjoint) open covering a finite set
A collection of sets $O_{\lambda}$ open covers a set $A$ in $\bf R$ that is bounded and measurable. Assume that $A$ can not be open covered by a finite subcollection of $O_{\lambda}$, let $\epsilon>...
- 11
1
vote
0
answers
48
views
Notation for dominating (or uniformly bounded) function
While I developing a new statistical estimator, I wondered is there any good notation for dominating (or uniformly bounded) function.
A situation like this. For some true function $f:\mathbb{R} \to \...
- 284
1
vote
0
answers
56
views
Differentiability of functions given as integral of some singular kernel
Let $A: \mathbb R_+\to [0,1]$ be $1/2$-Holder continuous and $k: \{(s,t): 0\le s\le t\}\to\mathbb R$ be continuous. Define $f:\mathbb R_+\to\mathbb R$ by
$$f(t):=\int_0^t\frac{k(s,t)}{\sqrt{t-s}}\big(...
- 1,334
1
vote
0
answers
142
views
Tiling a rectangle with squares
Recently, the German science journal Spektrum put online a riddle about squares being tiled to a rectangle:
The task was to determine the area of the rectangle tiled with $8$ squares, of which the ...
- 48.9k
1
vote
0
answers
73
views
Straightening a function supported on a strip
Given a positive smooth function $b:\mathbb{R}^{N+M}\to \mathbb{R}$ which vanishes exactly outisde of some $U\times\mathbb{R}^M$ ($U\subset \mathbb{R}^N$ open), is there another positive smooth ...
- 151
1
vote
0
answers
144
views
Zeroes of Mellin transform
There exist a "standard" or canonical way to construct a real valued function whose Mellin transform has a prescribed set of zeroes? Clearly for some set of zeroes this could be impossible ...
- 131
1
vote
0
answers
202
views
Function uniquely determined by its values at integer arguments
A smooth enough, slow growing real-valued function $f(x)$, is uniquely determined by its values at integer arguments. I don't remember the name of the theorem and the conditions for this to be true. ...
- 3,098
1
vote
0
answers
46
views
Help with a surface of delay differential equations
This question is difficult for me to phrase, as it's very much outside of my mathematical purview. This is a question which intersects directly with my research, but as I work predominantly in ...
- 388
1
vote
0
answers
37
views
Reference for a general theory of spaces of one-directional rays?
There is a lot of work done on projective spaces, over real, complex numbers or over an abstract field. But I do not find a reference for similar theory where the vectors are projected to the same &...
- 330
1
vote
0
answers
165
views
distance between two orthogonal projection matrices and its covering number
Let $X, Y \in \mathbb{R}^{n\times p}$ such that $\Vert X- Y \Vert_{HS} \leq \delta$ (Hilbert-Schmidt norm). Also, assume that both $X, Y$ have full column rank. Let the orthogonal prpjection operator ...
- 399
1
vote
0
answers
158
views
examples of function difficult to prove to be $\geq0$?
I have often wondered whether there has ever come a point in your research,
when you were confronted with an explicit real function $f(x_1,x_2,\ldots,x_n)$ and an explicitly defined compact set $S\...
- 211
1
vote
0
answers
35
views
How to relate this integration with the integral expansion of special functions?
I encounter the following integral when trying to find the inverse Fourier transform of the characteristic function of a certain sum of random variables. Here, $p\ge0$, $q\ge0$ are real, and $n,a,b$ ...
- 11