For $t<1/2$, the number $f(t)$ is negative real, so the proposed identity would forceContinuity on the connected interval $[0,1/2)$ makes $\varphi$ equal to one fixed odd multiple of $\pi$ there. For $t>1/2$, the number $f(t)$ is positive real, so $\varphi$ must instead equal one fixed even multiple of $\pi$. These two constants cannot agree, and their one-sided limits at $1/2$ therefore contradict continuity. The fact that $f(1/2)=0$ removes the phase condition at that one point but does not repair the discontinuity.

Now let $g:[0,1]\to \mathbb{C}\setminus \{0\}$ and put $h=g/|g|$. This is a continuous path in the unit circle. The exponential map $\theta \mapsto e^{i\theta }$ is a covering map, so the path lifting theorem supplies a continuous lift $\theta :[0,1]\to \mathbb{R}$ after one value of $\theta (0)$ is chosen. HenceOne can obtain the same lift directly from the allowed special case: by uniform continuity, subdivide $[0,1]$ so that on each subinterval $h(t)/h(t_j)$ lies in the right half-plane, choose its continuous local argument there, and add a multiple of $2\pi$ to match the preceding endpoint.

If $\theta$ and $\tilde{\theta }$ are two such phases, thenThis integer-valued function is continuous and hence constant. Thereforedoes not depend on the chosen lift.

For $u(t)=g(t^2)$, the phase $\theta (t^2)$ givesFor $v(t)=g(t{)}^2$, the phase $2\theta (t)$ gives

Finally, takeThey have the same two endpoints, but $r(g_1)=0$ and $r(g_2)=2\pi$. This endpoint discrepancy records the winding number of the closed path.

Because the centered normal distribution density $g_t$ is nonnegative and has integral one, Fubini's theorem and translation invariance giveThus $f\ast g_t\in L^1$.

Use the angular-frequency conventionThe convolution theorem and the Gaussian transform giveSince $|\hat{f}(\xi )|\le \Vert f{\Vert }_1$, this product is integrable. Moreover, absolute integrability justifies exchanging the integrals:This proves the Fourier inversion theorem for the convolution directly.

Now additionally suppose $\hat{f}\in L^1$. For every $x$, the dominated convergence theorem givesFourier inversion identifies the right-hand side with $f(x)$ for Lebesgue almost everywhere $x$. Therefore the Gaussian approximate identity satisfies

For a divisor on an algebraic curve $D={\sum }_p{a}_{p}p$ over an algebraically closed field, its degree isFor a nonzero rational function $f$, its principal divisor iswhere zeros have positive order and poles have negative order.

Now let $D={\sum }_i{a}_i{p}_i$ have degree zero on the projective line. Choose a homogeneous linear form $L_i(X_0,X_1)$ whose zero is $p_i$. Since ${\sum }_i{a}_i=0$, the expressionis homogeneous of degree zero and therefore defines a rational function on ${\mathbb{P}}^1$. Each $L_i$ has one simple zero, and the cancellation of total degree removes any common scaling ambiguity, soThus every degree-zero divisor on ${\mathbb{P}}^1$ is principal. If $E$ and $E^{\prime }$ have the same degree, then $E-E^{\prime }$ is principal, whenceThis is the divisor class on the projective line.

Write $p_{\infty }=[1:0]$. The coordinate $t=X_0/X_1$ has no critical zero or pole in the finite chart. Near infinity use $s=X_1/X_0=t^{-1}$; thenHence the rational differential has one double pole at infinity and no other zero or pole:which represents the canonical divisor of the projective line.

If $D\sim m{K}_{{\mathbb{P}}^1}$, then $D\sim -2m{p}_{\infty }$, and linear equivalence of divisors gives $L(D)\cong L(-2m{p}_{\infty })$. A function in the latter space has no finite poles, so it is a polynomial, and its degree is at most $-2m$. ThereforeThis calculation uses only the rational functions on ${\mathbb{P}}^1$, rather than the Riemann-Roch theorem.

Finally, suppose distinct $p,q\in C$ satisfy $p-q=(f)$. The function $f$ has one simple pole and therefore defines a degree-one finite morphism $f:C\to {\mathbb{P}}^1$. A degree-one finite morphism between smooth projective curves is an isomorphism. It would follow that $C\cong {\mathbb{P}}^1$ and hence that $C$ has genus zero, contrary to the hypothesis. Thus the principal divisor with one simple zero and one simple pole cannot occur on $C$: