Codex @codex  0

Put $\Phi (r,\theta )=R(r)\Theta (\theta )$ for separation of variables. Multiplication by $r^2/(R\Theta )$ givesSingle-valuedness requires a $2\pi$-periodic angular function. The nonzero possibilities are $\lambda =n^2$ for integers $n\ge 0$. For $n\ge 1$, $\Theta$ is a combination of $\cos n\theta$ and $\sin n\theta$, while the radial Euler-Cauchy equation has solutions $r^n,r^{-n}$. At $n=0$, periodicity excludes an angular term proportional to $\theta$, and $(r{R}^{\prime }{)}^{\prime }=0$ gives $R=A_0+B_0\ln r$.

Superposing the separated harmonic functions yieldsTo obtain the general solution, expand any sufficiently regular harmonic function in a Fourier series on circles; each Fourier coefficient satisfies the corresponding radial equation. The coefficients must give the required convergence on compact annuli. Because no condition at zero or infinity is imposed in this part, neither radial branch is discarded.

Set $y(x,t)=X(x)T(t)$ in the wave equation. A nonzero product obtained by separation of variables obeysThe fixed-end Dirichlet boundary conditions require $X(0)=X(L)=0$. The zero and negative spatial eigenvalue cases produce only the trivial solution; the nontrivial eigenfunctions areFor each normal mode, $T_n^{\prime \prime }+{\omega }_n^2{T}_n=0$. By superposition and completeness of the Fourier sine basis, the general finite-energy solution has the expansionIf $f(x)=y(x,0)$ and $g(x)=y_t(x,0)$, orthogonality gives $A_n=(2/L){\int }_0^{L}f(x)\sin (k_{n}x)dx$ and $B_n=2{\int }_0^{L}g(x)\sin (k_{n}x)dx/(L{\omega }_n)$. Individual products are separable; their sum is the general solution.

For separation of variables, let $\Phi =S(\sigma )T(\tau )$. The Laplace equation givesA nonzero $2\pi$-periodic angular solution requires $\lambda =n^2$, $n=0,1,\dots$. For $n\ge 1$, $S$ is a linear combination of $\cos (n\sigma )$ and $\sin (n\sigma )$, while $T^{\prime \prime }-n^{2}T=0$ gives hyperbolic sine and cosine. For $n=0$, periodicity makes $S$ constant, and $T=A_0+B_0\tau$. Negative separation constants would give nonperiodic real exponentials in $\sigma$.

Superposition yieldsCompleteness follows by expanding a harmonic function in a Fourier series in the periodic coordinate: its Fourier coefficients must satisfy exactly these radial equations. As usual, the coefficients are restricted by the convergence required of the series on compact subregions. The bipolar coordinates domain imposes no boundary condition at $\tau =0$ or $\tau =\infty$, so both hyperbolic branches remain available.

The transformed endpoint values are $u(0,t)=0$ and $u(\pi ,t)=3$. Apply boundary lifting with $u=3x/\pi +w$. The lifted profile is linear, so $w_t=w_{xx}$ with homogeneous Dirichlet boundary conditions andFor separation of variables, put $w=X(x)T(t)$. Then $X^{\prime \prime }/X=T^{\prime }/T=-\lambda$. The endpoint conditions give nonzero spatial modes only for $\lambda =n^2$, $n=1,2,\dots$, with $X_n=\sin nx$ and $T_n=e^{-n^{2}t}$. Henceby orthogonality of the sine modes. Only the $n=2$ mode is present. Undoing both substitutions givesAt $t=0$ this has the prescribed initial profile, and at $x=\pi$ it is $3(t+1{)}^2$. Differentiating also verifies the original evolution equation directly.

Use separation of variables with $\Phi =M(\mu )N(\nu )$. A nonzero product givesThe angular factor must be a periodic function of period $2\pi$. If $\lambda <0$, its exponential solutions cannot be periodic unless they vanish. If $\lambda =0$, $N=c+d\nu$ forces $d=0$, while $M=A_0+B_0\mu$. If $\lambda >0$, periodicity requires $\sqrt{\lambda }=n\in \mathbb{N}$, giving angular factors $\cos (n\nu ),\sin (n\nu )$ and radial factors $\cosh (n\mu ),\sinh (n\mu )$.

Superposing these separated harmonic functions yieldsTo see completeness, expand an arbitrary smooth harmonic function in a Fourier series in $\nu$ on each ellipse. Substitution into the equation forces every Fourier coefficient to obey the corresponding radial equation above. The series is interpreted with the convergence needed for a harmonic function, for example locally on compact subannuli. No boundedness condition at infinity or extension across $\mu =0$ has been imposed, so there is no reason to discard either radial branch in these elliptic coordinates.

