At fixed volume, logarithmic differentiation of the Saha ionization equation gives
Differentiation the internal energy then yields
At low temperature and . At high nonrelativistic temperature the gas is fully ionized, , and . The large intermediate excess reflects energy spent increasing ionization, as well as heating and creating additional translational particles. “Very high” here remains below regimes where relativistic, radiative or pair-creation contributions invalidate the model.
The appropriate invariance is invariance of the action element , including the change of the time measure. Under and , differentiation of gives . Therefore
Using the Euler-Lagrange equations and , this becomes
An action symmetry therefore yields the Noether charge
For this reduces to the usual spatial form of Noether's theorem. The same on-shell calculation permits velocity-dependent generators when they define a legitimate variational symmetry. Merely preserving the numerical value of is insufficient for transformations of time: the Jacobian matrix and determinant matters. If the action changes by a boundary term , the conserved quantity is .
For the Gaussian, . Using , the terms cancel and leave . For , differentiation gives , and the same cancellation gives . The normalization constants do not affect these eigenvalue equations.
Choose a continuous argument on a simply connected domain avoiding zero, and put . With , direct differentiation gives
Here , ; these identities specify the branch needed in the written arctangent. Integrating the Cauchy-Riemann equations gives
The literal principal works only separately on suitable half-planes. It cannot stand for a single continuous argument across the imaginary axis.
Velocity differentiation gives . The coordinates and are cyclic, so are conserved. The radial momentum generally changes. In particular the conserved axial canonical momentum differs from the axial mechanical momentum by .
We first derive the stress and energy facts used in both parts. The Cauchy traction is force per unit area in the deformed configuration. The first Piola-Kirchhoff traction is force per unit reference area. Their force vectors are measured in the same spatial coordinates, but the area measures and the normals used to specify the surface are different.
Parametrize a reference surface by . Its oriented area vector is . Under deformation, the two tangents become . The cross-product identity
therefore proves Nanson's formula . Equality of the physical force on corresponding surface patches now gives
Since this holds for every reference normal,
The first Piola-Kirchhoff stress tensor is generally not symmetric, whereas the Cauchy stress tensor is symmetric in the absence of couple stresses.
For the stated energy on orientation-preserving gradients, differentiation gives
A stress-free state satisfies . Taking determinants yields , so and : precisely . These states are also the global energy minimizers. If are the singular values, the arithmetic-geometric mean inequality gives , with equality only when the singular values are equal. The function decreases up to and increases thereafter, with minimum . Thus , with equality precisely at rotations. A constant shift of the energy can set this minimum to zero without changing the stress.
For the given simple shear,
For a unit normal , . Hence every reference plane whose normal lies in the plane is maximizing:
There is a family of maximizing planes, rather than one distinguished normal.
Conditioning on the observed time. The native PDF defines as the first production time and then conditions on that production occurring at . If the intended information is its numerical value , the answer depends on . We first compute this conditional probability using a conditional probability density; conditioning on an exact value of a continuous random variable means a density ratio, since .
Before , no molecules of the second chemical species are present, so the joint-removal chemical reaction cannot occur. Molecules of the first chemical species arrive as a rate- Poisson process, and each independently starts a clock with a rate- exponential distribution for producing the first molecule of the second chemical species. Define the unnormalized probability mass function
The chemical master equation before the first production, with production treated as killing, is
Multiplying by and summing gives a partial differential equation for the probability generating function:
Its solution, verifiable by direct differentiation, is
Thus , the survival function is , and the conditional distribution of given survival to is a Poisson distribution of mean .
Production in from Markov chain state has joint probability . Therefore the probability density function of is
The first production leaves unchanged. Taking the density ratio gives a size-biased distribution of the surviving count:
In particular, under this reading the requested conditional probability is
The shift by one matters: an observation made exactly when production occurs preferentially selects larger counts, since their production reaction propensity function is larger.
Without observing the numerical time. If the conditioning merely repeats the definition of , the requested probability is instead the unconditional count at that stopping time. Before production, increases by one at rate , while production occurs at rate in Markov chain state . The competing exponential clocks imply
The first factor requires a second arrival before production from count one; the second requires production before a third arrival. The first arrival itself is certain. Production eventually occurs with probability one, as is also clear from . As a consistency check, averaging the time-conditioned answer against gives
These are two distinct, explicitly specified interpretations of the printed conditioning.
From c, , with equality when : the photons are emitted perpendicular to the Lorentz boost axis in the center-of-momentum frame. Therefore
At the minimum, the map is stationary: writing , its leading behavior is . A nonzero interval of uniformly distributed is therefore compressed near , producing an integrable inverse-square-root singularity in the opening-angle probability density. No differentiation of that probability density is needed. For finite , the probability density vanishes at . For the center-of-momentum frame is the laboratory and every event has : the probability distribution becomes a Dirac delta distribution, rather than the singular substitution in c. At large , in radians.
Figure 1.
Opening-angle compression and its normalized probability density for a boosted two-photon decay
. Details.
Write . Its three positive zeros of a function are , and expansion and differentiation give
Thus its local minimum and maximum occur respectively at
with values
The function graph approaches the value as , decreases through its first zero to the minimum, increases through its second zero to the maximum, and then decreases through to . This fixes the shape and all axis crossings of the cubic polynomial.
Changing translates the function graph vertically without moving either stationary point. For both extrema are above the horizontal axis: their heights are approximately and . For both are below it, at approximately and . The function graph for therefore has only its final positive-axis crossing, whereas the function graph for has only its first positive-axis crossing. The original plots mark the extrema and also show the equilibrium point branches used below.
Figure 1.
Cubic graphs and equilibrium branches
. Details.
Take profiles and with , and use a prime for differentiation with respect to . The chain rule gives , and . Therefore
These are coupled ordinary differential equations for a right-moving travelling wave with speed . A first-order formulation, using , is , , . In particular a positive profile has , consistent with depleted substrate behind the travelling front and fresh biological growth factor ahead.
Let . In the first two components of the vector field, replacing by their negatives changes the sign of the whole component; in the third, the product is unchanged. Thus , establishing the symmetry, with solutions mapped to solutions by .
At an equilibrium point, positivity of makes . The remaining equations give and . Hence
where the two nonzero equilibrium points exist when . They merge with the origin at , in a pitchfork bifurcation.
At the origin the Jacobian matrix and its eigenvalues are
At these are . To see the local pitchfork bifurcation dynamics more explicitly put , , and use on the center manifold. The equations become
At , invariance at cubic order gives , hence the reduced equation is
It has the supercritical pitchfork bifurcation form as increases, with the two branches attracting near onset while the origin becomes unstable.
For , the determinant of the planar block is , so the origin has one positive and two negative eigenvalues and is a saddle equilibrium. At , the planar eigenvalues are explicitly . For , the planar trace is negative and its determinant positive, so the origin is asymptotically stable. To distinguish its type put
For both planar eigenvalues are real negative, giving a stable node. At they coincide at ; the planar block is not a scalar matrix, so it is a defective stable node. For they are nonreal with negative real part, giving a stable spiral in the planar block together with the stable third direction. This refines the requested node-versus-saddle classification.
The origin cannot have a Hopf bifurcation: a planar imaginary pair would require trace zero, namely , but the determinant there is , so the pair is real and of opposite signs.
For either nonzero equilibrium point put . The Jacobian matrix is
Its characteristic polynomial is
A nonzero imaginary root of an equation requires, by separating real and imaginary parts, and . Equivalently
so the candidate Hopf bifurcation values are
At such an admissible value the factorization is , giving the pair and a negative third eigenvalue , since on the nonzero branches.
The mathematical model parameter restrictions matter. A real candidate requires , and the nonzero equilibrium points also require . The upper-sign value is admissible for ; the lower-sign value additionally requires . For fixed , differentiation of the characteristic equation at the imaginary root of an equation gives the eigenvalue crossing speed
Thus the transverse eigenvalue crossing condition holds except at the coincident-root case , . At a transverse eigenvalue crossing, a generic nonzero first Lyapunov coefficient gives a Hopf bifurcation. The displayed radical is the spectral threshold; it does not justify an unconditional generic-Hopf claim for all positive mathematical model parameters, nor does it by itself exclude a degenerate Hopf bifurcation point. For example yields no real candidate at all. The cubic Routh-Hurwitz stability criterion gives local Lyapunov stability on the side with and , where
For the modified equation, the planar block at the origin is , with determinant for the stipulated positive mathematical model parameters. Thus the origin is always a saddle equilibrium for nonzero in that mathematical model parameter range. The nonzero equilibrium points now satisfy , and , so they are
For these branches stay a positive distance from the origin and do not merge with it as varies. The origin also has no zero eigenvalue for . Therefore the pitchfork bifurcation is absent in the modified system.
For , direct differentiation gives
Thus the transformed partial differential equation and its impermeable-wall boundary conditions are
The positive exponential factor does not change where the vertical velocity vanishes.
The homogeneous linear differential equation has solutions and . Since the forcing is already a homogeneous solution, seek a particular solution proportional to . Direct differentiation gives
Thus the general solution of the linear ordinary differential equation is
The first initial condition gives . Also
so the second initial condition gives , hence . Therefore
Use partial fraction decomposition:
Integrating each term gives the antiderivative
This holds on any interval avoiding ; the constant may differ between these intervals. Differentiation of the logarithm recovers , providing a direct check.
Write . Since , the map is increasing on , and for ,
Differentiation gives
and zero outside this interval. Since , this is exactly the beta distribution probability density function with parameters . The power transform of a uniform random variable therefore satisfies ; the second parameter does not depend on .
For , direct differentiation again gives and . Thus it satisfies the heat equation. Moreover,
vanishes at both endpoints for integer , proving the homogeneous Neumann boundary conditions. Now gives the nonzero constant mode , which does not decay. It represents conserved mean temperature in an insulated plate.
Put and . Direct differentiation of gives
so , the heat equation. At , the sine factor vanishes; at , it is for integer . Thus the homogeneous Dirichlet boundary conditions hold. The nonzero, nonredundant spatial modes use ; is the zero function and negative only change the amplitude sign.
Periodic solution Created 2026-10-14 Updated 2026-10-14
A periodic solution is a solution of a differential equation which is a periodic function: for some , at every time. This demands repetition of the state, rather than merely repetition of the coefficients in the differential equation. A nonconstant periodic solution of an autonomous differential equation traces a periodic orbit; constant equilibrium points are also periodic functions, so they must be excluded when asserting absence of periodic orbits.
For an explicit example, consider the initial value problem
Its coefficient has period . Taking a logarithmic derivative and then applying integration gives
Direct differentiation verifies both the differential equation and the initial condition. After one coefficient period,
Thus the repeating coefficient generally produces a repeating shape with a changed amplitude. With , the three cases have one-period factors approximately , respectively. Only gives a periodic solution with this initial condition. For the positive solution of a differential equation tends to zero, and for it tends to infinity; neither can have any positive period. The zero solution of a differential equation, obtained with a different initial condition, is periodic for every .
Figure 1.
One repeating coefficient can produce decay, periodic motion, or growth
. The original example , , shown over one coefficient period and four coefficient periods. Shading marks the bounds , and dashed curves mark . The right column uses a logarithmic vertical scale. Details.
The exponential function separates two roles:
For , even the decaying case initially rises, because . The growing case has intervals of decline, because becomes negative. This is the distinction between the instantaneous logarithmic derivative and the Floquet growth rate measured over many periods.
More generally, for a real continuous periodic function of period , the scalar linear differential equation has
A nonzero solution of a differential equation is -periodic exactly when , or equivalently when the coefficient has zero integral over a period. This scalar calculation is the simplest example of a Floquet multiplier.[ref]
Polymer blend miscibility 2026-11-05
Polymer blend miscibility is the ability of different polymers to form one thermodynamically stable phase at specified temperature, pressure and composition. A specimen that merely looks uniform is not sufficient evidence. IUPAC distinguishes a homogeneous blend from a miscible one: the latter must satisfy thermodynamic miscibility criteria.[ref]
The thermodynamic comparison is between the homogeneous state and all allowed phase-separated states at the same overall composition. For a binary incompressible lattice model with equal segment volumes, let be the first component's volume fraction, the segment counts per chain and the interaction parameter. Flory–Huggins solution theory gives a dimensionless mixing Gibbs free energy per lattice site,
The mixing entropy per segment is reduced for long connected chains. The originating statistical treatment of polymer solutions makes molecular-size disparity explicit, rather than replacing the chains by equal-sized independent small molecules.[ref]
At composition-independent , direct differentiation gives
Negative curvature means that small composition fluctuations can lower the free energy: the homogeneous state is locally unstable. For an original symmetric example with at , . Values and therefore give positive and negative curvature, respectively. In this model the symmetric critical value is .
Positive local curvature alone does not establish global stability. In a common-tangent construction for phase coexistence, a line touching the free-energy curve at two compositions can lie below the intervening homogeneous states, indicating favorable two-phase coexistence. The spinodal marks local loss of stability; the binodal bounds coexistence. These are different questions about the same free-energy landscape.
Figure 1.
Original symmetric polymer-blend free-energy model with one-phase and two-phase mixing landscapes
. Both chains have 100 equal-volume segments. At interaction parameter 0.03, the common tangent joins calculated coexisting volume fractions about 0.0707 and 0.9293. The parameters are illustrative and do not fit a measured polymer pair. Details.
Experiments must also address kinetics and observation scale. A blend can retain an apparently uniform state because phase separation is slow. Microscopy or light scattering can reveal domains or composition fluctuations, but absence of a resolved signal only establishes the resolution and timescale of the observation. A stated thermal history and measurements after changing temperature help distinguish a persistent preparation from evidence about equilibrium. No particular polymer pair is assigned a phase diagram by the illustrative lattice parameters.
Probability generating function of an independent random sum Created 2026-10-18 Updated 2026-10-25
Let be a nonnegative integer-valued random variable, and let be nonnegative integer-valued independent and identically distributed random variables, with common probability generating function . Require the whole sequence to be independent of , so are jointly independent. Set the random sum
with the empty sum equal to zero. Given , the probability generating function of an independent sum yields the conditional expectation . By the law of total expectation,
The composition is valid because . Merely making the independent of each other does not preserve their conditional laws when depends on them. This is the probability generating function version of transform composition for an independent random sum.
For a Poisson distribution count with mean , substitution into gives a compound Poisson distribution with
If the jumps have finite second moment, conditioning also gives mean and variance . The extra spread comes from randomness in the count as well as randomness in the jumps.[ref]
For an original example, choose and jumps taking values one and two with equal probability. Keep the independence assumptions above. Then
Here , , and . The law of total expectation and law of total variance give
Thus the aggregate is not itself a Poisson distribution, whose mean and variance would coincide.
To recover the probability mass function without repeated differentiation, use and compare coefficients:
For example, . As an independent check, expanding gives
Figure 1.
A random number of one-or-two jumps gives a compound Poisson count
. The upper diagram separates the Poisson distribution count, the independent and identically distributed jumps, and their random sum. Below are calculated coefficients of for , with the omitted tail probability reported explicitly. They are exact model probabilities evaluated numerically, not observed data; the displayed masses have not been renormalized. Details.
The plotted probability masses stop at 20, although the support of a probability distribution is unbounded. The omitted tail probability is
This model has bounded jumps and an unbounded count. Its entire probability generating function does give a finite moment-generating function at every real argument, but the general random sum composition only guarantees the stated domain.