research28 min studyLesson 752 in Physics

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

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.

EE0=∫dξ[12(ϕ′)2+12(Wϕ)2]=12∫dξ(ϕ′∓Wϕ)2±ΔW≥∣ΔW∣\frac{E}{E_0}=\int d\xi\left[\frac12(\phi')^2+\frac12(W_\phi)^2\right]=\frac12\int d\xi(\phi'\mp W_\phi)^2\pm\Delta W\ge|\Delta W|
W phi denotes differentiation with respect to phi, and delta W is W at positive infinity minus W at negative infinity. Choose the sign making the boundary contribution positive. The final inequality applies within the stated boundary sector.↔ Scroll wide equations horizontally.

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.

W=ϕ−ϕ33,ϕ′=1−ϕ2,ϕ=tanh⁡(ξ−X),EBPS=43E0W=\phi-\frac{\phi^3}{3},\qquad \phi'=1-\phi^2,\qquad \phi=\tanh(\xi-X),\qquad E_{\mathrm{BPS}}=\frac43E_0
The displayed branch has endpoints −1 and +1. BPS is used here as conventional terminology for saturation of this classical Bogomolny bound; supersymmetry has not been assumed.↔ Scroll wide equations horizontally.

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.

A kink that is too narrow

In this lesson’s model use the trial field ϕ=tanh⁡(kξ)\phi=\tanh(k\xi) and the integral ∫−∞∞sech⁡4u du=4/3\int_{-\infty}^{\infty}\operatorname{sech}^4u\,du=4/3. Find its energy for k = 2, compare with the bound, and identify the saturating k.

  1. The squared derivative is k2sech⁡4(kξ)k^2\operatorname{sech}^4(k\xi) and the potential is one half of the same sech factor without k squared. Changing variable to u = k xi gives E/E0=(2/3)(k+1/k)E/E_0=(2/3)(k+1/k).

  2. For k = 2 this is (2/3)(2+1/2)=5/3(2/3)(2+1/2)=5/3. The boundary bound is 4/3, so the excess is E zero/3 despite unchanged endpoints.

  3. The inequality k+1/k≥2k+1/k\ge2 for positive k is saturated at k = 1. That profile obeys the first-order equation and has energy 4 E zero/3.

The result

The k = 2 trial energy is 5 E zero/3, exceeding the bound by E zero/3. Saturation occurs at k = 1.

Explore the model

Interactive lab

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.

A square measures departure from saturationThis 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. Current readings: y at chosen x: 0.608; Tangent slope · 2ax: 1.35; Signed area · ax³/3: 0.182. All parameters are adjustable with the labeled controls below.−2.4−1.201.22.4−9−4.504.59xy(x, ax²)
y = ax²TangentSigned integral
y at chosen x
0.608
Tangent slope · 2ax
1.35
Signed area · ax³/3
0.182
t = 0 s

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.

Check your understanding

What is additionally required to show that a Bogomolny bound is attained for specified boundaries?

Try it yourself

Change the model to W=2(ϕ−ϕ3/3)W=2(\phi-\phi^3/3) 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 E≥(8/3)E0E\ge(8/3)E_0. Saturation requires ϕ′=2(1−ϕ2)\phi'=2(1-\phi^2), giving ϕ=tanh⁡[2(ξ−X)]\phi=\tanh[2(\xi-X)] and k = 2. At its center the derivative is 2, so the gradient contribution is 12(2)2=2\tfrac12(2)^2=2. The potential is 12[2(1−0)]2=2\tfrac12[2(1-0)]^2=2 as well. The narrower kink is now a solution because the potential changed; narrowing a profile at fixed potential was a different operation.

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.