Use the direct method in the calculus of variations. The affine function is admissible with finite energy, and the energy is nonnegative since is even. Thus is finite. Choose a minimizing sequence with uniformly bounded energy. Then
The fixed value and the Cauchy-Schwarz inequality give and . Hence the sequence is bounded in and uniformly bounded and equicontinuous.
By reflexivity and the Arzelà-Ascoli theorem, pass to a subsequence with in and uniformly. The two limits coincide; uniform convergence also preserves , . Since all functions stay in a common bounded interval, uniform convergence gives uniformly, and therefore convergence of the potential integrals. The derivative term is lower semicontinuous for weak convergence, so
Admissibility gives . Thus
For a fixed-endpoint variation , the second variation is
where all coefficients are evaluated at . The notation means this is strictly positive for every nonzero admissible variation. This is pointwise positive definiteness of the quadratic form, not an assertion of a prescribed uniform lower bound.
Put
After integration by parts, the form is . Its Jacobi equation is
In the regular case on , a conjugate point to is a point for which a nonzero solution satisfies . Equivalently it is a zero of the normalized solution with , .
Under this regular Strengthened Legendre condition, the Jacobi positivity criterion is
The endpoint must be excluded as a conjugate point too. To prove necessity, suppose a Jacobi solution vanishes at and . Define on and zero on . It is a nonzero Lipschitz admissible variation, and
a contradiction. For completeness, the converse follows from the Jacobi identity for the second variation: when the normalized has no further zero,
The boundary contribution vanishes, including the limit at since has a simple zero and . Equality forces , and with forces .
Independently of regularity, positivity necessarily implies the ordinary Legendre necessary condition . If on an interval, localized rapidly oscillating test functions have a negative derivative contribution of order frequency squared, dominating the bounded zero-order term. This contradicts positivity.
The assumptions stated here do not themselves impose . That strengthened condition is a regularity hypothesis for the familiar Jacobi criterion, and is not necessary for strict positivity: the integrand gives with . For a criterion covering the full possibly degenerate class, use Regularized Jacobi criterion for a degenerate second variation. The following conditions are necessary and sufficient:
  • ;
  • for every , the regular equation has no conjugate point to in ;
  • the original weak Jacobi boundary problem has no nonzero Lipschitz solution with zero endpoint values.
These conditions are necessary because gives , so the regular criterion just proved applies; a weak Jacobi solution tested against itself would give . They are sufficient as well: the regular criterion gives for every , hence by letting . If , nonnegativity of for every real forces its mixed bilinear term to vanish for every test . This is precisely the weak Jacobi equation. The third condition then forces . Thus the criterion treats degeneracy without silently assuming the strengthened condition.

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