« first day (1 day earlier)      last day (1484 days later) » 

1:39 AM
1
Q: Eigenvectors of rank one update matrix

dxdydzLet $D= \text{diag}\{d_1,d_2,...,d_n\} \in \mathbb R^{n\times n}$ be the diagonal matrix, $v \in \mathbb R^{n}$ be the column vector. Then the eigenvalues of the rank one update matrix $D+\alpha vv^T$ can be found as roots of the secular equation:$$f(\lambda) = 1+\alpha \sum_{i=1}^n \frac{v_i^2}{...

 
2:08 AM
3
Q: Hatcher n-Torus Cohomology

Rithvik ReddyOn pg 210 and 211(section 3.2, example 3.11), Hatcher attempts to prove that $H^{k}(T^{n},R)$ has basis the cup products $\alpha_{i_{1}} \smile \cdots \smile \alpha_{i_{k}}$ where $i_{1}< \cdots < i_{k}$ and $T^{n} $ is the n-Torus. He first shows that if $\alpha \in H^{1}(I,\partial I;R)$ is a g...

 
 
1 hour later…
3:14 AM
2
Q: Comparing "axiomatized function spaces"

Noah SchweberLet $C(\mathbb{R}^2,\mathbb{R})$ be the space$^1$ of all continuous functions $\mathbb{R}^2\rightarrow \mathbb{R}$. I'm interested in analyzing subspaces of $C(\mathbb{R}^2,\mathbb{R})$ determined by first-order theories, especially finite equational theories. Specifically, for $T$ a set of first...

5
Q: How many "$Q$-like" sentences are there?

Noah SchweberCall a sentence $\varphi$ in the language of arithmetic $Q$-like iff $\mathbb{N}\models\varphi$ and $\{\varphi\}$ is essentially incomplete (= no computably axiomatizable theory containing $\varphi$ is complete and consistent). The standard example is the conjunction of the finitely many axioms o...

 
3:37 AM
0
Q: How to maximize (take derivative) of expectation involving binomial probability?

John SmithHere $k$ and $n$ are fixed positive integers. I need to find the maximum of $f(x) = E[5\min(m, k) +\frac{kx}2]$ for $x$ between 0 and 10. Here we have $m \sim Bin(n, 1-\frac x{10})$. The problem here is that $x$ lies in the probability of the binomial random variable. We can actually write $f...

 
4:03 AM
2
Q: Find all integer z for which there exist a Nth degree polynomial P that $P(z)$ is not an integer, and $P(0),P(2),P(3),\cdots,P(N+1)$ are integers.

dodicta Let $P(x)$ be a polynomials of degree $N$ with real coefficients such that $P(0),P(2),P(3),\cdots,P(N+1)$ are integers. Find all integer $z$ for which there exist a polynomial $P$ that $P(z)$ is not an integer. Note that we don't refer to $P(1)$. my question: Is there any rules for $z$? ex...

 
4:31 AM
2
Q: $N$ successive integers are linearly independent if they are large compared to $N$

Ewan DelanoyIs it true for any $N\geq 1$, there is a value $f(N)$ such that for any integer $x\geq f(N)$ the integers $x+1,x+2,x+3,\ldots ,x+N$ are always multiplicatively independent (i.e. the relation $(x+1)^{e_1}(x+2)^{e_2}\ldots (x+N)^{e_N}$=1 with the $e_k\in{\mathbb Z}$ is possible only when all those ...

 
4:54 AM
5
Q: Are epimorphisms in the category of Stone spaces surjective?

Jonas FreyClearly, if a map between Stone spaces is surjective on points it is an epimorphism. In the category of topological spaces, surjections coincide with epimorphisms. In the category of Hausdorff spaces, epimorphisms are precisely the continuous functions with dense image: in one direction, dense ma...

 
5:39 AM
2
Q: Integer sequence $(u_n)$ satisfying $(an+b)u_{n+1}=(cn+d)u_n$

Ewan DelanoyThe integer-valued sequence $u_n=\binom{2n}{n}$ satisfies the recurrence relation $(n+1)u_{n+1}=2(2n+1)u_n$. My question : for which values $a,b,c,d\in{\mathbb Z}$ is there a sequence $(u_n)$ (not eventually constant) satisfying the recurrence relation $(an+b)u_{n+1}=(cn+d)u_n$ ? My thoughts : ...

 
6:24 AM
2
Q: Why these two inequalities are not the same even though they use the same equation?

TechnoKnightI just don't get it, like at all. $U_{n}$ is an iteration defined on $\mathbb{N}$, btw. The question was: $$\begin{align} U_{n+1} &= \frac{8U_n - 8}{U_{n} + 2} = 8 - \frac{24}{U_{n} + 2}\\ U_0 &= 3 \end{align} $$ "Prove that $3 \leqslant U_n \leqslant 4$ by using Mathematical Induction" ...

 
7:04 AM
2
Q: Example of a Hamiltonian Lie group action

JohnduckI was wondering why the following Lie group action is Hamiltonian. Equip $\mathbb{C}^{k\times n}\cong\mathbb{R}^{2kn}$ with the canonical symplectic form $\omega_0$ on $\mathbb{R}^{2kn}$. We have an action by the Lie group $G=U(k)$ on $\mathbb{C}^{k\times n}$ by matrix multiplication, which is ...

 
7:30 AM
I have tried to add at least those tags which are reasonably big.
I have also asked the the mods' office whether a moderator would be willing to rename the HNQ feed.
in Math Mods' Office, 3 hours ago, by Martin Sleziak
I have previously asked in Pearl Dive, but I got no response. Would some moderator be willing to rename the feed with HNQs in this room to HNQ or some similar name? And I have the same request for this room.
in Math Mods' Office, 3 hours ago, by Martin Sleziak
I was told that mods can do that by the user who created Hot Network Questions room.
 
 
1 hour later…
8:46 AM
2
Q: Proving that two integrals are proportional to each other (Fourier Analysis)

Ray BernI want to show that there exists a constant $C>0$ such that for all functions $f\in S(\mathbb{R})$, $$\int_{\mathbb{R}}\int_{\mathbb{R}}\frac{|f(x+h)+f(x-h)-2f(x)|^2}{|h|^3}dxdh=C\int_{\mathbb{R}} |f'(x)|^2dx.$$ My idea was to use Plancherel's theorem to obtain the equivalent equality (taking Fou...

 
 
2 hours later…
10:48 AM
0
Q: Maximal cardinality of collection of cross-like shapes in the plane

MiltenHere are two related problems I have encountered several times before: $i)$ Show that there can only be countably many pairwise disjoint crosses in the plane. $ii)$ Show that there can only be countably many pairwise disjoint figure eights in the plane. A cross is defined as the union of...

 
11:37 AM
2
Q: Find the roots of a 6th order Taylor polynomial

Oreofishking Let $P(x)$ denote the sixth-order Taylor polynomial of $$e^{-2x}-3x\cos x+5\sin x$$ at $x=0$. Let $a_1,a_2,a_3,a_4,a_5,a_6$ denote the six roots (complex roots are allowed) of the equation $P(x)=0$. If $a_1+a_2+a_3+a_4+a_5+a_6=\frac mn$ where $m$ and $n$ are two positive integers with no c...

 
 
2 hours later…
1:08 PM
4
Q: Hilbert's Hotel Paradox: Guests moving to new room everyday?

aussiegirl1995Suppose there are infinite coaches with infinite members in each coach. They stay at the hotel for infinite days. I know that guests can be accommodated using various methods like the prime powers method, but there's a slight variation in the question which is that the guests have to change their...

 
1:23 PM
17
Q: If $N = q^k n^2$ is an odd perfect number and $n < q^{k+1}$, does it follow that $k > 1$?

Jose Arnaldo Bebita-DrisLet $\sigma(x)$ be the sum of the divisors of the positive integer $x$. If $\sigma(M) = 2M$, then $M$ is said to be perfect. Currently, as of December 2018, there are $51$ known examples of even perfect numbers -- on the other hand, we still do not know whether there are any odd perfect numbers...

 
 
5 hours later…
6:01 PM
2
Q: Proof by induction: differentiation

ShapolI've been trying to work on this problem and I can't seem to solve it. Could you help? Prove by induction that: $$ f(x) = e^x \sin(x) $$ $$ f^{(n)}(x)=2^{\frac{n}{2}}e^x\sin(x+\frac{n\pi}{4}) $$ I have proven it for n = 0 and then assumed it be true n = k. Then I am trying to prove it for n = ...

 
6:47 PM
4
Q: Solve this 2 variable, cubic, Diophantine equation

MathsIsFunI want to find the integer solutions to this Diophantine equation: $5x^3=y^2+1$ I have seen a lot of problems with monic variables, but not with a constant on the $x^3$ such as this. I know I can factorise the right hand side and get: $5x^3=(y-i)(y+i)$ and work in $\mathbb Z[i]$ But I am uns...

 
7:05 PM
0
Q: Find an approximate equation of a table using two parameters

Dylan KasI'm working on some data which use length and height and return one value. Something like : And I would like an equation that use the width and the height as parameters to have an approximate number of the value in the table. For example Width: $50$ and Height: $60$ would return something c...

 
7:32 PM
0
Q: How to show this function is unbounded below?

MediaI have the following convex optimisation problem that I really do know how to prove is unbounded below. minimise $\Sigma_{i=1}^{n} \alpha_i - \Sigma_{i=1}^{n} \beta_i$ subject to $y_i[\Sigma_{j=1}^{n}\lambda_j y_j x_i^t x_j - b] = \beta_i - \alpha_i$ $0 \le \lambda_j \le 1, \alpha_i...

 
8:03 PM
1
Q: Trouble to understand an Analysis proof.

AndréI am currently studying the following proof, which may be found on this article (page 12): However, I'm facing difficulties to proper understand some of the steps. Here are my questions: Why is it possible to say that "there exists an integer $N$ and $\alpha > 0$ such that $\Sigma_n(x) \leq ...

 
 
1 hour later…
9:08 PM
0
Q: Problem 22.39(c) in "Modern Classical Homotopy Theory " by Jeffery Strom on pg.511.

MathstupidHere is the problem: Suppose $R$ is a field. (a) Show that $h^{n}(?) = Hom_{R}(H_{n}(?; R), R)$ is a cohomology theory defined on (at least) the category of finite CW complexes. (b) Show that $u$ is the natural transformation of cohomology theories. (c) Prove Theorem 22.37. And here is the t...

 
 
1 hour later…
10:25 PM
0
Q: Response function of derivative filter

Pedro Gomes Problem: Consider a wide sense stationary stochastic process $X(t)$, with zero mean and auto correlation function $R_X(\tau)$. Consider its transformation by a linear time invariant derivative filter, which is the first derivative of $X(t)$, that is $Y(t)=X'(t)=\frac{dX(t)}{dt}$. Verify that...

 
 
1 hour later…
11:44 PM
3
Q: Pathwise almost sure bound of a solution to an SDE

Marko KarbevskiAssume that $X:(\mathbb R^+ \times \Omega) \to \mathbb{R}^n$ is a solution to an SDE of the form $dX = \mu(X,t) dt + \sigma(X,t)dW$ where $\mu, \sigma$ are continuous, Lipschitz continuous in the first variable (with a Lip constant idependent of $t$) and satisfy $||\mu(x,t)|| \le c||x|| +1 $ and...

 

« first day (1 day earlier)      last day (1484 days later) »