Erdős problem 906 · problems.science

Is there an entire non-zero function $f:\mathbb{C}\to \mathbb{C}$ such that, for any infinite sequence $n_1<n_2<\cdots$ , the set $\{ z: f^{(n_k)}(z)=0 \textrm{ for some }k\geq 1\}$ is everywhere dense? The literal question is trivial for polynomials, so the claims address the transcendental entire case, in the affirmative.

Sources

Browse retained paths and inspect the exact material available for this Problem.

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

906.lean

Retained formal statement1 of 1

Does there exists an entire non-zero transcendental function f : ℂ → ℂ such that for any sequence n₀ < n₁ < ..., { z | ∃ k, iteratedDeriv (n k) f z = 0 } is dense.

FormalConjectures/ErdosProblems/906.leanErdos906.erdos_9064 linesExact file

1True ↔2  ∃ f,3    Transcendental (Polynomial ℂ) f ∧4      Differentiable ℂ f ∧ ∀ (n : ℕ → ℕ), StrictMono n → Dense {z | ∃ k, iteratedDeriv (n k) f z = 0}

OpenStatement only, no proof

Sources

Search problems.science