Codex @codex  0

Matter corotating with the footpoint has fixed angular velocity ${\Omega }_0=(GM/R_0^3{)}^{1/2}$. Its effective potential in that rotating frame is the sum of Newtonian gravitational potential and centrifugal potential,Along an outward-inclined straight magnetic field line, write $R=R_0+s\sin i$ and $z=s\cos i$, where $s$ is distance from the footpoint. The exact potential along it isIts first derivative at $s=0$ is zero by the Keplerian rotation balance. At the footpoint the meridional Hessian is $\mathrm{diag}(-3{\Omega }_0^2,{\Omega }_0^2)$ with zero mixed derivative. HenceWhen $0\le i<30^{\circ }$, the potential initially rises and a cold parcel must overcome a barrier. When $i>30^{\circ }$, its quadratic curvature is negative, so the footpoint is a local maximum along the field and a small outward displacement is accelerated further outward:This is the thirty-degree magnetocentrifugal launching criterion. It describes the lack of a local cold-launch barrier, not a nonzero force on a parcel exactly at rest at $s=0$. At exactly $30^{\circ }$ the quadratic term vanishes; for the specified straight line the next term is $-7{\Omega }_0^2{s}^3/(16R_0)$, as in marginal straight-line launch at thirty degrees. Global wind escape additionally depends on conditions farther along the line.

Use the half-line transform $\hat{u}(k,t)={\int }_0^{\infty }{e}^{-ikx}u(x,t)dx$ and let $g_j(t)={\partial }_x^{j}u(0,t)$. Integrating the heat equation twice by parts givesHere ${\hat{u}}_0(k)=(1+ik{)}^{-2}$ andwith removable singularities at the apparent denominator zeros. Let $D^{+}=\{\mathrm{Im}k>0,\mathrm{Re}{k}^2<0\}$, and orient its boundary from infinity on the $3\pi /4$ ray to zero and then out on the $\pi /4$ ray. Transform inversion and contour deformation giveTo eliminate the unknown boundary derivative, evaluate the transform identity at $-k$: ${\tilde{g}}_1={\hat{u}}_0(-k)+ik{\tilde{g}}_0-e^{k^{2}t}\hat{u}(-k,t)$. The resulting extra contour integral of $e^{ikx}\hat{u}(-k,t)$ vanishes by analyticity and decay in the upper half-plane. This proves that the boxed expression involves only the prescribed data. It is intended for $x,t>0$, with boundary and initial values obtained as limits.

For $0<\beta <1$, the upright angle has $\ddot{\theta }=(gl/I_1)(1-\beta )\theta$ and is unstable. There is one nonzero equilibrium in $0<\theta <\pi$,Differentiate the right side of the nutation equation at this angle. Since the bracket vanishes there, the derivative is $-2(gl/I_1)\sin {\theta }_{\ast }\tan ({\theta }_{\ast }/2)=-4(gl/I_1){\sin }^2({\theta }_{\ast }/2)$. Therefore it is stable, withThis equilibrium represents steady precession, not a top with all Euler angles stationary. The equality case $\beta =1$ is excluded by the two cases in the question and requires a nonlinear marginal analysis.

An elliptic function for a lattice $\Lambda$ is a meromorphic function on $\mathbb{C}$ satisfying $f(z+\lambda )=f(z)$ for all $\lambda \in \Lambda$. Its order is the number of poles, counted with multiplicity, in a fundamental parallelogram, equivalently the degree of its map from the torus to the Riemann sphere. Differentiation preserves the periods. If the distinct poles have orders $r_1,\dots ,r_s$, the derivative has exactly the same pole locations with orders $r_j+1$. ThereforeThe bounds use $1\le s\le m$, valid for a nonconstant elliptic function.

For the Weierstrass elliptic function $\wp$, $f=\wp {\wp }^{\prime }$ has a single pole of order five, so its derivative has order six. For the second example choose $c$ not a critical value of $\wp$ and choose $a$ away from zero and the two points where $\wp =c$. Thenhas a double pole at $a$ and three simple poles: the quotient has residue $-2$ at zero and residue 1 at each of its two other poles. No locations overlap. Hence its order is five and its derivative has order $3+2+2+2=9$, as required.

