Professional Documents
Culture Documents
Sobolev - Applications of Functional Analysis in Mathematical Physics
Sobolev - Applications of Functional Analysis in Mathematical Physics
Sobolev - Applications of Functional Analysis in Mathematical Physics
Sobolev
Applications
of
Functional
Analysis
in
Mathematical
Physics
T ra n sla tio n s o f M a t h e m a t ic a l M o n o g r a p h s V o lu m e 7
Applications of
FUNCTIONAL ANALYSIS
in Mathematical Physics
by
S. L. Sobolev
C. JI. COBOJIEB
H3flaTejibCTBO ilenmirpajiCKoro
r ocyAapcTBeHHoro
y HHBepcHTeTa
JleiiHHrpafl 1950
§1. I n t r o d u c t i o n 1
1. Summahle functions (1). 2. The Holder and Minkowski inequalities (d).
.'3. The reverse of the Holder and Minkowski inequalities (7).
§2. B asi c p r o p e r t i e s o f t h k s lacks Lp 9
1. Norms. Definitions (9). 2. rI’he Riesz-Fischer Theorem (11). d. Con
tinuity in the large of functions in Lr, (11). 4. Countable dense nets (Id).
§d. L i n k a r f u n c t i o n a l s on L,, lb
1. Definitions. Boundedness of linear functionals (l(i). 2. Clarkson’s in
equalities (17). d. Theorem on the general form of linear functionals (22).
4. Convergence of functionals (2.7).
§4. C o m p a c t n e s s o f s p a c e s 28
1. Definition of compactness (28). 2. A theorem on weak compactness (29).
d. A theorem on strong compactness (dO). 4. Proof of the theorem on strong
compactness (d l).
§7. G e n e r a l i z e d d e r i v a t i v e s dd
1. Basic definitions (dd). 2. Derivatives of averaged functions (d.7). d. Rules
for differentiation (d7). 4. Independence of the domain (d9).
§6. P r o p e r t i e s o f i n t e g r a l s o f p o t e n t i a l t y p e 42
1. Integrals of potential type. Continuity (42). 2. Membership in Lu- (4d).
§7. The s p a c e s Lp] a n d Wjj' 47
1. Definitions (47). 2. The norms in Lp' (40). d. Decompositions of Wp'
and its norming (48). 4. Special decompositions of W{p (70).
§8. I m b e d d i n g T h e o r e m s 70
1. The imbedding of Wjl1in C (70). 2. Imbedding of Wjj1 in Ltl- (77). d. e x
amples (78).
iii
IV Contents
§9. G e n e r a l methods of norming V/'p and c o r o l l a r i e s of t h e I mbedding
THEOREM 60
1. A theorem on equivalent norms (60). 2. The general form of norms
equivalent to a given one (62). 3. Norms equivalent to the special norm
(64). 4. Spherical projection operators (64). 5. Nonstar-like domains (66).
6. Examples (67).
§10. S ome c o n s e q u e n c e s of t h e I mbedding T he or em 68
1. Completeness of the space (68). 2..The imbedding of Wp] in
(69). 3. Invariant norming of Wjj* (72).
§11. T h e c o mp l et e c on t in u i t y of t h e i mb e d d i n g o p e r a t o r ( K o n d r a s e v ’s
theorem) 74
1. Formulation of the problem (74). 2. A lemma on the compactness of the
special integrals in C (75). 3. A lemma on the compactness of integrals in
Lq• (77). 4. Complete continuity of the imbedding operator in C (82). 5.
Complete continuity of the operator of imbedding in Lq■ (84).
§12. T h e D i r i c h l e t p r o b l e m 87
1. Introduction (87). 2. Solution of the variational problem (88). 3. Solu
tion of the Dirichlet problem (91). 4. Uniqueness of the solution of the
Dirichlet problem (94). 5. Hadamard’s example (97).
§13. T he N eumann p r ob l em 99
1. Formulation of the problem (99). 2. Solution of the variational problem
(100). 3. Solution of the Neumann problem (101).
§14. P o l y h a r m o n i c e q u a t i o n s 103
1. The behaviour of functions from on boundary manifolds of various
dimensions (103). 2. Formulation of the basic boundary value problem
(105). 3. Solution ofthe variational problem (106). 4. Solution of the basic
boundary value problem (108).
§15. U n i q u e n e s s of t h e s o l u t i o n of t h e basi c b o u n d a r y v a l u e p r o b l e m
FOR TH E POLYHARMONIC EQUA TIO N 112
1. Formulation of the problem (112). 2. Lemma (112). 3. The structure of
the domains SI/, —SLy, (115). 4. Proof of the lemma for /c<|s/2] (116). 5.
Proof of the lemma for k = [s/2 ]+ 1 (118). 6. Proof of the lemma for [s 2 ]+
2 (120). 7. Remarks on the formulation of the boundary condi
tions (122).
§16. T h e E I G E N V A L U E P R O B L E M 123
1. Introduction (123). 2. Auxiliary inequalities (124). 3. Minimal sequences
and the equation of variations (126). 4. Existence of the first eigenfunction
(128). 5. Existence of the later eigenfunctions (131). 6. The infinite se
quence of eigenvalues (134). 7. Closedness ofthe set of eigenfunctions (136).
Contents v
Chapter II I . T he theory of hyperbolic partial
DIFFERENTIAL EQUATIONS
§17. S olution of t he wave e quati on wi t h smooth i n i t i a l condi ti ons 139
1. Derivation of the basic inequality (139). 2. Estimates for the growth of
the solution and its derivatives (142). 3. Solutions for special initial data
(144). 4. Proof of the basic theorem (146).
§18. T he g e n e ra l i z ed C auchy p r ob l em for t he wave equ at i o n 148
1. Twice differentiable solutions (148). 2. Example (150). 3. Generalized
solutions (152). 4. Existence of initial data (153). 5. Solutions of the gener
alized Cauchy problem (155).
§19. L i n e ar equati ons of normal hyp e r bo l i c t yp e wi t h vari able c o e f
fi ci ents (basic properties) 157
1. Characteristics and bicharacteristics (157). 2. The characteristic conoid
(164). 3. Equations in canonical coordinates (166). 4. The basic operators
M (0) and L(0) in polar coordinates (168). 5. The system of basic relations
on the cone (173).
§20. T he C auchy problem for l i n e a r e quat i ons wi t h smooth c o e f f i
ci ents 175
1. The operators adjoint to the operators of the basic system (175). 2. The
construction of the functions a (177). 3. Investigation of the properties of
the functions <r (179). 4. Derivation of the basic integral identity Bu = SF
(181). 5. The inverse integral operator B -1 and the method of successive
approximations (183). 6. The adjoint integral operator B* (187). 7. The
adjoint integral operator S* (191). 8. Solution of the Cauchy problem for
an even number of variables (192). 9. The Cauchy problem for an odd
number of variables (195).
§21. I nvesti gati on of l i near hyp e r bo l i c equati ons wi t h vari able c o e f
f i ci e nts 196
1. Simplification of the equation (196). 2. Formulation of the Cauchy
problem for generalized solutions (198). 3. Basic inequalities (200). 4. A
lemma on estimates for approximating solutions (204). 5. Solution of the
generalized problem (209). 6. Formulation of the classical Cauchy problem
(210). 7. A lemma on estimates for derivatives (213). 8. Solution of the
classical Cauchy problem (215).
§22. Q u asi l i ne ar equati ons 217
1. Formulation of functions of functions (217). 2. Basic inequalities (221).
3. Petrovsky’s functional equation (224). 4. The Cauchy problem with
homogeneous initial conditions (229). 5. Properties of averaged functions
(231). 6. Transformation of initial conditions (235). 7. The general case for
the Cauchy problem for quasilinear equations (237).
A uthor’s P reface
S. Sobolev
Chapter I
§1. Introduction. For the consideration of all the problems hand led in
this book, it will be necessary to refer repeatedly to some of the simplest
properties of the functions integrable in the sense of Lebesgue and to some
of the simplest concepts and theorems of functional analysis, which have
become well-known. For this reason we shall not for the mo st p a r t go into
the details of their proofs and merely present the necessary formulations
and definitions.
For the un d e rs ta n d in g of the whole exposition below, it is sufficient to
have such a knowledge of the theory of multiple integrals of functions of
real variables as is to be found in Lecture VI of the a u t h o r ’s Equations of
mathematical physics or in Course of higher mathematics Volume V of V. I.
Smirnov.
We recall now some properties of multiple integrals and summable func
tions.
1. Summable functions. For any function f{xux2,• • •,x„) of n vari
ables on the bou nded domain Q we denote by F any closed set on
which f is continuous.
By the inner integral of a positive function /, we denote the upper
bound
I f for a positive function /, the inner integral exists and satisfies the
condition
(in.) f ( f- \ - 1) d x x . . . dxn =
O
= (in. ) f f dx 1 ••• d x n + ( in.) |* 1 • d x t . .. dx, n ( 1. 2 )
2 2
1
S.' L. Sobolev
2
then the function is called summable, and the integral (in.) X, f d x v ■■
■■ ■dxr, is writt en simply
f/dx,...dx„ (13)
2
\ f d x i . . . d x n = \ f +d x x . . . d x n — j f ~ d x 1 . . . d x n. (1.5)
e s s
By the Lebesgue measure of a set E is m e a n t the integral
m E — j v E d x j . . . d x n, (1.6)
c
where <t>E takes the value 1 at points of E and the value 0 on the
complement (ft—£ ) .
A function. / is said to be measurable on the domain ft if the measure
of the closed sets F on which it is continuous m a y be ta ken as close as
one pleases to the measure of ft.
Ever y summ ab le function is measurable.
T h e Lebesgue integral has th e same pro pe rty as does the ordinary in te
gral. In the following, in place of d xr ■ ■dxn, we shall write merely du.
J (A “b/i)
(1.7)
const.
2 2
I f th e series A + / 2+ - • • + / * + • • • = fo converges u n if o r m ly , th e n
f l x ( Q ) l p P ( Q ) d v = l ; f \ y ( Q ) \ p' P { Q ) d v = \ . (1.13)
4 S. L. Sobolev
T he n, multiplying (1.12) by P(Q), integrating over f> and using (1.10),
we obtain
f x (Q) y (Q) P ( Q ) r f i > < 1. (1.14)
|X($)I . l n$)i
x (Q) y{Q) =
[J \Xf Pdv^p [ [ 1Y \ P ' P d v y
X [ / | Y\p' P d v ] p \ (L15)
L 2
It is obvious t h a t the inequality sign can only hold in (1.14) if for almost
all Q w e h a v e t h e e q u a l t i y xp= yp . Consequently, in the inequality
(1.15) the equality sign holds only in the case in which
T h e n the p ro duc t <t>\9r ■ -<h is sum ma ble , and we have the inequality
1
J<fi«2 ••• <pk/3d ,o | < [ f l?i lx‘ P dv J X
"k P dv
x f J | ? 2h P d v ^ ' . . . [ f |®k |1' (1.16)
U 2
where the inequality holds only if th e |<£; |' differ from one a n o th er
merely by a c on st a n t factor (i.e., 10,|1 A>= cfi) and th e sign of [<t>\<t>2- • •
• •■</>*] is a c on st a n t almost everywhere.
We prove this inequality by induction from k to / ? + l .
Let -be positive and supp ose t h a t for k functions
the i nequality (1.16) has been proved. Th e n , if A, + A 2+ • • • + A*+A* + 1= L
we have, p u tt in g p = l / A * 4i,
n/ = ________ 1
K+ + • • • + ^k
•• • + ^*i k+ l
X P dv
f it %Jk+
. l ]1 ‘fc+ 1 P dv (1.17)
i i ______ i_____
J t?i + + ,_,2 L + L+ .. .+ ...-H k p d v ^
[£
i —1
a"'] = [£
<= 1
1•
am\ <(2
1= 1
Ip-1£
1=1
(«"VF =
= l / ^ r [ S (o(i)y] T . (i.20)
i=i
Let *((?)=! 0, y(Q) ^ 0 on 0. W e consider:
Cancelling the first factor on the right, we obtain the Minkowski in
equality:
1 J_
| J ( x - \ - y f P dv p ^ J x p P dv p -f-1J j ^ P d v ( 1 . 21 )
P p
+ [ f I x k I P dv ( 1 . 22 )
2
T h e equality sign can hold only in case the functions jc2, • • ■,xk are all
proportional.
I f the functions x and y take on only a finite n u m b e r of values, then
the integrals m a y be ta ken as sums, and we obtain the Minkowski in
equality for numerical series. Fr om (1.21) we obtain:
j_ _i_ j_
[ 2 «< i * ,+>< n ’ < ( 2 c , u ( r ] ' ’ + [ 2 « , ' i ^ r ] ' ’ o - 23*
1i2«
<12j xlt rp < 2 [2 I x„\”Y
j i
(I-23)
3. T he reverse of the H older and M inkowski inequalities : Let
0 <p < 1, so t h a t p ' = p / ( p — 1) <0 .
We consider the curve y = x p~x (Figure 2). On this curve, obviously.
I* x p~ x d x — J*y*7-1 dy < xy or
6 y
Now we t ak e a point C , below the curve y = j:p" 1 (Figure 3). Consider the
diff erence be tw e e n t h e a r e a s K A O E C lD = J'0Ixp~]dx a nd K A C ^ B D =
X ' y p ~ldy. Thi s difference is equal to the difference between the areas
O A C J i and C J ) B and, consequently, is less th a n OAC\E, i.e.,
(1.25)
P
th e n we shall obtain, obviously,
P (■*) = 1; PW = l
10 S. L. Sobolev
Furt her , p u tt in g
= p_ PCO
p(;) + p ( 0 p (>) + p ( o)
and using the homogeneity of the norm, we have:
?* ?o-
2. T he R iesz-F ischer T heorem. Suppose t h a t we have a sequence of
functions |0*j, 0 * G ^ P, such t h a t for an a rb it ra ry <>0, ||0* —4>m\\ <( for k,
m>N{(). T h e n the re exists a function 0()G L p such t h a t 0*=> 0O.
R emark. Thi s the ore m asserts the completeness of the functional space
Lp. We shall not give the proof of this theorem. It ma y be proved in the
same way as it is proved for p = 2.
3. Continuity in the large of functions in L p. Let 0 be given on
the whole space, with 0 = 0 outside of Q and 0 £ L P on Q.
Let P { x x,x2,- ■ •,*„) be the coordinate vector in n-dimensional space,
| P | its length.
D efinition. T h e function 0 in L p on Q is said to be continuous in the
large in Lp if for an a rb it ra ry t > 0 there exists <5(<)>0 such t h a t
(2.4)
= — Q )+ /L and Q) + / f .
m F l > m F y + m F $ W — m K > m K — 8, ( e ).
Consequently,
m ( K — F ; ) < i t (e).
We have:
i
J \ ? ( P ~ i - Q ) — ? (P ) | » dv ? < [ J l?(F + Q) — o ( p ) \ P d v v~
F*
T heorem. For every function <t>€zLp there exists a sequence ]<£*j of con
tinuous functions with continuous deriuatiues of all orders converging strongly
to 0.
r5
d*e r' ~ h'
dxa'
l . . . dx*n
T*
has the form
_ P roof. Let (.r1(- • ■,xn) a nd (y,,- ■ ■,yn) be the coordinates of the points
P and P x. W e consider the expression
,, ?/, (*i + k, x2........ x n) — f h (xu .......... x n)
n = ---------------------------- z-----------------------------=
(xx+k—y it x2—y 2,.. .,xn—y n) -m (.Vi—-yx, x 2- y 2....... x n^ y n)
= —
■/.hn Jf- ■k‘ -X
X f()i, •••, yn )d v+ ^ - 'hn J - “ ( ? — P p , h ) ^ o { P f ) d iv->
i
/\
for k—0. (2.10)
Ta ki ng the limit under the integral sign, since
«>(xx 4- k — y v Xi — y 2........ x„ — y H) — u> (At — y u x « + y 2.................— y n)
dxx a. ( p — p ^ h )
uniformly, as follows from the equality
2] 40 0&) <*.
and th u s
u i r dw ^ 1 f r I «U(jri + k) — U) (.V,)
dv
^ LJ I a
1 1_
dxx
dv \ P ^ J | o |p d v j ^ ^
< f r‘P'dvY [ J I? 0
for 0 (for th e n rj—-0).
In a completely analogous way, we may carry th ro u g h the proof of the
existence and co ntinuity of an a rb it ra ry derivative of a rb it ra ry order.
A)?
( P l ) dv$ I d v <
We set P —P) = Q and for the estimation of the interior integral we apply
H ol de r’s inequality:
1
~F~
X
VI <
\p . 1 ,1
X [ J \ , ( P + Q ) - H P ) \ ’' ^ } p ) d v ; ---- b —r = 1.
P 1 P
I VI <h
From the boundedness of w it follows tha t:
f | » ( $ , * ) | p' d o j :: C/z”
VI < ft
so t h a t
8p < ; C 2 (/zr») ^ J J | ? (P + Q ) — o ( P ) \ P d v + d v =
Q\ <h
= C2h - » $ J | ? ( P - f Q) — ©( P ) | P dv dv+ ;
I Vl<ft
in consequence of the continui ty of th e function <t>in th e large it follows
t h a t for h sufficiently small J'] <t>(P+ Q) —<p{P)\pdv < tj, and then
For the proof it suffices to show the existence of such <ps for all con-
16 S. L. Sobolev
tinuous functions. By the theorem of Weierstrass an a rb it ra ry continuous
function f m a y be ap pro xi m a te d arbitrarily closely by a polynomial P.
An a rb it ra ry polynomial P m a y be ap pro xim a te d by polynomials P r with
rational coefficients. T h e polynomials P r form a countable set.
Let '/'GLp. We co nstruct an averaged function for ^ such t h a t
ii ^ II < - j ■
Furt her , for 4>h by the Weierstrass the orem we m a y find a polynomial
P(Q) such th a t
SIP— p j c - f .
From these three inequalities, it follows t h a t
||* — P r | | < S ,
a nd since the functions P r form a cou ntab le set, the theorem is proved.
R emark. T h e pro pe rty of a space having a countable everywhere
dense set (expressed as “ countable everywhere dense n e t ” ) is called sep
arability. Thus, the space Lp is separable.
i k E L p and || \fk\\ = ( l / y / k ) — 0;
as a result ^*=>0, and by the c onti nui ty of the functional lipk~ 0 also. On
the oth er hand, hpk> \ / rk, and as a consequence l\pk—>oo. We have arrived
at a contradiction. T h e theorem is proved.
Of all the nu mb ers M which satisfy (3.3) we can find a least, called the
norm of the functional l<p a nd denoted by ||(||. I t is w ort h rema rking t h a t
the norm of the functional satisfies the conditions:
M = M il' ll
and
ll'i 4 " 'a I K II'ill + II' 2 II (triangle inequality).
These properties follow immediately from the definition of the sum of
functionals and of the functional (al).
Our problem appears as t h a t of establishing the general form of linear
functionals on L p. As a preliminary, we establish two auxiliary inequalities.
2. Clarkson’s inequalities.
Lemma 1.
$ ( x ) = ( 1 + jc) * - 1 -( 1 — *)* — 2 * < 0 , (3.4)
if X^ 1 and 0 <x < 1.
Lemma 2.
y < j ( i + xp)
(3.5)
for > 2, 0< x < 1
18 S. L. Sobolev
P roof. We consider
= ( '+ £ ;+ ( i= £ ;_
and
$ W = 5 f W = ( 1 + , ) ' ’ + ( ± _ , ) ' _ 2- ( - L + 1) .
We have
* ( 1) = 0 ;
^ = - i [ ( - + ir + ( T - in + ^ =
= - K i + * ) p- ‘ + ( i - *y-' - S ' ' 1!.
¥ + 'r>
+ i ^ F = i ?r { m + ( ^ n
1? r (3.6)
^ 2L ( l + ^ ) = 4 - ( | » l " + |'U'')-
Integrating, we obtain C la rks on’s first inequality:
Lemma 3.
CO
0>) = l*’’+ 0 - * ) lT -1. (3.8)
V (p) =
zp log z + ( 1— z f log (1 — z)
Special p r o b l e m s of f u n c t i o n a l a n a l y s is 19
We shall show t h a t \ '( p ) is an increasing function, i.e., t h a t A(p) is a
convex function.
In fact, 2/(1 —2) > 1 , and consequently,
|o g T ^ 7 > ° .
In addition,
2? 1
P ip) = p
z? + (1 — z)P
X ( p ) = p l o g 2+ l o g
+ (— 1
and consequently the difference X(p) —p l o g 2 te nds to zero as p — °°. An
a rb it ra ry line can meet this curve in a t m ost two points. I t is obvious t h a t
X(p) / {p —a) represents geometrically the ta n g e n t of the angle rf>made
20 S. L. S o b o l e v
with the p-axis by the line running th ro u g h the given point on the curve
and the point p = a, A= 0 on the p-axis. I f « > 1 , this angle grows from
—7r to a r c t g l o g z . Analogously if « ^ 0 , this angle <t>decreases from 0 to
arc tg log 2.
Finally, if 0 < « < 1, then from th e point p = «, A= 0, one m a y draw one
tang ent to our curve. As a result, the angle 4> to begin with decreases to
our mini mu m and th e n increases to the value a r c t g l o g z . From this, since
a)(p,a) = e lgl" there follows the correctness of our assertion a b o u t w(p,n).
Figure 4
C l a r k s o n ’s We assume for the sake of definiteness
second in e q u a l it y .
t h a t (f) ^ i/' ^ 0 3.nd consider th e function
dF_ 9 + 4' \ p~
dtp r + < & r r m w tp. +
+c+i r = + - ,{ [ ( ^ r r +
We put
9 + 4' __ , \ 1 onrl JL_____
------ r > ’
S p e c ia l p r o b le m s o f f u n c t i o n a l a n a ly s i s 21
Then
2? = ~ 1' P — 2 - - P
^ —r
Therefore
i \ p ‘—2
d ^_ P A + ( i- z y '- y -» \ _
a? ? t u i
\ \zp’ + ( l - 2)P, p ' - 1 )
(3.12)
2 ■ \L <*>(/>') )^ ’
as in L e m m a 3:
~
<?+ ^ p i
T—I
+ p *]* — y ( 3-13)
9 T 41 IP—1 I 9 —<1/ p —1
W e set in (3.14) x = , q = P — I- W e ob-
- 2 ^1 ' y = \-r~
ta in
9+ 1 b - i ? — 'V —1\ P - i p—
+ dv
[J(
cp — 7 p —1
+[/ dv
22 S. L. Sobolev
^>nk II •''*<0-
<
A pplying C lark so n ’s inequality (3.7) to the functions <t>mk and 4>nk if p ^ 2,
and (3.15) if 1 <p ^ 2 , we obtain
fmk + fn k Vmk fn k
+ < ( P > 2)
p—1
'f’mk ?nk P—1
+ < ( K K 2 )
I t follows from this th a t
tW + T
< 1 ----T], (3.17)
2" (^Pntfc + ^ n k)
1
l'Ak — ~2 [l?mk + /c?nJ (Pw»jc+ Vnk i > - r^ )
ly = J i 0cpdv.
2
L e m m a 4. I f for an arbitrary function \p€zLp
X p j I'Po+ H lP 1sign +
9
and since th e integral J ] | 0o+X 0 | p" ’ sign (0o+ A 0 ) 0di; converges uniformly,
the formal differentiation w ith respect to A is valid. F u rth er,
- —i
( ^ H ? 0 + X'Hl)x = 0 = [ J l ? 0 | * ^ ] P / [l'PolP _ l s >gn ?o]'T'd 't;.
9 9
and therefore,
9 2
I? = f ^ ? d v y
T heorem 1. The space L*p, i.e., the space of functionals for Lp, is complete
in the sense of weak convergence. In other words, every sequence which is
weakly convergent has its limit a linear functional.
We have
I. 2 1 w » i l < . 2 IVsIi =
J=S + 1 J = s +1
(3.30)
IIVs I I . 2
1 .......- L
« s" o I > t II'1'«II 2 > 4 ’
w hence clearly it follows t h a t Z*w0 c an n o t converge to a n y limit w ith
increasing k. T h e theorem is proved. H ence, if a sequence )/*( converges
weakly, it c an n o t be u n b o u n d e d a n d therefore for all we h ave
- 2 ^k
A= 1
cc
i.e., the series 2^/.- is convergent. B ut sin&xjOO, since
fc= i
2n
J sin2 kx d x = - -/►0 .
o
R emark. T heorem 2 m ay be fo rm ulated in term s of the weak con
vergence of functions as: an u n b o u n d ed sequence of functions can n o t be
weakly convergent.
*i1},
a)
?* > ; J 9&Sdv
2
for k co.
where Ill'll <<, and ip%is an elem ent from our net (4.2). T h e n by virtue
of the boundedness of all the /*, we have
I hc'\--- hc'lsl < -4 s -
I W - W K '3 ^ ,
from which follows the convergence of the functionals /* on \f. As shown
earlier, the limit l\f will be a linear functional on L p- and m ay therefore
be w ritten in the form l\f = J'tp^dv. T h u s, for every ^ £ L P-, we have
Jli (fro^dv, and consequently, for every functional from L*p
it follows th a t — {l<pa). Therefore the set X is w eakly com pact, as
was to be proved.
if only | Q\ <6{t).
Lemma. The set X C L p will be strongly compact if and only if for every
(> 0 one can find a finite (-net in X , i.e., a finite number of functions
• •,</>;vi,h the functions of the net, such that for arbitrary <t>^_X, one
can find among the functions of the net a function <}>s for which ||<£~ 0S|| <<.
By the estim ates of §2, item 4: || 0*—0 || <KJ^,{h), where K does not
depend upon the p a rtic u la r function of th e family or upon th e p a ra m e te r
h of th e kernel, and J t (h) = supf^j • By condition (4.4), for a given
f > 0 one can find 6(e) > 0 such th a t for h ^ 6(e)
f \ * ( P l - P ) \ ’’t dv, P7
8, e.
if |Q | <«.
S pec ia l problems of fu n ctional analysis 33
T a k e an a rb itra ry function <t>(EX and choose the n earest 4>k to it from
the (e/3)-net. Using the M inkow ski inequality, we obtain:
= [ f l ? ( £ + Q ) - ? k ( P + Q) + ? k (P + Q ) -
< [ f l ? ( ^ + Q ) — ? k ( P + Q ) f d t-lp +
a -*
for | Q | < 8,
i.e., for all <(>E:X for the given e, we m ay give 6 such t h a t J t (Q) <t w h en
ever |Q| <6, a n d consequently, th e necessity of condition (4.4) has been
shown.
( — 1)J dv = 0 (5.2)
i.
J ('f— Q ( x ) ] ^ d x = 0,
o
from which, by virtue of th e arb itrarin ess of d\f dx, satisfying only the
condition d^ dx/ dx = 0, will follow </>—Q(x) = C, i.e., o = q(x)-i-C, and
consequently 4>(x) is absolutely continuous, which co n trad icts the assu m p
tion. T hus, 4>{x) does not have a generalized derivative. For this reason,
if <t>(x) is continuous and has a derivative d<t> dx almost everywhere but
is not absolutely continuous, th en it does not have a generalized derivative.
T h u s, from the existence of th e derivative almost everywhere, does not
follow th e existence of th e generalized derivative.
Example 2. We consider the function of two variables <t>(x, y ) = / i ( x ) +
/ 2(y), where neither /j(x) nor / 2(v) is differentiable: th en <t>(x, y) does not
have derivatives in the ordinary sense, bu t the generalized derivative
d2<t>/dxdy exists and is equal to zero. Indeed:
d'-l d'-l
J ? dx dy dx dy dv +
c
f /a O') dx dy d v.
and analogously
a»->
J A ( / ) djtdy dv = 0.
C onsequently,
d54
J ® dx dy dv = 0,
as was to be p ro v e d .1
2. D erivatives of averaged functions.
Q
where > ■>
P = ( x u x 2, . . . . Jffj ; Pi = O',, ^ 2 , . . • , >>„)
<3°A, d,UJ?i (Pi — P)
J?(A ) d-Uj =
d x “ld x ^ . . . ajc“" X/I" J ' ' " d x l'd x l' . . . dxZn
^ J a / ' a j . , - . . . aj.;»
By the definition of th e generalized derivative, for every $ we have equa-
'’There can exist at most one generalized derivative u.-al...„ r] of the function o. If
there were two: J f f . .„n and ’.. ,0n, then on the basis of (5.2) we would have
- ttl - Se ^ s* d v l =■
d x 1 dx2 . . . d x n' d y \'d y l' . . . dyn»
- [ ... d x ? J k
as was to be proved.
J]
a | dx2 . . . dxnn
dv<A{Q), (5.6)
dx1 ox2 dx
1■'•/i "
X
dx\l dx ] . . . dx°»
J m 7 7 ;------- — 4 - ( - i ) ° +1 + — — *-— \d v = o
B y dxi • • • dxnn dxxl ... dxn» J
for all \p continuous with all derivatives up to order a and vanishing out
side V4(ZQ-
Passing to the limit for <=, we obtain:
d®^
+ ( — l ) a+1^ ai ... , I d v = 0,
a “i
dxx 1.• • Vdx
A .n n
d®<Pi da<t?
and
. . . dxnn dx \l dxn»
d^*0 9 (iV = ■
''
. . . dxi»
pi
l y+& j o dv -
d x ’ ‘ d x ’/ ... d x ,>
d '' + P0
= ( - l ) ’ +? / ' f dv,
dxi djc n n
= A f l?ifc (9th — 1
® i) |d v < A J • I'fo/,— f
2 a
~ M J | ? 2 I • I ?i;i — ?i I dx> A ( || ?,,, || I! ^ 2fl — 'f 2]| r,?/ -f-
2
+ I I ? a l l j y I I ? w , — ' f i l l / - ;,1 -► 0 f o r h -► 0 -
S pecial problems of functional analysis 39
i-e ,
f for h - o.
2 2
dv.
2
T h e n from the obvious equation
where CUvi2. . are the binomial coefficients, and ju s t the ones which a p
pear in the corresponding formula for continuously differentiable functions.
T h is same formula is correct if </>, and fa lie in L p and Lp-, respectively,
and have all the generalized derivatives occurring on the right hand side,
w ith the derivatives of </>, lying in Lp and the derivatives of fa (^L p . T h e
proof is analogous to the one ju s t given.
4. Independence of the domain. Let < }>and X be two sum m able func
tions on 12. If X is the generalized d e riv ativ e of (j>
^ ________a*?_____
a.tj 1 .. . a * ,/ 1
dxf d x n71
We denote by fta the set of all the points of ft whose distance from the
b o u n d ary is greater th a n <5. T h e n the sphere C J P ) with center a t an
a rb itra ry point of Pa w ith radius h (h < 5 ) liesjn L et Xh be the averaged
function of X w ith respect to the kernel uh(P\ — P)- Using the^definition
of the generalized derivative, we have for an a rb itra ry point P G f t
h = f f ? ---- — — dv =
J J d y f .. . dyn»
Ch(P) Ch(V)
= { - 1)’ / ( - O '? dv =
dxf ... d x nn
c;i (P)
d*
— f (u, dv = ------- —^ ------
d*V ••• dx> r *■<' ••• dx«"
th en th e pair of dom ains 12(u and 12(2) will be called sum m able.
T heorem. Let il{1) and i f 1' be a summable pair of domains having the inter
section i f ' i f 1'. Let<t>xb e d e fin c d o n if),<t>2 o n f 1',and(i>x= <}>2 o n i f " - i f 1' (with
the exception of a set of measure zero).
Suppose that 4>x has on fi(1) the generalized derivative d"4>x/ d x f - ■-dx"n and
<t>2 on i f 1' has the generalized derivative d' ^t/dx^1• • ■dx“n. Then the function <t>
defined on Q(11+ 11(2> by
(D= j ? i for 2 0 )
I <p9 for 2 (2)
has on 12(1, + S2,2) the generalized derivative equal to
da<ti — for 2 ,
a 1
d x f . . . d x n»
(5.7)
d x \ \ . . d x na* ----- ---------- for 2 S
dxaf . . . d x nan
where X is a number,
and the first term on the right side is a continuous function of Q, U(Q) is
continuous as the uniform limit of continuous functions. Applying the
Holder inequality to (6. 1), ju s t as in (6.3), we find
S pecial problems of functional analysis 43
and applying th e H older in eq u ality for three factors and p u ttin g Xx= l/q*,
A2= ( q * - p ) / q * p =( \ / p ) - ( l / q * ) , X3= 1 /p ' (obviously Ai + A2+ A3= 1), we
o b tain
r< R
2)This result for the case s = n was proved by S. L. Sobolev in somewhat stronger form
for q' = q. For s < n, S. L. Sobolev proved this theorem for p = 2, q* = 2. The theorem
proved in the text is due to V7. I. Kondrasov.
44 S. L. S o b o l e v
(since n —<p' <n) and th a t J'rsft\f\pdv = \\f\\ip, we get
l ^ ( Q ) l < K J / l | 1~ ^ { J \ f \ r > d v A ^ . ^
r<R
Raising (6.5) to th e q*th power, in teg ratin g on th e plane
Vs + i = y 8+ z = ... = y n = 0
and interchanging th e order of integration, we find
f ...
n s
< KfWfP'-r j ... J I /!<■[/ ... J <— (6.6)
r < Jt
is bounded.
Indeed in polar coordinates in th e plane of Qls\ we will have:
r = Y p2 h2, dv+is) = p"” 1do du>(s\ (6.7)
f . . . { /■-+■«** .?<„) =
J . . . J | i / ( Q W ) | ^ r f ^ (8)<
8
<z,
< [ / • • • J I u (Q m ) I* " * [ f ■• • J ‘fc’j w ] 1 *'*.
we will have:
S pecial problems of functional analysis 47
?l + ?2 l|L« ) <
P
T h e th ird p ro p e rty of the norm follows from the fact th a t if all th e gen
eralized d eriv ativ es of /th order of some function <t>are equal to zero, then
all th e generalized derivatives of order I of th e averaged function 4>n are
equal to zero. T h is m eans th a t th e averaged function is a polynomial of
degree a t m o st I — 1. How ever, th e limit of a sequence of polynom ials of
degree at m o st / — 1 can only be a polynom ial of degree a t m ost / —I, and
it follows th a t 0 is a polynomial of degree a t most I — I.
T h e invariance of the norm u n d e r orthogonal tra n sfo rm a tio n s of co-
ordinates follows easily from th e first re p resen tatio n of th e norm , since
th e expression
< IM U ) (7.3)
dxI' . . . dx\? ^p
it = n n =n?
If some projection operator [ ] , carries the space W f on the whole
space S h th e n it will be the id e n tity op erato r on S h
W ith the aid of each such a projection operator it is easy to construct
a decomposition of the space W'p . We put:
n , ? = ? - n ?
n ; = e - n ,
where E is the id e n tity operator.
T h e operator [ ] * will be in its tu rn a projection. In fact
n ; n ; = ( £ - n 1H £ - i i 1) =
= e - 2 n . + n ; - f i - n , - n ; ,
which was to be proved.
An a rb itra ry element <*> of W™ m ay be represented in the form
? = II i ? + II i <?•
T h e elem ents of the form 4>*=Ui<£ co n stitu te a subspace of the vector
space W f , since the sum of two such elem ents J ]*8 i + 1 1*8-2 may be put
in the form I ITC^i + <^>2) and th u s again lies in this space.
It is not hard to see th a t the space of elem ents of the form is iso
morphic to the space Lp\ because each class in L f will correspond to
only one element of the form []*</>. T h is follows from the fact th a t [ !,</>= 0
S pec ia l pro blem s of fu n c t io n a l a n a l y sis 49
if T h e sum of elem ents of th e form J 1*$ corresponds to the sum of
classes in Up and conversely. Analogously, m ultiplication by a co n stan t of
corresponding elem ents leads again to corresponding elements.
T h e space Si can be norm ed, as can every finite dimensional space. It
is convenient to define a norm on it in th e following m an n er. Suppose th a t
P is a polynomial of degree less th a n I having th e form:
T h e n we p u t:
l —l
i< = 2 { S (7.4)
*=° E «s=*
T h e definition of th e norm in this way will be in v a ria n t u n d e r all ro ta
tions of axes of coordinates, while in distinction from th e norm on Up it
will n o t be in v a ria n t u n d e r the tra n slatio n of the origin. Indeed, the
q u a n tity • • •«„!) al v ..„n is one of th e in v a ria n ts of th e tensor
a Vn and therefore this q u a n tity is preserved un d er orthogonal tra n sfo r
mations.
W e m ay verify th a t again for such a norm all th e th ree properties hold:
(a) || P, + P 2| | ^ || P J + || P i ||,
(b) || a P || = |a | • j| P | | ,
(c) I f ||P|| = 0, th en P = 0.
T h e v alidity of the conditions (b) and (c) is obvious. W e establish also
th e triangle inequality.
Suppose
i—i
p,= 2 2 *=0 v %=k
M a.
, x ‘... x n;
n I
a
» ’
l—l
p 8= 2 2 a ? . . . «,*;• •• • < " •
We have
i—i
P . + P 9r - \ { 1 SlI . . . o n l - an + a ”i) --- “»] } ^
*= 0 =
<s{[
E«=jk E« = fc
which was to be proved (here T'* denotes su m m atio n s w ith the weights
kl/ail- • ■«„!).
T h e estab lish m en t of a norm on S; enables us to carry th ro u g h also the
norm ing of the space W f . T his norm ing m ay be carried ou t if we are
given any projection op erato r w hatever.
N a tu ra lly , we p u t:
-> -> n —
7. (O A P ) = — J v ( I, P ) r 1 xd r v (7.6)
= lh
For a n y function 0 (Q) continuously differentiable up
to order I on the d o m ain il, we m ay co n stru ct a corre
sponding function $ by th e form ula
? __ l—lj
-
■<3
d d'-f dl I—l —o.
Figure 5 $ i—i i—'j dr1
dr dr dr
Obviously, we have
:-<3d l6 (7.7)
dr dP
In addition:
d'b dl-* $
'I' r= 0 : = 0.
dr r=o d r l~ 2 r = 0
C alculating d1 ^ / d r 1 ’, we obtain:
52 S. L. S o b o l e v
M ultiplying (7.8) by the elem ent of solid angle eta, a n d integrating over
the u n it sphere, we obtain:
OO
= f dco^ [ dr.
J ,
* 1 r-dty 1 . , (-l)i-if-d'? 1 .
<? (P) ~ ? — t -7;— r dv+ 4- ------- a — T ——, dv~y . (7.9)
V '■ j dr1 rn_1 Q % J V dr1 rM_1 V
W
—1 A*~ ^ ”->
*■ ->~ ~
-7 ->
T
■= 2 C ir* " ‘ ' ■ p>) =
*= 1 r
I £ — -> ->
=y ^ dr1'•
p’
fc= I u= 1
I k- 1
=ky= 1*=0
y 1TS d*v (r, t P)
dr*
(7.10)
where Bk, Ck, a n d D*,., are c o n sta n ts which are binomial coefficients or
co m binations of binomial coefficients. _ _ ^
B u t v { r , I, P) = u { Q ) , w ith the s u b stitu tio n Q = P + r l , Q ( y u y 2 , - • -.v*).
Therefore
dv ± L i . = y dv yj ~ xj
dr dy. i Imi dv. r
3 j =i
where /_,= (y,—Xj ) / r are the com ponents of I, and we find analogously:
= V d*v
dr* . . — , ^ . . . d y . V<,
^ • • • lu =
*i. H......<s = l *
=± V c dsv
••• (.y„ — * „ ) V
E .,-. " W ••• aV
S u b s titu tin g in (7.10), we find:
d=*1
>ilb al a0 a
- X =/■»-! 2j X' X * ••• Xnn - C ,,. .. «n ( ^ „ ^ 2* •••»
E<^ < j —i
where fnl. . ,„n (yi,• • • ,yn) are bounded and continuous functions of
(j'n • • - ,yn) ’
V c (w — * i ) 1 • • • ( y n — *n) dl=?
dr1 2u U dyl1 .. . dynn
E a .= J
T h is last formula is obtained like the one for 5T dr\
F u rth erm o re, it follows from this th at
We have
b/ 7‘ 2’ • ■■ /ln n T
= a rt i - l V=
I i a, a, a — -r
= - h KC........0f/ i V ... />)) =
i —
= ; f t t ™*.......«„(r » '• p )>
S pecial pr o bl em s of f u n c t io n a l a n al ysis 55
dy ^
{ rn-l 2 Wa'
E<t. = l
a» ^ ’ «i ----------- dv>.
ty'x ••• dy nan Q
(7.12)
dl
"a** ... a/n» «
.. . ------H i ------dv+ = S m + oHh>. (7.13)
E*.=1
We set
5= £ ( Q)
E«.<i—i
a1,
(Q, «i <?
dl?
0 for h
dy \l ■• • dy'n» dy\l . . . d y nan
Indeed, the continuity of </> was already proved in the cas e n < l p .
F u rth er, from (7.12) we conclude th a t:
L
p
<a2)
V
Indeed, th e fact th a t 0 G L ,. was already proved in the proof of form ula
(7.12) for the case ^ E W ^ 1 for n ^ l p . I t rem ains to prove ( 8. 2). We have:
.i* +
l v < U 5 l J< -'9* ‘
find
II5 II ^ll?il W'(b-
p
and
converges.
H ere an denotes th e surface area of th e h vpersphere in n-space.
W e consider the plane JCj = 0 (xn = 0); and set ^ " =2x} = p2. By Theorem
2, u( £L q- on the plane x : = 0, where
q* < 9 = (n — 1)2 2( n - l )
n — 2-1 n—2 *
W e show th a t
Special problems of functional analysis 59
71—]
J . . . J | w | 9 + Edvn _ 1
a?i = 0
will diverge if e > 0 . Indeed
n T^_ R
J . . . j" ; u I 9 + Edv = ^ J w^ a 1--------- pn- 2dp =
•*1= ° 0 l p ~ |l n p |] 3+ '
-1 —I (n 2) t (n-
"2^T
P
g+ e
| In p| £«'
— ]n R
» - 2 - ( , + .) lr 2= - I + i ( / i - 2 )
ri = 1/ ( x n -j- 8)2-(- 2
' t= i
l+K 1+ .K
—— 11
f r 2 dr
and f , ,^r 7,
J | In r\ ./ r |ln r |-
0 0
converge.
T herefore th e integrals o f | u 4| and Idui/ d x l | 2 on are also u n i
formly bounded (f2 is a p a r t of each hem isphere of radius + and by
virtue of (7.12) and (7.5) llu j^n ) is uniform ly bounded.
On the o th e r hand, it is n o t difficult to see th a t
60 S. L. S o b o l e v
n—l
J . . . j \ u t \q+‘ dvn _ x - > c o for 8 -► 0
x, = 0
( k = \ , 2, . . . ) , (9.3)
llS 12?k|lS > ^ l l % ^ (I)
w i= i n A M - h t u - i n A =
p
= l I X 2?fc--- I I l? * l|s -f- 1 = | S 12<Pfc||s + 1 > k - \ - 1,
Using these, we see easily t h a t each one of the following th ree inequali
ties below is a necessary a n d sufficient condition for the equivalence of
norms.
62 S. L. S o b o l e v
n n® s
where ,„n represents an o rd in ary a d d itiv e functional.
I t is not difficult to see t h a t these functionals have th e p ro p e rty
/ x ?' X2
.... . X1 x? X^n
n = ■
I{
ji if 2(«,—M! = o (9.6)
(0 if 2 (« < -M a> o.
4. S p h e r i c a l p r o j e c t i o n o p e r a t o r s . T h e a rg u m e n t in §§1, 2 is valid
for a rb itra ry domains. Now we shall d e m an d th a t th e dom ain 0 is star-
like w ith respect to some sphere C of radius H. F o rm u la (7.12) defines a
projection o p erato r of th e form
= 2 *;■ . . . x - A ( Q) f ( Q ) d v t , (9.9)
X / J Q ) ? (Q. + T)<lv$-
/ ® ( Q + T) dv>
L e m m a . Let th and S22 be two domains, for each of which the Imbedding
Theorem holds. Suppose that 12! and 122 intersect in a nonempty domain 1212—
S2!l22. Then for the domain 12= 12!+ 122 the Imbedding Theorems are valid and
the norms defined by all spherical projection operators are equivalent.
£ (& )’ H * ] •
from which there follows
(9.12)
“ 2 <—l
T h e last inequality is well-known un d er the n am e of P o in c a re ’s inequal-
ity.
E x a m p l e 2. Let p = 2 , / — 1, ,s> (n — 2) • 1= n — 2; s {= n — 1, s2= n.
Since qx= 2 { n — l ) / ( n —2) > 2, we have W 2]C . ^ 2 on m anifolds of d im e n
sion (n — 1).
We p u t
n—1
j J" • • • j ? dvn-l | “H I ? ’
J | ? |a dv < Mj | | J .. . J ? dvn_ j
+ m £ )H
2 <= 1
(9-i3)
I t is obvious t h a t T h e o re m 2, item 2, can yield m a n y inequalities for
suitable choices of th e functionals A .
m, k —> oo,
dl tp dl <p
m Ac
—*■ 0, 2 an — I, m, k -> CO ,
dx'i ■• • d*ll .. dx'n*
d,ny
< M IM ( 10 . 6 )
w (I)
0*1 • • • K *
(2) I f 0 and m } z l — (n / p ), s > n — (l — m ) p , then on every manifold of
dimensions
dm<f
a, , a 6 Lq*.
d x t . . . dx nn
dm<f
< M II © II W{1) (10.7)
dx !i l ••• dxan V
n V
70 S. L. S o b o l e v
R e m a r k . Iflp > n , th e n Wp)(ZCl~^n/p^~1i i.e., W f is p a rt of th e space of
functions having / — [n/p]— 1 continuous derivatives. This follows from
the first p a rt of the theorem . S e ttin g s = n in th e second p a rt of the th eo
rem a n d noting t h a t in this case the permissibility of q* = q is established,
we conclude t h a t if k 5: 0 and k ^ .1 — ( n / p ) , then
P r o o f . It suffices to prove the theorem for dom ains which are star-like
w ith respect to some sphere.
Let 4>(P) be continuous and have continuous derivatives up to order I.
T h e n formula (7.12) holds:
<?(P)= ^ x °i x nn J (5 ) ? (Q) d v ^ - f
< i-i R<n
dm
dx? dx d rn-i w«„
dx
u nn
dv =
1 rm dl'i ( 10. 8 )
rn-l +m or
dv,
n dx, dx
UA-n«
where “ 1••‘«n are b o u nded functions.
Indeed, let us differentiate m tim es b o th sides of (7.12) w ritten for the
averaged functions 4>h. T h e limit of the first term -of the right side for
h — 0 will be the polynomial
d"'S
T h e limit of the second term of the right side will be the sum of term s of
the forms of the right side of (10.8). On the basis of the theorem of §6 on
S p e cia l p rob lem s o f f u n c t io n a l a n a ly s is 71
integrals of po ten tial type, th e assertion of th e theorem follows.
For the proof of (10.8), it suffices to show th a t
dm w M (Q, Pj
0JCPji fix-I w («. P) )• r*i-l+m
(10.9)
dx n
n —1 .
X « . P ) = - / i > p - t - 7- W - P ) ri drv
di (Q, P) V
dxx
r j —1
n —1 .
X ri dr1 =
------- r---------------
l r r'dviQi) n . v (* 1
r2 -X
T[i *Vi r' dr'
T j= i
CO _
+ * (Q )
r
CO _>
f d«((?l) n—1 .
r
1 4v, r ‘
i ■<!,>; —
= ii "i ii p + r.I.
p
is equivalent to an a rb itra ry norm constructed by m eans of a spherical
projection operator, i.e., it tu rn s out to be the n a tu ra l norm.
T h e right hand side of the equality which gives the definition depends
S pecial problems of functional analysis 73
n eith er upon the choice of th e origin of coordinates, nor upon the direction
of th e coordinate axes, and th ereb y tu rn s o u t to be in v a ria n t u n d e r all
possible changes of coordinates. F ro m this we see t h a t the n a tu ra l norm
m ay be defined in an in v a ria n t way.
We show the equivalence of||<£||%> to an a rb itra ry n a tu ra l norm . Let
M'p
|| 4>O ') be a n orm defined by m eans of some a rb itra ry spherical projection
**P
operator. I t is necessary to show th a t th ere exist c o n sta n ts m and M such
th a t
tn i ? 0 > < i i ? i i % ) < ^ i i ? i i (>
We have:
i?11%= iiii ?i7/)+1 iii ?iu>= ii?i i ^ - h i l ? k
where is th e given projection operator.
F u rth e r:
II® llz ( U < l l ? O V
P
We shall prove also th a t
where K is a c o n sta n t depending upon the shape of the dom ain ft.
L et th e coefficients of the polynom ial be a 01„2...„n; th e n obviously
( 10 . 10)
II i i ? 1% < max I •••«.!•
X d x { . . . d x n,
In addition,
U ( P , AP ) = f {r + ^ ~ l f ( Q ) d v - , (11.1)
r r.
r <R 1
where R is an a rb itra ry n u m ber larger th a n the d iam eter of the dom ain
12. We represent it in th e form
Special problems of functional analysis 75
U ( P , AP) = / ^ + J ^ + J
|API ^ | AJ» | r < R 1
2 2 |AR|
r < R r< R r >
(P. U
'r ^
<RR
f -+fS ; / dAP’ =
u ( p .&mP \) l^<mV li( I a ^ j ^ d v f
1
= i\\fV
)
n j wY, (n .3 )
W e investigate th e integral
_ f ir + r J r ' - P' J
J
r < R PP'rY ^
/
(P + Pi)Xp,~ p ' dv+ =
?Xp'?\p ' Qi
UP |
r (p + p , P '-”' , r ( p ~f~ pi)
Xp’ — p '
-
P< 2
p^p'pjp' ?.+ 2< r <
1 Pxp'p ^ ' <?i
a P |
U? I
(p + Px) X p ' - p ' —p' —Ip' —1
/ R
Xp'
pp Pi
Xp'
/ p” " ' ' 4°.
2 < 9 < — fT
I 4P I
where i f is a constant.
Thus
n — p ' — Xp'
y , < / c , + /ca (11.5)
4P
T a k in g account of (11.4) and (11.5), we obtain:
a n d th e lem m a is proved.
R e m a r k . I f n — Xp' —p ' = 0, th e n by a m odification of the a rg u m en t
we o b ta in 0 < 1.
3. A l e m m a o n t h e c o m p a c t n e s s o f i n t e g r a l s i n L q-. From T h eo rem
2, §6, we have t h a t if (n — X)p (i.e., X ^ n / p ' ) and if in add itio n s <rc —
(n —X)p, th e n U(P, ± P ) ( £ L q‘ as a function of the p o in t P for fixed SP
on an a rb itra ry h y p erp lan e of dimension s for which
q* < 7 = sp
n — (n — X) p '
W e shall prove the lem m a in the case 2 « ^ 1 , leaving the proof for the
special case 2t = 1 to the reader.
P r o o f . W e have as before in th e p roof of T h eo rem 2 , §6 :
I U(P, t> P )f [ ( -
1*
(r + a,) - ( • + 4 ) -- dv+. (11.7)
x j \f? r s — ' 3*^8 — «4* Q
r<K
78 S. L. Sobolev
q*— p , 1 , 1 __ 1 _____— =
W e obtain
i i
| U {P, A P ) | < [ J \f\p d v + y ®* X
r<R
«—(6+ v ) 3*
f | f\l> (r -hri)---------- 1 dv-
X I I / I — t g * s — eg* X
** —
Lr < R
' '1
n- ( , + i - y
f ( r + r l) * “ hi;>
X J n — t p ' n —ip e
^ Rp
r < r rl
_1_
h"-(■
- li+ t 4 >
i —L
*<o (AP)
f I / [P(r+ rt)- - - - - -
^ ( r + r p ------------ d 5*
J 1 e 2*
s — eg* 8 —-e/ ( 11 . 8 )
r< R 1
where
n- ( ' + 4-)^'
u) (AP) = C ( r + rX x
J r '* - £R y » - *P — d v +Q
r < R ^ r l
E stim a tin g wfA/5) by the same m eans as we estim ated J , in the proof of
Lem m a 1, we obtain:
S pecial pr obl em s of f u n c t io n a l a n al ysis 79
n“ (e+ T ) p
(0 (AP) < 1 AP ,(— f > 7 (P + Pi)
■JR
pn - t p ' ? n - t p '
dv^ )
I API
R
< i a p i (■
Fro m (11.8) and the estim ate which we h ave obtained for |w(AP) |,
(11.7) follows. W e rem ark th a t in the e stim ate for |w(AP) |p for f <7 the
first term is the im p o rta n t one, while for i > \ it is the second term.
Using (11.7), we pass to the estim ates of th e integrals of | U(P, AP) ^
on an a rb itra ry manifold of dimension s.
For simplicity, we restrict the a rg u m e n t to th e case of a hyperplane.
T h e general case m ay be reduced to this by a tra n sfo rm a tio n of coordi
nates.
In te g ra tin g th e inequality (11.7) in th e variable P and interchanging
th e order of integration, we obtain:
8
X / ” rs — tq* ) dv8=
r<JR rl
+ A j |A P |( e a ) * '] P > x
(11.9)
J ... ‘ )a' x
•< -5r
I API
We decompose once more the dom ain of integration into the portion
lying w ithin the sphere p s? 2 and the portion lying outside th a t sphere
S 8
V ' 2/
(P + Pi)
A = J,+ J,= j ■■
P< 2 p> 2
J 8-•«* 8-«3* d vB. ( 11-11)
Pi = V W + ~ ti[.
For h> j, hx> \, the integral J 2 will be bounded by v irtu e of the fact
th a t p and pt will both be bounded from above, as well as from below (by
the value | ) . For h < /i, > {, to estim ate th e integral we rem ark th a t
p + P i ^ 5 , p , > j , p ,> T h ereb y :
SR< 2
where K x is some constant.
Similarly we estim ate J 2 in the case in which h> /i, < { . Finally in the
S p e c ia l prob lem s o f f u n c t io n a l a n a ly s is 81
last case, in which h < \ , * , < i , the distance betw een the p o in t Q0 and Qi is
greater th a n 5 and, consequently,
4
I A PI
R
-V
where a = 0 if h > 2 and a = (4 —/i2)1/2 for /is; 2. For h > 2 this integral is a
decreasing function of h. T herefore it suffices to verify the e stim ate for
h ^ 2 . For these values th e in teg ran d is bou n d ed on the segm ent a s | 9?^2.
F u rth erm o re , if 2, we o b tain by m eans of some estim ates:
R
■> —(«—- W
= c 4+ c 5 | a p i ^
From this, using ( 11. 11) and the boundedness of J 2, we find:
•A Q ■[AP | ^ a^9
f .- 4 V 'l£
r ... r i u ( A P ) r ^ < i i / r ' U + ^ i ^ r J r x
X [ C 6+ C „ | i P r ]•
Bv if e> y J
[J . .. f \ U ( P , ap) ! 4’ ^ , ] 4 <1/11 •
from which follows:
Set
T h en
S pecial pr o bl em s of f u n c t io n a l a n al ysis 83
- f [ w ° , ... P + A P ) — w a i ... . n ( r , / , P + A P ) ] +
Since Lvtti, ,i<n(r, I, P) and its derivatives with respect to r, I, and P are
hounded, while in addition | r x—r \ ^ | A P | , (r + r j r ) > 1, and 1/ (r + r d >
/ 1 > 0 (the dom ain being hounded), it follows th a t
Ax\^P\
■i r- ^ 1
i ^/ „n v(r ^+ 'r 1i1____
< rn —l ^ r n - l rn - l •
rl r r\
Analogously we find:
1
_n—I m ....... «„ ('• Z* P + A P ) — ......... „ w (r, /, P ) <
-f- n) n —I —1
_n — I n— 1
' 'l
F u rth erm o re, since / = (Q — P ) / r , /j = (Q — ( P + A P ) ) / r u
i r 1_ r i < i L i ^ i + r i o £i = 2 |4pi
rrx r\r
Therefore
. A |A P | , i v n -I-l .
^
r n — 1 /-jn — 1 V i r l) ’
n > /, rt — / — 1 > o.
S u b stitu tin g these estim ates in (11.13), we obtain:
Wai...... ... ( Q .P + A P ) w.,........ « „ ( $ . £ ) s r (r + ^l)
„n—I —I ^ ° r.n—l r.n—l >
and from ( 11. 12) we find
•> -+■ ■> , -*■ C (r r , 1 n — 'I— 1
i? . ( p + i p ) _ ¥ . (P ) i < c | A P i r x
J
q
r r.1
a 1?
x 2 (11.14)
ax? dxan
n
Ea<= 1
In the derivation of the inequality (11.14) we never used the assum ption
th a t lp > n . We apply Lem m a 1 to (11.14), p u ttin g \ = n — l. We obtain:
n —X= I, (n —X)p = Ip, and by th e hypothesis of the theorem , lp> n; con
sequently the inequality n < ( n — \)p is satisfied. T h e n
Theorem 2. I f n > lp , s > n —lp, q* < s p /(n —Ip), then the operator of im
bedding the space W f ] in Lq- for an arbitrary hyperplane of dimension s is
completely continuous, i.e., each set J <p jC Wp* with bounded \\<t>\\ u) turns
P "
if only |A P | < 5 ( 0 , where 5—0 when «—0. For this purpose, we apply
L em m a 2 to th e right side of (11.14), p u ttin g A= n — /; th e n the inequality
n 2 ;(n —\)p is satisfied since by th e hypothesis of th e theorem n^tlp. We
obtain, using the in eq u ality (11.6):
P = n>ln[l;^r — ( y - / ) ] ,
from which there follows (11.6). T h eo rem 2 is proved.
R emark. Suppose th a t on the d o m ain il th ere is given a sum m able
function ■•,*„). Let £ be a sm ooth manifold of d im e n s io n s. We
shall say t h a t <i>(xu - ■■, is co n tin u o u s in the sense of if
Q*
J | ' f( P + A P ) _ ? (P) dE 0 for | AP | -> 0,
E
for any manifold E for which only the tran slatio n of E by the vector
AP is contained in Q. F rom the theorem s proved above it follows th a t
every W f is continuous in the sense of r if s > n —Ip and q* <
s p /( n — lp) (if n — Ip < 0, th e n </> is continuous in the o rd in ary sense).
Chapter II
d x n -\-
2
dxr
x>)dx
87
88 S. L. S o b o l e v
S which is a piecewise continuously differentiable or consists of a finite n u m
ber of such surfaces. Let S be a regular b o u n d a ry in the sense defined above
(cf. C h a p te r I, §10, item 2).
W e consider on 0 a function w(jC|,jc2, - • • , jc„) which is su m m ab le and has
square-sum m able generalized derivatives of first order. Let
(12-2)
2 1= 1
T h is m eans th a t u G W^1’, and consequently by the basic Im b ed d in g
Theorem s, u ( £ L 2 on every (n —l)-m an ifo ld since
(n — 1) 2 0
2<q n -1 .3 = 2 n—2
M oreover, one m ay assert by v irtue of the complete co n tin u ity of the
im b e d d in g o p e ra to r t h a t if a piece Sj of some (n — l)-dim ensional manifold
is tra n slated by a vector AP so t h a t it rem ains w ithin 0, th en
n—1
| AP | —> 0.
It is obvious therefore th a t not every function <p(^L2 given on the surface
5 can be the limiting value of some function i/G W ” 1 given in the interior
of th e domain. Indeed there also follows from the Im b ed d in g T heorem the
sum m ability of the limiting value v on th e surface to any power less th a n
2{n — 1 ) / (n —2). L a te r we shall see (cf. item 5) th a t such su m m ab ility and
even co n tin u ity of the limiting values is still not sufficient in order th a t
such a function m ay ap p ear as th e limiting value of a function in W^1’.
L et us agree to call a function <t>given on the b o u n d a ry S of th e domain
permissible if there exists a function v in W\u for which < t>is the bou n d ary
value.
T h e Dirichlet problem consists in seeking a harm onic function from W 2]
which assumes on the b o u n d a ry the given permissible value <p:
u\ s = 'f. (12.4)
Let us proceed to the solution of this problem.
For this purpose we first solve a variational problem and then show th a t
the solution of the variational problem tu rn s ou t to be a solution of the
Dirichlet problem.
2. Solution ofthe variational problem. W e denote by VV^’U) the set
of functions v in W 2U which assume the value < t>on S. Since <t>is a per-
Variational methods in mathematical physics 89
missible function, is not th e e m p ty set. For each , we
have
0 ^ D (v) < oo,
and therefore th ere exists a greatest lower b o und for the values of D(v):
H®*— ^ l l ^ , i ) = [ D ( v k — v m)}* .
Let e > 0 be given. We can find N > 0 such th a t D(vk) <d + t if k > N . Let
90 b. L.. b O B O L E V
D ( J * + £ = . ) > d.
From the obv io u seq u ality
d+ o (-a ^ a ) < = d+
i.e.,
Qr D(Vk_ vJ<4s>
and, consequently,
D ( v k — v„) —> 0 for /<*, m -> oo.
From th e completeness of th e space VF^ it follows th a t 1 } converges to
some function u0 in VF^1’, i.e.,
IIvo — v k II ^-0) —>
■0, k —►co.
2
D (v0) ■ dQ
2 «=1
9 i=1
«
< £ l / ~ ( £ - - ^ X £ 7 + ^
j = l Si
£i n
i = 1 Si
( & •
- t - H i n
2
(% ■ +& h t<
n 71 1
< £ k + < m i *<» [ / • ■ ■ / <
2
< ll® 0 + ® fcll n f) •II ^0 ^k II
J • ■• J ( v k — v 0Y d S < ||vA—
S 2
and consequently
J . . . f ( v k — v0 )*eiS~*Ot
s
b u t v^s =0 , and thus.
J ••• J — voy-dS = 0.
s
T h e function v0 tak es on its b o u n d a ry value <
t>by converging to it in the
m ean as was shown in th e Im b e d d in g T heorem s.
T h u s PoEW y1 is such th a t
(1 ) t »0!S = ? (P),
(2) D { v 0) = d. ( 12 . 8 )
O ( , 0, l ) = j E 7 v ^ ^ (r f o
1*—1
By v irtue of th e fact th a t Po+A£E W2"(0), we have D(p0+ A£) ^ d = D(v0)
and therefore (12.9) has a m in im u m for A= 0. By th e th eo rem of F e rm a t,
we have
D ( « 0i E) = 0. (12.10)
W e shall choose Z(xu - ■■,x„) of a special form. Let \f(rj) be such th a t \f(ri) = 1
v
92 S. L. Sobolev
for ^(v) = 0 for 7) Si 1, tin) m o notone on [}, 1 j a n d having continu-
ous derivatives of a rb itra ry order for all TjGjO, co]. F o r example, p u t
t o k 1-
and set
£ = r a- "
AE = A ( | f - * ( £ ) ) - A ('’- * ( £ ) > - ( £ ) - £ co
where
<a
£)= h"A f e ) ) = KHT" Hi
and it is obvious th a t the rig h t h a n d side is a function only of r / h ,
Using the fact th a t \p(r/h,) = 1 for r < / i , / 2 and Ar2“'I= 0 , we obtain:
---------------
ai Jf v Q0<o(PjdQ
( n - 2 ) o n hn1 J
f ...
VV =
=— ■—~r • ••i ^o40 (z~) ^2*
(n — 2) a,,/!” J Q J 0 (12.13)
■(«-2)o„ J J dr
^ dS
r= h
(n — 2) o„ J" * ' * / dS
dr
r = - r = —
h
1 ( h V n ( h\n-i
( ? ) ° » = L
D K- 0 = —/••9■ J*^ 0 dQ = 0,
0 outside of Q2h>
where iit is the set of all points whose distance from the boundary S is not less
than 6. Form the average of \p2h with respect to the kernel L7T) 1 i ( r h)
where tin) is the function introduced earlier and k= <rnJ'()lr)’'\p(ri)dri. This
averaged function we denote by xh-
1
r<h
Then for any function v(E W 2 \ we have the formula
D ( v , i ) = lim D (vXy ). (12.15)
7i->0
P roof. Obviously xt> has continuous derivatives of all orders and x/>= 1
on xti = 0 outside of tth. From th e equation:
r< h
we conclude th a t
dI h (12.16)
dx{
T h e function £x/> has co n tin u o u s d eriv ativ es of first order in il. and is
equal to zero outside of ilh and equal to £ w ithin ilAh. W e need to show that
D{vX — ; / ;i) — 0 for h-* 0, (12.17)
for any W 2 \ We estim ate this expression. We have:
Jf ■' • Jf i M- 1^ d x { [ * (1 _ 7
V *-h> ' dxi dQ
Variational methods in mathematical physics 95
o _o j __<
'■3/1 1— 1 2- aah 1= 1
and therefore converges to zero as h —0 by virtue of th e convergence of
th e integrals D(v) and D(^).
Let us consider the second integral. W e have by v irtue of (12.16):
V 9,k ‘■= i
d<2 <
S h ' ~ 5 Vi 1 -1
< i,’ i 0 . 0
t o Q Q
-
i —1
3-
"7 i 3h h 3/i 1“ 1
2h °~ih ’i ~ 1i
2 h ~ Q3h
J • • • J I^ C yi.^a. • • • ^ n - i . ^ n + A y „ ) — £ O v • .^ n) l2 ^ <
Vn+*»n
ae
dy dQ ^
Applying (12.20), we conclude the boundedness of (12.19) for each V7, and
therefore for the whole dom ain 113A. T h u s for every v £ VVV1 and
££W V '; £| ^ = 0, we have
Variational methods in mathematical physics 97
D ( v , {) = HmD(T/,
h -* 0
a n d th e lem m a is p ro v e d .1’ W e now proceed to th e p roof of th e uniqueness
theorem .
L et us assume th a t in ad d itio n to v0 there exists a n o th er function
u G V ^ ’to) such t h a t Au = 0. F o r such a fu n ctio n D ( u ) > d . I f D(u) = d,
th e n u could be interspersed infinitely often in a minimizing sequence
converging to v0, and th e n we should o b ta in th e conclusion th a t v0= u
since th e resulting minimizing sequence m u st converge a n d h av e th e same
limit as each of its subsequences.
T h u s if we d e m an d th a t u be different from v0, it is necessary th a t
D ( u )> d . W e shall now show th a t th is is no t possible.
I f u ^ W [ l) and in add itio n Au = 0, a n d £ is th e function from the lem m a
which we h av e ju s t proved, then
D ( u , 6 ) = 0.
/ V cos n< 0 n‘
(pie) = 2 j
n —1
is a h arm o n ic function in th e open circle x2-|-y2< 1, co n tin u o u s on the
closed circle x2+ y < l , and coinciding with <p(0) for p = l .
F u rth e rm o re , we have
JJ [(&)*+($)>*--
P< To< 1
Fo 00 ™
2tt J ^ nip n' ~ t dp = * V ] PoZn*-*• 0 0 for p0 -► 1,
0 nmml n =\
from which it follows th a t in \\.
If 4>(0) were a perm issible function in th e sense of item 1, then,
solving th e D irichlet problem by th e v ariatio n al m e th o d , we would
find a h arm o n ic u2(x,y)(^ WV* such th a t
2r.
J I M P , 6) — ? CO |2 rf8
0
o for p -k I,
and therefore
2ft
f [ "2 (P. °) ---° (°) ld() 0.
/ K (P .O ) — ( P ,0 ) \dl) -+ 0 (12.21)
o
for p — 1.
L et iH)< p < 1. T h e n by the Poisson form ula for h arm o n ic functions
on the circle, we have:
2ic
p — Po _ - [u2 (p, 0) —
^2(Po> %) u\ (Po> %) —~nr f
n
“a ' r, "
P o - 2PPry, cos (0 - Q0) + P‘
— 0)]d0. (12.22)
w here
o („ ) = J . . . J J j( ^
T h u s we have:
H ( u ) = D (u) -]-2 (p, u ) > D { u ) — 2 | (p, u) \ > D («) — 2M V d J^)=
= (V'D (u) — M ) 2 — M 2 > —
H ( u) — A12.
T h e th e o re m is proved.
100 S. L. S o b o le v
As a result, th e re exists a g re a te s t lower b o u n d for H(u) w hich we
d e n o te b y —d:
\niH{u) = — d. (13.3)
2. Solution of the variational problem.
[fl + 2 (p, =
d -j- e
d = e,
i.e.,
D ( v k — v m) < 4e.
T h u s b* I converges in L^1’. By v irtu e of th e fact t h a t H(u) has a con
s ta n t value on each class while for one of th e functions u x of th a t
class Ibillu41) = K | | Lw, for a m inimizing sequence we m ay always pick a
sequence for which
^IL -(i) = lb* IIjO).
T h e theorem is proved.
E ach function uGVF^11 is su m m a b le on S to any pow er q* where
Inn (13.6)
U co I I =
where n is the exterior normal to S k and ’ is an arbitrary function. The
problem of finding such a function u we will call the Neum ann problem.
Amu = ( 2
»= i *
u = ° d 4 -1)
or
ml d*mu
2 dx"^' dx 2*- dx2a’>
= 0
Sn-l n-l m— 1
Sfi-i Li, n-1 m—2
S»-z ji - 3
m— 2
S n-i Li , n-4 m—3
d = inf D (v), --
Wlm
-
) i(oJ(B“ *) ).
1 '' ’ n
b. hr ( 2 ? ,' O — 1),
i= l
As > r>n..
jn /Pi .... pM
-'?i < in—1
one can find at least one m onom ial ;tiM• • for which this com bination
does n o t vanish.
C onsider th e surface S„.\. By assu m p tio n of this surface consists of a
finite n u m b e r of sm o o th pieces. P u t
03*+ P,+ ^
P?,. »nv = (14.8)
l ” P ^ « , = { 2 ( P ,< - ) s + 0 ( » ) ) . (H .9)
(P al V k ) = ( P |i . V l )
and thereby
108 S. L. S o b o l e v
IIv k Vl Wwim) = D { v k Vt\
2
and therefore
D ( * ¥ - ' ) > d.
From the preceding e quality
vk + vt
D ( ? * ^ ) = ± D ( v k) + j D ( v l) — D (
we find
D { ? = * ■ ) < ± p - + ± - p - d = t,
i.e.,
D ( v k — vf) < 4h,
from which by th e arb itrarin ess of t it follows th a t
(14.10)
II®* — Vllwim) °> k,l-*00.
k+ X = const.
a n d hence
D (u + U) = D (u) + 2 I D (u, t) + AaZ) (E) > d
S= [ + ( - £ ) - * (£ )]•
where 0 </i, <h2<5 and \p is th e averaging function considered earlier
(cf. the D irichlet problem , §12, item 3). From th e p roperties of this func
tion we conclude th a t £ = 0 for r < h x/ 2, r > h 2, and th a t all th e derivatives
of £ are continuous. I f the p o in t from which r is calculated lies w ithin 12,,
then £ and all its deriv ativ es vanish on th e b o u n d a ry of 12. Therefore
(14.13) holds for £. Since £ has co ntinuous deriv ativ es of all orders and is
zero outside of 11,, by the definition of the generalized derivatives
dv'u
dx\' ••• dxT
we have:
d”'u f)”--
I ’o ' I da x/ irl ... dx*? d x {' ... dxnn
dQ =
2i 2a
d<2.
d x \ l ... '*
H ence eq u atio n (14.13) gives
ml a2”1;
D { u . \) = { — 1)«* J* ... j u V dQ= 0
2i l ••• a»- dx2*1 ... dx~*n
or
110 S. L. S o b o l e v
J* . . . J uAn,:,dQ = 0. (14.14)
But
A'»; = (r) i ( - - ) ] — A"' [ ^ ( r ) * (-£
= 0 B ( ( = I, 2).
g{r) '■ ( V j
S ( 0 ^ ( T~ dQ, (14.15)
2 2
‘2/J
where b o th sides of the eq u atio n have a sense.
Consider the function
1
<“ (r, A) = (n - 2) ‘ g ( r) (*
where <t„ is the surface area of the u n it sphere in n-dim ensional space and
A is the c o n sta n t from the eq u atio n Am lg(r) = A / rn 2. It is obvious th a t
u>(r/h) has continuous derivatives of all order and is equal to zero for
r ^ h / 2 or r^.h, and th a t the same properties hold for
F u rth erm o re
^ = ^ 3 J a - [g w * (*)] da=
o 2
= (h — 2) J ■ ■
r= h
■ J 5 > \ A”‘~' ?(r) '■ ( t , |rf S —
dS =
- ( B - W J r__ /i_J,T,{AII‘' lg(r) ■(£
hn~la, d . \m - l
{n — 2) anA dr e( r) •;■(-)
u -
hyi-i
— (n
—— —------- — {\ a 1" - 1 [ se (1r 1)<!/(—^11
2) o„4 dr ' Vh ' )r —£
Variational methods in mathematical physics 111
Since \p(r/h) a n d all its derivatives vanish for r = h , th e first term m u s t be
zero. T h e second term differs from zero since
r r
i(*)
H 71
As a result, we obtain
H—1
j . . . f * ( r , h)dQ =
( « - 2 )A £ { \ ' V ( ^) j
2
h \ n~ l
2) ± \ A
(n — 2) A dr rn ■ h
h \ n~ l
= _ ^
n —2 [ rn~ l
(L) _j_ _L_-y [L
• \ h ) 1 hr'1-"1 1 \h
= 1.
Thus
J ... J CO (r, h) dQ = 1,
J . . . J ZAmu dQ = 0,
e
from which, in view of th e arb itrarin ess of £, th e re follows
112 S. L. Sobolev
Amu - - 0.
§15. Uniqueness of the solution of the basic boundary value problem for
the polyharmonic equation.
1. F ormulation of the problem.
For every v ^ W \ m), we can choose a sequence \hr \ (hr- ^ 0) such that
D ( v , $ ) = lim D (t» , £/,, ). (15.4)
»--+od r
We have:
Di
dmv
X dQ =
d*\' ••• dx*" dx]' ... dx’ n
ml dmv dm C ; - ‘xh)
dQ =
2 — 2, a,! .. . a„! dx]' . . . dx*" djc“l . . . dx*»
3 h
ml dmv d'"' dQ —
2- " - /, ai- a„! dx / ... dx*" dxj1 ... dx]»
d mv
dm~k i a***
X
dx]' . . . a*;5”
For h —>0 the first integral tends to zero since v and while Q—
—*0. F o r th e p roof of (15.4) it suffices to show t h a t th e second integral
te n d s to zero.
For this purpose it suffices to prove th a t
V
< 4 a. n I 42 X
d x . . . dxHnl
___________________
42. (15.5)
x/
Set h'u= 1/3" (m= 1, 2, . . . ).
T h en
2 = E ( 2 ^ - S 31. ) + 2 „
^.= 1 1J. |J.
V '4 2
£ / • •J . . . dx,»
u.= 1 2 <—2
V 3V
converges. Hence we m ay find a infinite subsequence of the term s of this
series less th a n the corresponding term s of the divergent series.
CO
n l
> fi In a '
H= 2
In o th er words, for the infinite sequence |^ r j ju s t obtained, and setting
K=h-
dmv ! ,0 / 2 _______________ln_3___________ <
^ Krln/j.r 1In hr , • [In | In hr | — In In 3)
-h —nJ3hr dx.1
o . . . dx n
1 n
K
< IIn hr I • In | In hr \ (15.6)
If we can show th a t
HK
h (M < , ] / | ln/7r| . , n | | n/7r| V Bhr I In hT \ —
V In IIn hr |
Variational methods in mathematical physics 115
and it will h av e been shown t h a t J k(hr) ^ 0 for °°, from which (15.4)
follows.
T h u s for th e proof of (15.4) and th e basic lemma, it suffices to prove
(15.7).
3. The s t r u c t u r e o f t h e domains ilh— il3h. W e shall concern ourselves
with a more detailed stu d y of th e s tru c tu re of th e dom ain ilh—il^h. W e d e
compose the whole b o u n d ary of the dom ain il into a finite n u m b e r of
sm ooth pieces of various dimensions: S*_s; to th e collection of these pieces
we adjoin all boundaries betw een two sm ooth pieces of th e same d im e n
sion and all singular manifolds of the ty p e of conical points or conical
lines. T h e b o u n d a ry betw een two pieces of dimension I will be, generally
speaking, of dimension I — 1. For example, if the dom ain il is a cube, then
the manifolds will be all th e faces of th e cube, S* all its edges, and
the manifolds of So all its vertices. If th e dom ain is a right circular cone,
th en we h ave to consider two manifolds S th e lateral surface and the
base surface, S* will be th e base curve, and So will be th e vertex of the
cone.
W e co n stru ct for each of these m anifolds th e d om ain (il'h—il^i,)* con
sisting of all points of the dom ain il whose distance from th e manifold
S* is less th a n 3/i and n o t more th a n h. T h e dom ain ilh—il:ih is covered
by the sum of th e dom ains (il'h—il']h)*.
We e x tra c t from each of th e dom ains (il'h)*-s a portion (!!()„_, which,
by th e aid of a coordinate tra n sfo rm a tio n w ith continuous bounded d eriv
atives, m ay be tran sfo rm ed into a cylinder of radius h, th e axis of which is
a h y p erp lan e of dimension n —s and has as its image S * . a n d we do this
in such a way th a t the dom ains (ilh—il3h)*n*s completely cover th e whole
dom ain ilh— ilih. An in tu itiv e figure (Figure 6) shows how this decom posi
tion is to be carried o u t if the dom ain il is a nonconvex hexagon.
In Figure 6 the dom ain
—m W {ilh — ilM*n-s is shaded.
T o prove the correctness of
I (15.7), it suffices to show its v a
m
lidity for each of th e dom ains
W-
1 (i rh- % h)7-s.
I T o obtain th e corresponding
estim ate, we m ay assum e from
Figure 6 the beginning t h a t all the m a n i
folds S**„ are points or hyper-
planes of th e corresponding d i
mension. Obviously, we m ay
always reduce the problem to this by a change of coordinates.
We will assum e from the beginning t h a t the manifold S n s is a dom ain
S. L. S o b o l e v
in the h y p erp lan e x : = x2= • • • = x,= 0. By virtue of the a ssu m p tio n s on
the simplicity of the b o u n d ary S, the general case m ay be reduced to this.
In the space (x]tx2,- ■■,xt, xt i U - • ■,xn) , we introduce cylindrical coordinates
with “ axis” i.e., p u t
,m—k ti — \ , 2 ..........t \
S (p. ?<■ X j )
(fJ> ?i< Xj) i — 1 . 2 .........s — 1
dx. OX^n
/ ^ -1..... n I
Let p„ >0 be some number . W e let 0 ^ p ^ p„. Since { has cont i nuous d e riv
atives up to m th order, Z will have continuous derivatives up to order k
everywhere except on the manifold p 0.
Hence, applying T a y lo r's formula, we find
Variational methods in mathematical physics 117
Set
J . . . / | Z P i S p < c | i | ' - ’ { [ . . . J - | Z | S , « P„ +
J Po
(? — Po)- dZ
+ J - dSp + . ..
(I !)2 dpo
, (P-Sn)2* - 2 r f I dk~'Z
dk~' Z ,2 c \ ,
^ [ ' * - h ! l 2 J ‘C' * J I <?Pok- l‘ I d S t') +
^ II S|| 91y(»")-
1 IS S. L. S o b o l e v
Consider the last term on the right side of (15.10). N o tin g th a t p < p 0.
we obtain
cJ.\ # , . . . d.\ u
p = c o n st. pj
'* m
f i = l*A
c o nnct
st.
P = const p
?, = const.
r„
dkZ
Xf ••• rf-v„ =
*>*
* / 4[ ((p*f_ i )Pt)a
p
~ ~
!]2p;-i dpl < C p
c 0 !» -i i’ :" 2
ir.V"> J
p
I (?
? i
Pt^'k
rfPi- (15.11)
We estim ate °((/> —p,)‘* ' pI ‘dp,. For this purpose, s e t: />, = p.v. p0= p.v.
J d— i J p o -t.r* -1 ‘ • J -V'-1
P t^1 l l
J . . . J* | Z I2dSf < Ps“ 1II CII w (m) [Ct -j- Cn o9k •' I In p II.
sr
In teg ratin g in p from Ah to Bh, we obtain:
f ... /U |ad!2 < i!; i! [K,h> + K,hn-k Ilit h I] < A.yiJ*!In /; '.
- Ah — '2Uh
dvii
x\AI j . . . r >v
J i- j
r xa„x
u dxV ••• djC°»l 1
|AP |
m J... f <«*.< c; + c , f =
n 2
p^ i ar i
-=C,-i-C,|la|AP||.
T h u s we (ind from ( 1.1.1 1)
M A P , Xj) — <?'(0 , xj) | 2 < 'AP| 2|[/C, + /C2 | In | AP 11J X
dn‘z
X / . . . J S ' d x " .' ... d.v’ji
1 ti
+ ... J It |»<«!.}.
e„
1‘20 S. L. So H O L E V
In te g ra tin g over the plane S n 1 (x, = x2= ••• = x, —0), we see th a t
/ S•
••J |T (AP, ? ( 0 , x J. ) | V 2 „ _ , < | 4 p p | [ ^ 1.(-/(- 2| i „ | i p | | x
n-H
X/-J2 2
..
ax,
a,
...
. a
rlx n "
\dQ K»f •
••
T his estim ate is precisely th a t which would follow im m ediately from for
mula (11.15) provided th a t we obtained in it
| A P |2' ‘ instead of | In| a P\ 11A P \2.
In deducing (15.12), we used the fact th a t
a”* - ' - 1;
fix,” 1 . . . dx*n rr •:
Using the fact that(/>(0, xj) = 0 (in the sense of L 2. „ .,), we give (15.12) the
form
d x s+, . . . d x n
d x , ‘ . . . ax„"
■r
&= AX
dSn *
/ • • • / tlx. fix,," IF(*.,PW+I| l n p | . (15.14)
Analogous a rg u m en ts for the case .v= 2 / - f l give the e stim ate (15.14)
with a right hand side of order pu 11 and (15.15) with a right han d side of
order /i2' 12. T h u s (15.7) is proved for h — t+ 1.
6 . P r o o f o f t h e l e m m a f o r \s/2\-\-il <>k<<m. We pass to the proof of
Variational methods in mathematical physics 121
(15.7) for Case I I I : k = f + 2, f + 3 , - • ■,m. Set
dm~k $ ( P> X j)
/j (p,
V r’
O
.
j , X :) =
J) ,, a,
dx^ ox.j. dx
UA. n n
Z(p, 0,, Xj) has continuous derivatives up to /jth order, £ > < + 1 , w ith re
spect to all a rg u m e n ts everyw here except on th e manifold p = 0. A pplying
T a y lo r’s formula, we find
-Pul Y
* * » - . + ,p II X
az \ Ip — Po I 2I| /a* - {- uz s
X ll(*7 P=Po '2.n-g
+ ••• +
P 1
I 2 d x s+t . . . d x n 1
\*
J (* 2 j! aPf
\k-t- 2 n 2
^*+ 1 • • • d xn <
n —*
?
aA - < - lz
< -4 f. d Pll j}dd xx fn+x- • ■dXn J (p—p,) 2* - * - V p 1=
d?
5 n—s 0 dpkr ' ~ '
W—H
dk ~t ~ 1z
[J-J s dh
dx„+i . . . d xu ] <*Pi- (15.17)
< A,?2k-* |
6 dx°l . dx
"•'ll n
f . .. f |Z|fld2</lBAa*|lnH
2A h -B h
2)
Here, as in the proof of the lemma of equation 12.4, we may dispense with the assumption
of the continuous differentiability of up to order m. For this purpose one only needs to intro
duce a limit process on averaging functions in formulas (l,r>.9), (If).12) and (If).17). The
remainder of the proof proceeds without change.
3lHere, weak limits are taken in the following sense: a function ££7 VV^’is the weak limit
of the sequence | £* |, £*(? WY" , if for every c^VVY"’, there holds D(v,0 =■• litn /P(c,£*).
* . ..
V ariational methods in mathematical physics 123
we are given some function \p belonging to , th en we shall say th a t
u coincides on the b o u n d a ry w ith \p to g eth er w ith its d eriv a tiv e s in the
sense of W ^ O ) or if the difference u — lies in th e corresponding
family. From a th eo rem in th e first c h ap te r, it follows th a t correspondence
on th e b o u n d a ry w ith a function \p in th e sense of W^'HO) implies a fortiori
th a t u belongs to W[n,)(\pf.,j.Vs.)<Tn) , where i//"7.',.),,n are th e limiting values of
the corresponding d eriv ativ es of th e function \p, which as we showed above
always exist.
T h e lem m a proved above for the uniqueness theorem now gives a
partial converse to this last assertion. I f the function
then u coincides w ith the function \p on th e b o u n d a ry to g eth er w ith its
derivatives in the sense of Obviously then W ^ O ) C W’^ * ) .
We are not interested here in the question as to w h e th er these two sets
coincide or not.
In fact, from (u - \p) (F VVa"0( 0) follows and from the
la tte r follows u — W.‘!'"l( *).
In a series of publications on variatio n al m ethods, th ere has been c o n
sidered the problem of finding functions giving an e x trem u m to the func
tional D(u) (for the case m = l) and coinciding on the b o u n d a ry w ith a
given function \p in the sense of W^'^O). Such problem s obviously h ave an
unique solution, as one can easily see im m ediately. H owever, w ith o u t our
results it was no t clear w h a t are the real b o u n d a ry conditions for a solu
tion, or w hen u —i/'G W^'^O).
Ak + X« = 0 (16.1)
consists of the d eterm in atio n of all values X for which the equation (16.1)
w ith the conditions (16.2) has a non-null solution. On th e function h d e
fined on the surface, we shall impose the following restrictions: there exist
suitable continuously differentiable functions a, bounded with bounded
derivatives on the closed dom ain S2-FS (|n,| < M ; \da;/dx\ < M ) , such th a t
124 S. L. S o b o l e v
(16.3)
M = max | h | .
s --
T h e v ariational m ethod m akes possible th e solution of this problem,
finding all its eigenfunctions and showing the o rth o n o rm a lity and closed
ness in L 2 of the system of such functions. W e recall th a t an orth o n o rm al
system of functions is called closed if one can a p p ro x im a te w ith linear
com binations of these functions w ith a rb itra ry precision to any function
in L 2-
2. A u x i l i a r y i n e q u a l i t i e s . W e tu r n to the solution of this problem.
Consider the functionals on H^11:
n
0 < « > = / • • • J 2 {u)'d s - J • • ■J hv'd S -
2 i =1 S
s
n
= | t i |2 d Q = \ \ v \ \ l
-|- M a l i (x»).
Variational methods in mathematical physics 125
Using th e fact th a t
2M |£ |
D(z0> —
and hence if H(v) = 1, th a t D(v) > — (Z^/L,).
I t follows from th e la tte r th a t th ere exists
inf D(t/) = Xj
/ / ( t 0 = 1-
H ence th ere exists a minimizing sequence:
{«*■}. ■€ = lim =
126 S. L. Sobolev
3. M inimal sequences and the equation of variations.
(p. *) = / • •• /
2
vdQ>[(P. 1)=£°].
if we ta k e into acco u n t H(vk) = 1, we will h ave the b oundedness of D(vk)
from (16.4):
i
K l l w <i) = {(p. ®k)2+ ^ ( v fc)}a <
2
< {Q/y (vk) -j-L.D (vk) - f L,H (vk) }* < {(Q + L2) - f LXA }2,
H ( * 4 ^ ) = J H («,) + > ( » , ) -
D j o (V l) + ^ D ( „ ) - d ( ^ ) < bp. +
+ h + i _ x ,+ ^ = 8( l + ^ ) .
I“l —^fclLfD-^O;
W2
k >•co.
In addition,
< I V ^K ) — l/^ K ) I + V ^K )) +
+ ] / / • • • / ( « ! — 'i'*)2 ] / J . . . j A a ( “ i + ^fe)9 ds “ ►0
£ 5
for k~* co, since
128 S. L. Sobolev
I Vj'i'Ok) — V ' j J U i) I = 11| Vk | (i) — I) U, || (,) | < 1Vk — UX|| (!) <
"a 2
< I K — “ ill^ d )-^ 0 ;
1
[J ... J (Wj—t/k)2rfsj2=||u,—^||xi(5)<A/||u1—v k ]iw a)-+ 0
L s a
while th e term s (c/(yA) ) +H- (c/(i>/))* and *►
V j {v u) ~ r \ / J i a i) a n d J • . . f h2 (u, - f vky d $
s
are bounded. Therefore Z)(i4,)—1D i u ^ and, hence,
D(U]) = ;m. (16.6)
Analogously one sees th a t
/ / ( « , ) = 1. (16.7)
D ( a , 5) = / ... J ...
9 5
H («, S) = J . . . J
9
It yields a continuously differentiable function of n on some interval
around the point n = 0. T h is ratio has a m in im u m at ^ = 0 equal to X! and
by the basic theorem of F e rm a t, we have
rPOit + ^ n ' 2D(u-^) H(11^-2 H(ulti ) D(ux)
LP(u, + H-bJ,1= 0 (^ (" i)F
whioh by v irtue of (16.6) and (16.7) gives
D ( u , , 6) — Aj/y(«1. 5) = 0. (16.8)
E q u a tio n (16.8) holds for any £ G W 2lf-
4. E xistence of the first eigenfunction. W e shall show t h a t Ui has
continuous derivatives of all orders and satisfies th e equation
Auj -j- Xj Uj = 0. (16.9)
Indeed, let <5 be th e distance betw een some point P & } and th e b o u ndary
S. Set
Variational methods in mathematical physics 129
where hi and h2<b, Y (n_ 2)/2 is th e Bessel function of second kind of order
(n — 2 )/2 , and ^(r/Zi,) is the averaging function in tro d u ce d earlier. X(r)
is a solution of th e eq u atio n
A * + > • !* = ( ),
a n d for r = 0 has a singularity of order r~n+2, a n d X ' of order r “n+1. Since
tir / h i ) = 'p{r/h2) on th e sphere rtk{ m in {huh2), we h ave £ = 0 on this
sphere. H ence £ has no singularity for r = 0 and has co ntinuous d e riv a
tives of all orders. Therefore, £ E W^11. In addition, £ = 0 outside th e sphere
r^ -m ax (hi,h2) a n d since m ax {hi,h2) <5, we h av e £ = 0 on S. Therefore
(16.8) for £ tak es th e form
Since
J
f ... J dx.dx.
</q = - f ... J „
dQ
Jd x 2.
7 W { A 0 ( * ) * (r)] + ^ ( t ) * M }=
where c(/i) is a c o n sta n t to be defined later. I t is obvious t h a t wA( r ) = 0
for r ^ / i . In addition, wA(r) = 0 for (/i/2), since in th is case \p(r/h) = 1,
AX + XiX = 0. Hence, aih(r) has continuous derivatives of a rb itra ry order.
Since
a .
c (h2)
J . . . | £ ( A « t + xlUl) d a = o,
2
But
<=i
2/ t= 1
= lim
2 f -> 2
' ■ O ' .9'
Vakiational methods in mathematical physics ini
I f in addition 5 ' —>5 in the sense th a t not only th e points of S ' converge
to the points of S bu t also th e norm als at these points converge to the
corresponding norm als of S, th en
and hence
v - v k\\L„-y °-
132 S. L. Sobolev
Thus
ut) — H (v k, u{)\ = \ j . . . j Ut { v — v k) dQ
i.e., //(c*, u1) = lim//(u*, u,), and if c*E ^ ’(iq, • i), then
k - 'D h
UE (li], • ‘ ’ > l) •
H ence W 21)(uj ,* • *, u m j) is closed. Since W” ’(t/ 1,• • •, O E W ” ', is
b o u nded from below for c E W 21’{w1,• • and //(c) = 1. T h e greatest
lower bou n d of D(c) for this family we denote by Am.
inf D (v) = Xm; I
W£>(uu . . . , */„,_,) (16.19)
H(v)=l. )
Theorem 2. T/iere exists a function u ^ W ^ i u ^ , - ■■,um_i), H( u m) = 1,
such that
D ( u m, i ) — kmH ( u m t l) = 0 (16.20)
for arbitrary £ E VF"*. /ft particular, for £ = um, (16.20) ta/es the form:
D (um) = hm. (16.21)
In addition, on ii,um has continuous derivatives of arbitrary order and satis
fies the equation
Xm« = 0. (16.22)
P roof. From th e definition of th e greatest lower bound, it follows th a t
we can find a minimizing sequence {c*| in W 2 (u(uu - • • ,i/m_ ,):
v k £ ^ j l) ("p ^m —1), H ( v k) = \ , lim D (vk) = Xm.
R ep eatin g literally the proof of T h eo rem 1, we show th a t ||c*||u,m is
b o u n d ed and hence th a t j vk ( is strongly c o m p act in L 2. We m ay assume
th a t th e sam e sequence {vk | converges in L2. T h e n for sufficiently large
k and (; H(vh—Vi)<(, and as in T h eo rem 1, H(vk + Vi)/ 2 > 1 —(</4).
For all c E ^ / ' ( u i , ■• • Mm 1) ■we have:
and since (vk- { -v , )/2 ^ W 2U (uu - ■■,um ,) sim ultaneously w ith vk and vt,
B( H a )> * -» (n a -)>»-(>-T)-
Variational methods in mathematical physics 133
From this, as in T h e o re m 1, we find th a t:
D ( v k — v t) -> 0 ky I --► CO
and fu rth er
II v k — ^ l l ^ d ) -> 0
8
t
"2
i.e., {Vk) converges in W f . As a consequence of completeness, th ere exists
a lim it function u ^ W ^ . Since y*(E W 2l)(uu - ■•, U m - \ ) and ■■,um-\)
is closed, it follows t h a t i/m(E ^ ’(iq,- ■- In ad d itio n , as in T heorem
1, we show t h a t
« (« * )= !■
H ( u {, uj ) = o,7; (16.24)
D ( u i} uj ) = oij\ i.
= H 0 2 ) = 1; h (ui> “ 2) = o; d ( u2 ) = k
' -i ; u2) = o.
T h u s Xu u x\ X2, u2 satisfy (16.24) for i,j= 1, 2. Since ( ^ ‘'(iq) C W2n, we have
T heorem 4.
lim +oo.
l*rnl < A m = 1, 2, . . .
From (16.24), it follows that
\ D { u m) \ < A H { u m) = 1 {m = 1,2, . . .)•
On the basis of the inequality (16.4), we have
J(um) 4 i L , D ( u J + L2H (a„) < L , A + L , = B,
we find
H if i t k —► O O .
Since Am— m, it follows th a t, sta rtin g from some integer, j : \ m>0 (m } tj) .
L et K be any num ber, k >j . Let f E W ” ’ be any function. Set
Rk = v — y umH ( v t um).
m= l
I t is obvious th a t • • •, uk) since
H ( R Jetui) = 0 (/ = 1,2, . *)•
Hence
£ W _ > ,
H( R k) ^
from which it follows th a t
( 1) £ ( / ? * ) > 0
and
D( Rk)
( 2) « ( / ? * ) <
k+1
On the other hand,
= 0 ( ®) — 2 X [ W ( « . U„)l! =
tn — 1 m = 1
m = j + 1 tn « * l
— (16.25)
J . . . J o- dQ = lim J . . . j -f2dQ,
from which it follows th a t for given t > 0 , we can find 5 > 0 such th a t
J ... J - j . . . j y , Q
< S '
2 Q,
J /i? — (16.26)
< 2 *
J...
2 S
T h e theorem is proved.
C h a p t e r III
□ « = AU— ^ C7.1)
139
140 S. L. S o b o l e v
Consider th e integral
n
J __ f f/ ( du dv . du du\ ■> .
- J - y J \ - Z ( d 7 i d 7 - l- d T l e l ) c° s n *< +
i» 1
n
I fdu dv du d v \ +A . c
(17.2)
= / • • • /{s? □ ” + 37 a " } rf2
J- l - Sa i r , * + &)<*-
Consider th e expression
V' ( du du + \/dv dv + \
2 i ( a * c o s - T, cos nx<)\Sx,-cos nt T ic0%nx<) =
<= i
n n
du dv V / ^ \Q I o \ v du 5du
= - — =- > (cos n x {Y -4- cos*1nt 7 , 5— -------
dt dt ^ v 1 1 dxi dxj
<-l <=1
/ du dv , du du\ ^ . du dv
y
r= 1
(
n
------ — 5- 5— ) cos nx: cos nt = cos nt dt~dlcosnt 5“
^ Vdr dxf ' dt dxiJ
n
1
V du du V /du du , du du \ ^
2 aT, cosnt - 1 ( a ? ST, + W S7,)cosnx‘ +
i= l t= l
<~1
J . . . J <I>dS < 0.
s,
142 S. L. S obolev
Thus
S, 1= 1
(17.7)
S, 1= 1
*dS.
_y(0 = / •••
where is the surface where the coordinates • • • ,xn take the same
values as on S 2 while the variable t changes from 0 to i,,. we obtain
y (o = 2 j . . . / « ( / ) £ < « .
Ef
A|iplying the C au c h y -B u n ja k o v sk y inequality, we obtain
\ y ( o i < 2^ ( 0 ^, (17.8)
where
S,
Tlie inequality (17.8) implies t hat
T heory of hyperbolic partial differential equations m .‘1
7 'V y < A
or:
v y ,< F 7 o + ^ .
from which finally:
y ^ yo 2/4 V7o<-I-^ 2-
S ettin g also
J . . . J u dS = B 2,
2
s.
W e intersect our tru n c a te d cone w ith the plane / = const, and let ^JL he
th e resulting dom ain of n-dim ensional space o btained as the intersection.
Arguing as before, we obtain:
du_ dS.
dx.
St <-1 •” 1
07.9)
n s © 2-
S, <—1
where V is our tru n c a te d cone.
Analogously, using the fact th a t
A „ - g = 0 (17.5)
where the functions 0Oand <t>: haue continuous derivatives of all orders and
vanish on the boundary of the domain together with all their derivatives. Then
the function u has continuous derivatives of all orders.
T h e functions 0Oand <t>1 are continuous to g eth er with all their d e riv a
tives and m ay be extended in a periodic way to the whole space with
preservation of th e c o n tin u ity of all th e ir derivatives. I t follows th a t the
Fourier series for these functions will converge uniformly tog eth er w ith
all their derivatives of a rb itra ry order.
Consider the p a rtia l sums of these series. Set:
y
. . ( x n -4- a) r.
= 2 ........ (Ar' + ‘,)-r si „ y 2< £ i ± ^
2a 2a ■Siny» ~ ^ ----- ;
N
(xt -I- a) K (*? 4- Q) r. (xu 4- a) ~
sin y2 2a
• sin;„ 2a
v[N) = S gj' ...... j n S'nJl ■ 2a
h =1
If in the initial d a ta we replace <j>0 and <t>\ by </>oM and 0^ , we obtain
for the solution u <A0 of the wave equation satisfying these initial condi
tions xr
u Jj. j n cos + ... -j-jl t +
gju i%........ i
+ s i n v '/ j + z i - h . . . + y ; < } x
V J'\ + j \ + ■■• + Jn
. . . . (xt 4- a) r. . . (xz -\-a)rz • i ^ r-
Xsin -----sin^ ” 25----- 2a
s,
and hence
dS$. (17.15)
= J - / [ 2 ( ^ r ) + dt
s. »= i
"if the solution u of the wave equation has continuous derivatives up to (f+2)nd order
on the whole space, then obviously an arbitrary derivative of u of order I will also be a solu
tion of the wave equation.
T heory of hyperbolic partial differential equations 147
(17.16)
s3 »= i
On the initial plane S 2 all the integrals for given «i,re • ar e
bounded n u m b ers which do not depend on N.
W e consider also the functions
w (k,r) __ y(k) v (r)
........ a« °>......"n
For these functions we o b tain as before:
n
" ,dw[k'r) „ n2 M k'r)
/•••/
S,
si= I dt
„ „ r J L , d w ,k'r' s2
(17.17)
dt
Sn t —1
- , r " r) B S2 \ 2-|
J • • • / [ M — + ( — I T ^ - 2) ] <'•
i —1
In te g ra tin g th is last in e q u a lity in the v ariable t b etw een th e limits 0
a n d T. W e will have:
„ r W /dW{k‘ r) * ,dwlk’ r) N2
dQ < 7e,
<=i
+ (17-18)
depend only on th e values of the functions 0Oand <px w ithin th e dom ain
0 ^ x, ^ a /2 for t = 0.
We c o n stru ct th e functions
n
where i/-(£) is a function equal to one for £<-j and zero for £> 1, and in
finitely differentiable. We will seek a solution u (a> of the wave equation
satisfying the conditions
du(a> (a)
dt t = Q
On the basis of the lemma, we see th a t u [a) is infinitely differentiable.
B u t by w h a t was shown earlier, w ithin th e p y ram id (17.18) this solution
coincides w ith u.
Hence u in its tu rn will be infinitely differentiable, as was to be proved.
= ( 17-5>
S, »= 1 oa x °i
x d x n»
) * + ad t d x [ l ... dx\ J]
d av p , q d * v p. q
dS (18.3)
< J -s,J [ <S= i dx{ d x -r+ &
d A.n
x nU dx
ai
dx”
a n d by (17.10)
J... +
S £9
+[/••• S,
j <s= 1
( ^ + '
j ---/(^ h Mi
s,
cm)
By a p ro p e rty of averaged functions (§5, item 2) Uo/,=>u0 in W'£ lr' 2
and :/!/,=> in W f 2'~2 and consequently th e right sides of inequalities
(18.2), (18.3) a n d (18.4) m ay be m ade a rb itra rily
small for sufficiently small h p a n d h q a n d n 5?
[ n /2 ] + 3 , and th e re b y th e left sides also, i.e., for
an a rb itra ry dom ain in th e plane t= const, the
sequence {uh J converges strongly in th e sense of
2^ 3. H owever, th ere follows from this by the
Im bedding T h eo rem th e convergence of th e fu n c
tions uh in C 2 (in th e n-dim ensional space of X[,- • •
■■•,x„).By analogous estim ates, we show th a t
d u / d t ^ C 1 and d 2u / d t ~ £ C , i.e., u is twice c o n tin u
ously differentiable in th e (n + l)-dim ensional space and is a solution of
the wave equation.
2. Example. W e consider th e wave eq u atio n in a 5-dimensional space.
We saw above th a t it sufficed to d em an d by way of the initial conditions
the existence of square integrable fifth deriv ativ es for u 0 and fourth d e riv
atives for u !. W e shall show th a t if the square integrable derivatives exist
up to lower orders only (for u 0 derivatives of the fourth order, for tq
derivatives of th e th ird order), the solutions m ay not have continuous
derivatives of second order.
T heory of hyperbolic partial differential equations 151
s
Let r = ( ^ j -2)12; th e n if f{y) is continuously differentiable m times
1= 1
(m 2 : 5 ) ,
u — (18.5)
r3
will be a solution of the wave eq u atio n w ith initial d a ta
2/,(/-) , 2f . / r )
u, = — r3 2A ( ' • ) = / ( ' • ) + / < - ' • ) •
We have
cfu f " (t — r) — f " (t + r) , f " it — r ) + f " ' j t + r)
d fi r3 ' r'i
= ( °* -V < 1 ,
J(y) 1 i y — 1)*» y > \ -
Then
0, r< \)
«o — , r> \\
0, r < 1;
“ 1=
r3 r > i;
a2u 0 , /< 1
dt* i 4 ( / — l ) a" 6, t > 1 (A = c o n s L ^ 0 ) ,
equal to zero.
Obviously, every generalized solution of the wave equation in W 2U is
the limit of a sequence of functions uk converging in on every b o u n d
ed dom ain and them selves continuous solutions of the w ave equation
□ uh = 0.
T h e o r e m 1.
I f the function u is the limit of a sequence uk of twice con
tinuously differentiable solutions of the wave equation having uniformly
bounded Wi 11 norms with the sequence converging weakly in L x, then u is a
generalized solution in WV’.
Theory o f hyperbolic partial d i f f e r e n t i a l equations 1 5 3
/.../«*□ dv = 0,
we obtain
J . . . J u D - b * i = 0, (18.6)
as was to be shown.
4. E xistence of initial data.
/ •1(0
• • / [ »2= i ( 0 + ( 1 ) 1 ««>/•••1(0J) [ «2=1(£,)■+ (*f\
if t > t u obtained from (17.7) by replacing t b y T —t.
In te g ra tin g in t from tx to T, we obtain
V (0) 1=1
•r (■/) f»—le w ]
0
dS.
(18.8)
1 d u h( t + k ) dujAOV , ( d u h( i + k )
T - h dx{ dx{ ) dt
F( 0) <= i
duh (t 4- k) d u jj/y y , /d u h (t 4- k)
s( 0) i =i
dx( dx( ) dt W] dS.
(18.9)
In formula (18.9) we m ay pass to th e limit as /?—0 since the c o n v er
gence of uh to u takes place in WV’, i.e., to g eth er w ith th e derivatives of
first order. From this, we have
n
J ■■• J { 2 [zr, <“ (' + ( ' » ] " ' + [ w <“ ( O - * ) - “ ( « ) ] ’ } < « <
i ( 0) i -1
+
r ( 0) < -i
+ [ £ ( “ ( / + * ) - « ( 0 ) ] ! }<*S- (18.10)
Theory of hyperbolic partial differential equations 155
T h e functions du/dx, and du/dt belong to L 2 on V, and, as a result, are
continuous in th e large on th e d o m ain V. Let tx< T / 2 . W e m ay th e n
choose <5(t) so small t h a t for k<b{d) th e rig h t side of th e in eq u ality (18.10)
will be less th a n < in d ep en d en tly of tx.
T h e re b y we obtain:
J J { S [ ^ ( “ (<! + * ) — “ W ) ] +
«,)
where for t-^0, u(t) converges to u0 in the metric of W2n while du/dt con
verges to u x in the metric of L 2.
\ d-tj
s,
T hese inequalities m ean t h a t th e sequence uh converges on an a rb itra ry
plane t = const, in th e sense of W 2 i ) with the convergence uniform w ith
respect to t.
One easily concludes from this th a t th e limit function u, which was
shown in th e second theorem to have initial values for u a n d du/dt respec
tively in W 2l) a n d L 2, assumes on the initial planes th e given values u0
and iq. In fact,
\uh { k ) — u{k)\\
uh (0) u ( 0 ) ||
w hereby
!« (£ ) — u ( 0)|| u/n) < e .
T h u s T h e o re m 3 is proved.
s m
1=0
> °
(19.6)
n( °) \ (19.10)
^x 2
I®) (0 )
P i = Y ru (s > ■*o ’
x ( 0 )
fc+l'
n(«)
"0 ’ PI
^ ( P ) L o = °- (19.12)
2^c+1 ^ ( 0)
= 0 = 0 . 1.2 .......... 2k). ( 19. 13)
i =0 3
2 1. (19.14)
S = aSl; P i = — (19.17)
x^ i —
_c J*00)I • • • » XJs 0)
k-f], JP a0’*’) , .... P„fn)(l,'i
l k 4 - \ ), 1I
nll) — —
Pi _y
n (c J n)
U j ' Xo ,
J 0)
• . • , A.2* + l, P o
,)(0)(l)) Jo><lK
• • • > P2kJr\) ■ )
1 ( 19-22)
T h e o r y o f 'h y p e r b o l i c p a r t i a l d i f f e r e n t i a l e q u a t i o n s 161
T h e right h a n d sides of (19.21) a n d (19.22) are identical for any a. S e t
ting Si = 1; a = s, we o b tain our assertion.
Set
t fO) iu>
JO) |iij , (tuj
0) __( 0 )
is a hom ogeneous polynom ial of degree a and lim (dapi/dsa) is one of degree
a + 1 in th e p}0).
For th e p roof we employ once more th e system of equations (19.8). D if
ferentiating the eq u atio n s of th e system w ith respect to s a sequence of
tim es and rem oving each tim e from the right h a n d side th e first d eriv a
tives, we m ay express d“x,/dsa and dapi/dsa in term s of the q u a n titie s x,
a n d p^ W e shall show t h a t we shall o b ta in each tim e
daX{
dsa 4 V o , x )y •••’ x 2k±l< Po' Pit •••> P2k+i)> \
(19.24)
d'Pi
dsa Pi^ {x o> -'•'li •••• X 2k + lt Po > P u •••> Pik+l)t ^
where X-a>, Y]!a+1) are polynom ials of degree a and a + 1 in pj0). From
this it follows t h a t for any r < K + l , we m ay express x,- and p, in te rm s of
yj by
2fc + l r+ l
= t { ^<+ s n r + r i4 \ }>
n= 2
xi - * ? ' = 2j *, = 2j Ty ( * , — * ? ’),
I —0 m = 0 j= 0 j = 0
164 S. L. S o b o l e v
and, as a result, by the assu m p tio n on th e canonical tra n sfo rm a tio n , we
m u st have
2fc+l 2fc+l 0 /^fcm
— 1 1 = mzfz 0
i= 0 j= 0 1 I — m = 0.
We shall assum e th a t such a tra n sfo rm a tio n has already been carried
th ro u g h , and th a t y,- is th e corresponding local system of coordinates,
giving (19.27) th e form
2k+i
<19-28>
t= l
or if we set
/~2k + l
p= V I i y‘ 't= 1
T o— P2 = °> (19.29)
(19.30)
»•= 1
will be th e ch aracteristic cone, a n d th e lines
y< =
where
dO y±
<71 = dy<
J'o (19.32)
dO .
g° ~ dy0 ~
W e s u b s titu te th e solutions of th e sy stem of equations:
dA dA
dqi ~dyi
i =0 j = 0
I f we set:
£Vo (19.33)
ds = <?(*).
we write our system in th e form:
— <*i ? (s) _
. 2fc+l 2k+ l ~ — 2fc + 1
1 ^ Y QiQj d 0j ^ AijZj
2 dyi
i ■=0 j = 0 y=i
(19.34)
-----~ = 1.
2k+ 1
doo djij oaj
j= l
T h u s,
2A
.-+1
(19.35)
t= l
166 S. L. S o b o l e v
2k + 1
S ^v, - S S 'V/a =2
i= l »=
*?<?(s)=? <»■ (19-37)
t= l j = l 1
3. E q u a t i o n s i n c a n o n i c a l c o o r d i n a t e s . W e pass to the s tu d y of th e
C auchy problem for the eq u atio n (19.1). Let it be required to find solu
tions of th a t equation which satisfy th e conditions:
a x0= o = ----- X 2k + l )>
du (19.40)
lx^ = « ,( * ! , ■• •• X2k+l)*
t = yo -h°*
For simplicity in th e a rg u m e n t, we shall in the following designate by
d/dy, th e p artial d e riv ativ e w ith respect t o y , ta k en on th e surface y (l =
const., i.e., for c o n sta n t y0, and b y / ) / A y , th e p artial d e riv ativ e with
respect to y, ta k e n on th e surface t= const. T h e n we obtain:
_d_ _ _D _ yj_ D_ . _ d _ = _ A - d~ .
dyi Dyi ' p Dt ’ dyn Dt ’ Dt2
d- _ D* , y { o r- .
dy{ dt Dyi D('~'p Dt * >
T heory of hyperbolic partial differential equations 167
a- D- y<yj D | y< £>2 .
dy id y j D yi D yj p3 Dt 1r p„ Dyt
n « ,Dt
n /T
yj w , ytyj D?
i T D y j D ? "1
^
£>
By? ?
y\ \ D , 2_y, £
p8 ) Dt p Dy{ Dt ^
, J'j
Pa
4-— — 0
D t* '
2
J'iJ'j D*u , 2 ^ ~ D*u
2 . A<i p^ d p <° Dy i Dt
i~\ j~i i=1
2k 4- 1 2fc + l 2k + l
+ ’ <=1
2 * * ?p £DP+ * • - £ + [ 2 1=1
2(-4-7)+
j= i
2k 4- 1 2k-|-l k+1
1 '' Duyv ^ ^ Du ^
^ < 7 + S e ' T + B» | - 5 i - + 2 B < d J 7 + c“ = f
1=] i= l 1=1
or
2k 4- 1 2k+l 2k-fl
+ {2
<= 1 1<=1
<19'41)
which we w rite more briefly in th e form
o y;
+l — P COS tlgfc,
Zik = P sin &2fccos
where —7r < i?! < 7r; 0<i?, <tt; i= 1, 2, 3, ••• ,2k, and z, is an a rb itra ry C a r
tesian coordinate system obtained for the y; by a ro tatio n of axes, i.e., by
the affine orthogonal transform ation:
/ 2k / 3* + l
(19.47)
y iV 2 * !-? :
r <=i
= (sign 2-j) arc cos -j^. , 02 = arc cos — , . . ., 92A._j = arc c o s -Z1
^k ,
do
(•=1
and by (19.39)
2fc + l 2fc + l 2fc + l 2ft+l
V A - V V I yiyi _i V R -v< I R
Z A<i~
<= 1
Z
< *= 1
Z A<i~iT "T" {Zi
j= * i =
— 1
2fc + l 2H l
= [ 2 ^ « - ' 7 « + 2? ( s ) ] 7 +
<=1
S
<= 1
* < f+ S o -
Therefore
M°i> | =
2fc + l
2fc + l
= -2*{s)
dv . .> -£ /« \ (2"+ S Sit )—l v| ■
"dp " r 7 27^ 1 27m
W e show now th a t
3fc+ l
Moo— 2 ^ « ] p=0 = ( 2* + 2 ) ® ( 0 ). (19.50)
»= 1 r
We consider for this purpose th e values
A *j Ip = 0 -
A 0i |p =o ^ 2 i aj^O'lp=0 — at,cf
where «,■ are com pletely a rb itra ry n u m b e rs such th a t £ V ? = 1- If we set
Oj = — 11 = i= £ /,
we see th a t
172 S. L. S o b o l e v
from which it follows th a t
(0 ); = 0.
Aim 0; ( 0 ).
o ^ . , i i 4 (2). 4-
i k\
A (k>
1 <■> 2 < J
where R\)' the rem ainder vanishes tog eth er w ith its derivatives up to
order K inclusive for p = 0.
Analogously
(19.53)
«'= 1
Such a rep resen tatio n obviously will be regular, where A tJ will be func
tions continuously differentiable in p and 0.
W e obtain, obviously:
alt + l - 3k+]
y
Li D
yL i dP* ' ^
. 2P* dv_l- ± Qv
dP 1 P> V'
<= 1 ■y{ {•=!
where Q is the Laplace o p erato r on the surface. W e have:
2 k - f- 1 3 k + 1
Dh)
Dyi D yj
Cv.
<= 1 J = 1
We shall denote by the sym bol dl\ / d t ! = A(,) the op erato r of the form:
3k + l 2k +1
D'v , Dv dl C
---- r ----------- h X —
Dtl Dy i Dyj
r ------ 1
Dt1 Dy{ ^
r v<(19-55)
dtl
«1 = + <19'° 6)
dp2 1 p dp 1 p2 J
V /I r{ i - r ) D ru , V l\ ,,(»-»•) Dr +1u I
r \ (\l--rr \)\1 ^ r \ {( l - r )\ \
r=0
Dtr+1
r= 0
I —l
V •/! Dl~r J D r+a, DlF
+ ^ rl (/ — r)l Dt1- f r + a (19.57)
D t Dt1
r= o v
W e set now
Dr u
-- ur (19.60)
df t=o
In this notation equation (19.59) m ay be rew ritten in the form:
l+ l j~
M =
—
Mf\. ., M {*\ . . M f
t.
2)A simple calculation shows that the operator MjS) is defined uniquely in this way.
176 S. L. S obolev
< \ JVi3), • . . . ••
< , N?>, . . . . .. Nim>
N=
A/i", W f, . . . . a # \ . .
. M(1), M 3), . • •, ••
T h is m atrix is o btained from the m atrix of the op erato r M f if in th e
la tte r one replaces rows by columns and tak es the ad jo in t of each operator
-l)
-1) t~Jk —1)
J D i* “ » D ? ~ ' \ • •» L>k—S i D 'tt\ D {k ~ 1}
D f~ -3) -3)
> £>ik” 1 D ' * - \ • • •, D [ k~ i \ z f e 2), D [ kZ ? \ 0
-8) -8) i-v(k—8)
D (o ~ 1 » D {k~ 3), . . . D 'tt\ —2 . 0 0
-1) -4) n fk-4)
D {o ~ 1 D (*" • •. L>k—s , 0 0 0
iM - = . .
D<03), D ?\ D ?\ 0 0 0 0
r><3)
1^0 > D [\ BP, 0 0 0 0
n fl)
1^0 > D (i \ D (I \ ... 0 0 0 0
n 10) 0 .... 0 0
Uq > d 7\ 0 0
Unq(3)*,
\d ? -r s r *>•,. d r . d r , dr*
n (k-3)* n f3)* o r . D(r
d r r M fc" 4)\ •
d f~ r • i un (3)*
i i dr. 0
^8 i n {k~ 2)* /)<*-«>• o r , o, 0
/-)(*—2)* n (k-S)* 0, 0, o, 0
i-'fc—8 . L>k —i Uk —2 i ^** —3 » * . . .
n (*-3)* 0, 0, 0, 0
d kkz ? ' Uk —2 , 0,
d iz r 0, o, 0, o, 0, 0
o, 0, 0, . 0, o, o, 0
2. T h e c o n s t r u c t i o n o f t h e f u n c t i o n s
a. W e now c o n stru ct the sys
tem of functions ou o2,' • *,<7* which are solutions of th e equations:
d £ - ' \ = 0;
12)* o[k~ h* — 0.
a* -|- ok_ j -J- D'i* oA- 2 -|-
+ ''P“ 2 S
1= 0 r = 0
“rO'rr!>»-l} =
k —1 — 2k
= yr k 2 °*-i
a*/7
dfl ^,, k_l(u0, 2j dPr
, ..., ut+1J) -j-I V n I <3P0 ’
a»m
1= 0 m= 1 (20.7)
2* + l 2 * + l
where P m= X Z
r= l 1=1
D f v = i % + lM'»v + ^ »= ?W { X
+ f C”}-
0 < r < l — 1,
( £ / — ( £ ) • - [ £ & ( p * ) ] ; ( 2 0 9)
= i [ “ w ; A ) ] <=i
+ 2 t
2_
r!lf „
/-A+ia ,1k 4op- [» 0 0 P3*°] - 2— 3— O (P, X) [2? (s) O]
“ *? (»)-■£ + 7 (* + Pw (P. A A ( 20 . 10)
Ol‘^ = 2? ( * ) { - £ + } I * + ? « ) = } ( 20 . 11)
D «--== 9 W { a ? m 1
; 1f + a A,“' 3 } • r < l - 1 (20.13)
and consequently
We set
. ft
X(°i> ^2> •••» 1 2fr-1/
a \ (—T2(2A
)k~1r1)(A)
O ur assertion for is established.
T h e p ro p e rty for th e function cr*_( for a rb itra ry I is p ro v ed b y induction.
T h e equation for <7 * _ , has th e form:
2 + + P ^ 0 °k -i] =
( J L + J i A . _ L 2y _ c _ _ 0
Up* I P dP I p* / p * * - 1 -
T h u s, N 0 (au - • • ,<rk) begins w ith te rm s of order p~2k, since th e te rm s of
order p “ <2*+1) are missing.
4. D eriv ation o f th e basic in te g r a l id e n tity B u = SF. W e now
re tu rn to th e id e n tity (20.7).
W e consider for t = 0 the d o m ain Q in th e space of yi,- • • ,>'2*4-1 c o n ta in
ing the origin of coordinates in its interior. In th e variables xt, x2, ■■■,x2k^\,
it will be a dom ain in th e ch aracteristic cone containing the vertex of the
cone. W e rem ove from this dom ain a sphere p ^ t a ro u n d th e origin of
coordinates and den o te th e rem aining dom ain by iY . T h e b o u n d a ry of iY
consists of th e exterior boun d in g surface S a n d th e surface p = t. I n te g r a t
ing b o th p a rts of th e id e n tity (20.7) over the volum e iY, we obtain:
2k
J ... 2' 1= 0
“' U + 2 m = l
+
+ * p i\dtds = f . . . J V ‘ [ £ k - 1 d[l
’ 8' LI = C
= J* . . . J i dS -j- . . . J P 0 dS, ( 20 . 20 )
p = «
/ . . . $ P 0i S .
W e show th a t this limit will equal Cw0| p=0, where C is a nonzero co n stan t.
Indeed, th ere can be nonzero limits only from those term s arising from
the decomposition of
/ . . . $ P 0 dS,
which do not contain the factor p. Such term s can be obtained from no
other <t*. , th a n a k since even a k ! has a singularity of order p ak 2) and
th e derivatives of plkak , w ith respect to p for p = 0 must vanish.
It is also obvious th a t such a term cannot be obtained from term s con
taining u ], since and ak a p p ea r in equation (20.7) only in th e form:
- /Vo) - jo) •
3kDy Uj XfDi
X ' - = ( ?* £ ) - H ±-k ± ( P» $ ) =
1 d / dak da , C d
= ^ 5?i V J= J*Tf <“*") -
where C is some c o n sta n t. Fro m this, there follows:
A—1 ^
— 2 / • • • / 3k - iT ~ r dQ + / • • • / • ( 20. 22)
a =0 2 5 ’
5. T he
inverse integral operator B ~ l and the method of succes
sive approximations. T h e relations we have o b tain ed yield the possibil
ity of co n stru ctin g th e solution of th e C au ch y problem for eq u atio n s w ith
sufficiently sm ooth coefficients in th e cases w hen those solutions exist.
T h e existence of such solutions we shall establish later. W e consider the
problem of finding th e solution of eq u atio n (19.1) for the conditions
(19.40). Suppose th a t we need to find the value of th e u n k n o w n function u
at th e point P 0(x0, x u • • • ,x2*-n) •
W e c o n stru ct th e characteristic cone w ith vertex at P 0. T h is cone is in
its lower p a rt will intersect th e plane x o= 0 in a set S b o u nded b y a p a rt
Cl of th e surface of this cone which contains the point P 0 in its interior.
Indeed, by virtue of the fact th a t th e direction of the x0-axis is always
time-like, the tra n sfo rm a tio n of coordinates from X0, x u - • -,jc2*+i to y 0,
y x, • ■• ,y2*+i will tran sfo rm x0 into y a in such a way th a t dx0/d y 0 and
dya/d x 0 will b o th be b o u n d ed a n d different from zero. T h is follows from
the boundedness of scale and finiteness of angle betw een these two direc
tions. Therefore, m oving down th e characteristic cone on any generator,
we will always have dxa/dyQ> h> 0 and can n o t reach th e point xo= 0 . On
th e set S th e q u a n tity E will be known. Indeed this set lies in the plane
xo= 0 where all th e derivatives of th e continuous function u are o b ta in
able from th e equation (19.1) and th e conditions (19.40). All derivatives
containing at most one differentiation w ith respect to x0 are given directly
by the conditions (19.40) differentiated w ith respect to x x, ■• • ,x2k~\, the
derivative d2u /d x o l ^ o are determ in ed from the equation (19.1) in which
184 S. L. S o b o l e v
one finds only derivatives having not more th a n two differentiations with
respect to x0. D ifferentiating (19.1) with respect to x0, we o b tain e q u a
tions for finding d2u/ d x o, d*u/dx o , etc. An a rb itra ry derivative dsu/dxf0 is
determ ined by differentiating equation (19.1) and su b stitu tio n of initial
d a ta for all know n derivatives. T h e rem aining derivatives are obtained
by direct differentiation with respect to Xj,• • • ,x2k^\ of th e derivatives of
th e form dsu/dx%
W e introduce some notation. Set:
W d S ^ SF- (20.24)
fi £=0
Bu = S F ± U (20.25)
T h e o r e m I . Let T\ and T 2 be two values of the variable x0. Let T 2> T u and
suppose that corresponding to the variable point P 0 (x{00), x[0), • • • ,j4*Vi) we have
constructed the characteristic cone Denote by fii and ft2 the domains cut
out of the characteristic cone by the surfaces x0= T\ and x0= T 2. Obviously
fiil)fl2. Then we have the estimate:
In order to carry through this estim ate more easily, we replace in the
expression dQ the in d ep en d en t variables p, du ---,02k by th e variables x0,
Oi, 02)- • • ,02k. For these
D(9.K • ••»
D ( x 0. . . . . d 2l() dx0 •
n f w
=J •••
x<>xo )
**2^-*o
0) n
,,, * (0)n-j-1
J
— d x ? ' < AIK*-' '■g-r-jy ,
as was to be shown.
H aving constructed the solution of the equation Bu = f, we find the
solution of the C auchy problem for the given equation of hyperbolic type
if th a t solution exists.
I t remains for us to show the existence of such a solution. As a prelim
inary, we shall prove some fu rth er theorems.
6. T he adjoint integral operator B*. Let cUn.-v,.-■-..Vo*.,) be a
function of the variables xn, - J ' j * . i vanishing for x, > T 0> 0 and for
|x,| > T 0, where T t) is some constant. T h e function u will be assumed to
vanish for x0< 0. We form the integral:
T heory of hyperbolic partial differential equations 187
J • • • J V ( x 0t x u . . ., x 2k^ ) X
X B * v (x0, x u . . . , x2k+I) d x 0, d x u .. ., d x ^ v
2 k J-2
J" . • • J " V ( x 0 , X j, • • • t X q j ) U (X q , X j, . . • , ^ 2 k + l ) X
lk + i
X ^0 •• • dx>k^. i> t I
Xl ( . • •) • • • JCak+ 1 (• • ■))•
D ( xq, X[, . . . x*)c^.i, p, 8j, . . . , ^ , \
D ( x'0l, x[ ........ x'2k + v ?• ®i. • • •> #sfc) °
X1 ( . . . ) , • • • J f a k + i ( - * ‘ ) ) - P afcsinafc” 1 » 9fcsin9ft- a »afc_ 1 . . . '
. . . sin 0a dp dO, d0a, . . . d0a;.. (20.33)
T heory of hyperbolic partial differential equations 189
In th is form, th ere a p p ears a resemblance betw een th e operators B and
B*. T h is resemblance extends n o t ju s t to th e external form of th eir re p
resentations b u t also to m a n y properties.
W e investigate first of all th e c h arac te r of th e surface in (2fc+ 2) -d im en
sional space given by th e p a ra m e tric equations
Xq =* Xq (Xo, X\, . . . , .*2*4- li P> • • • > ^2*)» ]
........................... , • • , • • • • / .................................... (20.34)
X g j = -^2fc + l (X0‘ Xlt . . . , X2k-{-lt Pi d j ! • • • » ^ 2 * ) ' i
W e shall show t h a t th e surface (20.34) is itself again a characteristic
cone w ith vertex a t th e point Xq, x [,- ■■,x'2k+: b u t extending in th e direction
of increasing values of x'Q, i.e., the u p p e r portion of th e complete c h arac
teristic cone. Indeed, th e point x0, x u - ■■,x2k+1 and th e point Xq,x [,- • - ,x2k+l
by construction m u s t lie on a com m on bicharacteristic. C onsequently, the
set of all points x0, x u - • *,x2*+i for which Xq, x [,- • • ,x'2k+l appears on the s u r
face of th e characteristic cone directed dow nw ard, coincides w ith th e set
of all points of all b icharacteristics passing th ro u g h Xq, x {,- ■■,x2h+l a n d this
set is the u p p e r p a r t of th e characteristic cone, as was to be shown.
W e set:
D( x 0, x it .... x2x+i< p, — hk )
D (Xq, 4Tj, . . ., -*2fc-j- j , p, . . . . H?*)
y o Kx o * x v • • • * X g A 'o , X \, . . . .
, » i ,
y 1 1 * 0 - x \i • • •• * 2 * + 2 * * 0 , * l-r . . . , -* 2 * 4 -1 );
/ r / r
y %*+1 \X 0> X l* • • • » * 2 * + l» * 0 » ^ l i • • • , - * 2 * _(_i ) ,
We shall show th a t the function N*, ju s t like N (), satisfies the integral
inequality
f ( i N l l ^ d p d S ^ K i T ^ — T t), |
^ _ f (20.30)
For this, in distinction from the previous ease, 7 \ > x (h since the cone
on which N (* is defined extends in the direction of increasing x(). From this,
as earlier, will follow the existence of an inverse op erato r B* in the space
of functions vanishing for x{)> T , where 7’ is an a rb itra ry c o nstant. (In
the case of B, we had to do with the space of functions vanishing for
jc()<■().) In order to establish (20..‘Hi), we need as before to replace dp under
the integral sign by dx() for fixed x'lu- ■■,x2k, ,, t9p- • ■,\)2k.
Along the line tq = const., 02— const., ••• ,fl2k= const., we have
•>/c4-l k —l
dsu
X
k~l< ~ dxo° dx^ . . . 1"1
8=
«=o Hp—s 0 k+l
(«) _a*
x + j C * ...... (20.37)
(* 0, . . ., JC2k+1) X
4j.p2k-l-l
Z?<k—l X° °Xl 0Jf3* + l
2k+ 1
k—1
X J* . . . J* a k - g ( * 0 ( x 0 ’ ' • • X 2fc4-1 p, ^ i» • • • i ^2k)>
8= 0
x ^ ! ? , .......?2k+1• v (x o ( - • •). x i ( - - - ) , • • • j f * k + i ( - - - ) ) x
We set:
0 .r 0 > T0.
T h is last equality holds for a rb itra ry 0 . PTom this, th ere follows the
identity
— LS[$ = 0 .
W e form now the integral equation:
B[<f> = F, (20.44)
where F is th e right han d side of equation (19.1). T h e o p erato r B* has an
inverse. Therefore, this equation is always solvable, where
‘I>= s i - 1F.
Replacing <1>in equation (20.44) by its value, we will have:
(20.45)
d2u du (20.46)
^ dxi dxj dxf ~\-Cu = F
u n d e r the conditions
“ 1xu=o = u0 ( x u x 2l . • • i X2k) >
du (20.47)
dx0 , . - 0 = U- ( x ‘’ X*' ■. . . x 2k)
and suppose once more th a t
A qq 0, A u <7 0, ^ 0. (20.48)
d*u
^ B , ^ + Cu = F, ( 21 . 1)
dxf dxj
i = 0
( 21 . 2 )
V
n aci ^d L — O.
Z ddx^ i' dt —
»= 1
W e also set: I
h dti
-T .f
u= e v.
Then
. t t
du __ dv - r f hdt ‘ d
~dT~~dt -r v d le
Lu = V V . d-u d2u
,J' dx1 dxj dt2 = F ~ * OXj ’
(21.5)
1= 1 / = i t = l
where A ijt B„ C, and F are given functions of the point .v,. .r>, ,xn, t.
Suppose th a t at every point of space a n d for every m om ent of time:
n -ti n
A ip) = ^ ^ AfjpiPj > c ^ p U A y = Aji, (21.6)
»= i i = i <=i
2(f) J = 1
where F is a constant.
(7) T h e generalized first derivatives of F exist and satisfy th e in eq u al
ities
<B(f)<B. (21.13)
2 (f) <= 1
200 S. L. Sobolev
(8) T h e function
u0 £ W ? . (21-14)
(9) T h e function
u, £ (21.15)
T heorem 1. The fulfillment of the conditions (o) is sufficient for the exist
ence of the solution of the problem in the first formulation. The solution in this
case depends continuously upon the initial data together with its first deriva
tives in the spaces W^1' and L 2.
->
cos nt —
S » = l j=l
,•= 1 j = l (21.16)
■ / - / { - * £ [ £
V t= 1 j = 1
Y Y ( d A iJ dW r> d A <} dW
2j \ dt dxi dxj dxj dx{ dt ) /
• = l 1
Figure 12
T h e n on th e surface S 3, the q u a d ra tic form will be positive, since on it
c o s n £ > 0, and
/-/{S
5 , i = 1 3 = l
</•••/{£
(?i
i>«& £+($)>+
= j =i 1 1
— 2 — Lw ^d S, (21.18)
f f I V 1 V 1 d A f j d w dw o ^ Vi dAiJ dw ow
0Aij ow dw
J J \ —J d J dt dx{ dxj ^ d J 2 d dx( dxj dt
2* i= i j = i <= i j = l
« n
- 2 ^ r i “ ’ ) ‘i 2 | < / { ' 4 /
v v dw J dw
• •• J f dd ^ dx( dxj +
2(1,) ,- = l j = l
. _ v 1I dw I dw I | 2 dw
Lw d x l dXy . . . d x n | dtx <
+ 2nli\i- , | d r | + J Tf
i = l
9 2 (0) t= i
X dx! .. . d x n | d t x.
W e set:
n
Jf 2(0
‘ ' Jf V ( d w ) 2 . (dw''
-d
1= 1
Vd*,-! ~r \ dr > dQ = AT1 ( 0 | w ) . (21.20)
T heory of h yp erbo l i c partial d i f f e r e n t i a l equations 203
Obviously, from (21.6) and the condition \ A tj\ <c]/n, we have:
. . dxr
2 (f) <= 1 j =1
< 0 ^ ( 1 \w). ( 21. 21;
2(0
■•dXr)l ( / ••(()■J
J •••/ I rfdjfl ■
■
3
2
•■•dXn)'
_1_
L {tyK , b |^ x
if 0 > (. Therefore
dtfo (0 1®) I
Jf . . . J w 2 (/p x „ . . ., x H) X
< ( -
dq
lo = ^ U ' l J
2 It)
r C dw , ,
X • . . dxn
]J o = <= 2
!(0
wi dxj .. . dxn
r - j
2 (0
s V' , 2 | / C 0 ( / |
■N
204 S. L. S obolev
T hen:
0
T h e inequalities ( 21.22) and (21.24) are basic for the following.
4. A LEMMA ON E S T I M A T E S FOR A P P R O X I M A T I N G S O L U T I O N S . We nOW
prove a basic lemma. W e consider an equation satisfying the conditions
(o).
We replace in it the functions A tJ, B lt C, and F by their averaged values
A ljh, B lh, Ch, and Fh with respect to x u x2 t, and the initial d a ta
u0 and u { by their averaged values u0h and u lh with respect to x ]t x2, • ■ xn.
T h e new equation will be called the averaged equation.
T h e new eq u atio n s with th e new conditions have solutions uh, as shown
above.
W e form for these solutions the integrals
K , ( t \ u h), K , { t \ u h)
and
T h e n for the functions K 0(t\, uh), K ^ t |, uh) a n d K 2(t\, uh) , we have the
inequalities
(21.26)
T h e o r y o f h y p e r b o lic p a r tia l d if f e r e n t ia l e q u a tio n s 205
for th e conditions
M - o = C* o ( ° l “); '
(21.27)
y i ^ o = c * i ( 0 l “ );
li = 0 = CAr2C° I
while the c o n sta n t M and the function F(t) do not depend upon the radius
of averaging h. T h u s, K n(t\, uh), Ki(t\uh) and K 2(t\uh) have estim ates not
depending upon h.
For the proof of the lemma, we re tu rn to the inequality (21.22) and set:
L w = F (jc,, x 2. O - V b^ - C w, (21.28)
£= 1
B i\< A , (21.29)
| f | L = f (0 < V
LA
B- —
1 dxi ,L,
< A | w|| T(i)-
1= 1
206 S. L. S o b o l e v
For the estim ate of ||C ic ||/j2, we use H o ld e r’s inequality and M in k o w
ski’s theorem . We have
Or finally
y y
L (0 < Cj [ K , (t\ w ) 2 + K 0 (t I w y 2 + F (0), (21.34)
where C is a c o n stan t not depending on w.
Setting this estim ate in th e inequality (21.22), we obtain:
1 2 I
J
K x ( t \ w ) ^ . L l K 1 ( 0 \ w ) - \ - L z A, {ti \ w ) 2[K0 {tl \ w ) 1 +
+ Kx dt.
(21.35)
T o g eth er with (21.24), we obtain a system of inequalities from which it is
easy to e stim ate the functions K a{t\w) and K\(t|ir>)-
We denote by y0(t) and y x(t) th e functions satisfying the system of
equations:
t y y y
Ti (0 ~ (0 | w) Z-2 j" yq [y0 Ti -j- A-] dtl
6
(21.36)
To (0 = (0 | w) + 2 J yo y \ dt v
o
It is not hard to prove th a t it is always t r ue th a t:
y 0 { t ) > KQ{ t \ w) , y x { t ) > Kx { t \ w) .
Indeed the functions y 0 and Vi may be found as the limits of th e in
creasing sequences: v,1"1and v 1
,'11 defined by the formulas:
i i
yo = t y o y ? (21.37)
i i 1
y \ = L2y i (yo y{ -r F)-
T a k in g for new variables >'o 2= 20 and >'J 2= zu we obtain:
Zo = 2i\
+ F)- (21.38)
We now set:
(21.40)
i= i
we obtain
t
c2K 2 {t | uh) C2/C2 (0 | ua) -j- C1 j |/C2 (t 1 1w ) -f-
o
i - i-i
- - K 2 V 1 1« 0 2
dBj dnh ||
(21.41)
dxj dx. J < C A ( t ) M ' K ) 2];
_i i_
| r duh \
< C A ( t ) [K2{ t \ u h)> K l ( t \ a hy ] . (21.42)
\L h ~ d ^ \
2 (0
1_ _1_ 1 (21.43)
< A ( 0 [K0 ( / 1Uh ) * + K, (t I uh) * 4 . K, (i\ uh y*}.
We set again:
t i_ _i i_
y 2 (0 = [k * (o I uh) + J y<i ('iH-Vo (^i)2 “I- Vi (^i) "r
- r y - M ^ + F («,)]<«. (21.45)
Then
(21.46)
For y 2(f) we h ave th e equation:
* 2 = * l (*o + * 1+ * » + F )- (21.48)
f V 11 x/
J _ an1 an' /N
- (0
n 4- e I—I
dlAfJ 2 i-i \ nJ - e
X 7X dQ A.
y at ox] (21.54)
/
1 = 2, 3, . . .
I B ; I < A. (21.55)
(4) T h e derivat ives of B t of order 1, 2 , - — 1 satisfy the inequalities:
X
[ mo
n + e I
dlB/ (21.56)
X (IQ A.
,dt "dx1‘ .. . dxn'1
(5) T h e deriv ativ es of C or orders: 0, 1, 2, ---, X — 1 satisfy the in
equalities:
^ /!
2(0
f
a„!3 l ! an-
X
n + e I+ 1
d'C i |-f 1 1 “h 6
X <A. (21.57)
dt ua.v,1 . . . dxn» j
r(t)<F, (21.58)
where F is a constant.
(7) «0 6 (21.59)
212 S. L. Sobolev
( 8) ux £ w P ' - v . (21.60)
T heorem 2. In order that the Cauchy problem should have solutions which
are continuous with all derivatives up to order m it suffices that the conditions
(n) should be satisfied for 2kx>2m + n, i.e., for
n
kx m 1
2 •
T h e proof of this th eo rem is based upon th e application of th e Im b e d
ding T h eo rem and th e use of th e same inequalities which enabled us to
prove T h eo rem 1.
For m = 2, we obtain th e solution of th e C au c h y problem in th e second
form ulation.
F irst of all, before passing to th e proof, we m ake some rem arks.
I t is convenient, ju s t as we did in th e proof of T h eo rem 1, to co n stru ct
the averaged functions for A tJ, B„ C, F, u0, and u x and form the new e q u a
tion
Lhuh = F , - V B „ £d - C hu (21.61)
»= 1
uh h = o UQh
duh (21.62)
dt t = o = u ih-
a'-p+^n i apC/, r X
X
a/ a^l-Pl ... aA-,>"p” a^ 1a/pj a^3, ... a*f’,M
"f
a,-pu. -(')
a/p,"*,<?jrf‘ °‘ ... aA3"-0"
X = 4**-...... °n (21.64)
K r V \ u h) < y f P = 1 . 2 . . . . k lt (21.66)
where
M is a constant and F(t) is the function standing on the right side of the sixth
condition.
d?C dl~3 u.
^ q ] ’<
3| 3n 1 V A f , '> 3o J , ’ 1 ’>l d r 'll
2 (f) dt dx\ ••• dxn dt °X\ •■■°x n
n+ « 3+1
d}C
>+ l d Q \ n + ' X
2(0 dt>J a ^ ‘ . . . dxln
1 3+1 1 3+1
dl ^u. 2 n+ « . 2 »+»
dQ | <
A,'l 3l . . . dxln ?n
2 (f) ox j
i 3-r l l 3+ 1
2 n J- • 12 7j + e
<A dl ?un rf2[ (21.68)
U -2 (t)"
. ' d * - * adx\1- - ' ... dx'? fn
- - I
^ c < > U / C o ( ^ | ^ ) 2 + ^ i ( ^ l ^ ) 2+ ••• + K l ( t \ uh) 2]. (21.69)
Ja = f (( d"Aij V v
LJ . J
^-3 + 2
X “h
<
dt [j~ ^ d x ' r Pi .. dx, * = s ) ’ d S ] '
X
(o dt * dx J . . . dx'nr‘
;I —3+ 1“h
X >J—30+ 13 J»i —3, *n —3,i < A N M f k ) '. (21.71)
1
K i ( 4 V a t. ...,a n ) K \ ( 0 \ V * 0 . ® 1 ............ an ) 4 “
V a = l E «= l
/ = 1,2, . . . , 6 , - 1 , (21.74)
where M is some co n stan t.
From this, as in the preceding, settin g
1 .
L„ we ^ >
<At
nn '1*
dt^dxV . . . dxa
_1_
if n is even
2 ’
n n—1 _1_ 1_
2n if n is odd
2 2n'
and as a result
1 > ±
q* ^ 2n '
q* ^ n + 1 '
= (21.61)
<5a<t,a . y
---------- ' " J m ____ = •*.............“>» (a n
dt'dx]' ... d x ,7
P.......Pm ’ ^ ^ '
’i ^ , ll
a< ~j>' (22.3)
1 l —o
J ____{ — o
T
d x x . . . d x n <; A a p ”
v 'l ,
y (<) yi 'i
if / > a > /_ ^ L (22.4)
P
: .... *„i I < An, if a < /— £
II ^ ...... /J
where th e c o n sta n t j4„ depends only on the choice of th e dom ain U and
does n o t depend on a, (3, or on the choice of the family ! 77, j £ D y.
In the case a = l — (n / p ) °n E L 9, where q > 1 is an a rb itra ry
n u m b e r a n d th e c o n sta n t A u depends upon the choice of the n u m b e r q. In
th e following, this case as well as th e case « < / — (n/p) will not be specifi
cally m entioned, which will lead to no m isu n d erstan d in g if w herever
((1 /p ) — ((/ —a ) / n ) ) -1 ap p ears it is replaced in these cases by an a rb itra ry
9 > 1. Obviously, if 4> has the p ro p erty T on P, it has th a t p ro p e rty for
every QiQQ.
T h e simplest example of a function 4>E:T is given by a polynom ial in
the variables y u y 2,-- •, y m w ith coefficients depending on t, x u - ■-, xn
$ (*, x u x n ; y t , . . ., y j
1 ,,Yo y-tm
sm ’
= ........... ■
if th e coefficients a,..,...,
M>l ’m are such th a t
till in 2 ( t ).
6
dta°
1
i> a
y i = * i ( ti * 1 , . . ., * n; Zj, • . . , z k) ( i = l , 2, m) (22.5)
T h is theorem is evident if <I> and the </>, are polynom ials in y and z. I t is
not hard to prove th a t if we consider a polynomial in y,.- • ■,ym and replace
the X) by the polynom ials in 2,, w ith coefficients depending upon ••
• • • ,.rn in the fashion indicated above, we o b ta in a new polynomial of the
same form.
We prove this theorem in its general form by estim atin g a norm for all
derivatives of .v,,• • • ,x„, 21(- • • ,?*.) with respect to 2 in the co rrespond
ing space L of th e variables *•>,• • • ,x„. W e tu rn to the proof of th e th eo
rem.
Proof. Since th e 0 , have p ro p e rty T, for z, in D: the inequalities
J_ I—a
______ a®_______ / A p n
X
_dx°<dx'' . . . dxan W - a / ’ . . . dzK ).
«(0 0 1
1 I— a
y ^ d x id x 2 . . . d x n ^ . D s P n . (22 . 6 )
hold. W e set
ap'f y i _____ aM>
Pi. P.. (®<), (22.7)
dzB dyl l dyu . .. dy^m
1‘dzp'
a ^kk
2 J< P J 1 ^ 2 VI
where A ,( 0,) are polynom ials of degree 7 in th e d e riv ativ es of the func
tions 0, w ith respect to the z; of order (3— 7 . We establish the validity of
the inequality:
[ f ... J l* g rfg x
X
D .r
220 S. L. S o b o l e v
T h e following pro p erties of th e inverse index are obvious:
(1) T h e sum o f tw o functions and \p2 w ith th e index X has the index
X w ith a b o und equal to th e sum of th e bou n d s of b o th functions (which
follows from th e M inkow ski inequality).
(2) I f has th e index X w ith b o u n d M , th en it has every index X ^ X
with bou n d K M , where th e c o n sta n t K dep en d s only upon th e dom ain Dx.
Indeed, from H o ld e r’s inequality,
- i
J...J \x'dQ. < dQ.
_____ h_
^i + L)+ ••• + 1 x,+x,+ ... +y.
< x'dQ* • [/• • ■ J l 'W i 'd S ,’
lim
<3> (22.9)
t/.= C .
dy\'dy]' dy^n dy \ l dy^n
n
A pplying the th eo rem on th e criterion for th e existence of generalized
derivatives, we see t h a t for th e function th e th eo rem a n d th e in eq u ality
(22.8) rem ain valid.
2. B a s i c i n e q u a l i t i e s . W e consider th e quasi-linear e q u atio n of second
order
n n
du du du Nv d-u d2u __
y X A ( * x~v
• • •. x n> u * d7> ‘aT1* • • • > dxn/1dxtdxj
i= 1
—/ du du du \
= F[ty Xj, . . ., x n, uy , dx^ ♦ • • y dxn/’ ( 22 . 10 )
y = “> yo ^7’ y \
du du du
yn~d7n
( 22 . 11)
22 Aij'&j > c 2 fr
W e assume t h a t th e d om ain D co ntains some d o m ain D° of th e plane
f = 0.
Let t/0(x i,-• • ,xn) be a continuously differentiable function, ••
• • • ,xn) a co ntinuous function, b o th on some b o u n d e d d o m ain Dz of the
222 S. L. S o b o l e v
space If for all p o in ts of th is dom ain, we have
we shall say t h a t u0(a:1, - • -,jc„) and u ,( * i,- • • ,*„) are permissible b o u n d ary
d ata. T h e in eq u ality (22.12) defines th e set Dy.
L et ^ > 0 be such t h a t m ax | A i;| <cx/n if 0 ^ t ^ b :. ( x ,.- • • , * „ ) £ Dx, and
iyi,yo,yu---,yn) E D v. T h e n ju s t as in §21, item 3, we m ay co n stru ct a
fu n d am en tal conical dom ain SI*, the co n stru ctio n of which is determ ined
by the choice of Cj. W e pose the problem : T o find a twice continuously
differentiable solution in SI* of the eq u atio n (22.10), satisfying th e initial
conditions
du
u If=0 = u0. (22.13)
dt
T h e o r e m . I f the functions A i} and F, as functions of the variables t, x u - • •
• • -,xn with parameters y , y 0, y u - ,}'n, satisfy the condition T on the domain
S1* for p = 2 and / = [ n / 2 ] + 2 , while the permissible initial data satisfy the
conditions
u0 e ^ 2 l+1\ w f,
then we may find b2>0 (0 < 5 2^5]) such that on that part of U* where 0 <
t ^ b 2, there exists a unique solution u(t, x u - • ■,xn) of the equation (22.10),
continuous with its derivatives of second order inclusive, satisfying the initial
conditions (22.13). In addition, on each plane t = const. ( 0 < / < f i 2)
and (u, 0u / dt, du 1dxu - ■■,du dxn)(EDy. The number b2 depends upon the
choice of u{) and iq.
(22.14)
(22.15)
- aT °o>°i. . _ [ i v - l i h ^
d A {J
A{t) = 1 " rf£>la
=max|J '-J 2(0
d xln
......«n I [t H - ,1 [ t ] + 3-
F( f ) = max I ij . .. J " dQ I a " <
a/T,ax]‘. . . d x ln
2(0
(22.17)
< /M C [ 1 + Z.(Ot ],
L{t) = V
0 <
jU
i
v a)t-.«<[-2.J + 3
[J 2 (0
(22-18)
3. P e t r o v s k y ’s f u n c t i o n a l e q u a t i o n . We replace our quasilinear
equation by a new functional equation.
a’u _
S
< - l i - 1
....
= F ( “ (‘ — n), 1 ) ................................1))- (22.19)
m + °
L( t ) < y k . u — *i): (22 . 20 )
and the inequalities (22.16) and (22.17) may be rew ritten as:
T heory of hyperbolic partial differential equations 225
[?]+ • . j
1+ 2 Kt ( l - i))J
• ( 22 . 21 )
m + * i
v K , ( t — n)3
Suppose t h a t the function F(t, x,, x 2)- ■■,xn, u, d u /d t,- ■-,du/dxn) after
th e su b stitu tio n
du __da _du
dt dxx lx
daF
dQ
{ J2(0- J [ df* d x \ l . . . dx^n
<
daF
— ) </Q 1 + MC, V L ( 0 ‘
I/-J d f'd x ] 1 ... dxln ) J ^
( 22 . 22 )
T= »
and shall estim ate th e first te rm on th e right side of (22.22).
Set
{t, •X’ii • • • i x n* y i _y0> _vi > • • • > J^n)===
= F (ty x lt . . . , x n, ky, , \ y n)-
T h e n we have:
F (t , x lt x 2, . ..,
H
x n) dQ dt =
d f adx\l . . . dx*n
1, 0, 0...... 0
" J -7 J J0 y + n - ' - 0........ °-Vo+
0, 0, 1...... 0 0, 0, 0...... 1 y n) dQ dt \ dk =
* + •■■ + n
daF X1,0,0........ 0 |
A j, . . . , Xn , t)
y dta*dxa; . . . d xa
nn
d*F^ 0,0........ 1
4- ••
•H- y n dQdt \d k =
. . . dx‘n J
W e use this form ula for the estim ation of th e first s u m m a n d on the right
side of (22.22) to obtain:
daF
dQ =
J 2(<)- J ( dx*
f d . o, 0, .. . J O
df^dx]1 . . . d x an11
2(() o
fla yrO, 0, 0, ..., 1^ na
-\~yn dX dQ.
dt dx n n -
u
2(0
)«)<
1
< >1 dQ <
daF
dQ (22.23)
[ /fi«)- / ( dt°dx[l . . . dxn» ) '
(22.24)
l i h '
2 * ,(< ) = 2 ( 0 . (22.25)
,= 0
[S 1 + 2-* -
W e note th a t
* .(0 “ < z ( 0 2
In an analogous way to th a t by which we o b tain ed th e inequalities (21.74),
we find
( *r — -L
V . w < ^ { V . ( 0 ) + +
4= 1
1
+ n t , K a h f ]< « ,} •
* _i
Z ( 0 < C, ( Z (0) + J [ A (0) Z (/,) + F ( 0 ) Z ((,) <*,]. (22.26)
A ( t ) ^ C 3B { \ + Z { t — T)) 2 },
(22.27)
k_
F(0 < c&
c | \-\-z (t— t )) 2 }.
T heory of hyperbolic partial differential equations 229
S e ttin g (22.27) in (22.26), we obtain:
t i
Z ( t ) < c , { 2 ( 0) + J [ b [ 1 + z ( ( , — - n ^ j z a , )
o
— _L
+ C[1 + Z < < , - 1 ) 5 1 Z « , ) 2 ] < « , } • (22.28)
— — I
/=■CO C C*BC { Z(* — t , ) 2 -\~ Z (t — 7))2 | ) (22.29)
u = 0,
satisfying th e initial conditions (22.13).
W e now consider th e functional equation (22.19), setting T\<h. For
— h ^ t ^ O it will h av e th e solution u = 0. W e continue this solution w ith
respect to t.
For this purpose, we decompose th e interval of values of t into pieces
b y points «0> «n such th a t a ,+1 —ai<r\. T h e n th e values of th e co
efficients (22.19) on th e ith segm ent depend only on th e values of u and
its derivatives on th e ( i — 1) th segm ent, a n d th e solution of th e quasilinear
eq u atio n th u s reduces to th e solution of a linear equation. I f th e coef
ficients of this eq u atio n h ave generalized derivatives up to order [n/2] + 2
and th e initial d a ta up to order [n/ 2 ] + 3 , and if th a t p a r t of th e fu n d a
m en tal dom ain 9* which falls w ithin our segm ent rem ains fu n d a m e n tal,
th e n for the linear eq u atio n we m ay co n stru ct a solution according to §20.
T h u s, we m ay calculate u by going from one segm ent to th e next.
230 S. L. S o b o l e v
We now show th a t we can choose 9* so th a t it rem ains fu n d a m e n tal
w ithin the region of regularity of the conoid. Indeed, by the Im b ed d in g
T heorem on th a t dom ain, when the integrals of the sum of the squares of
the derivatives of u up to order [n 2 ] + 3 are bounded by a n u m b e r Q, we
m ay find hx{Q) so th a t on the segment O ^ t ^ M Q ) the values of u, du dt,
d u /S x !,• • •, du,dxn differ from their initial values (i.e., from zero) by not
more th a n A. T h e n if one can give estim ates for Z(t) not depending upon
the character of the solution, one can find a dom ain 0 <t<b,(Q) where
Z(t) <Q. T h e n taking 5 = m in lS ^ Q ), A>(Q)) ,\ve o b tain a dom ain on which all
the inequalities are valid and, therefore, equation (22.10) will be solvable.
We now estim ate Z(t). We use the inequality x' ^ A (1 -- rfi for x > 0 and
O ^n a rb itra ry (A does not depend on x). T h e n it follows from (22.28)
th a t:
t
z (0 < c 6 J [ i - f Z ^ ) 2 - Z ( / - ^ l ^ (22.31)
o
and analogously from (22.30):
t
z (t) < Cg J [Z ( ty) Z ( ^ ) 2 -f- Z (/f, — Yfl + Z f t — yi) * ] ^ . (22.32)
6
W e consider (22.31) first. W e construct the sequence of functions:
v 0(t), (0 , . . . . v m (t)
by the rule
v0- M,
t
(0 = C6 J [1 - r W O ^ i - i (22.33)
0
According to th e theory of differential equations, v, converges uniformly
to v(t), the unique solution of the equation
then, since
Vi { t ) > V i {t — T,),
it follows from (22.31) th a t
T heory of hyperbolic partial differential equations 231
and th e n obviously,
Z { t ) < v (t ). (22.35)
Fro m these estim ates there follows th e existence of solutions to all the
equations (22.19), while for th e family of these solutions we have uniform
b o u n d s to th e integrals over the dom ain 12(f) of the sum of the squares
of th e deriv ativ es for a rb itra ry y—>0. From the Im b ed d in g T heorem , using
A rzela’s theorem , we m a y choose from th is family a uniform ly convergent
subsequence. Passing to th e limit in (22.19) for we find th a t the
limit of such functions will be a solution of th e quasilinear eq u atio n (22.10).
W e show th e uniqueness of th e solution. L et u Y be th e co n stru cted solu
tion of th e eq u atio n (22.10) f o r O ^ f ^ / i . W e introduce a new u n k now n
function v = u — u Y. T h e n the new quasilinear eq u atio n will h av e as one of
its solutions v = 0, and therefore, th e free term for
dv dv
v == 0, = 0, 0
dxj dxn
l
F(5) d\ = — ,
o
where un is the surface of the sphere of u n it radius.
We consider the averaged potential:
, ,
u «' x .........*,.) = /•••/ — F l>(*i ...... y ) a s . (22,37)
d*'U
d x f d x j . . . dxn"
d*‘ JQ'
s*(vi ••• - O
dx\' . . . dx'n»
= (- 1)*‘
dx, ' dx. dx,
T h e o r y o f h y p e r b o l ic p a r t ia l d if f e r e n t ia l e q u a t io n s 233
and therefore
U
• • • dx>
3 ' °S
O X j O X ., . . a x ' " n
A 71
-
d 8 ,p { x ' v . .
x 'n )
f a
dQ' =
d x ' ^ d x , " . .
■ d x n "
a v
7— dr dS,.l (22.38)
=/ " 7 ^ _
dxx dx.,
ai ^ wi _ ’au
. . . dx/t n
V 7) aM 1)1
r J /- dr L- < V )\
_d_
dr It ( ~ f )"(£)]
and fu rth er
(22.39)
£ [ 7 ' ( 7 ) ] - S | 7 ( - 7 ) ‘ '(7 )]
Using these equalities, we obtain:
d*'U
dt Jd * / ... d x ’n»
1
i* [t ( - t T f (t)] * "■=
d r d S 1=
= ( - i )
**x ‘ •••
^
*xn
[ - ( 7) ^ ( 7)]
(22.40)
3.
d x /3 -„ A 3 (*«—■<) x
i
x 7 ^ + r /J ( - ) ^ ' .
if
e dl" * u =
dt3jd x ... dx’» (22.42)
av dQr
jn —l
lim = x H).
f-> o dr
J ...
1 1 1 1
/ • • • J K _ ,r
2
J
r r|
J I dxj dSx < K
(22.43)
J ____ k_ 1 k
p n
J ••• J |u P 71
dQ
/-J « a,
a-r i .. .
_ a
duo d p Up du i
“°’ ~d*i ’ " ’ dxT1.
A . .dx^n
rj ‘ 11
lim dQ = 0, ). (22.44)
t-y o
where the integrals (22.44) have a sense and we also have amost everywhere
in ft:
d*v (22.45)
lim = u.
t-y o r
d
T o prove this theorem we seek the function v(t, x u - • •, xn) in the form:
* = “o + t i U , + ^ u , + . . . + ! ^ u k, <22-46)
where
from which
T heory of hyperbolic partial differential equations 237
n
= — W- ■ (22.50)
J=l J
I f we suppose now
i —i
V ^ 1u
___________
P .- i
i= i -1 - n
*-V < I
dxl1
1
.. . d-ir^n
n
a*-y t 4 “ • • • + R = Uir
...
1 rt
As a result,
i a*- U|
(22.51)
’ d-T?1 ! . . dx^n
p= i 1 n
Using (22.51), we shall now easily establish w ith th e help of the M in k o w
ski inequality th a t
a a n
n n
V V.A *u V* F (22.52)
— 4 j * ' J \ d x i dxj dfl
i= ij= i
for th e conditions:
dv (22.53)
t =o ;° ’ T t t —o = u n
238 S. L. S o b o l e v
where
r ...r r — ^ — VdQKu.
J 2 J LdxVdxl*
1 . . . djc’nnJ
P — 0, 1, 2........... [ t | t 3
(22.54)
< 6 /,
d x l1' d x l-' ... d x 'nn
•n
P = 0, 1, ----- T + 2-
______ d*u
d l atd x a. 1 . . . d x ^ n
1 n / = 0
for
s = 3, 4,
1
n"
+ 3—j
1 2"
2 2
d»u _ d*--F
1
... dx*n
n dt3° ~2d.\J!1 .. . dx'n
1 n
n ii
d ' - n- dhi
+
dt1* 2d x \ 1 . . d x ’n d x td x j
n »‘= 1j - 1
T heory of hyperbolic partial differential equations 2;)9
W e use th e concept of inverse index. T h e inverse index for the initial
values of th e deriv ativ es of order s of u will be:
1 + 2 (s — 3) .
2n ii = 2 m
n
1 + (J — 3) . \ 3 ,4 , — 3.
« = 2m + l
R eading off the index for the right side and noting that each differenti
ation in t and su b stitu tio n of f = 0 increases the index by not more th an
l / n, we o b tain our assertion.
We introduce for t>0, the new function w = u — v, where v is co n stru cted
as indicated above and takes on the initial h v p erplane the same values as
u. A fter this s u b stitu tio n , the eq u atio n remains quasilinear w ith coef-
fiicients having p ro p e rty T.
W e extend th e coefficients of th e eq u atio n to the halfspace t < 0 . For this
purpose, the A tJ are extended a rb itrarily and