Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Mathematics
A collection of informal reports and seminars
Edited by A. Dold, Heidelberg and B. Eckmann, ZiJrich
257
Richard B. Holmes
Purdue University, Lafayette, IN/USA
A Course on
Optimization and
Best Approximation
Springer-Verlag
Berlin-Heidelberg • NewYork 1 972
A M S S u b j e c t Classifications (1970): 41-02, 41 A 50, 41 A 65, 4 6 B 9 9 , 4 6 N 0 5 , 49-02, 4 9 B 30, 9 0 C 2 5
I S B N 3-540-05764-1 S p r i n g e r - V e r l a g B e r l i n • H e i d e l b e r g • N e w Y o r k
I S B N 0-387-05764-1 S p r i n g e r - V e r l a g N e w Y o r k • H e i d e l b e r g • B e r l i n
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned,
specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine
or similar means, and storage in data banks.
Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher,
the amount of the fee to be determined by agreement with the publisher.
@ by Springer-Verlag Berlin * Heidelberg 1972. Library of Congress Catalog Card Number 70-189753. Printed in Germany.
The course for which these notes were originally prepared was a
linear systems (§'s 34-3S). Indeed, the bulk of the notes is devoted
of such problems.
deep results. I feel that all the topics in Part V might have
It is my hope that the present notes can serve as the basis for
approximation covering Part III, §'s 31, 32, and perhaps 19 and 35,
Part If, ~33 (note that 33b) contains a proof of Valadier's formula
thank Mrs. Nancy ~berle and Mrs. Judy Snider for their competent and
Part I. Preliminaries . . . . . . . . . . . . . . . . . . . .
51. Notation . . . . . . . . . . . . . . . . . . . . . . 1
§2. The H a h n - B a n a c h Theorem . . . . . . . . . . . . . 2
§S. The Separation Theorems . . . . . . . . . . . . . . 4
§4. The A l a o g l u - B o u r b a k i Theorem . . . . . . . . . . . . 7
§5. The K r e i n - M i l m a n Theorem . . . . . . . . . . . . . . 8
§lB. Polarity . . . . . . . . . . . . . . . . . . . . . . 48
516. Dubovitskii-Milyutin Theory . . . . . . . . . . . . 51
§17. An A p p l i c a t i o n . . . . . . . . . . . . . . . . . . . 56
§18. Conjugate Functions and S u b d i f f e r e n t i a l s ...... 58
§19. Distance Functions . . . . . . . . . . . . . . . . . 61
§20. The Fenchel Duality Theorem . . . . . . . . . . . . 65
§21. Some A p p l i c a t i o n s . . . . . . . . . . . . . . . . . 7O
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . 138
Preliminaries
~i. Notation
We write:
these notes.
a separation theorem (§3) Weston [77] has shown that the above result
moment problems; the reader may consult [19, 26, 58, 73] for further
details.
f(Xo) = d(Xo,M ).
The main results of this section, namely the Support Theorem 3f)
quences of 2a).
Proof. Exercise i.
open set.
and y ¢cl (K), then {tx + (l-t)y: 0 < t < l}Cint (K). Hence
int (K) + ~.
Proof. Exercise 2.
formula
5
hyperplane to K at x.
6
qed.
the fact that every finite dimensional convex set has a non-void
the set). Excluding the trivial case where both the convex sets lie
similar to the one preceding, and may be found along with related
A + B is closed.
Proof. Exercise 3.
f E X~ such that sup re f(Kl) < inf re f(K2). We first observe that
chosen to be countable.
is the set
theorem for product spaces, and can be found in [71, p. 84]. The
some nls X. The notation c-~ (A) will mean cl (co(A)), this set
being the same as the intersection of all closed convex sets contain-
ing A (with respect to some ambient tls). The main result gives
9
equivalent to co (A) = K.
Proof. Exercise 6.
homomorphisms of CR(~ ).
Proof. Exercise 8.
we may state that the extreme points of a convex set K are exactly
ext (A) ~ ¢.
subset A C K are e q u i v a l e n t :
i) ~ (A) = K;
3) ext (K) C A.
fact that sup re f(A) = sup re f(c-o (A)), for any f E X~ and A C Y~
ACKJ(x i + v).
i=l
Now the sets KI • = c--o ((xi+V) ~ A) are compact and convex, and so
we have
n n
co (A) = co ) = co ),
convex combination of points in Ki, and since Ki~ c-~ (A), the
topology on X.
(Exercise i0), and then show that if ~ has only a finite number of
that they have been used as the basis for proofs of the Stone-
Theory of O p t i m i z a t i o n
convex function over a convex set (or, what is the same, subject to
to be infinite outside the constraint set. The two basic tools for
identically +~ and
the set
cone generated by K.
6K, is defined by
6K(X) = ~ 0 if x ~ K
L +oo if x ~ K.
E(x,y) = f(y)-f(x)-df(x).(y-x),
x, and the dot signifies its value at the vector (y-x). Then
E.)
16
epigraph is convex exactly when f s Conv (X). Note that for such
x ° s dom (f),
f(Xo+tX)-f(x o)
(l) f' (Xo;X) ~ lim
t+O t
is a n o n - d e c r e a s i n g function of t.
Remark.
.. When x E Xo-dom (f), then -~ < f'(xo;x ). We can see
1 t
f(Xo) = f(y~y (Xo+tX)+ ~ (Xo-X))
1
-< i - ~ f(xo+tx) + ~ t f(x o_x),
whence
f ( X o + t X ) - f ( x o)
f (x o) - f (x o-x) i t
f(Xo+t(x+y)) <_ l ( f ( X o + 2 t x ) + f ( X o + 2 t y ) ),
and s o
f'(Xo;X+Y) ! f'(Xo;X)+f'(Xo;Y)'
qed.
f ( X o + t X ) - f ( x o)
(2) (x) = lim t '
t+0
ing functions.)
To g e n e r a l i z e this m o n o t o n i c i t y property of g r a d i e n t s of s m o o t h
or
inequa___llity
0 <_ ( V f ( x ) - V f ( X o ) ) • (X-Xo) ,
~8. Subgradients
years by M o r e a u [48, 49, 50], Rockafellar [7, 66, 68, 69], and others.
is a s u b g r a d i e n t of f at x relative to X .
O r
and we will shortly see that in this case there can be no other sub-
gradients at x o.
Then ~f(Xo) is the compact interval whose left and right hand end-
at x .
o
2) A isc p r o p e r convex function need not be s u b d i f f e r e n t i a b l e
f E Cony (R I) by
f(x)
+ ~ otherwise.
Then ~f(~l) = ~.
point (xo,f(Xo)) .
contradiction
i ~ f(xo+Xn)-f(xo) K ~(Xn)
these rays taken over all such H forms a closed convex cone at x
o
called the "normal cone to K at x ". Again, its d i m e n s i o n is a
O
cone w i t h vertex @.
(S (x o,K)-xo) o
That is,
empty by definition.
25
every x ° s X,
~K(Xo) -- N(Xo,K ).
in later sections.
~(xf)(Xo) = x~f(Xo),
of convex functions.
(f+g)(x o) = ~f(Xo)+$g(Xo).
26
fl(x) m f(Xo+X)-f(Xo)-9(x),
gl(x) m g(Xo+X)-g(Xo),
t < re ~(x)
e ~(f+6L)(Xo) ,
¢(y-Xo)+f(Xo) i f(Y) ~y e L,
and
qed.
f(Xo+tX) -f(x o)
(i) lira
t
t+0
28
exists and has the value k if and only if the function @ ~ ¢(x) is
functions.
then
f(Xo+X)-f(Xo) = f(Xo+~iei)-f(Xo)
f (Xo+n~lel Xo+n~nen)
= n +" "'+ n - f(Xo)
f(x o) 5_ i f ( X o + X ) + } f ( X o - X ) ,
then
f ( X o ) - f ( X o +x) £ f ( X o - X ) - f ( x o)
[f(x)-f(y)] i k[]x-y][
holds.
value of the p r o g r a m , and the points in X (if any) where the value
(X, f+6K) .
if and only if
(i) e ~ ~f(Xo).
programs.
hence (i) are satisfied, so f has a ~lobal minimum at Xo, that is,
on X.
i0 a).
e E ~(f+~(x o) -- ~f(Xo)+~6K(Xo)
= 8f (Xo) +N(Xo,K) ,
qed.
the convex program (K, fIK) is that there should exist ~ ~ ~f(Xo)
T
x,y~ ~ x(0)y(0)+ I i(t)~(t)dt.
0
T
f(x) = J (x(t)2+i(t)2)dt,
0
solution and the value of the program (K, flK). (A simple approximate
creases.)
convex constraints".
N(Xo,K) = ~N(Xo,Ki).
Proof. Apply 9c) and 10a) to 6 K = [~K."
1
I %, if f(Xo) > 0
S(@,Sf(Xo)) , if f(Xo) = 0.
f(x) < 0 -->}(x) < %(Xo) , hence 9(x) >_ %(Xo) =>f(x) >_ 0. Thus
and ~ ~ ~XiSfi(Xo).
programs have been of wide-spread interest for the last two decades,
Some general references are [20, 30, 44, SS, 70]. Our only concern
discussed here. But see §30 below for some special cases, and
Corollary in b) above.
Vf(xo)+~iVfl(Xo)+...+XnVfn(Xo) = @.
f(x) = x~ + 2x~ 4x I - 6x 2.
f~(x) <_ 0, ~ ~ A,
IAfa(xo)dX(a) = 0
and
of the rate of change of the value of the program when the con-
for the ordinary convex program 12c) if the value of the program
set), and then examine these solutions to find those which satisfy
(X, f + Zlifi).
vector.
this section.
from the original only in that the original constraint levels have
In any event, dom (p) ~ {y s Rn: p(y) < +~} = {y s Rn: fi(x) ! Yi
for some x s X and all i}. We assume that @ ~ dom (p), and
> p(y), ~ > p(z), and 0 < t < I, and show, as Exercise 22, that
First, if p ever assumes the value -~, then it has the value -~
the value of the original program is finite (i.e., -~ < p(@)), this
some 0-nbhd.
-h i = (-k)-e i < p'(@;ei) < 0). Now choose any ~ s X and put
+ Zliy i
and so
But the reverse inequality is also valid , since X I. _> 0 and so the
over the set ~ K . .i Hence the two values are equal and this means
li -~Yi
programs inf {f(-): fi(. ) <_ yi }, resp. inf {f('): fi (.) < ~i }. If
X, Y are corresponding Lagrange multiplier vectors, then
~"(y-F) ! f ( x ) - f ( x ) ! i - . ( y - y ) .
recall that it was also brought out in the course of the proof of d)
that
usually unique.
subject to
5x I + x 2 + 15x 3 + 5x 4 ~ i00
3x I + 2x 2 + 7x 3 + 5x 4 ~ 125
0 ~ Xl,..-,x 4
f = -fo'
f2(x) = 3x I + 2x 2 + 7x 3 + 5x 4 125.
theory and that of dual programs. Also missing is the very pretty
must refer the reader to the literature, in particular [20, 44, 54, 55,
7o3.
convex) function. This notion, in its modern form, has been developed
at the vector x ~ X.
(f+c)* = f*-c, c s R I.
and
(inf f )* = sup f*
then f* = 6U(Mi ).
i +~ for y < 0
f*(y) = 0 for y = 0
f(x) = (1/p)(x,Ax>P/2,
then
w~-isc.
on X~ .
f~e = 6-
CO (K) '
t > 0 then
and so
< x o,yl ~ - f * ( y l ) : t ( 4 X o , Y o ~
see that these are equivalent to the condition "epi (f) is closed in
functions on X.
t c R1 such that
o
<Xo'Yo') - f * * ( X o ) >
f** = c--o (f) ~ sup {g ! f: g convex and isc on X}. (Conceivably, the
only such g is the constant -~, but then f* must be the con-
47
stant +~.)
n n
~fi(x) = inf {i=l
[ fi(xi):i!l xi = x}.
X,
n
Theorem. ~ ( fi)* = ~ f.* .
i= 1 I
x e [ dora ( f i ) }
= <y),
(~fi)* = ( @ f l ) * *
inequality
(3)
in (3), qed.
§15. Polarity
Using the convention that the infinum of the empty set of real num-
PA(CX) = cPA(X ) for c > 0. We also recall that polars were dis-
cussed in §4.
(i) PA = 6
A O'
and, if e ~ A,
(2) 6A = p
A°
49
Proof. *
pA(y) = sup { <x,y> PA(X):
the last inequality coming from @ E A. Now A ° = {y: g(y) < I}.
geneous we have
(3) (¢")ac~) ° = FF ( U a ° a ) ,
frequent interest (for example, in the next section) to know that the
convex hull on the right hand side of (3) is already (w *-) closed.
(AIn'''~A n )° = co ( A ~ U . - . O A ~ ) .
was [14]; a discussion has also been given in the Girsanov book [21].
Then
n
(1) ~-~K i =
I=O
52
ficient for (I) to hold, since the cones KI,...,K n are open• Now
Halkin [23], and Pshenichnii [62]; the proof given above was adapted
a) will be applied.
occurring situations.
call it ~.
x + tx ~ ~.
O
then C ( X o , ~ ) = X.
l i n e a r subspace.
parallel subspace.
=
Ko C (x ° , A ) ,
K i = C(Xo,~i), i = l,''',n-l,
K n = C(xo,f).
nbhd., ~ ~-nbhd. V and ~ > 0 such that f(x o + tx) < f(Xo) and
but f(x o + tx) < f(Xo), and so x° is not a solution after all,
qed.
§17. An Application
two fixed points in the plane R 2. Among such programs are included
r 1
x '+ I F(t,x(t),x' (t))dt,
0
Thus our variational problem becomes (X, f+~A). We now assume that
1
(i) Vf(Xo,Yo).(x,y) = j (F2x + F3Y)dt,
0
(3) -~vf(xo,Y o) ÷ ~ = e
1 1
(s) I0 (~(It Fzds + F3)-c)y(t)dt = 0.
must satisfy:
d
~-~ F3(t,Xo(t),Yo(t)) = F2(t,Xo(t ),yo(t)).
sult does not depend on convexity and follows immediately from the
definitions.
59
function h by
furthermore
~f(Xo) = ~f**(Xo).
dom (f) where its values may be strictly smaller than the corres-
X O ~ X,
f'(Xo;.)* = 62
f(xo)
Then
= sup F~
t
= 6~f(Xo),
where we have used 7a), 14b), and b) above.
f'(Xo,.)~ = 6~f(Xo)
f'(Xo;.) = 6~f(Xo) ,
d(.,K) = I1•11 @ 6 K
62
= 6U(X, ) + PKO.
PKo(Y): y ¢ X*)
]iXo zo] [ = d(Xo,K)), then since the "max" in (i) is attained only
by a "sup" over ext U(M ) (5d)). This extreme point set is fre-
quently much smaller than the entire unit ball, so that such a
Compute d(Xo,M ) .
result and some terminology from Part III. The result needed is a
X and
(3) Vf = I - PK"
64
K (22d)), namely
o !<z-PK(z),P~(z)-Y>, y ~ K,
we have
whence by ( 4 ) ,
Therefore,
Thus
llx-zll 11 <~-PK)<x-z)l I
211x-zll 2,
65
contraction (32a)) .
boundary of K.
(x-PK(K))/I Ix-p~(x) I I •
4) Smoothness of d(.,K) on tile open set X \K can be
[Holmes-Kripke; unpublished].
making precise the form of the dual programs we take time to rethink
exactly one point. Since we can assume that s = -i, this point of
the two sets will intersect only if the "sup" that defines f*(y)
+
g (y) -- inf {<x,y~-g(x): x ~ dom (g)}.
+
Analogously to 14d) we have g is a w*-usc concave function
h+(y) = -(-h*(-y)).
affine, h + } h*.
epi (g)) exactly when -I = g+(y), and then the "vertical height"
+
of this hyperplane over the origin is -g (y).
SO
that is,
of the program (X, f-g) (the left hand side of (I), which can be
we note that they are convex and disjoint, and A is open. Hence
jections of A and B, viz. dom (f) and dom (g), and this
dom (f), since then by 3c) tXo+(l-t)x e int (dora (f)) for
~(tXo+(1-t)x)-X <_ f ( t X o + ( 1 - t ) x )
<x,y) ~ ~ g(x)+~, V x ~ x,
or ~ + I ~ g+(y). Therefore,
÷
! g ( y ) - ~ ! g+ (y) - f* (Y)
qed.
attained.
which
x-xo,y ) ~_ g ( x ) - g ( X o ) , ~ x ~ x,
is called a supergradient of g at x
O
g(Xo)+g+(y) = ~Xo,Y ) .
(Efi)* = O f~'z
g ~ < "'Yo> -fl' for any fixed Yo e X*. Then g+(y) = -f~(yo-y),
and so the Duality Theorem implies
<X,yo) : x ~ x)
= -(f~ + f~)Cyo)'
qed.
Then
to
O, s > ci
I -~ S < C i.
have
72
n ÷
g+(x) = X gi(xi)
i=l
'0j xi > ci V i
=
- , otherwise.
= row space of A.
Zz i < x , A i > = Zzibi(x ¢ K). We now see that the dual program has
(If the original constraint had been of the form Ax < b, x > @,
then the dual constraints would have turned out as A*.z > c,
z~e).
problem
=0 vo,
(2) AA*(eo) = c.
A(Vf(A*(eo)) = c.)
therefore
that is,
f(yo)-g(yo ) = 11 lyol ]2
o <Oo,~ ½11~oJl~
+
-- g (Yo)-f*(yo ).
n
(~) ACx): X <x,ui)el,
i=l
then
n
A*Ce~ : Z <e,ei}ui.
i=1
fi
(Note that no magnitude constraints are being imposed on the control
u.)
A(u) : x(r)
We have now put this dynamical problem in the form of the abstract
i:l j=l ]w
0 ij (t)uj (t)dt)e i
n
= ~ <u,Wi) ei ,
i=l
matrix
¢ T
AA~ = | W(t)W* (t)dt.
J0
fair amount of the material in this part can also be found in the
books of Cheney [9] and Singer [72] (although most of that treatment
analysis.
f(z) ~ l lx-z[l.
sharper version will be given later (23f)) for the finite dimensional
case.
belong to K &.
is simply that
only if
for every z ~ K. This results directly from b), since the func-
that (X-Xo) ~ K.
f
E
x d~ > 0,
I(Xo-Z)d~ > 0, z e K;
(2)
ffxd~ = Ilxldl~l.
(3)
fl
Proof. I) If {2) holds and ; does not have the ~ame
I
E
xd~ < 0.
Therefore,
= Ixd~+ - Ixd~ -
A B
= (x -x )d~ - (x+-x)d~-.
f + - + f
A B
+
[Here x is the positive part of x, etc.) Now
fx-d~+ = 0 = fx+d~-
A B
(check!), and so
~:~ 0
/
c+ C~
fO
0
II
O
b~ D ~
A IA II -- ,g. II
II ~" , II II
IA ~ ~l~ ~ -
-- f
x --¢ -~
x
O ~ + II
+
03 ~
Z" v + i
f +
/ -- O h +
+ / +
n t1~~¸, + +
"~ N m
0 + +
,+ +
-2 ~ Im
I[ el - - ~:a
O II i
x C v ~ 4-
n2~ t~ + "E
- - N l
II
- - I
~...FI
C / --
b< i
r+ /
o .o
l_.a In.
/ o ~ N
r+ ~-'
t~ V
t:r
81
= IIxll I.IC ),
a contradiction, qed.
§23 •
Extremal
...........
Re P resentations
of continuous functions.
ext (K). (If the scalars are complex these n u m b e r s are to be re-
Assume the lemma true for d < m-I and let d = m; we may also
choose any z g ext (K) and e x t e n d the line segment [z,x] until
m
(l ) ,-- x.,jtM.
j=l J
of the form (i) but we could only be sure that m ~ 2n. The re-
Let K = ker (¢), then dim (K) = n-i so dim (Kr) = 2n-2.
m
j=l J J
j=l J'
Thus
m
~= ~ Xj~j,
j=l
m
¢(x) = j=l~ijx(tj) V X e M,
m
11 11 =
j=l
X Ixjl,
sgn (Xj) = x o(tj), 1 <_ j <__ m,
22b),
85
m
= j=l
~ X j re ,j ( x - x ° ) < I l X-XolI '
a contradiction. Consequently,
I1~-~oll = re ~ j ( X - X o )
l~j(X-Xo)l E Ilx-~oll,
qed. Since we are tacitly assuming the ~j to be distinct from
special case.
®j(x-x o) = llx-~ol I, V j,
m
~.~j ~ s ( ~ ) .
j=l J
Fn belongs to
Sj (X-X O) = I lX-Xol I ,
m
re ~ k.¢j(Xo-Z ) > O, Z E K.
j=l j
Thus for z c K,
m
re ~ k.$j (x-z)
j=l J
m
> re ~ X.$j (X-Xo) = l lX-Xol I
- j=l J
and therefore,
d(x,K) = I Ix-Xotl
Ill
<_ inf {]j=l kjCj (x-z)[: z ¢ K}
m
< inf { 1 % ' I ~ j (x-z) I : z e K}
-- j=l J
x outside K, let
n
.o,
r = r(Xl, ,Xn) ~ x - ~ X.x .
j=l J j
{tl,''',tm} C [-i,i], the formula (i) becomes exact for all poly-
nomials of degree < 2m-l.
l
(x) -
f -I
xd~,
m
(3) 11~tl = X x.
j=l ]
this value and n is odd, formula (2) is exactly the Gauss qua-
(-i,i).
Qn = n ~ ~ +~- Ln"
where L is the n th Legendre polynomial:
n
1 dn (t21)n
L n(t) 2nn! dt n
roots of Qm"
The proof of this theorem can be found in [9, p. ii0]. The
d) We now prove the theorem in b). We first note that (2) can
1 m
I p2d~ = ~iAjp2(tj) = O.
-t j--
define
(4) ~3
• z
'
(Qm(tj
))-i/I -i Om(t ) (t-tj)-id~(t).
Claim: each
~. > 0, and relations (2), (3) hold. By the theorem
J
in c), no other choice of ~. with this small an m can satisfy
J
(2); hence when the claim has been justified, the proof of the
, -1
xi(t ) = (Qm(ti))-lQm(t) (t-t i) ,
(2) and if, as will next be shown, X. > O, relation (3) also
1
follows.
dp(x) = Xi(Qm(ti)) 2
Now ¢(x) > 0 since x > @, and x vanishes at only m-i points
while support (;) contains at least (n+l)/2 > m-i points. This
n
An(X) =
j=l
xj(n)x(t}n))
An * ~ in the w*-topology.
arbitrary nls, and will play a role in the study of uniqueness ques-
l<i<n.
i) M is a Haar subspace;
non-singular;
for any n > 1 and a < b. This can also be viewed as a special
of c~([0,3]).
differential equations.
93
n-i
where Xi ¢ CR ( I ) , 1 < i < n, and D -- d / d t . Then any non-zero
solution of
(l) L (D)'x : 0
n
that
(D+X(c)).x(c) -= x ' ( c ) + x ( c ) x ( c ) : o.
(2) Xn(C ) =- L n ( D ) . x ( t ) I t = c = 0
the f u n c t i o n
w = Ln_l(D).x
is a s o l u t i o n of the e q u a t i o n
(D+Xn).W = @.
I, qed.
i) Let al < ~2 < "'" < an, and 0 < a < b < +~. Then
~i t ant
span ({e ,.-.,e })
is a H a a r subspace of CR([a,b]).
95
unit circle].
interval of (0,~).
D ~ CR(~ x...x ~) by
Lemma. Let a < s I <'''< Sn < b, a < t I <''.< tn < b and let
Ix(tj)-Xo(tj)I = l lX-Xoll,
x(tj)-Xo(tj) -- (-l)J+l(x(tl)-Xo(tl)),
°j (x(tj)-Xo(tj)) = Ix-xoll,
m
Xjojxi(tj) = 0,
j=l
for 1 <_ i <_ n. (That is, the ~j of 23f) are oj6tj here.) By
IX(tj)-xo(tj) I = l iX-Xoll,
(4) sgn ~j = sgn (x(tj)-Xo(tj)),
m J.
(s]
j =i tj
m m
0 = !l~jy(tj) = ~ a2 ¢ 0
j j=l J '
a contradiction. Therefore m = n + I.
j=l ~.x.(tj)
J i = -an+iXi(tn+l)
D(tl,''',tj_l,tj+l,''',tn+ I)
C6) aj = (-l)n+l-i~n+ 1
D(tl,..',t n)
M C - C R ( [ a , b ] ), if M is Haar.
M.
n- 1 (n)
cos (n@ = 2n-l(cos (a))n + k!oXk (cos (~))k,
g i v e n by t h e r i g h t hand s i d e o f ( 1 ) .
A2 p ( t ) 2 = ( 1 - t 2 ) p , ( t ) 2 / n 2,
A2 p(t)2 = +_ ~ P (t) .
p__' (t)_ _ n
fAZ-p(t)z 41-tZ
Integrate both sides to get
1) To ( t ) = 1, Tl(t) = t,
cos ((2k,l)~ .
\ 2n !
For large n these roots tend to cluster toward the endpoints of
[-i,i] .
101
where I[PI[ ~ max {Ip(t) l: Itl ! I}. Thus all the zero tendency of
kth-derivatives.
4) The sequence
dt
d~(t) _
~ .
cO
(2) x = 7 + =
[ICkTk '
k
where
x(t)Tk(t)
- i ~ - - dt,
assumption on x.
I02
i-l,1].
y(s) - 9 +
k
lCk cos Cks ,
y(s) cos (ks)ds.
Ck~ 0
fine numbers
I n
A~n 5 max {I I ~ qk(s)qk(t)ldv(s) }"
Itl~l -1 k=o
llx-S~[x]II ! (l+A~)IIX-Qn[X]II
i1 (X_SnV[X])qkdV = 0,
-1
for 0 i k ! n. Consequently,
1
~k = f (X-Qn[X]) qkdV'
-1
Ix(t)-Sn~[X] (t) I = I x ( t ) -
! llX-Qn[X]ll(l+A~),
qed.
2 I'g
An = o<t<~max -~ n
0 Ik=o~' cos (ks) cos (kt)]ds,
where the prime on the summation sign indicates that the first term
is to be halved.
n -~ co
An ~ -2
4 log (n)
are at least good first attempts. Indeed, the inequality (3) shows
that the best we could ~o by way of approximating x from Pn
§27. Rotundit ~
for uniqueness.
strictly convex.
tundity is that in a rotund nls each element has at most one b.a.
if its norm is a smooth function (in the sense of 7c)) on the open
set X \ {8}.
are then both subgradients of the norm (on X*) at ¢. But this
is similar.
ing to Exercise 14, the LP(~) spaces are smooth for 1 < p < +~,
we see again that such spaces are also rotund (a direct proof was
up to order k are all in LP; see [78, p. 55]) are smooth and
that trace (T'T) p/2 < +~; see [22, Ch. Ill]) are smooth and rotund.
(In fact, all the spaces just listed possess the much stronger prop-
renorming results are known (see the survey article [ii], also [2]),
but they are not too useful for approximation theory. The result
where [[.][~ denotes the usual uniform norm on C([0,1]). The iso-
tinuous function on K.
cussed in §32.)
rotund by e ) .
Tn = (Pn o T) IKn
]lUn-Vll = tITn(Un)-Vl[
l lT(x)-Tn(X)l t = I IT(x)-Pn(T(x))tt
: I J (I-P n)('r(x))li : a(T(x),~:)
every element of X.
is semi-Chebyshev.
110
Xl x2 = Yl Y2"
The points
-x2 = Yl (x2 + Yl )
are both in K' and we claim that they are both b.a.'s to @ from
K ~ . This will imply that K' and hence K are not semi-Chebyshev.
= re #(-x2).
an m - d i m e n s i o n a l subspace of X.
~ y ~ M, such that
j=~iXjCj ~ S(M±).
m
(i) % = ~ XD ~j.
j=l
gether with
j ! I X j ~ j (M) = O,
we deduce
(2) Cj (y) = O, ~ j .
independent.
Granting (for a moment) the Claim, assume that the scalars are
set {gj} forms a basis for Y*. But then by (2) y = @, a contra-
{y, iy}).
113
dent. Then ~ ~l,''',~m not all zero such that a191 +...+ ~m~m = @.
m
j=2~j~"(~j - 91) = @.
ly,
as follows from 5e) and the fact that ~j ~ ext (U(Y*)). But now,
spaces with this special property are rather rare in general normed
tween the interpolating property and the Chebyshev property for finite
M~
j=l ]
115
n
j~IXj~j (Xk) = 0, i ~ k ~ n,
and such properties are studied in [3]. We now give the famous re-
sult which states that the two types of subspaces coincide in spaces
C( a ) .
n
i
~ c~.6 eM
j=l J tj
x a s(c(~)),
and
2 ~_ Ix - y l [ ~_ II lxl + tyl II
Cj = sgn(~j)~t.
]
XD = I~jl.
Then since
Cj (x) = sgn(~j)x(tj)
Chebyshev, qed.
plane which supports the unit ball at a single point, and so is the
no Chebyshev subspace.
no Chebyshev subspace.
that card (M) < c. Since the union of c countable sets has card-
since card (M) > c = card (%~(A)), there must exist ~ g S(M)
analysis takes place in span ({~,M}), we can and will assume that
M;
119
on X by
n n
o(x) _-- o( y~ c i x i ) = ~ Icil.
i=l i=l
Since all norms on X are equivalent, there exists I > 0 such that
and so
= 1/2 in (i) ,
this proves the claim, and hence statemont i). Now note that 3)
120
subsequence {zj} of (yk } such that p(y - zj) > ~. Using I),
P(~ - Yk ) ! Pk (~ - Yk ) + ~P(~ - Yk )
-< (i + Ji_]
i-~ Pk (~ - Yk ]
1
< ~ Pk(X - y), V y e M,
l+g
S T I-E P ( X - y ) ,
qed.
vergence Pk ÷ p"
lJXjlpk ~ IIXllp.
121
L~(~)-best approximation to x.
appropriately "near" the original set, and which are such that the
now.
b.a. from A.
set is clearly proximinal (see also 31a)). It is easy to see that any
minal.
set (y - A ) ~ 2d(y,A)U(X*).
u(x).
(i) d(x,H) = Ic - re ~ ( x ) I / I I ~ l l ,
z ~ S(X), then
cz
PH(X) ~ x - t1¢ti -1 re ¢(x - l i¢ll )z
On the other hand, if does not attain its norm, then given
= Ire ¢ ( x - Y) I / I I ¢ I I ,
the functional
? 1
,(x) z | tx(t)dt, x e X.
J O
that, while most of the standard Banach spaces are proximinal when
proximinal in £~(a).
1
a = A(x) -z ~ l l x * x, ll,
U = X, + A, v = X - A,
that li x - Yli ~ d + ~, or
x- d- e < y < x + d + e.
Taking the lim sup of the left h a n d inequality, and the lim inf of
x* d - e < y < x, + d + ~,
whence
0 < x* - x, < 2d + 2 e ,
x- A <x* - A= v<y
< U = X~ + a < x + A,
function between two others (in the sense that y was interposed
addition in X.
space. Apply 3i) and then apply Lindel~f's Theorem to the union of
(Xl,tl,''',Xn,tn)~Ztixi •
inequality.
If this latter condition holds then E(x,y) = 9' (0) >_ 0. Conversely,
Exercise 14. For 1 < p < +~, the formula for Vf(Xo) is o b t a i n e d
here.
implies ~(f(y)-f(x)) <_ f(z) f(x) and the same contradiction re-
= ,
where
T
2u(t) = (l+t)I x(t)dt
O
- (t-s)x(s)ds + x(t) i.
o
Exercise 24. By 14f), f** < f, so f** < c--o(f) < f. Hence
again.
131
requirements of 16c).
that - ) < 0.
x s C(Xo,~ ) ---)g'(Xo;X We have x ° + t~ c ~ for
~x I so that g(xl) < g(Xo) and so g' (x o;x l-xo) < 0. Since
1 1
g'(Xo;~) = g'(Xo;i-z + (1-X-)(xl-x o))
0 =
fl
0 V°(y)d~l +
Ii 0 Ydu2,
d~ = ( 8 1 ( s ) - 6 o ( S ) ) ( 6 1 ( t ) - 8 o ( t ) ) .
Exercise 33. Of the several implications here only the one that
= ~(~+)+(-1)~(~-)
whence
fxd~ = fx ~-C
d~at "
E E
apply,
• . ° • • ° 0 . ° • • • •
m
0 = j=IXj~j(X-Xo)~j
I (x n)
= ,j(X-Xo)/llx-xol 1,
we have ]~j] = 1 and ~j --- ~j~j ¢ ext (U(X*)). Also
= llxxol I
]¢(x)-An(X)] ! ]~(x)-¢(p)]
n
p(t) - ~ a k cos(kt) + b k sin(kt)
k=o
for arbitrary but fixed real ak, bk; it must be shown that p has
Hence i f
2n
q(z) - X ckzk,
k=o
q(z) = exp(zn)p(t).
combination of
n
{c°s(kt)}nk=o (resp. {sin(kt)}k=l)
D(k~l+(l-k)tl,''',ks n + (l-~)tn) = O;
Exercise 43. Assume that the nls X is rotund and that llu+vll =
~(t) z [I]'F~ + ~ l l
(it's certainly < 2). If llvI[ > I, then ~ > liu+vlL llv-v/llvll II =
~i ¢ S(M±) and c I ~ 0.
by 28f).
first half of the preceding exercise, that the only Chebyshev sub-
Bibliography
tion and optimization. For the most part they represent areas of
has come this far to the existence of several further areas for
§31. E-spaces
"strongly solvable" and all convex b.a. problems are "well posed"
point in ~0 ~ .
146
=~ proximinal in any nls (or in any metric space, for that matter).
implications is reversible.
compact.
smooth nls.
~n(X) ÷ 1 is convergent.
e > 0 and {Zn} C S(X ) such that (%n - ~)(Zn) { 2e. Define
1
xn = ~(I Ix[I *n(X))Zn •
Then x ÷ 0, but
n
1 en(X)
en(X) - 1 + (c~n qb) ( Z n ) (
1 - en(X)
G
at x.
or
since x ÷ @. But
n
¢(x) - Cn(X)
> + ~ > ~ ,
llxnll
since @(x) = I IxIl > @n(X), and so (¢n } does not converge to ¢.
But this means that {@n } is not convergent, since any limit of
contradiction.
149
and this latter set is w*-compact. But then the Lemma immediately
inf f(~).
decrease to the value of the convex program (X,f). Then the convex
M and X/M are E-spaces), and productive (in the sense that if
Proof. The first two assertions follow readily from the E-space
(¢1,¢2 . . . . ) ~,- ~ ,
oo
so that
n
n
o
CllxCm)
n
ll llx n II) 2 < e '
n=l
and so
no no
1 - ~ < llxnll z < X llx~m) ll2 + 1~".
n=l n=l
oo
] ix(m) _ xl 12 = ~ I Ix(m) x nl 12
n=l
<
o x (m) 2 2)
I I x n(m) - Xn[I 2 + 2 ~ (ll n ]1 + l]Xn]l
n=l n>n o
x +Y+ z ~ K
2
whenever x,y ~ K and I Izl I _< 6(I Ix-YI I). By abuse of language,
define
vo u(x) C x + ~ u(x**).
and this would be a bit shorter (cf. [2, p.22]). The main interest
Example. For 1 < p < +~, the spaces LP (~), wP'k (G) , and S
P
(defined in 27d)) are all uniformly rotund. (The elements of LP(~)
rotund.
155
LP(~). The most direct proof of this fact seems to be the one
from this and the easily checked fact that the finite ~P-product of
projection on M.
turns out that even this modest property of best approximation can
fail in general.
space.
contraction on X:
Let us just prove the first s~tement; the proof depends on the
qed. This argument shows that equality can occur in (I) only if
scalars t);
if either x or y ~ M).
linear.
inverse image (y). All such fibres are isometric, being simply
translates of one a n o t h e r :
160
pMl(y) = Y + p~l(@).
contractible.
-- l Ixll}.
1) M ® M Q = X;
(5) PM is linear.
161
expressed as a s u m y + z, w i t h y ¢ M, z e M @. Since
x = pM(x) + (x - PM(x)),
zI = z2 + y =)
PM(x+ty) PM(X)
P MI ( x ; y ) - lira
t ÷ 0
Hence
= P~(@;y) = PM(y),
and therefore
= PM(X) + P~i(x+ty~y)dt
0
= PM(X) + P M ( y ) .
It should be noted that what makes the proof of (4) ~ > (5)
spaces.
M @ = {(a,b,c) e X: ~tII(a,b,c)-t(l,l,l)IlPlt=o = o}
least to a weighted zP(3) space, but this does not effect the
1 + IITII. (This result has been extended by Foias and Singer [5]
Then
projection.
164
d(x, M) = f i x - PM(x) II
= d(x, M)
result, the dual of the Klee space is a concrete example wherein the
i) PM is an open, mapping;
locally contractible.
the first factor. Since such projection maps are always open, and
appropriate spaces ~.
167
continuous.
+ Irx n xJJ + 0.
[ [Q-l(x n + M) Q-I(x + M) I [
= Ix n PM(Xn) (x - PM(X))[I
= IPM(Zn)[I + I lz n (x - P M ( X ) ) I I < 2~
168
out to be discontinuous.
I xd~ to ~x,~7.
1) @ ¢ ~ e M~ = ) t e support (~);
2) x e S ( C R ( a ) ) ( ~ M @ -~> l x ( t ) l = 1.
has norm one, and has both @ and y as b.a.'s from M (check!).
PM is discontinuous.
Kripke (to appear). He has shown that Hilbert space may be renormed
weakly continuous (that is, continuous when both spaces have their
weak topologies), and that the converse is true when the spaces
involved are both Banach (or Frechet) spaces. Now since a metric
of a nls X.
w-sequentially closed).
y ~ M and r > 0. If this is not the case for some such r and
{z } C r S ( M ) + (y + Me),
w-closed.
172
which are not Chebyshev. Among these are the non-Haar subspaces of
F(x) e T(x) ~ x e x.
not isc nor does it admit a continuous selection [14]. The answer
selection.
Therefore,
it follows that
where the infimum is taken over all x e X. The number on the right
exists) which contains the set A, and the centers of all such balls
experimental data.
constraints:
reader may consult [13] for some results in this direction when A
is compact.
179
b) The function
FA(X ) - s u p { ] [ x - y [ l : y e A}
E(A), as the set of all solutions of the convex program (X, FA), is a
f is continuous on V and
the w*-topology.
3 f ( X o ) m 3ft(Xo) V t ~
and therefore that the inclusion from right to left in (2) is valid.
z, 4 > <
valid for every ~ e 3ft(Xo) and every t e 2o' then the same
Since we already have the inequality (3), what we are actually about
to demonstrate is that
Fix some 6 < f'(Xo;Z). Then taking into account 7a), we see
that
ft(Xo + c~z) f(Xo)
B - {t e ~: > B}
t o e f; {B :0 < ~ 5 So}.
This inequality establishes the inequality (4), and hence the formula
(7)
spaces are known to admit centers, but in general a Banach space need
not admit centers even for finite sets. Before presenting the main
ib d~ 1
It ~ - a t < var(,l) = ll,l] I ~ II*ll
a
we c a n f i n d x e X such that
n
sup I Ix n - Y l I < r ( A ) + ~.
yeA - n
originally proved by Kadets and Zamyatin [11] for the case where
seen their proof carries over to the case where X is the space of
185
value z 2r at a p o i n t t o e ~.
that the right hand side of (8) is non-void. But choosing any x
in such a f a s h i o n entails
and so the Lemma yields x ~ E(A), and r = r(A). On the other hand,
hence
and finally,
a* - r < x° < a, + r,
nas for every bounded set to have at most one center. This condition is
In fact, there exist reflexive spaces having this property yet not
1 1
Xo Yn = ~(Xl - Yn ) + 2-(x2 Yn )
But also
188
liml](x I - yn ) + ( x 2 - yn) l[
= limII2(x ° yn) II = 2 r .
rotund space, the functions r(.) and E(.) are continuous. (In
fact, r(.) is always continuous for any nls.) This statement, along
compact sets.
of X.
xI + x2
r(A) = i] 2 Yli
{Xn}, we have
next.
are equivalent:
of X0 .
Dn ~ {x ¢ L : [ I x - Zol ff n } ,
r n ~ {x e L : l l x - Zol = n}
P(tz + x) = tx + x,
o o
192
tlP[l = 1, qed,
1
(io) r(A) > ~- diam(A),
A2, where both Ai have vertices at (0, 0) and (2, 0), and the
sup norm, and both are centerable wrt the latter norm. However,
(11) r(A) n
< (T6--7--f) i/2diam(A )
extremally disconnected.
condition 2).
A of X is centerable.
if t e Q is chosen so that
0
1 --
r(A) ~ J[~(a - a) J I = l ( a ( t o ) a(to)).
centerable.
This follows from the preceding argument and the corollary in d).
centerable.
in [7].
to A as a "hypercircle" in X.
we have
< ix ° [2 + i ] y ] ] 2 _ 2[[Xo]]2
= ]yl 2 ] l X o l l 2 <_ p2 _ ~2 ~ 0 2
(i0), this will show that r(A) > ~ and hence complete the proof.
Define
Yl = X O + ~z,
Y2 = Xo ~z,
[]x o
+_ a z [ ] 2 =
i[Xo[[2 + 2 = 0
2,
point in A onto M
196
mid-point (in any nls). Hence the theorem asserts in this case that
the minimal element of any such chord is its mid point. It has
and half the length of that interval is a bound on the error. This
The only cases for which this problem has received attention
o2 ~ p2 _ i t x o l l 2 , as in h).
y = PM(y) + (y - P M ( y ) ) , we h a v e
whence
Yl = XO + (;too'
Y2 = Xo - ~mo'
I98
This theorem shows that the optimal estimate for ~(Xp), given
x(a) = ~, x(b) -- ~;
b~(t)2dt < p2
What is our optimal guess for x, and what value can we predict for
I
a
bx(t)dt?
b
(x, y) = IaX(t))~(t)dt.
b
(x, x o) ---I ~(t)~°(t)dt = cx(a) + dx(b)"
a
i
This entails x ° = constant, and so x° is just the linear function
b (b-a)(~+B)
(12)
i a
Xo (t)dt ~ 2 "
b
(13) max{ I x ( t ) d t : x e S(M)}.
a
such that
f
a
bx(t)dt = cx(a) + dx(b) X fbx (t)mo (t) d t ,
a
mo(t ) = p ( t - a ) ( t - b ) ,
(3_____~l/Z '
P=\(b-a)~
( ( b -1a/)2 13 2)
Assembling a l l t h i s i n f o r m a t i o n we f i n a l l y a r r i v e at the c o n c l u s i o n
t h a t for any x s a t i s f y i n g the c o n d i t i o n s l i s t e d at the b e g i n n i n g
of t h i s example,
6) A. Garkavi, The best possible net and the best possible cross-
section of a set in a normed space. Izv. Akad. Nauk SSSR 26
(1962), 87-106. (Russian) (Translated in Amer. Math. Soc.
Trans., Ser. 2, 39 (1964).)
9) N. Gurarii and Ju. Sozonov, Normed spaces in which the unit sphere
has no bias. Math. Zametki 7 (1970), 307-310. (Russian)
(Translated in Math. Notes 7 (1970), 187-189.)
I0) R. James and S. Swaminathan, Nermed linear spaces that are uni-
formly convex in every direction. Preprint.
202
§34. Quasi-Solutions
f (as follows easily from the Maximum Modulus Principle). Thus any
analytic function.
(1) A(x) -- y ,
204
is not well-posed [cf. 32e)); that is, a solution need not exist
for all y e Y, and that solution which does exist for y e range
Proof. Suppose, for the time being, that we know that the
and hence
{x n} = {All(A(Xn) )}
(i) is given by
(2) x = All(PN(y)).
206
(3) Y -- A(F) O G ,
E = ~ ( A * ( G -L)}.
X = E~ F,
qed.
is well-posed.
topology on X.
Bn
(4) x = ~ ( X + X )Un'
n=l n
where X = 0 if
2
(s) Bn
n=l 7 < r2,
n
2
(6) ~ Bn = r2.
2
n=l (~n + X)
that
O = Vf(x) = 2A*(Ax - y )
if and only if
co
~n
x = [ (~---)Un •
n=l n
209
Otherwise, we have
~n 2 > r 2 ,
(y_)
n=l n
IIxll = r and
2A*(A(x) - y) + ~(2x) = @
or
A*A(x) + Xx = A*(y).
satisfies (6).
c~(~Mn) = X.
n
see next.
?
Example. Let X = Y = ~. We define a compact injective
linear operator A on X by
1 1
(z I, z 2 ..... z n .... ) = z ~-~A(z) = (Zl, ~z 2 ..... ~Zn,...).
1 1
Let x-- (I, 2' 3 ,...) and y = A(x). Finally, define
2
M n = co(B n U (x + e n }),
equation (i) is zn -
= (i, ~1 .... ' K'
1 O, 0 .... ). From this it follows
that
n2
On the other hand, for large n, the M n - q u a s i - s o l u t i o n is X + e ,
since
2 2
IIA( x + en ) - yll = IIA( en )[1 = n-2,
2
which is e v e n t u a l l y < a ~ i n-3/2. However, obviously x + e n 74 x.
l im x nk = x n, Vn,
x n = x, n > n .
- o
....
mlnlmlzlng the norm in X over the sets M ~ A-I(N ). For each
other ends than in the preceding section. Not only do we allow the
(b.a.s.) to (i).
condition becomes
215
(3) I <yo,y> 12
Y = R - - ~ ~ R(A) &
= R--[~e N(A*).
extremal solution exists, we have from (2) that y c R(A), that is,
] (Yo,Y) ] = I (A(~),y~I
= j <7,A, Cy)) I l l ll tIA*Cy) II
1 t
(Yl'Y2) ( YI'AA*CY2 )
Let Z be the completion of R(A~ in the metric defined by (.,.).
](~7,y~) [2 = I ~ Y o , Y ~ I 2
f(z) = (z,~), Vz ~ z,
f(y) = (y,~-)
T h u s we s e e that ~y e
mapping
A+: Y ~ D(A +) ÷ X,
A+ ( y o ) ~ x o.
ways.
217
because
D(PR(A)) D R(A)(D R - - ~ o,
x o = BPR(A)(Yo ).
l lA(Xo)-Yo] I = l lPR(A)(yo)-Yoll
- d ( Y o , R ( A ) ) 5_ [IA(x3-Yol[, V x ~ x.
X = N(A) ~ N(A)@,
in E (A,Yo) we find
given by the right hand side of (4). Since X and Y are E-spaces,
B = Q-IAil
AA+ = PR(A)'
A+A = I - PN(A)'
so that
(5) AA+A = A,
A+AA + = A +
(6) x = A+(Yo ) + ( ~ - A + a ) ( z ) ,
= A(Xo) = Yo"
A+ = B P R ( A ) ,
Yn = A(Xn) + vn'
A(Xn) ÷ A(x). Hence also v n + y --A(x) ~ R(A) A-. This shows that
notation.
A+ is c a l l e d the p s e u d o i n v e r s e of A, and is w r i t t e n At .
A t = lim exp(-A*A(t-s))A*ds
lira B(t),
t+~
+
for all y e Y, that is, B(t) * A strongly.
n
p(X) = ( - 1 ) n ~ a.X n - J a = I,
j=o ~ ' o
then
k-I
AP = _akl ~ aj(AA*)k-j-1;
j=o
if k = 0, then A t = 0.
is a matrix. The next theorem shows that this can always be done if
be n o r m a l l y solvable. Then
A f = A~(AA~) t
= (A~A)fA * .
and R(AA*), we have R(AA*) = R(A); but also y(A) > 0 (see c-3))
x -- A ~ B I A ( X ),
where
B 1 -- (AA, I N ( A , ) J - ) - i .
Bl ( A ( x ) ) -- BIAA*(y) = y,
223
21e,f).
essential.
A = BC. Then
A t = C*(CC*)-I(B*B)-IB*
= CtB t"
OT
Next,
C,B,At* = A,At*
= AAtA = A = BC.
-i
Left-multiply the two end terms of this last equation first by B
A t = C* (CA*AC*)-IcA*.
A t = A*B(B*AA*B)'IB *.
A = APN(A)~ = APR(A, )
A = PR(A)A = PR(B)A
= BBtA - BC,
225
AC t (z) -- 0
-=-->O : A*ACt(z)
-- pR(a,)ct(z) = PR(c,)Ct(z)
N(C)~; consequently, z = @.
A t = ctB t
= C * ( C t * A * A C * ) - I c t * A *.
(C**A*AC*)-IcT*
(s)
= (CA*AC*)-Ic.
operators in (8) agree on N(C) and on R(C*). Now N(C) = N(C t*)
then
226
cf*(C*(z)) = (cct)*(z)
= PR(c)(Z) = z.
(C t*i*iC*) - 1 (z)
(93
_- (CA*AC*) - 1 (CC* (z)).
that
z = Ct*A*AC * (Zl) ,
A(x) = Yo'
that all spaces are Hilbert spaces, and that all operators are
have At
0 ~ At as defined in c).
(ii) BE = 0 ,
(i2) ~AE = E,
Let us, however, show that there is only one solution to this set of
= (AFAPN ( B ) ) * E * E
= (APN(B)FAPN(B))*E*E
= (PN(B)A*F*) (PN(B)A*E")E
FAEAE = FAE
= FAFAE = F ( F * A * ) A E
= F (E*A*AF) ~
= F (AEAF)*
= F(AF)* = FAF = F ,
and z ° s R(B). Then the b.a.s, to the equation A(x) = Yo' sub-
]lA(x)_yo[ [2 = l lACx_BtCZo))
> [XoI l 2,
unless x = Xo, qed. ( A g a i n we h a v e applied the Pythagorean Law,
lie close at hand. For example, consider the problem solved in the
I iYIIT-- )IT(v3tt,
tlXlis--)lsCx)ll.
Then given Yo e Y and A e L(X,Y) (normally solvable), we pose
t]A(x)-Yol [T z l JTA(x)-T(Yo)][ ,
(TA)*(T(Yo)) + (I-(TA)t(TA))(X).
x o = S-l(ras-l)*(T(Yo)).
231
The finite dimensional version of this last result has been used to
achieved state and the desired state is minimized (it might also be
is more than one such "optimal control", then from among these it is
referenced in [3]. Very much in the spirit of the present notes are
several variables. For a related approach see also the recent paper