The identity theorem says that two holomorphic functions on a connected domain which agree on a set with an accumulation point inside that domain agree everywhere there.
No such entire function exists. On the subsequence indexed by even numbers, the proposed function equals . The identity theorem would force throughout . At the points indexed by odd numbers it is instead required to equal , a contradiction since for positive . The accumulation point zero lies inside the assumed domain of holomorphy, which is essential to this argument.
Yes: take the unnormalized sinc function with its removable value at zero,
Its power series is , with infinite radius of convergence, so it is an entire function. At it gives as required. The identity theorem also proves this entire solution is unique.
No such entire function exists. If it did, the entire function would vanish at the distinct points , whose accumulation point is one. The identity theorem would give on all of .
At zero this forces . Differentiating the identity gives , impossible at zero. Equivalently, a squared holomorphic function has an even-order zero, whereas has a simple zero. This is the obstruction expressed by no entire square root of the identity function; a square-root branch near one cannot extend holomorphically through zero.

Articles by others on the same topic (0)

There are currently no matching articles.