Ruiz Galan

Optimizacin convexa y su tratamiento numrico Resolucin numrica de ecuaciones diferenciales ordinarias Problemas abiertos Bibliografa
Mtodos numricos para problemas de

optimizacin convexa y ecuaciones
diferenciales
M. Ruiz Galn
Departamento de Matemtica Aplicada
Universidad de Granada
V Encuentro de Anlisis Funcional y sus Aplicaciones
Salobrea, 23 de abril de 2009
Esquema
1
Optimizacin convexa y su tratamiento numrico
Teorema de Lax-Milgram para ELC
Ecuaciones variacionales con restricciones
Sketch del algoritmo numrico
2
Resolucin numrica de ecuaciones diferenciales ordinarias
EDO y bases de Schauder
Simulaciones numricas
Otros tipos de ecuaciones
3
Problemas abiertos
Teorema de James convexo
Formulaciones variacionales mixtas de EDP
(E, < , >) Hilbert, y
0
E
a : E E R bilineal, continua,simtrica, para todo x E,
a(x, x) 0
x
0
E : J(x
0
) = min
xE
J(x),
J : E R funcional convexo
J(x) :=
1
2
a(x, x) < y
0
, x >
J alcanza su mnimo en x
0
a(x
0
, ) =< y
0
, >
(E, < , >) Hilbert, y
0
E
a : E E R bilineal, continua,simtrica, para todo x E,
a(x, x) 0
x
0
E : J(x
0
) = min
xE
J(x),
J(x) :=
1
2
a(x, x) < y
0
, x >
J alcanza su mnimo en x
0
a(x
0
, ) =< y
0
, >
Teorema de Lax-Milgram
E espacio de Hilbert real, a forma bilineal, continua y coercitiva
para todo y
0
E existe (nico) x
0
E : a(x
0
, ) =< y
0
, >
Esquema
1
2
3
Problemas abiertos
Ejemplo motivador
a(x, y) :=
k=1
1
k
x(k)y(k), (x, y
2
)
y
0
=
k=1
1
k
e
k
x
0

2
a(x
0
, ) ,=< y
0
, >
a(ke
k
, ) =< e
k
, >
Problema
Dada una forma bilineal y continua a en un espacio de Hilbert
real E, es posible caracterizar los y
0
E de forma que existe
x
0
E tal que a(x
0
, ) =< y
0
, >?
Ejemplo motivador
a(x, y) :=
k=1
1
k
x(k)y(k), (x, y
2
)
y
0
=
k=1
1
k
e
k
x
0

2
a(x
0
, ) ,=< y
0
, >
a(ke
k
, ) =< e
k
, >
Problema
0
x
0
E tal que a(x
0
, ) =< y
0
, >?
Ejemplo motivador
a(x, y) :=
k=1
1
k
x(k)y(k), (x, y
2
)
y
0
=
k=1
1
k
e
k
x
0

2
a(x
0
, ) ,=< y
0
, >
a(ke
k
, ) =< e
k
, >
Problema
0
x
0
E tal que a(x
0
, ) =< y
0
, >?
Teorema de Lax-Milgram en elc
E, F elc Hausdorff reales, E
elc Hausdorff real, y
0
F
,
a : E F R bilineal, , = C F convexo,
y C a(, y) E
. Entonces
existe x
0
E
: y C y
0
(y) x
0
(a(, y))
equivale a
existe seminorma continua p : E
R :
y C y
0
(y) p(a(, y))
Adems, en caso armativo, x
0
p
Corolario (caso normado, topologa fuerte en el dual)
E, F espacios normados reales, y
0
F
, a : E F R
bilineal, , = C F convexo, y C a(, y) E
. Entonces
existe x
0
E
: y C y
0
(y) x
0
(a(, y))
existe 0 : y C y
0
(y) |a(, y)|.
En caso armativo, si existe y C con a(, y) ,= 0, entonces
min|x
0
| : x
0
E
y para todo y C, y
0
(y) x
0
(a(, y))
=
_
sup
yC, a(,y)=0
y
0
(y)
|a(, y)|
_
+
Esquema
1
2
3
Problemas abiertos
R
n
abierto y acotado, frontera Lipschitz ,
f L
2
(), g H
1/2
(),
_
u = f en
u = g en
formulacin dbil
encontrar u H
1
() : u = g en
y para todo v H
1
0
(),
_
u v =
_
fv
condiciones de contorno
u = g en representa
0
(u) = g
0
: H
1
() H
1/2
() L
2
() operador traza
extensin lineal y continua a H
1
() del operador lineal y
continuo
0
: C
1
() L
2
(),
0
(x) = x
|
H
1/2
() :=
0
(H
1
()) L
2
().
imponiendo dbilmente las condiciones de contorno
H
1/2
() := H
1/2
()
, < , > paridad dual H

