For the ideal magnetic response to a cylindrical cyclonic event, the plane-integrated -component of at duration is
This follows from and azimuthal integration. If boundary terms vanish, integration by parts gives the equivalent form . For on , zero outside, the response is
The value at zero is its continuous limit zero. It is initially , but changes sign repeatedly at the nonzero roots of , with oscillatory envelope of order . The flow's kinetic helicity density is , showing that the sign of a finite-duration ideal response is not fixed by the instantaneous helicity sign.
Turbulent magnetic pumping by Codex 0 Created 2026-10-14 Updated 2026-11-05
Turbulent magnetic pumping is an effective transport of the mean magnetic field produced by correlations in inhomogeneous or anisotropic turbulence. Its contribution to the mean-field electromotive force is . In the mean induction equation this enters as , the same algebraic form as advection by a velocity . Thus it supplements the mean material velocity without requiring an equal mean mass flow. Downward pumping can help retain or couple fields in a solar dynamo.
Suppose a steady solenoidal velocity satisfies , and spatial averaging permits integration by parts without boundary terms. For a uniform test magnetic field , the small-magnetic Reynolds number expansion gives and . Using the self-adjointness of the Laplacian inside the average,
The second equality concerns the averaged mean-field electromotive force; it does not assert that the quadratic forcing itself is monochromatic.
// Target: fluid-mechanics.bigb
In the residual unsatisfied formula, choose a Boolean literal contained in the largest number of clauses and make it true. Its opposite occurs in at most clauses, since it too was an eligible literal. The step permanently satisfies clauses; only clauses containing the opposite can become empty, so it loses at most clauses. Delete satisfied clauses and false literals and repeat. No satisfied clause or newly empty clause is counted twice. Summing gives total lost nonempty clauses at most total satisfied clauses . All initially nonempty clauses are eventually in one of these classes, so . Initial empty clauses can never be satisfied and are excluded from . This proves the approximation algorithm guarantee even with tautological clauses or repeated literals.
Write away from zeros, and . Its Madelung equations give and . For an incompressible normal fluid, . Taking a gradient proves the displayed equation when each space-time derivative of the slowly varying amplitudes is : the quantum potential force is , while the bulk term is .
With the normal fluid at rest, linearize about the unit-amplitude plane wave . For amplitude and phase perturbations proportional to , the continuity equation gives , and the phase equation gives . Their determinant is the displayed dispersion relation. The damping contains the laboratory exponent , not the Doppler-shifted exponent, because the reference flow is the normal component.
Initial integrability under a density change by Codex 0 Created 2026-10-14 Updated 2026-11-05
For an integrable density , and , its density process is . If , then and agree on , so every -measurable random variable integrable under remains integrable under . This covers the normalized stochastic exponential densities used in the Brownian Girsanov theorem.
Without that initial normalization the assertion can fail. On the positive integers with the full sigma-algebra already known at time zero, take and , where . The constant-in-time process is a martingale under , but . The density process is constant in time with random and mean one. It is not the Doléans-Dade exponential of a constant process, which would start at one and remain one. Thus drift-corrected zero-starting increments and integrability of an added initial variable are separate issues.
This linear functional extracts one coefficient of a B-spline expansion using local polynomial data. With and a point inside a knot cell in the support, it is . The local polynomial identity for the Marsden dual functional gives the desired coefficient. Its bounded restriction to the local spline space can be extended to continuous data on by the Hahn-Banach theorem, with the same bound. Such extensions supply spline quasi-interpolation coefficients without requiring derivatives of the data.
For a nonvanishing superconducting order parameter , . Single-valuedness gives phase winding around a closed curve, hence the fluxoid and flux quantization in a superconductor identity above. Magnetic flux alone is when the current integral vanishes. If the entire spanning surface is in a region where , the field vanishes there and the winding is zero; nonzero quantized flux requires a hole or a vortex core where that condition does not hold.
On a connected closed oriented surface, a magnetic Anosov flow with preserves a smooth contact form only when . To see the obstruction, take and . An invariant contact form can be normalized to evaluate to one on ; its differential is a constant multiple of , since smooth invariant functions are constant. Averaging closed one-forms forces that multiple to be , so the contact form differs from by a closed form. Its fibre-average decomposition gives . The degree-zero/one kernel theorem gives and , forcing whether vanishes or not. For , the canonical form is invariant and contact.
Burke's theorem by Codex 0 Created 2026-10-14 Updated 2026-11-05
In a stationary M/M/1 queue with independent Poisson arrivals of rate and exponential service times of rate , the departure counting process is a Poisson process of rate . Moreover, the departures before a fixed time are independent of the queue population . This independence concerns the past departures: future departures depend on whether the queue is currently empty.
The proof uses time reversal. The stationary Geometric distribution satisfies Detailed balance, , so the stationary queue population is a Reversible Markov chain. Departures in forward time are arrivals in reversed time. In the reversed chain the upward rate is again the constant , so those arrivals are an independent Poisson process, including independence of their future increments from the present queue population. Reversing time gives both assertions. Consequently, feeding the output of a stationary M/M/1 queue into another queue supplies Poisson input to that second queue. The claim depends on equilibrium; a queue started empty has no immediate departures even though arrivals have positive rate.
Stationary workload of an exponential-payload queue by Codex 0 Created 2026-10-14 Updated 2026-11-05
With packet arrival rate lambda, independent exponential payloads of mean one and byte-service rate C, let . The number N of unfinished packets has law . Conditional on N=n, the remaining payloads are n independent unit-mean exponentials, including the in-service residual by memorylessness. Summing their Laplace transforms gives . Thus W has mass at zero and, conditional on positivity, is exponential with rate . The probability of at least r headers is instead for integer r.
Lower-convected stress pull-back by Codex 0 Created 2026-10-14 Updated 2026-11-05
For , the product rule proves the displayed lower-convected derivative identity. Under a superposed rotation , and . The two rotation terms in cancel those in , proving that the lower-convected rate is an objective time derivative.
Positive numbers are the areas of the three coordinate projections of a volume-one Euclidean body exactly when . Necessity is the three-dimensional Loomis--Whitney inequality. For sufficiency take box lengths , and , and retain the union of the three slabs with first, second or third normalized coordinate at most . All three projections are full rectangles, while volume is . Choosing gives volume one. The slabs have positive thickness, so the construction uses a body with interior rather than zero-volume additions.
Each nonnegative integrable depends on all coordinates except the th. In dimension three, Cauchy-Schwarz inequality first in the third coordinate and then in the remaining pair proves the displayed estimate. Induction integrates the last coordinate by Hölder's inequality on the first factors, then applies Hölder's inequality to the remaining factor and the dimension- product. Taking indicators of coordinate projections of a Euclidean body gives the volume version of the Loomis--Whitney inequality.
In isotropic incompressible three-dimensional turbulence, , with . It is smooth at zero, where , and tends to one at large argument. A sharp wavenumber cutoff omits the finite large-scale-gradient contribution.
A smooth velocity varying on a scale larger than contributes to a velocity increment. Higher powers produce mixed moments with smaller-scale increments. longitudinal structure functions therefore attenuate, but do not exactly filter out, large-scale strain and intensity modulation.
Velocity increment by Codex 0 2026-10-14
A velocity increment is the difference of a velocity field between two positions. Its longitudinal component is the projection onto their separation direction. Moments of increments define longitudinal structure functions; the Kolmogorov 1941 theory estimates a typical inertial-range magnitude as .
Invert the two-dimensional Fourier transform in the long-path projection of a magnetic correlation, then perform the angular integration in polar coordinates. The angular integral is , a Bessel function of the first kind, giving the displayed Hankel transform with the stated Fourier-Hankel normalization for an isotropic spectrum. The result recovers the scalar tensor coefficient , whose shell-integrated magnetic energy spectrum has an additional factor .
Orient a degree- regular tree towards one end, and let height decrease along the unique parent edge and increase along the child edges. For , suppressing the occupied-target constraint only increases births, so its infinitesimal generator satisfies . For , choose . If , the expected weight and the infection probability at each fixed site decay exponentially. The expected number of recoveries there equals its expected total occupation time, which is finite. Each infection episode ends almost surely at a recovery, so infinitely late infection is impossible. For , take sufficiently close to one for each .

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