Intereting Posts

A multiplication algorithm found in a book by Paul Erdős: how does it work?
Differential of a smooth function
Radon–Nikodym derivative and “normal” derivative
three term asymptotic solution as $\epsilon \to 0$
How can I prove this relation between the elementary set theory and the elementary logic?
Union of subgroups is subgroup
How to evaluate $\int_0^\pi \cos(x) \cos(2x) \cos(3x) \cos(4x)\, dx$
Abount linear functional: If $T(B)$ is bounded, is $T$ bounded?
Prove that if $\phi'(x) = \phi(x)$ and $\phi(0)=0$, then $\phi(x)\equiv 0$. Use this to prove the identity $e^{a+b} = e^a e^b$.
Sum the series $\sum_{n = 0}^{\infty} (-1)^{n}\{(2n + 1)^{7}\cosh((2n + 1)\pi\sqrt{3}/2)\}^{-1}$
Integral of Exponential raised by exponential
Determinant of a $2\times 2$ block matrix
Approximate spectral decomposition
Can we show that the decimal expansion of $\pi$ doesn't occur in the decimal expansion of the Champernowne constant?
Integral of cosec squared ($\operatorname{cosec}^2x$, $\csc^2x$)

Let $f$ be an entire function. Suppose that for each $a\in \Bbb R$ there exists at least one coefficient $c_n$ in $f(z)=\sum_{n=0}^\infty c_n(z-a)^n$ which is zero.

Then:

- $f^{n}(0)=0$ for infinitely many $n\ge 0$.
- $f^{2n}(0)=0$ for every $n\ge 0$.
- $f^{2n+1}(0)=0$ for every $n\ge 0$.
- $\exists k\ge 0$ such that $f^{n}(0)=0$ for all $n\ge k$.

**My try**:

- How to prove error function $\mbox{erf}$ is entire (i.e., analytic everywhere)?
- $\sin(x)$ infinite product formula: how did Euler prove it?
- On the zeta sum $\sum_{n=1}^\infty$ and others
- Prove that partial sums of $\sum_{n=1}^{\infty}{z^n}, z \in \mathbb{C}, |z|=1$ are bounded
- how could we compute this infinite real integral using complex methods?
- how do you convert y" equation into Sturm-Liouville form

Since $a\in \Bbb R$ is uncountable and $c_n$ is countable so there exists $b\in \Bbb R$ such that $c_n=0$ for infinitely many $n$ where $c_n=\dfrac{f^{n}(b)}{n!}\implies f^{n}(b)=0$.

So I feel that the correct options should be $1,4$.

**But how can I show that $f^{n}(0)=0$ for infinitely many $n\ge 0$.**

I only have $f^{n}(b)=0$ for infinitely many $n\ge 0$.But the question demands $f^{n}(0)=0$ for infinitely many $n\ge 0$. Please give some hints.

- Proving that $\phi_a(z) = (z-a)/(1-\overline{a}z)$ maps $B(0,1)$ onto itself.
- Calculating $\int_{-\infty}^{\infty}\frac{\sin(ax)}{x}\, dx$ using complex analysis
- Prove $\int_0^\infty \frac{\sin^4x}{x^4}dx = \frac{\pi}{3}$
- A complex map with “bounded” derivative is injective
- How to find roots of $f(z)=(a+yg(z))^2+g(z)^2=0$?
- Does a convergent power series on a closed disk always converge uniformly?
- Evaluating $\int\limits_0^\infty \frac{\log x} {(1+x^2)^2} dx$ with residue theory
- Point on unit circle such that $|(z-a_1)\cdots(z-a_n)|=1$
- A criterion for the existence of a holomorphic logarithm of a holomorphic function
- Change of variable (translation) in complex integral

For each $n\geq 0$, let $E_n$ be the set of those $a\in\mathbb{C}$ for which $c_n=0$ in the power series expansion of $f$ about $a$. Then since $\mathbb{R}\subset \cup_{n=0}^{\infty}E_n$, at least one of the $E_n$ must be uncountable.

So choose some $n$ such that $E_n$ is uncountable, and write $$E_n=\bigcup_{j=1}^{\infty}E_n\cap \{|z|\leq j\}$$

Since $E_n$ is uncountable, at least one of the sets $E_n\cap\{|z|\leq j\}$ must be infinite, say $E_n\cap\{|z|\leq j_0\}$. But since $\{|z|\leq j_0\}$ is compact, it follows that $E_n\cap\{|z|\leq j_0\}$ has a limit point in $\{|z|\leq j_0\}$.

Therefore $f^{(n)}(z)=0$ on a set with a limit point, hence is identically zero. Hence $f^{(m)}=0$ for all $m\geq n$. This proves (4), and therefore proves (1) as well.

By looking at polynomials, you can show that (2) and (3) are not necessarily true.

For each $n$ define the open set $U_n=\{ a\in {\Bbb R} : f^{(n)}(a) \neq 0\}$. If $U_n$ is not dense then $f^{(n)}$ vanishes on some interval and we are in the polynomial case (case 4). So assume $U_n$ dense. Then by Baire the countable intersection $\bigcap_n U_n$ is dense in ${\Bbb R}$ which is not possible. So we are indeed in case 4.

- Show that $A_n$ is the kernel of a group homomorphism of $S_n \rightarrow \{−1,1\}$.
- Examples of 'almost' vector spaces where unitary law fails
- The probability of a student speaking spanish is $30\%$. If we select $3$, what are the chances of at least one of them speaking Spanish?
- How can I calculate $gnu(17^3\times 2)=gnu(9826)$ with GAP?
- Dimension of the space of algebraic Riemann curvature tensors
- sum of polynoms of given property
- Variance of event counting
- Find the region where an integral is defined
- Understanding the definition of a compact set
- Prove if an element of a monoid has an inverse, that inverse is unique
- A concise guide to basic probability
- Solutions to exp(x) + x = 2
- A push-out of a pull-back
- proof of the Meyers-Serrin Theorem in Evans's PDE book
- Prove that every group $G$ has a unique maximal perfect subgroup $R$ and $R$ is fully-invarinat in $G$