1/2
() H
1/2
()
0
(u) = g para todo w H
1/2
(), <
0
(u), w >=< g, w >
u = g en representa
0
(u) = g
0
: H
1
() H
1/2
() L
2
() operador traza
1
continuo
0
: C
1
() L
2
(),
0
(x) = x
|
H
1/2
() :=
0
(H
1
()) L
2
().
H
1/2
() := H
1/2
()

1/2
() H
1/2
()
0
1/2
(), <
0
(u), w >=< g, w >
u = g en representa
0
(u) = g
0
: H
1
() H
1/2
() L
2
() operador traza
1
continuo
0
: C
1
() L
2
(),
0
(x) = x
|
H
1/2
() :=
0
(H
1
()) L
2
().
H
1/2
() := H
1/2
()

1/2
() H
1/2
()
0
1/2
(), <
0
(u), w >=< g, w >
encontrar u H
1
() : u
|
= g, v H
1
0
()
_
uv =
_
fv
ecuacin variacional con restricciones
E := H
1
(), F := H
1/2
(), a : E E R, b : E F R
bilineales y continuas, x
0
E
, y
0
F
a(u, v) :=
_
uv, b(v, w) :=<

0
(v), w >
x
0
(v) :=
_
fv, y
0
(w) :=< g, w >
Z := v E : w F b(v, w) = 0 = H
1
0
()
encontrar u E tal que
_
z Z a(u, z) = x
0
(z)
w F b(u, w) = y
0
(w)
encontrar u H
1
() : u
|
= g, v H
1
0
()
_
uv =
_
fv
E := H
1
(), F := H
1/2
(), a : E E R, b : E F R
0
E
, y
0
F
a(u, v) :=
_
uv, b(v, w) :=<

0
(v), w >
x
0
(v) :=
_
fv, y
0
(w) :=< g, w >
Z := v E : w F b(v, w) = 0 = H
1
0
()
_
z Z a(u, z) = x
0
(z)
w F b(u, w) = y
0
(w)
encontrar u H
1
() : u
|
= g, v H
1
0
()
_
uv =
_
fv
E := H
1
(), F := H
1/2
(), a : E E R, b : E F R
0
E
, y
0
F
a(u, v) :=
_
uv, b(v, w) :=<

0
(v), w >
x
0
(v) :=
_
fv, y
0
(w) :=< g, w >
Z := v E : w F b(v, w) = 0 = H
1
0
()
_
z Z a(u, z) = x
0
(z)
w F b(u, w) = y
0
(w)
Problema
E, F Hilbert, x
0
E
, y
0
F
, a : E E R, b : E F R
bilineales continuas, Z := v E : w F b(v, w) = 0
_
z Z a(u, z) = x
0
(z)
w F b(u, w) = y
0
(w)
Corolario
E reexivo real, F normado real, a : E E R, b : E F R
bilineales, a continua, w F b(, w) E
, x
0
E
, y
0
F
Z := v E : b(v, ) = 0 y G := v E : b(v, ) = y
existe u E tal que

_
z Z a(u, z) = x
0
(z)
w F b(u, w) = y
0
(w)
G ,= y para algn v G existe 0 :

