Finitely determined functions (Q2656197): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 08:59, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finitely determined functions |
scientific article |
Statements
Finitely determined functions (English)
0 references
10 March 2021
0 references
Let \(E\) be an infinite dimensional Banach space equipped with a biorthogonal system \(\mathcal{E}=(e_{n},e_{n}^{\ast})_{n=0}^{\infty}.\) Associated to this system are the linear projections \(P_{n}:x\rightarrow P_{n}(x)=\sum \nolimits_{k=0}^{n}e_{k}^{\ast}(x)e_{k}.\) A function \(f:E\rightarrow \mathbb{R}\) is said to be finitely determined (respectively, inf-finitely determined) by the biorthogonal system \(\mathcal{E}\) if, for all \(x\) and \(a\) in \(E\), we have \(f(x)=\lim_{n\rightarrow\infty}f(a+P_{n}(x-a))\) (respectively, \(f(x)\geq\inf_{n\in\mathbb{N}}f(a+P_{n}(x-a)\)). According to Theorem 2.3, when \(E\) is a Banach space and the biorthogonal system \(\mathcal{E}\) is generated by a Schauder basis, then a convex function \(f:E\rightarrow\mathbb{R}\) is finitely determined by \(\mathcal{E}\) if and only if it is continuous. Outside the convex case there are lots of finitely determined nowhere continuous functions. A biorthogonal system \(\mathcal{E}=(e_{n},e_{n}^{\ast} )_{n=0}^{\infty}\) having the property that \(E=\overline{\mathrm{span}}(e_{n})_{n=0}^{\infty}\) is a Schauder basis if every convex function finitely determined by \(\mathcal{E}\) is norm continuous (see Theorem~2.9). The main result is Theorem 3.11 that gives a necessary and sufficient condition for an inf-finitely determined convex function to attain a minimum at some point. Several applications are included.
0 references
Schauder basis
0 references
convex optimization
0 references
finitely determined function
0 references
directional derivatives
0 references
Karush-Kuhn-Tucker theorem
0 references