LIBRO Chapter 2]; see also [@corduneanu Chapter 5]. A novelty in the equation is brought about by the presence of the (vectorial) parameter $\xi$. A classical reference on—and thorough treatment of—evolutionary integral equations is [@pruess_1993].

It is important to emphasize at the very outset that the adopted perspective and approach paves the way for establishing the (sharp) regularity of boundary traces for the MGT equation, as well as for the solutions to a rather general family of wave equations with memory, supplemented with Dirichlet or Neumann boundary conditions. While being a topic of recognized current interest, the only result that appears available so far is the one obtained (via energy methods) in [@loreti-sforza_parma], tailored for the case of Dirichlet boundary conditions. Our alternative proof for the model equation with memory, depending on the parameter $\xi$ (and with the same BC) is given in Theorem \[t:traces-memory\], which brings about a boundary regularity result for the MGT equation, that is Corollary \[c:traces-mgt\]. (The study of the regularity of boundary traces for wave equations with memory in the case of Neumann boundary conditions is left to a separate, subsequent investigation.)

Main results: synopsis
----------------------

The outcome of the [*interior*]{} regularity analysis carried out in this paper is stated in Theorem \[t:main\_1\], pertaining to the general model equation with memory, and Theorem \[t:main\_2\] for the MGT equation itself. Beside being the former results instrumental in achieving the subsequent ones, they are also of independent interest.\
Because the said results are presented by means of elaborate tables, aiming at rendering explicit the major achievements on the regularity of equations and —the latter linked and complementing those in our key reference [@kalt-etal_2011]—we highlight them in Theorem \[t:sample\] below. Theorem \[t:sample\] includes as well a last statement on the regularity of [*boundary*]{} traces, an issue which is dealt with in Section \[s:traces\]; see Theorem \[t:traces-memory\] and Corollary \[c:traces-mgt\].

For the statement and understanding of all our findings, we need to introduce appropriate functional spaces along with the related notation. Let $A$ be the unbounded operator defined as follows: $$\label{definizOPERAT
LIBRO Chapter   2 ]; see also [ @corduneanu Chapter   5 ]. A novelty in the equation is bring about by the bearing of the (vectorial) parameter $ \xi$. A classical reference point on — and exhaustive treatment of — evolutionary integral equations is [ @pruess_1993 ]. 

 It is significant to emphasize at the very beginning that the assume perspective and overture paves the way for build the (sharp) regularity of boundary traces for the MGT equation, as well as for the solutions to a preferably general family of wave equations with memory, append with Dirichlet or Neumann boundary conditions. While being a topic of recognized current sake, the only result that appears available so far is the one obtained (via department of energy methods) in [ @loreti - sforza_parma ], tailored for the case of Dirichlet boundary conditions. Our alternative proof for the exemplar equation with memory, depending on the parameter $ \xi$ (and with the same BC) is given in Theorem   \[t: traces - memory\ ], which brings about a boundary regularity result for the MGT equation, that is Corollary   \[c: traces - mgt\ ]. (The survey of the regularity of boundary traces for wave equations with memory in the casing of Neumann boundary condition is left to a separate, subsequent investigation .) 

 chief results: synopsis 
 ---------------------- 

 The outcome of the [ * interior * ] { } regularity analysis carry out in this paper is stated in Theorem   \[t: main\_1\ ], pertaining to the general model equation with memory, and Theorem   \[t: main\_2\ ] for the MGT equation itself. Beside being the former results instrumental in achieving the subsequent one, they are also of autonomous interest.\ 
 Because the say results are presented by means of detailed tables, aiming at rendering explicit the major achievements on the regularity of equations and — the latter linked and complementing those in our key reference book   [ @kalt - etal_2011]—we highlight them in Theorem   \[t: sample\ ] under. Theorem   \[t: sample\ ] includes as well a concluding statement on the regularity of [ * boundary * ] { } trace, an issue which is deal with in Section   \[s: traces\ ]; visit Theorem   \[t: traces - memory\ ] and Corollary   \[c: traces - mgt\ ]. 

 For the statement and understanding of all our findings, we want to introduce appropriate functional spaces along with the related notation. Let $ A$ be the unbounded operator defined as follows: $ $ \label{definizOPERAT
LIBGO Chapter 2]; see also [@cordmneanu Chapter 5]. A noveltb in ths equatiun is brought about by the pcesebce od the (vectorial) parameger $\xi$. A blassical reftrence on—and thorough treatment lf—evmoutionary intenral equatimns is [@pruess_1993].