z Z x
0
(z) a(v, z) |a(, z)
|Z
|
En caso armativo, si existe z Z con a(, z)
|Z
,= 0, entonces
|u| = min
vG
_
sup
zZ, a(,z)
|Z
=0
x
0
(z) a(v, z)
|a(, z)
|Z
|
+|v|
_
Idea demostracin
v G, G = v +Z
existe z
0
Z : u = v +z
0
, a(z
0
, )
|Z
= x
0
|Z
a(v, )
|Z
existe 0 tal que z Z x
0
(z) a(v, z) |a(, z)
|Z
|
|u| = min
vG
_
sup
zZ, a(,z)
|Z
=0
x
0
(z) a(v, z)
|a(, z)
|Z
|
+|v|
_
Idea demostracin
v G, G = v +Z
existe z
0
Z : u = v +z
0
, a(z
0
, )
|Z
= x
0
|Z
a(v, )
|Z
0
(z) a(v, z) |a(, z)
|Z
|
|u| = min
vG
_
sup
zZ, a(,z)
|Z
=0
x
0
(z) a(v, z)
|a(, z)
|Z
|
+|v|
_
Idea demostracin
v G, G = v +Z
existe z
0
Z : u = v +z
0
, a(z
0
, )
|Z
= x
0
|Z
a(v, )
|Z
0
(z) a(v, z) |a(, z)
|Z
|
|u| = min
vG
_
sup
zZ, a(,z)
|Z
=0
x
0
(z) a(v, z)
|a(, z)
|Z
|
+|v|
_
a continua, simtrica, para todo x Z, a(x, x) 0
u solucin ecuacin variacional con restricciones
J(u) = min
vG
J(v),
J(v) :=
1
2
a(v, v) x
0
(v)
Corolario
Z := v E : b(v, ) = 0
y
0
F
, existe , > 0
z Z |z| |a(, z)
|Z
|
w F y
0
(w) |b(, w)|
Entonces para todo x
0
E
existe un nico u E tal que

_
z Z a(u, z) = x
0
(z)
w W b(u, w) = y
0
(w)
|u|
|x
0
|
+
_
1 +
|a|
y
0
(w) =< g, w >
g H
1/2
()
existe > 0 tal que w F y
0
(w) |b(, w)|
G = v H
1
() :<
0
(v), >= g , =
a(u, v) :=
_
uv
a coercitiva en Z = H
1
0
()
min
vG
_
_
1
2
|v|
2
fv
_
y
0
(w) =< g, w >
g H
1/2
()
0
(w) |b(, w)|
G = v H
1
() :<
0
(v), >= g , =
a(u, v) :=
_
uv
1
0
()
min
vG
_
_
1
2
|v|
2
fv
_
y
0
(w) =< g, w >
g H
1/2
()
0
(w) |b(, w)|
G = v H
1
() :<
0
(v), >= g , =
a(u, v) :=
_
uv
1
0
()
min
vG
_
_
1
2
|v|
2
fv
_
Corolario
Z := v E : b(v, ) = 0
existe , > 0
z Z |z|
2
a(z, z)
w F |w| |b(, w)|
Entonces, para todo x
0
E
, y
0
F
existe un nico u E tal que

_
z Z a(u, z) = x
0
(z)
w W b(u, w) = y
0
(w)
|u|
|x
0
|
+
_
1 +
|a|
_
|y
0
|
Esquema
1
2
3
Problemas abiertos
x
0
E : a(x
0
, ) = y
0
Unisolvencia en subespacios nito dimensionales E
j
F
j
Estabilidad
Propiedad de aproximacin en E:
lim
j 1
dist(x, E
j
) = 0
x
0
E : a(x
0
, ) = y
0
j
F
j
Estabilidad
lim
j 1
dist(x, E
j
) = 0
x
0
E : a(x
0
, ) = y
0
j
F
j
Estabilidad
lim
j 1
dist(x, E
j
) = 0
x
0
E : a(x
0
, ) = y
0
j
F
j
Estabilidad
lim
j 1
dist(x, E
j
) = 0
1
E espacio de Banach reexivo real, F espacio de Banach
real, a : E F R bilineal, continua, y
0
F
tales que
existe x
0
E : y
0
= a(x
0
, )
Bases de Schauder u
k
k1
en E v
k
k1
en F
2
E
j
:= linu
1
, . . . , u
j
, F
j
:= linv
1
, . . . , v
j
3
Resolvemos el problema variacional (sistema ecuaciones
lineales)
encontrar x
j
E
j
: a(x
j
, ) = y
0
|F
j
4
lim
j 1
|x
j
x
0
| = 0
1
0
F
tales que
existe x
0
E : y
0
= a(x
0
, )
Bases de Schauder u
k
k1
en E v
k
k1
en F
2
E
j
:= linu
1
, . . . , u
j
, F
j
:= linv
1
, . . . , v
j
3
lineales)
encontrar x
j
E
j
: a(x
j
, ) = y
0
|F
j
4
lim
j 1
|x
j
x
0
| = 0
1
0
F
tales que
existe x
0
E : y
0
= a(x
0
, )
Bases de Schauder u
k
k1
en E v
k
k1
en F
2
E
j
:= linu
1
, . . . , u
j
, F
j
:= linv
1
, . . . , v
j
3
lineales)
encontrar x
j
E
j
: a(x
j
, ) = y
0
|F
j
4
lim
j 1
|x
j
x
0
| = 0
1
0
F
tales que
existe x
0
E : y
0
= a(x
0
, )
Bases de Schauder u
k
k1
en E v
k
k1
en F
2
E
j
:= linu
1
, . . . , u
j
, F
j
:= linv
1
, . . . , v
j
3
lineales)
encontrar x
j
E
j
: a(x
j
, ) = y
0
|F
j
4
lim
j 1
|x
j
x
0
| = 0
Esquema
1
2
3
Problemas abiertos
edo no lineal
f C([, + ] R
n
R
n
, R
n
) Lipschitz
encontrar x C
m
([, + ], R
n
) tal que
_
x
m)
(t ) = f (t , x(t ), x
(t ), . . . , x
m1)
(t )), t [, + ]
x() =
0
, x
() =
1
, . . . , x
m1)
() =
m1
encontrar punto jo T : C
m1
([, + ], R
n
) C
m1
([, + ], R
n
)
(Tx)(t ) :=
0
+ (t )
1
+
(t )
2
2!

