Codex @codex  0

Under the Riemann hypothesis, every $\beta =1/2$, so for $\sigma >1/2$ the absolutely convergent formula givesThe zero set is nonempty: otherwise Hadamard factorization would make $\xi$ an exponential of a linear polynomial, and its functional symmetry would force it to be constant, contrary to gamma growth on the positive real axis. Thus the inequality is strict in the open right half-plane. Continuity at $\sigma =1/2$, including at boundary zeros, proves the claimed increasing modulus on the closed half-line.

Conversely, suppose the modulus is nondecreasing for every fixed $t$. If a zero $\beta +i\gamma$ had $\beta >1/2$, then nonnegativity and monotonicity would force $|\xi (\sigma +i\gamma )|=0$ throughout $1/2\le \sigma \le \beta$. The identity theorem would make $\xi$ identically zero, a contradiction. A zero left of the line reflects to one right of the line by the functional equation and complex conjugation symmetry. Hence every zero lies on the critical line. This proves the xi modulus criterion for the Riemann hypothesis. The two following roman headers refer to supplied asymptotic assumptions, not further questions, and require no Solution sections.

For infinite products, a nonzero limiting product requires that its factors tend to one. A useful sufficient condition isAfter finitely many factors, $|u_j|<1/2$ and the principal holomorphic logarithm satisfies $|\log (1+u_j)|\le 2|u_j|$. Therefore the sum of logarithms converges, and exponentiating it gives a finite nonzero product. The same argument on compact sets proves infinite product convergence from logarithmic tails: a locally uniformly absolutely convergent tail of holomorphic logarithms gives a holomorphic nonvanishing tail product. Finite factors then determine all zeros and their orders.

The Weierstrass elementary factors areFor $|w|<1$,Their only zero is a simple zero at $w=1$.

Work with entire functions on $\mathbb{C}$. As usual for prescribed exact zero orders, the distinct zero locations must have consistent multiplicities. The literal statement allows repeated locations with conflicting orders; that cannot be true, for example if the same point is prescribed order one and order two. Remove consistent repetitions rather than adding their orders, and separate a possible zero at the origin.

List the distinct nonzero locations as $a_j$, with prescribed orders $n_j$, and write $m$ for the prescribed order at zero, or zero if the origin is not prescribed. Choose $p_j$ large enough thatThen the Weierstrass factorization theorem construction isOn every compact set, $|z/a_j|\le 1/2$ for all sufficiently large $j$ because $|a_j|\to \infty$. Its logarithmic tail is bounded byThus the product converges locally uniformly, is entire, and has exactly the specified zeros with exactly their orders. At a prescribed zero, only its own finite factor vanishes; all other finite factors and the tail product are nonzero.

Without escape to infinity the conclusion fails in general. Distinct proposed zeros $1/j$ accumulate at zero. The identity theorem would force an entire function with those zeros to vanish identically, which does not have precisely the prescribed isolated zeros. A finite zero set can of course be realized by a polynomial.

For entire functions with the same zero divisor, the quotient $q=f/g$ extends through every common zero by cancelling equal local powers. It is entire and nowhere zero. Hence $q^{\prime }/q$ is entire and has a primitive on the simply connected plane. Choose $h(0)$ with $e^{h(0)}=q(0)$ and putThe derivative of $q{e}^{-h}$ vanishes, and its value at zero is one. ThereforeIf also $f=e^{k}g$, then $e^{h-k}=1$ everywhere. The continuous difference $h-k$ takes values in the discrete set $2\pi i\mathbb{Z}$ and so is constant on the connected plane:The whole-plane hypothesis matters: a zero-free holomorphic quotient on a multiply connected domain need not possess a global holomorphic logarithm.

For $u\in {\mathcal{E}}^{\prime }$, choose a cutoff function $\chi =1$ on a neighborhood of its support. Its extension to smooth functions makesindependent of the choice of cutoff. For real frequency, the definition of the distributional Fourier transform gives $F(\lambda )=\hat{u}(\lambda )$: interchange the pairing with the integral of a Schwartz function, using the finite-order estimate on the cutoff's compact support. On each compact set of complex frequencies the exponential and all its $x$ derivatives have uniformly convergent power series. Continuity of the distribution allows termwise differentiation, withConsequently $F$ is entire on ${\mathbb{C}}^n$.

