J. Math. Anal. Appl.

361 (2010) 481-491

listas de contenidos ofrecidos en ScienceDirect

Revista de Análisis y Aplicaciones

Matemáticas
www.elsevier.com/locate/jmaa

radio numérico convexo

Manuel Ruiz Galán
Universidad de Granada, Dpto. Matemática Aplicada, Arquitectura Técnica de la UE, c / Severo Ochoa s / n, 18071 Granada, España

Información del artículo Abstracto

Historia del artículo: En este trabajo se introduce el concepto de radio numérico convexo para un operador lineal y
Recibido el 19 de febrero de 2009 continuo en un espacio de Banach, que generaliza la de la radio numérica clásica. Además de
Disponible en Internet el 25 Julio estudiar algunas de sus propiedades, damos una versión del teorema de sup de James en
2009 Enviado por B. Cascales
términos de operadores convexos que alcanzan el radio numérico.
palabras clave:
 2009 Elsevier Inc. Todos los derechos reservados.
radio numérica
Subdiferencial de una función
convexa teorema de James sup
Teorema de Bishop-Phelps

0. Introducción

En este trabajo el subdiferencial de una función convexa semicontinua inferiormente, adecuada se utiliza para generalizar la
noción de radio numérica de un operador continuo y lineal en un espacio de Banach. Recordemos que, dado un espacio de Banach
E real diferente de cero o complejo, el radio numérica de un operador de T∈L(E). (L(E) denota el álgebra de Banach de todos los
operadores lineales y continuos sobre E) es el número real.

v(T ) := sup{∣x* (T x)∣: (x, x* ) ∈π ( E)},

