3
votes
2answers
277 views
+50

An arithmetic sequence whose members do not contain the digit ‘9’

There is a non-constant arithmetic progression made of natural numbers only; none of them contains the digit $9$. Prove that such an arithmetic progression has no more than $72$ terms.
8
votes
2answers
215 views
+50

Difficult infinite integral involving a Gaussian, Bessel function and complex singularities

I've come across the following integral in my work on flux noise in SQUIDs. $$\intop_{0}^{\infty}dk\, e^{-ak^{2}}J_{0}\left(bk\right)\frac{k^{3}}{c^{2}+k^{4}} $$ Where $a$,$b$,$c$ are all positive. ...
0
votes
0answers
92 views
+50

quasi-convexity of a function

Can someone help me identify whether the following function is quasi-convex? Let $p>1$. For $x=(x_1,\dots,x_n),x_i>0,\sum_ix_i=1$, we define $$f(x) = -\log \sum_i (x_i/\|x\|_p)^{p-1}.$$ Plots ...
2
votes
1answer
28 views
+50

A question about conic sets of functionals.

The problem is the following. Let $(X,\|\cdot\|)$ be a normed space and let $C \subseteq X$ be a closed convex set with nonempty interior. Let be $x\in C$. I define to be a "normal cone to $C$ in ...
4
votes
1answer
145 views
+50

Uniform continuity of the function $x(t)=e^{tA}x$

Let $A$ be a bounded operator on a Banach space $X$. Consider the exponential function $x(t)=e^{tA}x:=\sum_{n=0}^{+\infty}\dfrac{t^nA^n}{n!}x$, for all $t\in \mathbb{R}$, where $x\in X$. If the ...
8
votes
2answers
146 views
+50

A Sperner type problem on infinite antichains

Let $\mathcal{A} \subset 2^{\mathbb{N}}$ be an antichain (with respect to containment). I want to measure the size of $\mathcal{A}$ in the following way: I create a set, $S$, by flipping a fair coin ...
5
votes
0answers
152 views
+50

Closed form $\sum_{n=2}^{\infty} \frac{1}{\ln^n{n}}$ and $\sum_{n=2}^{\infty} \frac{n}{\ln^n{n}}$

Apologies if this has been asked before, but I was playing around with Wolfram Alpha and got approximations but not closed forms for $$\sum_{n=2}^{\infty} \frac{1}{\ln^n{n}} \approx 3.2426094109 $$ ...
2
votes
1answer
158 views
+50

How prove this $3^{\frac{5^{2^n}-1}{2^{n+2}}}\equiv (-5)^{\frac{3^{2^n}-1}{2^{n+2}}}\pmod {2^{n+4}}$

Question: show that: $$3^{\frac{5^{2^n}-1}{2^{n+2}}}\equiv (-5)^{\frac{3^{2^n}-1}{2^{n+2}}}\pmod {2^{n+4}},n\geq 1$$ My idea: since I have prove $$5^{2^n}-1\equiv 0\pmod {2^{n+2}}$$ ...
4
votes
0answers
123 views
+100

Functions with compact support

I have a question about a convergence of functions with compact support. SETTING Let $d\geq 3$ and $U \subset \mathbb{R^{d}}$ be open and $dx$= Lebesgue measure on $U$. Let $b_{i},c,d_{i} \in ...
5
votes
0answers
218 views
+100

norm of a singular integral operator

My question is from Harmonic Analysis, about the study of singular kernels (in the Calderon Zygmund sense.) Suppose that a kernel $K$ is a singular kernel, extending to a bounded operator on $L^p$, ...
2
votes
1answer
83 views
+300

find a $B_{n,j}$ such that $|A_{n,j}-L_j| \leq B_{n,j}$ $\forall n,j$ and $\sum_{j=0}^{\infty}B_{n,j}$ converges