2
+ +
(t )
m1
(m1)!

m1
+
_
t
_
s
1

_
s
m1
f (s
m
, x(s
m
), x
(s
m
), . . . x
m1)
(s
m
))ds
m
ds
2
ds
1
edo no lineal
f C([, + ] R
n
R
n
, R
n
) Lipschitz
encontrar x C
m
([, + ], R
n
) tal que
_
x
m)
(t ) = f (t , x(t ), x
(t ), . . . , x
m1)
(t )), t [, + ]
x() =
0
, x
() =
1
, . . . , x
m1)
() =
m1
encontrar punto jo T : C
m1
([, + ], R
n
) C
m1
([, + ], R
n
)
(Tx)(t ) :=
0
+ (t )
1
+
(t )
2
2!

2
+ +
(t )
m1
(m1)!

m1
+
_
t
_
s
1

_
s
m1
f (s
m
, x(s
m
), x
(s
m
), . . . x
m1)
(s
m
))ds
m
ds
2
ds
1
t
1
, t
2
, . . . = [, + ], t
1
= , t
2
= +
j 1
1
(t ) = 1
Proposicin
n 1, f = (f
k
)
k=1,...,n
C([, + ] R
n
R
n
, R
n
),
x = (x
k
)
k=1,...,n
C
m1
([, + ], R
n
),
0
,
1
, . . . ,
m1
R
n
.
= (
k
)
k=1,...,n
C([, + ], R
n
)), (t ) = f (t , x(t ), . . . , x
m1)
(t )).
Entonces, para todo t [, + ]
(Tx)(t ) =
0
+ (t )
1
+
(t )
2
2!

2
+ +
(t )
m1
(m1)!

m1
+
_
_
i 1
(i )
k
_
t
_
s
1

_
s
m1
i
(s
m
)ds
m
ds
1
_
_
k=1,...,n
,
(1)
k
=
k
(t
1
)
y
(i )
k
=
k
(t
i
)
i 1
p=1
(p)
k

p
(t
i
), si i 2
T
j
x?
Funciones aproximantes
n 1, f = (f
k
)
k=1,...,n
C([, + ] R
n
R
n
, R
n
)
Lipschitz,
0
,
1
, . . . ,
m1
R
n
,

x C
m1
([, + ], R
n
), p 1
y n
1
, . . . , n
p
1,
y
0
(t ) :=

x(t )
r = 1, . . . , p
L
r 1
(t ) := f (t , y
r 1
(t ), y
r 1
(t ), . . . , y
m1)
r 1
(t ))
y
r
(t ) :=
0
+ (t )
1
+
(t )
2
2!

2
+ +
(t )
m1
(m1)!

m1
+
_
t
_
s
1

