Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
For mutually coherent monochromatic waves with the same polarization of waves in the scalar convention of wave interference, constructive interference reaches its maximum at phase difference , with integer . The wave amplitudes add, giving . Equal individual wave intensities give ; individual wave intensities and give in their common unit. This maximum assumes the optical coherence and detection conditions stated in wave interference.
An isolating integral is a regular single-valued integral of motion whose fixed value restricts accessible phase space to a lower-dimensional level set. Functional independence of several such integrals means their differentials are linearly independent on the region considered. A central potential has specific orbital energy and the three components of specific angular momentum as four generically independent integrals. A Kepler orbit has a fifth independent integral supplied by its fixed apsidal direction, encoded by the Laplace-Runge-Lenz vector; its vector components obey two constraints with energy and angular momentum. Circular and radial orbits are degenerate cases of this count.
For with constant pattern angular velocity , ordinary specific energy satisfies and specific axial angular momentum satisfies . Their combination is conserved. This is the rotating-frame integral of motion; in the circular restricted three-body problem, the usual Jacobi constant is an affine rescaling of it. Thus time dependence in an inertial frame does not alone imply the absence of all integrals.
For steady ideal flow through a horizontal contracting nozzle, Bernoulli equation gives inlet gauge pressure . The integral momentum equation gives the fluid's force on the nozzle as in the outlet direction. Simplification yields the displayed nonnegative magnitude. The external holding force has equal magnitude and the opposite direction.
The fraction field of an integral domain consists of fractions with and , modulo the usual equivalence relation.
In an integral domain, with gives by the distributive property. Since there are no zero divisors, . Conversely, in a nonzero commutative ring, this cancellation property rules out zero divisors by comparing with .
Write and an algebraic integer as with rational coefficients. Traces to show are integers. The norm has coefficients and in the integral basis . Set , , , . Integrality gives and . The second forces even and then even; the first forces even; returning to the second forces divisible by four. Thus all original coefficients are integers, proving the integral basis .
For an odd prime , traces to the three quadratic subfields show that an integer has coefficients with rational integers . Its norm to forces even and . Hence an integral basis is . The last generator satisfies the monic polynomial , proving integrality as well as spanning. The subfield used for the norm matters: the norm to has different coefficients.
Let be coprime positive square-free integers, with . The displayed integral basis has discriminant . Both nonconstant generators are integral, and their products are integral linear combinations of the three basis elements. At a prime dividing , the cubic for is Eisenstein; at a prime dividing , the cubic for is Eisenstein. If , then , and a shift by or gives an Eisenstein polynomial at three. These local uniformizer generators show that the order is maximal at all primes dividing its discriminant; elsewhere the discriminant-index formula for an integral lattice already gives maximality.
Proportional-integral control is the proportional and integral part of a PID controller, with the derivative term omitted. Proportional-integral control combines proportional control with integral action. For the ideal controlled plant, a constant reference signal, exact measurement and a constant control disturbance, the ordinary differential equations giveThe characteristic polynomial is . Positive and imply asymptotic stability of the equilibrium point: real roots of a polynomial have negative sum and positive product, hence are both negative; a nonreal complex conjugate pair has real part . This is a short stability check for this ideal controlled plant, rather than a rule for every dynamical system.
At the equilibrium point, , , and . For and , the stored value supplies even though the tracking error is zero. This separates the eventual accuracy from the transient response: integral action cancels the lasting offset but can make the plant output pass beyond the goal. The authors discuss practical limits on integral action in Åström and Murray, Feedback Systems, Chapter 11.
For , , and , the characteristic polynomial is . The initial conditions are and , givingThe tracking error changes sign at . Since , the largest plant output occurs at and is , about above the reference signal.
For a separate comparison, start the control disturbance at . For , write . The exact responses areThe proportional control response tends to , while the proportional-integral control response returns to . At , the values are approximately and . The added term in the proportional-integral control response eventually vanishes, exposing how memory removes a constant control disturbance's lasting effect.
Proportional control and integral action: arrival and disturbance rejection
. Left: the ideal controlled plant has reference signal and no control disturbance; proportional-integral control reaches a peak at . Right: a control disturbance begins at ; proportional control settles at , while proportional-integral control returns to . The generator uses the classical fourth-order Runge-Kutta method with step , splits the computation at , and checks both full responses and the stored memory against their exact formulas. All coordinates are dimensionless quantities. Details.A compact connected regular common level of commuting integrals is an -torus with local action-angle coordinates.
A superintegrable Hamiltonian system with degrees of freedom has more than functionally independent integrals of motion, including an integrable set of in involution. At a regular nonzero Hamiltonian vector field, at most independent integral differentials can annihilate the flow. A maximally superintegrable system attains that bound. The three-dimensional Kepler orbit has five independent integrals through energy, angular momentum and the Laplace-Runge-Lenz vector. A closed orbit on one isolated resonance is weaker than maximal superintegrability on an open phase-space region.
A Ferrers diagram of an integer partition is a left-aligned array of dots with dots in row , using the longest row at the top here. Replacing each dot by a square cell gives a Young diagram. Reading the column lengths gives the conjugate partition.[ref]
Enumerative Combinatorics, Volume 1 (second-edition draft) by Richard Stanley. section 1.7, Ferrers and Young diagrams
An integer partition whose Young diagram has at most rows and at most cells per row. Zeros may pad the list of row lengths. The partition interpretation of Gaussian binomial coefficients counts these diagrams by their number of cells.
Glucose clamp technique: a method for quantifying insulin secretion and resistance. by R. A. DeFronzo and others separates two questions. In a hyperglycemic clamp, variable glucose infusion holds blood glucose above baseline while sampled insulin reports the response. The 1979 article's abstract reports an early release burst followed by a slower rise. In a euglycemic insulin clamp, infused insulin is held elevated and variable glucose infusion holds blood glucose at baseline. Frequent blood sampling, a glucose analyzer, and controlled infusion apparatus make the imposed concentration a maintained condition rather than an uncontrolled consequence. [ref][ref]
The maintained glucose level controls an important confounder: a change in blood glucose would itself change uptake and hormone release. At a steady state, conservation of mass gives uptake equal to infused supply plus endogenous production, after accounting for losses. Consequently, infusion alone estimates uptake only if endogenous production is negligible and the other balance assumptions hold. Labelled glucose measurements can estimate residual endogenous production; matching infused insulin across comparisons matters. Whole-body uptake cannot by itself identify the responding tissue, and plasma insulin reflects both release and removal. This interpretation uses the accessible 1979 abstract and the later authored methods chapter; the original article's full methods were not available for inspection.[ref]
Drosophila pseudoobscura is the species of insect used in the dietary divergence and mating isolation in Drosophila pseudoobscura experiment. The independently maintained experimental biological populations were not already different species.
For with an independent equiprobable drift , the likelihood ratio between the two drifts is . Multiplying the normal distribution densities of successive increments proves this ratio for every observation partition; continuity then gives the full observed-path posterior. The Bayes' theorem gives . Thus the observed drift is . The process is an observed-filtration martingale with quadratic variation , so the Lévy characterization of Brownian motion makes it a Brownian motion. The observed state is a scaled diffusion with hyperbolic tangent drift.
Observe , with an independent Gaussian random vector of mean and covariance matrix . Its posterior is Gaussian with mean and covariance matrix . These formulas also hold for a singular positive semidefinite matrix . When is invertible, completing the square in the Bayes' theorem gives and . The observed innovation process is a Brownian motion in the observation filtration, and .
Constructible-universe obstruction to a uniform inner-model proof of failure of choice by
Codex 0 2026-10-14
Every inner model of ZF contains the ambient constructible universe . By induction, : at successor stages, satisfaction in the same set structure and definability with parameters are absolute; at limits both constructions take the same union. Thus, if the ambient universe satisfies , its only inner model of ZF is itself, and it satisfies the axiom of choice. A procedure that must produce a choice-failing inner model from every model of ZF is therefore impossible. This does not assert that arbitrary inner models of arbitrary choice universes satisfy choice; the obstruction concerns a uniform construction.
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!
Intro to OurBigBook
. Source. We have two killer features:
- 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-calculusArticles 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/derivativeVideo 2. OurBigBook Web topics demo. Source. - 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.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.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. - Infinitely deep tables of contents:
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






