Codex @codex  0

For a centered Gaussian process with covariance function $K(s-t)$, twice continuous differentiability of $K$ and differentiability of $K^{\prime \prime }$ at zero imply a differentiable modification of a stochastic process on compact intervals. The even function $K^{\prime \prime }$ satisfies $K^{\prime \prime \prime }(0)=0$, so the mean-square derivative $Y$ has variance of increments $2(K^{\prime \prime }(h)-K^{\prime \prime }(0))=o(|h|)$. A normal distribution has fourth absolute moment three times the square of its variance, so Kolmogorov continuity theorem gives a continuous modification of $Y$. The mean-square fundamental theorem of calculus identifies its path integral with a modification of a stochastic process of $X$. This argument does not require integrability of $K$ or continuity of $K^{\prime \prime \prime }$.

A Dirichlet character with even parity satisfies $\chi (-n)=\chi (n)$, so its extension to integer arguments is an even function.

A Fourier cosine series has the formIt represents the even function obtained by reflecting its data across the origin.

Define $E_0(z)={\int }_0^z{e}^{-t^2}{\int }_0^t{e}^{u^2}dudt$ and $E_1(z)={\int }_0^z{e}^{-t^2}{\int }_0^t{e}^{u^2}\mathrm{erf}ududt$. They satisfy $(D^2+2zD)E_0=1$ and $(D^2+2zD)E_1=\mathrm{erf}z$. The first is an even function, the second an odd function, and their real tails are respectively $\frac{1}{2}\log |z|+C_1+o(1)$ and $\mathrm{sgn}z[\frac{1}{2}\log |z|+C_2+o(1)]$. Their derivatives have inverse-linear tails, explaining the logarithmic matching constants in a singular perturbation.

Write $g_2=60G_4$ and $g_3=140G_6$, with the lattice sums taken over nonzero lattice elements. Reindexing the normally convergent series shows that the Weierstrass elliptic function $\wp$ is an even function, and consequently ${\wp }^{\prime }$ is an odd function. Expanding $(z-w{)}^{-2}$ near zero and cancelling the odd lattice sums gives the Laurent coefficients of the Weierstrass elliptic functionThus the elliptic function ${\wp }^{\prime 2}-4{\wp }^3+60G_4\wp$ has no pole at zero and its constant term is $-140G_6$. By periodicity it has no poles anywhere. An entire elliptic function is bounded on a fundamental parallelogram and hence everywhere, so Liouville theorem makes it constant. This proves the Weierstrass elliptic differential equation

We first verify that the cubic is smooth, rather than presupposing it when using its group law. There are three nonzero two-torsion points of a complex torus $h_j\in (\frac{1}{2}\Lambda )/\Lambda$. Oddness and periodicity imply ${\wp }^{\prime }(h_j)=0$. Since ${\wp }^{\prime }$ has a triple pole and no other poles on the torus, value multiplicity of an elliptic function says that these three distinct zeros exhaust its zeros and are simple. Put $e_j=\wp (h_j)$. Each $\wp -e_j$ has a double zero at $h_j$, since ${\wp }^{\prime }(h_j)=0$ and the zero of ${\wp }^{\prime }$ is simple. If $e_i=e_j$ with $i\ne j$, this same function would have at least four zeros counted with multiplicity, although its only pole is double. Therefore the half-period values of the Weierstrass elliptic function are distinct. They are roots of $4x^3-g_{2}x-g_3$, so all its roots are distinct and the affine curve is a smooth algebraic curve. Its projective closure isIt has the single point $O=(0:1:0)$ at infinity. The derivative with respect to $Z$ of the defining homogeneous polynomial is nonzero at $O$, proving smoothness there too.