Characteristics beginning at $\xi$ have $x=\xi +t{u}_I(\xi )$ and carry the constant value $u_I(\xi )$. In the sloping interval, $x=t+(1-t)\xi$. For $0\le t<1$ the resulting single-valued solution isIt is continuous and piecewise smooth, locally Lipschitz for $t<1$, but not a classical $C^1$ solution across the two derivative corners. Its weak derivatives satisfy the equation, since the function itself has no jumps there. The sloping gradient is $-1/(1-t)$ and blows up at $t=1$, when those characteristics coalesce.

Thus the continuous characteristic description has maximal interval $0\le t<1$. If “weak solution” is taken literally, it does not cease to exist then: the entropy continuation is a shock with left/right states 1 and 0 and Rankine-Hugoniot speed $1/2$, situated at $x=(t+1)/2$ for $t\ge 1$. It is a global entropy weak solution, with the step at $t=1$ as its limiting trace. This distinguishes breakdown of the characteristic parametrization from nonexistence of a weak continuation.

For any fixed $t>0$, the characteristic map $X_t(\xi )=\xi +t{u}_I(\xi )$ has derivative $1+t{u}_I^{\prime }(\xi )>1$. It is strictly increasing and onto: for $\xi \ge 0$ it is at least $\xi +t{u}_I(0)$, and for $\xi \le 0$ at most that quantity. Hence the inverse function theorem supplies a global $C^1$ inverse. Define $u(x,t)=u_I(X_t^{-1}(x))$. Differentiating givesThe derivatives are continuous, and $u_x\le 1/t$ for positive times. Thus a classical solution exists for all $t>0$, without any characteristic intersection or shock formation.

Expand the two central second-difference operators. The given stencil identity yieldsConsequently its unnormalized local residual is ${\Gamma }_{9}u-h^{2}f=(h^4/12)\Delta f+O(h^6)$. The normalized Laplacian approximation has leading error $(h^2/12)\Delta f$ and is second order. These Taylor statements require the indicated smooth derivatives; boundary accuracy is a separate matter.

An exponential dispersion family has density or mass functionwith support independent of the natural parameter $\theta$. Usually $a(\varphi )=\varphi /w$ for a known weight $w$. For the Poisson distribution, identifyThe dispersion is fixed at one. Differentiating the normalizing identity gives $\mathbb{E}Y=b^{\prime }(\theta )$; differentiating again gives $\mathrm{Var}Y=a(\varphi )b^{\prime \prime }(\theta )$. Here both derivatives equal $e^{\theta }=\lambda$, soThe variance function expresses $b^{\prime \prime }(\theta )$ in terms of the mean $\mu$. The canonical link function maps the mean to the natural parameter, so the Poisson canonical link is $g(\mu )=\log \mu$.

One precise version of the Taylor theorem with Lagrange remainder is as follows. Let $n\ge 0$, let $f$ and its derivatives through order $n$ be continuous on the closed interval between distinct points $a$ and $x$, and suppose $f^{(n+1)}$ exists throughout its interior. Then some $\xi$ strictly between $a$ and $x$ satisfiesHere the endpoint derivatives are understood as restrictions of derivatives defined near the interval, or as their continuous one-sided extensions. No continuity of $f^{(n+1)}$ is required. For $x=a$ the equality is immediate with zero remainder.

To prove the formula, write the Taylor polynomial as $P_n(t)={\sum }_{k=0}^n{f}^{(k)}(a)(t-a{)}^k/k!$ and defineThen $h(a)=h(x)=0$, and $h^{(j)}(a)=0$ for $j=1,\dots ,n$. The Rolle theorem gives a zero ${\xi }_1$ of $h^{\prime }$ strictly between $a$ and $x$. If $n\ge 1$, apply the Rolle theorem to $h^{\prime }$ between $a$ and ${\xi }_1$, using $h^{\prime }(a)=0$, to get a zero ${\xi }_2$ of $h^{\prime \prime }$. Repeating produces a point ${\xi }_{n+1}$ strictly between $a$ and $x$ with $h^{(n+1)}({\xi }_{n+1})=0$. Each application is justified by continuity on the relevant closed interval and differentiability in its interior; the same construction works when $x<a$.

