Expanding at large positive gives , so
The branch is strongly gapped and relatively flat, with width approaching against a mean energy of order . These are field-polarized spin-flip quasiparticles with a small relative exchange modulation. Averaging the expansion over momentum also gives .
At zero field, and for every . The Ising-chain quasiparticle dispersion is flat: the bulk quadratic excitation costs no momentum-dependent energy. In spin language these are domain-wall excitations. A periodic finite spin configuration has an even number of domain walls, so the single bulk quasiparticle energy does not imply an allowed isolated one-wall spin state; the first such closed-chain spin excitation costs .
For any degree-at-most- trigonometric polynomial , linearity and reproduction give
The operator norm bound in the preceding part yields
Take the infimum over all such trigonometric polynomials. By the definition of best uniform approximation,
No choice of a minimizer is needed for this argument. It is an instance of the polynomial reproduction error bound: a bounded linear reproducing operator has error at most times the optimal error.
The indexing of the Fejér sums gives
Subtracting removes precisely the initial Fourier partial sums. Thus
For , omit the second term, so that no undefined is needed. Apply the triangle inequality and the uniform-norm contraction of Fejér summation estimate to get
Hence the operator norm of the de la Vallée Poussin sum is at most .
Let be a positive integer and let the trigonometric polynomial have frequencies only in . For every , its Fourier partial sum is the polynomial itself: . Every term in the defining average of the de la Vallée Poussin sum therefore equals , giving
This is exact reproduction of the degree-at-most- trigonometric polynomials, irrespective of the positive averaging length .
For no central accretion, and
This nonaccreting constant-torque disk has a finite inner stress and normally a nonzero inner surface density. An external inner torque supplies the angular momentum transported to an outer sink, although mass does not flow. If both this zero-mass-flux condition and a zero inner torque are imposed, ; there is no nontrivial positive-viscosity steady disk satisfying both.
For a zero-torque inner boundary condition at finite ,
With positive finite inner kinematic viscosity, tends to zero there. At fixed nonzero inward mass flux, the corresponding becomes large, signaling the breakdown of the nearly circular thin disc approximation in the inner transition region.
For marginal utility pricing with proportional transaction costs, if almost surely or almost surely, the source's second alternative holds. Otherwise and . The Fatou lemma argument now gives at both ends, since a large positive holding loses on the first event and a large negative holding loses on the second. Let be a finite maximizer.
If , set . The derivative condition gives . As before, split according to to obtain integrability of from the absolutely integrable derivative, with a compact-set bound on the complement. If , use and obtain . In either case normalize ; then , , and is absolutely integrable.
If , a concave maximum has , so . Choose . In every case of this first alternative, . The normalization establishes a stronger, economically meaningful statement than the literal unnormalized condition: the expected gain under the resulting density lies inside the transaction-cost spread.
On each open half-line the sample objective is a utility of a linear gain: on the positive half-line, and on the negative half-line. On a compact subinterval wholly inside either half-line, the secant domination argument from the frictionless part ii applies verbatim, using finiteness of at four surrounding points. The dominated convergence theorem therefore gives the derivatives
They are continuous on their respective half-lines. Near zero, the same outer secants of the globally concave sample objective bound its one-sided slopes. Dominated convergence consequently gives
Here : the frictionless derivative at zero already proves it, since . Thus zero generally has a transaction-cost kink; when the two formulas agree.
Under a proportional transaction cost, the sample gain is concave when . The utility function is increasing and concave, so
Take finite expectations. Thus . The monotonicity of is essential to composing it with the concave transaction-cost payoff.
Among patients still alive at the same time after surgery, chemotherapy has an estimated lung-cancer death rate 3.71 times that of radiotherapy, assuming proportional cause-specific hazards. The estimated 95% confidence interval for this hazard ratio is . Thus the fit suggests a higher instantaneous lung-cancer death rate on chemotherapy, with appreciable uncertainty in its size.
The null hypothesis of no treatment effect on that hazard is against . Its Wald test uses , approximately standard normal under the null hypothesis, with two-sided . This is evidence against equal lung-cancer death hazards in the fitted model. It is not a statement that five-year lung-cancer death probability is multiplied by 3.71 or that survival duration is divided by 3.71. The cumulative incidence function depends on both cause-specific hazards, and the model needs proportional-hazards and independent observation-censoring assumptions. In a randomised comparison the assigned treatment contrast is protected against baseline confounding, but the instantaneous comparison concerns the groups who have survived to the time in question; it does not identify a treatment effect within a common latent survivor subgroup.
Every regular radial solution has outward normal derivative , which is nonzero since . Therefore there is no solution with the stated homogeneous Neumann boundary condition. This also follows without imposing spherical symmetry: the compatibility condition from part (i) would require
which is impossible. Thus the full-ball Poisson equation has no classical solution for these boundary data, radial or otherwise. A singular term could formally cancel the derivative at , but would introduce a source at the origin and violate the problem's equation there.
The Dirichlet boundary condition gives , so the unique radial solution is
Its radial Laplacian is one, it is smooth at the origin, and its boundary value is zero. The uniqueness result in part (i) shows that this is also the only solution among all classical functions on the ball, not merely among spherically symmetric ones.
The symmetry between the last two coordinates gives the eigenvector with eigenvalue . On vectors , the remaining eigenvalue equation is
whose characteristic polynomial is . Corresponding eigenvectors are and . Thus all eigenvalues and eigenspaces are
Nonzero scalar multiples give all eigenvectors in each eigenspace. The three displayed vectors are mutually orthogonal and have squared norms , respectively.
For any fixed real , the ratios between consecutive nonzero terms in the absolute-value series are
and
The ratio test proves absolute convergence of both power series at every such ; convergence at zero is immediate. Both radii of convergence are therefore . Applying the test to the nonzero terms avoids the undefined coefficient ratios caused by alternate zero coefficients when these are viewed as full power series in .
For a series with , suppose exists, allowing . The ratio test says the series converges if and diverges if . In the first case an eventual ratio bound by some compares the tail to a geometric series. In the second case an eventual ratio above some prevents the terms tending to zero.
If , the test is inconclusive: both and have limiting ratio one, while the first diverges and the second converges. If the ratio has no limit, this particular limit formulation gives no conclusion.
Let be a complete discrete valuation ring of residue characteristic of a field , with maximal ideal , and let be a one-dimensional formal group law over . Its multiplication series is . If , the invertible morphism criterion for formal group laws constructs its inverse with coefficients in . Both formal power series converge on , since their coefficients are integral and the powers of an element of tend to zero. Their compositions are the identity there. Thus multiplication by is bijective, including when and is odd. Every finite-order element of consequently has order of a group element equal to a prime power with prime .
At any point of a Hermitian holomorphic vector bundle one may choose a holomorphic local frame with and . First normalize by a constant frame change, then prescribe a holomorphic matrix's first jet to cancel . The Chern matrix vanishes there. This frame reduces first-order bundle identities at that point to scalar identities.
For the Hermitian Lefschetz operator on a complex -manifold, the Lefschetz commutator and the commutator derivation identity imply this formula. When expanding a product commutator, one must evaluate on the degree after the powers of to its right have acted.
Suppose an elliptic curve has all four geometric 2-torsion points rational. For choose with . The function takes values in and is a group homomorphism from the absolute Galois group to : its usual cocycle law becomes additivity because the action on is trivial. Replacing by another half, or by with , leaves it unchanged. Adding chosen halves proves additivity in . Its kernel in is zero, since precisely when the chosen half is rational. This constructs the injective map directly, without assuming any theorem of two-descent on an elliptic curve or finite generation of the Mordell-Weil group.

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