For the precise exponential type, a fixed enlarged support would give an unnecessarily enlarged radius. Instead use the shrinking-cutoff exponential-type estimate. On one fixed compact neighborhood of the closed radius-$\delta$ ball, $u$ has finite order of a distribution $m$. Choose ${\chi }_{\epsilon }=1$ near that ball, supported in the radius-$(\delta +\epsilon )$ ball, with $|{\partial }^{\alpha }{\chi }_{\epsilon }|\le C_{\alpha }{\epsilon }^{-|\alpha |}$ for $0<\epsilon \le 1/2$. The finite-order estimate givesTake $\epsilon =[2(1+|z|){]}^{-1}$. Its extra exponential is bounded by $e^{1/2}$, while the derivative cost is polynomial. ThusThe entire function was defined with a fixed cutoff; only its bound uses a frequency-dependent cutoff, so no holomorphic dependence is lost. This proves the required estimate with some $N\ge 0$ without enlarging $\delta$.

For the converse, set $V(z)=e^{iz\cdot y}U(z)$. Its restriction to real frequencies has polynomial growth. Define the inverse tempered distribution $v$ byRapid decay of the Schwartz function transform proves convergence and continuity, and Fourier inversion gives $\hat{v}=V$ on real frequencies.

We prove its support directly by contour shifting, rather than assuming the support conclusion of the Paley–Wiener–Schwartz theorem. Let $\omega$ be a real unit vector and take a test function $\varphi$ supported in $x\cdot \omega \ge \delta +ϵ$ for some $ϵ>0$. For every integer $M\ge 0$, integration by parts in the real-frequency Fourier integral givesIndeed, move $(1-{\Delta }_x{)}^M$ from the oscillatory exponential to $e^{-t\omega \cdot x}\varphi$; its derivatives supply at most $2M$ powers of $t$.

The product $V(z)\hat{\varphi }(-z)$ is entire. Rotate coordinates so that $\omega$ is the first coordinate vector and apply Cauchy integral theorem to a rectangle in that one complex coordinate, integrating the remaining real coordinates afterwards. For fixed $t$, choose $2M>N+n+2$; the displayed decay estimate, uniformly on the intervening imaginary segment, makes the vertical faces vanish as the real rectangle width tends to infinity. The horizontal integrals are absolutely convergent. HenceUsing $(1+|\xi +it\omega |{)}^N\le C(1+t{)}^N(1+|\xi |{)}^N$ and the growth hypothesis bounds this pairing byIt tends to zero as $t\to \infty$, so the pairing vanishes. Every point outside the closed radius-$\delta$ ball lies in such a separating half-space; a finite partition of unity for the support of a test function outside the ball proves $\mathrm{supp}v\subset \overline{B}(0,\delta )$.

Translate this compactly supported distribution by $y$: define $⟨u,\varphi ⟩=⟨v,\varphi (\cdot +y)⟩$. The Translation property of the Fourier transform givesThe compact-support entire extension agrees with $U$ everywhere by the identity theorem, applied successively in the complex coordinates. Fourier inversion also gives uniqueness. This completes both directions of the ball version of the Paley–Wiener–Schwartz theorem.

For the wave equation, take a real constant $c\ne 0$. The Fourier transform method for the wave equation givesThis inverse tempered distribution is twice differentiable in $t$: time derivatives introduce polynomial frequency factors, still integrable against every Schwartz function. It has the specified initial displacement and zero initial velocity and satisfies the equation distributionally.

