TheoremStatement: Literature-sourcedProof: AI-adaptedprecheck passaudited 2026-08-31

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

For every $λ > 0$ , the Tikhonov objective is strictly convex and has the unique minimiser $(A^{} A + λ I)^{- 1} A^{} b$

Statement

Let $F \in {R, C}$ , let $A \in M_{m \times n} (F)$ , let $b \in F^{m}$ , and let $λ \in R$ satisfy $λ > 0$ . Then the Tikhonov objective

$J_{λ} (x) = ∥ A x - b ∥_{2}^{2} + λ ∥ x ∥_{2}^{2}$

is strictly convex and has the unique minimiser

$x_{λ} = (A^{*} A + λ I)^{- 1} A^{*} b .$

Facts & Assumptions

Given: A matrix $A \in M_{m \times n} (F)$ , a vector $b \in F^{m}$ , and a real parameter $λ > 0$ , where $F \in {R, C}$ .

[L1]

The regularised objective is $J_{λ} (x) = ∥ A x - b ∥_{2}^{2} + λ ∥ x ∥_{2}^{2}$ (The Tikhonov regularised least-squares objective $∥ A x - b ∥_{2}^{2} + λ ∥ x ∥_{2}^{2}$ for $λ > 0$ ).

[L2]

$A$ admits a singular value decomposition $A = U Σ V^{*}$ (Every linear map between finite-dimensional real or complex inner product spaces admits a singular value decomposition).

Proof

technique · direct

1.1

By [L2], write $A = U Σ V^{*}$ and set $x = V y$ and $\hat{b} : = U^{*} b$ . Since $U$ and $V$ are unitary, $J_{λ} (V y) = ∥ Σ y - \hat{b} ∥_{2}^{2} + λ ∥ y ∥_{2}^{2} .$

L1L2algebra

2.1

If $σ_{1}, \dots, σ_{r}$ are the nonzero singular values, then step 1.1 becomes $J_{λ} (V y) = \sum_{i = 1}^{r} ∣ σ_{i} y_{i} - {\hat{b}}_{i} ∣^{2} + \sum_{i = r + 1}^{m} ∣ {\hat{b}}_{i} ∣^{2} + λ \sum_{i = 1}^{n} ∣ y_{i} ∣^{2} .$ Each variable $y_{i}$ appears in a one-variable quadratic with positive coefficient $σ_{i}^{2} + λ$ or $λ$ , so the objective is strictly convex.

step 1.1algebra

3.1

Minimising coordinatewise gives $y_{i} = \frac{σ_{i}}{σ_{i}^{2} + λ} {\hat{b}}_{i} (1 \leq i \leq r), y_{i} = 0 (r < i \leq n) .$ Equivalently, $y = (Σ^{*} Σ + λ I)^{- 1} Σ^{*} \hat{b} .$

step 2.1algebra

4.1

Returning to $x = V y$ and using $A^{*} A = V Σ^{*} Σ V^{*}$ , one gets $x_{λ} = V (Σ^{*} Σ + λ I)^{- 1} Σ^{*} U^{*} b = (A^{*} A + λ I)^{- 1} A^{*} b .$

L2step 3.1algebra

5.1

Step 2.1 proves strict convexity and step 4.1 gives the unique minimiser.

step 2.1step 4.1∎

Depends on

Used by

Tikhonov regularisation scales each singular component by the filter factor σ/(σ²+λ) Proposition

Dependency tree · two levels

7 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

Stanford CS205L, Unit 12: Regularization (standard reference, not scraped)
Andrew Stuart and Jochen Voss, Matrix Analysis and Algorithms (standard reference, not scraped)

For every λ>0λ>0, the Tikhonov objective is strictly convex and has the unique minimiser (A∗A+λI)−1A∗b(A∗A+λI)−1A∗b