For spatially varying tension in filament bending, keep the derivative of the filament tension as well as the curvature term. The first variation is
Therefore the Euler-Lagrange equation and fluctuation operator are
For real, sufficiently smooth , the boundary form is the bending boundary form minus . Because vanishes at both ends, the four self-adjoint endpoint conditions for filament bending still apply. The natural endpoint force also reduces there to the bending shear term. Thus is a self-adjoint fourth-order scalar differential operator on the same chosen domain, with compact resolvent.
Choose a real orthonormal basis of eigenfunctions, , and write . Using the endpoint conditions in integration by parts gives
The equipartition theorem now gives, on the strictly positive subspace,
This is a formal modal construction; no explicit eigenfunctions are needed. Nonnegative filament tension makes the energy nonnegative. Any surviving zero-energy filament modes must again be fixed. If signed permits compression, self-adjointness still holds but does not guarantee a canonical ensemble: sufficiently strong compression can create negative eigenvalues and Euler buckling of an elastic filament. For instance, on , take and the clamped trial function . Then
so the energy is negative when , despite . The equipartition theorem requires a stable positive quadratic energy, not merely a real modal spectrum.
Use the homogeneous equilibrium point condition . Evaluate at and abbreviate
The quantity is the chemical relaxation rate with the cell density held fixed. Derivatives of do not enter this linear stability analysis: they multiply spatial derivatives of the homogeneous background or products of perturbations. For a Fourier mode with time dependence , put and write
Consequently
At , the eigenvalues are and . The neutral cell-density mode reflects mass conservation, not decay of every homogeneous perturbation.
Write , , , and interpret production physically as . If , the trace-determinant stability criterion shows that an unstable nonzero wavenumber exists precisely when . The unstable band is
If , the chemical field is already unstable at zero wavenumber; arbitrarily small positive wavenumbers are unstable too. Since , this also implies . Thus, on the infinite plane, the undivided Keller--Segel aggregation threshold is
For , dividing by gives the requested form
At equality there is no strictly growing mode when ; nonzero spatial modes decay. On a finite domain, a permitted nonzero wavenumber must actually lie in the unstable band. If one allows a signed production function, the displayed matrix and trace-determinant stability criterion remain valid, but the simplification using must be revisited.
The printed hypotheses do not ensure . Positivity of the degradation rate alone is insufficient. For a concrete counterexample, take , , , and . The homogeneous equilibrium point condition holds, all rates and transport coefficients are positive, but . The printed left-hand side equals , although for . These spatial modes grow. If , the printed expression is undefined. The undivided criterion and the matrix above resolve both cases.
To find the fastest-growing Keller--Segel mode, use the larger eigenvalue
For the square root is real. Put and . Differentiation gives
A positive maximizing wavenumber exists in either of two growing cases: , , or , . Equivalently, . In this range , and
Thus the stationary point is the unique maximum. The derivative condition yields
Solving it, with the root that satisfies the unsquared derivative equation, gives
For , the unequal-diffusivity expression simplifies to , also agreeing with the equal-diffusivity limit. The formula maximizes the full two-field growth rate; it makes no instantaneous-chemical approximation. Every direction of with this length is equivalent by rotational symmetry.
If but , the maximum instead occurs at : the fastest mode is homogeneous, with and infinite wavelength. For , its initial derivative is . If the derivative thereafter decreases, while if it increases towards the still-negative large- limit; either way no positive- maximum is missed. At , the two eigenvalues are simply and , giving the same conclusion. In a finite box, maximize over the allowed Fourier modes; excluding the homogeneous mode can change the selected length. In a stable parameter range there is no fastest-growing mode.
The first ratio compares the positive feedback loop “more cells produce more attractant, which draws in more cells” with spreading by cell diffusion and removal of chemical perturbations. Its numerator measures chemotaxis together with attractant production; its denominator measures dispersal together with incremental degradation. This competition between directed chemotaxis and cell diffusion produces spatial aggregation. The second ratio compares the concentration dependence of chemical production, , with incremental degradation . Positive amplifies chemical fluctuations, whereas negative suppresses them. It changes the chemical relaxation available to the chemotaxis feedback loop and can itself destabilize the homogeneous chemical field. Chemical diffusion suppresses short scales and sets the selected wavelength, but does not change the infinite-plane long-wave threshold. These interpretations as ratios of stabilizing and destabilizing processes assume .
Write , and . The Ising-chain Bogoliubov diagonalization uses the eigenvalues of the two-by-two Nambu matrix. For distinct paired modes , choose , and . The rotation satisfies , and its first transformed component is
The opposite signs of the paired angles preserve the canonical anticommutation relations. Self-paired spinless fermion modes have zero pairing and are treated directly as occupied or empty number levels; they do not require this paired-angle formula.
Both and occur in the sum, so the physical quasiparticle coefficient is , not . Consequently
This is the bulk quadratic result under the stipulated boundary simplification. Restoring the finite-chain parity sectors adjusts allowed modes and global excitation constraints. In the thermodynamic limit, the ground-state energy per site is
For , the bulk quasiparticle gap is . The requested three regimes are shown in the original sketch and discussed separately below.
Figure 1.
Ising-chain quasiparticle dispersion is flat at zero field and gapless at the critical field
. Details.
For a trajectory connecting the degenerate minima in infinite Euclidean time, the first integral gives . The quartic double-well instanton and its reverse are
Their action is
The instanton fluctuation prefactor has dimensions of inverse time. It incorporates nonzero Gaussian fluctuation eigenvalues and the translation zero-mode Jacobian; a conventional determinant expression is
with common endpoint regularization and the prime removing the translation mode. Only its positive quantum tunnelling rate is needed here.
In the dilute instanton gas, well-separated crossings alternate in direction. Integrating ordered centers gives . A path returning to the same well has an even number, and one connecting opposite wells has an odd number. The common leading harmonic endpoint factor follows from the supplied harmonic oscillator transition kernel:
Expanding these functions gives the sums over even numbers and odd numbers, with the position-kernel normalization that its abbreviated formula suppresses. Validity requires , and , so typical crossing separation greatly exceeds an instanton width. Local anharmonic corrections replace the harmonic well energy by its perturbatively corrected value; the leading formula does not claim uniformly negligible relative error at arbitrarily large .
The two exponents identify the double-well tunneling splitting:
The superposition with an even spatial wavefunction is the lower state. Coherent quantum tunnelling removes the classical degeneracy, and the exponentially small splitting sets the long quantum tunnelling timescale.
An eigenvector of a matrix is a nonzero vector for which . The scalar is its eigenvalue. For a fixed eigenvalue, the zero vector together with all corresponding eigenvectors forms the eigenspace . The requirement prevents every scalar from being an eigenvalue merely because .
Expanding the characteristic polynomial gives
Solving the three nullspace systems gives the eigenvalues and eigenspaces
For example, at the first two equations force and ; at they force and ; at they force .
Putting these eigenvectors in columns proves their linear independence:
Hence is a diagonalizable matrix over the reals.
If and , symmetry gives , proving necessity. Conversely, expand in the orthonormal basis from part (i), with . The zero-eigenvalue vectors span the kernel of a linear map. If is orthogonal to that kernel, then whenever , so the remaining coordinates can be solved independently.
For a nonzero eigenvalue and any associated nonzero eigenvector , symmetry gives . Thus the component vector along is
For the unit vectors , this coefficient is . Consequently the general solution is
This proves sufficiency as well as the claimed kernel criterion. If the compatibility condition fails, there is no solution; if it holds, the freedom is exactly an arbitrary kernel vector.
View a possible complex eigenvector using the Hermitian inner product. For a real symmetric matrix, , so is real. Since and , every eigenvalue is real.
For eigenvectors with distinct eigenvalues , symmetry gives
so . In particular, real eigenvectors are orthogonal in the real dot product.
Use the permitted diagonalizability assumption to take bases of the real eigenspaces whose union spans . Apply the Gram-Schmidt process within each eigenspace. Its linear combinations remain eigenvectors of that same eigenvalue; vectors in different eigenspaces are already orthogonal. The resulting union is an orthonormal basis of eigenvectors, giving an orthogonal diagonalization of a real symmetric matrix.
The phase plane system is , . Its equilibrium points are for every integer . At such a point the Jacobian matrix and characteristic equation are
For even , the equilibrium point is a stable focus for , with eigenvalues ; it is a stable node for , with two distinct negative real eigenvalues. The excluded value gives the repeated critical case.
For odd , the eigenvalues are . One is positive and one negative, so each is a saddle equilibrium for every . These classifications follow from the linearization of a dynamical system, since all the relevant eigenvalues have nonzero real part for . The even equilibria remain hyperbolic at too, although their linearization then has a repeated eigenvalue; that critical case is excluded from the requested classification.
For , the even equilibria are stable foci with eigenvalues , and the odd equilibria are saddle equilibria with eigenvalues . The local saddle directions are .
Figure 1.
Phase portrait of a pendulum with unit damping, showing spiral sinks and the stable and unstable saddle branches
. Details.
The phase portrait shows clockwise spiraling into each even equilibrium: on its right-hand horizontal axis, the flow initially points down. The stable separatrices of the saddles divide attraction basins on the unwrapped angle axis, while the unstable branches flow into neighboring sinks. Initial conditions with enough mechanical energy can cross one or more potential crests before being captured. The curves repeat under . They are trajectories, not conservative energy contours: energy dissipation of a damped pendulum rules out nonconstant periodic orbits.