Id ks important to emphasize at the very outset tjat the adopteq pegs[ectjne and approach paves the way fkr estaulishing the (shsrp) regularity of boundary trafes for the MGT eqkation, as wgml ww for the souutions to a rather geheral family of wave equations dith kemory, supklsmftted with Dmrichlvt or Neumann boundarf condiyions. While belng a topic of recognized curcent interest, the onjy result tkat appears available si far is dhe ube ubtziied (via ejerjy methods) jn [@loreti-sfirza_parma], tailored gow the case of Sirichjee boundary conditions. Our alternative pgoof for the model equation with memory, dependinh on the [arameter $\xi$ (and with the same BC) is given in Themrem \[t:vrxcew-mcmorh\], wjich brings about a boundary regularity resule fpr the MGT equatlon, that is Corollsrj \[c:ytaces-mgt\]. (The sjudy of ths regularity of bokndary jraces for wave equstions with memory in the cqse of Neumaun voundary conditiond is left tu a xeparste, subsequent investigction.)

Mzin results: synopsis
----------------------

Ffe outcome of thd [*iktesior*]{} regularity analysis cwrried ouv in chis papdr ix statqd in Theogem \[t:main\_1\], pertaining to tje geueral model equwtion with memory, and Theorem \[t:memn\_2\] for the MGJ exuanion itsejf. Bexide being thq former resuljs instruientau in achiening the vubsequent jnes, they are wlso of inde'endent igterwst.\
Bwcause gfe said resultx are presented by neans of elaborate tacmes, aiming at rzudtrung explicit tne oajjr arhievqkents on the regjlafoty ow equations xnd —yhe latter linked ang cojplementing those on our key referense [@kalt-etal_2011]—we nighlight them in Uheorek \[t:semple\] neljw. Theorem \[t:sample\] includes as sell a ladt ftatement on the regularity pf [*boundary*]{} traces, an issue which is deelt with in Section \[s:traxes\]; see Theorem \[t:traeex-memory\] and Corojlary \[c:trawes-mgt\].

For the statemwnt and understancing of all our findihgs, we need to introduce appropriate functional spaces along with the related notatiin. Let $A$ be the ungounced oierctox definqd ad follows: $$\label{deginizOPERAT
LIBRO Chapter 2]; see also [@corduneanu Chapter novelty the equation brought about by parameter A classical reference thorough treatment of—evolutionary equations is [@pruess_1993]. It is important emphasize at the very outset that the adopted perspective and approach paves the for establishing the (sharp) regularity of boundary traces for the MGT equation, as as the to rather general family of wave equations with memory, supplemented with Dirichlet or Neumann boundary conditions. While a topic of recognized current interest, the only that appears available so is the one obtained (via methods) [@loreti-sforza_parma], tailored the of boundary conditions. Our proof for the model equation with memory, depending on the parameter $\xi$ (and with the same BC) given in which brings a regularity for the MGT is Corollary \[c:traces-mgt\]. (The study of boundary traces for wave equations with memory in case of boundary conditions is left to a subsequent investigation.) Main results: synopsis ---------------------- The outcome the [*interior*]{} regularity analysis carried out in this paper is stated in Theorem \[t:main\_1\], pertaining general model equation with and Theorem \[t:main\_2\] the equation Beside the former instrumental in achieving the subsequent ones, they are also of independent Because the said results are presented by means of elaborate at explicit the major on the regularity of and latter linked and complementing our reference in \[t:sample\] Theorem \[t:sample\] includes as a last statement on the of [*boundary*]{} traces, an in Section \[s:traces\]; see Theorem \[t:traces-memory\] and Corollary For the statement and understanding of all findings, we need to introduce appropriate functional spaces along with the related Let $A$ unbounded operator defined as follows: $$\label{definizOPERAT
LIBRO Chapter 2]; see also [@cordunEanu ChapteR 5]. A novEltY in ThE equAtioN is brought abouT By thE presence of the (vectoriaL) paraMeTEr $\xi$. a ClAssicAl referENcE ON—anD tHoRouGh TReAtmenT of—EvolutiOnary integRal EqUations is [@pruESs_1993].

it is importAnt To emphasize aT thE very oUtSet THat thE adOpted PerspeCTive anD approach PaVEs the wAY for estABLiShinG the (sharp) regulariTY oF Boundary traces For the mGt EqUATioN, as Well as for tHe SolutIOns to a rAThER GEneRAl family of wavE equations wITh mEmory, sUpPleMEnted wIth DiRiCHleT or Neumann bOundAry conditIons. WhILe being A Topic of RecognIzeD cuRrenT InTeResT, tHE onLY rEsuLT thAt appearS aVaIlablE so fAR IS The oNe oBtaiNed (viA energy methodS) in [@LoreTI-sfOrza_pArma], tAiloReD for tHe case Of DirIcHlet boundary conDitiOns. Our altErnAtIve PrOof foR The modEl eQuaTion witH memory, DEpeNdING On The parameter $\xi$ (and wItH THe Same BC) is Given iN thEoREm \[t:traceS-mEmoRy\], whICH brinGs abOUt A boundarY regulARiTy Result fOr The MGT EqUatIon, That iS coroLlary \[c:Traces-mgT\]. (The sTUdy of the regulaRIty of boundary TRaCES fOR wavE eqUations with MemoRY in tHe caSE oF NeUMann bOundaRy COnDItions is left to a sepaRaTe, subsEquenT investigatioN.)

Main resulTS: SYnopsis
----------------------

THe ouTCoME of the [*interior*]{} RegulArity analySIs carrieD out iN this papEr is stateD IN Theorem \[T:maIn\_1\], pErtAinING tO the general moDEL equAtIon with MemOry, and THeoRem \[T:maIn\_2\] fOr The MGT equAtion itsElF. BEsIdE beIng thE Former reSuLts InStrUmentAL in achIevinG the SuBsEQueNt ones, tHEy ARE alsO oF iNdepEndEnT inteRest.\
bEcaUse the sAid resultS arE PresEnTeD by meanS of elaborate tAbLes, aiming aT rEndEring eXPLicit the Major achievements on the rEGularitY of EquatIons And —the latTer Linked And COmplemEnting Those In Our KEY refeRENcE [@kaLt-Etal_2011]—we highLIGht Them iN THeorEm \[t:sampLe\] below. Theorem \[t:samPLe\] iNcludes as well A laSt stATEmEnt ON tHE reGuLAriTY Of [*boundary*]{} traceS, an issue whIcH Is Dealt with iN secTiOn \[s:tracEs\]; see ThEorem \[T:Traces-mEmory\] and COrollary \[c:TrAces-MGT\].

FoR the statemEnt and unDerstandiNG of alL OuR findIngS, we neeD tO inTroduCe apprOPriAte fuNctionAl Spaces Along WiTh the relAted notation. Let $A$ be the unBoundeD operAtoR defined aS foLLowS: $$\label{defInizoPERAT
LIBRO Chapter 2]; see also  [@cordune anu C hap ter  5 ]. A  nov elty in the eq u atio n is brought about bythe p re s ence of  the(vector i al ) par am et er$\ x i$ . A c las sical r eference o n—a nd  thorough tr e at ment of—ev olu tionary inte gra l equa ti ons is [@ pru ess_1 993].It isimportant  t o  empha s ize att h every  outset that thea do p ted perspectiv e andap p ro a c h p ave s the wayfo r est a blishin g  t h e (sh a rp) regularit y of bounda r y t racesfo r t h e MGTequat io n , a s well as f or t he soluti ons to a rathe r  genera l fami lyofwave eq ua tio ns wit h  m emo r y,suppleme nt ed  with  Dir i c h l et o r N euma nn bo undary condit ion s. W h ile  bein g a t opic  o f rec ognize d cur re nt interest, th e on ly result  th at  ap pe ars a v ailabl e s o f ar is t he oneo bta in e d (v ia energy methods)  i n [@ loreti-s forza_ p ar ma ] , tailor ed  fo r th e caseof D i ri chlet bo undary co nd itions.  O ur alt er nat ive  proo f  for  the m odel equ ation with memory, d e pending on th e  p a r am e ter$\x i$ (and wit h th e  sam e BC )  i s g i ven i n The or e m\ [t:traces-memory\],  w hich b rings  about a boun dary regul a r i ty resul t fo r  t h e MGT equation , tha t is Corol l ary \[c: trace s-mgt\].  (The stu d y  of thereg ula rit y o f bo undary traces f or w av e equat ion s withmem ory  in  th ecase of N eumann b ou nd ar ycon ditio n s is lef ttoasep arate ,  subse quent  inv es ti g ati on.)

M a in r esul ts :syno psi s----- ---- - --- ------- --

The o utc o me o fth e [*int erior*]{} reg ul arity anal ys iscarrie d out in t his paper is stated inT heorem\[t :main \_1\ ], pertai nin g to t heg eneral  model  equa ti onw i th me m o ry , a nd  Theorem \ [ t :ma in\_2 \]  for  the MG T equation itself. Bes ide being the  fo rmer r es ult s  i n str um e nta l in achieving th e subseque nt on es, they a r e a ls o of in depende nt in t erest.\ 
Becausethe saidre sult s are  presented  by mean s of elab o ratet ab les,aim ing at  r end ering  expli c itthe m ajor a ch ieveme nts o nthe regu larity of equations and  —thelatte r l inked and  co m ple menting t hose  in our ke y r efe rence  [@ k alt-e tal_ 2 01 1]— w e hig hlig h t them in Th eor e m  \ [t:sample\] b e low . The ore m  \[t:s ampl e\] includes as w e ll a last stat emen t onthe regu la rity of [*boun dar y* ] { } traces ,an issue wh ich is d ea l t wit h in S ection  \[s:tr a c es \ ]; see  The ore m \[t:tra ces -m e mory\]an dC orolla ry \ [c :trace s-mgt\ ] .

F o r  the statement a nd un d e rstan d ing  of a ll  our fi n ding s, we need  to introdu ce app ropr iatefunctio na l spac esal ong with t h e related  nota tion. L et  $A$  be  the u nbou n d ed op erat or  de fined asf o ll o ws :$ $\l abel {defi ni zOPE RAT
LIBRO Chapter 2];_see also_[@corduneanu Chapter 5]. A novelty_in the_equation_is brought_about_by the presence_of the (vectorial)_parameter $\xi$. A classical_reference on—and thorough_treatment_of—evolutionary integral equations is [@pruess_1993].

It is important to emphasize at the very outset that_the_adopted perspective_and_approach_paves the way for establishing_the (sharp) regularity of boundary_traces for_the MGT equation, as well as for the_solutions_to a rather_general family of wave equations with memory, supplemented with_Dirichlet or Neumann boundary conditions. While_being a topic_of_recognized_current interest, the only_result that appears available so far_is the one obtained (via energy_methods) in [@loreti-sforza_parma], tailored for the case_of Dirichlet boundary conditions. Our alternative_proof for the model equation_with memory,_depending on the parameter $\xi$_(and with the_same BC)_is given in_Theorem \[t:traces-memory\], which brings about a boundary_regularity result for_the MGT equation, that is Corollary \[c:traces-mgt\]._(The_study of the_regularity_of_boundary traces_for wave equations_with_memory in_the_case of Neumann boundary conditions is_left_to a separate, subsequent investigation.)

Main results: synopsis
----------------------

The_outcome of the [*interior*]{}_regularity_analysis carried out in_this paper is stated in_Theorem \[t:main\_1\], pertaining to the general model_equation with_memory, and_Theorem \[t:main\_2\] for the MGT equation itself. Beside being the former results_instrumental in achieving the subsequent ones,_they are also of_independent interest.\
Because_the_said results are_presented_by means_of elaborate tables, aiming at rendering explicit_the major_achievements on the regularity of equations_and —the latter linked_and_complementing those in our key reference [@kalt-etal_2011]—we_highlight them in Theorem \[t:sample\] below. Theorem \[t:sample\]_includes as well a last_statement_on_the regularity of [*boundary*]{} traces,_an issue which is dealt with_in Section \[s:traces\]; see_Theorem \[t:traces-memory\] and Corollary \[c:traces-mgt\].

For the statement and understanding_of_all our findings, we need to_introduce_appropriate functional spaces along with the_related_notation._Let $A$ be the unbounded_operator defined as follows: $$\label{definizOPERAT