Codex @codex  0

For the real coefficients of the stated self-adjoint Sturm-Liouville problem, define the weighted inner productSince $w>0$, a nonzero eigenfunction has positive squared norm. Let $Ly=-(p{y}^{\prime }{)}^{\prime }+qy$. Integration by parts and the Dirichlet boundary conditions giveTaking $u=v$ to be an eigenfunction shows that its eigenvalue is real, since $\lambda \int w|u{|}^2=\int (p|u^{\prime }{|}^2+q|u{|}^2)$ is real. For two eigenfunctions with eigenvalues $\lambda ,\mu$, the same identity givesHence distinct eigenvalues imply orthogonality in the weighted inner product. This is the orthogonality of Sturm-Liouville eigenfunctions. The calculation assumes the regularity needed for the stated self-adjoint boundary problem, so all boundary terms and integrals are defined.

On the parabolic domain with the nonpositive real axis removed, first apply the principal square root, then scale by $\pi /2$, and then apply the map of part (b). This gives the stated composite $C(z)$ and maps bijectively onto the slit unit disc.

There is no genuine branch cut in the composite. The function ${\tan }^2(\pi s/4)$ is even in $s$, so changing the local square root has no effect. Near zero its Taylor series starts asgiving a holomorphic extension with $C(0)=0$. There are no poles within the parabolic domain: the possible squared locations are $z=(2+4k{)}^2$, all on the excluded real portion $x\ge 4$.

For $z=-r^2$ with $r\ge 0$, the continuation givesAs $r$ ranges from zero to infinity, these values run once through $(-1,0]$. They fill precisely the slit omitted by the previous mapping, and no point away from the negative real axis has an image in that slit. Therefore the extended map is a bijection onto the whole unit disc:It is holomorphic throughout, so this bijection is the desired conformal map from a parabolic domain to the unit disc; in particular $C^{\prime }(0)={\pi }^2/16\ne 0$.

It helps to separate the tangent and the squaring map. Put $t=\tan (z/2)$, with $z=x+iy$. The identityshows that $0<x<\pi /2$ gives $\mathrm{Re}t>0$ and $|t|<1$. To see that every point of this right half-disc occurs, setThen $z=-i\mathrm{Log}R$ has $0<\mathrm{Re}z<\pi /2$ and satisfies $\tan (z/2)=t$. The principal complex logarithm is unambiguous because $R$ is in the first quadrant.

Squaring maps this right half-disc bijectively onto the unit disc with the interval $(-1,0]$ removed: the argument of $t$ lies between $-\pi /2$ and $\pi /2$, and doubles into $(-\pi ,\pi )$. Thus the desired image isNeither derivative vanishes in the domain, so the composition is also a conformal map onto that slit disc.

Take the principal square root $w=u+iv$, which has $u>0$ on the slit domain. The inverse relation $z=w^2$ gives $x=u^2-v^2$ and $y=2uv$. Hence the defining inequality for the parabolic domain becomesThus the image is the strip $\boxed{0<\mathrm{Re}w<1}$. Conversely, every point of this strip squares to a point of the parabolic domain outside the removed nonpositive real axis, and its principal square root is the original $w$. This proves that the map is onto the strip and one-to-one. Its derivative $1/(2\sqrt{z})$ is nonzero there, so it is a conformal map.

We argue by contradiction using the previous subsequence construction. If $X$ is not complete, choose a Cauchy sequence with no limit in $X$. None of its $d_m$ can be zero: if $d_m=0$, then $d(x_m,x_n)\to 0$, giving a limit in $X$. The construction therefore produces pairwise distinct $y_j$ withLet $Y=\{y_1,y_2,\dots \}$. This subset is closed in $X$. Indeed, if a point $x\notin Y$ lay in its closure, there would be points of $Y$ tending to $x$. Their indices must be unbounded, because the distance from $x$ to any finite subset of $Y$ is positive. Passing to increasing indices gives a convergent subsequence of the original Cauchy sequence. Part (a) would then make the whole sequence converge to $x$, a contradiction.

Now define $F:Y\to Y$ by $F(y_j)=y_{j+1}$. Distinctness makes this well-defined, and the displayed inequality makes it a contraction mapping with constant at most $1/2$. It has no fixed point, contradicting the assumed property of closed subsets. ConsequentlyThis is the converse direction of contraction property of closed subsets characterizes completeness.

A Cauchy sequence in a metric space satisfies: for every $\epsilon >0$ there is $N$ such that $d(x_m,x_n)<\epsilon$ whenever $m,n\ge N$. Suppose a subsequence $x_{n_k}$ converges to $x\in X$. Choose $N$ so that the Cauchy bound is $\epsilon /2$, and then choose $k$ with $n_k\ge N$ and $d(x_{n_k},x)<\epsilon /2$. For every $n\ge N$, the triangle inequality givesThus the whole Cauchy sequence converges to the subsequential limit.

Evaluation at a real point defines a surjective ring homomorphism $p\mapsto p(a,b)$ from $\mathbb{R}[x,y]$ to $\mathbb{R}$. Its kernel is $(x-a,y-b)$: subtracting the constant $p(a,b)$ expresses the remainder as a multiple of $x-a$ plus a multiple of $y-b$, by successive polynomial division. The first isomorphism theorem therefore identifies the quotient ring with the field $\mathbb{R}$, proving each $I_{a,b}$ is maximal.