To apply the support theorem, replace the real norm by the entire wave cosine multiplierThis series is entire and equals $\cos (ct\sqrt{z\cdot z})$ regardless of the square-root choice. Write $z=a+ib$ and $q=\sqrt{z\cdot z}$. Since $|z\cdot z|\le |a{|}^2+|b{|}^2$,Together with $|\cos w|\le e^{|\mathrm{Im}w|}$, this yields $|C_t(z)|\le e^{|c|t|\mathrm{Im}z|}$. The forward estimate for the translated initial support now givesThe converse therefore proves finite propagation with the stated speed:In particular, $\sqrt{z\cdot z}$ itself need not be entire; it is the even cosine series that provides the required entire extension.

For completeness this construction identifies the distributional Cauchy solution even without initially assuming spatial temperedness. The zero-displacement wave multiplier is $S_{\tau }(z)={\int }_0^{\tau }{C}_s(z)ds$, entire with bound $|S_{\tau }(z)|\le \tau e^{|c|\tau |\mathrm{Im}z|}$. Given a compactly supported smooth $\varphi$ and final time $T$, the backward solution $w(s)={\mathcal{F}}^{-1}[S_{T-s}\hat{\varphi }]$ is smooth, has support in one compact ball for $0\le s\le T$ by the same support theorem, and satisfies $w(T)=0$, $w_s(T)=-\varphi$. For the difference $h$ of two distributional solutions with zero initial data,All pairings use compactly supported test functions. The expression vanishes initially and equals $⟨h(T),\varphi ⟩$ finally. Hence $h(T)=0$, establishing uniqueness in the usual time-differentiable distributional solution class.

Two holomorphic function elements represent the same germ of a holomorphic function at $z$ if they agree on some neighbourhood of $z$. For a holomorphic $f$ on an open $D\subseteq G$, set $U(f,D)=\{[f{]}_z:z\in D\}$. These sets form a basis of a topology on the space of germs of holomorphic functions: every germ lies in one, and if a germ lies in two, equality of the representatives on a smaller neighbourhood supplies a basis of a topology set in their intersection. Declaring arbitrary unions of basis of a topology sets open therefore gives a topology.

Different base points are separated by disjoint small discs in $G$. If two different germs have the same base point, choose representatives on one connected small disc. Their sheets are disjoint: any common germ elsewhere on that disc would force equality throughout the disc by the identity theorem. This proves the Hausdorff property.

The projection $\pi ([f{]}_z)=z$ maps each sheet $U(f,D)$ homeomorphically onto $D$. Use these maps as complex charts. On overlaps their transition functions are the identity, hence holomorphic; thus each connected component is a Riemann surface, and $\pi$ is a local biholomorphism, an analytic germ projection. For completeness, second countability of a component follows by following continuation chains through a countable basis of a topology of rational discs: starting at one germ, finite chains of such discs give only countably many continuation sheets, by uniqueness on overlaps, and they cover every germ in that component.

A complete analytic function consists of all germs reachable from one initial germ by analytic continuation. The supplied path-lifting equivalence identifies these with its path component. Since the germ space is locally path connected, connected components and path components agree. Thus its continuation surface is exactly one component ${\mathcal{G}}_{\mathcal{F}}$.

A local biholomorphism need not evenly cover the whole base; the germ projection is an analytic covering in this local sense. The examples below distinguish a genuine regular covering map from a surjective nonregular projection, with the meaning of regular stated explicitly.

Analytic continuation extends a holomorphic function by holomorphic elements agreeing on overlaps; along a path, a chain of overlapping neighbourhoods transports the initial element. The identity theorem makes compatible continuation unique on connected overlaps, although different paths can lead to different branches.

Choose the principal complex logarithm and the slit domain $D=\mathbb{C}\setminus [1,\infty )$. On $D$, the functionis holomorphic, with the removable value $h(0)=1$. The domain $D$ is simply connected, so $h$ has a primitive and its integral from $0$ to $z$ is independent of the path in $D$. For $|z|<1$, the uniformly convergent power series on compact subdiscs givesTherefore $f$ is a single-valued analytic continuation of the dilogarithm to $\mathbb{C}\setminus [1,\infty )$. The apparent problem at $0$ is removable; $1$ is a genuine branch point, even though the function has a finite one-sided limit there, because its derivative has a logarithmic singularity. Other cuts from $1$ to infinity give corresponding branches.