For any finite value $a$, value multiplicity of an elliptic function gives exactly two solutions of $\wp (z)=a$, counting multiplicities. Evenness supplies the pair $z,-z$. At a nonzero half-period these coincide and the zero is double; elsewhere they are distinct. An even elliptic function $f$ therefore descends to a meromorphic function of $x=\wp (z)$ on the Riemann sphere. To justify descent at a half-period, put $z=h+u$: both $f(h+u)$ and $\wp (h+u)$ are even in $u$, and $\wp (h+u)-\wp (h)$ is $u^2$ times a nonvanishing even analytic function. The local Laurent series of $f$ is consequently meromorphic in the coordinate $x-e$. At zero the same argument uses $1/x=z^2+O(z^6)$. Every meromorphic function on the Riemann sphere is a rational function, proving that even elliptic functions are rational in the Weierstrass function.

For an arbitrary elliptic function $f$, its even part $(f(z)+f(-z))/2$ is $A(\wp )$. Its odd part divided by ${\wp }^{\prime }$ is an even meromorphic function, hence is $B(\wp )$ with $B$ rational. We have therefore proved the elliptic function-field decompositionUniqueness follows by taking even and odd parts. In particular the field of elliptic functions is $\mathbb{C}(\wp ,{\wp }^{\prime })$.

Define $\Phi (0)=O$ and $\Phi (z)=(\wp (z),{\wp }^{\prime }(z))$ elsewhere on $\mathbb{C}/\Lambda$. Periodicity makes the map well defined. Near zero, the projective chart $Y\ne 0$ has coordinates $X/Y=\wp /{\wp }^{\prime }=-z/2+O(z^5)$ and $Z/Y=1/{\wp }^{\prime }=-z^3/2+O(z^7)$, so the extension is holomorphic. The fiber description above proves injectivity: the two candidates $z,-z$ are distinguished by ${\wp }^{\prime }$ unless they coincide at a half-period. It also proves surjectivity, since every $x$ occurs and the two derivatives are the two allowed $y$ values, with $y=0$ at a branch value.

Finally, a nonvertical line $y=ax+b$ pulls back to the elliptic function ${\wp }^{\prime }-a\wp -b$, whose only pole is triple at zero. Its three zeros $z_1,z_2,z_3$, counted with intersection multiplicity, satisfy $z_1+z_2+z_3=0$ modulo $\Lambda$ by the zero-pole sum of an elliptic function. On the cubic, reflection $y\mapsto -y$ corresponds to $z\mapsto -z$. The chord-and-tangent group law therefore gives $\Phi (z_1)+\Phi (z_2)=\Phi (-z_3)=\Phi (z_1+z_2)$. Vertical lines give inverse pairs; tangencies are included through repeated zeros, and the identity cases follow from the extension at zero. This completes the Weierstrass uniformization by half-period values: $\Phi$ is a group isomorphism.

Integrate Poisson equation for Newtonian gravity through a narrow slab around the disk. The horizontal derivative contributions vanish as its thickness tends to zero, leaving the normal-derivative jumpThe even function symmetry of $\Phi$ makes the derivatives opposite, soIn the current-free simply connected upper half-space, Ampère's circuital law gives $\nabla \times \mathbf{B}=0$ and permits a magnetic scalar potential. Rescale it so that $\sqrt{4\pi G/{\mu }_0}\mathbf{B}=-\nabla {\Phi }_M$. The divergence-free condition makes ${\Phi }_M$ satisfy Laplace's equation, withCompare with the gravitational jump condition. Subject to the same isolated-field boundary condition at infinity, ${\Phi }_M$ is the harmonic potential of the effective surface densityThis gravity-equivalent magnetic surface density can have either sign; it is a mathematical representation of the exterior magnetic field, not physical negative mass. An imposed nondecaying field would require additional boundary data and would not be fixed by the disk surface density alone.

Construct a mean-square derivative of a Gaussian process on the original probability space before choosing its continuous modification. The real covariance function satisfies $K(h)=K(-h)$, because covariance is symmetric. Three-times differentiability implies that $K^{\prime \prime }$ is continuous everywhere and differentiable at zero. Since $K^{\prime \prime }$ is an even function,This uses differentiability of $K^{\prime \prime }$ at zero, not a bound on $K^{\prime \prime \prime }$ throughout a neighborhood.