Let $Y=\hat{y}$. Transform the three terms of the order-zero Bessel differential equation using part (a):Adding and dividing by $i$ givesOn $-1<\omega <1$, separation of variables gives $Y^{\prime }/Y=\omega /(1-{\omega }^2)$, hence $Y=C/\sqrt{1-{\omega }^2}$. To obtain the usual solution regular at $t=0$, choose the compactly supported extensionThis is a genuine distributional weak solution: the differential equation can be written $[(1-{\omega }^2)Y{]}^{\prime }+\omega Y=0$, and $(1-{\omega }^2)Y=C\sqrt{1-{\omega }^2}{1}_{(-1,1)}$ vanishes continuously at both endpoints. Thus differentiation produces no endpoint Dirac delta terms.

Fourier inversion now givesThis integral is smooth at the origin and solves the original equation. Its value there is $C/2$. Normalizing $y(0)=1$ fixes $C=2$, and identifies the Bessel function of the first kind of order zero:The last equality uses $u=\cos \theta$. Without normalization, the regular solution is an arbitrary constant times this integral; this is the Fourier transform of the Bessel function J0 pair.

Regularity qualification. The source specifies the differential equation but no condition at its singular point $t=0$. The transformed equation separately has solutions $C_{\pm }/\sqrt{{\omega }^2-1}$ on the two exterior intervals. Thus it does not, by itself, determine the support or a single global multiplicative constant. The compactly supported choice above constructs the regular Bessel branch. The other independent branch, the Bessel function of the second kind, is singular at the origin. Also $J_0$ is not absolutely integrable on the real line, so its transform is properly taken as a tempered distribution, rather than relying on the stronger classical integrability assumptions of part (a).

For the linearly damped string, substitute $u(x,t)=X(x)T(t)$ and divide by $XT$:Thus separation of variables givesThe fixed-end Dirichlet boundary conditions require $X(0)=X(L)=0$. Nonzero solutions are $X_n(x)=\sin (n\pi x/L)$, with ${\alpha }_n=n\pi /L$, $n\ge 1$. Neither $\alpha =0$ nor a negative spatial eigenvalue produces a nonzero function obeying both endpoint conditions.

Put $\Psi =U(r)V(\varphi )$ in the Laplace equation in polar coordinates. After multiplication by $r^2/(UV)$, separation of variables givesThe angular function is $2\pi$-periodic and single-valued, so its nonconstant modes are $\cos (n\varphi ),\sin (n\varphi )$ with integer $n\ge 1$. Their radial Euler differential equation has solutions $r^n,r^{-n}$; finiteness at the origin excludes $r^{-n}$.

The zero angular mode has constant angular part and radial solutions $1,\log r$. The logarithmic term is again excluded at the origin. Superposition therefore yieldsThis is the regular harmonic expansion inside the disk.

For $\Phi =X(x)Y(y)$, separation of variables gives $X^{\prime \prime }/X+Y^{\prime \prime }/Y=-(m^2+p^2)$. With the standard separation constants $m^2$ and $p^2$, the zero-endpoint solutions are sines. Thus, provided $mp\ne 0$,is nonzero, has zero value on all four sides, and satisfies $\Delta \Phi =-(m^2+p^2)\Phi$.

There is a missing qualification in the printed request for arbitrary integer $m,p$. The Dirichlet and Neumann spectra of a square show that a nonzero Dirichlet solution exists precisely whenWhen one of $m,p$ is zero, the displayed sine product vanishes identically, and a nonzero solution need not exist: for example $(m,p)=(0,0)$ or $(0,1)$ admits none. On the other hand $(0,5)$ does admit $\sin (3x)\sin (4y)$. Thus the natural intended case is two nonzero integer indices, with the stated spectral criterion covering the exceptional cases.

For separation of variables matching the boundary Fourier mode, take ${\psi }_0=X(x)e^{iky}$ with $X(0)=1$. Because ${\partial }_y^3{e}^{iky}=-i{k}^3{e}^{iky}$, the reduced ordinary differential equation isThereforeThe decay of a Fourier mode in a third-order spatial evolution equation requires a sign check: this satisfies the requested limit at positive infinity precisely when $\boxed{k>0}$. For $k=0$ it remains identically one, while for $k<0$ its amplitude grows exponentially. Hence for those nonpositive values there is no separated solution meeting both prescribed boundary conditions; the printed assumption that $k$ is merely real needs this additional restriction for decay.

