Highest scored questions
159,041 questions
-2
votes
1
answer
3k
views
Multiplying two Fourier series gives one Fourier series, but what are the new coefficients? [closed]
If I have $A(x)=B(x) C(x)$ (sine periodic from 0 to 1) rewritten as
$\sum_n A_n \sin(n \pi x)=\sum_m B_m \sin(m \pi x)\sum_p C_p \sin(p \pi x)$
is there any easier way to compute $A_n$ from $B_m,...
- 149
-2
votes
1
answer
578
views
conjecture of normal algebraic numbers [closed]
what has led to conjecture that all the irrational algebraic numbers are normal? is there some kind of evidence somewhere?
i know that there exists non-normal trascendental numbers like liouville's ...
- 188
-2
votes
1
answer
327
views
A Matrix equation
Let $A$ and $B$ be two $n \times n$ full-rank matrices.
Let $XAY = B$ be the given equation where $X$ and $Y$ are unknown $n \times n$ matrices. We know that $Vec(B) = (Y^{T} \otimes X)Vec(A)$. Under ...
- 800
-2
votes
1
answer
270
views
Complete proof system
How do I prove that a proof system is complete? I mean what are the guidelines to such proof?
- 1
-2
votes
1
answer
371
views
Localization of Formulas [closed]
Can someone point me to an article concerning the "inversion" of formulas?
- 761
-2
votes
1
answer
470
views
Little conjecture about sums of reciprocals
Given a finite list $x_i$ of $N$ positive reals, it seems that $\sum_{i=1}^N x_i = \sum_{i=1}^N x_i {}^{-1} \Rightarrow \sum_{i=1}^N x_i \geq N$. Can anyone give me a proof?
- 2,513
-2
votes
2
answers
954
views
Three modifications of connectedness
This question arose in my research of generalized connectedness (see this draft article for the overall idea, but beware that the draft is yet too preliminary and unreadable, however I hope you can ...
-2
votes
1
answer
292
views
Probability distribution needed [closed]
Let me clarify my needs. The PDF must comply to:
1. The mean is always in the shorter tail
2. Should have an inverse function
3. Be defined in the interval [0, 1]
4. Should have a shape parameter that ...
-2
votes
1
answer
780
views
commutative monoids have binary products? [closed]
Does the category CMonoid of commutative monoids have binary products?
thanks
- 1
-2
votes
1
answer
61
views
On the correspondence between infinitesimal and integral description of connections
It is the title of an article by Petko Nikolov Triste Sissa 1981. I cannot access this pdf yet I remember that it was once avaliable on libgen and now I cannot find it. Please help.
- 19
-2
votes
1
answer
77
views
integral ring extension implies algebraicity of their fraction fields extension?
$\DeclareMathOperator\Fr{Fr}$There is something I don't get about the following :
Start with the well known fact that if $A\subset B\subset C$ are rings with $B$ the integral closure of $A$ in $C$, ...
- 1,031
-2
votes
1
answer
121
views
Infinite sum related to Hurwitz Zeta
I want to evaluate the following sum:
\begin{equation}
\sum_{-\infty}^{\infty}\frac{(-1)^n}{(n+a)^2}
\end{equation}
Where $a\in\mathbb{R}$ is not an integer. Such is similar to $\zeta(2,a)$, but it ...
- 125
-2
votes
1
answer
43
views
$E(\mathbf{y}|\mathbf{x}+\mathbf{z})=g(\mathbf{x})$ almost surely, if $\mathbf{z}\perp \!\!\! \perp \{\mathbf{y},\mathbf{x}\}$ jointly?
Let $\mathbf{y},\mathbf{x}$ and $\mathbf{z}$ be real-valued random vectors with possibly different dimensions.
If $\mathbf{z} \perp\!\!\!\perp \{\mathbf{y},\mathbf{x}\}$ (i.e., $\mathbf{z}$ is ...
- 193
-2
votes
1
answer
118
views
Mismatch between equivalent definitions of the Bohr compactification of the reals
I feel I'm overlooking something very silly.
The Bohr compactification of $\mathbb R$ has two equivalent definitions.
The set of (possibly discontinuous) homomorphisms $\mathbb R \to \mathbb T$ under ...
- 1,955
-2
votes
1
answer
93
views
Express the connection between roots [closed]
$\DeclareMathOperator\elim{lim}\DeclareMathOperator\Lim{Lim}\DeclareMathOperator\lmb{lmb}\DeclareMathOperator\Lmb{Lmb}\DeclareMathOperator\mts{mts}$There are two similar functions; they determine the ...
- 55
-2
votes
1
answer
62
views
Inner Products of Elements in Spherical Cap [closed]
I am interested in understanding what is the lowerbound on the inner products of two elements of a sphere. Based on my intuition in dimension 2, I come up with the following conjecture. I appreciate ...
- 139
-2
votes
1
answer
120
views
Is this single-variable function being called with two variables (and if so, how do I handle that), or am I misreading the notation? [closed]
While working on a project, I came across a paper that includes this sum on page 15 as the definition of a support function $r$ for a surface with tetrahedral symmetry:
$$
r(ξ, \bar{ξ}) = \frac{1}{\#𝒢...
- 105
-2
votes
1
answer
217
views
If a continuous function is differentiable at a point, is it differentiable in some neighborhood around that point? [closed]
This seems like it should be true but I was wondering if anyone could prove it. Thanks!
- 109
-2
votes
1
answer
211
views
Giving meaning to and solving a second-order stochastic differential equation with white noise
I have encountered a second-order stochastic differential equation (SDE) of the form:
$$
\frac{d^2 T}{dr^2} = (1 + W(r)) (r - A)(r - B)$$
where $r \in (A, B)$ and $W(r)$ is, for example, white noise. ...
- 31
-2
votes
1
answer
188
views
Can this Rosser-like trick also work as a proof of the first incompleteness theorem?
The context of this question is related to proving the first incompleteness by alternative ways related to Rosser's trick. So, for a proof by negation, we assume that $T$ is complete, and fulfills ...
- 11.3k
-2
votes
1
answer
117
views
convergence for a series [closed]
Show that the series
$$\sum_{n=2}^{\infty}\frac{1}{[\frac{(1+\epsilon)\log n}{\log\log n}]!}$$converges for $\epsilon>0$.
Stirling's approximation gives that the convergence for the series is ...
- 125
-2
votes
1
answer
120
views
Is this limit a tangent vector? [closed]
Let $M$ be a smooth compact sub-manifold of $\mathbb R^d$. Let $p\in M$ and $x_n,y_n \in M$ be sequences such that $x_n,y_n\rightarrow p$. Does the following hold when passing to a convergent sub-...
- 71
-2
votes
1
answer
336
views
How to compute the spectral norm of this matrix [closed]
Consider $$\left\|2\sum_{i<j}L_{ij}+4\sum_i \operatorname{diag}e_i \right\|,$$ where
(1) $L_{ij}=\operatorname{diag}e_i+\operatorname{diag}e_j-e_ie_j^T-e_je_i^T$
(2) $e_i$ denotes $n$-by-$1$ vector ...
- 405
-2
votes
1
answer
167
views
If we limit matters what ZFC can prove, would that be consistent?
I was thinking about a principle that occurred to me regarding provability in ZFC and truth. The principle outrageously states that: whatever ZFC shows, it is! In other words whatever ZFC can prove ...
- 11.3k
-2
votes
1
answer
101
views
Understanding the performed change of variable in this integration [closed]
I'm stuck on a passage I do not understand, which reads:
$$\int_{r<|y|<1} \bigg| \frac{1}{(|y|^2 - r^2)^s |y|^n} - \frac{1}{|y|^{n+2s}}\bigg|\ \text{d}y$$
$$\int_1^r \bigg| \frac{1}{(t^2 - r^2)^...
- 99
-2
votes
1
answer
158
views
Are isomorphic quotients of abelian groups induced by automorphisms? [closed]
If I have an (abelian) group $G$ and an automorphism $\sigma: G \to G$ then for any subgroup $H$ of $G$ there is an induced isomorphism $G/H \cong G/\sigma(H)$ given by the map $gH \mapsto \sigma(g)\...
- 13
-2
votes
1
answer
1k
views
Derivative of log determinant [closed]
Let $x_i \in\mathbb{R}^d$ and $a_i\in [0,1]$ for $i = 1,\dots,k$. How to compute the following derivative?
$$
\frac{d}{da_j}\log \det\left(\sum_{i = 1}^k a_ix_ix_i^\top\right).
$$
- 245
-2
votes
1
answer
221
views
Hypergeometric function with changed argument [closed]
I have the hypergeometric function $_2F_1 (a, b,c, p\cdot z)$, where $p$ is a parameter and $z$ is the independent variable. I would like to know how the former function is related to the standard ...
- 77
-2
votes
1
answer
476
views
Is a function piecewise continuous if it has a left-limit and a right-limit at every point in its interval domain and equals at least one of these? [closed]
Suppose a real-valued function f, whose domain is an interval, has the property that
at every point in its domain it has a left-limit and a right-limit, and it equals at least one of these. Is it ...
-2
votes
1
answer
261
views
Is it possible to express $\int_{0+\epsilon}^{1-\epsilon}\left(\sqrt{1-x^2}^{\sqrt{1-x^2}^{\cdots}}\right) dx$ in elementary functions?
let $\epsilon >0$, I tried to evaluate $\int_{0+\epsilon}^{1-\epsilon}\left(\sqrt{1-x^2}^{\sqrt{1-x^2}^{\cdots}}\right) dx$ , using the fact $x= \cos t$ yield to have integrand using $\sin $ ...
-2
votes
1
answer
968
views
Bounding the product of lipschitz function [closed]
Assume we know that $f(x,y): \mathbb{R}^{a+b} \to \mathbb{R}^d$ is lispchitz w.r.t. $y$, i.e.
$$\|f(x,y) - f(x,y')\| \leq L \|y-y'\|.$$
Is there a way to bound the product $f(x,y)\cdot f(x,y')^T \in\...
- 245
-2
votes
1
answer
138
views
Weak center is same as center for $C^{\ast}$-Algebra? [closed]
Let $A$ be a $C^{\ast}$-algebra. We say $A$ is weakly commutative if $ab^*c=cb^*a$ for all $a,b,c \in A$ and define weak center of $A$ as $$Z_w(A)= \{ v \in A : av^*c=cv^*a \;\forall a,c \in A \}.$$
...
- 1,115
-2
votes
1
answer
421
views
Shortest Path finding in vector fields (2D and 3D) [closed]
Hoping someone may be able to point me in the right direction so I can research this topic further.
Scenario: You have a vector field (either 2D or 3D) and you wish to find the shortest path between ...
- 21
-2
votes
1
answer
135
views
Proof of: If $f(x)=p(x)+o(x^n)$ for $x \to 0$, then $b_{k}=\frac{f^{(k)}(0)}{k !} $ for $ k=0,1, \ldots, n$ [closed]
Before the current problem I work on, I proved the following:
Let $q$ be a polynomial with $\deg(q) \le n$. If $q(x)=o(x^n)$ for $x \to 0$, then $q$ is the zero polynomial.
I have to use the ...
- 99
-2
votes
1
answer
147
views
Asymptotics for certain integrals
I stumbled on the following problem, if you can see a way through it.
Let $x$ be a real variable and fix a real value $\frac14\leq\nu\leq\frac34$.
QUESTION. For $x\rightarrow0$, does there exist a ...
- 43.2k
-2
votes
1
answer
155
views
Does MK prove internally that there are more proper classes than sets?
Is the following provable in MK?
$\not \exists S: \\ \text{ } \\1. \ \ \forall s \in S \exists a,b (s=\langle a,b \rangle) \\ \text{ } \\2. \ \ \forall x (set(x) \to \exists! X (\neg set(X) \land \{...
- 11.3k
-2
votes
1
answer
128
views
Is the principle of indifference of hierarchical construction consistent? What's its consistency strength?
Sometimes when one tries to capture the abstract aspect of some notion that is intuitively considered as being truly of abstract nature, in set theoretic terms, then this can extend the theory in a ...
- 11.3k
-2
votes
1
answer
434
views
Building intuition in algebraic number theory [closed]
How do you build your intuition in algebraic number theory?
Generally my intuition in elementary number theory came from just numerically fiddling with python (and also elementary number theory is ...
- 105
-2
votes
2
answers
280
views
Balls into bins with random number of balls
In the classical balls into bins we throw $m$ balls into $n$ bins. We throw the balls independently of each other and the probability of choosing the bins is uniform. For $n=m$ it is known that the ...
-2
votes
1
answer
203
views
Flat cohomology and finite direct sum
Let $X$ be a scheme (we can assume $X$ is smooth over a field $k$). Let $\mathcal F_1$ and $\mathcal F_2$ be two sheaves of abelian groups on $X$.
Is it always true that $H^i_{\text{flat}}(X, \...
- 167
-2
votes
1
answer
75
views
Approximation for $ \inf\{r>0,(n-r,n+r)\in\mathbb{P}^{2}\} $ by minimizing a distance
Under Goldbach's conjecture, let $r_{0}(n) : =\inf\{r>0,(n-r,n+r)\in\mathbb{P}^{2}\} $ and $k_{0}(n) : =\pi(n+r_{0}(n))-\pi(n-r_{0}(n)) $. The PNT implies that one can expect to have $ \dfrac{...
- 6,982
-2
votes
1
answer
165
views
Relationship between "Radial" Fourier transform and Fourier transform, especially at infinity
Let $\phi:\mathbb{R}^n \to \mathbb{R}$ be a $C^{\infty}$ function with compact support.
What is the relationship between
$$
\widehat{\phi}(k) = \int e^{-2\pi i x \cdot k} \phi(x) dx, \quad k \in \...
- 469
-2
votes
1
answer
1k
views
Component and quasi-component
Let $X$ be a topological space and $x\in X$. Then the quasi-component of the point $x$, denoted by $C_x$, is the intersection of all clopen (closed-and-open) subsets of $X$ which contain the point $x$...
- 1
-2
votes
1
answer
219
views
Meaning of notations in Rost's cycle modules
In chapter 2 of markus Rost's "Chow Groups with Coefficients", I encountered the notations $c_{\kappa(v)\vert F}$ and $r_{\kappa(v)\vert F}$ in formula (2.1.0) and in the homotopy property for $\...
- 141
-2
votes
2
answers
325
views
$f\in (W^{1,p}(\Omega)\cap C(\Omega) \cap L^{\infty}(\Omega))\setminus C(\bar{\Omega})$, $f=0$ on $\partial \Omega$ imply $f\in W^{1,p}_{0}(\Omega)$?
Q1:
Let $p\geq 1$, and let $f\in W^{1,p}(\Omega)\cap C(\Omega)$. Assume also
$f\in L^{\infty}(\Omega)$ and $f=0$ on $\partial \Omega$. Is it true that
$f\in W^{1,p}_{0}(\Omega)$ even if $f\notin C(\...
- 852
-2
votes
1
answer
112
views
Bochner theorem for complete manifolds
Let $(M,g)$ be a complete oriented Riemannian manifold. If $Ric ≥ 0$ on $M$, then any harmonic 1-form $\alpha$ is parallel i.e $x\to |\alpha|^2_{g,x}$ constant?
- 17
-2
votes
1
answer
90
views
Partitioning finite hypergraphs with edges [closed]
Let $H=(V,E)$ be a hypergraph such that $|V|$ is infinite, and the following statements hold:
if $a\neq b\in E$ then $|a\cap b|\leq 1$, and
every vertex $v\in V$ is contained in at least $2$ members ...
- 48.9k
-2
votes
1
answer
207
views
Which properties of L-functions can be proven assuming they are objects of a symmetric bimonoidal category?
The title says it all : assuming all L-functions are objects of a symmetric bimonoidal category $ (\mathcal{C},\oplus,\otimes,s\mapsto 1,\zeta) $ , where $ \oplus $ stands for the usual product, ...
- 6,982
-2
votes
1
answer
408
views
Towers of induced functions
Suppose $\mathbb{X}$ and $\mathbb{Y}$ are classes, and $f:\mathbb{X}\rightarrow\mathbb{Y}$. It seems like pretty standard course to consider an 'induced function' $f:\mathcal{P}\mathbb{X}\rightarrow\...
- 10.1k
-2
votes
1
answer
319
views
Algorithm for finding numbers with an even partition number
NOTE: After edit question became about set partitions, which not was I intended, so this is second try.
Is there an algorithm for producing an infinite subset of set of integer partition numbers p(n) ...
- 195