dónde
Π ( E ) :={(x,x*) ∈ E× E *: ∣∣x∣∣ = ∣∣x*∣∣= x* (x) = 1
(Ver [3,7,8]). Tal operador T se dice que alcanza su radio numérico cuando
Existen (x,x* ) ∈ Π ( E ) tal que ∣x0* (Tx0)∣ = v(T).
En la Sección 1 presentamos, de una manera precisa y para un operador lineal y continuo, el concepto más general de radio
numérico convexo asociada con una función convexa semicontinua inferiormente adecuada, para el cual un cierto conjunto asociado
es no vacío y acotado, así como algunos ejemplos y propiedades. En la Sección 2 se demuestra que para una amplia clase de
funciones convexas semicontinuas inferiores el de los de la coercivas, la noción de radio numérica convexa tiene. Con este objetivo
establecemos una generalización del teorema de Bishop-Phelps para el contexto de la subdiferencial de una función coerciva,
semicontinua e inferiormente adecuada . Además, nos muestran un principio de variación de una perturbación que garantiza que el
subdiferencial de una función convexa semicontinua inferiormente adecuada es sobreyectiva, bajo cierta hipótesis de compacidad.
Finalmente, la sección 3 se ocupa de un resultado tipo James para radio numérico convexo que implica la siguiente versión del
teorema de James para el radio numérico [2, Teorema 1]: un espacio de Banach es reflexivo siempre que cada operador de rango
uno alcance su radio numérico. Como cuestión de hecho, proporcionamos una condición suficiente, en el espíritu de este resultado.

Dirección de correo electrónico: mruizg@ugr.es.

0022-247X / $ - see front matter  2009 Elsevier Inc. Todos los derechos reservados. doi: 10.1016 /
j.jmaa.2009.07.037
 482 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491

En consecuencia, no sólo para la reflexividad, sino también para la compacidad débil de cualquier subconjunto no vacío, acotado,
limitado, cerrado y convexo de un espacio de Banach.
Las nociones topológicas se referirán a los de la topología de la norma, a menos que indiquemos lo contrario. Además, asumiremos
que el espacio de Banach es real, aunque los resultados son igualmente válidos en el caso complejo.

1. Convexo radio numérico asociado con una función convexa semicontinua inferiormente.

Sea E un espacio real de Banach, sea f: E →R ⋃ {∞} una función convexa adecuado, (su dominio efectivo, dom(f) :={x ϵ f ( x )< ∞
, es no vacio )y una función semicontinua inferiormente,sea ɛ≥0 y sea xϵdom(f). Recordemos que la ɛ-sub-diferencial de f en x es el
subconjunto de E* (Espacio dual topológico de E)
∂ε f(x):={x*∈ E*: Para todo y ∈ E, x* ( y - x) ≤ f( y)-f(x) + ε }
mientras que para x ϵ dom(f), ∂ε f (x) :=∅ . El 0-subdiferencial de f en x, simplemente llamado el subdiferencial, se denota por ∂ f(x).
Ahora introducimos el concepto básico de este trabajo:

Definición 1.1. Sea E un espacio de Banach real, sea TϵL ( E) y sea f :E →R una función convexa semicontinua inferiormente
adecuada tal que el conjunto:
Πf : = (x, x*) ∈ E × E*: x* ∈ ∂ f (x) y 0 <∣∣ x*∣∣≤1}
es no vacío y acotado. El radio numérico convexo asociado a f de T es el número real
v f(T) : = sup{∣ x* (T x)∣ : (x, x*) ∈ Πf }

1
Así, por ejemplo, si E es un espacio de Banach real, no trivial y f: E → R es la función convexa y continua x→ 2 ∣∣x∣∣2
entonces es un hecho bien conocido (ver [17, Ejemplo 2.26]) que para todo x ∈ E = dom (f) tenemos que
∂f(x) = {x* ∈ E*: x* (x) = ∣∣x*∣∣ ∣∣x∣∣ y ∣∣x*∣∣=∣∣x∣∣},

por lo tanto, vf está de acuerdo con el radio numérico clásico. Para dar otro ejemplo, considere un subconjunto no vacío, acotado,
cerrado y convexo A de E y su función indicadora δ A : E → R ∪ {∞}, Es decir, para x ∈ E

0, si xϵA,
δA(x) :=
∞, de otra manera

Entonces es obvio que para todo x ∈ A = dom(δA),

∂δA(x) = { x*∈ E*: x* (x) =sup x*}
A

así que
Π δ A = {(x,x*) ∈ E × E*: x* es un soporte funcional de A en x y 0 < ∣∣x*∣∣≤ 1}
Observe que, por un lado, como consecuencia del teorema de Bishop-Phelps [5], ΠδA es no vacío; y por otro lado, que ΠδA está
claramente acotado. Por otra parte, vδA generaliza el radio numérico clásico v, ya que BE denota por ser la bola unidad cerrada de E,
se cumple que vδBE =v.
En la siguiente sección que damos a una amplia clase de funciones convexas para las que Πf es no vacío y acotado. Está claro que
Vf es un seminorma continua en L(E). En el siguiente resultado obtenemos otra estimación del radio numérico convexo. Dado un
espacio real de Banach, P representa la proyección natural de E × E* en E y por una función convexa semicontinua inferiormente
f: E → R ∪ {∞}, x ∈ dom (f) y y ∈ E escribimos

d+ f(x)(y):= lim f (x+ty ) - f (x)

t→0+ t

cuando existe este límite, es decir, d+ f(x)( y) es la derivada direccional de f en x en la dirección de y.

Proposición 1.2. Sea E un espacio real de Banach real, y sea f:E → R ∪ {∞} sea f una función convexa semicontinua
inferiormente adecuada de tal manera que Πf es no vacío y acotado. Entonces

T ∈ L(E) ⇒ v f (T ) ≤ sup d+ f (x)(ɛT x).

x∈P(Πf ), ε= ±1
 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491 483

Prueba. Es un hecho bien conocido (ver [10, la Propuesta 4.2.5]) que para cada x ∈ dom (f) se cumple que
x* ∈ ∂ f (x) ⇔ x* ≤d+ f (x).
En particular, dada (x0 ,x0*) ∈ Πf y T ∈ L (E), sea ε0 ∈ {-1,1} tal que |x0*( T x0 )| = x0* (ε0 T x0 ). Entonces

∣x0* (T x0)∣ = x0* (ε0 T x0 ) ≤ d+ f (x0) (ε0 T x0) ≤ sup d+ f (x) (εT x),
x∈P(Πf ), ε= ±1

por lo tanto
f
v (T ) ≤ sup d+ f (x) (εT x)
x ∈P(Πf ),ε=±1

tal como se anunció. □

Es fácil comprobar que no podemos prescindir de la d⁺ f (x) (- T x) términos en el lado derecho de la desigualdad anterior: si E
es un espacio real de Banach distinto cero y f: E → R es la función continua y convexa f: = 1/2 ∣∣·∣∣ , entonces para T =-IϵL(E) (I
es la asignación de identidad en E) tenemos que

v f (T) = v(T) = 1,
mientras que para todo x ∈ E
d+ f (x) (T x) = - x 2,
por consiguiente

v f (T) = 1 > 0 = sup d+ f (x) (T x).

x∈P(Πf )

Observe también que en cualquier espacio real E no trivial de Banach existe una función convexa semicontinua inferiormente
adecuada f :E→ R ∪ {∞} con Πf no vacío y limitada y un operador T ∈ L(E) tal que

v f (T ) < sup d+ f (x) (εT x).

f
x∈P(Π ), ε= ±1

En efecto, es suficiente para definir la función convexa semicontinua inferiormente adecuada f: E → R por

f (x) : = máx { ∣∣x∣∣ , 2∣∣ x∣∣ – 1} (x ∈ E).

Ya que
Π f = (0 × B E * ) ∪ {x* ∈ E*: x*= 1 y x* (x) = ∣∣x∣∣ para algún x con 0 < ∣∣x∣∣ <1
entonces T = I ∈ L(E) satisface que

v f (T) = 1
y
sup d+ f (x) (T x) = 2,
f
x∈P(Π )

asi que

v f(T) < sup d+ f (x) (εT x).

x∈P(Πf), ε= ±1

Sin embargo, bajo ciertos suposiciones adicionales podemos obtener la igualdad en la Proposición 1.2. Antes de establecer
este resultado mostramos un lema técnico, interesante en sí mismo, en el que caracterizamos en términos del subdiferencial
los puntos que pertenece al dominio efectivo. Escribimos “int” para “topológica interior”.

Lema 1.3. Supongamos que E es un espacio real de Banach y que f : E→R ∪ {∞} es una función convexa semicontinua inferiormente
adecuada tal que int(dom( f ))≠∅. Si x0 ∈ dom(f) con ∂ f (x0) ≠ ∅, entonces
x0 ∈ int dom( f ) ⇔ ∂ f (x0) es débilmente compacto.
 484 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491

Prueba. En [17, proposiciones 1.11 y 3.3] se demuestra que si x0 ∈ int (dom (f)), entonces ∂ f (x0) es un (no vacío, y convexa) subconjunto
compacto debil de E *. Y a la inversa, si x0 ∈ dom (f) \ int (dom (f)), como int (dom (f)) es un no vacío, subconjunto convexo y abierto de
E, que se deriva de la Hahn-Banach teorema de la existencia de x*∈ E* tal que

∣∣x∣∣=1 y x* (x0)= sup x* . (1.3.1)

dom( f )

Ya que estamos suponiendo que ∂ f (x0 ) ≠ ∅, sea x0*∈ ∂ f (x0 ) y sea t > 0. Entonces x0* + tx* ∈ ∂ f (x0 ), porque si x ∈ dom( f ) tenemos que

x0* (x – x0) + tx* (x- x0 ) ≤x0* (x- x0 ) (por (1.3.1))

≤(f (x) - f (x0).
Por lo tanto, ∂ f (x0) no está lacotada porque x*≠0, y por lo tanto no es débilmente compacto. □

El caso específico de E sea finito dimensional se afirmó en [18, Teorema 23.4]. Si uno supone que en la prueba anterior, el teorema
de Hahn-Banach podría ser reemplazado por el de Bishop-Phelps, no es posible, ya que si int(dom (f))= ∅, entonces el Lema 1.3 falla:
Sea E un espacio real de Banach para el cual existe un subconjunto convexo cerrado no vacío y acotado A con un interior vacío de tal
manera que algún x0ϵA no es un punto de apoyo (ver [14, Ejemplo 5.3] para tal E y A). Entonces f=δA tiene un dominio eficaz con un
interior vacío, pero ∂ f (x0)=0 está acotado.
Si A es un subconjunto no vacío de E escribimos

∂ f (A) := {x* ∈ E*: existe x ∈ dom(f ) ∩ A tal que x* ∈ ∂ f (x)}

Proposición 1.4. Sea E un espacio real de Banach y sea f :E→ R ∪ {∞} ser una convexa, adecuada y menor función semicontinuo
tal que Πf es no vacío y acotado. Suponga, además, que int(dom(f))≠∅ y que
∂ f( P (Πf)) ⊂ B E * . (1.4.1)
Entonces

T ∈ L(E) ⇒ v f (T ) = sup d+ f (x) (εT x).

f
x∈P(Π ), ε= ±1

Prueba. Sea T ∈ L (E). Una desigualdad se sigue de la Propuesta 1.2. Con el fin de exponer el otro, consideremos x 0 ∈ P (Πf ). Tenemos por
(1.4.1) y el Lema 1.3 que x0∈ int (dom (f)). Luego, en vista de [10, Teoremas 4.1.8 y 4.2.7] existe x0* ∈ ∂ f (x0) tal que
* d+ f (x ) (T x ) =x *ϵT (x )
0 0 + 0

por lo tanto

d+ f (x0) (T x0 )≤∣ x+* (T x0)∣≤ v f (T ) (por (1.4.1)) .

De la misma manera se prueba la existencia de x-*∈ ∂ f (x0) de tal manera que

d+ f (x ) (-T x ) = x *(-T x ),
0 0 - 0

que junto con (1.4.1) da

d+ f (x0) (-T x0) ≤v f (T ).

Como x0 es cualquier elemento en P (Πf), donde finalmente se deduce que

sup
d+ f(x) (εT x) ≤ v f(T )
x∈P(Πf ), ε= ±1

y por lo tanto tenemos la igualdad propuesto. □

Las observaciones sobre la Proposición 1.2 anterior también demuestran que no podemos eliminar los términos d+ f (x) (-T x)
-
de la condición (1.4.1).
Proposición 1,4 generaliza un resultado bien conocido que relaciona el radio numérica clásico con la derivada direccional de
la norma:

Corolario 1.5. (Véase [8, § 9].) Si E es un espacio de Banach real, distinto de cero y T ∈ L(mi), entonces

v(T ) = lim yo + tεT - 1

,
máx

ε = ± 1 t → 0+ t
donde I denota la asignación de identidad en E.
 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491 485

Prueba. Sea f : = ·2 y sea T ∈ T (mi). Entonces

2

v(T ) = v F (T )
= cenar re+ F (X) (εT x) (Por la Propuesta 1.4)
X∈PAG (Π F ),

ε= ±1

X lim X + tεT x - X
= cenar
< X : s1 , ε = " → 0+ t
0
±1 t
X 2
lim X/ X + tεT x/ X - 1
= cenar

0 < X : s1 , ε = t → 0+ t
±1

= cenar lim X + tεT x - 1

+ t
X =1, ε= ±1 t→0
yo + t ε T - 1
= máx lim . □

ε = ±1 t
t → 0+
2. Coercitividad y el radio numérica convexa

Recordemos que una función f : mi - → R ∪ {∞} es coercitiva cuando

F (X)
lim = ∞.

X→ ∞ X

En esta sección se muestra que para una f tal, el conjunto Π f es no vacío y acotado.
= es cierto
No es di fi culto a demostrar que cuando E es reflexiva y f es coercitiva, entonces Π f es no vacío, porque ∂ f (E) E * (lo contrario
cuando dom (f) tiene un interior no vacío: véase [11]). De hecho, se puede afirmar algo mejor, aplicable a las necesariamente re fl espacios
reflexivas. Es el llamado principio de variación de una perturbación. Esta nomenclatura se introdujo en [9],
donde dicho principio aparece [9, el Teorema 2.1]. Este tipo de resultado garantiza la existencia de una función fija para el que
cada función en una amplia clase, perturbado por ella, alcanza su extremo superior.
En primer lugar un resultado técnico:

Lema 2.1. Sea f : mi - → R ∪ {∞} ser un coercitiva, convexa, la función semicontinua adecuada e inferior. Entonces

para todo x* ∈ mi*, X* - f está acotado superiormente.

Prueba. Takmi X*0 ∈ mi * . Ya que

X*0(X) - F (X)
lim = -∞ ,
X→ X
∞

entonces existe α> 0 tal que

X*0 (X) - F (X)

X �α ⇒ (; -1.
X
Por lo tanto, para x α

X*0 (X) - F (X) (; -α .

Finalmente demostremos que x*0 - F yos también delimitada anteriormente en α s e g u n d o mi , o equivalentemente, f está limitada hacia
abajo en α s e g u n d o mi . Sea X1 ∈ hacermetro( F ) y deja ε > 0. Puesto que f es una convexa, adecuada y menor función semicontinua, a
*
continuación, ∂ε F (X1) / = ∅ (Ver [17, la Propuesta 3,15]). Sea x1 ∈ ∂ε F (X1), es decir,
 486 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491
for Alabamal X ∈ mi , X*1 (X - X1 ) (; F (X) - F (X1) + ε ,

por lo tanto

X (; α ⇒ F (X) � F (X1) - X*1(X1 ) - ε - α 1X*1 1

unre f estará limitada hacia abajo en α ser. Por lo tanto, x * 0 - f está acotada superiormente como se había anunciado. □

Ahora podemos establecer el principio de variación de una perturbación anunciado:

 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491 487

Propuesta 2.2. Si E es un verdadero espacio de: Banach

- → y∪f miR es un coercitiva, convexa, adecuada y menor
función semicontinuo tal que {∞}
r∈ R ⇒ F -1 (-∞, r] es débilmente compacto ,

entonces ∂ F (mi) = mi*. En particular,Π F / = ∅.

Prueba. Debemos mostrar

X* ∈ mi * ⇒ X* - F alcanza su supremo.
Así, Sea x * 0 ∈ E *. Gracias a Lema 2.1 sabemos que

ρ := Dopag X*0 - F < ∞.

m
i
Dejar {xn}norte�1 una secuencia en E tal que
x lim*(X ) F (X )- ρ. (2.2.1)
norte�1
=
norte
Podemos suponer sin pérdida
orte
n
de generalidad, que
0
norte �1 ⇒ F
*
(Xnorte ) (; X0 (Xnorte ) + 1 - ρ . (2.2.2)
Nosotros derivar de esta última condición que la secuencia{}x n n1 es limitada, porque de lo contrario, tomar una subsecuencia si
nece- Essary,

x limnorte = ∞,
nort
e�1
y de acuerdo con (2.2.2) se seguiría que
(
F (Xnorte ) X*0(Xnorte ) 1
limetro (; lim +
norte�1 Xnorte norte�1 Xnorte Xnorte
\
-ρ
que contradice la coercitividad de f. Por lo tanto, n1 xn
{ }está limitada, y esto y (2.2.2) dan la existencia de r R tal que ∈
< ∞,
norte 1 ⇒ Xnorte ∈ F -1 (-∞, r] .
Thmi débil compacidad de f -1 ((-∞, r ]), the upper semicontinuity of x*0 - F unre (2.2.1), nos proporcionará una x0 ∈ F -1 ((-
∞, r ]) yonorte de tal manera que x*0 - F AttaEn s su supremo en x0, esto es, x*0 ∈ ∂ F (X0 ). La arbitrariedad de x*0 ∈ mi * muestra que
∂ F (mi ) = mi *. □

Lo contrario de la proposición 2.2 se ha indicado en [15] bajo la hipótesis adicional de que la bola unidad de doble BE * es
secuencial débil estrella compacta. Aún así, podemos garantizar que Π f es no vacío para una función coercitiva, suponiendo que no
hay hipótesis de concisión. Con este fin vamos a dar una generalización del teorema de Bishop-Phelps para el subdiferencial de la
función semicontinua una convexa, adecuada e inferior. Dicho resultado un tipo de Bishop-Phelps se debe indicar en estos términos:
el subd-
ifferential de cada adecuada, convexa y semicontinua inferiormente función f: E - → R ∪ {∞} tiene rango denso en E *. Está claro que esta
afirmación es falsa para cualquier función tal: su fi cinas a tener en cuenta F ; en este caso ∂ f (E) SER * . Parecería
= · =
necesario asumir una condición de crecimiento determinado (coercitividad) con el fin de deducir que el conjunto ∂ f (E) es lo suficientemente
grande:

Teorema 2.3. Sea f : mi - → R ∪ {∞} ser un coercitiva, convexa, la función semicontinua adecuada e inferior. Entonces

∂ F (mi) = mi*.
En particular, Π F / = ∅.

Prueba. Dejar X*0 ∈ mi * . En vista de Lemma 2,1, x*0 - F yos acotado superiormente, es decir, existe M ∈ R such ese

for Alabamal X ∈ mi , X*0(X) - F (X) (; METRO .

Deje x0 cualquier elemento en dom (f) y dejar que ρ> 0 tal que

METRO < X*0 (X0) - F (X0) + ρ .

Entonces, si x ∈ dom( F ) tenemos que

X*0(X) - F (X) (; METRO < X*0 (X0 ) - F (X0) + ρ ,
 488 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491

y por lo tanto

X*0 ∈ ∂ρ F (X0).
Dejar ε > 0; el teorema de Brønsted-Rockafellar [17, Teorema 3.17] nos proporciona una xε ∈
hacermetro( F ) unre una∈x*ε ∂F
(Xε ) de una manera que
ρ
Xε - X0 (; y 1X* - Xε *1 (;0 ε.
ε

Entonces, ya que ε > 0 es arbitraria, se deduce que x*0 ∈ ∂ F ( mi ). Por lo tanto, hemos demostrado que cada x*0 ∈ mi * segundoelongs
a ∂ F ( mi ), es decir, ∂ F (mi ) = mi *. □

Observmi que si f no es coercitivo, entonces no podemos esperar que incluso Π f es no vacío: que mezcl cinas fi cientes para tomar f = x *
0 ∈ E * con
X*0 > 1. Observamos que el clásico teorema de Bishop-Phelps es una consecuencia directa del teorema 2.3.
Finalmente, se muestra que si f es coercitiva, entonces Π f es también limitada. Para un subconjunto no vacío de E * B escribimos
F 1
(∂ F )-1(segundo) : = X ∈ dom( F ): Existe x* ∈ segundo de tal manera que x* ∈ ∂ F (X) .

Proposición 2.4. Supongamos que E es un verdadero espacio :de - →

Banach, que f mi R es una función coercitiva
semicontinuo, convexa, adecuada e inferior y que B es un subconjunto acotado y no vacío de E * . Entonces

(∂ F )-1(segundo) está ligado.

En particular Π F está ligado.

Prueba. Suponemos, sin pérdida de generalidad que B ⊂ SER* . Dado que para cada x* ∈ segundo
( \
F ( X)
lim X * (X ) - F ( X ) 1- = -∞,
lim
(;

X→ ∞ X X→ ∞ X
ento
nces

X
X*(X) - F (X)
lim = -∞, uniformemente sobre x* ∈ segundo.
X→
∞

deje x0 ∈ dom( F ). Entonces existe r 1 de tal manera que

l
X r, X*(X) - F (X) <
⇒ - X0 - 1 F (X0)1.
X* ∈ X
si x r yx* ∈ segundo entonces
segund
Por lo tanto,
o,
X*(X) - F (X) < -rx0 + 1 F (X0)1 (; - X0 - 1 F (X0)1 (; X*(X0) - F
Así, (X0).
l
X r,
⇒ X*(X) - F ( X ) < X*(X0) - F (X0)
X* ∈
segund
y, en consecuencia, si x* ∈ ∂ F (X) ∩ segundo entonces x < r, O en otras palabras
o,
(∂ F )-1(segundo) ⊂ rBmi
y (∂ F )-1(segundo) está ligado. □

El resultado anterior es falsa claridad si se elimina el supuesto de coercitividad: considere un trivial verdadero espacio de
Banach E y el convexo y función continua=F· . Entonces se deduce del teorema de Hahn-Banach que Π f no está acotada.
El siguiente resumen de los resultados de esta sección muestra que para la clase de funciones coercitivas, el concepto de
radio numérica convexa tiene sentido:
 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491 489

Corolario 2.5. Si E es un verdadero espacio de

: - Banach
→ y f mi R es un coercitiva, convexa, adecuada y menor función
semicontinua, a continuación, Π F
es no vacío y acotado.

En vista de este resultado, a partir de ahora vamos a considerar solo funciones convexas, adecuados e inferior
semicontinuos que son coercitiva.
490 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491

3. Los operadores que alcanzan el radio numérica convexa

Comenzamos con la introducción de una noción de optimización relacionados a convexo radio numérica:

De fi nición 3.1. Sea E un espacio de Banach reales, sea f : mi - → R ∪ {∞} ser un coercitiva, adecuada, convexa y una menor
función semicontinua y sea T ∈ L(mi). Decimos que T alcanza su radio numérica asociada a f cuando

El rmi existes X0, X*0 ∈ Π F such that1 X*0( T X01) = v F ( T ).

Un extenso trabajo se ha desarrollado durante los últimos años para la consecución de radio operadores numéricos clásicos (ver
[1,4,12,16] y las referencias en él). En el teorema 3.2 se generaliza, por el contexto de la radio numérica convexa, la siguiente versión
del teorema de James para el radio numérica [2, Teorema 1]: si todos los rangos de un operador de E alcanza su radio numérica,
entonces E es reflexiva. Recordemos que sup teorema de James [13, Teorema 4] caracteriza a los débiles compacidad de un no vacío,
limitado, cerrado y subconjunto convexo A de un verdadero espacio de Banach E en términos de sus funcionales de apoyo: A es
débilmente compacta a condición de que cada continua y funcional lineal en E alcanza su extremo superior en a,⊂o de forma
equivalente, ser * ∂δA (E). En
Corolario 3.5 obtenemos una condición fi ciente do con el fin de que un no vacío, limitado, cerrado y subconjunto convexo de un
espacio de Banach débilmente compacto, que generaliza la versión mencionada del teorema del sup James para el numérica
radio. La siguiente notación será útil en la secuela: si f E* : -→ R ∪ es un adecuado, convexa y semicontinua
inferiormente {∞}
función, se tendrá en cuenta el conjunto
F 1
Π *F : = (X*, X) ∈ mi * × mi: X ∈ ∂ F (X*) y 0 < X (; 1 .
Si A es un no vacío, limitado, cerrado y subconjunto convexo de E, A * es el débil * cierre de A en E **; y, además, escribiremos “co” y “co
*” para “la envolvente convexa cerrada” y “los débiles casco convexo * cerrado”, respectivamente.

Teorema 3.2. Sea E un espacio de Banach real, y sea g : mi** - → R ∪ {∞} ser una convexa, adecuada y menor función
semicontinua tales
ese

segundomi* ⊂ ∂ gramo(mi**)

y su restricción a E, f : = gramo|mi, Es coercitiva. Supongamos que si T es un rango y un operador de E entonces

T alcanza su radio numérica convexa asociada con f

y
** * *
v F (T ) = cenar 1X (T X )1. (3.2.1)
(X**,X*)∈Πgra*
mo
Ento
nces

segundomi* ⊂ ∂ F (mi).
Prueba. En primer lugar, observemos que SU cinas fi cientes para demostrar que Π F = Πgramo. En efecto, si x* ∈ SER* \ {0} (Para
x* = 0 es obvio),
* 00
**),
desde BE* ⊂ ∂
gramo(mi

El rmi existes X *0* ∈ mi ** such that X *0 ∈ ∂ gramo X*0* .

Asi que (X**, X*) ∈ Πgramo, y si Πgramo = Π F entonces x0 : = X** ∈ mi , Por lo tanto x* ∈ ∂ F (X0).
00 * * 00 amo
** * gr ** * F
F
gramo
Por lo tanto, vamos a demostrar que Π = Π* . Dejar (X0 , X0) ser un elemento de Π* y vamos a demostrar que (X0 , X0) ∈ Π.
us Dejar
elegir algunos x0 ∈ SE con x * 0 (x0) = * 0. A continuación, el hecho de que cada rango-un operador alcanza el radio numérica convexa
asociada a f implica que cada E x ∈ * alcanza su extremo superior en el conjunto acotado
F 1
segundo : = μy*(X0) y: ( y, y*) ∈ Π F , μ = ±1 .
Por lo tanto, el teorema de James garantiza que el co conjunto (B) es débilmente compacto. Por otro lado, la escritura
F
do : = μy*(X0) y**: ( y**, y*)
X mi * ⇒ sup x* = sup x*,
do *
∈ s
y así,
egundo ∈ se llega a
tenemos por (3.2.1) que
 gramo M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491 491
Π* , μ
=

±1
1
,

co*(do) = co*(segundo).
 492 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491

Esta identidad final y el hecho de que la co (B) es dar débilmente compacto

co*(do) = co*(segundo) = co(segundo)

y en particular

do ⊂ mi.
Finalmente, puesto que x*0 (X0 ) /= 0 yx*0 (X0 )X*0* ∈ do , entonces

X*0* ∈ mi .
Por lo tanto x** ∈ mi y (X**, X*) ∈ Π F . Por lo tantoΠ F = Πgramoy
000 *

segundomi* ⊂ ∂ F (mi)
según sea necesario. □

Dado que para g2 = 1 · 2 o g = Deltamb ** condición (3.2.1) es satisfecha (ver [2, Lema 1]), la versión mencionada de sup de James
teorema en términos de radio de la consecución
i de los operadores numéricos clásicos [2, el teorema 1] es un caso particular
clara del Teorema 3.2. Tenga en cuenta que no podemos esperar que todos los rangos y un operador de alcanzar el radio
numérica convexa asociada a un coercitiva, : - → ∪ {∞}
convexa, adecuada y menor función semicontinua f, aunque para cada extensión de f a E ** g E ** R convexo,
la función apropiada y menor semicontinuo tal que

segundomi* ⊂ ∂ gramo(mi**)
y satisface (3.2.1) necesariamente

segundomi* ⊂ ∂ F (mi),
2: véase [2, Ejemplo].
incluso en el caso F = · 1
2
También debemos observar que la igualdad (3.2.1) no se sostiene de forma automática: en cualquier nonre reflexiva verdadero espacio
de Banach E existe una convexa, adecuada y semicontinua inferiormente función g : mi** - → R ∪ {∞} de tal manera que su restricción |
a E, f : = g E , Es coercitivo, pero (3.2.1) falla.*En efecto, sea x0 ∈ mi * unre sea x** ∈ mi ** such que x*0* ∈
/ mi unre X*0* (X*0 ) > 1 = X*0
unre considerar
F : = δsegundo y G : = δdo , donde C = co(SER ∪ {X**}). Está claro que(X**, X*) ∈ Πgramo ; Así, para T = yo tenemos que
mi 0 00 *

v F ( T ) = 1 < X*0* X*0 (; cenar 1X**(T *X*)1.

(X**,X*)∈Πgramo
*

Como demostramos en este momento, la condición (3.2.1)= se cumple para g? A* y por lo tanto, el Teorema 3.2 da compacidad
débil para A. El si- lowing consecuencia del teorema de Brønsted-Rockafellar es una versión del teorema de Bishop-Phelps-Bollobás
[6, Teorema 1] para el radio numérica convexa asociada con? A:

∈∈ E,
Lemmun 3.3. Let A un no vacío, limitado, cerrado y subconjunto convexo de un espacio de Banach =sea x0 A, sea x*0 mi *
ingenioh X*0 1y
dejar ε > 0 tal que

X*0 (X0) �Dopag X-*0 ε.

UN

Entonces, dado 0 < λ < 1, El rmi exist X1 ∈ UN y X*1 ∈ mi * ingenioh X*1 = 1, tal tsombrero
ε 2λ
X1, X* ∈ Π δ UN , X1 - X0 (; y 1X* - X*1 (; .

1
λ 10
1- λ

Prueba. Sabemos que, por

hipótesis,

X*0 (X0) �Dopag X-*0 ε,

UN

que es claramente equivalente a

X*0 ∈ ∂ε δ UN (X0).

Entonces, para 0 <λ <1, se deduce del teorema de Brønsted-Rockafellar [17, Teorema 3,17] que no existe y1 ∈ A y
y1* ∈ ∂δUN( y1) de tal manera que
ε
 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491 493
X0 - y 1 (; (3.3.1)
λ
y
1X* - y * 1 (; λ. (3.3.2)
0 1
490 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491

* *
yonorte particular, puesto
" =que x0 /= : =:1 =y 0 < λ < 1, Después y1 0 y hemos, ∈
teniendo x1 y 1 unre X*1 y *1 / y *1 , ese (X1 , X*1 ) Πδ UN . Finalmente,
en vista de (3.3.1), ε
X0 - X1 = X0 - y1 (;
λ
y

1X* - X*1 = y1 X0 - y1
* **
0 1
y *1
X*0 - y *1 + ( y *1 - 1)X*0
=
y *1
X0 - y 1 + |1 - y *1 |
* *
(;
y *1
2λ
(; por (3.3.1) y (3.3.2) . □
1- λ

La siguiente sentencia afirma técnica, en el caso particular de un ser BE, el hecho bien conocido de que el radio numérico
de un operador y su traspuesta coinciden (ver [8, Corolario 17.3]).

Propuesta 3.4. Supongamos que A es un no vacío, limitado, cerrado, subconjunto convexo y equilibrado de un espacio∈de
Banach E, y deja T
L( mi
). Entonces
F δUN* 1
vδUN(T ) = cenar
1 X**(T1 *X*) : (X**, X**) ∈ Π .

δ *
Prueba. Ya que Π δ U N ⊂* Π UN , La desigualdad (; es trivialmente satis fi ed. Con el fin de demostrar que el otro, vamos fi x ε
> 0 y 0 < Λ < 1. En aras de la simplicidad, escribamos α reposar durante sup{|X**(T *X*)|: (X**, X*) ∈ Π }. Elijamos
δ UN
*
** * δUN*
(X0 , X0 )* *∈ Π
* de tal *manera que
X0 T * X*0 �α - ε . (3.4.1)
1 1
Wmi puede asumir claramente que x * 0 = 1. En virtud de la w * -denseness de A en A *, podemos hallar x0 ∈ A tal que

1
1 X* * - X0 T * X* (; ε (3.4.2)
0 0
y
1
1 X* * - X0 X* (; ε. (3.4.3)
0 0
Ento
nces
11X* ( T X0) = X* * T * X* - X* * - X0 T * X* 1
0 0 0 0 0
1
�1X*0* T * X*0 11- X*0* - X0 T * X*0 1
α - 2ε por (3.4.1) y (3.4.2) . (3.4.4)
Además,

1
1X* (X0)1 = 1X* * X* + X0 - X* * X*
0 0 0 0 0
1 ** * 1 X
X -ε segundoy
� X*0* X*0 - ε
(3.4.3) 0 0
δUN*
= sup x0∗ - ε X**,0X* ∈
0 Π *
U
N*
= Dopag X*0 - ε . (3.4.5)
U
N
Dejar μ = ±1 con x0 (μX0 ) = |(X*0 (X0 )|. yonorte vista de (3.4.5), uno tiene que
*

X*0(μX0 ) �Dopag-X*0 ε
UN

unre ya que A es equilibrada, μX0 ∈ UN. A continuación, el Lema 3.3 nos proporciona x1 ∈ UN unre X*1 ∈ mi * ingenioh X*1 = 1, de tal
 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491 491
manera que
2λ
ε
X1, X* ∈ Π δ UN , y 1X* - X*1 (;
1 1 0
X1 - μX0 (; λ 1- λ. (3.4.6)
 490 M. Ruiz Galán / J. Math. Anal. Appl. 361 (2010) 481-491

Ento
nces
X*1 ( T X1 ) = X*1 - X*0 ( T X1 ) + X*0 T (X1 - μX0) + X*0( T μX0 )
�1X*0( T X0)1 - 1X*1 - X*01 T X1 - T X1 - μX0
ε
α - 2ε - T diam( UN) - 1 por (3.4.4) y (3.4.6) .
λ
En particular,

ε
v δ UN ( T ) α - 2ε - T diam( UN) - 1
.λ
Pero ε> 0 y 0 <λ <1 son arbitrarias, por lo tanto

vδUN(T ) α
y la prueba está completa. □

Como hemos dicho anteriormente, para el radio numérica convexa asociada con? A llegamos a la siguiente condición FFI su ciente
para compacidad débil que generaliza [2, el Teorema 1]:

Corolario 3.5. A no vacío, limitado, cerrado y convexo subconjunto A de un verdadero espacio de Banach E es débilmente
compacta, siempre que todos los rangos primer operador alcanza su radio numérica convexa asociada a δUN.

Prueba. Nosotros puede asumir claramente que A es equilibrada. Consideremos las funciones g: = δUN * y f = δ UN . El débil*
compacidad de A* en E** garantiza que BE* ⊂ ∂ gramo (mi **). La prueba se sigue de la Proposición 3.4 y el Teorema 3.2. □

Expresiones de gratitud

Investigación parcialmente apoyado por el MEC (España) y el proyecto FEDER Nº MTM2006-12533, y por la Junta de Andalucía de Grant FQM359.

referencias

[1] MD Acosta, SG Kim, espesura de las funciones holomorfas que alcanzan su radio numérica, Israel J. Math. 161 (2007) 373 -386.
[2] MD Acosta, M. Ruiz Galán, una versión del teorema de James para el radio numérica, Bull. Londres matemáticas. Soc. 31 (1999) 67-74.
[3] Florida Bauer, en el campo de los valores subordinados a una norma, Numer. Mates. 4 (1962) 103-111.
[4] I. Berg, B. Sims, densidad de los operadores que alcanzan su radio numérica, J. Austral. Mates. Soc. Ser. A 36 (1984) 130-133.
[5] E. Bishop, RR Phelps, los funcionales de apoyo de un conjunto convexo, Proc. Sympos. Matemática pura. 7 (1962) 27-35.
[6] B. Bollobás, una extensión del teorema de Bishop y Phelps, Bull. Londres matemáticas. Soc. 2 (1970) 181-182.
[7] F. Bonsall, J. Duncan, rangos numéricos de operadores en espacios normados y de los elementos de Normed Álgebras, London Math. S oc. Nota
conferencia Ser., Vol. 2, Cambridge Univ. Press, Cambridge, 1971.
[8] F. Bonsall, J. Duncan, numérico Rangos II, Londres matemáticas. Soc. Nota conferencia Ser., Vol. 10, Cambridge Univ. Press, Cambridge, 1973.
[9] JM Borwein, L. Cheng, M. Fabián, JP Revalski, un principio variacional una perturbación y aplicaciones, establecer con valores anal. 12 (2004) 49-60.
[10] JM Borwein, QJ Zhu, Técnicas de análisis variacional, CMS libros de matemáticas., Vol. 20, Springer, 2005.
[11] B. Calvert, S. Fitzpatrick, Fe de erratas: En un espacio nonre reflexiva de l subdiferencial no es sobre, Math. Z. 235 (2000) 627.
[12] CS Cardassi, radio numérica consecución de los operadores en C ( K ) , Proc. Amer. Mates. Soc. 95 (1985) 537-543.
[13] RC James, conjuntos débilmente compactos, Trans. Amer. Mates. Soc. 113 (1964) 129-140.
[14] VL Klee, la estructura de Extremal convexa establece II, Matemáticas. Z. 69 (1958) 90-104.
[15] J. Orihuela, M. Ruiz Galán, teorema A de convexa James, pre-impresión.
[16] R. Payá, un contraejemplo a los operadores que alcanzan radio numérica, Israel J. Math. 79 (1992) 83-101.
[17] RR Phelps, funciones convexas, Operadores Monotone y diferenciabilidad, segunda ed., Lecture Notes in Math., Vol. 1364, Sprin ger-Verlag, Berlín, 1993.
[18] RT Rockafellar, análisis convexo, Princeton Univ. Press, Princeton, Nueva Jersey, 1970.