TheoremBase

A Linear Perturbation Producing a Sequentially Strict Maximum under a Coercive Bound

If a function with closed superlevel sets on a subset of a real Hilbert space is dominated by a constant minus a positive multiple of the squared norm, then subtracting a linear functional of arbitrarily small norm makes it attain a sequentially strict maximum.

Statement

In the setting of Real Hilbert Spaces: Standing Notation and Background, let HH be a real Hilbert space with inner product ⟨⋅,⋅⟩\langle\cdot,\cdot\rangle and norm ∣⋅∣|\cdot|, let AA be a nonempty subset of HH, and let Φ:A→R\Phi:A\to\mathbb{R} have closed superlevel sets in HH. Suppose there are C∈RC\in\mathbb{R} and a positive κ∈R\kappa\in\mathbb{R} such that

Φ(x)≤C−κ ∣x∣2for every x∈A.\Phi(x)\le C-\kappa\,|x|^{2}\qquad\text{for every }x\in A.

Then for every positive γ∈R\gamma\in\mathbb{R} there exist p∈Hp\in H with ∣p∣≤γ|p|\le\gamma and xˉ∈A\bar{x}\in A such that the function A→RA\to\mathbb{R} whose value at x∈Ax\in A is

Φ(x)−⟨p,x⟩\Phi(x)-\langle p,x\rangle

attains a sequentially strict maximum on AA at xˉ\bar{x}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…