Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
The two-stage Gauss--Legendre Runge-Kutta method uses nodes , weights and coefficients , , . The Butcher order conditions give order four. Its stability function is the displayed rational function, which is A-stable. The algebraic stability matrix is zero, so positive weights also give nonlinear contractivity for dissipative vector fields.
For the convention , the action contains after integration by parts. Integrating the Nakanishi-Lautrup field gives . The Grassmann Gaussian integral represents the Faddeev-Popov determinant.
With a mostly-plus metric signature, , and gauge-fixing term , the free adjoint gauge-field kernel is . Inverting it gives the displayed Feynman propagator. This convention uses the same denominator and sign as a massless real scalar propagator.
The neutral pion has positive charge conjugation eigenvalue and its isospin half-turn has eigenvalue minus one. Hence the G parity eigenvalue is minus one. Since G parity commutes with isospin, both charged members have the same value. Charged-state phase changes alter individual charge-conjugation and rotation formulas together, leaving this eigenvalue unchanged.
A futures contract delivery quote below current spot for the maturity considered, or a falling futures curve across maturities. This spot comparison should be distinguished from comparisons with the future physical-measure expected spot.
Convergence in the displayed sense combines strong function convergence with weak-star convergence of derivative vector measures against tests. Strong convergence and a uniform variation bound imply the derivative convergence by integration by parts and uniform test-function approximation. Conversely the Uniform boundedness principle bounds the derivative measures of a convergent sequence.
For a bounded Lipschitz domain, functions can be extended with the displayed bound and common compact support. Reflect across local Lipschitz boundary graphs, combine the reflected functions with a partition of unity, and multiply by a fixed cutoff function. Lipschitz coordinate changes control derivative measures; the product rule bounds cutoff function terms by the norm. Zero extension is also possible with an estimate for BV traces on a hypersurface, but its boundary jump must be included in the variation.
For a smooth function, integrate its directional derivative along each segment of length and then integrate in space. This gives the displayed bound with . Smooth BV approximation and sequential lower semicontinuity give the same inequality for general functions in the BV space. Averaging it over a mollifier proves the BV mollification error estimate.
The functional is bounded in the uniform norm exactly when belongs to the BV space. Extend it from compactly supported smooth tests to , then apply the Riesz-Markov-Kakutani representation theorem to obtain the unique finite vector Radon measure . Its dual norm is the defining variation supremum. This representation should be distinguished from the deeper rectifiability results used in the decomposition of a BV derivative.
For a scalar function in the BV space, derivative variation is the integral of the relative perimeter measures of its superlevel sets. The formula holds on every Borel subset of the domain, not just for total mass. It converts the continuous ROF denoising problem into linked minimization problems for finite-perimeter sets.
An approximate mean limit of a function is a value satisfying the displayed condition. Functions in the BV space have such finite limits outside an approximate discontinuity set up to negligible sets in the appropriate measure. Their approximate jump points instead have two distinct half-ball limits.
Both functions represent the same equivalence class. Fubini's theorem shows that the interval-mass function has derivative , so its difference from is constant. Continuity of a finite measure gives left continuity for and right continuity for . Their opposite one-sided limits differ by the measure atom . There are only countably many nonzero measure atoms, since every set of measure atoms above a fixed magnitude threshold is finite.
For a BV space function, this is the set where no finite approximate mean limit of a function exists. Its difference from the jump set of a bounded-variation function has zero -dimensional Hausdorff measure.
A BV space function is approximately differentiable at almost every point with respect to Lebesgue measure. Its approximate gradient is the density of the absolutely continuous part of its distributional derivative. This does not imply membership in a Sobolev space.
A BV space function has two one-sided approximate mean BV traces on a hypersurface at almost every point of an oriented countably rectifiable hypersurface, with respect to Hausdorff measure. They agree outside its approximate discontinuity set. At an approximate jump point, they are the jump values, up to the choice of orientation.
For a BV space function , almost every restriction to a line parallel to has bounded variation on the corresponding domain slice. Directional derivative variation disintegrates as . Slice jump values agree with the appropriate oriented BV traces on a hypersurface for almost every crossing of a rectifiable jump surface. Integrating slice jump sums produces a surface integral with projection factor . Uniform essential bounds on the slices are not asserted for an unbounded function.
A Cauchy sequence in the BV space converges in to . For fixed sufficiently large , lower semicontinuity gives . The norm of the same difference converges, so the small full-norm Cauchy bound passes to . The triangle inequality then puts in the BV space and proves convergence in its full norm. This argument turns completeness of and lower semicontinuity of variation into completeness of the combined norm.
A porous sheet of thickness and permeability of a porous medium supplies a thin premelting film. The Darcy flow law equates water supply to ice growth for equal densities. With equal film and ice conductivities, negligible latent heat relative to the through-going conductive flux, and , phase equilibrium gives . The increasing gravitational load limits growth. A quasi-steady temperature field alone does not imply the negligible-latent-heat approximation.
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