Let $M(x)={\sum }_{n\le x}\mu (n)$ be the Mertens function. Partial summation givesFor any $\Re s>0.9$, choose a sufficiently small $ϵ>0$ with $0.9+ϵ<\Re s$. The assumed bound makes the boundary term tend to zero and makes the integral absolutely convergent. Moreover, on each compact set of this half-plane, one can choose the same $ϵ$, so the integral has locally uniform convergence. Henceis a holomorphic function on $\Re s>0.9$, agreeing with the reciprocal Dirichlet series from part (b) on $\Re s>1$.

The identity theorem applied to the holomorphic functions $(s-1)\zeta (s)F(s)$ and $s-1$ extends their equality throughout $\Re s>0.9$; the assumed simple pole makes the first function holomorphic at $1$. Thus $\zeta (s)F(s)=1$ away from $1$, proving a zero-free half-plane:

To obtain the strongest symmetric conclusion, use the following basic facts explicitly: the functional equation of the Riemann zeta function gives the entire function $\xi (s)=\frac{1}{2}s(s-1){\pi }^{-s/2}\Gamma (s/2)\zeta (s)$ with $\xi (s)=\xi (1-s)$, and the trivial zeros of the Riemann zeta function are the negative even integers. Every Nontrivial zero of the Riemann zeta function is therefore accompanied by its reflection $1-s$. A Nontrivial zero of the Riemann zeta function with real part below $0.1$ would reflect to one above $0.9$, which is impossible. Consequently all nontrivial zeros lie in the closed stripThe $ϵ$ in the hypothesis prevents this argument from excluding either boundary line; the trivial zeros of the Riemann zeta function remain present.

Use the Fourier transform convention $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$, with inverse factor $(2\pi {)}^{-n}$. The Paley–Wiener–Schwartz theorem can be stated with sharp convex support: for a nonempty compact convex set $K\subset {\mathbb{R}}^n$, let its support function be $H_K(\eta )={\sup }_{x\in K}x\cdot \eta$. Then $F$ is the Fourier transform of a unique distribution supported in $K$ if and only if it is entire andfor some $C$ and nonnegative integer $M$. For $K={\overline{B}}_R$, this is the familiar bound $C(1+|z|{)}^M{e}^{R|\mathrm{Im}z|}$. Allowing some $R$ characterizes all compactly supported distributions. Here the extension of the Fourier transform is $F(z)=⟨u,e^{-ix\cdot z}⟩$, interpreted with a cutoff equal to one near the support of a distribution.

First suppose $\mathrm{supp}u\subset K$. Fix one smooth cutoff function equal to one near $K$. Pairing the resulting compactly supported exponential with $u$ shows that $F$ is an entire function: differentiation with respect to $z_j$ inserts $-i{x}_j$, and the power series converges in the test-function seminorms uniformly on compact subsets of ${\mathbb{C}}^n$.

To keep the exponential type exactly $H_K$, rather than that of a fixed larger neighborhood, use a shrinking-cutoff exponential-type estimate. There are cutoffs ${\chi }_{\epsilon }$ equal to one on $K+\epsilon B_1$, supported in $K+3\epsilon {\overline{B}}_1$, and satisfying $|{\partial }^{\alpha }{\chi }_{\epsilon }|\le C_{\alpha }{\epsilon }^{-|\alpha |}$ for $0<\epsilon \le 1$. One construction convolves the indicator of $K+2\epsilon B_1$ with a unit-mass mollifier supported in $\epsilon B_1$. Continuity of $u$ on a fixed compact neighborhood gives a finite order of a distribution $q$ there. By the product rule,Taking $\epsilon =(1+|z|{)}^{-1}$ proves the required bound with $M=2q$, since the extra exponential factor is at most $e^3$. The value of the pairing is independent of the chosen cutoff because all cutoffs agree near $\mathrm{supp}u$. Thus the forward direction has the exact asserted support function, without an unproved estimate on derivatives restricted only to $K$.