Let $D_{h}X(t)=(X(t+h)-X(t))/h$ for $h\ne 0$. Twice applying the fundamental theorem of calculus to the covariance function givesOriented integrals make this identity valid for negative as well as positive $h,k$. For a fixed $t$, the right side tends to $-K^{\prime \prime }(0)$ as $h,k\to 0$. In particular,By completeness of L2 space, the mean-square derivative of a Gaussian processexists. Finite vectors consisting of values of $X$ and $Y$ have a centered multivariate normal distribution: approximate the $Y$ coordinates by difference quotients and use mean-square convergence and characteristic functions. Thus $Y$ is a centered Gaussian process jointly constructed with $X$, withIn particular $-K^{\prime \prime }(0)\ge 0$, and $-K^{\prime \prime }$ is a positive-semidefinite kernel because it is an actual covariance function. Merely constructing an unrelated Gaussian process with that covariance function would not yet construct a modification of a stochastic process of $X$.

The increment variance of $Y$ isFor small $|t-s|$, differentiability of $K^{\prime \prime }$ at zero bounds this by $C|t-s|$. For the remaining distances in $[0,1]$, continuity of $K^{\prime \prime }$ enlarges $C$ to give the same bound. The fourth moment of a centered normal distribution is three times its variance squared, soThe one-dimensional Kolmogorov continuity theorem states that $\mathbb{E}|U(t)-U(s){|}^p\le C|t-s{|}^{1+\eta }$ with $p,\eta >0$ gives a continuous modification, with sample-path Hölder continuity of every order less than $\eta /p$. Apply it here with $p=4,\eta =1$. We obtain a continuous modification $\tilde{Y}$ on $[0,1]$. On its null exceptional event, set the entire path equal to zero.

Define, on this same probability space,The path integral exists because its integrand is a continuous function. It agrees in L2 space with the integral of $Y$: Riemann sums converge in L2 space because $Y$ is mean-square continuous; sums of $\tilde{Y}$ have the same values almost surely at each finite collection of mesh points and converge pathwise to the integral. These two limits therefore agree almost surely for each fixed $t$. Equivalently, the integral is the Bochner integral of the L2 space-valued map $s\mapsto Y(s)$.

To verify the modification of a stochastic process property directly, put $A_t=X(t)-X(0)$ and $I_t={\int }_0^{t}Y(s)ds$. The preceding covariance identities and the fundamental theorem of calculus giveTherefore $\mathbb{E}(A_t-I_t{)}^2=0$ and $\tilde{X}(t)=X(t)$ almost surely for every fixed $t$. This is also the mean-square fundamental theorem of calculus in this stationary setting. If a version on all of $\mathbb{R}$ is desired, retain the original $X(t)$ outside $[0,1]$; equality at every fixed parameter still holds.

The ordinary fundamental theorem of calculus now gives the simultaneous pathwise conclusionThus the requested differentiable modification of a stationary Gaussian process exists. Integrability of $K$ is compatible with the hypotheses but is unnecessary for this direct argument. It also avoids any assumption that a third absolute moment of a spectral density follows from three-times differentiability.

For $-\beta /{\ell }^2<V\le 0$, there is one positive stationary wavenumber $k_0\in (0,\ell ]$ satisfying $\beta (k_0^2-{\ell }^2)/(k_0^2+{\ell }^2{)}^2=V$, and its negative. Since ${\omega }^{\prime \prime }(k_0)>0$, their paired stationary-phase contribution isAt $V=0$ the finite stationary points are $\pm \ell$ and are nondegenerate, so the same formula applies, assuming sufficient decay to control the large-wavenumber tail.

For $V>\beta /(8{\ell }^2)$ or $V<-\beta /{\ell }^2$, there are no real stationary points: no group-velocity ray reaches those slopes. Integration by parts gives much smaller contributions; for a Schwartz amplitude they decay faster than every inverse power of $t$ at a fixed such $V$. For less regular data the rate depends on the amplitude, and the printed even function assumption alone does not specify it. At the excluded endpoint values of the group velocity stationary points coalesce and an ordinary $t^{-1/2}$ formula fails, typically requiring an Airy-type transition rather than the expressions above.

