Search Results

In general, once you've proven an inequality like this in ${\bf R}$ it holds automatically in any Euclidean space (including ${\bf C}$) by averaging over projections. ("Inequality like this" = inequa …

Since I wasn't yet reading Mathoverflow at the time, I didn't see this question until Brian e-mailed it to me in January. I was eventually able to give a more elementary proof by applying formulas of …

This question asks in effect to show that $\eta^n$ is a $\pm p^{n/2}$ eigenfunction for the Hecke operator $T_p$. The claim holds because each of these $\eta^n$ happens to be a CM form of weight $n/2 …

Over ${\bf C}$, An easy counterexample to question 3 is $f(x) = x^2$, $g(x) = cx^2$ where $c$ is a nontrivial cube root of unity. Then $f(f(x)) = g(g(x)) = x^4$ but $f$ and $g$ do not commute. There a …

Here's another elementary proof, again assuming one has checked that the integral converges absolutely despite the singularity at $t=0$. Let $I$ be the average of the $2\pi$-periodic function $\log \l …

The conjecture is easily seen to be true for $n<3$. We give a counterexample for $n=3$. Let $p_i = z^2 - \omega_i$ where the $\omega_i$ are the cube roots of unity. These are linearly dependent becaus …

No. Either condition implies $|\,f'(z)| = 1$ for all $z$ in the domain of $\,f$, which in turn implies that $\,f'(z)$ is locally constant (for instance using the open mapping theorem) and thus that $ …

That's not true even for power series with real coefficients. Let $$ D(s) = \sqrt{1-2^{-s}} = 1 - \frac12 2^{-s} - \frac18 4^{-s} - \frac1{16} 8^{-s} - \frac5{128} 16^{-s} - \cdots . $$ Then $P(s) = …

[Edited to fill in a couple of steps, correct some typos, standardize the $L$-function notation, and add comments about the relation with the "Basel sum"] Here's a proof via transformation of the sum …

[expanding on my comment to convert it to an answer] An example is $e^j \varphi$ where $j$ is the $j$-invariant and $\varphi$ is any nonzero form of weight $k$. In general a holomorphic (or meromorphi …

At the risk that I'm doing somebody's homework... Yes, $R_{m,n}[a,b]$ is complete with respect to the uniform metric $\left\| \cdot \right\|$. Let $f \in {\cal C}([a,b])$ be a uniform limit of ratio …

One expects there to be no such $a_n$ in general, because the "typical" entire functions is surjective (those that aren't are of the special form $z \mapsto c + \exp g(z)$). An explicit example is $ …

Counterexample to the first question ("is $A$ an algebra of functions?"): Let $M$ be a vertical strip such as {$x + iy : 0 < x < 1$}, and define $f_1,f_2$ as the restriction to $M$ of the entire func …

It's been noted already in the comments that the problem is still too easy as stated, because one can easily find functions $f(z) = \sum_{n=0}^\infty c_n z^n$ such as $f(z) = \sin(1 / (r-z))$, with in …

For the record, one can prove the product formula for the sine without complex analysis (and without the Gamma function), from which (as David Speyer noted) one can recover $\sum_{i \in \bf Z} (x+i)^{ …