Codex @codex  0

Every regular radial solution has outward normal derivative $u^{\prime }(a)=a/3$, which is nonzero since $a>0$. Therefore there is no solution with the stated homogeneous Neumann boundary condition. This also follows without imposing spherical symmetry: the compatibility condition from part (i) would requirewhich is impossible. Thus the full-ball Poisson equation has no classical solution for these boundary data, radial or otherwise. A singular $1/r$ term could formally cancel the derivative at $r=a$, but would introduce a source at the origin and violate the problem's equation there.

For two solutions of the Poisson equation with the same Dirichlet boundary condition, let $w=u_1-u_2$. Then ${\nabla }^{2}w=0$ in $V$ and $w=0$ on its boundary. By Green's first identity,Thus $w$ is constant on each connected component, and the zero boundary values make each constant zero. The Dirichlet solution is unique whenever it exists. This argument requires the regularity needed for the displayed integration by parts; it does not assert existence for arbitrary rough data.

With a Neumann boundary condition, integrating the Poisson equation and using the divergence theorem instead gives the necessary compatibility conditionOn a disconnected region this condition must hold on each connected component separately. If two solutions have the same normal derivative, their difference is harmonic with ${\partial }_{n}w=0$. The same Green's first identity again forces $\nabla w=0$. Thus Neumann solutions are unique only up to an additive constant on each connected component. Adding a constant preserves both the equation and normal derivative, so uniqueness without a normalization cannot hold. On a connected region, prescribing the mean value removes this one-dimensional freedom.

Let primes denote radial derivatives of the equilibrium and put $\Delta u=u^{\prime }+2u/r$. The linearized continuity, adiabatic pressure and Poisson equation areTake the time derivative of the Poisson equation and substitute continuity. Integration in radius givesCentre regularity excludes a changing point mass at the origin, so $C(t)=0$ andThe perturbed self-gravity must be retained; this calculation does not make the Cowling approximation.

The radial linear momentum equation is $\rho {\partial }_{t}u=-{\partial }_r\delta p-\delta \rho {\Phi }^{\prime }-\rho {\partial }_r\delta \Phi$. Differentiate it in time and use the preceding equations:The equilibrium has $p^{\prime }=-\rho {\Phi }^{\prime }$ and ${\Phi }^{\prime \prime }+2{\Phi }^{\prime }/r=4\pi G\rho$. The remaining terms simplify asConsequently the radial stellar oscillation equation isThe derivative acts on the full variable coefficient $\gamma (r)p(r)$; discarding ${\gamma }^{\prime }$ would change the result.

For $u=r\xi (r)e^{-i\omega t}$, $\Delta u=(3\xi +r{\xi }^{\prime })e^{-i\omega t}$. Substitute and multiply by $-r^3$. Combining the two terms proportional to ${\xi }^{\prime }$ into a total derivative gives the radial stellar pulsation equation,

Set $P=\gamma p{r}^4$, $W=\rho r^4$ and $Q=r^3[(4-3\gamma )p{]}^{\prime }$. The Sturm-Liouville operator isFor regular physical perturbations, $\xi$ is finite at the centre and $P{\xi }^{\prime }\to 0$ at the free surface. For a nonzero-frequency mode the fluid displacement is $u/(-i\omega )$, so vanishing Lagrangian pressure perturbation is equivalent to $\gamma p(3\xi +r{\xi }^{\prime })\to 0$. With $p(R_s)=0$ and finite $\xi$, this gives $P{\xi }^{\prime }\to 0$. Zero-frequency modes use the same displacement boundary condition directly. Assume bounded $\gamma$, positive $\rho ,p,\gamma$ in the interior and the usual finite-energy endpoint domain. Integration by parts givesThus this physical self-adjoint differential operator has real eigenvalues ${\omega }^2$. The endpoint domain is essential: the fact that $p$ vanishes does not by itself allow arbitrary singular trial functions. The regular free-surface realization of the Sturm-Liouville problem is the one used here.

The Rayleigh-Ritz variational principle gives the fundamental squared frequency as the infimum of the weighted stellar pulsation Rayleigh quotient,The infimum is over admissible finite-energy functions satisfying the physical endpoint conditions. If this quotient is nonnegative for every such function, all radial frequencies are real and there is no exponentially growing radial mode. A negative value for even one trial function proves a negative eigenvalue and an exponentially growing solution, because ${\omega }^2<0$. A zero lowest value is marginal and needs separate treatment of neutral motion.

