Question #107108

Construct an entire function f in complex with simple zeros at an = n^(1/2) for n belongs to natural numbers and no other zeros

Expert's answer

By the Weierstrass factorizaion theorem we obtain that f(z)=∏n=1∞En(zan)f(z)=\prod\limits_{n=1}^{\infty}E_n\left(\frac{z}{a_n}\right) is a entire function, such that {z:f(z)=0}={an}n∈N\{z: f(z)=0\}=\{a_n\}_{n\in\mathbb N}, and these zeros are simple, where En(z)=(1−z)exp⁡(∑k=1nzkk)E_n(z)=(1-z)\exp\left(\sum\limits_{k=1}^n \frac{z^k}{k}\right)

Indeed

1) lim⁡n→∞∣an∣=+∞\lim\limits_{n\to\infty}|a_n|=+\infty

2)For every r>0r>0 there is NN such that ∣ran∣<12\left|\frac{r}{a_n}\right|<\frac{1}{2} for all n>Nn>N, then∑n=1∞∣ran∣n+1=∑n=1N∣ran∣n+1+∑n=N+1∞∣ran∣n+1≤\sum\limits_{n=1}^{\infty}\left|\frac{r}{a_n}\right|^{n+1}=\sum\limits_{n=1}^N\left|\frac{r}{a_n}\right|^{n+1}+\sum\limits_{n=N+1}^{\infty}\left|\frac{r}{a_n}\right|^{n+1}\le

≤∑n=1N∣ran∣n+1+∑n=N+1∞(12)n+1\le\sum\limits_{n=1}^N\left|\frac{r}{a_n}\right|^{n+1}+\sum\limits_{n=N+1}^{\infty}\left(\frac{1}{2}\right)^{n+1}, so ∑n=1∞∣ran∣pn+1\sum\limits_{n=1}^{\infty}\left|\frac{r}{a_n}\right|^{p_n+1} , where pn=np_n=n, is convergent series.

Then f(z)=∏n=1∞Epn(zan)=∏n=1∞En(zan)f(z)=\prod\limits_{n=1}^{\infty}E_{p_n}\left(\frac{z}{a_n}\right)=\prod\limits_{n=1}^{\infty}E_n\left(\frac{z}{a_n}\right) is a entire function with simple zeros {an}n∈N\{a_n\}_{n\in\mathbb N}.

Answer: f(z)=∏n=1∞En(zan)=∏n=1∞En(zn)f(z)=\prod\limits_{n=1}^{\infty}E_n\left(\frac{z}{a_n}\right)=\prod\limits_{n=1}^{\infty}E_n\left(\frac{z}{\sqrt{n}}\right), where En(z)=(1−z)exp⁡(∑k=1nzkk)E_n(z)=(1-z)\exp\left(\sum\limits_{k=1}^n \frac{z^k}{k}\right)


LATEST TUTORIALS
APPROVED BY CLIENTS