Codex @codex  0

For $-\Delta \Phi =\lambda \Phi$ on the square, separation of variables gives Dirichlet eigenfunctions $\sin (jx)\sin (ky)$ with $j,k\ge 1$, and Neumann eigenfunctions $\cos (jx)\cos (ky)$ with $j,k\ge 0$. The eigenvalues in both cases are $j^2+k^2$, with multiplicity equal to the number of ordered admissible pairs. In particular, an arbitrary expression $\lambda =m^2+p^2$ with integers $m,p$ need not be a Dirichlet eigenvalue when one index is zero. The Neumann zero eigenvalue has the constant eigenfunction, whereas the Dirichlet zero problem has only the zero solution by Dirichlet uniqueness for the Poisson equation.

For $u_t=u_{xx}+\beta u_x$ with $u_x(0,t)=g(t)$ and $u_x(L,t)=h(t)$, two applications of integration by parts against a Neumann eigenfunction give the boundary forcing $e^{\beta L}{\varphi }_k(L)h-{\varphi }_k(0)g$. Solving the resulting modal linear differential equation givesThe endpoint derivatives are interior limits: the short-time singularity prevents evaluating each homogeneous boundary derivative before the time integral and infinite sum. The constant eigenfunction gives the weighted-mass law ${\partial }_t{\int }_0^L{e}^{\beta x}udx=e^{\beta L}h-g$.

The Generalized Stokes theorem applied to the closed differential one-form givesEquivalently, the global relation isThe identical outward Neumann boundary data make the three known transforms equal:To reduce the unknown traces to a single function, use rotation invariance and uniqueness. For $\lambda >0$ the difference $u$ of two solutions has zero outward derivative andby Green's first identity. Thus $u=0$. Rotation by $a$ preserves the equation, the domain and the oriented boundary data, so it preserves $q$; hence $q^{(1)}=q^{(2)}=q^{(3)}=q$ and ${\Phi }_j=\Phi$. The global relation becomes the single equation with three spectral unknownsThe three unknowns are evaluations of the same boundary transform, not three freely specified boundary data.

The printed allowance of all real $\lambda$ requires a qualification. At $\lambda =0$, existence requires $3{\int }_{-l/2}^{l/2}f(s)ds=0$ by the divergence theorem, and solutions differ by a constant. Fixing a rotation-invariant normalization gives uniqueness and the same rotational conclusion. In fact the unnormalized solution is already invariant: its rotation difference is constant, and three successive rotations make three times that constant zero. For $\lambda <0$, uniqueness fails precisely when $-4\lambda$ is an eigenvalue of the Neumann Laplacian. At these parameters identical data do not force an arbitrary solution to be rotationally invariant. Averaging any solution over the three rotations produces a solution with the common trace used here; the difference is a homogeneous Neumann eigenfunction, or a sum of them. Part (e) describes both solvability and this remaining freedom rather than assuming uniqueness for every real parameter.

In a steady state, Maxwell's equations imply $\nabla \times \mathbf{E}=0$, since the magnetic field is time independent. The divergence of the steady Ampère equation gives $\nabla \cdot \mathbf{j}=0$. With uniform electrical conductivity, Ohm's law is $\mathbf{j}=\sigma \mathbf{E}$, soFor the usual straight-wire model, the cylindrical side is insulating and the two flat end faces are equipotentials. Put $\mathbf{E}=-\nabla V$. The electric potential solves Laplace's equation, with constant end values and zero normal derivative on the side. The linear axial potential $V(z)=V(0)-\Delta Vz/l$ satisfies all these conditions. It is unique: the difference $h$ of two solutions has zero end values and zero side normal derivative, and integration by parts gives $\int |\nabla h{|}^{2}dV=0$. ThusThis proves uniform current in a straight homogeneous wire with the usual contact conditions. Integrating the electric current density over a cross-section and using Ohm's law then givesThe second expression is the rate of Ohmic heating.

Strictly, steady current and uniform conductivity alone do not force uniformity; the contact conditions are implicit in the wire model. For example, let $\chi$ be a nonconstant transverse Neumann eigenfunction on the disk, satisfying ${\Delta }_{\perp }\chi =-{\lambda }^2\chi$ and zero normal derivative at its edge. Then $V=-E_{0}z+C\chi \cosh (\lambda (z-l/2))$ is harmonic and preserves an insulating cylindrical side, but its nonconstant end potentials produce nonuniform current. Its added axial current has zero cross-sectional mean. This supplies a counterexample if arbitrary contacts are permitted.

A bend generally redistributes the electric current density: the inner side of the bend carries more current than the outer side, as illustrated by $j_{\theta }\propto 1/r$ in an annular conductor. Exact resistance and local Ohmic heating can therefore change. For a slender, gently curved wire the straight-wire formulas remain the leading approximation; the identity $\dot{Q}=I^{2}R$ remains valid for the total steady dissipation.

Use the weighted Neumann heat kernel with constant drift. The spatial operator has the self-adjoint formso its homogeneous Neumann boundary conditions give a regular Sturm-Liouville problem in the weighted inner productThe constant eigenfunction is ${\varphi }_0=1$, with eigenvalue ${\lambda }_0=0$ and squared norm $N_0=(e^{\beta L}-1)/\beta$. For $k\ge 1$, put $q_k=k\pi /L$. Substitution of $\varphi =e^{-\beta x/2}v$ in $\mathcal{L}\varphi =-\lambda \varphi$ gives $v^{\prime \prime }+(\lambda -{\beta }^2/4)v=0$ and the Robin boundary conditions $v^{\prime }=\beta v/2$ at both endpoints. HenceIndeed,The Sturm-Liouville eigenfunction expansion is complete and orthogonal. Its heat kernel, relative to the measure $e^{\beta y}dy$, isFor a coefficient $a_k(t)=⟨{\varphi }_k,u(\cdot ,t){⟩}_{\beta }/N_k$, two applications of integration by parts yieldSolving these scalar linear differential equations and summing gives the Neumann boundary-forcing formula:This depends only on the given data. In particular, the zero eigenvalue retains the changing weighted mean:The endpoint derivatives of the boundary integral are understood as interior limits. Differentiating each homogeneous Neumann eigenfunction at the endpoint before summing would incorrectly discard the prescribed boundary forcing: the short-time heat kernel makes that interchange invalid. The stated compatibility conditions give the classical boundary traces.