Remove the common nonzero factor and expand in the small parameter . To first order, the modified Laplacian contributes only its derivatives: its derivative term has the extra factor . The regular perturbation expansion therefore gives
Thus the two residuals are and , respectively. Subscripts after a comma denote partial derivatives. We retain , as appropriate to the oscillatory wave and the elimination below.
Put . Away from the source, the radial Laplacian in three dimensions gives
Thus . At the source it is a distribution, not a smooth function; its outward gradient flux through a small sphere is , giving .
Use Einstein summation convention and write . Since , where is the Kronecker delta, the product rule gives
This proves . Now take . Integrating this identity and applying the divergence theorem to the first term gives
Part (b) changes the last volume integral of the gradient into a surface integral, yielding
Here ; the Laplacian is .
For a source in the exterior, its inverse point lies strictly inside the excluded disc. The method of images construction of the bounded exterior disk Green function therefore allows an opposite logarithmic source there without adding a singularity to the domain. The candidate Dirichlet Green function is
Its Laplacian in the exterior is exactly , since the image singularity is outside that domain. The identity in (d) makes on the unit circle. Moreover
so it obeys the required boundedness condition. These checks establish the stated logarithm-of-a-ratio expression with . Bounded exterior Dirichlet uniqueness for the Poisson equation follows by inversion in a circle and removal of the bounded singularity at the origin.
A weak solution belongs to the zero-boundary Sobolev space and satisfies
The boundedness of and the Cauchy-Schwarz inequality make the drift term integrable. This weak formulation moves one derivative from the Laplacian onto the test function, while retaining the first-order drift term.
Substitute the separated solution into the one-group neutron diffusion equation. The radial and axial Laplacian contributions are and . A nonzero solution therefore requires
The left side is the geometric buckling; the right side is fixed by the stipulated homogeneous material. Their equality is the model's nuclear criticality condition, expressing the balance of production, absorption and leakage. Both sides have inverse-length-squared units.
A diameter-only bound also needs the normalization of a Laplacian stencil, beyond its coefficient signs. For example, a single interior row with allows and on a domain of fixed diameter. Thus arbitrary rescaling of the printed coefficients rules out a universal diameter-only estimate.
For the intended normalized Laplacian stencil, assume and for , with , as holds for the standard two-dimensional central stencil. Let . Then . Use the truncation error convention , so ; reversing the convention does not change the absolute-value argument.
The two functions satisfy . On the prescribed boundary , so their maximum boundary values are at most . Apply the discrete maximum principle from part (a), with its boundary-connectivity assumption. Since ,
This is the standard quadratic-barrier error estimate for a discrete Laplacian. The calculation identifies exactly the additional normalization needed for the bound intended by the question.
For , direct differentiation yields
Since the planar Laplacian is , the required eigenvalue of is
On the sides the first sine factor vanishes, and on the second sine factor vanishes. Thus the homogeneous Dirichlet boundary condition holds on the whole boundary. The eigenfunction is nonzero, for instance at , where its value is one.
The stationary Schrödinger equation is
The Laplacian represents the kinetic-energy operator. For a spherically symmetric function, . The attractive Coulomb potential of the nucleus is ; is the energy eigenvalue. Multiplication by produces the displayed radial equation with Bohr radius
For a normalizable bound state, write and take . Substitution of in
gives, after division by the exponential, the coefficients
If and , these force and . If , the first coefficient gives , the second gives , and the third gives . Up to nonzero scalar factors, the two radial bound states and their energies are consequently
They are linearly independent as functions and correspond to different energy eigenvalues. Strictly, they are not two solutions of one fixed-energy differential equation: each is a solution at its own energy.
For the higher-energy state, the spherical Born rule includes the radial factor . Its normalization constant and the angular factor cancel in the ratio
The given integral formula makes the denominator and the numerator . Thus
Set and . Completing the square in the potential energy gives
Translation leaves the Laplacian unchanged, and the shifted three-dimensional quantum harmonic oscillator separates into three one-dimensional oscillators. Their energies add, giving
The energy-level degeneracy is the dimension of the energy eigenspace, or number of linearly independent states with that energy. Counting nonnegative integer triples of total by stars and bars gives
The constant electric field displaces the oscillator and shifts all levels by the same amount, preserving their degeneracies.
Set and . Completing the square in the potential energy gives
Translation leaves the Laplacian unchanged, and the shifted three-dimensional quantum harmonic oscillator separates into three one-dimensional oscillators. Their energies add, giving
The energy-level degeneracy is the dimension of the energy eigenspace, or number of linearly independent states with that energy. Counting nonnegative integer triples of total by stars and bars gives
The constant electric field displaces the oscillator and shifts all levels by the same amount, preserving their degeneracies.
In charge-free, current-free vacuum, Maxwell's equations are
Taking the curl of the third equation and using the fourth, the curl of the curl identity, and the zero divergence of the electric field gives
The magnetic flux density obeys the same wave equation. For the plane wave factor , the spatial Laplacian contributes and the second time derivative contributes . Thus
for propagation in the positive direction. The zero-divergence conditions require , while the curl equations require . These conditions show that the proposed plane waves satisfy all four Maxwell's equations, rather than only their derived wave equations. Physical electric fields and magnetic fields are the real parts of the complex expressions.
In spherical coordinates, the angular Laplacian has spherical harmonics as eigenfunctions, and . Separation leaves
Regularity and normalizability give principal quantum number , orbital quantum number , and magnetic quantum number . Here the in the kinetic coefficient is the electron mass, distinct from the magnetic label.
For the proposed angular factor, , so and magnetic quantum number zero. Direct differentiation gives . The term in the Schrödinger equation vanishes when . With Bohr radius ,
wavefunction normalization uses and , giving
An arbitrary constant phase is allowed. This is the state. Under spatial inversion, is unchanged and changes sign, so its parity eigenvalue is , also given by .
Rotational invariance means rotated states have the same energy; it does not require each member of a degenerate energy eigenspace to be invariant. rotations mix the three magnetic substates. An orbital oriented along can therefore have an anisotropic probability density while the Hamiltonian remains spherically symmetric.
Reduced radial equation. A spherical harmonic satisfies . Substitute into the time-independent Schrödinger equation, divide out the angular function, and put . Direct differentiation gives
Multiplication by then gives the Radial Schrodinger equation
Here is the reduced mass, and the extra positive term is the centrifugal potential.
Boundary conditions. At the origin this finite central potential has no point interaction. The physical radial solution is regular there, requiring ; for , a nonzero constant would give and a point-source singularity of the three-dimensional Laplacian. Mere square integrability alone would not remove that singular solution. For a bound state, the radial probability integral is , so the exterior solution must decay and as .
Solutions for zero orbital angular momentum. For and , define
The interior equation is ; excludes the cosine. The exterior equation is ; normalizability excludes the growing exponential. Thus
The constants cannot remain independent once the interface is matched. Since the potential step is finite, both and are continuous at :
Dividing the equations yields
Existence and number of s-wave bound states. Put , , and . Then
The lowest branch lies on . Along it, and increases continuously from to infinity. Therefore a first negative-energy solution exists precisely when , or
Further branches begin at as . Hence the bound-state thresholds of a spherical square well give exactly one negative-energy state when
The upper equality is included: the second branch is then only at , with constant exterior , and is not normalizable. If threshold cases are excluded by convention, the commonly quoted open interval has a strict upper inequality; the physical negative-energy state count at equality is still one.
Deuteron estimate. Using , and gives . At ,
The threshold for a second state is , far above the stipulated depth . Thus this model has no radially excited s-wave bound state.
Checking other orbital angular momentum sectors matters before ruling out every excitation. At the first -wave threshold, the regular interior reduced radial function is and the zero-energy exterior function is proportional to . Matching their logarithmic derivatives requires , whose first root is . Hence
Larger only increases the centrifugal potential. Therefore no bound orbital excited states are expected in the specified central square-well model. Its spin dependence and tensor nuclear forces have not been specified; the calculation does not resolve the real deuteron's internal spin structure.
Use the nonrelativistic Coulomb potential energy , with the nucleus treated as fixed. Since the wavefunction has zero orbital angular momentum, its Laplacian is
Substituting into the time-independent Schrödinger equation gives
For a constant energy eigenvalue, the coefficient of must vanish. Therefore , where is the Bohr radius. Wavefunction normalization then requires
Choosing the irrelevant overall phase so that is real and positive gives . The remaining constant term is the hydrogen ground-state energy
Replacing by the electron-nucleus reduced mass gives the usual finite-nuclear-mass refinement.
irrotational flow has , so locally ; the simply connected fluid domain here permits a globally single-valued velocity potential. Incompressibility gives , hence . In a multiply connected domain, zero local vorticity alone would not rule out circulation and a multivalued potential.
Take so the disturbance decays at depth. Differentiating the given candidate potential yields
The and second derivatives of cancel in the Laplacian. At , , so the linearized kinematic free-surface condition holds. This uses ; advection of the displaced surface is higher order.
Since , the local squared speed is . The depth integral is therefore
It is independent of horizontal position; no further spatial average is needed for this kinetic energy. Replacing the upper boundary by zero changes it only beyond quadratic order in amplitude.
Relative to the flat surface, the gravitational energy at each horizontal position changes by . Averaging over one wavelength gives
The energy of a deep-water standing gravity wave, averaged over wavelength, is and must be constant for a free inviscid standing wave, which requires equal coefficients of the complementary squared sine and cosine:
As an independent check, the linearized dynamic boundary condition at gives exactly . Infinite depth, negligible surface tension and no dissipative forcing are part of this gravity-wave model.
The boundary-value method. In a charge-free region, the electric potential obeys the Laplace equation, , and . Conductors impose equipotential boundaries, with specified voltages or charges, and a far-field condition fixes the remaining behaviour. The Uniqueness of the Dirichlet problem guarantees that a solution meeting the prescribed conductor potentials is the physical one. To see why, the difference of two candidate solutions is harmonic and vanishes on the boundaries; integration by parts gives , hence no difference in their fields. An exterior problem also needs the appropriate condition at infinity.
Two axisymmetric harmonic functions. For in spherical coordinates, the Laplacian reduces to
For , the bracket is . For , it is . Therefore
The second function is singular at the origin, which is allowed here because that point lies inside the excluded conductor. The printed spherical Laplacian has a typo in its azimuthal term: its denominator should be . Both functions are axisymmetric, so that term vanishes and the typo does not affect these calculations.
Potential and field geometry. Set the lower conductor to zero potential and the distant upper plate to . The small boss sees approximately uniform background field , where . Combining the two harmonic functions to make on gives the conducting hemispherical protrusion in a uniform field,
It also vanishes on the surrounding plane . The electric field components are
Equipotentials crowd near the apex, and field lines meet the conductor normally.
Figure 1.
Original calculated local equipotentials and electric-field lines above the hemispherical boss; this is the small-boss approximation rather than an exact finite-gap solution
. Details.
The formula has the correct uniform far field but does not exactly impose a flat upper equipotential at finite . It is the leading approximation justified by ; an exact finite-gap solution would include further corrections.
For a real potential, the Time-dependent Schrödinger equation is
Multiply this equation by , multiply its conjugate by , and subtract. The potential terms cancel and the product rule converts the remaining terms into a divergence. Consequently
This is the probability current and its continuity equation.
Put . The supplied radial Laplacian formula gives for . Also . Therefore the free-particle equation is satisfied when
The apparent singularity at zero is removable: extends smoothly there and satisfies the same equation. Since is real and the time dependence is only a common phase, is real, so . The density is time-independent, proving the continuity equation explicitly. This is a standing spherical wave with zero net radial current.
mass as band curvature. In a periodic potential, a weakly forced electron is usefully described by a wave packet confined to one energy band. Its group velocity is
Differentiating the velocity gives
This effective-mass tensor describes the band response, not a change of the electron's bare rest mass. Along a principal direction, a steep upward curvature gives a small positive mass and a flatter curvature a larger one. Near a band maximum the electron curvature and effective mass are negative; the corresponding missing-electron description uses positive electron hole masses. Anisotropy produces distinct principal masses, and strong nonparabolicity makes them momentum dependent. The single-band semiclassical description assumes fields weak and slowly varying enough to avoid substantial interband transitions.
Lattice symmetry and Bloch's theorem. Use the active spatial translation operator . A lattice-periodic scalar potential satisfies , while the kinetic term is translation invariant. Therefore . The lattice translations also commute with one another, so they can be diagonalized simultaneously with , including within a degenerate energy subspace.
For a common eigenstate, write . Unitarity gives , and the group law gives . On primitive Bravais vectors , choose . Every lattice vector is an integer combination of these generators, hence
The vector is defined modulo a reciprocal lattice vector. The band index labels the different energy eigenstates with the same translation character. Define . The phase factors cancel under a lattice translation, proving Bloch's theorem in its usual form:
This is the Translation-character proof of Bloch theorem; the commutator guarantees a basis of such states, even when an arbitrary superposition of different translation characters is not itself a translation eigenstate.
Periodic Hamiltonian. Acting once with momentum gives . Applying it again and cancelling the common plane-wave factor yields
The Bloch Hamiltonian acts on lattice-periodic functions in a unit cell. Expanding its square separates a zero-momentum Hamiltonian, a term linear in and an identity term quadratic in .
Expansion about the zone centre. Let , , and normalize all these states using a unit-cell inner product. For the real scalar Hamiltonian in the question, a nondegenerate zone-centre eigenfunction can be chosen real. Then
because opposite unit-cell faces cancel. Equivalently, time-reversal symmetry forbids a nonzero electric current in this nondegenerate spinless state. This explains why no linear energy term appears; it should not simply be omitted without a symmetry or extremum argument.
The first-order energy shift is therefore . In the second-order sum the quadratic term is proportional to the identity and has no off-diagonal matrix elements. Only the linear momentum vertex contributes. Second-order nondegenerate perturbation theory gives the momentum matrix-element expansion of band energy
Hermitian operator makes the two reciprocal matrix elements complex conjugates. All other periodic eigenstates at enter the sum. The remainder is even because time-reversal symmetry gives near this isolated state. At a degeneracy the denominators signal the need for degenerate perturbation theory instead.
mass ratio and the printed formula. Write . Differentiating the quadratic energy yields
For a specified unit direction , the resulting scalar mass ratio is
In an isotropic three-dimensional band, averaging equivalent directions gives
Coupling to lower bands contributes positively to inverse mass; coupling to higher bands contributes negatively. Their signs and matrix elements determine the actual curvature.
The original PDF prints . Taken literally as a three-dimensional Laplacian, this misses a factor of three for an isotropic scalar mass. The correct identities are
The printed expression would return even for the free dispersion . It is correct in one dimension, or if its second derivative is interpreted directionally. For completeness, its literal three-dimensional trace ratio would instead be ; that is the trace of the dimensionless inverse-mass tensor, not the usual scalar .
On the physical density-phase contour put . Direct differentiation gives
Integrating the Laplacian by parts with the stated bulk boundary convention, and dropping the periodic total derivative of , produces the density-phase action of a Bose gas,
Write and , where is constant. To quadratic order,
The uniform static density fluctuation has positive curvature . Its inverse static susceptibility at wavevector is , which remains nonzero at . This is the sense in which the amplitude or density fluctuation is massive. The phase has no term proportional to without derivatives; a uniform phase rotation costs no action. It is the massless direction required by global symmetry.
The term shows density-phase conjugacy. It is important to distinguish static density stiffness versus an excitation gap: the density and phase do not form two independent normal-mode branches with one gapped and one gapless particle. In this nonrelativistic first-order theory they supply the conjugate variables of one positive Bogoliubov branch, derived below. The omitted cubic terms include and corrections from the density-gradient denominator.
There is also a background term . It vanishes for smooth fluctuations with zero temporal winding. Periodicity of , however, permits . The compact phase winding term must be retained when such sectors are included; it is not generally the same constant in all sectors. The local Gaussian phonon calculation concerns the smooth zero-winding sector and does not describe vortices or points where the density vanishes.