CAPÍTULO 1

1.1Acerca de la condición general de Hölder.

Definición:
a) Una función u (t ; x ) definida en QT =  0 ; T  x  ,   Rn satisface la
condición general uniforme de Hölder con exponente  ( r ) con respecto
a todas las variables, si para todo par de puntos P = ( t; x) , R ( ; y ) 
QT , existe K > 0 tal que:

u ( t;x ) – u (  ; y )  K ( d (P ; R ) )  (d( P;R ))

, donde d ( P; R) =
t  xy

b) La función u ( t ; x ) satisface la condición general uniforme de Hölder

con exponente (r ) con respecto a las variables espaciales solamente, si
para todo par de puntos P = ( t ; x ),
Q ( t ; y)  QT , existe K > 0 tal que u ( t;x ) – u (t; y )  K xy

 x  y 

c) La funció u ( t; y) satisface localmente la condición de Hölder con

exponente   r  , si sastisface la condición de Hölder con exponente   r 
en cada subregión estrictamente interior en Q T
La funció  r  es definida y continua en R* y satisface las siguientes
condiciones:

I a)
lim r   lim r      0;1
r 0 r  
 si   0, entonces
lim r  ln r = -  , lim r  ln r   y r
 r 0 r  

1 
 '  r  ln r    r   0 para   R 0   0; r0    ;  con r0 suficientemente pequeña
 r0 

' (r ) existe y es continua para r  R0

b) lim r
(r ) ln r  limr  r ln r  0
r 0 r  

( Ver Ivanovich, 1968)

Proposición 1: Para r  R0 se deduce que:

i) r  r  es monótona creciente
ii) r   r   crece lentamente, es decir

(kr )  ( kr )  (kr ) (kr ) 

lim = lim  1, donde 0< a  b < 
r 0  r  ( r )  r   r  (r )  

Demostración:

i) Sea r  R 0 , r(r ) '  e(r ) ln r '  r(r )  (r) ln r  (rr)  = r  ( r ) 1
 r' (r ) ln r  (r ) ,

ahora, r (r )1 > 0.

lim  r' (r ) ln r  (r )  lim  r' (r ) ln r  (r )  
Si  > 0 y r 0 r   entonces,
para

r R0     r' (r ) ln r   (r )     cualquiera sea   0. Tomando 
2

se deduce que 0 <


2
< r ' (r ) ln r  (r )  2  y
3
r (r ) '  0 para r  R 0 ;
si   0, entonces r ' (r)lnr +  (r ) > 0 para r  R0, por tanto r  (r ) es
monótona creciente para r  R0 .
 kr  (ln r ) 
 lim k (kr )  . lim r (kr ) (r )
ii) lim
(r ) 
r o  r r 0 r  0

r  + r  + r  +

lim k (kr )   lim e(kr)   ln k  e0  1

ahora r  0 r 0 

r   r  
lim r (kr) (r )  lim e( (kr )  (r )) ln r
por otra parte: r 0  r 0

lim   (kr )   (r ) ln r
r 0 o (-  )

(kr )  (r ) k' (kr)  ' (r )

lim   (kr)   (r ) ln r lim lim
r 0 = r 0
1 = r 0 
1
ln r r ln 2 r

lim  ' (r )  k' (r ) r ln 2 r  0

= r 0
para  ' (r )

lim r  (kr )  (r )  e0  1
acotada para rR0 y r 0
, además
lim r  (kr )  (r )  lim e (kr )  (r ) ln r
r   r  

lim  (kr )  (r ) ln r

r   , o (-  )

ln r
lim  (kr )  (r ) ln r lim  (kr)  (r ) 2
1
= r   = r   1 = rlim 
   k´(kr )   (r )
.
r
0
(kr)  (r )

,para
 r  acotada en R0, por lo que :
 lim r  (kr ) (r )  e0  1 , (kr) (kr)  (kr)(kr ) 
y lim  lim 1
r  r 0 r  (r )   r  r  (r ) 

Se denota por A l a la clase de las funciones  (r ) que satisfacen las

r
condiciones Ia), Ib) para las cuales  A (r ) l <  , donde A  (r )   t  (t )1dt < .
0

Para (r )  A1 , se denota para B(r ) la función

1 A  (r )
ln
ln r A  (1) , r 1

B  (r ) =
1
A  (1) , r=1

Proposición 2:
a) B (r ) > 0
b) B (r )  
 C R*  C1  R 0 

lim B (r )  lim B (r )  
c) r 0 r 

d) lim rB' (r ) . ln r  lim rB' (r ) . ln r  0

r 0 r 

e) B (r ) r .B'(r ) . ln r > 0

f) r B  (r ) es monótona creciente para r  R0
g) r B  (r )  crece lentamente en R0
h) Para  ( r )  A1 , existe K > 0 tal que r    ( ) 2
r  d  KA (r ), r   0, r0 
Demostración:

a) B(r ) >0
i) 0<r<1 0< A  (r ) < A(1) <1
A(r )
lnr<0 0< A (1) <1

A(r ) 1 A  (r )
lnr A (1) <0  B  (r )  ln
ln r A  (1) >0

ii) r=1
1
A  81)   t  ( t )1dt >0
0

1
B  (1)  >0
A  (1)

iii) r>1 A (r ) > A(1) , lnr>0

A(r )
A  (1) >1 , ln r>0

A(r ) 1 A  (r )
ln A  (1) >0 ; luego
B (r ) 
ln r
ln r
A  (1) >0
 1 A  (r )
de i) , ii) , iii) se deduce que B(r )  ln
ln r A(1)
>0, 0< r < + 

lim B (r )  B(r0 )
b) r r0 ;  r0  R , en efecto :
1.- 0<r < 1 , B(r ) , es continua ( operaciones con funciones continuas )
2.- r> 1 , B(r ) , es continua ( operaciones con funciones continuas)
1 A  (r )
3.- lim B  (r )  lim ln
r 1 r 1 ln r A  (1)

A
 (1).r ( r ) 1
A ( r ). A (1)
= lim
r 1 1
r

r (r ) 1
= r 1 A(r )  A(1)  B(1)
lim . De 1), 2) y 3) se tiene que B(r ) es

continua
en R


c)
lim B  (r ) 
r0 =

A
 (1).r  (r )1
A  (r ).A  (1) r  (r ) r  (r ) (r )
lim  lim  lim (' (r ) ln r  )
1  ( r )  1
r  0 r 0  A  (r ) r  0  r r
r

lim (r' (r ) ln r  (r ))  lim (r )  

= r 0 r 0  .
Si   0, se cumple que :
A (r ) A(r )
lim B  (r ) ln r  lim ln
r 0  r 0 A (1)
  y lim B (r ) ln r  lim ln
r   r   A (1)
 
 A  (r ) 1 A  ( r )  1
  (1) r 1
d) r B´  (r ) ln r  (r ln r ) .
 A  (r ) A  (1)
ln r  ln
r
.
A  (1)  ln 2 r
 

r  (r ) 1 A  (r ) r  (r )
= A(r )  ln r ln A(1) 
A  (r )
 B  (r )

lim rB´ (r ) ln r  0  lim r´(r ) ln r

r 0 r  