Codex @codex  0

Substitute $U=R(r)F(\theta )$ into the axisymmetric Laplace equation and multiply by $r^2/(RF)$. The radial and angular terms must be separate constants:ThusWith $x=\cos \theta$, the angular equation becomesRequiring boundedness on the entire polar interval, and using the supplied characterization of bounded Legendre polynomial solutions, gives $\lambda =n(n+1)$ and $F\propto P_n(\cos \theta )$ for $n=0,1,2,\dots$. Trying $R=r^s$ gives $s(s+1)=n(n+1)$, hence $s=n$ or $s=-n-1$.

The globally angular-regular separated modes and their superposition are thereforeCoefficients and convergence are determined by the radial domain and boundary data. A domain containing the origin excludes negative radial powers for a regular solution. If the angular domain excludes a polar axis of the spherical coordinate system and singular angular behavior is allowed, additional Legendre-function branches are possible; the displayed family is the one regular over the complete sphere, as intended by the hint.

For an integer $n\ge 0$, choose the series whose integer parity agrees with $n$ and set the other initial coefficient to zero. At $m=n$, the numerator in the recurrence vanishes, so $a_{n+2}=0$ and every later coefficient in that integer parity vanishes. With a nonzero coefficient of $x^n$, this gives a polynomial of degree exactly $n$. Normalize it by $P_n(1)=1$.

For $n=0$, the even branch is constant; for $n=1$, the odd branch is proportional to $x$. For $n=2$, the recurrence gives $a_2=-3a_0$, so normalization fixes $a_0=-1/2$. HenceThe opposite-parity branch generally does not terminate; polynomial termination does not mean that both independent solutions become polynomials.

Differentiate the power series term by term inside its radius of convergence, and reindex the second derivative so that every coefficient multiplies $x^m$. The differential equation becomesThe uniqueness of power-series coefficients givesThe even coefficients depend only on $a_0$ and the odd coefficients only on $a_1$. These are the two local solution branches of the Legendre differential equation around its ordinary point $x=0$.

For a finite separation use the Cartesian distance, rather than substituting finite coordinate differences into the local line element. Expanding the two horizontal components givesThe vertical contribution is $(z-z^{\prime }{)}^2$, independently. ThusandEquivalently, the horizontal contribution is $(\rho -{\rho }^{\prime }{)}^2+4\rho {\rho }^{\prime }{\sin }^2[(\varphi -{\varphi }^{\prime })/2]$, which also makes its nonnegativity explicit.

Differentiate the position vector, using the angular factor from the scale factors of orthogonal coordinates:The basis is an orthonormal basis, so all cross terms in its squared length vanish. The Euclidean line element is thereforeIn particular, an angular change $d\varphi$ at fixed radius traverses a physical distance $\rho |d\varphi |$.

Dividing the coordinate tangents by their scale factors of orthogonal coordinates gives an orthonormal basisEvaluate the Cartesian cross products componentwise:ConsequentlyThe ordered cylindrical basis is right-handed: its scalar triple product ${\mathbf{e}}_{\rho }\cdot ({\mathbf{e}}_{\varphi }\times {\mathbf{e}}_z)$ equals $+1$.

Write the position vector as $\mathbf{r}(\rho ,\varphi ,z)=(\rho \cos \varphi ,\rho \sin \varphi ,z)$. Its coordinate tangent vectors areTheir pairwise dot products vanish. Their lengths, the scale factors of orthogonal coordinates, areThus the cylindrical coordinate system is orthogonal wherever it is a nonsingular coordinate chart. At $\rho =0$, the angular tangent vector vanishes and the azimuth is undefined; this is the usual coordinate singularity on the axis, not a failure of the Euclidean geometry.

Let $M_{ijkl}={\int }_V{x}_i{x}_j{x}_k{x}_l{d}^{3}x$. It is an isotropic tensor and is invariant under every permutation of its four indices. Thus the three coefficients in the general rank-four isotropic form must coincide:A double tensor contraction givesHere the three contracted Kronecker delta products contribute $9$, $3$ and $3$. Contracting instead with the four unit vectors yieldsThis agrees with subtracting two instances of the isotropic fourth moment of a ball.

Under inversion $\mathbf{x}\mapsto -\mathbf{x}$, the spherical shell and its volume element are unchanged, while the product of three scalar products changes sign. Its integral is therefore its own negative:Equivalently, its rank-three moment tensor is completely symmetric and cannot have a nonzero multiple of the antisymmetric Levi-Civita symbol.

Introduce the second moment tensor $M_{ij}={\int }_V{x}_i{x}_j{d}^{3}x$. The spherical shell is preserved by every rotation, so this is an isotropic tensor, $M_{ij}=A{\delta }_{ij}$. Its trace determines the constant:Contracting with the components of the two unit vectors givesThis is the second-order case of radial tensor moments in three dimensions.

Use $z=e^{i\theta }$, so $\sin \theta =(z-z^{-1})/(2i)$ and $d\theta =dz/(iz)$. The unit circle is traversed anticlockwise, and the integral becomesOnly the simple pole $z=i/3$ lies inside the contour. Its residue isHence the residue theorem gives