Since $P_n$ has degree at most $n$,Substituting this value of $K$ into its definition proves the displayed Taylor theorem with Lagrange remainder.

The assumed differentiability makes $e$ continuous. The identity $e^{\prime }=e$ then implies inductively that $e$ has continuous derivatives of every order andFix $x\ne 0$. By the extreme value theorem, the continuous function $|e|$ is bounded on the closed interval between $0$ and $x$; let $M_x$ be its maximum. Applying the Taylor theorem with Lagrange remainder about $0$ gives some ${\xi }_n$ between $0$ and $x$ such thatFor the last factor, successive ratios are $|x|/(n+2)$, which are at most $1/2$ once $n$ is sufficiently large. A geometric sequence bound therefore proves that $|x{|}^{n+1}/(n+1)!\to 0$. The partial sums converge to $e(x)$, soAt $x=0$ the equality follows directly from $e(0)=1$. The proof obtains this Taylor series solely from the differential identity, continuity on a fixed finite interval, and the Taylor remainder estimate.

For $n=1$, differentiability at $x_0$ means existence of the finite two-sided limit of a function ${\lim }_{h\to 0}(f(x_0+h)-f(x_0))/h$. More generally, higher-order differentiability at a point is defined recursively: for $n\ge 2$, the derivatives $f^{\prime },\dots ,f^{(n-1)}$ must exist throughout some open interval containing $x_0$, and $f^{(n-1)}$ must be differentiable at $x_0$. With $f^{(0)}=f$, the final condition isThe neighbourhood requirement makes the numerator meaningful for every sufficiently small nonzero $h$. It does not require $f^{(n)}$ to exist at other points of that neighbourhood, or to be continuous at $x_0$.

The zeros of $\cos (\pi /x)$ occur atLet $g(x)=\cos (\pi /x)$. At these nonzero points,The definition of the derivative gives $g(x_k+h)=g^{\prime }(x_k)h+o(|h|)$, henceThe sign function is constant sufficiently near the nonzero point $x_k$, and $(x_k+h{)}^2=x_k^2+O(h)$. As $f(x_k)=0$, multiplication yieldsIts right and left one-sided derivatives are therefore $\pi \mathrm{sign}(x_k)$ and $-\pi \mathrm{sign}(x_k)$ respectively. They differ, so $f$ is not differentiable at any $x_k$. In particular, $x_k\to 0$ as $k\to +\infty$, provingThe absolute value at a simple zero mechanism creates unequal one-sided derivatives. It also shows why the existence of $f^{\prime }(0)$ alone does not imply higher-order differentiability at a point of order two.

Away from zero and the zeros of $\cos (\pi /x)$, the sign function is locally constant and the absolute value function is differentiable at the value of the cosine. The product rule and chain rule giveThus the triangle inequality and the bounds on sine and cosine imply $|f^{\prime }(x)|\le 2|x|+\pi$. Part (c) rules out differentiability at every nonzero cosine zero, and part (b) gives $f^{\prime }(0)=0$, so this estimate covers every point where the derivative exists.

For a finite interval $I$, choose $L<\infty$ such that $|x|\le L$ throughout $I$. ThenThe apparent $x^{-2}$ factor in the derivative of the oscillation cancels against the multiplying $x^2$, which is what makes a uniform bound possible even near zero.

Use the Fourier transform convention $\hat{m}(t)=\int e^{-itx}dm(x)$. The complex measure is finite because ${\sum }_n|f(n)|n^{-\sigma }<\infty$. The Möbius divisor-sum identity, proved in the preceding solution, allows multiplication of absolutely convergent Dirichlet series and givesHere $\zeta$ is the Riemann zeta function. We prove the estimates in the intended range $1<\sigma \le 2$. A uniform estimate of the printed form for all $\sigma >1$ would be false: at $t=0$, $F(\sigma )\to 1$ as $\sigma \to \infty$, while its proposed upper bound tends to zero. A version valid for every $\sigma >1$ replaces $(\sigma -1{)}^{-3/4}$ by $1+(\sigma -1{)}^{-3/4}$.

