All Questions
7,280 questions
1
vote
1
answer
330
views
Does $\sum_{n=1}^{\infty}\frac{(-1)^n e^{\sin{n}}}{\sqrt{n}}$ converge?
I am trying to study the converge of the series
$$\sum_{n=1}^{\infty}\frac{(-1)^n e^{\sin{n}}}{\sqrt{n}}$$
But $e^{\sin{n}}$ is not monotone, and the Abel's test rule fails here. Can someone help me? ...
- 348
0
votes
1
answer
139
views
Proving negativeness of function involving $-\log t$
I have been trying to solve the following function is non-increasing with respect $\theta$
\begin{equation}
h(t,\beta) = \frac{1-t-\frac{\beta(-\log t)^{\theta}}{\theta(-\log \beta)^{\theta -1}}}{1-\...
- 128k
7
votes
1
answer
271
views
Sequential continuity and the Axiom of Choice
It is well-known that ZF cannot prove the following:
"for a function $f$ from reals to reals and any real $x$, $f$ is continuous at $x$ if and only if $f$ is sequentially continuous at $x$."...
- 4,316
1
vote
2
answers
102
views
About the recursive inequality $w_p \geq (1-\frac {\pi}n)w_{p-2n} + 2\pi + o(1)$
Suppose we have a non-decreasing sequence of positive real numbers that tend to infinity: $0<w_1\leq w_2\leq w_3\leq...$ It is known that:
For every $n$ and $p\geq 2n$, we have $w_p \geq (1-\frac {...
- 6,476
3
votes
1
answer
966
views
Continuity of minimizers to distance function from point to convex set
Suppose I am minimizing the Euclidean distance in $\mathbb{R}^{n}$ between a point $y$ and compact convex set $U$ (where $y\notin U$):
$\min_{x\in U}\|x-y\|$.
I believe the minimizer $x_{U}^{*}$ is ...
CommunityBot
- 1
2
votes
0
answers
99
views
Closed form for $\int_0^{+\infty} \ln^p(t) \frac{\sin^q(t)}{t^r}dt$
Do you know if there exists a closed form for the integral :
$$I_{p,q,r} = \int_0^{+ \infty} \ln^p(t) \frac{ \sin^q (t)}{t^r} dt$$
where $p$, $q$, $r$ are natural integers such as this integral ...
- 12.9k
0
votes
0
answers
73
views
An example of a groupoid that satisfy the following hypothesis
In the paper titled, 'Tannaka–Krein duality for compact groupoids I, Representation theory', the author proves the Peter Weyl theorem on compact groupoids. In the statement, he gives the hypothesis ...
0
votes
0
answers
60
views
Criteria for log-absolute-monotonicity
Consider a function $f: [0,1] \rightarrow \mathbb R$ defined by a power series $f(x) = a_0 + a_1 x + a_2 x^2 + \dots$, where all $a_i$ are positive.
Is there are any criterion in terms of the ...
- 3,475
2
votes
1
answer
133
views
Points of differentiability of convex functions
Let $U$ be an open neighbourhood of $0 \in \mathbb{R}^2$ and $f\colon U \to \mathbb{R}$ a convex (and bounded) function. Denote by $D \subset U$ the set of points on which $f$ is totally ...
- 128k
2
votes
0
answers
86
views
Higher cohomology groups for the trivial action of the reals on themselves
For a freely generated countable abelian group $A$ with the trivial action on itself ($a\cdot b = b$) the resulting cohomology groups are well-known and eventually vanish (see e.g. here). Coming from ...
- 1,411
2
votes
2
answers
2k
views
How to compute inverse of sum of a unitary matrix and a full rank diagonal matrix?
$C = A+D$, $A$ being a unitary matrix and $D$ a full rank diagonal matrix. Is there any easy way to compute $C^{-1}$ from $A^{-1}$ and $D$, if it exists?
I am interested in this question, because my ...
CommunityBot
- 1
2
votes
1
answer
456
views
Integrality certification for product of two matrices $A B^{-1}$
Let's consider two non-singular integer matrices $A,B \in\mathbb{Z}^{n\times n}$. I want a test to check if $A\times B^{-1}$ is integral (or no denominators). I am referring the unimodular ...
CommunityBot
- 1
-1
votes
1
answer
61
views
Asking for some references on correlations of joint optimization problems
Here are two problems that I am trying to understand, and it would be nice if someone could provide references on whether there is some structure theorem for these problems that have been studied in ...
- 12.7k
0
votes
1
answer
102
views
Minimally change matrix with determinant 0
In the following matrix equation, all coefficients $a_{ij}>0$ and all $a_i>0$ and the column sums in the matrix $A$ are all 0
(e.g. $-a_{11}+a_{21}+a_{31}=0$, etc.).
This means that
the ...
- 12.9k
6
votes
1
answer
817
views
Is the $L^\infty$ norm of the derivative the same under the Hausdorff and Lebesgue measure?
Note: Here $\mathcal H^k$ denotes the $k$-dimensional Hausdorff measure, and $\|f\|_{L^\infty (\mathcal H^k)}$ denotes the $L^\infty$ norm of a function $f$ with respect to $\mathcal H^k$.
Let $\Omega$...
- 6,215
4
votes
1
answer
249
views
Does this functional admit an absolute minimizer?
This is a close relative of the following problem.
Let $\Omega$ be an open, bounded subdomain of $\mathbb R^n$ with smooth boundary, and $f_i \in W^{1, \infty} (\Omega)$ a sequence of functions ...
- 6,215
7
votes
1
answer
346
views
Mean Cauchy sequences
Let $X$ be a complete metric space. Suppose a sequence of elements $x_n$ is Cauchy in mean, in the sense that
$$\lim_{K \to \infty} \limsup_{N, M \to \infty} \frac{1}{NM} \sum_{i = K+1}^{K + N} \sum_{...
- 6,215
3
votes
1
answer
428
views
Minimum upper bound for sum of the entries of the inverse covariance matrix
Let $x \in \mathbb{R}^n$ and $k$ is RBF kernel
$$k(x, x') := \exp \left(-\frac{\|x-x'\|^2}{2\sigma^2}\right)$$
and let $\mathbf{K}$ be the following $n \times n$ covariance matrix
$$\mathbf{K} = \...
CommunityBot
- 1
2
votes
1
answer
506
views
Effect of duplicated row on singular values and vectors
Let $\mathbf{A}$ be a $n\times n$ matrix with Singular Value Decomposition (SVD) $\mathbf{A}=\mathbf{U}\mathbf{S}\mathbf{V}$ and $\mathbf{a}_1$ be the first row of $\mathbf{A}$. What can we say about ...
CommunityBot
- 1
2
votes
1
answer
309
views
Reverse estimate on the Riesz potential $I_\alpha : L^{n/\alpha}\to \mathrm{BMO}$
$\newcommand\BMO{\mathrm{BMO}}$Consider the Riesz potential on $\mathbb{R}^n$ given by
$$
I_\alpha f(x) = c_{n,\alpha} \int_{\mathbb{R}^n} \frac{f(y)}{\lvert x-y\rvert^{n-\alpha}} dy.
$$
It is known ...
CommunityBot
- 1
7
votes
1
answer
224
views
Does the decomposability of $\mathbb{R}$ imply analytic LLPO?
By "BISH" I mean constructive mathematics without axiom of countable choice.
By $\mathbb{R}^f$ I mean real numbers as fundamental sequences of rational numbers and by $\mathbb{R}^d$ I mean ...
- 32.5k
2
votes
1
answer
1k
views
The difficulty of generate complex Hadamard matrix
A complex $n\times n$ matrix $A=[a_{ij}]$ is called a Hadamard matrix if $A^{+}A=nI$ and $|a_{ij}|=1$ holds for all $i,j$, where $A^{+}$ denotes the conjugate transposed matrix of $A$, and a vector $...
CommunityBot
- 1
7
votes
2
answers
706
views
Poisson binomial conjecture
Let $X_i\in\{0,1\}$
be mutually independent and distributed according to $\mathrm{Bernoulli}(p_i)$
and similarly, $Y_i\sim\mathrm{Bernoulli}(q_i)$,
for some parameters $p,q\in[0,1]^n$. Put $X:=\sum_{i=...
- 148k
2
votes
1
answer
315
views
Are surjective homogeneous maps open at zero?
I'm asking this question as a follow-up inspired by this one: An open mapping theorem for homogeneous functions?
I'm actually wondering whether there exists an homogeneous map $f:\mathbb R^n\to\mathbb ...
- 60.5k
3
votes
1
answer
240
views
Solutions and asymptotics of the ODE $ f''=f^{-\alpha} $
Consider the ODE $ f''=f^{-\alpha} $, where $ \alpha>1 $ and $ f>0 $ in $ \mathbb{R} $. Assume that for $ [f]_{\frac{2}{\alpha+1}}\leq A $, where $ A>0 $ is a constant and
$$
[f]_{\frac{2}{\...
- 7,817
2
votes
1
answer
158
views
The relationship between a matrix and its coefficient matrix decomposed in Pauli matrix
For a dimension-$4$ Hermitian matrix $A$, denote pauli matrices $\{I,X,Y,Z\}$ as $\{\sigma_0,\sigma_1,\sigma_2,\sigma_3\}$ respectively. The pauli matrices form a basis of the matrix space if we take ...
- 256
4
votes
1
answer
111
views
Scaling of stopped Hölder norm of Brownian motion
I'm interested in the behaviour of the stopped $\alpha$-Hölder norm of a one-dimensional real-valued Brownian motion $(B_t)_{t \geq 0}$ for $\alpha < 1/2$.
For fixed $T>0$, self similarity ...
- 5,474
0
votes
1
answer
153
views
Lebesgue measure of the level set of sum of two nonnegative functions
Let $f, g:\mathbb{R}^n\to \mathbb{R}$ be nonnegative functions such that $g$ is a strictly positive homogeneous function. As commented by Fedor Petrov below, one may not have that for any $\lambda>...
- 109k
4
votes
1
answer
341
views
Lebesgue points of a function is not affected by multiplication of the integrand with a smooth function?
Let $S^1$ be the circle, let us consider a function $f(x,t): S^1 \times [0,\infty) \to \mathbb{R}$ such that
\begin{equation}
\int_0^T \int_{S^1} \lvert f(x,t) \rvert dxdt <\infty
\end{equation}
...
CommunityBot
- 1
3
votes
2
answers
614
views
Should coffee machines be placed at the region's boundary?
This is a continuation of Should coffee machines be deconcentrated?
Recall that some region is denoted by convex and compact $E\subset \mathbb R^2$. $N\ge 1$ coffee machines are provided for the ...
- 128k
-4
votes
1
answer
302
views
A Question in Fourier Analysis proposing a conjecture
Let $f$ be a $2\pi$ periodic BV function whose derivative is also BV.Let the amount of jump at a point $x$ is denoted as $\lfloor f \rfloor (x) = f(x+0)-f(x-0)$ Define function $J:\mathbb{R} \to\...
- 698
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$, ...
CommunityBot
- 1
7
votes
1
answer
179
views
More on the Gram matrix of $6$ unit vectors in $\Bbb R^3$
Let $G=(g_{ij}\colon i,j=1,\dots,6)$ be the $6\times6$ Gram matrix of $6$ unit vectors in $\Bbb R^3$. Let
$$u:=\sum_{1\le i<j\le 6}g_{ij}^2,\quad v:=\sum_{1\le i<j<k\le 6}g_{ij}g_{ik}g_{jk}.$$...
- 105k
6
votes
2
answers
492
views
Does this polynomial have a real zero less than or equal to $1/2$?
Is the smallest root $x$ of
$$
10x^{3}-30x^{2}+\left(30-2\sum_{1\le i<j\le6}\cos^{2}\alpha_{ij}\right)x\\
+2\sum_{1\le i<j\le6}\cos^{2}\alpha_{ij}-\sum_{1\le i<j<k\le6}\cos\alpha_{ij}\cos\...
- 105k
9
votes
3
answers
2k
views
Smallest root of a degree 3 polynomial
Is it true that the smallest root $t$ of the polynomial
$$
20 t^3 - 30 t^2 + (12 - 4 \cos^2 \alpha - 4 \cos^2 \beta - 4 \cos^2 \gamma) t + \cos^2 \alpha + \cos^2 \beta + \cos^2 \gamma - 2 \cos \alpha \...
- 105k
-1
votes
1
answer
122
views
Divergent summation [closed]
Let $(x_i)_{i=0}^\infty$ be a sequence such that $0<x_i<1\ \forall i \in \mathbb{N} \cup {0}$.Consider the following series:
$$\sum_{i=1}^\infty \frac{x_i}{\left(\sum_{k=0}^{i-1} x_k \right)^2}.$...
- 21
1
vote
1
answer
127
views
approximating differentiable functions with double trigonometric polynomials
Let $Q = [0,1]^2$. For sake of notation, let
$$
f^{(i,j)}(x,\xi) = \frac{\partial^{i+j}}{\partial x^i \partial \xi^j}f(x,\xi).
$$
Fix some non-negative integer $k$. Moreover let $f\in C^k(Q)$ if
$$
\|...
CommunityBot
- 1
2
votes
1
answer
231
views
Is Boltzmann entropy well-defined for arbitrary probability density function?
$\newcommand{\bR}{\mathbb{R}}\newcommand{\diff}{\mathop{}\!\mathrm{d}}$ We define a continuous function $\varphi : \bR_+ \to \bR$ by
$$
\varphi (s) :=
\begin{cases}
0 &\text{if} \quad s =0 , \\
s \...
- 128k
4
votes
1
answer
96
views
On the Gram matrix of $6$ unit vectors in $\Bbb R^3$
Let $G$ be the $6\times6$ Gram matrix of $6$ unit vectors in $\Bbb R^3$.
Can the mean of the squares of the off-diagonal entries of $G$ be $<1/5$?
Remark 1: A numerical experiment suggests that $...
- 109k
1
vote
1
answer
130
views
Existence of solutions to a series of integral equations
I am trying to solve the following integral equation analytically:
$$
\sum_{n \geq 1} \left( \int_0^te^{-n^2(t-s)} f_n(s) \, ds \right) = g(t), \quad t \in [0, T],
$$
where $(f_n(t))_n$ is the unknown ...
CommunityBot
- 1
11
votes
2
answers
425
views
Maximization of a cubic form over the $14$-dimensional sphere
For any integers $i$ and $j$ such as $1\le i<j\le6$, let $x_{ij}$ be a nonnegative real number.
Is it true that, given the condition
$$\sum_{1\le i<j\le6}x_{ij}^2=1,$$
the sum
$$\sum_{1\le i<...
- 109k
45
votes
5
answers
3k
views
An "analytic continuation" of power series coefficients
Cauchy residue theorem tells us that for a function
$$f(z) = \sum_{k \in \mathbb{Z}} a(k) z^k,$$
the coefficient $a(k)$ can be extracted by an integral formula
$$a(k) = \frac{1}{2\pi i}\oint f(z) z^{-...
- 6,367
0
votes
1
answer
127
views
Under what conditions does $x^TA^{-1}y> 0$ hold? $A$ is a symmetric positive definite matrix,$A\in \mathbb{R}^{n\times n}_+, x,y\in \mathbb{R}^{n}_+$
This is a tricky problem I encountered in my research. $A\in \mathbb{R}^{n\times n}_+, x,y\in \mathbb{R}^{n}_+$, i.e. $\forall 1\leq i \leq n, 1 \leq j\leq n, A(i, j)>0, x(i), y(i)>0$.
As known, ...
- 20.2k
1
vote
0
answers
125
views
Relating singular homology of function spaces: a natural transformation from $C(\mathbb{R}, -)$ to $L^p(\mathbb{R}, -)$
Consider the category $\mathcal{Top}_*$ of pointed topological spaces and continuous basepoint-preserving maps. Let $C(\mathbb{R}, X)$ denote the space of continuous maps from the real line $\mathbb{R}...
- 63.9k
2
votes
0
answers
58
views
$L^2$ approximation of delta functions on real algebraic varieties and asymptotic bounds
Let $X$ be a smooth projective variety over $\mathbb{C}$ of dimension $n$. Consider a probability measure $\mu$ on $X(\mathbb{R})$, absolutely continuous with respect to the Lebesgue measure induced ...
- 63.9k
0
votes
0
answers
100
views
Construct a bi-Lipschitz mapping that maps a cube to a ball which has the same center with the cube
A mapping $f: \mathbb{R}^n\to \mathbb{R}^n$ is said to be $K$-bi-Lipschitz, $K>1$, if
\begin{equation*}
\dfrac{1}{K}\leqslant \dfrac{|f(x)-f(y)|}{|x-y|}\leqslant K,
\end{equation*}
for any $x,y\in \...
- 69
0
votes
0
answers
71
views
Nearest integer to fractional power series
Let $k$ be a positive integer. Let
$$\displaystyle f_0(x) = a_n x^{\frac{n}{k}} + \cdots + a_1 x^{\frac{1}{k}} + a_0 + \sum_{h \geq 1} a_{-h} x^{-\frac{h}{k}}$$
be a Laurent series in the variable $x^{...
- 26.9k
2
votes
0
answers
152
views
Riesz transform of constant function
My one-line question would be, what is the Riesz transform of the constant function, identically equal to 1 on $\mathbb{R}^2$?
But more fundamentally, my question stems from some confusion about the ...
8
votes
0
answers
103
views
Sobolev embedding theorems in vector bundles on non-compact manifolds
Let $(M,g)$ be a smooth (not necessarily compact) Riemannian $n$-manifold. It is well-known that dealing with Sobolev spaces in the general non-compact case becomes tricky, since for instance, there ...
- 7,817
2
votes
1
answer
474
views
Polynomial $f(x)$ has positive coefficients and only real roots. How many polynomials formed from terms of $f(x)$ also have only real roots?
Let
$$f(x)=a_n \ x^n+a_{n-1} \ x^{n-1}+\cdots+a_1 \ x+a_0$$
be a $n$-th degree polynomial with positive coefficients such that all of its roots are real. Choose any number terms from this expression ($...
- 5,409