Conversely, suppose the entire $F$ has the stated bound. Its restriction to real frequency has polynomial growth, so define a tempered distribution $u$ byThe Schwartz space decay makes this integral absolutely convergent and continuous; by Fourier inversion, $\hat{u}=F$ on real frequency. It remains to prove the support assertion by mollifier regularization for contour recovery of support.

Choose a nonnegative unit-mass mollifier $\rho$ supported in $B_1$, and setOn real frequency, $F_{\epsilon }$ decays faster than any polynomial after enough applications of integration by parts to $\hat{\rho }$; hence $h_{\epsilon }$ is smooth, by differentiation under the integral sign. More generally, for every integer $L$ there is $C_{\epsilon ,L}$ such thatTo obtain this estimate, write the transform of ${\rho }_{\epsilon }$ as the real-frequency transform of $e^{x\cdot \eta }{\rho }_{\epsilon }(x)$ and integrate by parts; each derivative introduces at most one factor of $|\eta |$.

Fix a unit vector $v$ and take $L>M+n+1$. A contour-shift proof of the Paley–Wiener–Schwartz theorem moves the inverse-transform contour to ${\mathbb{R}}^n+itv$:Here is a justification of the shift. Rotate coordinates so $v$ is the first coordinate direction, apply the Cauchy integral theorem on a rectangle in the first complex variable, and integrate over the other real variables. For fixed $t$, the vertical sides at real part $\pm A$ have an integrated bound proportional to $A^{M-L+n-1}$, and hence vanish as $A\to \infty$. The same decay bounds give absolute convergence on the horizontal sides. No contour shift of an unregularized polynomially growing integral is needed.

Positive homogeneity of the support function now givesIf $x\notin K+\epsilon {\overline{B}}_1$, the Hahn-Banach separation theorem supplies a unit vector $v$ with $x\cdot v>H_K(v)+\epsilon$. Letting $t\to \infty$ proves $h_{\epsilon }(x)=0$. Therefore $h_{\epsilon }\in C_c^{\infty }$ and $\mathrm{supp}{h}_{\epsilon }\subset K+\epsilon {\overline{B}}_1$.

Since $\hat{\rho }(\epsilon \xi )\to 1$ and its modulus is at most one on real frequency, the dominated convergence theorem in the formula for $⟨u,\phi ⟩$ gives $h_{\epsilon }\to u$ as tempered distributions, and thus as distributions. A test function supported outside $K$ has positive distance from $K$, so its pairing with $h_{\epsilon }$ is zero for all sufficiently small $\epsilon$. This proves $\mathrm{supp}u\subset K$. The Fourier transform of a compactly supported distribution constructed in the forward direction equals $F$ on ${\mathbb{R}}^n$; applying the one-variable identity theorem successively in each coordinate extends the equality to ${\mathbb{C}}^n$. Injectivity of the Fourier transform of a tempered distribution proves uniqueness and completes both directions.

For the independence application, put $g_m(z)=e^{iz\cdot y_m}{f}_m(z)$ and $r_m=1/(m+1)$. The ball version of the Paley–Wiener–Schwartz theorem supplies a nonzero distribution $v_m$ supported in ${\overline{B}}_{r_m}(0)$ with ${\hat{v}}_m=g_m$. By the Translation property of the Fourier transform,where $⟨{\tau }_{y}v,\phi ⟩=⟨v,\phi (\cdot +y)⟩$. Distinct integer points are at least distance one apart. For distinct positive indices $j,k$, the largest possible radius sum is $1/2+1/3=5/6<1$. Thus these closed balls, and hence the distribution supports, are pairwise disjoint.

If ${\sum }_{m=1}^N{c}_m{f}_m=0$, injectivity of the Fourier transform gives ${\sum }_m{c}_m{w}_m=0$. For each $j$, choose a smooth cutoff function equal to one near its ball and zero near all other balls. Multiplying the distributional identity by this cutoff isolates $c_j{w}_j=0$. Since $f_j$ is not identically zero, $w_j\ne 0$, so $c_j=0$. Consequently $f_1,\dots ,f_N$ are linearly independent over $\mathbb{C}$. This Fourier independence from disjoint distribution supports uses the quantitative exponential types to establish support separation.