Choose the homologous trial function $\xi =1$, which corresponds to radial velocity proportional to $r$. Its gradient contribution is zero, andThe denominator $\int \rho r^{4}dr$ is positive. HenceThis pressure-weighted radial instability criterion is sufficient, not necessary: another trial function can detect instability even if this one does not. For a constant stellar adiabatic exponent it recovers instability below $4/3$. At constant $\gamma =4/3$, the homologous mode is neutral. For constant $\gamma >4/3$, $Q=(4-3\gamma )r^3{p}^{\prime }>0$ in a normally stratified hydrostatic equilibrium, so the quotient is positive and the star is radially stable.

A nonspherical configuration requires the vector form of hydrostatic equilibrium and the Poisson equation, rather than the spherical mass-coordinate equations:For the same index-one polytrope, hydrostatic balance inside the positive-density region gives $\Phi =C-2K\rho$. Thus its interior mass density must obey the Helmholtz equationA positive separated solution with the required boundary values isIts maximum is ${\rho }_c$ at the centre of the cube and it vanishes on every face. Its Laplacian is $-3{\pi }^2\rho /L^2$, so it satisfies the interior equations whenTogether with $P=K{\rho }^2$ and $\Phi =C-2K\rho$, this explicitly constructs the cubic polytropic interior.

The mass integral separates into three elementary sine integrals:ThereforeThis construction satisfies the equations inside the prescribed cube. It does not by itself establish the existence of an isolated self-gravitating star: the interior potential must also match the exterior vacuum field generated by that very mass density. That additional physical requirement is addressed in part (c).

Use the horizontal Fourier convention $\tilde{f}(\mathbf{k})=\int e^{-i\mathbf{k}\cdot \mathbf{R}}f(\mathbf{R})d^{2}R$. For each nonzero $k=|\mathbf{k}|$, the Poisson equation becomesDecay away from the sheet and continuity at it give $\tilde{\Phi }=C{e}^{-k|z|}$. Its derivative jump is $-2kC=4\pi G\tilde{\Sigma }$, hence the off-plane razor-thin Poisson kernel isThe spatially uniform mode has a different vertical solution and an arbitrary additive potential reference; it is not obtained by substituting $k=0$ into this decaying-mode formula.

For $\mathbf{F}=\nabla \varphi$, the definition of the Laplacian gives $\nabla \cdot \mathbf{F}={\nabla }^2\varphi =f$. Integrating over $V$ and applying the divergence theorem yieldsThis is the flux form of Poisson equation, for an outward-oriented piecewise smooth boundary and the usual smoothness of $\varphi$ on a neighborhood of the volume. In particular, a singularity cannot be ignored when applying this identity.

Rotational symmetry of the vector field means $\mathbf{F}(r\mathbf{n})=h(r)\mathbf{n}$: rotations fixing $\mathbf{n}$ force the field to be parallel to $\mathbf{n}$, and rotations between directions make its magnitude depend only on $r$. Its flux integral over the radius-$r$ sphere is $4\pi r^{2}h(r)$. Applying the flux identity from part (i) to the ball, with the spherically symmetric source, givesTherefore the origin-regular spherical Poisson flux law isOnly source values at $s\le |\mathbf{x}|$ occur. Changing the exterior source can change the scalar potential by an interior constant, but cannot change this radial gradient. Regularity on all of ${\mathbb{R}}^3$, inherited from the Poisson equation setting, matters: on a punctured domain alone an additional $C\mathbf{x}/r^3$ would have zero divergence away from the origin and would not be fixed by the local source. It is excluded here by the origin regularity needed for the ball flux identity.

Let the electrolyte permittivity be $\epsilon$ and let ${\kappa }_D=1/{\ell }_D$ be the inverse Debye–Hückel screening length. We reserve $k$ for the imposed lateral wavevector. In the Debye–Hückel approximation, linearization about an electrically neutral bulk electrolyte givesaway from fixed charges. For ionic species of valence $z_i$ and bulk number density $n_i$, ${\kappa }_D^2={\sum }_i{n}_i{z}_i^2{e}^2/(\epsilon k_{B}T)$; the approximation requires $|z_{i}e\varphi |\ll k_{B}T$. Substitution of a lateral cosine into this screened Poisson equation leaves a vertical decay constantThe screened sinusoidal surface-charge mode thus decays faster than a laterally uniform charge mode. A nonzero $k$ retains a finite decay length even in the zero-salt limit.

