Define the hat matrix . It is symmetric and idempotent, the orthogonal projection onto the column space of . Since ,
The covariance is . This normal distribution can be singular when , since all fitted vectors lie in the -dimensional model subspace.
The least-squares estimator minimizes . Differentiating in gives , hence . Full column rank makes positive definite, so
This is a linear transformation of a multivariate normal distribution. Its mean is and its covariance is . Therefore .
For the linear test equation put . The second stage solves , and substitution into the update gives the stability function
A-stability requires no poles and throughout the closed left half-plane. If , the quadratic numerator gives unbounded magnitude as ; when the denominator is constant and the same conclusion holds. Thus is necessary. At this value , whose only pole is at positive . Moreover
on the left half-plane. Hence the method is A-stable exactly for . Its limit at negative infinity is , so it is not L-stable.
Use the stage solution continuous from as . Its displacement is . Taylor expansion of gives
Consequently the Runge-Kutta method advances by
The exact solution has third-order term . The first two orders agree for every real , but the coefficient is always instead of . Therefore the general nonlinear method has for every fixed real . The special value matches the linear test equation at third order but does not raise the nonlinear order. This is the two-stage Runge-Kutta family with an implicit second stage.
Put . The Lax pair becomes , , with
Equality of mixed derivatives, using invertibility, gives the zero-curvature condition . The terms quadratic in cancel. The terms linear in cancel because , and commutes with . For the constant term, the identities
cancel the differentiated term, leaving . Multiplying by proves
Once is known, its time dependence enters through the explicit exponential conjugation. The boundary relation and normalization form a linear problem for , and reconstructs the nonlinear solution. This is the requested linearization. Its disadvantage as an initial-value method is that it does not itself determine from a prescribed . The inverse scattering transform supplies that direct-scattering step, including any discrete spectral data and their pole conditions, before reconstruction. Solvability cannot be inferred merely from writing an arbitrary jump.
The coefficient of the first equation is . Substitution in the expression for gives . Decompose into diagonal and off-diagonal parts. Since , its off-diagonal part is . Thus
The commutator in the equation has zero diagonal; multiplication of two off-diagonal two-by-two matrices is diagonal. Combining the two parts proves
There is a literal inconsistency in the stated Riemann-Hilbert problem: a jump matrix tending to zero is incompatible with . Along the real axis the conjugating exponentials are unitary, so the right side of the jump tends to zero while the left side tends to . No normalized solution satisfies the printed decay condition. The intended condition is , or replacement of in the jump by when denotes its decaying part.
For this corrected problem assume a regular, invertible, pole-free solution, differentiable in , with the required expansion uniformly at infinity. These conditions matter: arbitrary jump data need not be solvable, and poles would contribute extra terms. Write and . Matching the nondecaying coefficients in the two differential expressions yields
The first expression makes off-diagonal.
These matches really establish the differential equations, rather than just formal identities. Let . It satisfies and . Differentiating consequently shows that
have matching boundary values. They therefore extend holomorphically across the contour. The chosen coefficients make both residuals at infinity. Their absence of poles and Liouville theorem imply , proving the required Lax pair under the corrected hypotheses. This is matrix NLS reconstruction from a normalized Riemann-Hilbert problem.
Put . For every polynomial of degree at most , has degree at most and vanishes at all nodes; thus . The monic degree- orthogonal polynomial for this integral is unique: the difference of two such monic polynomials has degree below and is orthogonal to itself, hence is zero. Consequently is the monic normalization of the degree- Legendre polynomial, proving the given nodes are exactly its roots. Together the three results characterize this Gaussian quadrature rule.
Apply exactness to the constant polynomial one. Its integral is two and its value at every node is one, so .
For each node define its Lagrange interpolation cardinal polynomial . Its square has degree and nodal values . Exactness therefore gives . The polynomial is nonzero, so continuity makes this integral strictly positive. Thus for every node.
If the first move is bad but the buyer misses exercise, the remaining European claim is worth , whereas the existing hedge is worth three. At that node rehedge the continuation claim: its stock holding is and its bank holding is .
Starting from the original short and bank balance five, short another share for eight, giving bank cash thirteen. Retain for the new hedge and withdraw as guaranteed time-one profit. At time two the retained bank grows to . If price is sixteen, covering the short costs and the put expires worthless. If price is ten, covering costs and the remaining five pays the put. Thus the profit does not depend on the second move. Investing the withdrawn profit at the riskless rate makes it at time two.
The terminal European put option payoffs are zero at forty-five, thirty-six and sixteen, and five at ten. At the good first node its value is zero. At the bad node its continuation value is , below the exercise payoff three, so optimal exercise occurs there. At time zero the continuation value is , exceeding the immediate payoff zero.
To hedge one sold American put option, short of a share and put four in the bank at time zero. The portfolio costs , exactly the premium. At time one the bank holds five. After a good move the short position costs five to close, exhausting the portfolio and liability. After a bad move it costs two to close, leaving three for the exercised put. Thus after two bad periods the rational buyer already exercised at time one, and the hedge pays three and closes then; there is no remaining time-two obligation. Physical delivery gives the same accounting by immediately selling the stock received on exercise.
At gross rate , the conditional up probabilities of the equivalent martingale measure are
All lie strictly between zero and one. The four terminal path probabilities are in the order good-good, good-bad, bad-good, bad-bad.
At the node with stock price thirty, both possible next prices exceed thirty-three, the value of thirty invested at gross rate . Take no position at time zero. If the first move is good, borrow thirty at time one and buy one share; if it is bad, do nothing. At time two sell the share for forty-five or thirty-six and repay thirty-three, leaving twelve or three. The strategy has zero initial cost, no possible loss, and positive profit on the good first move, so it is an arbitrage.
Working with measurable functions modulo equality almost everywhere, the sequence is Cauchy in Lp space if for every there exists such that for all . This is a statement about integral norm distance, not pointwise convergence. Without quotienting null functions the displayed quantity is a seminorm, so the conventional normed space uses these equivalence classes.
Because and the original smooth closed curve has periodic Frenet data, is a continuous real-valued periodic function. Therefore . The simple closed normal curve divides the sphere into two disks by the Jordan theorem. Apply Gauss-Bonnet theorem to either disk, choosing its consistent boundary orientation. Its Gaussian curvature is one and its total boundary curvature remains zero. Thus each region has area , proving the two regions have equal area.
Let be the Frenet frame of the original space curve, with , , . Put . The normal-indicatrix arc-length satisfies , and its unit tangent is . On the unit sphere its outward normal is , and .
Differentiate in . The derivative of is parallel to and contributes nothing to its projection onto . The remaining derivative is , giving
With the alternative left-normal signed-curvature convention the displayed scalar changes sign, while the area conclusion is unchanged.
For an oriented surface normal and a unit-speed curve tangent , take signed geodesic curvature . This convention uses boundary orientation with the region on the right; reversing to the usual left-hand boundary convention reverses both orientation and the corresponding curvature convention. With positive orientation consistent this way, the Gauss-Bonnet theorem for a region with piecewise smooth boundary is
For a disk with smooth boundary there are no corner terms and . Stating the signed convention is necessary to reproduce the sign in part (ii).
Put and induce the characters of . Since is normal, the induced value outside is zero, while at it is . The nonzero split into the two doubling orbits, so the two distinct induced characters have class values
where and . Summing seventh roots gives , and multiplication gives , hence . Their character norms are , proving irreducibility. Together with the three degree-one characters, the sum of squared degrees is . Thus these are all the remaining irreducible characters.
For a character of a representation of , the induced character is
The sum is zero when no conjugate of meets .

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