Close the real segment $[-R,R]$ by an anticlockwise semicircle in the upper half-plane. For $F(z)=1/[(z^2+1)(z^2+4)]$, the contour integral over the arc is $O(R^{-3})$: its length is $\pi R$, whereas $|z^2+1|\ge R^2-1$ and $|z^2+4|\ge R^2-4$. The enclosed simple poles are $i$ and $2i$, with residuesLetting $R\to \infty$ in the residue theorem yields

Place the interface at $y=0$, with source $(x_A,h_1)$ and observer $(x_B,-h_2)$ in the two uniform media. Let $(s,0)$ be the crossing point. The optical length isDifferentiating with respect to $s$ and setting the result to zero givesRecognizing the ratios as the sines of the angles measured from the interface normal proves Snell's law:The stationarity condition is the continuity of the tangential optical momentum across the planar interface.

Choose the mirror as the line $y=0$, the source as $(x_A,h_A)$ and the observer as $(x_B,h_B)$, with positive heights. Within the plane of incidence, let the reflection point be $(s,0)$. In a uniform medium the optical length is a constant index timesStationarity with respect to the point on the mirror givesThese two ratios are the sines of the angles to the normal, with the stationary point between the two projected endpoints. ThereforeThe angles lie in $[0,\pi /2)$, where sine is injective. Varying a second tangential coordinate in three dimensions also enforces that the source, normal and reflected ray lie in one plane. This derives the law of reflection from Fermat principle.

The complex exponential never vanishes. The zeros of $\sinh z$ occur at $z=n\pi i$, $n\in \mathbb{Z}$, and they are simple because $\cosh (n\pi i)=(-1{)}^n\ne 0$. The numerator is $e^{2n\pi i}=1$ there, so no cancellation occurs. ThereforeFor example their residues are $1/\cosh (n\pi i)=(-1{)}^n$.

Infinity requires care: the poles themselves tend to infinity. Equivalently $f(1/w)$ has poles at $w=1/(n\pi i)$ accumulating at zero. Thus $\boxed{\infty \text{ is a non-isolated singularity}}$, and it is not a zero. In the usual classification of isolated singularities, it cannot be called a removable singularity, pole or isolated essential singularity. The non-isolated singularity distinction is necessary even though the function is meromorphic at every finite point.

The denominator factors as $z^2+iz+6=(z-2i)(z+3i)$, with no cancellation against the numerator. Thus there areTo inspect infinity, put $w=1/z$:Hence infinity is a removable singularity at infinity, with limiting value zero. After this natural extension to the Riemann sphere it is also a simple zero. There are no other zeros or singularities.

The original PDF shows $x^2$ in the nonzero source branch. Inserting that source into $G_0$ gives, for $x<1/2$,For $x\ge 1/2$, split the integral at $z=x$:Because of the homogeneous freedom established in part (i), the full answer to the stated endpoint problem isAt the interface, both branches have value $-5/96$ and derivative $-5/48$, so no extra delta or delta derivative occurs there. Direct substitution gives zero source on the left and $x^2$ on the right; the endpoint values are zero for every $C$. If the extra condition $y/x\to 0$ is imposed, it selects $C=-5/48$, but that is additional information absent from the printed question.

Choose $y_a=x$ and $y_b=x^3-x$, satisfying the left and right conditions respectively. Their Wronskian isPart (a) therefore supplies the valid kernelIt is continuous at the source, its first derivative has jump one, and it vanishes at both endpoints. However, it is not unique: $x^3-x$ is a nonzero homogeneous solution satisfying both stated endpoint conditions. Thus $G_0+(x^3-x)h(z)$ has the same defining properties for any suitable $h$.

This is a nonunique Green kernel at a singular endpoint with two vanishing modes. Choosing $y_a=x^3$ instead also gives a valid kernel, corresponding to the stronger selection $y(x)/x\to 0$ at the left endpoint. The original problem states no such selection, so the family must be acknowledged.

With the stated parameters, the mass and restoring matrices areThe generalized eigenvalue problem givesTherefore the two normal angular frequencies areThe second row of the modal equation is $-{\omega }^{2}x+(1-{\omega }^2)\varphi =0$. It gives the mode shapesEach normal mode has arbitrary small amplitude $a$ and phase $\delta$. The bob's horizontal displacement is $X=x+\varphi$ to first order. Thus in the lower mode, bob and cart move in phase, with bob amplitude $1+\sqrt{2}$ times the cart amplitude. In the higher mode they move oppositely, because $X=(1-\sqrt{2})x$; the bob amplitude is $\sqrt{2}-1$ times the cart amplitude. Its vertical displacement is quadratic in the angle and is absent at this order.

Choose positive $\varphi$ so the bob is displaced to the right relative to the cart. Its Cartesian coordinates areDifferentiation gives ${\dot{X}}^2+{\dot{Y}}^2={\dot{x}}^2+2L\cos \varphi \dot{x}\dot{\varphi }+L^2{\dot{\varphi }}^2$. Thus the exact kinetic energy and potential energy areRetain quadratic terms, using $\cos \varphi =1+O({\varphi }^2)$ in the kinetic cross term and $1-\cos \varphi ={\varphi }^2/2+O({\varphi }^4)$ in the potential. The Lagrangian isIts Euler-Lagrange equations giveThe kinetic cross term is essential: acceleration of the support couples the pendulum and cart. These equations define the normal modes of a spring-mounted pendulum cart.