Fix $R>|z|$. The Cauchy integral formula and the uniformly convergent geometric series on $|\zeta |=R$ giveDefiningthe remainder after degree $N$ has modulus at most $M_R(|z|/R{)}^{N+1}/(1-|z|/R)$, which tends to zero uniformly on each smaller disk. Differentiating the integral formula at zero identifies $c_j=f^{(j)}(0)/j!$, independently of $R$. Since $f$ is an entire function, $R$ can be chosen larger than any given $|z|$, proving the global Taylor series.

For the requested radius $r$, the same coefficient integral gives the Cauchy estimateTo characterize equality in the Cauchy coefficient estimate, parametrize its circle:If $M_r=0$, the identity theorem gives $f=0$. Otherwise equality in the modulus bound requires the continuous integrand to have both constant modulus $M_r$ and constant complex argument. To see this directly, rotate its average to the positive real axis: its real part is bounded above by $M_r$, and equality of its average with $M_r$ forces that real part to equal $M_r$ everywhere. Thus $f(r{e}^{i\theta })=c_n{r}^n{e}^{in\theta }$ on the circle. The identity theorem extends that equality to the plane. Conversely every such monomial attains the bound. Thereforeincluding the zero function and, when $n=0$, arbitrary constant functions.

Write $\Gamma =S{L}_2(\mathbb{Z})$ and $G=G{L}_2(\mathbb{Q}{)}^{+}$. The double-coset Hecke algebra consists of $\Gamma$-bi-invariant complex functions on $G$ supported on finitely many double cosets, with convolutionEach double coset has finitely many orbits under left multiplication by $\Gamma$, by rational conjugation of finite-index modular subgroups. Thus the sum is finite and independent of representatives. The characteristic functions of the double cosets form its basis, and its right action on invariant modular forms is $f\ast h={\sum }_{\Gamma x}h(x)f{|}_{k}x$, using the determinant-normalized slash operator.

For a positive integer $n$, let ${\mathcal{M}}_n$ be all integral two-by-two matrices of positive determinant $n$. It is $\Gamma$-bi-invariant. Define $T(n)$ to be its indicator function, equivalently the sum of the distinct double cosets it contains, each with coefficient one. This is the convention consistent with the requested formula. For composite $n$, it need not be the single double coset of $\mathrm{diag}(1,n)$: for instance $2I\in {\mathcal{M}}_4$ cannot lie in that double coset, since multiplying by unimodular integral matrices preserves the greatest common divisor of the entries.

Prove all the needed subgroup facts directly. For a finite-index subgroup $L\subseteq {\mathbb{Z}}^2$, take $a$ to be the least positive first coordinate appearing in $L$ and $d$ the least positive second coordinate on its intersection with the second axis. Euclidean division then shows that the first-coordinate projection is $a\mathbb{Z}$ and $L\cap (\{0\}\times \mathbb{Z})=\{0\}\times d\mathbb{Z}$. Positivity follows, for example, because the finite quotient group kills a nonzero multiple of each coordinate vector. Choose $(a,b)\in L$ and reduce $b$ modulo $d$ to $0\le b<d$. Every vector of $L$ has first coordinate a multiple of $a$, and subtracting that multiple of $(a,b)$ leaves a multiple of $(0,d)$. Therefore these two vectors form a basis of $L$. The parameters $a,d,b$ are unique. Reducing the first coordinate modulo $a$ and then the second modulo $d$ gives precisely $ad$ quotient representatives, so $[{\mathbb{Z}}^2:L]=ad$.

Apply this row Hermite normal form in rank two to the row lattice of an integral matrix $A$ with $\det A=n$. Its row lattice contains $n{\mathbb{Z}}^2$, since $\mathrm{adj}(A)A=nI$, so it has finite index. Its two rows and the displayed two rows are bases of the same row lattice. The two inverse change-of-basis matrices have integer entries, so their determinants are integers whose product is one. Thus the change-of-basis matrix has determinant $\pm 1$; since both orientations are positive, its determinant is one. Thus each orbit under left multiplication by $\Gamma$ has exactly one of the determinant-n matrix representatives for Hecke operatorsThere are ${\sum }_{d\mid n}d$ such representatives, proving finiteness as well as the formula. The subgroup argument is a proof of the relevant Hermite normal form, not an invocation of an unproved lattice classification.

