Contents lists available atScienceDirect
C. R. Acad. Sci. Paris, Ser. I
www.sciencedirect.com
Partial differential equations/Optimal control
Approximate controllability of coupled 1-d wave equations on star-shaped graphs
Contrôlabilité approchée des équations d’ondes 1d couplées sur graphes étoiles
René Dáger
DepartamentodeMatemáticaAplicada,UPM,Av.PuertadeHierro4,28040Madrid,Spain
a rt i c l e i n f o a b s t ra c t
Articlehistory:
Received13March2016
Acceptedafterrevision11May2016 Availableonline25May2016 PresentedbyJean-MichelCoron
InthisNote,westudytheapproximatecontrollabilityofacascadesystemoftwo1-dwave equationsdefinedonastar-shapedplanargraph.Onlythefirstequationiscontrolled,with controlsappliedatthesimple vertices.Thecontrolsactonthesecondequationthrough thecouplingatthemultiplevertex.We giveanecessaryandsufficientconditionforthe approximatecontrollabilityofthesystem:alltheratiosofthelengthsofanytwodifferent edges of the graphshould be irrational numbers. The result implies that, under these conditions,theapproximatedesensitizingcontrollabilityofastar-shapednetworkofstrings holds,whenthedesensitizedfunctionalistheL2-normofthedisplacementofthemultiple node.
©2016Académiedessciences.PublishedbyElsevierMassonSAS.Allrightsreserved.
ré s u m é
Danscette Note,onétudie lacontrôlabilitéapprochéed’unsystèmeencascadededeux équations d’ondes 1d définies sur un graphe planaire en forme d’étoile. Seulement la premièreéquationestcontrôlée,avecdescontrôlesquiagissentsurlessommetssimples.
Lescontrôlesagissentsurladeuxièmeéquationàtraverslecouplageausommetmultiple.
On donne une condition nécessaire et suffisante pour la contrôlabilité approchée du système :touslesrapportsdeslongueursdesarêtesdoiventêtredesnombresirrationnels.
Lerésultatimpliqueque,danscesconditions,lacontrôlabilitédésensibilisanteapprochée d’unréseaualieulorsquelafonctionnelledésensibiliséeestlanormeL2dudéplacement dunœudmultiple.
©2016Académiedessciences.PublishedbyElsevierMassonSAS.Allrightsreserved.
E-mailaddress:[email protected].
http://dx.doi.org/10.1016/j.crma.2016.05.006
1631-073X/©2016Académiedessciences.PublishedbyElsevierMassonSAS.Allrightsreserved.
1. Introduction
Letn
≥
2 beanaturalnumberand1
, ...,
nbepositivenumbers.Considerthefollowingsystemof2ncoupled1-dwave equationscontrolledbymeansofncontrolfunctions:⎧ ⎪
⎪ ⎪
⎪ ⎪
⎨
⎪ ⎪
⎪ ⎪
⎪ ⎩
yi,tt
−
yi,xx=
0 inR× (
0,
i),
i=
1, ...,
n yi(·,
i) =
vi inR,
i=
1, ...,
n yi(·,
0) =
yj(·,
0)
inR,
i,
j=
1, ...,
n y1,x( · ,
0) + · · · +
yn,x( · ,
0) =
0 inR
yi
(
0, ·) =
y0i,
yi,t(
0,·) =
y1i in(
0,
i),
i=
1, ...,
n,
(1)
⎧ ⎪
⎪ ⎪
⎪ ⎪
⎨
⎪ ⎪
⎪ ⎪
⎪ ⎩
qi,tt
−
qi,xx=
0 inR×(
0,
i)
i=
1, ...,
nq
(·,
i) =
0 inR,
i=
1, ...,
nqi
( · ,
0) =
qj( · ,
0)
inR ,
i,
j=
1, ...,
n q1,x(·,
0) + · · · +
qn,x(·,
0) =
yi(·,
0)
inR
qi
(
0, · ) =
q0i qi,t(
0, · ) =
q1i in(
0,
i),
i=
1, ...,
n.
(2)
Thesystems(1)and(2)modelthemotionoftwonetworksofnhomogeneousvibratingstringsconnectedatonepoint inastar-shaped configuration.Thescalarrealfunctions yi
(
t,
x)
,qi(
t,
x)
,definedinR× (
0,
i)
,denotethetransversaldis- placementofthei-thstringoflengthiofeachnetwork,respectively.Foreverystringthevalues0 and
iofthevariablex correspondtoitsends: 0 totheendwherethestringsarejoined(themultiplenode)and
i totheother one(thesimple node).
Thenetworkgivenby(1)isacontrolledone.Ateverysimplenode,acontrolviisappliedthatregulatesitsdisplacement.
Atthe multiplenodes,the thirdandfourthequationsin(1)ensurethecontinuityofthe networkandthebalanceofthe tensions.
Thenetwork (2)iscontrolled inan indirectway:thesumofthetensions isequalto yi
( · ,
0)
,thedisplacementofthe multiplenode.Throughthatcoupling,thesystemreceivestheactionofthecontrolmechanismappliedtothefirstnetwork.To simplify the notation we denote y
¯ := (
y1, ...,
yn)
, q¯ := (
q1, ...,
qn)
,¯
y0:= (
y01, ...,
yn0)
, y¯
1:= (
y11, ...,
y1n)
, q¯
0:=
(
q01, ...,
q0n)
,q¯
1:= (
q11, ...,
q1n)
,v¯ := (
v1, ...,
vn)
.Ourgoalistoinvestigatethecontrollabilitypropertiesof(1)–(2):givenT
>
0 andinitialstatesy¯
0, ¯
y1,
q¯
0,
q¯
1findcontrols¯
v∈
L2
(
0,
T)
nsuchthatbothnetworksareatrestintimeT,i.e., y
¯ (
T) = ¯
yt(
T) = ¯
q(
T) = ¯
qt(
T) = ¯
0.TobepreciseweintroducetheHilbertspaces V
:=
ψ ¯ ∈
n
i=1
H1
(
0,
i), ψ
i(
i) =
0, ψ
i(
0) = ψ
j(
0),
i,
j=
1, ...,
n,
H:=
n
i=1
L2
(
0,
i),
endowedwiththenaturalproductstructures.
Itisknown(see,e.g.,[6,p. 23]),thatsystem(1)–(2)iswellposedforinitialdata
¯
y0, ¯
y1∈
H×
V,¯
q0,
q¯
1∈
V×
Hand(¯
q,
y¯ ) ∈
C([
0,
T],
V×
H) ∩
C1([
0,
T],
H×
V)
foranyT>
0.The controlled systems withthe type ofcoupling definedbetween(1) and(2) are calledcontrolled cascade systems.
Theirstudyismotivatedbythedesensitizing controllability,aconceptintroducedbyLionsin[8].
Indeed,considerthefollowingdesensitizingcontrollabilityproblemforthenetworkdefinedby(1):giventheinitialdata
¯
y0, ¯
y1∈
H×
V,findcontrolsv¯ ∈
L2
(
0,
T)
n,suchthatthefunctional
Φ(
h¯
0,
h¯
1) :=
T 0(
yi(
t,
0))
2dt,
(3)definedfor thesolutions to (1)withperturbed initial data y
¯
0+ ¯
h0,
y¯
1+ ¯
h1,is locallylinearlyindependent ofthe small, unknown perturbation h¯
0∈
H,
h¯
1∈
V, that is, DΦ(
0,
0) =
0.Then, the controls v¯
have that property ifand onlyif, the solutionto (1)–(2)withthosecontrolsandinitial data y¯
0,
y¯
1,q¯
0= ¯
q1= ¯
0 satisfies q¯ (
T) = ¯
qt(
T) = ¯
0 (see,[2]). The latter propertyisclearlyimpliedbythecontrollabilityof(1)–(2).Additionally, the weakerproperty that forfixed
¯
y0,
y¯
1∈
H×
V andeveryε >
0 it holdsthat DΦ(
0,
0)
V< ε
for some controls v¯
ε (known as approximatedesensitizing controllability, see[1]) coincides withthe fact that the set ofall final states(¯
q(
T),
q¯
t(
T))
of solutionsto (1)–(2)withq¯
0= ¯
q1= ¯
0 asv¯
rangesoverL2
(
0,
T)
nisdense in V
×
H,that is, withaweakenedversionoftheapproximatecontrollabilityof(1)–(2).The main resultof this Note related to the approximate controllability of (4)–(5) is givenin Theorem 1. Besides, in Theorem 5, a weighted observability inequality is obtained that allows usto provide in Corollary 6 an alternative more precisedescriptionoftheapproximatedesensitizingcontrollabilityforthefunctional(3).
2. Approximatecontrollabilityresults
We should mention that, as it was proved in [9], the control mechanism in (1) is strong enough to guarantee the controllability ofall initial states in H
×
V,even ifone of thecontrols iskept switched off(e.g., v1=
0). However, the couplingmechanismbetween(1)and(2)isveryweak.Indeed,astar-shapednetworkofstringscontrolledfromthemultiple node failstobecontrollableinthenaturalenergyspaceH×
Vandeventheapproximatecontrollabilitymayfailinsome circumstances, namely,whenthe ratioofthelengthoftwo ofthestringsis arationalnumber(see[4]). Aswe shallsee, thatisalsothecaseinthepresentproblem.We willsaythat thepositivenumbers
1
, ...,
n satisfytheD-conditionifalltheratiosi
/
j fori,
j=
1, ...,
n, i=
j,are irrational numbers.Aswe shallseebelow,theD-conditionallows ustocharacterizethenetworksthatare approximately controllable.Besides,wedenote
∗
:=
max{
i:
i=
1, ...,
n}
andT0:=
2(
1+ · · · +
n) +
2∗. ThefollowingisthemainresultofthisNote:
Theorem1.System(1)–(2)isapproximatelycontrollableintimeT
≥
T0if1
, ...,
nsatisfytheD-condition.Inaddition,whenthe D-conditionisnotsatisfied,theapproximatecontrollabilityof(1)–(2)failsforeveryT>
0.Toprovethistheoremweconsidertheauxiliaryadjointsystem
⎧ ⎪
⎪ ⎪
⎪ ⎪
⎨
⎪ ⎪
⎪ ⎪
⎪ ⎩
pi,tt
−
pi,xx=
0 inR× (
0,
i),
i=
1, ...,
n pi(·,
i) =
0 inR,
i=
1, ...,
n pi( · ,
0) =
pj( · ,
0)
inR ,
i,
j=
1, ...,
n p1,x(·,
0) + · · · +
pn,x(·,
0) =
0 inR
pi
(
T, · ) =
p0i,
pi,t(
T, · ) =
p1i in(
0,
i),
i=
1, ...,
n,
(4)
⎧ ⎪
⎪ ⎪
⎪ ⎪
⎨
⎪ ⎪
⎪ ⎪
⎪ ⎩
zi,tt
−
zi,xx=
0 inR× (
0,
i)
i=
1, ...,
nz
(·,
i) =
0 inR,
i=
1, ...,
nzi
(·,
0) =
zj(·,
0)
inR,
i,
j=
1, ...,
n z1,x( · ,
0) + · · · +
zn,x( · ,
0) =
pi( · ,
0)
inR
zi
(
T, ·) =
z0i zi,t(
T, ·) =
z1i in(
0,
i),
i=
1, ...,
n.
(5)
System(4)–(5)iswellposedfor
¯
p0,
p¯
1∈
H×
V,¯
z0, ¯
z1∈
V×
Hand( ¯
z,
p¯ ) ∈
C( [
0,
T] ,
V×
H) ∩
C1( [
0,
T] ,
H×
V)
for anyT>
0.Itisknown(see[6,p.142]or[5,p.15])thattheeigenvalueproblemassociatedwith(4)
−
wi,xx= μ
wi,
wi∈
H2(
0,
i),
wi(
0) =
wj(
0),
w1,x+ · · · +
wn,x(
0) =
0,
wi(
i) =
0,
i,
j=
1, ...,
n,
has a positive unbounded increasing sequence ofeigenvalues
( μ
k)
k∈N andthat the corresponding eigenfunctions w¯
k:=
(
w1,k, ...,
wn,k)
,k∈
Nmaybechosensothatthesequence(
w¯
k)
k∈N isanorthonormalbasisofH.Further,denoteλ
k:= √ μ
k. InthespaceV∗ ofallthefinitelinearcombinationsoftheeigenfunctions(
w¯
k)
k∈N,wedefinethenorms·
α forα ∈
R asψ ¯
α:=
k∈N
λ
αkψ
k212,
for
ψ ¯ ∈
V∗ givenbyψ ¯ =
ψ
kw¯
k,andVα asthecompletionof V∗ withrespectto·
α.Thespaces V, H andVcan be identifiedwithV1,V0andV−1,respectively.Besides,thesolutionto(4)withinitial(final)data
¯
p0=
k∈N
p0,kw
¯
k,
p¯
1=
k∈N p1,kw
¯
katt
=
t0maybewrittenas¯
p
(
t) =
k∈N
p0,kcos
λ
k(
t−
t0) +
p1,kλ
k sinλ
k(
t−
t0)
¯
wk anditsα
-energyEαp¯
(
t) := ¯
p(
t)
2α+1+ ¯
pt(
t)
2α=
k∈N
λ
kp0,k 2+
p1,k 2(λ
k)
2αisconserved.
For
(θ
1, θ
2) ∈
H×
Vand(ϑ
1, ϑ
2) ∈
V×
Hwedenote(θ
1, θ
2), (ϑ
1, ϑ
2) := θ
1, ϑ
2H+ θ
2, ϑ
1V,V. Proposition2.ForanyT>
0andanycontrolsv¯ ∈
L2
(
0,
T)
nthefollowingdualityidentityholdsforthesolutionsto(1)–(2)and (4)–(5)
n i=1 T 0vi
(
t)
zi,x(
t,
i) =
( ¯
y(
T), − ¯
yt(
T)) , ¯
z0, ¯
z1+
¯
y0, ¯
y1, (¯
z(
T), − ¯
zt(
T))
+
(6)+
¯
p0,
p¯
1, (¯
q(
T), − ¯
qt(
T)) +
(
p¯ (
T), − ¯
pt(
T)) ,
q¯
0,
q¯
1.
Fromidentity(6),wecanprove Proposition3.Forevery
¯
y0, ¯
y1∈
H×
V,¯
q0,
q¯
1∈
V×
H thesets(¯
q(
T),
q¯
t(
T)) : ¯
v∈
L2
(
0,
T)
n,
(
y¯ (
T),
y¯
t(
T)) : ¯
v∈
L2(
0,
T)
naredenseinV
×
H andH×
Vrespectively,ifandonlyif,thefollowinguniquecontinuationpropertyholdsforallsolutionsto(4)–(5) with¯
p0,
p¯
1∈
H×
V,¯
z0, ¯
z1∈
V×
H :zi,x
(
t,
i) =
0,
i=
1, ...,
n,
a.e. in(
0,
T)
implies p¯
0,
p¯
1=
¯
z0, ¯
z1= (
0¯ ,
0¯ ).
(7)From Proposition 3,itfollowsthat theapproximatecontrollabilityof(1)–(2)for
¯
y0, ¯
y1∈
H×
V,¯
q0,
q¯
1∈
V×
H is equivalenttotheuniquecontinuationproperty(7).Proposition4.Thefollowingholds:
1)theuniquecontinuationproperty(7)holdswithT
≥
T0ifandonlyifthelengths1
, ...,
nofthestringssatisfytheD-condition;2)ifthelengths
1
, ...,
nofthestringsdonotsatisfytheD-conditiontheuniquecontinuationproperty(7)failsforanyT>
0.Proof. 1)Recallthe followingfactderivedfromtheD’Alembertformula(see[5,p. 26]):ifu
(
t,
x)
solvesthewaveequation utt−
uxx=
0 inR× (
0, )
andsatisfiestheDirichletboundarycondition u(
t, ) =
0 fort∈ (
t1,
t2)
witht2−
t1≥
2then,for everyt
∈ (
t1+ ,
t2− )
,ux
(
t,
0) =
12
(
ux(
t+ , ) +
ux(
t− , )) .
(8)Nowassumethat zi,x
(
t,
i) =
0 foreveryi=
1, ..,
n,a.e.in(
0,
T)
.Applying(8)ineachstring,weconcludethat¯
z(
t) = ¯
0 in[
∗,
T0−
∗]
.Consequently,pi(
t,
0) =
0 forevery i=
1, ...,
n,in[
∗,
T0−
∗]
andsystem(4)becomes⎧ ⎨
⎩
pi,tt
−
pi,xx=
0 in[
∗,
T0−
∗] × (
0,
i),
i=
1, ...,
n pi( · ,
0) =
pi( · ,
i) =
0 in[
∗,
T0−
∗] ,
i=
1, ...,
np1,x
(·,
0) + · · · +
pn,x(·,
0) =
0 in[
∗,
T0−
∗].
If the lengths
1
, ...,
n satisfy the D-condition, we can apply the unique continuation property associated with the simultaneous controlofn strings proved in[4]toconcludethat p¯ (
t) = ¯
0 in[
∗,
T0−
∗]
.Then, asthe( −
1)
-energyof p¯
is conserved,¯
p0,
p¯
1= (
0¯ ,
0¯ )
.Plugging this informationinto (5), the 0-energy of¯
z is also conserved. Thus,¯
z(
t) = ¯
0 in[
∗,
T0−
∗]
implies¯
z0, ¯
z1= (
0¯ ,
0¯ )
andtheuniquecontinuationproperty(7)istrue.2) AssumetheD-conditionis notverified andtake p
¯ = ¯
0 and zi=
0 for i=
s,
r withs
/
r∈
Q.Choosem,
n∈
Nsuch thats
/
r=
n/
manddefinezs
(
t,
x) =
smcos(
nπ(
T−
t)
s)
sin(
nπ
xs
),
zr(
t,
x) = −
rncos(
mπ(
T−
t)
r)
sin(
mπ
xr
).
Clearly,
zs,x
(
t,
0) +
zr,x(
t,
0) =
mnπ
cos
(
nπ(
T−
t)
s) −
cos(
mπ(
T−
t)
r)
=
0and then, z1,x
(
t,
0) + · · · +
zn,x(
t,
0) =
0 for anyt∈
R. Besides, since zr(
T,
x) =
sin(
nπxr
)
,¯
z0= ¯
0. Consequently, p,¯ ¯
z are solutionsto(4)–(5)forwhichtheuniquecontinuationproperty(7)isfalsewithanyvalue T>
0.Now,Theorem 1isaconsequenceofthePropositions 3 and4.
3. Desensitizingcontrollability
Asmentionedbefore,theapproximatecontrollabilityofsystem(1)–(2)impliestheapproximatedesensitizingcontrolla- bilityofthefunctional
definedby (3)alongthesolutions to(1),thus,inview ofTheorem 1,itholdsfor T
≥
T0 ifthe lengthsofthestringssatisfytheD-condition.However,thedesensitizingcontrollabilityisimpliedbyanapparentlyweaker version oftheuniquecontinuationproperty(7).Itisenoughthat,foreverysolutionto(4)–(5)withfinaldata p¯
0,
p¯
1∈
V∗,¯
z0
, = ¯
z1= ¯
0,zi,x
(
t,
i) =
0,
i=
1, ...,
n,
a.e. in(
0,
T)
imply p¯
0,
p¯
1= (
0¯ ,
0¯ ),
(9)toguaranteethedesensitizingcontrollability.
Usingthetechniquedevelopedin[5,Chapter5],thelatteruniquecontinuationpropertymaybequantifiedbymeansof thefollowingweightedobservabilityinequality.
Theorem5.LetT
≥
T0.Then,thereexistsapositiveconstantC suchthat,foranyfinaldatap¯
0=
p0,kw
¯
k,p¯
1=
p1,kw
¯
k,z¯
0,z¯
1, thatbelongtoV∗,thecorrespondingsolutionto(4)–(5)satisfiesC
ni=1
T 0 zi,x(
t,
i)
2dt
≥
k∈N
p0,k 2+ λ
−k1p1,k 2ω
2k,
whereω
k=
n
i=1
sin
(λ
ki
).
(10)Besides,allthenumbers
ω
karedifferentfromzerowheneverthelengthsofthestringssatisfytheD-condition.Therefore, Theorem 5impliestheuniquecontinuationproperty(9).Unfortunately,foranyvaluesofthelengths1
, ...,
n,thesequence( | ω
k| )
k∈N is notuniformlyboundedfrombelowwithapositive bound,so(10) leadsto theobservationofnorms weaker than·
H×V.Additionally, basedontheHilbertUniquenessMethod(J.-L.Lions[7]),Theorem 5allowsustogiveanalternative,more precisecharacterizationoftheapproximatedesensitizingcontrollabilityofsystem(1):
Corollary6.If
1
, ...,
nsatisfytheD-condition,thefunctionalΦ
definedby(3)canbedesensitizedalonganysolutionto(1)with initialdata¯
y0, ¯
y1thatarefinitelinearcombinationsoftheeigenfunctions(
w¯
k)
k∈N.Remark7.AlltheresultsinthisNoteremaintruewhenn
=
1.Wehaveexcludedthisvalueofntoguaranteethattheterms multipleandsimplenodesmakesense.Remark8.Asfar aswe know,desensitizingcontrollabilityproblemsonnetworksofstrings havenot beenstudiedbefore.
A similarapproach,basedonthetechnique developedin[3]andinchapters4and5of[5],should workaswellwhena smallernumberofcontrollersisusedorwhenthenetworkissupportedonatree-shapedgraph.
Acknowledgement
ThisworkwaspartiallysupportedbyProjectMTM2013-42907DGICT,Spain.
References
[1]O.Bodart,C.Fabre,Controlsinsensitizingthenormofthesolutionofasemilinearheatequation,J.Math.Anal.Appl.195(1995)658–683.
[2]R.Dáger,Insensitizingcontrolsforthe1-Dwaveequation,SIAMJ.ControlOptim.45(2006)1758–1768(electronic).
[3]R.Dáger,Observationandcontrolofvibrationsintree-shapednetworksofstring,SIAMJ.ControlOptim.43(2004)590–623.
[4]R.Dáger,E.Zuazua,Controllabilityofstar-shapednetworksofstrings,C.R.Acad.Sci.Paris,Ser.I332(2001)621–626.
[5]R.Dáger,E.Zuazua,WavePropagation,ObservationandControlin1-dFlexibleMulti-Structures,Math.Appl.(Berlin)(Mathematics&Applications), vol. 50,Springer-Verlag,Berlin,2006.
[6]J.E.Lagnese,G.Leugering,E.G.Schmidt,Modeling,AnalysisandControlofDynamicElasticMulti-LinkStructures,SpringerScience&BusinessMedia, 2012.
[7]J.-L.Lions,Contrôlabilitéexacte,perturbationsetstabilisationdesystèmesdistribués.Tome1,Rech.Math.Appl.(ResearchinAppliedMathematics), vol. 8,Masson,Paris,1988.
[8]J.-L.Lions,Quelquesnotionsdansl’analyseetlecontrôledesystèmesàdonnéesincomplètes,in:Proceedingsofthe11thCongressonDifferential EquationsandApplications/FirstCongressonAppliedMathematics,Málaga,1989,UniversityofMálaga,Málaga,Spain,1990,pp. 43–54.
[9]E.J.P.G.Schmidt,Onthemodellingandexactcontrollabilityofnetworksofvibratingstrings,SIAMJ.ControlOptim.30(1992)229–245.