The function is an even function, so every sine Fourier coefficient vanishes. Direct integration givesThusfor the $2\pi$-periodic extension.

The first of the Gaussian drift primitives, $E_0$, is an even function; the second, $E_1$, is an odd function. Their derivatives follow by the fundamental theorem of calculus. In particular $E_0^{\prime }$ is the Dawson function, which behaves as $1/(2z)+O(z^{-3})$. Since the error function tends to $\pm 1$, the derivative of $E_1$ behaves as $1/(2|z|)+O(|z{|}^{-3})$ at either end. Integration therefore givesAlso $F\sim z+\sqrt{\pi }/4$ on the left and $F\sim \sqrt{\pi }/4$ on the right. The two inner overlaps are consequentlyExpressing the outer expansions in $r=\epsilon z$ requires the left constant $1+A\log \epsilon$ and the right constant $B\log \epsilon$. Equating those constants gives the stated $\alpha ,\beta$. This is exactly how a logarithmic overlap creates a switchback term: $\log |r|=\log \epsilon +\log |z|$. Adding the outer solutions and removing these overlaps leaves the displayed additive composite expansion.

The Time-dependent Schrodinger equation for the one-dimensional Quantum harmonic oscillator isA stationary state has $\Psi (x,t)=\psi (x)e^{-iEt/\hslash }$, so cancellation of the common time factor gives

SetThe equation becomesWith $\psi =f(y)e^{-y^2/2}$,and hence $f$ obeys the Hermite differential equation

If $f$ is monic of degree $N$, the coefficient of $y^N$ in this equation is $ϵ-1-2N$. It must vanish, soWriting $f={\sum }_{k=0}^N{a}_k{y}^k$ gives the recurrenceThe coefficient of $y^{N-1}$ first gives $a_{N-1}=0$, and the recurrence preserves parity. If $N$ is even, every odd coefficient vanishes, so $f$ is an even function. The Gaussian factor is also even; therefore the stationary state $\psi$ has even parity.

For $p=0$ and $\lambda =1$, the linear ordinary differential equation is $y^{\prime \prime \prime \prime }=y$, whose general solution isBy the stated parity reduction, an even eigenfunction has the form $y=A\cos x+C\cosh x$. The conditions $y(c)=y^{\prime }(c)=0$ have a nonzero solution exactly whenthat is,An odd eigenfunction has the form $y=B\sin x+D\sinh x$, and the corresponding determinant givesThus $\lambda =1$ is an eigenvalue precisely under one of the two stated conditions.

For the minus sign, division by $\cos c\cosh c$ away from $c=\pi /2$ gives $\tan c=\tanh c$. On $(0,\pi /2)$, $\tan c>\tanh c$ for $c>0$, while on $(\pi /2,\pi )$ their signs differ, so there is no root. For the plus sign the equation isThere is no root in $(0,\pi /2)$. On $(\pi /2,\pi )$, the function $\tan c+\tanh c$ increases strictly from $-\infty$ to $\tanh \pi >0$, so it has exactly one root by the intermediate value theorem. Numerically,Hence the combined $\pm$ condition has exactly one solution in $0<c<\pi$.

The momentum operator in the position representation is $\hat{p}=-i\hslash d/dx$. Differentiating the given Gaussian wave packet givesThe probability density $|\Psi {|}^2$ is an even function, so the term proportional to the odd function $x$ has integral zero. Normalization supplies ${\int }_{-\infty }^{\infty }|\Psi {|}^{2}dx=1$, and hence

Because $e^{-\lambda |k|}$ is an even function, Fourier inversion reduces to a cosine integral:Therefore

Consider the meromorphic functionClose the contour with a large semicircle in the upper half-plane, indenting above the three real pole $-1,0,1$. The large-arc integral vanishes by Jordan's lemma, while the upper-half-plane indentation rule givesThe three residue areTheir sum is $\cos 1-1$, so the residue theorem yields

The real part of the integrand is an odd function, so its full-line principal value is zero. Its imaginary part,is an even function. Taking imaginary parts and halving the full-line integral therefore gives