_
s
m1
(Q
n
r
(L
r 1
(s
m
)))
k=1,...,n
ds
m
ds
2
ds
1
T
j
x?
Funciones aproximantes
n 1, f = (f
k
)
k=1,...,n
C([, + ] R
n
R
n
, R
n
)
Lipschitz,
0
,
1
, . . . ,
m1
R
n
,

x C
m1
([, + ], R
n
), p 1
y n
1
, . . . , n
p
1,
y
0
(t ) :=

x(t )
r = 1, . . . , p
L
r 1
(t ) := f (t , y
r 1
(t ), y
r 1
(t ), . . . , y
m1)
r 1
(t ))
y
r
(t ) :=
0
+ (t )
1
+
(t )
2
2!

2
+ +
(t )
m1
(m1)!

m1
+
_
t
_
s
1

_
s
m1
(Q
n
r
(L
r 1
(s
m
)))
k=1,...,n
ds
m
ds
2
ds
1
Error
1
, . . . ,
p
tales que para todo r = 1, . . . , p,
|Ty
r 1
y
r
| <
r
u solucin de la edo. Entonces
|uy
p
|

pm
((m1)p)!
M
p
e
M
|T
x|+
p
r =1
m(pr )
((m1)(p r ))!
M
pr
Si adems f (t , x
1
, . . . , x
m
) C
1
([, + ] R
n
R
n
, R
n
),
t
f ,

x
1
f , . . . ,

x
m
f lipschitzianas, entonces
L
r 1
acotada
|Ty
r 1
y
r
|
m
|L
r
(Q
n
r
(L
r
)
k
)
k=1,...,n
|
2
m
|L
r
|
h
Si adems f (t , x
1
, . . . , x
m
) C
1
([, + ] R
n
R
n
, R
n
),
t
f ,

x
1
f , . . . ,

x
m
f lipschitzianas, entonces
L
r 1
acotada
|Ty
r 1
y
r
|
m
|L
r
(Q
n
r
(L
r
)
k
)
k=1,...,n
|
2
m
|L
r
|
h
Esquema
1
2
3
Problemas abiertos
Ecuacin de Lienard (escalar)
_
_
_
y
(t ) +y(t )y
(t ) +y(t ) +y
2
(t ) = cos
2
t sint cos t
y(0) = 1
y
(0) = 0 , (0 t 1)
y(t ) = cos t
F : R R, F(x) :=
_
x
1
f (s)ds =
x
2
2

1
2
encontar x C
1
([0, 1], R
2
) tal que x(0) = (1, 0) y
x
(t ) = (t , x(t )), (0 t 1),

: [0, 1] R
2
R
2
(t , (x
1
, x
2
)) := (x
2

x
2
1
2
+
1
2
, x
1
x
2
1
+cos
2
t sint cos t )
x(t ) = (x
1
(t ), x
2
(t )) solucin pvi si, y slo si, x
1
(t ) solucin ecuacin
de Lienard
Ecuacin de Lienard (escalar)
_
_
_
y
(t ) +y(t )y
(t ) +y(t ) +y
2
(t ) = cos
2
t sint cos t
y(0) = 1
y
(0) = 0 , (0 t 1)
y(t ) = cos t
F : R R, F(x) :=
_
x
1
f (s)ds =
x
2
2

1
2
encontar x C
1
([0, 1], R
2
) tal que x(0) = (1, 0) y
x
(t ) = (t , x(t )), (0 t 1),

: [0, 1] R
2
R
2
(t , (x
1
, x
2
)) := (x
2

x
2
1
2
+
1
2
, x
1
x
2
1
+cos
2
t sint cos t )
x(t ) = (x
1
(t ), x
2
(t )) solucin pvi si, y slo si, x
1
(t ) solucin ecuacin
de Lienard
n N, n = 2
k
+1, k N
t
1
, t
2
. . . t
n
=
_
0, 1,
1
2
, . . . ,
2
k1
2
k
_
h =
1
2
k
y
r
, n
1
= = n
r
= n,

