← Back to article

Equation 6 · How Mathematics, Proof, and Scientific Computation Actually Work

What does this equation mean?

x^=arg⁡min⁡x  ∥Ax−b∥22+λ∥Lx∥22,\hat{x} = \arg\min_{x} \; \lVert Ax - b \rVert_2^2 + \lambda \lVert Lx \rVert_2^2,

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

Inputs and operationsargmin_x lVert Ax - b rVert_2^2 + λ lVert Lx rVert_2^2
Result or conditionhatx
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

x^\hat{x}

Symbol hatx

hatx is part of the quantity the equation computes from the expression on the right.

Understand this part →

xx

Symbol x

x is part of the quantity the equation computes from the expression on the right.

Understand this part →

AA

Symbol A

the forward projection operator.

Understand this part →

bb

Symbol b

the measured data.

Understand this part →

λ\lambda

Symbol λ

λ is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

LL

Symbol L

the penalty operator (often favoring smoothness).

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
addition

addition

Add the term after the plus sign to the term or group before it.

Understand this part →

subtraction

subtraction

Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

superscript

superscript

A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.

Understand this part →

See an illustrated explanation →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

Regularization is the standard mathematical answer: instead of solving the raw, ill-conditioned system, one solves a modified problem that trades a small, controlled amount of bias for a large reduction in the amplification of noise. Tikhonov regularization is the paradigmatic form, replacing the bare least-squares fit with a penalized objective x^=arg⁡min⁡x  ∥Ax−b∥22+λ∥Lx∥22\hat{x} = \arg\min_{x} \; \lVert Ax - b \rVert_2^2 + \lambda \lVert Lx \rVert_2^2. where A is the forward projection operator, b the measured data, L a penalty operator (often favoring smoothness), and λ\lambda > 0 a regularization parameter controlling the trade-off. As λ\lambda →\to 0 the solution approaches the raw, noise-amplifying least-squares fit; as λ\lambda grows the solution becomes smoother and more…
Read the full surrounding passage
Regularization is the standard mathematical answer: instead of solving the raw, ill-conditioned system, one solves a modified problem that trades a small, controlled amount of bias for a large reduction in the amplification of noise. Tikhonov regularization is the paradigmatic form, replacing the bare least-squares fit with a penalized objective x^=arg⁡min⁡x  ∥Ax−b∥22+λ∥Lx∥22\hat{x} = \arg\min_{x} \; \lVert Ax - b \rVert_2^2 + \lambda \lVert Lx \rVert_2^2. where A is the forward projection operator, b the measured data, L a penalty operator (often favoring smoothness), and λ\lambda > 0 a regularization parameter controlling the trade-off. As λ\lambda →\to 0 the solution approaches the raw, noise-amplifying least-squares fit; as λ\lambda grows the solution becomes smoother and more stable but increasingly biased away from the true structure. Neubauer’s analysis of Tikhonov regularization for nonlinear ill-posed problems established the convergence-rate theory that tells a practitioner how the regularization parameter should shrink as data quality improves in order for the regularized solution to actually converge to the true one, rather than converging to a fixed, permanently biased answer [ 9 ] . Choosing λ\lambda well — commonly via the discrepancy principle or an L-curve criterion — is itself a nontrivial estimation problem, and a poorly chosen λ\lambda can quietly produce a smooth, plausible-looking, and wrong reconstruction.

Read the equation in its article →

Sources cited in the surrounding passage

These citations give research context. Read each source to check which claims it supports.

Return to How Mathematics, Proof, and Scientific Computation Actually Work

See this formula across 1 published context →

Browse the mathematical compendium →