On regularity of stationary Stokes and
- 格式:pdf
- 大小:162.15 KB
- 文档页数:23
MathematischeAnnalenmanuscriptNo.(willbeinsertedbytheeditor)
OnregularityofstationaryStokesandNavier-Stokes
equationsnearboundary
KYUNGKEUNKANG
Received:date/Revisedversion:date–cSpringer-Verlag2001
Abstract.Weobtainlocalestimatesofthesteady-stateStokessystem“withoutpressure”nearboundary.Asanapplicationofthelocalestimates,weprovethepartialregularityuptothebound-aryforthestationaryNavier-Stokesequationsinasmoothdomaininfivedimension.
MathematicsSubjectClassification(2000):35Q30,76D03
KYUNGKEUNKANGSchoolofMathematics,UniversityofMinnesota,Minneapolis,MN55455,USA(e-mail:kkang@math.umn.edu)thetracespaceof.
For,wedenotebythespaceoffunctionswhosederivatives
uptotheorderareH¨oldercontinuousin.
Forsimplicity,indicatestheaverageofagivenfunction
,namely,
denotethevolumeofunitballindimensionalspace.4
Proof.SeeTheorem3.1in[6,page77].
Wealsorecallawell-knownfactverifiedeasilybyiterations.
Lemma3.Letbeanonnegativeboundedfunctiondefinedinwhere
.Supposethatforwehave
whereandarenonnegativeconstantswith.Thenforall
wehave
whereisaconstantdependingonand.
Proof.SeeLemma3.1in[15,page161].
Infact,wewillneedaslightlymoregeneralversionofLemma3.
Lemma4.Letbeanonnegativeboundedfunctiondefinedinwhere
andbeapositiveinteger.Supposethatfor,wehave
whereandarenonnegativeconstantswith.Thenforall
wehave
whereisaconstantdependingonand.
Proof.ThiscanbeprovedbymodifyingtheproofofLemma3.1in[15,page
161].Themodificationisself-evident,andthereforeweomitthedetails.
Weconcludethissectionbyrecallingexistenceresultsfordivergenceequation
divinaboundeddomain(see[2]and[13]).,wheredependsonand,butnot.
Proof.SeeLemma3.1in[13,page121].
3.EstimatesfortheStokessystem
Inthissection,wewillprovetheestimate(1)fortheStokessystemmentionedin
theintroduction.LetbeaboundarypointofadomainwithLipschitz
boundary.Forconvenience,wedenotewith.Here
isthelargestpositiveradiussuchthatand6
.Suppose
thatandbestandardcutofffunctionsdefinedasfollows:
in
outsidein
outside
suchthatandaresupportedinand,respectivelyandforafixed
constanttheysatisfy
Wefirstconsiderthecase.Wenotefirstthatintheweakformulation
above,itiseasilyseenthatisinbythevariationalformulation(see
Lemma1.1in[13,page186]).Moreover,wemayuniquelytakeapressure
satisfying.Multiplyingto(5)andusingtheintegrationbyparts,
wehave
(8)
Usingtheenergyestimate(8),wecontrolthepressureintermsof.
Lemma6.LetbeaweaksolutionoftheStokessystem(5).Thenforevery
with,thefollowingestimateholds:,weobtain
Accordingtotheenergyestimate(8),wehave
Usingtheholefillingtechnique,weobtain
whichisindependentof.Sincearearbitrarynumbers,
duetotheLemma3,theassertion(9)iscompleted.
Sincepressureisestimatedintermsofvelocity,weeasilyhavethefollowing
Caccioppoliinequality.
Lemma7.LetbeaweaksolutionoftheStokessystem(5).Thenforevery
with,thefollowingestimateholds:8
where;
(12)
forany.Inwhatfollowswewillnotusethisestimatefor.
Thecaseandcanbeprovedbyanobviousmodificationofthe
proofabove,andthereforeweomitthedetails.
Sofar,weshowedthatandpressurecanbecontrolledbynearthebound-
ary.Nowwewillshow,furthermore,higherderivativesofandcanbealso
estimatedintermsofprovidedthatissufficientlysmooth.
Theorem1.Letbeadomainofclassandbeanintegerwith
.SupposeandbeaweaksolutionoftheStokes
system(5).Thenforeverywith,thefollowinglocalestimate
holds:
(13)
where.
Proof.If,theestimate(13)isduetoLemma6,Lemma7andRemark
1.Let(16)
foreach.However,as,thenapplying(16)as
,weseethatisconstant,andthereforebecauseonthe
.Thiscompletestheproof.
Similartheoremwasprovedin[8]byusingthereflectionprincipleforthe
Stokessystem(15).However,itdoesnotseemobviousthatthemethodin[8]
couldbeeasilyusedtoobtainlocalestimates(13).
Inremainingpartofthissection,usingresultsabove,wecanverifyesti-
mate(1)fortheStokessystem.Letbeasmoothdomainand
whereandisanyintegerwith.Forconvenience,let
usrecalltheStokessystem(5):
in
in
on10
iscontainedin.Thus,without
lossofgenerality,isassumedtobesmooth.Nowwearereadytoprove
estimatenearboundaryfortheStokessystemabove.
Theorem2.Letbeadomainofclassandbeanintegerwith
and.Supposeand
solvetheStokessystem(5)inaweaksense.Thenforanythe
followinglocalestimateholds:
(17)
where.
Proof.Wefirstinvestigateaprioriestimateforsmoothsolutions.Theideaisto
splitassumofand,whichsolvestheStokessystemwithnonzeroexternal
forceandzeroboundary,andwithzeroexternalforce,respectively.Firstwe
considerthefollowingStokessystem:
in
in
on
Itiswellknownthatthefollowingestimateholds(seeTheorem6.1in[13,page
231–232]).
(18)
whereisthenormalizedpressure,i.e..Hereweset
and.Thensolve
in
in
on
Usingestimate(13)oftheTheorem1,foranywehave
(19)
whereisthemidpointofand,i.e.
(20)