22.06.2013 Views

Polyharmonic boundary value problems

Polyharmonic boundary value problems

Polyharmonic boundary value problems

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.

1.3 The first eigen<strong>value</strong> 13<br />

1.3.1 The Dirichlet eigen<strong>value</strong> problem<br />

Whenever the biharmonic operator under Dirichlet <strong>boundary</strong> conditions has a<br />

strictly positive Green’s function, the first eigen<strong>value</strong> Λ2,1 is simple and the corresponding<br />

first eigenfunction is of fixed sign, see Section 3.1.3. Related to the first<br />

eigen<strong>value</strong> is a question posed by Lord Rayleigh in 1894 in his celebrated monograph<br />

[350]. He studied the vibration of (planar) plates and conjectured that among<br />

domains of given area, when the edges are clamped, the form of gravest pitch is<br />

doubtless the circle, see [350, p. 382]. This corresponds to saying that<br />

Λ2,1(B) ≤ Λ2,1(Ω) whenever |Ω| = π (1.21)<br />

for planar domains (n = 2). Szegö [388] assumed that in any domain the first eigenfunction<br />

for the clamped plate has always a fixed sign and proved that this hypothesis<br />

would imply the isoperimetric inequality (1.21). The assumption that the first<br />

eigenfunction is of fixed sign, however, is not true as Duffin pointed out. In [152],<br />

where he explains some counterexamples, he referred to this assumption as Szegö’s<br />

conjecture on the clamped plate. Details of these counterexamples can be found in<br />

[153, 154, 155].<br />

Subsequently, concerning Rayleigh’s conjecture, Mohr [310] showed in 1975<br />

that if among all domains of given area there exists a smooth minimiser for Λ2,1<br />

then the domain is a disk. However, he left open the question of existence. In 1981,<br />

Talenti [392] extended Szegö’s result in two directions. He showed that the statement<br />

remains true under the weaker assumption that the nodal set of the first eigenfunction<br />

ϕ1 of (3.1) is empty or is included in {x ∈ Ω; ∇ϕ1 = 0}. This result holds<br />

in any space dimension n ≥ 2. Moreover, for general domains, instead of (1.21) he<br />

showed that<br />

CnΛ2,1(B) ≤ Λ2,1(Ω) whenever |Ω| = en<br />

where 0.5 < Cn < 1 is a constant depending on the dimension n. These constants<br />

were increased by Ashbaugh-Laugesen [24] who also showed that Cn → 1 as n → ∞.<br />

A complete proof of Rayleigh’s conjecture was finally obtained one century later<br />

than the conjecture itself in a celebrated paper by Nadirashvili [315]. This result was<br />

immediately extended by Ashbaugh-Benguria [22] to the case of domains in R 3 .<br />

More results about the positivity of the first eigenfunction in general domains<br />

and a proof of Rayleigh’s conjecture can be found in Chapter 3.<br />

1.3.2 An eigen<strong>value</strong> problem for a buckled plate<br />

In 1910, Th. von Kármán [403] described the large deflections and stresses produced<br />

in a thin elastic plate subject to compressive forces along its edge by means of a system<br />

of two fourth order elliptic quasilinear equations. For a derivation of this model<br />

from three dimensional elasticity one may also see [174] and references therein. An

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

Saved successfully!

Ooh no, something went wrong!