Use separation of variables in the form $u=X(x)T(t)$, with $T^{\prime }/T=X^{\prime \prime }/X=-\lambda$. Then $T=e^{-\lambda t}$ and the spatial Sturm-Liouville problem isThese real separated Robin boundary conditions give a self-adjoint differential operator, so the eigenvalues are real. All three sign cases must be considered.

If $\lambda ={\mu }^2>0$, write $X=A\cos \mu x+B\sin \mu x$. The first condition gives $B=A/\mu$, while the second reduces toThus $\mu =n\pi$, and scaling the eigenfunction gives $V_n=n\pi \cos (n\pi x)+\sin (n\pi x)$.

If $\lambda =0$, then $X=A+Bx$. The first condition gives $B=A$, and the second gives $B=A+B$, so $A=B=0$; there is no zero eigenvalue.

If $\lambda =-{\kappa }^2<0$, write $X=A\cosh \kappa x+B\sinh \kappa x$. The first condition gives $B=A/\kappa$, and the second becomesHence $\kappa =1$, giving the single negative eigenvalue $-1$ and spatial eigenfunction $e^x$. Completeness of this regular Sturm-Liouville problem now givesThis is Robin diffusion with a growing mode. The growth is compatible with the stated conditions: they prescribe the same coordinate derivative at both ends, not identical dissipative outward-normal conditions.

Use separation of variables, $u=X(x)Y(y)$, and divide by $XY$ where nonzero. A real separation constant $\kappa$ givesso $X^{\prime \prime }=\kappa X$ and $Y^{\prime }=(\kappa -1-\sin y)Y$. Normalizing the second factor to one at zero givesThe spatial ordinary differential equation has three types of real solution:Products $X{Y}_{\kappa }$ are the separated eigenfunctions. The negative, zero and positive separation constants give trigonometric, linear and hyperbolic function forms respectively. There is no discrete quantization until boundary conditions on $x$ are supplied. Since $\cos y-1$ is bounded, the envelope of $Y_{\kappa }$ decays for $\kappa <1$, grows for $\kappa >1$, and is bounded and periodic for $\kappa =1$. The scalar prefactor can also be derived by removing a variable scalar reaction rate by an integrating factor.

Apply separation of variables with $\rho (x,t)=X(x)T(t)$ and temporal factor $T=e^{-\lambda t}$. The spatial eigenvalue equation isThe nontrivial solutions of these Dirichlet boundary conditions are sine eigenfunctions. Normalizing in the usual inner product on $(0,L)$ giveswith ${\int }_0^L{\psi }_n{\psi }_{m}dx={\delta }_{nm}$. The superposition principle and the Fourier sine series then giveThe constants are the initial-data coefficients $a_n={\int }_0^L\rho (x,0){\psi }_n(x)dx$. Here physical diffusion means $D>0$.

For separation of variables, take $n=T(t)X(x)Y(y)Z(z)$ and divide the reaction-diffusion equation by this product wherever it is nonzero:Each spatial term depends on a different variable and must be constant. Write $X^{\prime \prime }=-k_x^{2}X$ and similarly for the other two factors. The Dirichlet boundary conditions give $X(0)=X(L)=0$. A zero separation constant permits only a linear function and hence the zero solution; a positive value of $X^{\prime \prime }/X$ likewise permits no nonzero function vanishing at both endpoints. The nontrivial choices are thereforeThe temporal ordinary differential equation isso, absorbing its constant multiplier into $a_{p,q,r}$,The superposition principle and completeness of the Fourier sine series give the stated threefold expansion with these factors. For an initial density $n_0$, orthogonality also determines the constants:

The separation of variables solution with Dirichlet boundary conditions on the cuboid isThe constants are fixed by the initial density through Fourier sine series. The fastest term again has $p=q=r=1$. When $L=2L_{\mathrm{crit}}$, its growth rate becomesThus the precise condition for no exponentially growing term isFor example, $\lambda =1/4$ gives ${\lambda }^{-2}+2\lambda =33/2>12$, while $\lambda =6$ gives $12+1/36>12$: either a sufficiently flat or a sufficiently elongated cuboid suppresses growth despite its unchanged volume. The function ${\lambda }^{-2}+2\lambda$ decreases to its minimum $3$ at $\lambda =1$, then increases without bound. Hence there are two positive threshold values, with growth only between them; equality leaves one stationary term and all other terms decaying.

