可积情形下的Gronwall不等式
- 格式:pdf
- 大小:281.04 KB
- 文档页数:10
#
%
$
负 常 数E 若 UV % 则 , ’ 6 J2 $) E 定理的证明
#
%
$
无 界, 这与 & ’ ( ) * (
故 UK % 也即 & ’ ( ) * ( + $ 矛 盾E , ’ 6 )J % , #&
%
$
W R R 是单调不增的 设 因为 R 所以 并且显然 = ’ 6 ) KS T @ = ’ ( ) , = ’ 6 ) D= ’ 6 ) , = ’ 6 ) E X
( ) 事实上 对 ( ) 而 然 对 7# 对 .1 & " # $ ?! " # $ 2 6 - 7# .1 / & " # $ ? - ! " # $ %0 @ 22 4 +’ , +’ , ( ) 由 对 7# # . /按定义 & " # $% ! " # $2 6 " A $ 8 0有 +’ , # = ( ) ( ) & " # $? ( " # $2 : " # ’; $ " ! " ; $2 $ < ; 2 > " ; $ " ! " # 2; $2 $ < ; 6 0 0 +’ , +’ , ( ) 及上式知 对# 由& ./ " # $% ! " # $% +’ , # = ( ) ( ) ( ) ! " # $2 ?( " # $2 : " # ’; $ " ! " ; $2 $ < ; 2 > " ; $ " ! " # 2; $2 $ < ; 0 0 +’ , +’ , +’ ,
s [W U t [n F U [\ J [p \ T F U JV WX l F U JX _ l T F \ J ] \ Xu l T F U X\ J ] \ E ‘U a( E t rZ t e( ( (
Y
U
Y
^
F " J
H 其中 n 且W 进 而 EL 考 虑问题 更一般 的提 v( E v( E E E E wx E e( E H E yE E E G M p W Z _ u t sE _ u非负 & t 法
邓 圣 福E
张 伟 年
四川大学数学学院 E四川 成都 G F H ( ( G I J
摘
要K 在L 讨论 * 指出的投影下 P 不等式 G M & N& 3; % O Q $ R S; % %
T F U JV W F U JX Z F U [\ J T F \ J ] \ X F \ J T F U X\ J ] \ E Y Y_
# 0 = 0 # 0 = 0 # 0 = 0 # 0 = 0 2 # 0 = 0 # 0 = 0
下面利用 " B $分三步来证明 " C $式对 7# . /成立 6 ’+ 第一步 证明 D 假设 H 任取 0 则D E F! " # $ %0 6 % D E F! " # $ I0 JK J+ E F! " # $ %H JK H # G2= # G2= # G2= ’+ 即存在 # 当# 由" 对# 8# ! " # $J K H 6 B $ 8# 08 0 0时0 # 0 = 0
H { W F U J E Z F U Jd ( F U dX ^J E
D 收稿日期 K H q q q j ( ) j H i 作者简介 K 邓圣福 F 男E 在读博士 E H q i I j J E
| g ( i|
! "
#
%
$
& ’ ( ) * ( + $, ’ ( ) * ( + $, ./ / /
第" "卷第 "期 "(("年 )月
数 学 研 究 与 评 论
* +,’./+01.2 34 1.2 5 6 ./4 7 4 .6 3 .’8 4 9 : +7 5 2 5 +’
D 可积情形下的 = 不等式 > ? @ A B C C
& " "’$ & " #$ % 1; <"(("
! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !
%
#
$
* 0 1
#
%
$
& ’ ( ) * ( 2
’ ( ) * ( +3 , #%
$
5 4 " 导数 & ’ 6 )7 8 & ’ 6 ) , 8为实常数 , % 则对满足 ’ 有估计式 4 )的有界函数 9 ’ 6 ): ; ’ < < & 2, 2) = ’ 6 ) & ’ % ) 6 & ’ % ) 2 ’ ( ) 0 ? @ A ’ 82 ) ’ 6 >( ) B * ( , C6 D% E ’ F ) ! = % 3> . ’ 3> . 3> . ) 尽管这 个 结 论 本 身 是 正 确 的 , 但它并未真正包含不等式’ 因 为 引 理 3中 要 求 了 ! )的 情 形 , 9 ’ 6 )7
6 J2$
3 " = ’ 6 )有界 , = P K G H I= ’ 6 )7 = ’ 6 ) , C6 D% , 5 其导数 & 其中 8为实常数 , 且 ’ 6 )7 8 & ’ 6 ) , C6 D% , ! " & ’ 6 )单调不增 , 即 4 " ’ 6 )在 L % ,2 $)上可积 , F " ./ / /
关键词 K 微分方程 fP 不等式 f投影 f双曲性 f间断性 & Q $ R S; % % 分类号 K F " ( ( ( Jg I ( h i ) & H H .17 .I 6 / 6+H 文献标识码 K . 文章编号 K H ( ( ( j g I H F " ( ( " J ( " j ( g ( i j ( i 9
9
9
9 9 ?( " # $2 : # ’; $ ! " ; $ < ; 2 " ; $ ! " # 2; $ < ; 2 9" 9> ( ) " : # ’; $ < ; 2 " ; $ < ; $ 9" 9> +’ , ( ) ?( " # $2 : # ’; $ ! " ; $ < ; 2 " ; $ ! " # 2; $ < ; 2 , 9" 9> +’ , 即! 又对 7# 由! " # $ ?( " # $ ’( ) 2 : # ’; $ ! " ; $ < ; 2 > ; $ ! " # 2; $ < ; 7# ./ 6 .1 4 / " # $ 9" 9" 因而 % 0知 ! " # $? ( " # $’ ( ) 2 : # ’; $ ! " ; $ < ; 2 " ; $ ! " # 2; $ < ; 6 9" 9> ! " # $? ( " # $’ ( ) 2 : # ’; $ ! " ; $ < ; 2 " ; $ ! " # 2; $ < ; - 7# 80 6 " B $ 9" 9>
: " # ’; $ ! " ; $ < ; 2 " ; $ ! " # 2; $ < ; 9 9> ?( " # $’ ( ) 2 : # ’; $ ! " ; $ < ; 2K H " : ; $ < ; 2 " ; $ < ; $ 6 9" 9" 9> 令# 再由引理 L 得H 由于 K 的任意性 不妨取 G2 =?K H " : ; $ < ; 2 > ; $ < ; $ %K H , 6 9" 9" ! " # $? ( " # $’ ( ) 2
#
\ 4 % ]\
! " # $%
3
& " # $’ ( ) * " +’ , $ - # ./ 0 -
/ # .1 2 4
= 0
" 5 $
则! 故对 7# 和 " # $在 # .1 80 - : " # ’; $ ! " ; $ < ; 2 上有界且非负 6
9
0
#
存在 6 显 " ; $ ! " # 2; $ < ; 9>
! 主要结果
本节将在可积条件下进一步推广引理 3 在不需要引理 3 假设 G 的前提下给出 , H I= ’ 6 ) K%
6 J2$
不等式 ’ 使结论真正能用于 L 4 )的估计 , F N和 L O N的情形 E 定理 设= 而且 ’ 6 ) , & ’ 6 ) , ’ 6 )都是定义在 < 2 上且取值在 < 2 上的函数 ,