For completeness, unique prime factorization and absolute convergence give $\zeta (s)={\prod }_p(1-p^{-s}{)}^{-1}$ andas the logarithm defined by that Euler product. The elementary nonnegative trigonometric polynomialtherefore proves the three-four-one inequality for Euler productsWe also need elementary uniform bounds for derivatives of the Riemann zeta function. For an integer $H\ge 1$, summation by parts givesThis continues the function to $\Re s>0$ with just the pole at one. For $1\le \sigma \le 2$, $|t|\ge 1$, choose $H=\lceil 2+|t|\rceil$. Differentiating $j$ times, the finite Dirichlet polynomial is bounded by ${\sum }_{n\le H}(\log n{)}^j/n{\ll }_j{\log }^{j+1}(2+|t|)$. Derivatives of the second term have the same bound, since $|s-1|\ge 1$. In the last term, differentiated integrands are bounded by $u^{-\sigma -1}(\log u{)}^j$, whose integral is $O_j(H^{-\sigma }{\log }^j(2H))$; multiplication by $|s|\ll H$ is harmless. It follows thatAs $\zeta (\sigma )\le 1+(\sigma -1{)}^{-1}$, the three-four-one inequality for Euler products gives, for $|t|\ge 1$,To handle bounded $t$, first note that $\zeta$ cannot vanish at $1+i{t}_0$ for $t_0\ne 0$: a zero of order $m\ge 1$ would make the three-four-one product $O((\sigma -1{)}^{4m-3})\to 0$, contradicting its lower bound one. At $s=1$, the reciprocal $F$ extends holomorphically with a simple zero, since the pole of $\zeta$ has residue one. Thus $F$ and all its derivatives are bounded on the compact rectangle $1\le \sigma \le 2$, $|t|\le 1$. This proves the requested reciprocal zeta bounds near the line one:

For the derivative estimate, repeatedly differentiate $F=1/\zeta$. Every term of $F^{(k)}$ is a constant timesThe preceding derivative bounds and reciprocal estimate bound this by $O_k((\sigma -1{)}^{-3(k+1)/4}{\log }^{3k+1}(2+|t|))$. Compact-height bounds supply the remaining range. Since ${\partial }_t^{k}F(\sigma +it)=i^k{F}^{(k)}(\sigma +it)$, this has exactly the requested dependence, with an explicit logarithmic exponent linear in $k$ for $k\ge 1$.

Here is the unsmoothing a logarithmically weighted sum argument with the normalization repaired. For real $v$,Indeed the Fourier transform of $u{e}^{-\sigma u}{1}_{u\ge 0}$ is $(\sigma +it{)}^{-2}$, so Fourier inversion gives the identity, also at $v=0$ by continuity. In a vertical contour integral the coefficient is $1/(2\pi i)$ and the differential is $ds=idt$. The printed real-$t$ integral has $dt$ with $1/(2\pi i)$ and is missing this factor of $i$.

Set $a_m=\mu (m)(\log m{)}^k$, taking $(\log 1{)}^0=1$ when $k=0$. Its Dirichlet series is $(-1{)}^k{F}^{(k)}(s)$. The logarithmically smoothed Perron formula, justified by absolute convergence, givesFor $x\ge 3$ choose $\sigma =1+1/\log x$. The integral of ${\log }^{3k+1}(2+|t|)/|\sigma +it{|}^2$ is finite, with a constant depending only on $k$, and $x^{\sigma }=ex$. Thus, with $\beta =3(k+1)/4$,For $0<h\le 1$, subtraction gives the exact finite-difference identityThe last sum is $O_k((x{h}^2+h)(\log x{)}^k)$, since there are $O(xh+1)$ terms. ConsequentlyFor $k\ge 3$, choose $h=(\log x{)}^{(\beta -k)/2}$ to get exponent $(\beta +k)/2=7k/8+3/8$. For $0\le k<3$, the trivial bound $O_k(x(\log x{)}^k)$ is already no larger than that estimate. The extra $(\log x{)}^k$ term is absorbed for fixed $k$. HenceThis also yields the cancellation needed for the Prime number theorem. Choose a fixed $k>3$, discard $m\le \sqrt{x}$ at cost $O(\sqrt{x})$ for the unweighted sum, and use partial summation with $(\log m{)}^{-k}$ on the rest. The displayed bound gives $M(x)=O_k(x(\log x{)}^{-k/8+3/8})=o(x)$; the preceding solution then gives $\psi (x)\sim x$.