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)