We have $A_{n,j}= 3(-1)^j2^{n-j+1}\frac{(2(n-j)-4)!}{(n-j)!(n-j-2)!}\binom{j+2}{2}\frac{n^\frac{5}{2}}{8^n}$ and $L_j=(-\frac{1}{8})^j\binom{j+2}{2}\frac{3}{8\sqrt{\pi}}$ So I know $\lim_{n \to ...
1
vote
1answer
81 views
+50

Analytic continuation of a function

Let $$f(z) = A_0 + A_1(z-a) + A_2(z-a)^2 + \cdots$$ converge in some disk $|z - a| < r$. Following Weyl, we magically re-arrange this power series at point $b$ in this disk and the power series ...
5
votes
0answers
80 views
+100

Parity of sum of Kronecker deltas in a graph

For some fixed $n\in\mathbb N$ let $G$ be a graph on the vertex set $\{1,\dots,n\}$ with a total number of $k$ edges $e_1,\dots, e_k$. For any vertex colouring $c(i)$ of the graph, $\delta_e$ is ...
2
votes
0answers
117 views
+50

How prove $\sum_{cyc}\sqrt{PA+PB}\ge 2\sqrt{\sum_{cyc}h_{a}}$

Question: let $\Delta ABC$,and the altitude is $h_{a},h_{b},h_{c}$,where $AB=c,BC=a,AC=b$ and for any $P$ show that $$\sqrt{PA+PB}+\sqrt{PB+PC}+\sqrt{PA+PC}\ge 2\sqrt{h_{a}+h_{b}+h_{c}}$$ ...
1
vote
1answer
46 views
+50

What does the decomposition, weak union and contraction rule mean for conditional probability and what are their proofs?

I was reading Koller's book on Probabilistic Graphical Models and was wondering what the decomposition, weak union and contraction properties of conditional probability mean. Decomposition: $$(X ...
8
votes
1answer
118 views
+50

Graph partition that span a third of edges

Given a graph G is easy to see that we have a partition $V=V_1 \cup V_2$ so that $$e(G[V_1])+e(G[V_2])\leq e(G)/2$$. How can we improve this result showing that we can choose $V_i$ such that ...
-5
votes
1answer
63 views
+50

Let $P(D)$ be an elliptic operator of order m. Prove that m is neccesarily even.

Let $P(D)$ be an elliptic operator of order m. Prove that m is necessarily even. Prove that the solutions $u \epsilon S'(\textbf{R}^n)$ of the equation $P(D)u=0$ are polynomials. I have no clue ...
2
votes
1answer
61 views
+50

Asymptotic expansion on 3 nonlinear ordinary differential equations

The 3 nonlinear differential equations are as follows \begin{equation} \epsilon \frac{dc}{dt}=\alpha I + \ c (-K_F - K_D-K_N s-K_P(1-q)), \nonumber \end{equation} \begin{equation} \frac{ds}{dt}= ...
18
votes
0answers
155 views
+500

vector spaces whose algebra of endomorphisms is generated by its idempotents

Let $V$ be a $K$-vector space whose algebra of endomorphisms is generated (as a $K$-algebra) by its idempotents. Is $V$ necessarily finite dimensional? EDIT (Jul 26 '14) A closely related question: ...
2
votes
2answers
88 views
+50

Prove that there is a basis of a lattice $\Lambda$ s.t. a reflection is of a certain form

Consider $\Lambda$ a lattice in $\mathbb{R}^2$. Let $S \in O(\Lambda)$ be a reflection, i.e. $\det S = -1$. Set $S_{1}= \begin{pmatrix} 1 & 0 \\ 0 & -1 \\ \end{pmatrix}$ and $S_{2}= ...
1
vote
0answers
105 views
+50

Video lectures of algebraic geometry (Hartshorne, Shafarevich, … )

I am a commutative algebra student. I wonder if there is some video lectures of algebraic geometry courses available online for free? (I want to download) I'd like the lectures to cover ...
0
votes
2answers
46 views
+50

Prove that the functions $g_k(z) = f_k \circ h_k(z)$ form a normal family.

I am having a bit of trouble with the following complex analysis question which originates from a qual. Some help would be awesome. Let $f_k :\mathbb{D} \rightarrow \mathbb{C}$ be a normal family of ...
3
votes
1answer
91 views
+50

Showing a certain sequence is an orthonormal basis of $H^2(\mathbb{R}_{+}^{2}).$

The problem is to show $$\left\{\frac{1}{\pi^{1/2}(i+z)}\left(\frac{i-z}{i+z}\right)^n\right\}_{n=1}^{\infty}$$ is an orthonormal basis of $H^2(\mathbb{R}_{+}^{2}).$ In another exercise, I have ...
0
votes
3answers
104 views
+100

How exactly do I prove that I find the maximum of the function

I am currently trying to maximize an objective function $f(a,b,c,d,e)$ over the variable $b$ only. By taking the derviative of f over b, setting it to zero, I can solve b in terms of the other 4 ...
10
votes
1answer
188 views
+100

Prove $_2F_1\left(\frac13,\frac13;\frac56;-27\right)\stackrel{\color{#808080}?}=\frac47$

I discovered the following conjecture numerically, but have not been able to prove it yet: $$_2F_1\left(\frac13,\frac13;\frac56;-27\right)\stackrel{\color{#808080}?}=\frac47.\tag1$$ The equality holds ...
4
votes
4answers
161 views
+50

Constructing a family of distinct curves with identical area and perimeter

Two recent questions were posed by Arjuba [1] [2] asking for counter-examples regarding whether two different figures could have the same perimeter and area. Responders quickly raised a number of such ...
13
votes
1answer
265 views
+50

How prove this $x_{1}+x_{2}+\cdots+x_{n}<\frac{5}{3}$

Question: Let $x_{1},x_{2},\cdots,x_{n}\ge 0$ with $$x_{i}x_{j}\le 4^{-|i-j|}$$ for all $i, j = 1, \dots, n.$ Show that $$x_{1}+x_{2}+\cdots+x_{n}<\dfrac{5}{3}.$$ This problem is from ...
0
votes
0answers
68 views
+50

Factorization of ideals in a coordinate ring (Dedekind domain)

Consider $f \in \mathbb{C}[X,Y]$ an irreducible curve non singular. Let $A = \mathbb{C}[X,Y] / (f)$ be the coordinate ring of $f$ and choose a curve $g \in \mathbb{C}[X,Y]$ with no component in common ...
3
votes
1answer
133 views
+100

An “obvious” statement about a nonincreasing supremum

Consider a nonnegative function $f(t,x): [0,\infty) \times [0,1] \rightarrow [0, \infty)$. Suppose we have the following property: $$ \mbox{ If } ~~~~~~~~~~f(t,y) > \frac{1}{2} \sup_{x \in [0,1]} ...
4
votes
0answers
28 views
+100

Derivative of a generalized hypergeometric function

Let $$f(a)={_2F_3}\left(\begin{array}c1,\ 1\\\tfrac32,\ 1-a,\ 2+a\end{array}\middle|-\pi^2\right).$$ How to find $f'(0)$ in a closed form?
1
vote
0answers
100 views
+50

$C(X)$ is separable when $X$ is compact

Let $X$ be a compact space and let $\Bbb U =\{(U,V); U,V \mbox{ are open subsets of }X \mbox{ and }\mathrm{cl} U \subset V\} $. for $u=(U,V)$ in $\Bbb U$ , let $F_u:X\to [0,1]$ be a continuous ...
2
votes
0answers
37 views
+50

Quotient of Poincare dodecahedral space-example of spherical orbifold

Let $\mathcal{O}$ the orbifold with underlying space $S^3$ and singular locus the trefoil knot with local groups of order five. Then how can we see that it is the quotient space of the Poincare ...
1
vote
0answers
24 views
+50

Fourier Transform Identity (Convolution & Symmetry rule)

I don't follow the part of the solution highlighted in green.
2
votes
1answer
63 views
+50

Entropy of the product of two random variables

Consider a random matrix $X$ and a random vector $Y$. Let the Shannon entropies $H(X) = H(Y) = n$. Is there a simple upper bound for entropy $H(XY)$? I believe $H(XY) \leq 2n$ as that is a simple ...
1
vote
0answers
41 views
+50

solving equation also involving unknown matrix in trace

Given two real $m$ x $k$ matrices $A_1$ and $B_1$ and two $k$ x $k$ real matrices $A_2$ and $B_2$ I want to solve the following equation for $Q$. $Q$ is an orthogonal matrix, i.e. $Q^TQ=I$. ...
12
votes
0answers
177 views
+150

Can a Mersenne number ever be a Carmichael number?

Can a Mersenne number ever be a Carmichael number? More specifically, can a composite number $m$ of the form $2^n-1$ ever pass the test: $a^{m-1} \equiv 1 \mod m$ for all intergers $a >1$ ...
8
votes
1answer
103 views
+400

Non-ellipticity of Yang-Mills equations

Let $D=\text{d}+A$ be a metric connection on a vector bundle $E\rightarrow M$ with curvature $F=F_D$. How does one prove that the Yang-Mills equations $$ \frac{\partial}{\partial ...
2
votes
1answer
119 views
+50

Trying to prove that two angles are congruent in a isosceles trapezoid

I was given this assignment to do the following. Write a paragraph proof for the following scenario. Given: KLMN is an isosceles trapezoid. Prove: ∠LKM is congruent to ∠MNL The thing is that I ...
2
votes
0answers
38 views
+50

Non-trivial compatibility which makes convex functions continuous on $\Bbb R$

Here are the definitions: Let $X$ be a set. Another set $\mathcal C\subseteq \mathcal P(X)$ is called a convexity over $X$ if $\varnothing, X\in\mathcal C$ $\mathcal C$ is closed under arbitrary ...
3
votes
1answer
39 views
+50

Binomial Congruence Modulo a Prime

Let $p$ be a prime and $a, b$ natural numbers such that $1 \leq b \leq a$. I am trying to prove that $$\binom{ap}{bp} \equiv \binom{a}{b} \pmod p.$$ Furthermore, I have been tasked with proving that a ...
0
votes
2answers
147 views
+100

Logic of numerical series

One of our colleagues has written a numerical series to the whiteboard in our breakroom. Nobody until now could solve the logic behind this series: ...
0
votes
0answers
36 views
+50

Solutions to functional equation $f(x_1,x_2)+g(a_1t+x_1,a_2t+x_2)+h(b_1t+x_1,b_2t+x_2) = t^2$

Let $f:\mathbb{R}^2\rightarrow \mathbb{R}$, $g:\mathbb{R}^2 \rightarrow \mathbb{R}$ and $h:\mathbb{R}^2 \rightarrow \mathbb{R}$ be twice continuously differentiable functions such that, \begin{align*} ...
0
votes
0answers
53 views
+50

Proof of Descartes' theorem

I came across the use of Descartes' theorem while solving a question.I searched it but I could only find the theorem but not any ...