Consequently the normalized Hecke operator isIt preserves $M_k(\Gamma )$: right multiplication by $\Gamma$ permutes the left-multiplication orbits in ${\mathcal{M}}_n$, giving invariance, and cusp holomorphy under rational slash operators gives the holomorphy of each term at every cusp.

For a triangular representative the determinant-normalized slash operator is $f{|}_{k}A=n^{k/2}{d}^{-k}f((az+b)/d)$. Summing the Fourier expansion of a modular form over $b$ kills every index not divisible by $d$, by finite exponential orthogonality. ThusThe Fourier coefficients of a composite-index Hecke operator are thereforeIn particular $a_1(T_{n}f)=a_n(f)$. If $T_{n}f=\lambda f$, comparison of the $q$ coefficients gives

Finally suppose $a_0(f)\ne 0$ and $f$ is a simultaneous eigenfunction. Constant coefficients force ${\lambda }_n={\sigma }_{k-1}(n)$, so $a_n(f)=a_1(f){\sigma }_{k-1}(n)$ for all $n\ge 1$. Weight two cannot occur, by vanishing of weight-two level-one modular forms. For even $k\ge 4$, use the normalized Eisenstein series with its Fourier expansion of a normalized Eisenstein serieswhere $B_k$ is the Bernoulli number. Then $h=f-a_0(f)E_k$ is a cusp form with coefficients $(a_1(f)-a_0(f)c_k){\sigma }_{k-1}(n)$. The Fourier coefficient bound for a cusp form bounds these by $O(n^{k/2})$, but at arbitrarily large primes $p$ their magnitude is $|a_1-a_0{c}_k|(1+p^{k-1})$. Since $k-1>k/2$, the coefficient factor must vanish. All coefficients of $h$ then vanish, including its constant coefficient, so $h=0$ by its cusp expansion and the identity theorem. This proves the noncuspidal level-one Hecke eigenform characterization:

Use the Fourier transform convention $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$ and $D_j=-i{\partial }_j$, so $\widehat{P(D)u}=P(\xi )\hat{u}$. All distribution pairings use complex bilinearity, and the formal transpose is $P(-D)$, without complex conjugation of the coefficients. If $D_j$ instead denotes ${\partial }_j$, the Fourier multiplier is $P(i\xi )$; the argument below is unchanged after this substitution.

For a nonempty compact convex set $K\subset {\mathbb{R}}^n$, let $H_K(\eta )={\sup }_{x\in K}x\cdot \eta$ be its support function. The Paley–Wiener–Schwartz theorem says that the Fourier transform is a bijection between distributions supported in $K$ and entire functions $F$ on ${\mathbb{C}}^n$ for whichfor some $C>0$ and nonnegative integer $N$. In particular, support in ${\overline{B}}_R$ is equivalent to the bound with $e^{R|\mathrm{Im}\zeta |}$. Convexity is essential in the precise support formulation: the support function of a set equals that of its convex hull.

Suppose first that $u$ is a compactly supported distribution with support in $K$. Define $F(\zeta )=⟨u,e^{-ix\cdot \zeta }⟩$, inserting any cutoff function equal to one near $K$ when viewing $u$ on test functions. A fixed cutoff and the finite order of a distribution estimate permit differentiation of the pairing in each complex variable, giving ${\partial }_{\zeta }^{\alpha }F=⟨u,(-ix{)}^{\alpha }{e}^{-ix\cdot \zeta }⟩$. The exponential function's power series converges with every required derivative on a fixed compact set; hence $F$ is an entire function. On real frequencies it agrees with the Fourier transform of a compactly supported distribution.

