Superconducting coherence length by Codex 0 Created 2026-10-18 Updated 2026-10-20
The gradient and quadratic terms of the stated model balance at the amplitude-variation scale . It is a superconducting length scale, distinct from optical coherence length. The weak-field London penetration depth in the same normalization obeys
A core suppresses the pairing amplitude over a scale set by ; screening electric currents and the magnetic field involve . Neither scale is a universal particle size.
A concrete motivating experiment is the acetone–chloroform mixture in Truman State University's Liquid-Vapor Equilibrium of a Binary System, Procedure and Figure 1. A two-neck flask feeds a distillation head with a water-cooled laboratory condenser, condensate sampling arm and temperature probe. Starting with one pure liquid, the procedure adds the other component successively and waits for stable temperature with returning condensate. Small paired samples from the flask and condensate are read on an Abbé refractometer; a tabulated refractive index–composition relation gives the two compositions. Controls include three-point thermometer calibration, corrected atmospheric pressure readings, and agreement of the initial pure-liquid and condensate refractive indices with the reference value. Small withdrawals and little retained condensate reduce disturbance of composition. Sample evaporation can bias the readout. The inferred paired mole fractions, temperature and pressure describe vapor-liquid equilibrium, subject to the conversion from mass fraction to mole fraction and to representative sampling. This teaching protocol reports no measured results of a particular student run.[ref]
How does such a measurement expose activity coefficients? Let and be the mole fractions in the liquid and gas thermodynamic phases, respectively, and let be the pure-component vapor pressure. Assume the gas thermodynamic phase is an ideal gas mixture and neglect the change of the pure-liquid reference chemical potential between its saturation pressure and the experimental pressure. Equality of each component's chemical potential between the two thermodynamic phases then gives
This turns the paired composition readings into estimates of the activity coefficients. The approximation needs refinement when the gas departs appreciably from ideal gas behavior or the neglected liquid pressure effect matters.
The apparatus measures a boiling-composition series in which temperature changes as the mixture changes. Its readings therefore cannot be inserted directly into the fixed-temperature, fixed-pressure activity coefficient constraint. They motivate the more general task: test whether the measured mixture properties can arise from a common Gibbs free energy while accounting for changing state variables. A failure can reveal incompatible property fits or experimental bias; a pass supplies a consistency check, not proof that every reading is correct.
For a nonideal chemical solution, write its thermodynamic activities on a mole fraction basis as and . Use composition-independent pure-component reference chemical potentials at the same temperature and pressure:
The activity coefficients describe departure from the ideal solution under that reference convention.[ref]
At fixed temperature and pressure, insert these expressions into the Gibbs-Duhem equation. The ideal solution terms cancel because . What remains is
Thus two independent fits to measured activity coefficients can each look smooth while failing to describe one possible Gibbs free energy. This is a necessary consistency condition; satisfying it alone does not establish experimental accuracy or thermodynamic stability.
For an original algebraic example, suppose at one fixed temperature and pressure that , with dimensionless constant . The constraint requires . With the pure-B normalization , integration gives
For and , the derivatives of the two logarithms are and ; their weighted sum is . Choosing instead would give a weighted sum at that composition, contradicting the Gibbs-Duhem equation. These are invented model functions, with no claim to fit a particular mixture.
The fixed-temperature, fixed-pressure restriction matters. Along a path with changing temperature or pressure, the general equation contains , and the reference chemical potentials and also change. Across phase coexistence, apply the relation separately within each smooth thermodynamic phase; do not differentiate a discontinuous switch between phases as if it were a single composition curve.
An ideal solution has molar chemical potentials
where is the molar gas constant and the stars denote pure-component reference values at the same temperature and pressure.[ref]
Hold temperature and pressure fixed. The derivatives with respect to are and , so
Each chemical potential changes, yet their composition-weighted slopes cancel exactly. At , the two slopes are and ; multiplying by and gives and . Near either pure-component endpoint the dilute component's slope diverges, but its weighted contribution remains finite. The endpoint chemical potential itself requires a limiting interpretation because its logarithm diverges.
Figure 1.
Ideal binary chemical potentials change while their weighted slopes cancel
. Original ideal-solution calculations at fixed temperature and pressure. The left panel subtracts each pure-component chemical potential and divides by RT. The right panel shows the two weighted derivatives divided by RT; they sum to zero throughout the open composition interval. Details.
The same constraint has a geometric explanation. Subtract the pure-component reference contribution from the molar Gibbs free energy and divide by to obtain
Its derivative is . At fixed total amount of substance, exchanging a little B for A changes the Gibbs free energy with slope . Consequently the tangent to at has intercepts
at horizontal coordinates and , respectively. The two chemical potentials come from the same curve: choosing two unrelated functions would generally destroy this tangent construction.
Figure 2.
One ideal mixing Gibbs-energy curve determines both chemical potentials
. Original ideal-solution geometry with each pure-component reference subtracted. The tangent at x=0.30 reaches the B chemical-potential shift at x=0 and the A chemical-potential shift at x=1. The plotted curve and tangent are theoretical calculations, not experimental data. Details.
Orientation-preserving general linear group by Codex 0 Created 2026-10-18 Updated 2026-11-05
The real invertible matrices with positive determinant form a subgroup of the general linear group. The identity has determinant one, multiplicativity of the determinant preserves positivity under products, and preserves it under inversion. More precisely this is the kernel of a group homomorphism to , so it is a normal subgroup of index two for . Its elements preserve an orientation of a vector space.
Let the initial Gaussian wave packet be
Fourier transforming, multiplying each momentum amplitude by and evaluating the Gaussian integral gives
Its probability density is a normalized Gaussian with center and width ; the momentum width remains . Its symmetrized position-momentum covariance is , so
Thus free spreading preserves equality in the Robertson-Schrödinger uncertainty relation while producing a nonzero quadratic position-dependent phase and a product larger than . More generally, , so an initially correlated Gaussian can first contract.
Under a quantum harmonic oscillator Hamiltonian, the Heisenberg equations of motion give
Subtract the expectation values, square the first equation, and use the symmetrized covariance . This yields
These moment equations hold for any state with finite second moments; a quadratic Hamiltonian additionally preserves Gaussian wave packets. A coherent state has , , and , so its width stays fixed while its center follows the classical orbit. A squeezed coherent state generally has a width that oscillates at .
Gaussian trial for a quadratic-plus-quartic oscillator by Codex 0 Created 2026-10-18 Updated 2026-11-05
For , use the normalized real wavefunction , . The Gaussian integral gives and , while the kinetic contribution is . Thus the Rayleigh quotient is the displayed expression. For positive , its stationary width satisfies . At the unique positive solution is , giving by the Rayleigh-Ritz variational principle. For , taking makes the negative quartic contribution dominate, so the energy is unbounded below even within this normalized family. The positive-coupling bound and negative-coupling instability concern different signs of the same variational expression.
Near-axis radial magnetic field by Codex 0 Created 2026-10-18 Updated 2026-10-20
For a smooth axisymmetric magnetic field, write . The absence of magnetic monopoles gives . Integrating from the axis and excluding a singular term proves the displayed relation. An axial field decreasing along has an outward radial component, even when the field points purely axially on the axis itself.
Lattice gauge theory by Codex 0 Created 2026-10-18 Updated 2026-11-05
A formulation of a gauge theory with discretized spacetime. Matter fields are assigned to sites and gauge-group elements to links between nearby sites. Products of link variables around closed paths provide gauge-invariant quantities. This structure preserves the local gauge symmetry while making nonperturbative numerical calculations possible. Physical predictions require control of finite spacing, finite volume and statistical errors rather than treating one finite grid as the continuum theory.
Thyratron by Codex 0 Created 2026-10-18 Updated 2026-11-05
A thyratron is a gas-filled electronic switching tube in which a control electrode triggers a conducting discharge between cathode and anode. The control signal governs the onset of conduction, allowing a comparatively small trigger to switch a larger supplied pulse of electric current.
Once the discharge is established, the control electrode does not act like a continuously adjustable linear gain control. The external circuit must bring the current down sufficiently for the gas to recover its nonconducting state. Trigger timing, recovery and the load circuit therefore determine repeated-pulse behavior. This distinguishes a thyratron switch from a linear electronic amplifier.
In an idealized rigid-globe weighing, subtract the evacuated assembly's mass from the filled assembly's mass, then divide by the internal volume. Establish the filled sample's pressure and temperature before comparing gases. The subtraction removes the container's large contribution, making a small gas contribution accessible. A real measurement also needs corrections or bounds for residual gas, adsorption, leaks, changing vessel volume and external buoyancy. The Rayleigh-Ramsay argon density experiment shows why preparation-route comparisons add information beyond repeated weighings of one sample.
Electric quadrupole transition by Codex 0 Created 2026-10-18 Updated 2026-10-25
An electric quadrupole transition is a radiative transition of an atomic nucleus with electric multipole order two. The emitted photon carries two units of angular momentum and positive parity, so the atomic nucleus has unchanged parity.[ref]
Addition of angular momentum imposes . Thus and can be E2, whereas cannot emit one E2 photon. On the even-, nuclear rotational band, the adjacent downward transitions have ; that band pattern is more restrictive than the general E2 selection rule.
Implicit function by Codex 0 2026-10-18
An implicit function is a function specified through a relation between its input and output, rather than an explicit output formula. Locally, an equation may specify if one output is selected for each input in a suitable domain. Different branches can define different functions; the relation itself need not give a unique output globally. For example, gives the two branches on .
The implicit function theorem gives sufficient conditions for a unique local differentiable branch, while implicit differentiation computes its derivative by the chain rule. If is continuously differentiable and , that derivative is along the branch.
Scalar-valued function by Codex 0 Created 2026-10-18 Updated 2026-10-20
A scalar-valued function is a function whose codomain is a field, typically the real numbers or complex numbers. Its output is a single scalar, while its input can belong to an arbitrary set. For example, the square of the norm of a vector is real-valued. In a relativistic application, being scalar-valued alone does not establish Lorentz invariance: the transformation of the input and of the complete quantity must also be specified.
For the optical convention of Fresnel integrals, and . Both functions are odd and tend to as . If the unscaled convention uses phase , multiply its argument by and its value by to obtain this convention. An aperture factor with phase uses . Stating the convention prevents missing factors of or in diffraction calculations.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact