Assume an ideal dilute aqueous chemical solution with just one monoprotic acid pair $\mathrm{HA}/{\mathrm{A}}^{-}$, self-ionization of water, and other ions that balance electric charge without undergoing further chemical reactions. Hold the analytical concentration $C=[\mathrm{HA}]+[{\mathrm{A}}^{-}]$ constant. Keep the acid dissociation constant $K_a$ and the self-ionization of water constant $K_w$ dimensionless, consistently with pH:Thus $H$ denotes normalized hydrogen ion concentration, not a dimensional concentration. The chemical equilibrium and conserved analytical concentration giveAdding chemical base converts weak acid to conjugate base, increases free hydroxide, and decreases free hydrogen ion concentration. Balancing electric charge, including the added reagent's accompanying ions, gives the signed dose relative to any initial chemical equilibrium at $p_0$:Differentiate with respect to pH, using $\mathrm{d}H/\mathrm{d}p=-(\ln 10)H$. The result isThe first term is the monoprotic acid pair's contribution, ${\beta }_{\mathrm{pair}}$; the remaining terms are the free hydrogen ion and hydroxide contributions, ${\beta }_{\mathrm{water}}$. Each has units $\mathrm{mol}{\mathrm{L}}^{-1}$ per pH. Equivalently, with dimensional $H_c=[{\mathrm{H}}^{+}]$, $K_{a,c}=c^{\circ }{K}_a$ and $K_{w,c}=(c^{\circ }{)}^2{K}_w$, the expression is $(\ln 10)(C{K}_{a,c}{H}_c/(K_{a,c}+H_c{)}^2+H_c+K_{w,c}/H_c)$. Mixing the dimensional and dimensionless conventions would give incorrect units.

For $r=K_a/H=10^{\mathrm{pH}-\mathrm{p}{K}_a}$,because $(1+r{)}^2-4r=(1-r{)}^2\ge 0$. Equality occurs at $r=1$: equal weak acid and conjugate base concentrations, or pH equal to pKa. This is the exact maximum of the pair contribution in this model. The full buffer capacity need not have its maximum there: free hydrogen ions and hydroxide make it grow toward the acidic and alkaline extremes. When these contributions are small, the central peak lies close to pKa.

Caching file contents in units based on memory pages, commonly by a file mapping and an offset, rather than necessarily by the device-and-block buffer cache key used above. A file's offset must be mapped to storage before device access; the two naming systems describe different layers. How page cache and buffer cache storage relate depends on the operating system and file system. A separate duplicate copy at each layer is not a universal requirement.

For the Linux kernel interfaces documented in Buffer Heads by The kernel development community, per-block state can be attached to larger cached memory units called Linux folios; mark_buffer_dirty also marks the backing page dirty in the page cache. The documented reclamation checks include dirty state, pending buffer cache writeback and elevated reference counts. That documentation deprecates Linux buffer heads for new file systems in favour of iomap. These are platform-specific interfaces, not a definition that every page cache has Linux buffer heads or that every buffer cache has its own disjoint allocation. ^[ref]

The teaching implementation's bget checks device and block number under a shared spinlock, increments refcnt before releasing that lock, and then takes the buffer's content mutex. On a cache miss it reserves an unused structure and clears valid; bread fills it only if necessary. This makes lookup and reservation share one synchronization boundary. brelse releases the content mutex and decrements the reference count. Unlike the stipulated trace policy, it moves the structure to the recent end only when that decrement reaches zero. ^[ref]

This implementation has valid and refcnt but no generic dirty flag. Its file-system journaling code records modified blocks with log_write, pins each newly recorded block, copies cached contents to the journal during commit, and unpins after installing the committed contents at their final locations. Thus journal pins keep modifications resident after callers release them. Its eviction loop does not perform the generic dirty-victim buffer cache writeback of our model. ^[ref][ref]

Use one fixed-size buffered device block per buffer cache key, serialized operations, successful reads and writes, and no outside changes to the backing contents. Record an absent state or a reserved key with validity $v$, dirty flag $D$, and retained-reference count $r$. The bits $v,D$ describe contents, while the nonnegative integer $r$ describes lifetime. Every dirty buffer is valid, so $D=1$ implies $v=1$. Reservation begins at $(v,D,r)=(0,0,1)$; successful fill changes only $v$ to 1. Modifying a valid retained structure sets $D=1$. Releasing a caller changes $r$, not $v$ or $D$.

The first diagram separates contents transitions from reference transitions. Buffer cache writeback temporarily retains the structure while transferring its contents; that internal reference is acquired and released inside the single serialized operation shown. Buffer cache eviction requires a valid clean buffer with $r=0$. The diagram omits read errors, explicit cancellation of invalid reservations, concurrent writes, invalidation and journal ordering. In particular, a journal can forbid otherwise possible buffer cache writeback until its write-ahead logging dependencies are satisfied.

For a small independent check, bound $r$ to $0,1,2$. Starting absent, allow reservation, acquisition, successful fill, modification, successful buffer cache writeback, release of a valid retained structure, and eligible buffer cache eviction. Exactly nine abstract states are reachable: absent, two invalid reservations with $r=1,2$, and six valid states combining $D=0,1$ with $r=0,1,2$. Every transition preserves $D\le v$; the only eviction source has $(v,D,r)=(1,0,0)$. This bounded finite-state machine check supports these safety rules, not a claim that work always completes.

Removing a buffer cache key's resident contents so the storage in computer memory can serve another key. An unreferenced clean buffer can be reused directly in the buffer cache state model; an unreferenced dirty buffer requires successful buffer cache writeback first. A pinned buffer cannot be chosen regardless of cleanliness. LRU replacement ranks eligible candidates; it does not override lifetime protection. If every candidate is retained, a cache miss cannot obtain space until something releases a reference or capacity changes. This is a resource shortage, not permission to discard live contents.

Transferring a dirty buffer's current contents to its backing location. The buffer cache state model permits no concurrent modification during the transfer and marks the result clean only after successful completion. A failed write preserves the obligation and prevents the proposed buffer cache eviction. A production implementation allowing new writes during input-output must retain their obligation rather than incorrectly clearing it when an older transfer finishes.

A successful transfer can leave data in a device's volatile memory cache. A storage flush or the documented equivalent supplies a persistence boundary; file-system journaling supplies recovery rules for related updates. These are additional obligations, not consequences of becoming a clean buffer.^[ref]

A data structure holding the contents of one fixed-size region of a storage device, together with its buffer cache key, buffer cache validity, modification state and lifetime information. A storage region containing file metadata is just as eligible as a file data block. The structure can survive many callers: releasing it usually makes it available for later reuse, rather than immediately deleting the cached contents.

A charged brane couples to an appropriate differential-form gauge potential through its pullback. Under $A\mapsto A+d\Lambda$, a closed worldvolume changes the action by a boundary term, by Stokes theorem. Reversing the brane charge reverses this coupling, which matters in probe-force and supersymmetry calculations.

A relativistic membrane sweeps out a three-dimensional worldvolume with induced worldvolume metric $h_{ij}={\partial }_i{X}^m{\partial }_j{X}^n{\eta }_{mn}$. Its leading geometric action is tension times its invariant volume. In static gauge in four-dimensional spacetime, one transverse field $Y$ gives $h_{ij}={\eta }_{ij}+{\partial }_{i}Y{\partial }_{j}Y$, and the matrix determinant lemma gives $S=-T\int \sqrt{1+{\partial }_{i}Y{\partial }^{i}Y}$. Expanding supplies the translation-zero-mode kinetic term. A domain wall of finite thickness also has higher-curvature corrections outside the long-wavelength limit.

The four-dimensional minimal supersymmetric membrane has embedding coordinates $(X^m,{\theta }^{\alpha })$ with four real odd components. Its area term uses the supertranslation-invariant superspace coframe, and a Wess-Zumino brane coupling integrates a superspace three-form potential with closed four-form curvature. Equal charge magnitude and tension permit kappa symmetry. After worldvolume reparametrization and kappa fixing, one transverse scalar and one three-dimensional Majorana fermion remain. This gives the long-wavelength description of the translation and fermion zero modes of a supersymmetric domain wall; it is distinct from restricting the eleven-dimensional M2-brane to a four-dimensional target.

Flow separation occurs when near-wall fluid leaves the surface-following pattern of an attached boundary layer. An adverse pressure gradient, with pressure increasing along the external flow, decelerates the slow fluid near the wall particularly strongly. The near-wall velocity gradient can fall to zero and reverse, producing a recirculating region and a detached shear layer.

For a steady two-dimensional Newtonian fluid with no-slip boundary condition, zero wall shear stress is the classical local indicator at separation, although the full flow and geometry determine what happens next. Dye introduced near a wall or motion of surface tufts can reveal the change of flow direction; a velocity profile resolves it more quantitatively. A sudden expansion of a channel is a useful motivating geometry because fluid cannot immediately follow the receding wall. The detached region changes drag and mixing, and invalidates an attached-layer approximation continued through it.

A boundary layer in which turbulent velocity fluctuations transport momentum and scalars. A near-wall constant-stress region supports the law of the wall; buoyancy modifies it through Monin-Obukhov similarity theory. A viscous or roughness sublayer and an outer-layer scale bound the range of either approximation.

The leading momentum and mass equations in a thin laminar shear region with flow predominantly along a surface or jet axis. Longitudinal viscous derivatives are smaller than transverse ones, and pressure is supplied by the outer flow. The transverse velocity remains necessary for mass conservation and entrainment even when it is small compared with the axial velocity.

A plane laminar jet is a thin, approximately two-dimensional stream issuing into otherwise stationary fluid while viscosity transports streamwise momentum across the jet. The velocity is largest near the centre and decreases outward. A narrow slot spanning a large width approximates the geometry away from its side edges.

Let $U(x)$ be a characteristic axial velocity and $\delta (x)$ the jet width. A boundary-layer scaling balance gives $U{\delta }^2\sim \nu x$, where $\nu$ is kinematic viscosity. Constant momentum flux per span gives $\rho U^2\delta \sim \text{constant}$. Eliminating $U$ or $\delta$ yieldsThe jet therefore slows and broadens while retaining its axial momentum flux. It draws surrounding fluid into the stream, so its volume flux grows downstream. The Bickley jet supplies a specific similarity profile; transition to turbulence changes the assumptions behind this laminar result.

In a symmetric thin radial free jet, $F=\int r{u}_r^{2}dz$ is conserved by the conservative momentum equation. Balancing advection and viscosity gives thickness $\delta =Cr$, with $C=({\nu }^2/F{)}^{1/3}$. The normalized similarity streamfunction uses $A=(F^2/\nu {)}^{1/3}$ and $f=2k\tanh (k\eta )$, $k=(3/16{)}^{1/3}$, so $\int f^{\prime 2}d\eta =1$. The displayed velocity follows, and the thin-layer requirement is $F\gg {\nu }^2$.

An axisymmetric sink inside a cone has outer speed $U=-A/x^2$. With local distance $x$ along the wall and normal distance $y$, leading continuity is $u_x+u/x+v_y=0$ because the circumference is proportional to $x$. Balancing convection with normal viscous diffusion gives the displayed thickness. With streamfunction $\Psi =-\sqrt{A\nu }{x}^{1/2}F(y/\delta )$, $xu={\Psi }_y$ and $xv=-{\Psi }_x$, the similarity equation is $F^{\prime \prime \prime }-F{F}^{\prime \prime }/2+2(1-F^{\prime 2})=0$, with $F(0)=F^{\prime }(0)=0$ and $F^{\prime }(\infty )=1$. The displacement-flux correction scales as $\sqrt{A\nu }{R}^{1/2}$, and the corresponding outer velocity correction as $\sqrt{A\nu }{R}^{-3/2}$.

A steady attached laminar boundary layer with slip speed $u_t$ and downstream distance $s$ has thickness $\delta \sim \sqrt{\nu s/u_t}$. The wall shear is ${\tau }_w\sim \mu u_t/\delta$, giving the displayed scaling, where $\mu =\rho \nu$ is dynamic viscosity. Multiplying by a nearly constant wetted perimeter gives local drag per unit length proportional to $u_t^{3/2}{s}^{-1/2}$, and integration gives drag proportional to $u_t^{3/2}\sqrt{L}$. A force density weighted by $s^{1/2}$ instead produces $L^{3/2}$; it can be a separately prescribed phenomenological model but is not this local laminar shear law. Strong curvature, unsteadiness, separation or turbulent transition can invalidate the estimate.

A steady two-dimensional laminar jet driven by force $F$ per span has conserved momentum flux $\rho \int u^{2}dy=F$. The boundary-layer pressure gradient is zero. Balancing inertia and viscosity with this flux gives width proportional to $x^{2/3}$ and centre velocity proportional to $x^{-1/3}$. The streamfunction $(F\nu x/\rho {)}^{1/3}f(\eta )$, $\eta =y[F/(\rho {\nu }^2{x}^2){]}^{1/3}$, obeys $3f^{\prime \prime \prime }+(f^{\prime }{)}^2+f{f}^{\prime \prime }=0$. The displayed profile has $\int (f^{\prime }{)}^{2}d\eta =2A^3/9$, so momentum equality fixes $A$. Merely requiring independence of $x$ does not fix the amplitude. Entrainment makes volume flux $2A(F\nu x/\rho {)}^{1/3}$ grow downstream.

For a stationary flat plate in a Newtonian fluid, the streamwise shear stress exerted by the fluid on its upper face isThe sign here is positive when the fluid pulls the plate downstream; the plate exerts the opposite tangential traction on the fluid. In a Blasius boundary layer, ${\tau }_w\simeq 0.332057\rho U^2/\sqrt{{\mathrm{Re}}_x}$. A growing boundary layer thickness therefore accompanies decreasing local wall shear stress, because its near-wall velocity gradient becomes gentler. The formal divergence as $x\to 0$ is integrable, but that leading-edge limit lies outside the thin-layer hypothesis.^[ref]

The conventional boundary layer thickness ${\delta }_{99}$ is the normal distance at which the streamwise velocity first reaches $0.99U$ in a monotone velocity profile. A Blasius boundary layer approaches $U$ smoothly, so its apparent edge depends on the chosen percentage; there is no discontinuity. Solving $f^{\prime }({\eta }_{99})=0.99$ in the Blasius equation gives ${\eta }_{99}\simeq 4.910$, henceThe factor $4.910$ belongs to this definition, whereas the boundary-layer scaling specifies only order of magnitude. Near this edge the velocity changes slowly, making a threshold position sensitive to measurement error; displacement thickness and momentum thickness summarize the whole velocity profile.^[ref]