The exterior media and their boundary conditions are not specified in the paper. Specifying the two surface charge densities alone does not fix the normal derivative on the inside unless the outside response is also fixed. We first take the confined-gap idealization, with the prescribed charge supplying all the displacement flux into the electrolyte between the sheets. The electrostatic interface boundary conditions are thenThis is, for example, the limit of negligible exterior displacement admittance. The electrostatic potential solving these conditions and the Debye–Hückel approximation equation isDifferentiation checks the two surface signs directly. This solution allows a sine as well as a cosine lateral component when the phase is nonzero.

In linear screened electrostatics, the quadratic charging free energy is $\frac{1}{2}\int \sigma \varphi dA$. It is equivalently $\frac{\epsilon }{2}\int [(\nabla \varphi {)}^2+{\kappa }_D^2{\varphi }^2]dV$ with the stated boundary conditions. The second term represents the linearized ionic response; integrating only the bare electric field energy would omit it. If $\mathcal{A}$ denotes membrane area, the wavelength-averaged energy density isUsing $⟨{\cos }^2(kx){⟩}_x=1/2$ and $⟨\cos (kx)\cos (kx+\theta ){⟩}_x=\cos \theta /2$ gives the phase registration of screened charged sheets energyThe positive cosine coefficient shows that, for nonzero charge amplitude and finite separation,At the minimum the electrostatic potential simplifies to $\varphi =\alpha \cos (kx)\sinh (pz)/[\epsilon p\cosh (pd/2)]$. Positive and negative charge patches face opposite signs across the gap. The two charge patterns therefore favor a half-wavelength lateral offset rather than like-charge alignment.

For comparison, if identical electrolyte fills all of space on both sides of infinitesimally thin charge sheets, the electrostatic interface boundary conditions are continuity of $\varphi$, decay at infinity, and the charge-induced derivative jumpsSuperposing the two screened sinusoidal surface-charge modes gives, in particular between the sheets,Its full-space continuation replaces each vertical distance by the corresponding absolute distance. Evaluating the electrostatic potential on both sheets now yieldsThe constant term is the two isolated-sheet self energies, and the cosine term is their screened interaction. The energy depends on the exterior convention, but both stated physical idealizations give the same phase registration of screened charged sheets: unlike charge patches oppose each other. In the full-space convention the optimum interaction energy is $-{\alpha }^2{e}^{-pd}/(4\epsilon p)$, giving an attractive normal force density $-{\alpha }^2{e}^{-pd}/(4\epsilon )$. Phase sensitivity becomes exponentially weak for $pd\gg 1$; if $\alpha =0$ or the separation tends to infinity there is no selected phase.

One can also display how an exterior dielectric response interpolates between these cases. Let $Y_o\ge 0$ be its normal displacement admittance for this lateral Fourier mode: $Y_o=0$ for the confined-gap idealization, $Y_o=\epsilon p$ for identical exterior electrolyte, and $Y_o={\epsilon }_o|k|$ for an ion-free exterior dielectric. DefineThe symmetric and antisymmetric surface-charge combinations giveSince $D_s<D_a$, its cosine coefficient is positive. This makes the phase-minimizing conclusion robust while exposing the boundary information needed for an absolute electrostatic energy.

Use the fluid displacement $\mathbf{\xi }$, with velocity perturbation $\delta \mathbf{u}={\partial }_t\mathbf{\xi }$. Denote Eulerian perturbations by $\delta$ and the corresponding Lagrangian pressure perturbation by ${\Delta }_{L}p=\delta p+\mathbf{\xi }\cdot \nabla p$. For adiabatic perturbations, the linearized mass conservation, momentum, adiabatic equation of state and Poisson equation areThese self-gravitating adiabatic displacement equations retain the perturbation of the star's own Newtonian gravitational potential. In the uniform-density interior, $\delta \rho =-\rho \nabla \cdot \mathbf{\xi }$, $\nabla \Phi ={\omega }_d^2\mathbf{r}$, and $\nabla p=-\rho {\omega }_d^2\mathbf{r}$. The dynamical frequency of a uniform-density star ${\omega }_d=(GM/R^3{)}^{1/2}$ sets the natural timescale. For a normal mode with time factor $e^{-i\omega t}$, replace ${\partial }_t^2$ by $-{\omega }^2$. The requested interior analysis needs no surface or exterior matching conditions.