The exact exponential indicator needs a shrinking cutoff function, rather than one fixed outside $K$. Choose ${\chi }_{\epsilon }=1$ near $K$, with support in $K+B_{2\epsilon }$ and $\Vert {\partial }^{\alpha }{\chi }_{\epsilon }{\Vert }_{\infty }\le C_{\alpha }{\epsilon }^{-|\alpha |}$ for $0<\epsilon \le 1$. Such a cutoff is obtained by convolving the indicator of $K+B_{\epsilon }$ with a mollifier supported in $B_{\epsilon /2}$. On one fixed ball containing all these supports, the finite order of a distribution bound isThe Leibniz rule applied to $\theta ={\chi }_{\epsilon }{e}^{-ix\cdot \zeta }$ therefore givesTaking $\epsilon =(1+|\zeta |{)}^{-1}$ proves the required bound, with $N=2m$ and a fixed additional factor at most $e^2$.

Conversely, suppose $F$ is an entire function with the displayed bound. Its real restriction has polynomial growth, so its inverse Fourier transform defines a tempered distribution byRapid decay of the Schwartz function $\hat{\phi }$ makes this integral absolutely convergent and continuous in the Schwartz space topology.

To determine the support of a distribution, take a test function supported in a half-space $x\cdot \omega \ge H_K(\omega )+\delta$, where $|\omega |=1$ and $\delta >0$. The contour-shift proof of the Paley–Wiener–Schwartz theorem gives, for each $t\ge 0$,Here is the estimate that justifies both the shift and its limiting use. Since $\hat{\phi }(-\xi -it\omega )=\int e^{ix\cdot \xi }{e}^{-tx\cdot \omega }\phi (x)dx$, repeated integration by parts with $1-{\Delta }_x$ yieldsFor fixed $t$, the same estimate is uniform over the imaginary strip from $0$ to $t\omega$. Rotate coordinates so $\omega$ is the first coordinate direction, apply the Cauchy integral theorem on truncated rectangles, and let their real edges tend to infinity. If $2L>N+n$, the boundary integrals vanish and the horizontal integrals converge absolutely; thus the claimed shift is valid. Using $H_K(t\omega )=t{H}_K(\omega )$ now bounds the pairing bywhich tends to zero. A separating hyperplane exists at every point outside the compact convex set $K$. A finite partition of unity on the support of any exterior test function reduces it to such half-spaces, so $\mathrm{supp}u\subseteq K$. Fourier inversion gives uniqueness; the entire transform of this $u$ agrees with $F$ on ${\mathbb{R}}^n$ and hence everywhere, by applying the one-variable identity theorem successively in each coordinate. This completes both directions.

Now apply this theorem to compact support solvability for a constant-coefficient ordinary differential equation. If $P$ is a nonzero constant, its kernel is zero and $u=v/P$ is the unique solution. Otherwise writeThe solution space of $P(-D)\phi =0$ isIndeed these exponentials solve the equation, their initial derivative vectors have a nonzero Vandermonde determinant, and uniqueness for the order-$m$ ordinary differential equation makes them a basis. Pairing $P(D)u=v$ with any such solution proves necessity:

For sufficiency, choose $R$ with $\mathrm{supp}v\subseteq [-R,R]$ and let $V(\zeta )=⟨v,e^{-ix\zeta }⟩$. The assumed annihilation is precisely $V({\alpha }_j)=0$ for every $j$. Since all roots of a polynomial are simple, $U=V/P$ has removable singularities at every root and is an entire function. Outside one disk, $|P(\zeta )|\ge c(1+|\zeta |{)}^m$. Inside that disk, the extended $U$ is bounded. The polynomial division preservation of exponential type therefore givesThe Paley–Wiener–Schwartz theorem produces a compactly supported distribution $u$ with transform $U$, supported in the same interval. Then $\widehat{P(D)u}=PU=V$, so Fourier inversion gives $P(D)u=v$. ThusThe compactly supported solution is unique: $P\hat{u}=0$ forces the entire transform to vanish off the finitely many roots and hence everywhere. With repeated roots, the corresponding condition would also require derivatives $V^{(k)}(\alpha )=0$, or pairing with $x^k{e}^{-i\alpha x}$, up to one less than each multiplicity.