tda - university of alabama at birminghamiknowles/papers/1974.csir.pdf · a slightly different...

16

Upload: others

Post on 27-Sep-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman
Page 2: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman
Page 3: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman

tda ~~aO$k&6d*BulfS @@dq@ZyztM mobst&%.la: . ? . . . ":pp&*;

v m * f + ~ t fhj.7 1 ~ t p ~ p l )jo 4 e f I . q ~ +ha - 8 i t ; j ~ r n n ~ y + qf q F ( $ e d * In t h i s paper we present (section 2) a survey of ream&

dsvelgpments in the search (as yet unsuccessful) fo r a dm= , , \ *J f:,:, .; :-b.% ; 7(+; t / # ' 1 '

dition ,sn q(t) wkiih is 'both necessary and suff iAiGt fo r .I

7 t o be LP. A prelimfnary inspection shows that the major%= , * : $9- c:.' , -, ,,, .$; . :.' " + > - . 4 - . * ; :?P: - % . , , . :' ' "

t y of a r i t e r i a in section 'tno'-rkil into two classes. The" '

~ r B l t : + m f thyxm~w&asbehh c.&$Q;P~s:-&~QB'B ~mtte~3.a i ia,-wFli@b the

'F&%zw@P. q(t$ 4~ 'restricted by mean$ of a so-called weight

' function (e.g. ~ ( t ) c ~ ~ ( t ) in theorem 2.3); the seoond class %!l! 1 . . ? A t . >.

cohtains' thoae ;it) which behave on a s e t of sub-intervals, , - - [P,], of [a,=). In section three we show that the first

C % t l a s is a- s t r i o t subn3et of the second.

i:. . ' . .

%@he Slm%t-point asbd lM%t - c i r c l ~ eltemat ive was- discovered

f'W4Ierma.m Way1 during t he o m e of h i s investigations i n t o

the theory of singular integral equations, and was f i r s t

%rJt;lslf$hed in h2s. remarkable memolr [G?O]. This paper also

THEDREM 2.1 (Weyl [20 I) . If q ( t ) 4 C on [ a , ~ ) f o r some

conskmt C, then T i~ LP . Note that t h i s is only a one-sided res t r ic t ion on q ( t ) .

. ,

, We sha l l see l a t e r t ha t , With s few exceptions, th is is

oha~ac te r i s t io of the functions q ( t ) f o r which the corms= _ 9 "

I .

ponding T is LP. other words T is LP provided only that

. .

Page 4: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman

- . - - , - . , . , ? .>&%ft vie. the positive values of q(t) are not too large. It ts aanh

- .. A . - fl - *f .-t =><,.:idi..- venient at this stage t o &fine the pos i t ive part of q(tf w

, . *

Page 5: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman

the weight fm@tim ~ ( t ) = eft . A-ratqer ,diffl&nt o m @ r ft,r pL:sm:i',; J '-A a, A i.'l.*,;, X' I w ere

t: 4on w a s found a l i t t l e later by P . Hartman r h

E : , . I f s - 5 - ----I <;f 4 . b ~ ~ . . & A , - - ,-. -.. , ,* ,. . L; .

THEOREM 2.4 (Hartman [ 31 ) . The formal operator T I s LP 2 .

r * I r ,

if the* exists- a positive o ~ t i n u o ~ mdnotone rrmqtion ~ ( t ) . - . . - I 7 - - .

with ' EmC:

i: rq?r ;~ ~5;:s zidaulutely Q O K ~ : ~ - : ~ ;.

b s r e q (s) is d e f i n e d by equation (2 .1) . v:: C h

I' &. m t h ~ a last msnlt, only the ave~qtp vela& of $(t)

. , 1

c", =.t*d~bea, 6 as thrller po*twi.e estimate., me 6&

Lte-rion of BrWk in. [r Erlctz%ner devlsiop~ a i r them,

RBM 2.5 YBP~II* [i] ) . The ioxdkl operator r i s LP if

,Lam axistr a positive funotian w(8) with fc r heme ~ c , y i ~ : t ~ l ; ~ t . f m d my Xnteervaq! <T :

, %ha: c_. 1 : -*- ' . ? . ' s - ' , ' " "," 71' 2' r ' I - . t . d,, " F a , ., - A

i (ii) w , w' , wn a m a l l bounded and oontinuously

Page 6: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman

8 9 : - . ! t_.>k fl& &Qdm 2@S [ a , m ) with j ( 3 ) 6 1, .Ileatiam

4(J3 is the length of the Interval 3 .

Page 7: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman

a s l igh t ly d i f fe rent point of view. In 1951 Hartman pro=

duced the following improvement :

T W ~ R E M 2.7 (Hartman [ 31 ) . ~f q ( t ) C on a sequence of

ineerv~lsr f ['an , gf 1' where (h -r a$ n 4 and b -a ae)O n n f o r a l l n, them T 2s LP.

In other words, it is suf f ic ien t t o have q+( t ) behave

on a sequence of sub-intervals whose t o t a l length is not

too > small. - . Some eleven years l a t e r , R.S. Ismagilov sub- . . *

stmt i a l l y improved t h i s r e s u l t :

j !l%EOREM 2.8 (Ismagilov[?]). The operator T is LP i f there

ex i s t s an ordered sequence of d i s jo in t sub-intervals [Pn) of

[ a , ~ ) and.numbers yn, n = 1,2, ..., with

(2 ) C (Y + W n -2 -1 1 where p = a ( P ~ ) n&l , q-. .n

.. L 1 b - - + i r I -

This l a d t theorem can be dimp'lified considerably by f i r s t

rjrL - y . ll.l. . I - Y H * R ~ 218~. The dpai-atir i is ILP it there ex i s t s an

. : - ordered siquk&e of sub-intbrvils of length i~.n with

Page 8: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman

fo r t E Pn

which, rather surprisfngly, is 5rr- faot equivalent t o the0 : @ - . . , b 7 - _

d" - a 1 . .

I I .l . I 2.8 (see [121 ) . Even more unukual is the fLmt tka t theorem *: * ,-, 1- e., - 7 ,- .;--,- r l V . - - . * , . . ? v . , t . ,. 2 . 8 ~ generblizek theorem 2.3 (see i l 3 ] ) . The moat reo&t - - i ' > < . L : 3.

i c . 2. -, G , . - -

: reault in t h i s . d i r ec t i& is given in L A ~ ' '- -

. * _ ii , .^.I - \ L I . L ^ " . i . L _ - - +

6 G , i Z L ' c ~ ~ G w : ~ t + ~ n y 7: ;. : * $ . ~ . , , c 7 ~ ~ ~ c ~ g g g ~ ~ kn" h,ml (Kn~wleb [I33 ), The operator T is LP i f them

-CPC!Y If r;!ltj & u i f f r . - i a t l y :i,rge fi.--;lt$,:2 ,..Fk: JnFi i:il : m i s t s ah ordersd saguanoa of sub-intdhiI*~ j of length

rr :+&t%h ht;9rir@: P . r'cr : z , + - , ~ : ' % *r ?it- n<:rt<n-;i:i: ibrlrAe

;>EL with ' f i x pf y-,.

Remark. In the dOoe theorem one can replace $(s) w i t h the t ,s 1 2 I function R(s) = 1, a q(r)dr 1 and thereby extend the c r i=

ter- -giv&q in [$I and [ 161 (see [ 11.1 ) .

Returnkg now to the oomment made a f t e r theorem 2.1,

we note one m a j o ~ exoeption t o the general rule given there t w.

> ,

I I

THEOREM 2.10 (~smsgllov [8] ) . The operator r is LP if there <I ,

exis t sub-intemals Pn of iength pn, and numbers % ' fo r which

Page 9: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman
Page 10: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman

nn as well. The next - - - - -, ,-- , ,

5 Ba&) a,(&) *+ dt) - qd{t) *

5 . I *

I *' I ~ ~ . ( 4 t " ~ t l ~ ~ ~ &*G) edpts ~ - d e & d aeq~gnec at ~ub-iir%erv f n

. Q) --aL'l . (p '

X I rcr so= oonatmt k, emK r i ld~ db I b T L

>

bS.s theoram fnoiudes tbe aoiterka given [ 21 p. ,1914. ' i 9 3 ( ~ 3 1 ;Ln 2 ++ -w

, .

the ,.f o l l w h g dfsoussion, we shall not consider theorem :, "* ' - P ?I-

" : ?+ t .12, M it dw$te not fal l into eiGher of the olasseq np$b

, ' I '_ _ % I ,-,: ., rr

4 . * , ' . + t 4 -;

itme&:-@ seot. one. O f the remaining oriteria. theorems $2' 2:.

Page 11: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman

z " , - ~ - < , -, *; ' ..

k9i.nurar- @ern eguibnen~p a& , &+, +be

- 6 ~ %hat theom= 2.4 and 2.6 m a y be m&ttcsn a w&& ~ $ 2 ,

pmn as well. The theorem Q equ%v@lenl t o the - v - , fog w ( a f / w i * ? , <= t w f ( s ) "fir - [ 8 ) d 3 d

%

-Y !&<8\;b(c) & 2 :Q! "- " a?-P 5 % 9 ... (2.2 . . p m ~ ~ 3.2. ~ h s opelrtorr is r S i r exists an . ,

. .' %.. . @m3arsd isequems of &ub-intamals {P f w i t h S (f )- wn lPLd

t' - Gcnceqt~::ntlg. u e k s % ; i:3;,- 9% 3> ][1

( i t ) f o r some constant K. s FLn/wn+l 4 e K n=1,2,. . .

tip). , tben exists a ccmatant C > 0 with kn q(s) 8s I

, J ' . T

,-$qr sPl 'iq)isn&ls J c P,*- for an$-- fi-.. .

PROOF OF E~UNRUWCE. ':we f i r s t show that thp existenoq or . * , 1: the sequence [Pi]' feibws from the faistence of w(s) in

fi [ theorem 2,6. l31 [ l o ] it w a s shown that for any f'unotion !i e w ( 8 ) with iw'l L M < m. there exists a pa r t i t ion (tn) of

Page 12: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman
Page 13: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman

a ,, z . ' ... - : & 'rsqaired . ~%vers@ly, given the existenoe of [ P,] in 4

theorem 3.1, we def %ne the piecewise llnear funtation w(s) to

and prooeed as in [ l o ] . In a rather similar way, the fol=

lowing is equivalent to theorem 2 .4 :

THEOREM 3.2 The operator T i s LP if there exists a partition

;t,i of' [ a . ~ ) with wn = tn+l - t and n

(1%) vn+& 4 !J, n far a l l n

(ti&) \$n $(s)da r n2 for all n.

fn conclusion, one obvious c'onsequenoe of the teahniques

Page 14: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman
Page 15: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman

r; b ] I. B R W t ; "a l~-adjqiqtpesD d 8 ~ e c W a Q Stuns- --. ---- . 0 . f ~ % p w % i f ,pp~*(Lt~+%; a&%: 8asrib.l :( %9),

' f . . 2 -.2s* *

j , % ~ f v ~ ~ i a ~ ~ h ~ ~ c & - f ; ~ : ~ ~ ~ & -e y n , + W 7 0, ? 2 " ?*< . C - . , I I - *"_

3 -?@a ,,d$q@otwn@p..$~r 80luC$.9~ts 02 .n-th order - 41f & ~ t ; W ' L a g a g ~ ~ n , $t%wJ% +'arm 347 . .'"',clB;: :. -ex. - ; .. - .-'i.: . . d & - .I

Q #5 1 2 .g 2+i. CZJlr gIptR+p.;v a a s e q t i ~ l i p e a t r p and . e& 'of *a ,po%ien~lar",~ouk$ . %&a .' f;. 23 . 1 : ($!#, . - * ? . .." - . . J t

J .

181 " ' ; ' 'On the self-adjointneras of the Sturn- Liouvil le operatora, Uspehi Mat. Nauk 18 (1963) WO. 5 (213) a I61 - 166.

. I. KNOWLES, *On a limit-pirole o r i t e r i m f o r seoond- order d i f f e r e n t i a l operatorsn, Quart J. Math. " W o r d Ser. (2) (bo appear).

;>

2 [I01 "A l imit-paint o r i t e r ion f o r a seeond order !inear d l f fe rent i a l operatorn, ( t o appear).

d: [21) "The l i m i t - p o h t and l i m i t - a i m l e olassl- a f i o a t d m of the Sturn-Liouville operator', Ph.D.

Dissertatlun, The Fllnders University of South r i ~ : Australir, 1972. 2' p [I21 9

"Mote an the s e l f -adjointaess of an n-th 7 ,

$ 7

order k i f f e r m t i a l operatorn, University of the w Witwatersrand, (unpublished preprint) t

Page 16: tda - University of Alabama at Birminghamiknowles/papers/1974.csir.pdf · a slightly different point of view. In 1951 Hartman pro= duced the following improvement : TW~REM 2.7 (Hartman

p i c r r l , ' ,t I - . ' A L - " . ' 5 - - - * " . ,

- 7 . _. * * -*. A , i . r . , >'. "$, %& *mru~nrr- A=. I*~u= rklr*&!nu :A* -ncraplris -ncie--a -* .

rl - : - . . .,-!-* - -am. ae~l1ttoaf . o t : i r l s ~ -9 a, ,) ef - aeaaad- brar&'aam!imann . ----- . I.& L __ b&iir&*, _._ _ t o appear)

If " ~ o t e on a limit-point orlterionn, Proa. -re Math. Boa., ( t o appear)

i'] I.A.PAVLWK "~eaessary and auf lalent oonditions for h boundednesa in the spaae C (Op) for solutions of a olass of l inear d i f f e ren t id e uaticma of w o a d ordern# Dopcw. Akad. Nauk (19 8 O), 156 - 158.

i]: C .fie PUTHA& '@ks&@bls potentials and half -line speatra*, Proo, Amer, Math. Soo . 6(1955) , 243 - 246,

D.B. SEARS# ' ~ o t e on the uniqueness of orsen's funatioaer assoaiated with oertain differential equationsn, Canad. J, Math. 2 (1950), 314 - 325.

' .. - . I] M.H. STONE, se in ear ~raasformatlosra inndi lber t Bpaae".

- A m r . M a t h , gag. C013, P W . , Val, XV, NewYork, t 19 6. I *

)I E~C.~-Z&HMAR&%~ the '&iclueness o i the oremi's twret,;tOa assoaiatsd yi$h a seam8 order differen- t i a l operatorw, Cmad. 3. Math, 1 (1949), 191 - 198,

)I H . W&L, %eb& gew8hnliohe d i f ferent i a l ~ l e l a h ~ e n m l t + . . . . a p f y J , d t f i t . n rrnd Me ppeh?5rAgen sntwlaklrmg~

w 1 k;[;lrlioher funotimern , Math. h. 68 (IgIO), c $ - 222 - 269,