Bogomolny bounds and first-order equations
Complete an energy functional into a nonnegative square and boundary term, then distinguish a bound from existence and saturation.
On this page
The question for today
What you’ll understand
- Derive a boundary energy bound from a declared superpotential.
- Determine the sign of the saturating first-order equation.
- Test a trial family and distinguish inequality, existence, and supersymmetric protection.
Some nonlinear static field problems admit a useful reorganization: energy becomes a sum of nonnegative squares plus a term fixed by boundary data. The resulting Bogomolny bound can identify a minimum-energy solution without first solving the full second-order equations. Saturation nevertheless requires a solution of the first-order equations with the prescribed boundaries. We will derive that logic in a scalar model, examine a family with an adjustable width, and explain why a classical square completion does not automatically imply supersymmetry or quantum protection.
Choose a potential compatible with a square
Use a real dimensionless scalar field, dimensionless coordinate xi, and positive energy unit E zero. Define a real function W of the field and choose potential one half the square of its field derivative. This is a deliberately specified model class. For this lesson take W equal to phi minus one third phi cubed. Its potential is one half of one minus phi squared, squared: the coefficient differs from the preceding lesson’s potential, so its kink width and energy will also differ.
Expanding the square of the spatial derivative minus or plus the derivative of W reproduces the gradient and potential terms. The remaining cross term integrates to the endpoint difference of W by the chain rule. The square is nonnegative for real fields and positive spatial metric, giving the energy bound. This argument uses a static energy, not the oscillatory Lorentzian action; an arbitrary action saddle need not be an energy minimum.
Saturation is an additional equation
For an increasing field from minus one to plus one, delta W is positive and the saturating equation is phi prime equal to W phi. With the chosen W, this gives phi prime equal to one minus phi squared and solution tanh of xi minus X. Substitution into the second-order Euler–Lagrange equation verifies that the first-order solution is a static solution. The converse is not automatic for an arbitrary stationary configuration or a different boundary problem.
The boundary difference is four thirds, so the minimum energy is four thirds of E zero if the saturating solution exists. Reversing the endpoints changes the first-order sign and leaves the energy bound positive. A bound can remain valid even when no field satisfying the chosen first-order equations exists. In higher-dimensional systems, compatibility of all first-order equations, flux constraints, and boundary data makes this existence question particularly important.
A trial profile exposes the energy penalty
Consider the trial family tanh of k xi for positive k. All members share the same endpoints, but only the unit-width member satisfies this model’s first-order equation. Increasing k raises gradient energy while decreasing integrated potential energy, and decreasing k reverses the trade. Integrating the fourth power of the hyperbolic secant yields an energy proportional to k plus its inverse, whose minimum occurs at one. This explicitly separates topological sector from being the sector’s minimum.
Square completion can extend to vortices, monopoles, and Euclidean gauge instantons, but each theory has its own normalization and special coupling conditions. A generic deformation of the potential can destroy the simple first-order equations while leaving a stable soliton. Quantum corrections may shift a classical mass unless additional symmetry and a properly defined quantum charge constrain them. One should identify which conclusion follows from a classical inequality, which from an existence theorem, and which requires a separate quantum argument.
Work it through
A kink that is too narrow
In this lesson’s model use the trial field and the integral . Find its energy for k = 2, compare with the bound, and identify the saturating k.
The squared derivative is and the potential is one half of the same sech factor without k squared. Changing variable to u = k xi gives .
For k = 2 this is . The boundary bound is 4/3, so the excess is E zero/3 despite unchanged endpoints.
The inequality for positive k is saturated at k = 1. That profile obeys the first-order equation and has energy 4 E zero/3.
The k = 2 trial energy is 5 E zero/3, exceeding the bound by E zero/3. Saturation occurs at k = 1.
The living notebook
Explore the model
Interactive lab · function
A square measures departure from saturation
Interpret x as a schematic residual of a first-order equation. Reset, set Coefficient a = 0.5 and Position x = 0, and predict zero quadratic cost. For a fresh run Reset, set a = 0.5 and x = 1, and predict cost 0.5.
- y at chosen x
- 0.608
- Tangent slope · 2ax
- 1.35
- Signed area · ax³/3
- 0.182
This lab uses only y = ax². Playback traces the curve within the fixed integration interval from 0 to x; it does not estimate numerical error or change the chosen point. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forThe instrument illustrates a nonnegative square only. It does not integrate a field energy, evaluate a boundary charge, solve a Bogomolny equation, or demonstrate that a saturating configuration exists.
Pause & reason
Check your understanding
Your turn
Try it yourself
Change the model to with the same endpoints −1 and +1. Find the bound, the increasing first-order equation, its kink inverse-width k, and the central gradient and potential energy contributions.
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
The boundary difference of W doubles, while W phi also doubles in the first-order equation.
Compare with the solution
The bound is . Saturation requires , giving and k = 2. At its center the derivative is 2, so the gradient contribution is . The potential is as well. The narrower kink is now a solution because the potential changed; narrowing a profile at fixed potential was a different operation.
Keep the idea
Take it with you
- A square completion separates nonnegative bulk energy from a boundary contribution.
- Saturation requires first-order equations and compatible boundary conditions.
- Classical BPS saturation alone does not establish supersymmetry, quantum protection, or a solution in another theory.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.