x = x(0)
E
nr
= max
i
[y
r
(s
i
) u(s
i
)[
u solucin exacta pvi
(n = 9, m = 9) (n = 17, m = 9) (n = 33, m = 9)
0 0 0 0
0.125 2.12 10
5
5.27 10
6
1.31 10
6
0.250 8.61 10
5
2.15 10
5
5.37 10
6
0.375 1.95 10
4
4.88 10
5
1.22 10
5
0.500 3.46 10
4
8.68 10
5
2.17 10
5
0.625 5.35 10
4
1.34 10
4
3.34 10
5
0.750 7.57 10
4
1.89 10
4
4.67 10
5
0.875 1.00 10
3
2.48 10
4
5.96 10
5
1 1.26 10
3
3.07 10
4
6.89 10
5
Sistema de edo no lineales
_
x
(t ) = (x
1
(t )x
2
(t ) t , x
2
(t )(x
2
(t ) x
1
(t )) +te
t
)
x(0) = (1, 0), x
(0) = (2, 1)
, (0 t 1)
x(t ) = (t +e
t
, t )
x(t ) = (1, 0)
(n = 9, m = 4) (n = 17, m = 5) (n = 33, m = 5)
(0, 0) (0, 0) (0, 0) (0, 0)
0.125 (1.08E 5, 3.54E 9) (2.66E 6, 3.76E 10) (6.64E 7, 7.09E 11)
0.250 (4.49E 5, 5.19E 8) (1.11E 5, 9.37E 9) (2.78E 6, 2.16E 9)
0.375 (1.05E 4, 3.50E 7) (2.63E 5, 6.91E 8) (6.58E 6, 1.66E 8)
0.500 (1.97E 4, 1.58E 6) (4.93E 5, 2.93E 7) (1.23E 5, 7.12E 8)
0.625 (3.18E 4, 5.88E 6) (8.12E 5, 9.02E 7) (2.01E 5, 2.13E 7)
0.750 (4.53E 4, 1.98E 5) (1.22E 4, 2.20E 6) (2.96E 5, 4.60E 7)
0.875 (5.28E 4, 6.30E 5) (1.69E 4, 4.23E 6) (3.66E 5, 4.53E 7)
1 (2.97E 4, 1.88E 4) (2.05E 4, 5.19E 6) (2.38E 5, 2.07E 6)
_
x
(t ) = (x
1
(t )x
2
(t ) t , x
2
(t )(x
2
(t ) x
1
(t )) +te
t
)
x(0) = (1, 0), x
(0) = (2, 1)
, (0 t 1)
x(t ) = (t +e
t
, t )
x(t ) = (1, 0)
(n = 9, m = 4) (n = 17, m = 5) (n = 33, m = 5)
(0, 0) (0, 0) (0, 0) (0, 0)
0.125 (1.08E 5, 3.54E 9) (2.66E 6, 3.76E 10) (6.64E 7, 7.09E 11)
0.250 (4.49E 5, 5.19E 8) (1.11E 5, 9.37E 9) (2.78E 6, 2.16E 9)
0.375 (1.05E 4, 3.50E 7) (2.63E 5, 6.91E 8) (6.58E 6, 1.66E 8)
0.500 (1.97E 4, 1.58E 6) (4.93E 5, 2.93E 7) (1.23E 5, 7.12E 8)
0.625 (3.18E 4, 5.88E 6) (8.12E 5, 9.02E 7) (2.01E 5, 2.13E 7)
0.750 (4.53E 4, 1.98E 5) (1.22E 4, 2.20E 6) (2.96E 5, 4.60E 7)
0.875 (5.28E 4, 6.30E 5) (1.69E 4, 4.23E 6) (3.66E 5, 4.53E 7)
1 (2.97E 4, 1.88E 4) (2.05E 4, 5.19E 6) (2.38E 5, 2.07E 6)
_
x
(t ) = (x
1
(t )x
2
(t ) t , x
2
(t )(x
2
(t ) x
1
(t )) +te
t
)
x(0) = (1, 0), x
(0) = (2, 1)
, (0 t 1)
x(t ) = (t +e
t
, t )
x(t ) = (1, 0)
(n = 9, m = 4) (n = 17, m = 5) (n = 33, m = 5)
(0, 0) (0, 0) (0, 0) (0, 0)
0.125 (1.08E 5, 3.54E 9) (2.66E 6, 3.76E 10) (6.64E 7, 7.09E 11)
0.250 (4.49E 5, 5.19E 8) (1.11E 5, 9.37E 9) (2.78E 6, 2.16E 9)
0.375 (1.05E 4, 3.50E 7) (2.63E 5, 6.91E 8) (6.58E 6, 1.66E 8)
0.500 (1.97E 4, 1.58E 6) (4.93E 5, 2.93E 7) (1.23E 5, 7.12E 8)
0.625 (3.18E 4, 5.88E 6) (8.12E 5, 9.02E 7) (2.01E 5, 2.13E 7)
0.750 (4.53E 4, 1.98E 5) (1.22E 4, 2.20E 6) (2.96E 5, 4.60E 7)
0.875 (5.28E 4, 6.30E 5) (1.69E 4, 4.23E 6) (3.66E 5, 4.53E 7)
1 (2.97E 4, 1.88E 4) (2.05E 4, 5.19E 6) (2.38E 5, 2.07E 6)
Esquema
1
2
3
Problemas abiertos
Volterra no lineal de segunda clase
x(s) = y(s) +
_
s
a
K(s, t , x(t ))dt , (s [a, b])
y : [a, b] R, K : [a, b] [a, b] R R continuas, existe
L > 0 de forma que para todo s, t [a, b], u, v R
[K(s, t , u) K(s, t , v)[ L[u v[
Volterra integro-diferencial no lineal
_
_
_
y
(t ) = f (t , y(t )) +
_
t
a
K(t , s, y(s)) ds, (t [a, b])
y(a) = y
0
y
0
R, K : [0, 1] [a, b] R R, f : [a, b] R R continuas,
existe L
f
, L
K
0 tal que para todo y
1
, y
2
R,
max
at b
[f (t , y
1
) f (t , y
2
)[ L
f
[y
1
y
2
[
max
at ,sb
[K(t , s, y
1
) K(t , s, y
2
)[ L
K
[y
1
y
2
[
Volterra no lineal de segunda clase
x(s) = y(s) +
_
s
a
K(s, t , x(t ))dt , (s [a, b])
y : [a, b] R, K : [a, b] [a, b] R R continuas, existe
L > 0 de forma que para todo s, t [a, b], u, v R
[K(s, t , u) K(s, t , v)[ L[u v[
Volterra integro-diferencial no lineal
_
_
_
y
(t ) = f (t , y(t )) +
_
t
a
K(t , s, y(s)) ds, (t [a, b])
y(a) = y
0
y
0
R, K : [0, 1] [a, b] R R, f : [a, b] R R continuas,
existe L
f
, L
K
0 tal que para todo y
1
, y
2
R,
max
at b
[f (t , y
1
) f (t , y
2
)[ L
f
[y
1
y
2
[
max
at ,sb
[K(t , s, y
1
) K(t , s, y
2
)[ L
K
[y
1
y
2
[
Fredholm de segunda clase no lineal
f (x) = u(x)
_
b
a
k(x, y, u(y))dy, (x [a, b])
R 0, f : [a, b] R, k : [a, b] [a, b] R R continuas
Fredholm integro-diferencial no lineal
y
(x) = g(x) +
_
b
a
G(x, t , y(t ))dt , (x [a, b])
g : [a, b] R, G : [a, b] [a, b] R R continuas
Fredholm de segunda clase no lineal
f (x) = u(x)
_
b
a
k(x, y, u(y))dy, (x [a, b])
R 0, f : [a, b] R, k : [a, b] [a, b] R R continuas
Fredholm integro-diferencial no lineal
y
(x) = g(x) +
_
b
a
G(x, t , y(t ))dt , (x [a, b])
g : [a, b] R, G : [a, b] [a, b] R R continuas
Esquema
1
2
3
Problemas abiertos
f : E R cpis, x E, f (x) <
f (x) = x
: para todo y E, x
(y x) f (y) f (x)
f x
alcanza su nmo en x x
f (x).
f cuadrtica
James
f (x) =
1
2
|x|
2
, f (E) = E
E reexivo
f x
f (x).
f cuadrtica
James
f (x) =
1
2
|x|
2
, f (E) = E
E reexivo
f x
f (x).
f cuadrtica
James
f (x) =
1
2
|x|
2
, f (E) = E
E reexivo
Proposicin
E espacio de Banach real con bola unidad dual
w
-secuencialmente compacta, f : E R cpis

lim
x
f (x)
|x|
=
f (E) = E
.
Entonces
para todo c R, f
1
((, c]) es w-compacto
Problema
Dados un espacio de Banach real E y una funcin convexa,
propia e inferiormente semicontinua f : E R de
forma que
lim
x
f (x)
|x|
=
y
f (E) = E
,
podemos asegurar que
para todo c R, f
1
((, c]) es w-compacto?
Esquema
1
2
3
Problemas abiertos
Problema
Sean E y F espacios de Banach reexivos reales, C y D
subconjuntos convexos de E y F, respectivamente,
f : C R y g : D R funciones cncavas
propias y a : E E R y b : E F R formas bilineales
vericando alguna hiptesis de continuidad. Caracterizar
cundo el problema variacional mixto
existe (u, p) E F :
_
x C f (x) a(u, x) +b(x, p)
y D g(y) b(u, y)
admite solucin y obtener una estimacin de las normas de las
soluciones.
Bibliografa
M.I. Berenguer, A.I. Garralda Guillem and M. Ruiz Galn, Numerical solution of
the nonlinear Volterra integro-differential equation sequentially determined,
submitted for publication.
E. Castro, D. Gmez, A. I. Garralda Guillem and M. Ruiz Galn, High order linear
initial-value problems and Schauder bases, Applied Mathematical Modelling, 31
(2007), 2629-2638.
D. Gmez, A.I. Garralda Guillem and M. Ruiz Galn, High order nonlinear
initialvalue problems countably determined, Journal of Computational and
Applied Mathematics, 228 (2009), 77-82.
A.I. Garralda Guillem, M. Ruiz Galn and M.C. Serrano Prez, Finite element
methods for reexive Banach spaces, preprint.
J. Orihuela and M. Ruiz Galn, A convex Jamess theorem, preprint.
A. Palomares, M. Pasadas, V. Ramrez and M. Ruiz Galn, A convergence result
for a least-squares method using Schauder bases, Mathematics and Computers
in Simulation, 77 (2008), 274-281.
M. Ruiz Galn, A version of the Lax-Milgram theorem for locally convex spaces,
to appear in Journal of Convex Analysis.
Bibliografa
M.I. Berenguer, A.I. Garralda Guillem and M. Ruiz Galn, Numerical solution of
the nonlinear Volterra integro-differential equation sequentially determined,
submitted for publication.
E. Castro, D. Gmez, A. I. Garralda Guillem and M. Ruiz Galn, High order linear
initial-value problems and Schauder bases, Applied Mathematical Modelling, 31
(2007), 2629-2638.
D. Gmez, A.I. Garralda Guillem and M. Ruiz Galn, High order nonlinear
initialvalue problems countably determined, Journal of Computational and
Applied Mathematics, 228 (2009), 77-82.
A.I. Garralda Guillem, M. Ruiz Galn and M.C. Serrano Prez, Finite element
methods for reexive Banach spaces, preprint.
J. Orihuela and M. Ruiz Galn, A convex Jamess theorem, preprint.
A. Palomares, M. Pasadas, V. Ramrez and M. Ruiz Galn, A convergence result
for a least-squares method using Schauder bases, Mathematics and Computers
in Simulation, 77 (2008), 274-281.
M. Ruiz Galn, A version of the Lax-Milgram theorem for locally convex spaces,
to appear in Journal of Convex Analysis.
MUCHAS GRACIAS

Ruiz Galan

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Ruiz Galan

Transféré par

Droits d'auteur :

Formats disponibles

Optimizacin convexa y su tratamiento numrico Resolucin numrica de ecuaciones diferenciales ordinarias Problemas abiertos Bibliografa

Mtodos numricos para problemas de

elc Hausdorff real, y

, < , > paridad dual H

, < , > paridad dual H

, < , > paridad dual H

uv, b(v, w) :=<

uv, b(v, w) :=<

uv, b(v, w) :=<

existe u E tal que

G ,= y para algn v G existe 0 :

existe 0 tal que z Z x

existe 0 tal que z Z x

existe 0 tal que z Z x

existe un nico u E tal que

existe un nico u E tal que

(t ) = (t , x(t )), (0 t 1),

(t ) = (t , x(t )), (0 t 1),

-secuencialmente compacta, f : E R cpis

Vous aimerez peut-être aussi