For separation of variables, set , with . The side Neumann boundary conditions give . As in the standard Sturm-Liouville problem, integration by parts shows . The zero eigenvalue gives constant , and together with makes constant too.
For positive eigenvalues, the side conditions give , , . The top condition chooses the hyperbolic cosine factor . Normalize it to one at , obtaining
The orthogonality of integer Fourier modes and the permitted interchange of summation and integration give
For the remaining Fourier coefficients, integrate by parts twice. The sine boundary term vanishes, and with ,
The last integral vanishes because and is a positive integer. Thus : only even Fourier modes survive, as expected from reflection symmetry about . Writing gives
The factor involving hyperbolic cosine lies between zero and one on the closed rectangle. Comparison with proves uniform convergence, so the solution is continuous on the entire boundary and takes the prescribed bottom values. On every strip , the Fourier coefficients have additional exponential decay, allowing differentiation and verifying Laplace's equation and all three Neumann boundary conditions.
To justify the endpoint calculation in b, differentiate at , in the interior-edge sense:
Subtracting from the hyperbolic tangent leaves an absolutely convergent series. For the remaining part, the power series gives, by taking real parts at and then ,
The same formula follows as the limit of the differentiated interior solution, since its leading multiplier is . This establishes the boundary normal derivative used in b. It also explains why the failure of the corner compatibility condition for mixed boundary data affects first derivatives at the bottom corners without spoiling continuity of itself.
Use the exponential definition of the hyperbolic tangent:
The complex exponential has modulus one here, so . Its arguments satisfy . Thus all solutions are
The denominator is then , so no pole was admitted by cross-multiplication. Substitution also follows from and the period .
For , integrate the probability density function to obtain the cumulative distribution function
If , the requested probability is . Since the hyperbolic tangent is odd, this gives
The second case matters because the question places no sign restriction on : the event is empty when its upper endpoint is nonpositive. Using an oriented integral from to a negative would give a negative number, not a probability.
Using the exponential definition of hyperbolic tangent, set :
Here , so the resulting points are not poles. Taking all values of the complex logarithm gives . Thus
Equivalently , so these are exactly the imaginary-axis solutions of .
The literal expression in the original PDF is undefined. Indeed, hyperbolic tangent satisfies , and
Already the summand contains , a pole. The shifted term has the same issue when . Thus this is not a finite sum of defined complex numbers, and it has no literal real or imaginary part. Cancelling two undefined terms is not ordinary arithmetic.
There is nevertheless a natural interpretation by meromorphic telescoping cancellation. Insert the same small positive real shift into every hyperbolic tangent argument. Each term is then finite, and the telescoping sum is
Since hyperbolic tangent has period , its first argument can be reduced to . Taking the limit gives
This is a common-shift continuation of the sum, plausibly the intended telescoping answer. It requires that additional convention; it is not the value of the expression as printed.
Put and . Traverse the rectangle with positive orientation of a contour, taking . Part (i) shows that the only enclosed poles of are
They are simple poles because
The residue formula for a quotient at a simple denominator zero gives
Their imaginary terms cancel and their residues sum to . Thus Cauchy's residue theorem gives
Figure 1.
The positively oriented contour encloses the two poles at
. The top edge is traversed from right to left. Its reversed orientation of a contour and the imaginary shift in the numerator produce times the desired real integral. Details.
The choice of numerator makes the horizontal sides useful. The hyperbolic sine satisfies , so . Consequently the lower and upper contour integrals, with their actual orientations, add to
It remains to justify discarding both vertical sides. On either side , , the reverse triangle inequality and part (b)(ii) imply
This lower bound is positive for sufficiently large . Also and each vertical side has length . The estimation lemma bounds the absolute value of the sum of the vertical contributions by
The real improper integral converges absolutely, since its integrand is continuous on the real axis and decays like at infinity. Combining all four sides and taking gives
Therefore
An independent real-variable check uses the hyperbolic tangent substitution : the integral becomes . Its antiderivative uses the inverse hyperbolic tangent, giving . As , this tends to , agreeing with and checking the factor of two.
Close to the critical temperature on the ordered side, both and are small. Expanding the hyperbolic tangent gives
For a nonzero solution, divide by and retain the cubic-order terms:
This mean-field onset of two-state ferromagnetism has mean-field critical exponent : the curve reaches zero continuously with a square-root cusp below , and remains exactly zero for all . The factor is what the cubic truncation gives; higher orders also affect the coefficient at relative order , so the robust leading asymptote is .
Figure 1.
Weiss self-consistency and the mean-field ferromagnetic onset
. Original numerical solutions of . The left panel shows a positive intersection below the critical temperature and none above it. The right panel plots the spontaneous magnitude and its near-critical cubic approximation; that approximation is shown only close to the transition. Details.
For , each adjacent pair of walkways has relative rapidity . There are such steps between and , so the equal-rapidity chain of collinear Lorentz boosts has total rapidity . Thus the actual velocity is
It is strictly below the speed of light for every finite . Adding the adjacent velocities as ordinary numbers ignores the relativistic velocity-addition formula.
For large , the Taylor series of the inverse hyperbolic tangent gives
Consequently
More precisely, , so the limit is approached from above. The case would prescribe an adjacent relative velocity equal to the speed of light; it does not define an admissible walkway inertial frame.
Exactly works. Composition with the hyperbolic tangent is smooth for every . If , set . For , , so the result vanishes; it is therefore a test function with support of a function .
If , every finite satisfies . The given positivity makes for every , so its support is all of . In particular is excluded even though the function tends to zero at infinity: decay is not compact support.
By definition and . Using the addition identity for the hyperbolic tangent and the rapidity sum from (i),
Thus the velocity-addition formula is
The denominator is positive for the permitted subluminal signed velocities. For the nonnegative speeds in (iii), the composite is also nonnegative and remains below .
Using and the hyperbolic tangent addition identity,
Consequently the relativistic velocity addition rule is
Write and . Since , eliminate the individual populations:
The Taylor expansion gives the same result, and the odd expansion of the hyperbolic tangent yields
Equivalently, and . Their sum is still . The negative sign follows directly from the stated higher-energy up-state population, and does not mean a negative magnitude of the equilibrium magnetization.
For , the second-iterate equation is equivalent to . Write and let paired points be . The condition becomes . At , , so strict concavity of the positive hyperbolic tangent gives one nonzero positive , as well as . Here it is exactly .
Thus the four nonnegative fixed points of are
Zero has periodic-orbit multiplier and the central point has periodic-orbit multiplier , so both are unstable. The outer two points are exchanged by , since and . Their common second-iterate periodic-orbit multiplier is
Its magnitude is below one, so both outer fixed points of are stable. This verifies the crossings and stability in the supplied graph rather than reading stability from crossing direction alone.
Multiply the ordinary differential equation by and integrate. A solution approaching the positive equilibrium has : this follows from the equation and convergence of , since a nonzero limiting derivative or energy would preclude convergence. Its first integral is therefore
The branch tending to at positive infinity obeys . Separation yields
The constant solution is . For this is a translated hyperbolic tangent; for it is a regular hyperbolic cotangent branch on . The condition excludes both an interior pole and a divergent value at the finite endpoint. The opposite sign in the first integral moves away from the positive equilibrium as increases, except at the constant solution.
A useful integral consequence is
Indeed the integrand is , the negative of times the derivative of . An integral deficit can therefore fix the translation parameter uniquely, even when the differential equation and far value leave it free.
Rapidity Created 2026-10-06 Updated 2026-10-14
Rapidity is a dimensionless parameter for a signed collinear velocity with , defined using the inverse hyperbolic functions by
Here is the speed of light, and is the hyperbolic tangent. Zero velocity has zero rapidity; negative velocity has negative rapidity. Every finite real rapidity gives , while requires . Thus a light ray has no finite rapidity in this parametrization. The header's formula uses natural units : its is the numerical velocity .
For the inertial frames in the velocity-addition formula, moves at signed velocity along the -axis of . Set . Re-expressing the same particle in the moving inertial frame gives
The subtraction is a passive change of reference frame; the inverse adds the particle's rapidity in to the frame's rapidity relative to . For example, and give , so and , exactly as in the velocity-addition formula.
For a massive particle of rest mass moving in one spatial dimension, its energy and signed momentum are
The hyperbolic cosine is the particle's Lorentz factor, and the hyperbolic sine is . The hyperbolic Pythagorean identity immediately gives the relativistic energy-momentum relation . In the older notation, writing the rest mass as recovers , , and . These expressions use natural units in which the factors of are numerically one; the preceding formulas restore those factors explicitly. [ref].
The useful simplification follows from the hyperbolic-function identity : the nonlinear velocity-addition formula becomes ordinary addition of rapidities. See iterated collinear boosts with equal rapidity for a plotted example. A common collinear Lorentz boost shifts every rapidity by the same constant, so a rapidity difference is invariant. This makes rapidity useful for relativistic factorized scattering in one spatial dimension, where two-body S-matrices depend on the difference of the incoming rapidities, with particle species fixed.
Let downward velocity obey , with constants , terminal velocity and initial speed . Gravity minus buoyancy can supply the constant downward force represented by . Since , the equation for is linear in depth: , giving the displayed decay. Exact terminal velocity is approached only asymptotically. A practical tolerance is attained at , provided the initial excess exceeds that tolerance. Its time-domain form is with , in contrast to the hyperbolic tangent for descent from rest under quadratic drag.
A travelling wave of the viscous Burgers equation can connect constant states through a smooth decreasing layer. Require , , , , and at both ends. Substitution and one integration give
The speed follows by evaluating the integration constant at both end states. It is precisely the Rankine-Hugoniot condition for conservation law flux . Choosing the center gives the displayed hyperbolic tangent profile. Its characteristic width scales as ; a smaller positive makes a thinner smooth layer.
For an original worked example in dimensionless quantities, take , and :
This is an exact classical solution on with its own smooth initial condition and limiting states . It is a family of moving profiles, not the finite- solution starting from an exact discontinuous step. For that different initial condition, the Cole-Hopf transformation supplies the evolution. At , this front starts from the same profile as the Burgers characteristic breaking example: positive diffusion maintains a smooth moving layer while the inviscid profile breaks at .
To check the partial differential equation explicitly, set and . Then
The independent Rankine-Hugoniot condition check gives , using and . At fixed , the vanishing viscosity approximation tends to the entropy shock for and for . At the center the smooth profiles stay at ; changing the value on the discontinuity does not change the limiting weak solution.
Figure 1.
Exact viscous fronts from 2 to 0: the speed stays 1 while the layer narrows with viscosity
. Details.
For , the same integrated ordinary differential equation has between the two states when , so it cannot supply an increasing connecting front. The inviscid admissible expansion is the rarefaction wave of the Burgers Riemann problem with positive flux.