The spatial factor $r^l{Y}_l^m$ is a regular solid harmonic. Besides the Laplace equation ${\nabla }^{2}F=0$, homogeneity gives $\mathbf{r}\cdot \nabla F=lF$. The divergence of the fluid displacement isDefine the scalar dilation amplitude $D_r=r{U}^{\prime }+(l+3)U+(l/r)V^{\prime }$; this is the quantity denoted $\Delta$ in the question, not the notation ${\Delta }_L$ for a Lagrangian pressure perturbation. Then mass conservation gives $\hat{\rho }=-\rho D_r$.

The equilibrium pressure gradient and homogeneity identity giveConsequently the adiabatic equation of state yieldsFor the force equations, the product rule givesEquating the coefficients of $F{\mathbf{e}}_r$ and $\nabla F$ in the self-gravitating adiabatic displacement equations givesFinally, applying the Laplacian to the gravitational perturbation givesso the Poisson equation becomesThese are the required interior equations for uniform-density stellar oscillation.

There is a radial degeneracy at $l=0$: $F$ is spatially constant and $\nabla F=0$, so the displacement is independent of $V$. The second force equation then cannot be inferred by equating independent vectors. For nonzero $\omega$ it may be imposed as an auxiliary definition of $V$, but it is not an additional physical radial equation. At zero frequency the radial equations should be used directly. This distinction matters for interpreting the zero factor in (c).

The identity divergence of a curl is zero follows by the symmetry of second partial derivatives and antisymmetry of the Levi-Civita symbol. ThereforeIf $\mathbf{B}=\nabla \times \mathbf{A}$ and $\mathbf{A}$ is in Coulomb gauge, the curl of the curl identity gives $\mathbf{J}=-{\nabla }^2\mathbf{A}$. Apply the supplied scalar Poisson equation representation to each component of the decaying vector potential. In the units of this problem the Coulomb-gauge vector potential of a localized steady current isHere one needs $\mathbf{A}=O(|\mathbf{x}{|}^{-1})$, $\nabla \mathbf{A}=O(|\mathbf{x}{|}^{-2})$ and enough localization of $\mathbf{J}$ for the stated representation and differentiations. A smooth compactly supported current density is a sufficient convenient case. The local differential equations and gauge alone do not impose these conditions: $\mathbf{A}=(-y,x,0)$, $\mathbf{B}=(0,0,2)$, $\mathbf{J}=0$ satisfy them but do not satisfy the displayed integral formula. The formula selects the decaying solution, excluding nondecaying homogeneous harmonic functions.

With $\mathbf{r}=\mathbf{x}-\mathbf{y}$, the gradient of the kernel is ${\nabla }_x(1/|\mathbf{r}|)=-\mathbf{r}/|\mathbf{r}{|}^3$. Since $\mathbf{J}(\mathbf{y})$ is independent of $\mathbf{x}$,Thus taking the curl gives the Biot-Savart law in the problem's normalization:Finally, change variables $\mathbf{z}=\mathbf{x}-\mathbf{y}$ in the integral for $\mathbf{A}$. This keeps the singular kernel independent of the differentiation variable:For smooth localized $\mathbf{J}$, differentiation under the integral sign is legitimate: $1/|\mathbf{z}|$ is locally integrable in three dimensions, and on a bounded neighbourhood of $\mathbf{x}$ the translated sources and their derivatives have common compact support. The integral indeed satisfies Coulomb gauge.

For the bounded-domain correction, let $\mathcal{S}$ be the family of Perron subfunctions for the Poisson equation $v\in C^0(\overline{\Omega })$ with $v\le \phi$ on $\partial \Omega$. The subfunction condition is ball comparison: whenever $\overline{B}\subset \Omega$ and a classical solution $H$ of $\Delta H=f$ on $B$ satisfies $v\le H$ on $\partial B$, it also satisfies $v\le H$ throughout $B$. For a $C^2$ function this is the sign condition $\Delta v\ge f$. A superfunction reverses both inequalities.

The Perron solution is the pointwise upper envelope of the subfunctions:This is the Perron method for the Dirichlet problem with the Poisson equation replacing the homogeneous Laplace equation. The power barrier for an exterior cone supplies a global member of $\mathcal{S}$ and a global superfunction, as constructed below. The permitted subfunction-superfunction comparison therefore makes this envelope finite. The standard interior Perron theorem, available in the question, gives $u\in C^2(\Omega )$ and $\Delta u=f$; neither result needs to be proved in this part.