20.07.2013 Views

Estimation optimale du gradient du semi-groupe de la chaleur sur le ...

Estimation optimale du gradient du semi-groupe de la chaleur sur le ...

Estimation optimale du gradient du semi-groupe de la chaleur sur le ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Journal of Functional Analysis 236 (2006) 409–446<br />

www.elsevier.com/locate/jfa<br />

Second or<strong>de</strong>r initial boundary-value prob<strong>le</strong>ms of<br />

variational type<br />

Denis Serre<br />

Éco<strong>le</strong> Norma<strong>le</strong> Supérieure <strong>de</strong> Lyon, France 1<br />

Received 29 August 2005; accepted 26 February 2006<br />

Avai<strong>la</strong>b<strong>le</strong> online 18 April 2006<br />

Communicated by H. Brezis<br />

Abstract<br />

We consi<strong>de</strong>r linear hyperbolic boundary-value prob<strong>le</strong>ms for second or<strong>de</strong>r systems, which can be written<br />

in the variational form δL = 0, with<br />

<br />

|∂t<br />

L[u]:= u| 2 − W(x;∇xu) dx dt,<br />

F ↦→ W(x; F)being a quadratic form over Md×n(R). The domain of L is the homogeneous Sobo<strong>le</strong>v space<br />

H˙ 1 (Ω × Rt ) n , with Ω either a boun<strong>de</strong>d domain or a half-space of Rd . The boundary condition inherent<br />

to this prob<strong>le</strong>m is of Neumann type. Such prob<strong>le</strong>ms arise for instance in linearized e<strong>la</strong>sticity. When Ω is<br />

a half-space and W <strong>de</strong>pends only on F , we show that the strong well-posedness occurs if, and only if, the<br />

stored energy<br />

<br />

W(∇xu) dx<br />

Ω<br />

is convex and coercive over ˙<br />

H 1 (Ω) n . Here, the energy <strong>de</strong>nsity W does not need to be convex but only<br />

strictly rank-one convex. The “only if” part is the new result. A remarkab<strong>le</strong> fact is that the c<strong>la</strong>ssical characterization<br />

of well-posedness by the Lopatinskiĭ condition needs only to be satisfied at real frequency pairs<br />

(τ, η) with τ 0, instead of pairs with ℜτ 0. Even stronger is the fact that we need only to examine pairs<br />

(τ = 0,η), and prove that some Hermitian matrix H(η)is positive <strong>de</strong>finite. Another significant result is that<br />

E-mail address: <strong>de</strong>nis.serre@umpa.ens-lyon.fr.<br />

1 UMPA (UMR 5669 CNRS), ENS <strong>de</strong> Lyon, 46, allée d’Italie, F-69364 Lyon, ce<strong>de</strong>x 07, France. The research of the<br />

author was partially supported by the European IHP project “HYKE”, contract # HPRN-CT-2002-00282.<br />

0022-1236/$ – see front matter © 2006 Elsevier Inc. All rights reserved.<br />

doi:10.1016/j.jfa.2006.02.020

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!