ISSN:
1432-0835
Keywords:
49Q20
;
49J45
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Summary We study integral functionals of the formF(u, Ω)=∫Ω f(▽u)dx, defined foru ∈ C1(Ω;R k), Ω⊑R n . The functionf is assumed to be polyconvex and to satisfy the inequalityf(A) ≥c0¦ℳ(A)¦ for a suitable constant c0 〉 0, where ℳ(A) is then-vector whose components are the determinants of all minors of thek×n matrixA. We prove thatF is lower semicontinuous onC 1(Ω;R k) with respect to the strong topology ofL 1(Ω;R k). Then we consider the relaxed functional ℱ, defined as the greatest lower semicontinuous functional onL 1(Ω;R k ) which is less than or equal toF on C1(Ω;R k). For everyu ∈ BV(Ω;R k) we prove that ℱ (u,Ω) ≥ ∫Ω f(▽u)dx+c0¦Dsu¦(Ω), whereDu=▽u dx+Dsu is the Lebesgue decomposition of the Radon measureDu. Moreover, under suitable growth conditions onf, we show that ℱ (u,Ω)=∫Ω f(▽u)dx for everyu ∈ W1,p(Ω;R k), withp ≥ min{n,k}. We prove also that the functional ℱ (u, Ω) can not be represented by an inte- gral for an arbitrary functionu ∈ BVloc(R n;R k). In fact, two examples show that, in general, the set functionΩ → ℱ (u, Ω) is not subadditive whenu ∈ BVloc(R n;R k), even ifu ∈ W loc 1,p (R n;R k) for everyp 〈 min{n,k}. Finally, we examine in detail the properties of the functionsu ∈ BV(Ω;R k) such that ℱ (u, Ω)=∫Ω f(▽u)dx, particularly in the model casef(A)=¦ℳ(A)¦.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01235534
Permalink