For a maximal ideal not on this list, takeEvaluation $p(x,y)\mapsto p(i,0)$ is onto $\mathbb{C}$, and its kernel is $J$: first subtract a multiple of $y$, then divide the remaining polynomial in $x$ by $x^2+1$. Hence $\mathbb{R}[x,y]/J\cong \mathbb{C}$, a field. Finally, if $J=I_{a,b}$ for real $a,b$, the member $x^2+1\in J$ would vanish at $(a,b)$, requiring $a^2+1=0$, which is impossible over $\mathbb{R}$.

The evaluation map $\phi :\mathbb{R}[x]\to \mathbb{C}$, $p\mapsto p(i)$, is a ring homomorphism and is onto because $a+bx$ maps to any $a+bi$. By polynomial division, writeThen $p(i)=0$ precisely when $a=b=0$. Thus $\ker \phi =(x^2+1)$, and the first isomorphism theorem givesSince the quotient ring is a field, $(x^2+1)$ is a maximal ideal.

We prove prime avoidance by contradiction. Remove any prime ideal contained in another one on the list; this leaves the same union. If the ideal $I$ is contained in none of the remaining prime ideals, choose $a_i\in I\setminus P_i$. For every $j\ne i$, incomparability lets us choose $b_{ij}\in P_j\setminus P_i$. SetFor a one-element list, use the empty product $b_1=1$. By the defining property of a prime ideal, $b_i\notin P_i$, and also $a_i{b}_i\notin P_i$. But $b_j\in P_i$ for every $j\ne i$. Thus all summands except $a_i{b}_i$ lie in $P_i$, and consequently $c\notin P_i$ for every $i$. On the other hand, $c\in I$ because each $a_i\in I$. This contradicts the assumed containment in the union. Therefore

For fixed finite velocities, the nonrelativistic limit $c\to \infty$ gives ${\gamma }^2=(1-v^2/c^2{)}^{-1}\to 1$. Hence the relativistic rocket equation reduces towhich is the nonrelativistic rocket equation.

The conserved quantities called energy in the two calculations include different contributions. The nonrelativistic calculation considered only kinetic energy, which increases as fuel releases internal energy; total energy including that internal reservoir is still conserved. Relativistic energy includes rest energy, and therefore includes the fuel's stored internal energy through the rocket's rest mass. That rest mass decreases as energy is transferred into the exhaust. Thus conservation of relativistic energy and the nonconservation of kinetic energy express the same physical conversion.

Now $m$ denotes the instantaneous rest mass of the rocket, including its fuel and stored internal energy, and $v$ is measured in a fixed inertial frame. Assume the exhaust is expelled backwards with speed $0<u<c$ in the rocket's instantaneous rest frame. By the relativistic velocity-addition formula, material emitted at time $\tau$ has inertial velocityIt coasts at this velocity after emission.

The crucial change is that the expelled material's rest mass is not simply $-dm$: some of the rocket's rest energy becomes exhaust motion. Instead, use conservation of relativistic energy. Put $q(t)=m(t)\gamma (t)$, so the rocket's energy is $c^{2}q(t)$. The exhaust emitted during $d\tau$ carries energy $-c^2{q}^{\prime }(\tau )d\tau$. For material moving at velocity $w$, the relativistic energy-momentum relation gives momentum $wE/c^2$, since $E={\gamma }_{\mathrm{ex}}\mu c^2$ and $p={\gamma }_{\mathrm{ex}}\mu w$. Hence the modified total momentum isMeanwhile the total relativistic energy is $c^2[q(t)-{\int }_0^t{q}^{\prime }(\tau )d\tau ]=c^{2}q(0)$. These expressions consistently account for both energy and momentum of the expelled material.

Differentiate the momentum formula. The momentum conservation law givesTo simplify it, useMultiplying by ${\gamma }^2(1-uv/c^2)$, the equation becomesThe two terms containing $uv/c^2$ cancel. Dividing by $\gamma >0$ proves the relativistic rocket equation

Work in one fixed inertial frame, and take positive velocity in the rocket's direction. During $d\tau$, the rocket ejects the positive amount of mass $-m^{\prime }(\tau )d\tau$. Its exhaust has inertial velocity $v(\tau )-u$, by the Galilean transformation of velocities. Once expelled, that material retains its velocity because it experiences no external force. The system's momentum is therefore the rocket momentum plus the sum of all these exhaust momenta:The minus sign comes from the positive expelled mass being $-m^{\prime }(\tau )d\tau$.

Differentiate, applying the product rule to the rocket momentum and the fundamental theorem of calculus to the integral:The momentum conservation law thus gives the nonrelativistic rocket equation

The same bookkeeping for kinetic energy givesIts derivative iswhere the rocket equation cancels the first two terms. Thus kinetic energy increases during mass ejection, with $\boxed{K^{\prime }=-u^2{m}^{\prime }/2>0}$ when $u>0$ and $m^{\prime }<0$. This does not violate conservation of energy: the increase comes from stored internal energy.