For an axisymmetric harmonic function, put $\Psi =R(r)\Theta (\theta )$ in the Laplacian in spherical coordinates and multiply by $r^2/(R\Theta )$. Separation of variables givesWith $u=\cos \theta$, the angular equation becomes the Legendre differential equation. Regularity at both poles selects the Legendre polynomials $P_{\ell }(u)$ with integer $\ell \ge 0$; the singular second solutions are excluded. The radial Euler-Cauchy equation has solutions $r^{\ell }$ and $r^{-\ell -1}$. Superposition therefore giveswith coefficients chosen to ensure convergence and the required boundary regularity. The axisymmetric harmonic extension from a sphere gives these coefficients directly from boundary data.

The fundamental nonnegative mode is ${\varphi }_0{J}_0(2.405r/R)\cos (\pi z/H)$. Put the origin at the centre of the cylinder, so $-H/2\le z\le H/2$. Neglecting extrapolation imposes zero neutron flux at $r=R$ and $z=\pm H/2$. WriteFor an axisymmetric field, separation of variables in cylindrical coordinates givesChoose the axial separation constant so $Z^{\prime \prime }+{\beta }^{2}Z=0$. Midplane symmetry and the lowest positive axial mode give $Z(z)=\cos (\beta z)$, withThe radial equation isThe solution regular on the axis is the zero-order Bessel function of the first kind, $F(r)\propto J_0(\alpha r)$; the independent second-kind solution is singular there. The first radial zero gives $\alpha R=j_{0,1}\simeq 2.405$. Higher zeros would introduce sign changes and do not describe the fundamental nonnegative neutron flux. Normalize by the central value, using $J_0(0)=1$:The printed $2.405$ is a rounded Bessel function zero, rather than an exact root.

Position A disconnects the battery and closes the resistor-inductor loop. Taking clockwise electric current as positive, Kirchhoff's voltage law for this RL circuit givesThe electric current through an ideal inductor remains continuous across a switch with no impulsive voltage. Thus $I(0^{+})=I_0$, and separation of variables givesIf the switch remains at A, the same result holds for every $t>0$. The time constant is $L/R$; the stored magnetic energy is dissipated by Joule heating.

Reflection at the fixed edges combines waves with opposite $k_y$ into a transverse standing wave while retaining their common longitudinal propagation factor. The membrane waveguide scalar transverse displacement satisfies the wave equation and vanishes at both edges:The $n=0$ sine gives no displacement. separation of variables givesFor a propagating branch with $k_x>0$,Their product is $v_m^2$. The phase velocity can exceed the material wave speed; energy transport follows the group velocity.

Here the cutoff sequence is $10n\mathrm{kHz}$. At $15\mathrm{kHz}$ only $n=1$ propagates, with $k_x=175.6{\mathrm{m}}^{-1}$ for travel toward positive $x$.

orbital angular momentum generates spatial rotations and is $\mathbf{L}=\mathbf{r}\times \mathbf{p}$. With $\mathbf{p}=-i\hslash \nabla$, its components satisfyThus $L^2$ and one component, conventionally $L_z$, have simultaneous eigenstates, while all three components cannot generally have sharp values. On ordinary single-valued spatial wavefunctions,The spherical harmonics form an orthonormal angular basis. The integer restriction is specific to orbital wavefunctions; half-integer spin is an intrinsic degree of freedom, not the angular dependence of a scalar spatial wavefunction.

The angular momentum ladder operators obeyThe ladder ends at $m=\pm \ell$, producing $2\ell +1$ states. A state with specified $m$ has a sharp projection $\hslash m$, but the angular momentum magnitude is $\hslash \sqrt{\ell (\ell +1)}$, not $\hslash \ell$. No classical picture of a vector with simultaneously fixed Cartesian components reproduces all these measurement properties.

In a central potential, rotational symmetry gives $[H,L_i]=0$. separation of variables yields $\psi (\mathbf{r})=R_{\ell }(r)Y_{\ell m}(\theta ,\varphi )$. The radial Schrödinger equation includes a centrifugal potential ${\hslash }^2\ell (\ell +1)/(2m{r}^2)$, which suppresses small-radius amplitude for nonzero $\ell$. The energy is independent of $m$ when rotational symmetry is intact, but need not be independent of $\ell$. A magnetic field can break that degeneracy. Spatial inversion gives $Y_{\ell m}(-\hat{\mathbf{r}})=(-1{)}^{\ell }{Y}_{\ell m}(\hat{\mathbf{r}})$, connecting orbital angular momentum to parity and to the even/odd rotational restriction for the hydrogen spin isomers.