Escolar Documentos
Profissional Documentos
Cultura Documentos
ANALYSIS, CALCULUS OF
VARIATIONS AND DUALITY
Fabio Botelho
AP
Academic Publications
Contents
Introduction
Summary of Main Results
Acknowledgments
Part 1.
ix
ix
xii
3
3
3
8
11
12
13
20
23
24
25
26
32
39
39
39
45
47
48
52
53
55
55
56
59
iii
iv
CONTENTS
61
66
70
78
81
84
91
91
93
94
95
99
105
115
Chapter 5. Distributions
5.1. Basic Definitions and Results
5.2. Differentiation of Distributions
125
125
129
131
131
139
144
145
166
Part 2.
171
173
173
175
177
179
182
184
187
189
191
195
CONTENTS
8.1.
8.2.
8.3.
8.4.
195
204
208
217
223
223
227
229
Part 3.
233
Applications
Chapter
10.1.
10.2.
10.3.
10.4.
10.5.
10.6.
10.7.
10.8.
235
235
240
242
244
250
255
258
261
264
Chapter
11.1.
11.2.
11.3.
11.4.
267
267
269
274
276
Chapter
12.1.
12.2.
12.3.
12.4.
12.5.
12.6.
277
277
279
280
280
281
285
287
287
289
293
vi
CONTENTS
298
301
306
314
315
323
323
324
329
332
335
338
339
Chapter
16.1.
16.2.
16.3.
16.4.
16.5.
16.6.
16.7.
16.8.
16.9.
341
341
342
344
345
349
354
360
364
372
Chapter
17.1.
17.2.
17.3.
373
373
375
376
379
385
387
CONTENTS
vii
387
388
390
392
394
395
Introduction
The main objective of this work is to present recent results of the
author about applications of duality to non-convex problems in the
calculus of variations. The text is divided into chapters described
in the next page, and chapters 1 to 9 present the basic concepts on
standard analysis necessary to develop the applications.
Of course, the material presented in the first 9 chapters is not
new, with exception of the section on relaxation for the scalar case,
where we show different proofs of some theorems presented in Ekeland and Temams book Convex Analysis and Variational Problems
(indeed such a book is the theoretical base of the present work),
and the section about relaxation for the vectorial case. The applications, presented in chapters 10 to 18, correspond to the work of
the present author along the last years, and almost all results including the applications of duality for micro-magnetism, composites
in elasticity and conductivity and phase transitions, were obtained
during the Ph.D. program at Virginia Tech.
The key feature of this work is that while all problems studied
here are non-linear with corresponding non-convex variational formulation, it has been almost always possible to develop convex (in
fact concave) dual variational formulations, which in general are
more amenable to numerical computations.
The section on relaxation for the vectorial case, as its title suggests, presents duality principles that are valid even for vectorial
problems. It is worth noting that such results were used in this
text to develop concave dual variational formulations in situations
such as for conductivity in composites, vectorial examples in phase
transitions, etc.
Summary of Main Results
The main results of this work are summarized as follows.
Duality Applied to a Plate Model. Chapter 10 develops
dual variational formulations for the two dimensional equations of
ix
INTRODUCTION
xi
partial differential equation in question is written on lines as functions of boundary conditions and boundary shape.
Duality Applied to Conductivity in Composites. The
main focus of Chapter 14 is the development of a dual variational
formulation for a two-phase optimization problem in conductivity.
The primal formulation may not have minimizers in the classical
sense. In this case, the solution through the dual formulation is a
weak limit of minimizing sequences for the original problem.
Duality Applied to the Optimal Design in Elasticity.
The first part of Chapter 15 develops a dual variational formulation for the optimal design of a plate of variable thickness. The
design variable, namely the plate thickness, is supposed to minimize the plate deformation work due to a given external load. The
second part is concerned with the optimal design for a two-phase
problem in elasticity. In this case, we are looking for the mixture
of two constituents that minimizes the structural internal work.
In both applications the dual formulations were obtained through
basic tools of convex analysis.
Duality Applied to Micro-Magnetism. The main focus of
Chapter 16 is the development of dual variational formulations for
functionals related to ferromagnetism models. We develop duality
principles for the so-called hard and full (semi-linear) uniaxial and
cubic cases. It is important to emphasize that the new dual formulations here presented are convex and are useful to compute the
average behavior of minimizing sequences, specially as the primal
formulation has no minimizers in the classical sense. Once more
the results are obtained through standard tools of convex analysis.
Duality Applied to Fluid Mechanics. In Chapter 17 we
use the concept of Legendre Transform to obtain dual variational
formulations for the Navier-Stokes system. What is new and relevant is the establishment of a linear system whose the solution
also solves the original problem. In the last section we present the
solution of an approximation concerning the Navier-Stokes system
through the generalized method of lines.
Duality Applied to a Beam Model. Chapter 18 develops
existence and duality for a non-linear beam model. Our final result
is a convex variational formulation for the model in question.
xii
INTRODUCTION
Acknowledgments
This monograph is based in my Ph.D. thesis at Virginia Tech
and I am especially grateful to Professor Robert C. Rogers for his
excellent work as advisor. I would like to thank the Department
of Mathematics for its constant support and this opportunity of
studying mathematics in advanced level. I am also grateful to all
Professors that have been teaching me during the last years, for
their valuable work. Among the Professors, I particularly thank
Martin Day (Calculus of Variations), James Thomson (Real Analysis) and George Hagedorn (Functional Analysis) for the excellent
lectured courses. Finally, special thanks to all my Professors at
I.T.A. (Instituto Tecnologico de Aeronautica, SP-Brasil) my undergraduate and masters school, and to Virginia Tech-USA, two
wonderful institutions in the American continent.
Part 1
CHAPTER 1
(2) A, B closed implies that Ac and B c are open, and by Definition 1.2.5, Ac B c is open, so that A B = (Ac B c )c
is closed.
(3) Consider A = L A , where L is a collection of indices
and A is closed, L. We may write A = (L Ac )c
and since Ac is open L we have, by Definition 1.2.5,
that A is closed.
Definition 1.2.9 (Closure). Given A U we define the clo as the intersection of all closed sets that
sure of A, denoted by A,
contain A.
Remark 1.2.10. From Proposition 1.2.8 Item 3 we have that
A is the smallest closed set that contains A, in the sense that, if C
is closed and A C then A C.
Definition 1.2.11 (Interior). Given A U we define its
interior, denoted by
A, as the union of all open sets contained in
A.
Remark 1.2.12. It is not difficult to prove that if A is open
then A =
A.
Definition 1.2.13 (Neighborhood). Given u0 U we say that
V is a neighborhood of u0 if such a set is open and contains u0 . We
denote such neighborhoods by Vu0 .
Proposition 1.2.14. If A U is a set such that for each
u A there exists a neighborhood Vu u such that Vu A, then
A is open.
Proof. This follows from the fact that A = uA Vu and any
arbitrary union of open sets is open.
Definition 1.2.15 (Function). Let U and V be two topological
spaces. We say that f : U V is a function if f is a collection of
pairs (u, v) U V such that for each u U there exists only one
v V such that (u, v) f .
(1.2)
(1.3)
(2) The vector space operations (addition and scalar multiplication) are continuous with respect to .
More specifically, addition is continuous if, given u, v U and
V such that u + v V then there exists Vu u and Vv v
such that Vu + Vv V. On the other hand, scalar multiplication
is continuous if given F, u U and V u, there exists
> 0 and Vu u such that, F satisfying | | < we have
Vu V.
Given (U, ), let us associate with each u0 U and 0 F
(0 =
6 0) the functions Tu0 : U U and M0 : U U defined by
Tu0 (u) = u0 + u
(1.4)
M0 (u) = 0 u.
(1.5)
and
(1.6)
(1.7)
(1.8)
u0 + v1 + v2 6= u1 , v1 , v2 U,
(1.9)
u0 + v1 6= u1 v2 , v1 , v2 U,
(1.10)
so that
or
and since U = U
(u0 + U) (u1 + U) = .
(1.11)
(1.12)
Definition 1.3.4 (Locally Convex Spaces). A topological vector space U is said to be locally convex if there is a local base
whose elements are convex.
Definition 1.3.5 (Balanced sets). A set A U is said to be
balanced if A A, F such that || 1.
Theorem 1.3.6. In a topological vector space U we have:
(1) Every neighborhood of zero contains a balanced neighborhood of zero,
(2) Every convex neighborhood of zero contains a balanced
convex neighborhood of zero.
Proof.
(1) Suppose U is a neighborhood of zero. From the
continuity of scalar multiplication, there exist V (neighborhood of zero) and > 0, such that V U whenever
|| < . Define W = ||< V, thus W U is a balanced
neighborhood of zero.
(2) Suppose U is a convex neighborhood of zero in U. Define
A = {U | C, || = 1}.
(1.13)
(1.14)
10
(1.15)
u u + V,
(1.16)
(1.17)
V, such that ||
< r,
u
(1.18)
so that
or
and thus
n
1
,
t0
so that
11
12
(1.19)
(1.20)
13
14
k+
k=1 Fk 6= .
Proof. Suppose {Fk } is a nested sequence and lim diam(Fk ) =
k
u
m=1 Fm .
Observe that
A uA B1 (u).
Since A is compact there exists u1 , u2 , ..., un A such that
A = nk=1 B1 (uk ).
15
Define
R = max{d(ui, uj ) | i, j {1, ..., n}}.
Choose u, v A such that
d(u, v) > R + 2.
(1.21)
u B1 (ui), v B1 (uj ).
(1.22)
Thus
d(u, v) d(u, ui) + d(ui, uj ) + d(uj , v)
R + 2.
(1.23)
16
(1.24)
Clearly we cannot extract a convergent subsequence of {un }, otherwise such a subsequence would be Cauchy contradicting (1.24).
The proof is complete.
Definition 1.6.10 (Sequentially compact Sets). Let (U, d) be
a metric space. A set A U is said to be sequentially compact if
for each sequence {un } A there exist a subsequence {unk } and
u A such that
unk u, as k .
Theorem 1.6.11. A subset A of a metric space (U, d) is compact if and only if it is sequentially compact.
Proof. Suppose A is compact. By Proposition 1.4.6 A is countably compact. Let {un } A be a sequence. We have two situations
to consider.
(1) {un } has infinitely many equal terms, that is in this case
we have
un1 = un2 = .... = unk = ... = u A.
Thus the result follows trivially.
(2) {un } has infinitely many distinct terms. In such a case,
being A countably compact, {un } has a limit point in A,
17
Since
(u0 )
< (u0 ),
2
18
B (u0 ) (u0 ) G1 .
2
However, since
d(unk , u0 ) <
(u0 )
, if k > K0 ,
4
we obtain
B (u0 ) (u0 ) B (u0 ) (unk ), if k > K0 ,
2
so that
Therefore
(unk )
(u0)
, k > K0 .
4
lim (unk ) = 0
(u0 )
.
4
1 , ..., n L
B (vi ) Gi , i {1, ..., n},
(vi ) 0 > > 0, i {1, ..., n}.
A ni=1 Gi .
{G1 , ..., Gn }
is a finite subcover for A of
{G , L}.
Hence A is compact.
The proof is complete.
19
20
by Nk where
(k)
(k)
21
a metric space (U, d). Also suppose that U has a countable dense
subset E. Thus, each sequence {fn } F has a subsequence that
converges uniformly on every compact subset of U.
Proof. Let {un } be a countable dense set in (U, d). By hypothesis, {fn (u1 )} is a bounded sequence, therefore it has a convergent
subsequence, which is denoted by {fnk (u1 )}. Let us denote
fnk (u1 ) = f1,k (u1 ), k N.
f1,k (u1 ) g1 , as k .
Observe that {fnk (u2)} is also bounded and also it has a convergent
subsequence, which similarly as above we will denote by {f2,k (u2 )}.
Again there exists g2 C such that
f2,k (u1 ) g1 , as k .
f2,k (u2 ) g2 , as k .
22
|fnk (u) fnl (u)| |fnk (u) fnk (vj )| + |fnk (vj ) fnl (vj )|
+|fnl (vj ) fnl (u)|
+ + = .
3 3 3
(1.26)
23
(1.27)
(1.28)
(1.29)
(1.30)
and
R(f ) = {v V | u U such that f (u) = v}.
(1.31)
(1.32)
v u U f (v u) = f (v) f (u) V,
(1.33)
v u + U f (v) f (u) + V,
(1.34)
Thus
or
which means that f is continuous at u. Since u is arbitrary, f is
continuous everywhere.
24
(1.35)
(1.36)
25
(1.37)
(1.38)
We claim that for each > 0 there exists > 0 such that if
kukU < then kA(u)kV < .
Suppose, to obtain contradiction that the claim is false.
Thus there exists 0 > 0 such that for each n N there exists
un U such that kun kU n1 and kA(un )kV 0 .
Therefore un and A(un ) does not converge to , which
contradicts (1.38).
26
Defining
2
K=
k(u + u0 ) u0 kU < r,
27
kA(u + u0 )kV 1
(1.39)
28
satisfies
B1 A1 = .
Since A2 is nowhere dense we have B1 is not contained in A2 . Therefore we may select u2 B1 \ A2 and since B1 \ A2 is open, there
exists 0 < r2 < 1/2 such that
2 = B
r (u2) B1 \ A2 ,
B
2
that is
B2 A2 = .
Proceeding inductively in this fashion, for each n N we may
obtain un Bn1 \ An such that we may choose an open ball Bn =
Brn (un ) such that
n Bn1 ,
B
and
Bn An =
Define
u = lim un .
n
Since
we get
un BN , n > N,
N BN 1 .
uB
Therefore u is not in AN 1 , N > 1, which means u is not in
n=1 An = U, a contradiction.
The proof is complete.
Theorem 1.11.4 (The Principle of Uniform Boundedness).
Let U be a Banach space. Let F be a family of linear bounded
operators from U into a normed linear space V . Suppose for each
u U there exists a Ku R such that
kT (u)kV < Ku , T F .
kT k < K, T F .
29
Proof. Define
Bn = {u U | kT (u)kV n, T F }.
kT (u)kV n0 , u Br (u0 ), .
that is
Thus
kT (u)kV kT (u0)kV n0 .
kT (u)kV 2n0 , if kukU < r.
(1.40)
ru
,
2kukU
rkT (u)kV
2n0 ,
2kukU
kT (u)kV
4n0 kukU
, u U.
r
so that
Hence
kT k
The proof is complete.
4n0
, T F .
r
30
Proof. First we will prove that given r > 0, there exists r > 0
such that
A(Br ()) BrV ().
(1.41)
(1.42)
thus there exists u U such that kukU < 1 and A(u) = y. Therefore
A(u) = A(u u0 + u0 ) = A(u u0 ) + A(u0 ).
ku u0 kU kukU + ku0 kU
< 1 + ku0kU
= r2 ,
(1.43)
so that
This means
and hence
and therefore
31
Since
A(Br2 ()) = r2 A(B1 ()),
we have, for some not relabeled r1 > 0 that
A(B1 ()) BrV1 ().
un B21n (),
such that
y
Define
n
X
j=1
u=
un ,
n=1
X
A(un ) = A(u) A(B2 ()).
y=
n=1
Therefore
32
33
we have
(1.44)
(u, v)2H
,
kvk2H
kukH =
(u, u).
34
=
Therefore
(u + v, u + v)H
(u, u)H + (v, v)H + 2(u, v)H
(u, u)H + (v, v)H + 2|(u, v)H |
kuk2H + kvk2H + 2kukH kvkH
(kukH + kvkH )2 .
(1.45)
Moreover n0 = u m0 M
so that
u = m0 + n0 ,
ku mi kH d, as i .
35
mi m0 , as i +,
ku mi kH ku m0 kH = d.
n0 = u m0 .
We will prove that n0 M .
Pick m M and t R, thus we have
Since
we obtain
so that
d2 ku (m0 tm)k2H
= kn0 + tmk2H
= kn0 k2H + 2(n0 , m)H t + kmk2H t2 .
(1.47)
n0 M .
since
ku mk2H = ku m0 + m0 mk2H
= ku m0 k2H + km m0 k2H ,
(u m0 , m m0 )H = (n0 , m m0 )H = 0.
(1.48)
36
if m 6= m0 .
Therefore m0 is unique.
Now suppose
u = m1 + n1 ,
ku mk2H = ku m1 + m1 mk2H
= ku m1 k2H + km m1 k2H ,
ku m1 kH
(1.49)
n1 = u m0 = n0 .
Moreover
kf kH = ku0 kH .
Proof. Define N by
N = {u H | f (u) = 0}.
Thus, as f is a continuous and linear N is a closed subspace of H.
If N = H, then f (u) = 0 = (u, )H , u H and the proof would be
complete. Thus assume N 6= H. By the last theorem there exists
v 6= such that v N .
Define
f (v)
v.
u0 =
kvk2H
37
Thus if u N we have
(1.50)
Thus,
(1.52)
Hence u1 = u0 .
Let us now prove that
First observe that
kf kH =
=
kf kH = ku0 kH .
sup{f (u) | u H, kukH 1}
sup{|(u, u0)H | | u H, kukH 1}
sup{kukH ku0 kH | u H, kukH 1}
ku0 kH .
(1.53)
38
(1.54)
kf kH = ku0 kH .
CHAPTER 2
Consider a
(2.1)
(2.2)
(2.3)
(2.4)
f (u) p(u), u U.
(2.5)
and
39
40
(2.6)
(2.7)
v1 +
v2 )
= ( + )g(
+
+
( + )p(
(v1 z) +
(v2 + z))
+
+
p(v1 z) + p(v2 + z)
(2.8)
and therefore
1
1
[p(v1 z) + g(v1 )] [p(v2 + z) g(v2 )],
v1 , v2 V, , > 0. (2.9)
Thus, there exists a R such that
1
1
sup [ (p(v z) + g(v))] a inf [ (p(v + z) g(v))].
vV,>0
vV,>0
(2.10)
41
(2.11)
(2.12)
uU
(2.13)
uU
(2.14)
ku kU = kgkV .
(2.15)
and
(2.16)
(2.17)
42
we have
sup {|hu, uiU | | kukU 1} kukU .
(2.18)
u U
(2.19)
(2.20)
(2.21)
Theorem 2.2.9 (Hahn-Banach theorem, geometric form). Consider A, B U two convex disjoint non-empty sets, where A is
open. Then there exists a closed hyper-plane that separates A and
B.
We need the following Lemma.
Lemma 2.2.10. Consider C U a convex open set such that
C. Given u U, define
p(u) = inf{ > 0, 1 u C}.
(2.22)
43
(2.23)
(2.24)
and
Also
p(u + v) p(u) + p(v), u, v U.
Proof. Let r > 0 be such that B(, r) C, thus
kukU
, u U
(2.25)
r
which proves (2.23). Now suppose u C. Since C is open (1+)u
1
C for sufficiently small. Therefore p(u) 1+
< 1. Conversely, if
1
p(u) < 1 there exists 0 < < 1 such that u C and therefore,
since C is convex, u = (1 u) + (1 ) C.
u
v
Also, let u, v C and > 0. Thus p(u)+
C and p(v)+
C so
p(u)
(1t)v
p(u)+
tu
that p(u)+
+ p(v)+
C, t [0, 1]. Particularly for t = p(u)+p(v)+2
u+v
C, which means p(u + v) p(u) + p(v) +
we obtain p(u)+p(v)+2
2, > 0
(2.26)
We have that g(u) p(u), u V . From the Hahn-Banach theorem, there exist a linear functional f on U which extends g such
that
f (u) p(u) MkukU .
(2.27)
44
(2.28)
uA
(2.29)
(2.32)
(2.33)
45
(2.34)
(2.35)
Defining
Vw1 = {u U | |hu u1 , ui| < hu1 , u iU },
(2.36)
(2.37)
and
46
Proof.
(1) The result follows directly from the definition
of topology (U, U ).
(2) This follows from the inequality
|hun , uiU hu, uiU | ku kU kun ukU .
(2.38)
|hun, u iU | ku kU kun kU ,
(2.39)
(2.40)
(2.41)
Thus
kukU 1
(2.42)
47
(2.43)
(2.44)
Define
(2.45)
is onto.
The weak topology for U is denoted by (U , U ). By analogy,
we can define the topology (U , U), which is called the weak-star
topology. A standard neighborhood of u0 U for the weak-star
topology, which we denoted by Vw , is given by
Vw = {u U | |hui, u u0 iU | < , i {1, ..., m}}
(2.46)
48
K1 = { RU | |u | kukU , u U},
(2.49)
K2 = { RU | u+v = u + v , u = u , u, v U, R}.
(2.50)
Q
The set uU [kukU , kukU ] is compact as a Cartesian product of
compact intervals. Since K1 K and K1 is closed, we have that
K1 is compact (for the topology in question) . On the other hand,
K2 is closed, because defining the closed sets Au,v and B,u as
Au,v = { RU | u+v u v = 0},
(2.51)
49
and
B,u = { RU u u = 0}
(2.52)
(2.53)
we may write
(2.54)
f
i i
i i
i=1
i=1
, 1 , ..., n R.
(2.55)
hu
,
f
i
i
i U
i i < S
i=1
i=1
50
and therefore
n
n
X
X
hu
,
f
i
i
i U < S
i i
i=1
i=1
or
n
n
X
X
i i <
i fi
i=1
i=1
so that
n
X
ku kU + S
i fi
i=1
n
n
X
X
i fi
i i
i=1
since is arbitrary.
(2.57)
i=1
+ S (2.58)
(2.59)
U
(2.60)
(2.61)
f
,
(2.62)
f
,
u
i
h
=
i i
i i
U
i i
i=1
i=1
i=1
51
(2.63)
(2.64)
J(u ) Vu .
(2.65)
(2.66)
52
(2.67)
(2.69)
53
hf, iU > 1 .
2
Define
(2.70)
V = { U | |hf, iU | < .
2
Observe that V is neighborhood of in (U , U ). Since J(BU )
is dense in BU concerning the topology (U , U ), we have that
V J(BU ) 6= and thus there exists u BU such that J(u) V.
Suppose, to obtain contradiction, that
k J(u)kU > .
Therefore, defining
W = (J(u) + BU )c ,
54
(2.71)
ku vkU .
(2.72)
CHAPTER 3
Eu : L(U, Y ) Y
Eu,v : L(U, Y ) C
56
3.
57
sup
(u,v )U Y
sup
(u,v )U Y
{hu, Av iU | kv kY = 1, kukU = 1}
=
=
{hAu, v iY | kv kY = 1, kukU = 1}
v Y uU
sup {kA v k, kv kY = 1}
v Y
= kA k.
(3.1)
I = AA1 = A1 A,
so that
I = I = (AA1 ) = (A1 ) A = (A1 A) = A (A1 ) .
(4) Observe that
kA Ak kAkkA k = kAk2 ,
58
3.
and
kA Ak sup{(u, AAu)H | kukU = 1}
uU
(3.2)
uU
and hence
kA Ak = kAk2 .
Definition 3.2.4.
adjoint if
where
[R(A)] = {v Y | hAu, v iY = 0, u U}.
Proof. Let v N(A ). Choose v R(A). Thus there exists u
in U such that Au = v so that
hv, v iY = hAu, v iY = hu, Av iU = 0.
hAu, v iY = 0,
hu, A v iU , u U.
Therefore A v = , that is, v N(A ). Since v [R(A)] is
arbitrary, we get
[R(A)] N(A ).
This completes the proof.
The proof of the next result may be found in Luenberger [27],
page 156.
59
= hA v , un iY
hA v , uiU
= hv , AuiY .
Aun Au weakly in Y.
(3.3)
(3.4)
Suppose Aun does not converge in norm to Au. Thus there exists
> 0 and a subsequence {Aunk } such that
kAunk AukY , k N.
60
3.
Proof. Let A be a compact operator in H. Let {j } an orthonormal basis in H. For each n N define
n = sup{kAkH | [1 , ..., n ] and kkH = 1}.
aj j .
j=1
a2j < .
j=n0
n =
bj j ,
j=n+1
and
b2j = 1.
j=n+1
Therefore
X
(j , j )H aj bj
|(n , )H | =
j=n+1
X
aj bj
=
j=n+1
v
v
uX
u
u 2u X
t
aj t
b2j
j=n+1
j=n+1
(3.5)
3.4.
61
n , weakly in H.
Hence, as A is compact, we have
An in norm ,
so that = 0. Finally, we may define {An } by
!
n
n
X
X
An (u) = A
(u, j )H Aj ,
(u, j )H j =
j=1
j=1
62
3.
if
(Au, u)H 0, u H,
and in this case we say that A is positive. Finally, we denote
AB
if
A B .
Theorem 3.4.3. Let {An } be a sequence of self-adjoint commuting operators in L(H). Let B L(H) be a self adjoint operator
such that
Ai B = BAi , i N.
Suppose also that
A1 A2 A3 ... An ... B.
and
A B.
Proof. Consider the sequence {Cn } where
Cn = B An 0, n N.
Ci Cj = Cj Ci , i, j N.
An Am
Cm = B Am B An = Cn .
Therefore from Cm and Cm Cn we obtain
and also
Thus,
2
(Cm
u, u)H (Cn Cm u, u)H (Cn2 u, u)H ,
3.4.
63
as
=
=
=
m, n .
Therefore {Cn u} is a Cauchy sequence in norm, so that there exists
the limit
lim Cn u = lim (B An )u,
n
Now define A by
Au = lim An u.
n
kAn k K, n N.
kAn ukH KkukH ,
kAuk = lim {kAn ukH } KkukH , u H
n
64
3.
Hence A B.
The proof is complete.
B = A.
Theorem 3.4.5. Suppose A L(H) is positive. Then there
exists B such that
B 2 = A.
Furthermore B commutes with any C L(H) such that commutes
with A.
Proof. There is no loss of generality in considering
kAk 1,
so that if
A
kAk
C2 =
then
Let
A
kAk
B = kAk1/2 C.
B0 = ,
3.4.
65
Bi Bj = Bj Bi , i, j N.
Bn I, n N {0}.
B0 B1 ,
Bn1 Bn ,
1
1
2
Bn+1 Bn = Bn + (A Bn2 ) Bn1 (A Bn1
)
2
2
1
2
= Bn Bn1 (Bn2 Bn1
)
2
1
= Bn Bn1 (Bn + Bn1 )(Bn Bn1 )
2
1
= (I (Bn + Bn1 ))(Bn Bn1 )
2
1
((I Bn1 ) + (I Bn ))(Bn Bn1 ) .
=
2
The induction is complete, that is
= B0 B1 B2 ... Bn ... I.
66
3.
By the last theorem there exists a self adjoint operator B such that
Bn B in norm.
Fixing u H we have
1
Bn+1 u = Bn u + (A Bn2 )u,
2
so that taking the limit in norm as n , we get
= (A B 2 )u.
A = B 2.
B0
3.5.
67
is an analytic function with values in L(U) on each connected component of (A). For , (A), R (A) and R (A) commute
and
R (A) R (A) = ( )R (A)R (A).
Proof. Let 0 (A). We will show that 0 is an interior point
of (A).
Observe that symbolically we may write
1
1
=
A
0 + (0 A)
1
1
=
0 A 1 0
0 A
!
X 0 n
1
=
1+
.
(3.8)
0 A
0 A
n=1
Define,
(A) = R0 (A){I +
R
X
n=1
Observe that
( 0 )n (R0 )n }.
(3.9)
k(R0 )n k kR0 kn .
Thus, the series indicated in (3.9) will converge in norm if
| 0 | < kR0 k1 .
(3.10)
68
3.
Therefore
(A) = R (A), if | 0 | < kR0 k1 ,
R
we have
n=1
(3.12)
R (A) = 1
I+
n
X
A
n=1
In particular
kR (A)k 0, as || .
(3.13)
which is a contradiction.
3.5.
69
Proof.
6 P (A ).
(u, (A I)v))H = 0, u H,
((A I)u, v)H , u H.
(A I)u 6= , u H, u 6= ,
70
3.
so that
k(A ( + i))uk2 2 kuk2 .
1 , 2 R, 1 6= 2 and u1 , u2 6= .
(1 2 )(u1 , u2 )H =
=
=
=
=
1 (u1 , u2 )H 2 (u1 , u2 )H
(1 u1 , u2 )H (u1 , 2 u2 )H
(Au1 , u2 )H (u1 , Au2 )H
(u1 , Au2 )H (u1 , Au2 )H
0.
(3.14)
Since 1 2 6= 0 we get
(u1 , u2 )H = 0.
3.6. The Spectral Theorem for Bounded
Self-Adjoint Operators
Let H be a complex Hilbert space. Consider A : H H a
linear bounded operator, that is A L(H), and suppose also that
such an operator is self-adjoint. Define
m = inf {(Au, u)H | kukH = 1},
uH
and
M = sup{(Au, u)H | kukH = 1}.
uH
71
Remark 3.6.1. It is possible to prove that for a linear selfadjoint operator A : H H we have
kAk = sup{|(Au, u)H | | u H, kukH = 1}.
I A B I,
kA Bk < .
by
1 (p()) = p(A), p P.
Thus we have
(1) 1 (p1 + p2 ) = p1 (A) + p2 (A),
(2) 1 (p1 p2 ) = p1 (A)p2 (A),
(3) 1 (p) = p(A), R, p P
(4) if p() 0, on [m, M], then p(A) ,
We will prove (4):
Consider p P . Denote the real roots of p() less or equal to
m by 1 , 2 , ..., n and denote those that are greater or equal to
M by 1 , 2 , ..., l . Finally denote all the remaining roots, real or
complex by
v1 + i1 , ..., vk + ik .
Observe that if i = 0 then vi (m, M). The assumption that
p() 0 on [m, M] implies that any real root in (m, M) must be
of even multiplicity.
Since complex roots must occur in conjugate pairs, we have the
following representation for p() :
n
l
k
Y
Y
Y
p() = a ( i ) (i ) (( vi )2 + 2i ),
i=1
i=1
i=1
A i I ,
72
3.
and by analogy
i I A .
73
1
, [m, M].
n
By analogy, we may show that for each n N there exists kn N
such that if k > kn then
pk () qn ()
qk () pn ()
1
.
n
1
.
n
74
3.
we obtain
1
lim pk (A) lim qn (A) +
n
k
n
lim qn (A).
(3.15)
so that
lim qn (A) = lim pn (A) = f (A).
75
3 (f ) = f (A) = 3 (f ), R.
E() = 3 (h ) = h (A).
Observe that
so that
Therefore
h ()h () = h (), R,
[E()]2 = E(), R.
{E() | R}
is a family of orthogonal projections. Also observe that if we
have
h ()h () = h ()h () = h (),
so that
E()E() = E()E() = E(), .
If < m, then h () = 0, on [m, M], so that
E() = 0, if < m.
Similarly, if M them h () = 1, on [m, M], so that
E() = I, if M.
76
3.
Thus
gn () h+ 1 (), R,
n
and we obtain
so that
Therefore
lim gn ()
r n
= h ().
(3.17)
Thus
lim gn () = h ().
Observe that gn are not necessarily polynomials. To set a sequence of polynomials, observe that we may obtain a sequence {pn }
of polynomials such that
1
|gn () + 1/n pn ()| < n , [m, M], n N.
2
so that
Thus
and
Thus
lim E( + 1/n) = E().
From this we may easily obtain the strong continuity from the right.
77
For we have
(h () h ()) (h () h ())
(h () h ()).
(3.18)
To verify this observe that if < or > then all terms involved
in the above inequalities are zero. On the other hand if
then
h () h () = 1,
(3.19)
k{1,...,n}
Hence
k1(E(k ) E(k1 )) A(E(k ) E(k1 ))
k (E(k ) E(k1 )). (3.20)
Summing up on k and recalling that
n
X
k=1
E(k ) E(k1 ) = I,
we obtain
n
X
k1(E(k ) E(k1 )) A
k=1
n
X
k=1
78
3.
k=1
= I.
(3.22)
(3.23)
By analogy
I A
Since
A
n
X
k=1
n
X
k=1
0k (E(k ) E(k1))
is self-adjoint we obtain
kA
n
X
k=1
that is
A=
dE().
79
p(U) =
n
X
ck U k ,
k=n
k
p(U) =
ck U =
ck (U )k .
k=n
k=n
Also if
p(ei ) 0
there exists a polynomial q such that
so that
Therefore
(p(U)v, v)H = (q(U) q(U)v, v)H = (q(U)v, q(U)v)H 0, v H,
which means
p(U) 0.
Define the function h () by
1, if 2k < 2k + ,
h () =
0, if 2k + < 2(k + 1),
(3.24)
80
3.
h () h (),
we have
E() E().
j{1,...,n}
|ei
n
X
k=1
Thus,
i
0 |e
n
X
k=1
n
X
k=1
ik
(E(k )E(k1 )] [U
and hence
kU
n
X
k=1
n
X
k=1
2 I
81
82
3.
= A ()
is uniquely defined. However the domain of A may not be dense,
and in some situations we may have D(A ) = {}.
If D(A ) is dense we define
A = (A ) .
Theorem 3.8.7. Let A : D H a linear operator, being D
dense in H. Then
(1) A is closed,
(2) A is closable if and only if D(A ) is dense and in this case
A = A .
(3) If A is closable then (A) = A .
83
Proof.
by
V (, ) = (, ).
Let E H H be a subspace. Thus if (1 , 1 ) V (E )
then there exists (, ) E such that
V (, ) = (, ) = (1 , 1 ).
Hence
= 1 and = 1 ,
so that for (1 , 1 ) E and (w1 , w2 ) E we have
(1 , w2 )H + (1 , w1)H = 0,
and therefore
((1 , 1 ), (w2 , w1 ))HH = 0,
that is
((1 , 1 ), V (w1 , w2 ))HH = 0, (w1 , w2 ) E.
(1 , 1 ) (V (E)) ,
V (E ) (V (E)) .
It is easily verified that the implications from which the
last inclusion results are in fact equivalences, so that
V (E ) = (V (E)) .
Suppose (, ) H H. Thus (, ) V ((A)) if
and only if
((, ), (A, ))HH = 0, D,
(, A)H = (, )H , D,
(, ) (A ).
(A ) = V ((A)) .
Since (V ((A)) is closed, A is closed.
84
3.
= [V [V ((A)) ]]
= [V ((A )]
(3.26)
85
Proof.
so that
A = i.
Observe that
i(, )H =
=
=
=
=
(i, )H
(A, )H
(, A)H
(, i)H
i(, ),
(3.27)
(A iI) = (A + iI) = ,
86
3.
Given D we have
(A iI)n 0 ,
we conclude that
n 0 ,
R(A iI) = H.
R(A + iI) = H.
3 implies 1: Let D(A ). Since R(A iI) = H, there is
an D such that
(A iI) = (A iI),
87
F (0) = F (0+ )
we obtain
F (0+ ) = 0 = F (0 ),
that is, F () is continuous at = 0. We claim that F is continuous
at = 2. Observe that F (2) = F (2 + ) so that we need only to
show that
F (2 ) = F (2).
Suppose
F (2) F (2 ) 6= .
Therefore
so that
F ()v =
Observe that
U I =
and
U I =
0, if < 2,
v, if 2.
(3.29)
(U I)(U I) =
(ei 1)(ei 1)dF (),
0
88
3.
= 0
(3.30)
The last two equalities results from e2i 1 = 0 and dkF ()vk =
on [0, 2). since v 6= the last equation implies that 1 P (U),
which contradicts the existence of
(I U)1 .
Thus, F is continuous at = 2.
Now choose a sequence of real numbers {n } such that n
(0, 2), n = 0, 1, 2, 3, ... such that
n
= n.
cot
2
Now define Tn = F (n ) F (n1 ). Since U commutes with F (),
U commutes with Tn . since
A = i(I + U)(I U)1 ,
this implies that the range of Tn is invariant under U and A. Observe that
X
X
Tn =
(F (n ) F (n1 ))
n
lim F () lim F ()
= I = I.
Hence
X
n
R(Tn ) = H.
(3.31)
89
0, if < n1,
(F () F (n1 ))u, if n1 n ,
F ()Tn u =
(3.32)
so that
(I U)Tn u =
(1 ei )dF ()Tn u
n1
Therefore
Z
n1
n
(1 ei )dF ()u.
(1 ei )1 dF ()(I U)Tn u
Z
(1 e ) dF ()
(1 ei )1 (1 ei )dF ()u
dF ()u
i 1
n1
n
n1
n
n1
(1 ei )dF ()u
n1
Z 2
dF ()Tn u = Tn u.
(3.34)
Hence
(I U)|R(Tn )
1
n1
(1 ei )1 dF ().
we obtain
ATn u =
Therefore defining
(3.33)
n
n1
= cot
,
2
90
3.
and
E() = F (2cot1 ),
we get
i
i 1
i(1 + e )(1 e )
Hence,
ATn u =
Finally, from
u=
= .
= cot
2
dE()u.
n1
Tn u,
n=
we can obtain
Au = A(
Tn u)
n=
=
=
ATn u
n=
Z n
X
n=
dE()u.
(3.35)
n1
CHAPTER 4
c c
(3) Since
i=1 Ai = (i=1 Ai ) also from Definition 4.1.1, it is
clear that M is closed under countable intersections.
(4) Since A B = B c A we obtain: if A, B M then
A B M.
Theorem 4.1.5. Let F be any collection of subsets of U.
Then there exists a smallest -algebra M0 in U such that F M0 .
91
92
M f (i=1 Ei ) M i=1 Ei .
Thus is a -algebra.
(2) Define = {E [, ] | f 1 (E) M} from above
is a - algebra. Given R, let {n } be a real sequence
such that n as n , n < , n N . Since
(n , ] for each n and
C
[, ) =
n=1 [, n ] = n=1 (n , ] ,
(4.1)
93
1
Proof. Observe that g 1((, ]) =
n=1 fn ((, ]). From
last theorem g is measurable. By analogy h = inf k1 {supik fi } is
measurable.
(4.3)
Defining
n (t) =
Kn (t)n , if 0 t < n,
n, if t n,
(4.4)
94
4.3. Measures
Definition 4.3.1 (Measure). Let M be a -algebra on a
topological space U. A function : M [0, ] is said to be
a measure if () = 0 and is countably additive, that is, given
{Ai } U, a sequence of pairwise disjoint sets then
(
i=1 Ai )
(Ai ).
(4.5)
i=1
(4.6)
(4) If {An } M, A =
n=1 An , A1 A2 A3 .... and
(A1 ) is finite then,
lim (An ) = (A).
(4.7)
Proof.
(1) Take An+1 = An+2 = .... = in Definition 4.1.1
item 1,
(2) Observe that B = A (B A) and A (B A) = so
that by above (A (B A)) = (A) + (B A) (A),
(3) Let B1 = A1 and let Bn = An An1 then Bn M,
Bi Bj = if i 6= j, An = B1 ... Bn and A =
i=1 Bi .
Thus
(A) =
(
i=1 Bi )
X
n=1
(Bi ) = lim
n
X
(Bi )
i=1
95
Thus by 3 we have
(A1 ) (A) = (A1 A) = lim (Cn )
n
n
X
i Ai ,
(4.10)
i=1
where
Ai (u) =
1, if u Ai ,
0, otherwise,
(4.11)
R
s d as
(4.12)
i=1
where
A = {s simple and measurable | 0 s f }.
(4.14)
max{f,
R 0}, f = max{f, 0} and the integral of f on E, denoted
by E f d, as
Z
Z
Z
+
f d =
f d
f d.
E
96
Proof. Since
[0, ] such that
fn d
fn d , as n ,
(4.15)
f d.
(4.17)
(4.18)
En
En
(4.20)
so that
97
This implies
Z
f d.
(4.22)
n=1
(4.24)
gk fk
(4.25)
ik
Then
so that
Z
gk d
fk d, k N.
(4.26)
(4.27)
(4.28)
lim inf
k
gk d lim inf {
k
fk d}.
(4.29)
98
(4.30)
Theorem 4.4.7 (Lebesgues Dominated Convergence Theorem). Suppose {fn } is sequence of complex measurable functions
on U such that
lim fn (u) = f (u), u U.
(4.31)
g d <
Proof.
(1) This inequality holds since f is measurable and
|f | g.
(2) Since 2g |fn f | 0 we may apply the Fatous Lemma
and obtain:
Z
Z
2gd lim inf (2g |fn f |)d,
(4.32)
n
so that
lim sup
n
Hence
lim
|fn f | d 0.
|fn f | d = 0.
(4.33)
(4.34)
99
convergence may be considered a.e. in U, instead of in all U. Similar remarks are valid for the Fatous lemma and the Lebesgues
dominated convergence theorem.
4.5. The Fubini Theorem
We start this section with the definition of complete measure
space.
Definition 4.5.1. We say that a measure space (U, M, ) is
complete if M contains all subsets of sets of zero measure. That is
if A M, (A) = 0 and B A then B M.
Definition 4.5.2. We say that C U is a semi-algebra in U
if the two conditions below are valid.
(1) if A, B C then A B C,
(2) For each A C, Ac is a finite disjoint union of elements in
C.
4.5.1. Product Measures. Let (U, M1 , 1 ) and (V, M2 , 2 )
be two complete measure spaces. We recall that the cartesian product between U and V , denoted by U V is defined by
U V = {(u, v) | u U and v V }.
If A U and B V we call A B a rectangle. If A M1
and B M2 we say that A B is a measurable rectangle. The
collection R of measurable rectangles is a semi-algebra since
(A B) (C D) = (A C) (B D),
and
(A B)c = (Ac B) (A B c ) (Ac B c ).
We define : M1 M2 R+ by
(A B) = 1 (A)2 (B).
Lemma 4.5.3. Let {Ai Bi }iN be a countable disjoint collection of measurable rectangles whose the union is the rectangle
A B. Then
X
(A B) =
1 (Ai )2 (Bi ).
i=1
100
X
AB (u, v) =
Ai (u)Bi (v).
i=1
AB (u, v)d2(v) =
Ai (u)Bi (v)d2(v)
V
i=1
Ai (u)2 (Bi )
(4.35)
i=1
X
1 (Ai )2 (Bi ).
d1 (u) AB (u, v)d2(v) =
U
i=1
Observe that
Z
Z
Z
Z
d1(u) AB (u, v)d2(v) =
d1 (u) A (u)B (v)d2 (v)
U
= 1 (A)2 (B).
X
(A B) = 1 (A)2 (B) =
1 (Ai )2 (Bi ).
i=1
Eu = {v | (u, v) E},
Ev = {u | (u, v) E}.
Observe that
Eu (v) = E (u, v),
(E c )u = (Eu )c ,
and
for any collection {E }.
(E )u = (E )u ,
101
(4.36)
iN
(4.37)
102
i=1 Ei . Set
gi (u) = 2 ((Ei )u ).
Then each gi is a non-negative measurable function and
X
g=
gi .
i=1
Thus g is measurable, and by the corollary of the Lebesgue monotone convergence theorem, we have
Z
Z
X
g(u)d1(u) =
gi (u)d1(u)
U
i=1
X
i=1
(1 2 )(Ei )
= (1 2 )(E).
(4.38)
we have that
that is,
gi g, a.e. in E.
(4.39)
103
= (1 2 )(E).
(1 2 )(F ) = 0.
2 (Fu ) = 0
fora almost all u. From Eu Fu we obtain
2 (Eu ) = 0
g d1 (u) = (1 2 )(E).
104
105
106
X
j=1
|Qj | m (E) + .
j=1 Qj .
(2) P
Countable sub-additivity : If E
j=1 Ej , then m (E)
j=1 m (Ej ).
Proof. First assume that m (Ej ) < , j N, otherwise the result is obvious. Thus, given > 0 for each
j N there exists a sequence {Qk,j }kN such that
Ej
k=1 Qk,j
and
X
k=1
Hence
and therefore
m (E)
.
2j
|Qk,j | =
j,k=1
X
X
X
j=1
m (Ej ) +
j=1
k=1
|Qk,j |
2j
m (Ej ) + .
(4.42)
j=1
m (E)
X
j=1
m (Ej ).
107
(3) If
E Rn ,
and
then
m (E) .
Suppose given > 0. Choose a sequence {Qj } of closed
cubes such that
and
E
j=1
X
j=1
|Qj | m (E) + .
A =
j=1 Qj ,
hence A is open, A E and
X
j |
m (A)
|Q
j=1
X
j=1
X
j=1
therefore
|Qj | + j
2
|Qj | +
m (E) + 2.
m (E) + 2.
Being > 0 arbitrary, we have
m (E).
(4.43)
108
X
|Qj | m (E) + .
j=1
E1 jJ1 Qj e E2 jJ2 Qj .
m (E1 ) + m (E2 )
jJ1
X
j=1
|Qj | +
jJ2
|Qj | m (E) + .
|Qj |
(4.44)
m (E) =
|Qj |.
j=1
109
.
2j
1 , ..., Q
N are disjoint and
Thus, for each N N the cubes Q
each pair have a finite distance. Hence,
j| +
|Qj | |Q
(N
j=1 Qj )
N
X
j=1
Being
j |
|Q
N
X
|Qj | j .
2
j=1
N
j=1 Qj E
we obtain
m (E)
Therefore
X
j=1
N
X
j=1
j |
|Q
N
X
j=1
|Qj | .
|Qj | m (E) + .
X
j=1
|Qj | m (E).
110
(3) A countable union of measurable sets is measurable.
Proof. Suppose
E =
j=1 Ej
Ej Aj
.
2j
Define A =
j=1 Aj . thus E A and
m (Aj Ej )
(A E)
j=1 (Aj Ej ).
m (A E)
m (Aj Ej ) < .
j=1
111
A F =
j=1 Qj .
K = N
j=1 Qj
is compact, therefore
d(K, F ) > 0.
Being K F A, we have
m (A) m (F K) = m (F ) + m (K) = m (F ) +
Therefore
N
X
j=1
N
X
j=1
|Qj |.
|Qj | m (A) m (F ) .
Finally,
m (A F )
X
j=1
|Qj | < .
112
E c S Ak E, k N.
1
, k N.
k
m (E c S)
Thus
m (E c S) = 0.
This means that E c S is measurable, so that,
E c = S (E c S)
c c
j=1 Ej = (j=1 Ej ) .
Theorem 4.6.6. If {Ei } is sequence of measurable pairwise
disjoint sets and E =
j=1 Ei then
m(E) =
m(Ej ).
j=1
m (Ej Fj ) < j , j N.
2
For each N N the sets F1 , ..., FN are compact and disjoint, so
that
N
X
N
m(j=1 Fj ) =
m(Fj ).
j=1
113
As
N
j=1 Fj E
we have
m(E)
Hence
N
X
j=1
m(Fj )
m(E)
X
j=1
N
X
j=1
m(Ej ) .
m(Ej ) .
m(Ej ).
j=1
X
m(Ej ).
m(E) =
j=1
For the general case, select a sequence of cubes {Qk } such that
Rn =
k=1 Qk
E =
j=1 (k=1 Ej,k ) = j,k=1 Ej,k ,
where such an union is disjoint and each Ej,k is bounded. Through
the last result, we get
X
m(E) =
m(Ej,k )
=
=
j,k=1
X
X
j=1 k=1
m(Ej,k )
m(Ej ).
(4.45)
j=1
114
m(E F ) ,
E F = (E F ) (F E).
Proof.
(1) This item follows from the definition of measurable set.
(2) Being E c measurable, there exist an open B Rn such
that E c B and
m (B E c ) < .
m(E F ) < .
2
Let Bn be a closed ball with center at origin and radius
n. Define Kn = F Bn and observe that Kn is compact,
n N. Thus
E Kn E F.
Being m(E) < we have
m(E Kn ) < ,
for all n sufficiently big.
115
and
|Qj | m(E) + .
2
j=1
N0
|Qj | < .
2
+1
0
Defining F = N
j=1 Qj , we have
m
j=N0 +1 Qj + m j=1 Qj E
X
X
|Qj | +
|Qj | m(E)
j=N0 +1
j=1
+ = .
2 2
(4.46)
is measurable.
Observe that:
(1) If
f 1 ([, a))
is measurable for each a R then
1
f 1 ([, a]) =
([, a + 1/k))
k=1 f
116
(2) If
f 1 ([, a])
is measurable for each a R then
1
f 1 ([, a)) =
([, a 1/k])
k=1 f
(4.47)
is measurable for each a, b R such that a < b. Therefore f is measurable if and only if f 1 (O) is measurable
whenever O R is open.
(5) Thus f is measurable if f 1 (F ) is measurable whenever
F R is closed.
Proposition 4.7.2. If f is continuous in Rn , then f is measurable. If f is measurable and real and is continuous, then f
is measurable.
Proof. The first implication is obvious. For the second, being
continuous
1 ([, a))
is open, and therefore
( f )1 (([, a)) = f 1 (1 ([, a)))
is measurable, a R.
kN
117
and
lim sup fk (x), lim inf fk (x)
k
are measurable.
Proof. We will prove only that supnN fn (x) is measurable. The
remaining proofs are analogous. Let
f (x) = sup fn (x).
nN
Thus
1
f 1 ((a, +]) =
n=1 fn ((a, +]).
is measurable,
lim sup fk (x) = inf sup fj (x),
k1 jk
and
lim inf fk (x) = sup inf fj (x)
k
k1 jk
are measurable.
Proposition 4.7.4.
functions such that
Then f is measurable.
Proof. Just observe that
f (x) = lim fk (x) = lim sup fk (x).
k
The next result we do not prove it. For a proof see [38].
Proposition 4.7.5. If f and g are measurable functions, then
(1) f 2 is measurable.
(2) f + g and f g are measurable if both assume finite values.
118
and
B = {x E | f (x) = g(x)}.
for 0 l N M. Defining
FN,M
119
NM
X
l
E ,
=
M l,M
l=0
1
.
M
1
.
K
Hence
|f (x) K (x)| |f (x) FK (x)| + |FK (x) K (x)|.
Therefore
|k (x)| |k+1(x)|, x Rn , k N,
lim k (x) = f (x), x Rn .
Proof. Write
where
and
f (x) = max{f (x), 0}.
Thus f + and f are non-negative measurable functions so that from
the last theorem there exist increasing sequences of non-negative
simple functions such that
(1)
k (x) f + (x), x Rn ,
(2)
k (x) f (x), x Rn ,
120
as k . Defining
we obtain
(1)
(2)
as k and
(1)
(2)
as k .
j such that M R
Thus
f (x) =
M
X
Rj ,
j=1
Ek = {x Rn | f (x) 6= k (x)}.
and
Fk =
j=k+1 Ej
F =
k=1 Fk
we have m(F ) = 0 considering that
Finally, observe that
m(F ) 2k , k N.
k (x) f (x), x F c .
121
fk f, x E.
N
EkN Ek+1
,
N
and that
k=1 Ek = E. Thus we may obtain kN such that
1
m(E EkNN ) < N .
2
Observe that
1
|fj (x) f (x)| < , j kN , x EkNN .
N
Choose M N such that
2k .
2
k=M
Define
Thus
N
A =
N M EkN .
m(E A )
Suppose given > 0. Let N N be such that N > M and 1/N < .
Thus if x A then x EkNN so that
|fj (x) f (x)| < , j > kN .
Hence fk f uniformly in A . Observe that A is measurable and
thus there exists a closed set A A such that
m(A A ) < .
2
122
That is:
m(E A ) m(E A ) + m(A A ) < + = ,
2 2
and
fk f
Rn
123
CHAPTER 5
Distributions
5.1. Basic Definitions and Results
Definition 5.1.1 (Test Functions, the Space D()). Let
Rn be a nonempty open set. For each K compact, consider
the space DK , the set of all C () functions with support in K.
We define the space of test functions, denoted by D() as
D() = K DK , K compact.
(5.1)
(5.2)
(5.3)
(2)
denotes the collection of all convex balanced sets W
D() such that W DK K for every compact K .
(3) We define in D() as the collection of all unions of sets
of the form + W, for D() and W
.
Theorem 5.1.3. Concerning the last definition we have the
following.
(1) is a topology in D().
(2) Through , D() is made into a locally convex topological
vector space.
Proof.
(1) From item 3 of Definition 5.1.2, it is clear that
arbitrary unions of elements of are elements of . Let
125
126
5. DISTRIBUTIONS
(5.4)
i + Wi , for i = 1, 2.
(5.5)
(5.6)
i + i Wi (1 i )Wi + i Wi = Wi
(5.7)
(5.8)
+ W Vi ,
(5.9)
V1 V2 = V1 V2 ( + W ) .
(5.10)
(5.11)
Define W = (1 W1 ) (2 W2 ) so that
and therefore we may write
Thus V
and 1 6 2 + V. As 2 + V is open
is contained D() {1 } and 2 6= 1 is arbitrary,
it follows that D() {1 } is open, so that {1 } is
closed.
(b) The proof that addition is -continuous follows from
the convexity of any element of
. Thus given 1 , 2
D() and V
we have
1
1
1 + V + 2 + V = 1 + 2 + V.
(5.12)
2
2
127
(5.13)
For V
there exists > 0 such that 0 21 V. Let
us define c = 12 (|0 | + ). Thus if | 0 | < then
( 0 )0 21 V. Let D() such that
0 cV =
so that
1
V,
2(|0 | + )
(5.14)
1
(5.15)
(|0 | + )( 0 ) V.
2
This means
1
1
(5.16)
( 0 ) + ( 0 )0 V + V = V.
2
2
Therefore 0 0 V whenever | 0 | < and
0 cV.
For the next result the proof may be found in Rudin [35].
Proposition 5.1.4. A convex balanced set V D() is open
if and only if V .
Proposition 5.1.5. The topology K of DK D() coincides
with the topology that DK inherits from D().
Proof. From Proposition 5.1.4 we have
V implies DK V K .
(5.17)
{ DK | k kN < } V.
(5.18)
(5.19)
DK ( + U ) = + (DK U ) V.
(5.20)
Then U
and
128
5. DISTRIBUTIONS
The proof for the next two results may also be found in Rudin
[35].
Proposition 5.1.6. If A is a bounded set of D() then A
DK for some K , and there are MN < such that kkN
MN , A, N N.
Proposition 5.1.7. If {n } is a Cauchy sequence in D(),
then {n } DK for some K compact, and
lim ki j kN = 0, N N.
i,j
(5.21)
129
(5.22)
D T () = (1)|| T (D ), D().
(5.23)
(5.24)
(5.25)
130
5. DISTRIBUTIONS
D Tn D T in D ().
(5.26)
CHAPTER 6
R
We also denote kukp = [ |u|p dx]1/p and will show that k kp is a
norm.
Definition 6.1.2 (L Spaces). We say that u L () if
u is measurable and there exists M R+ , such that |u(x)|
M, a.e. in . We define
kuk = inf{M > 0 | |u(x)| M, a.e. in }.
We will show that k k is
q by the relations
+,
p
,
q=
p1
1,
(6.2)
1 1
+ = 1.
p q
The next result is fundamental in the proof of the Sobolev Imbedding Theorem.
131
132
(6.5)
1
1
|u(x)||v(x)| |u(x)|p + |v(x)|q , a.e. in .
p
q
(6.6)
Therefore
q/p
For = kuk1
p kvkq
(6.7)
(6.8)
133
Z
Z
p1
p1
ku + vkpp ku + vkp1
p kukp + ku + vkp kvkp ,
(6.11)
(6.12)
134
Defining
gn (x) =
n
X
k=1
|uk+1(x) uk (x)|,
(6.18)
we obtain
kgn kp 1, n N.
(6.19)
From the monotone convergence theorem and (6.19), gn (x) converges to a limit g(x) with g Lp (). On the the other hand, for
m n 2 we have
|um (x) un (x)| |um (x) um1 (x)| + ... + |un+1(x) un (x)|
(6.21)
(6.22)
135
u, v Lp (). (6.23)
p + p (2 + 2 )p/2 , , 0.
(6.24)
ab
a+b
Now taking = 2 and = 2 in (6.24), we obtain
(using the convexity of tp/2 ),
a+b p
ab p
a+b 2
a b 2 p/2
a2 b2
| +|
| (|
| +|
| ) = ( + )p/2
2
2
2
2
2
2
1 p 1 p
|a| + |b| . (6.25)
2
2
The inequality (6.23) follows immediately.
(2) Lp () is uniformly convex, and therefore reflexive for 2
p < .
Proof. Suppose given > 0 and suppose that
kukp 1, kvkp 1 and ku vkp > .
From part 1, we obtain
p
u + v
p
<1 ,
2
2
(6.26)
(6.27)
and therefore
u + v
2
< 1 ,
p
(6.28)
(6.30)
136
so that
kT uk(Lq ()) kukp .
(6.31)
hT u, f0iLq ()
= kukp
kf0 kq
(6.32)
(6.33)
Furthermore
kf k(Lp ) = ku0 kq .
(6.35)
(6.37)
q
(6.38)
137
138
(6.39)
Then f = 0 a.e. in .
Defining
K1 = {x | f1 (x) },
(6.41)
K2 = {x | f1 (x) }.
(6.42)
and
(6.44)
(6.45)
so that
Z
|f1 | dx =
|f1 | dx +
139
(6.46)
|f1 | dx + m().
(6.47)
Hence
kf k1 kf f1 k1 + kf1 k1 2 + m().
(6.48)
(6.49)
It is clear that =
n=1 n and from above f = 0 a.e. on n , n
N, so that f = 0 a.e. in .
Finally, to finish the proof of Theorem 6.1.11, suppose h
Lq () is such that
Z
hu dx = 0, u C0 ().
(6.50)
R
Observe that h L1loc () since K |h| dx khkq m(K)1/p < .
From last lemma h = 0 a.e. in , which by Corollary 2.2.13 completes the proof.
Theorem 6.1.13. Lp () is separable for any 1 p < .
Proof. The result follows from last theorem and from the fact
that C0 (K) is separable for each K compact (from the Weierstrass theorem, polynomials with rational coefficients are dense
C0 (K)). Observe that =
n=1 n , n defined as in (6.49), where
n is compact, n N.
6.2. The Sobolev Spaces
Now we define the Sobolev spaces, denoted by W m,p ().
Definition 6.2.1 (Sobolev Spaces). We say that u W m,p ()
if u Lp () and D u Lp (), for all such that 0 || m,
where the derivatives are understood in the distributional sense.
140
X
, if 1 p < ,
(6.51)
kukm,p =
kD ukpp
0||m
and
kukm, = max kD uk .
0||m
(6.52)
(6.53)
W m,p () is complete.
Remark 6.2.4. Observe that distributional and classical derivatives coincide when the latter exist and are continuous. We define
S W m,p () by
S = { C m () | kkm,p < }
(6.55)
141
Proof.
We can see W m,p () as a subspace of Lp (, RN ), where
P
N = 0||m 1. From the relevant properties for Lp (), we have
that Lp (; RN ) is a reflexive and uniformly convex for 1 < p <
and separable for 1 p < . Given u W m,p (), we may
associate the vector P u Lp (; RN ) defined by
P u = {D u}0||m .
(6.57)
N
X
i=1
Moreover,
hui , vi i, u U.
kf kU = kvkqN ,
(6.58)
(6.59)
142
N
X
i=1
hui , vi i, u U.
(6.61)
N
X
j=1
(6.62)
143
144
(6.69)
Moreover,
W j+m,p () W j,q (), for p q ,
(6.70)
and, in particular
W m,p () Lq (), for p q .
(6.71)
(6.72)
and, in particular
W m,p () Lq (), for p q < .
(c) Case C If mp < n and p = 1 , then
np
W j+m,p() W j,q (), for p q p =
,
n mp
(6.73)
(6.74)
and, in particular
np
.
n mp
(6.75)
145
(2) Part II
If mp > n > (m 1)p, then
W j+m,p C j,(), for 0 < m (n/p),
(6.76)
(6.77)
1 x
.
146
The function is said to be the fundamental mollifier. The functions Cc (Rn ) and satisfy
Z
dx = 1,
Rn
(x y)f (y) dy
B(0,)
(y)f (x y) dy.
(6.78)
Thus
Z
x + hei y
xy
f (x + hei ) f (x) 1
1
= n
h
h
f (y) dy
Z
1
x + hei y
xy
1
= n
V h
f (y) dy,
(6.79)
for an appropriate compact V . As
1
x + hei y
xy
1 x y
,
h
xi
147
as h 0, uniformly on V , we obtain
Z
(x y)
f (x)
=
f (y) dy.
xi
xi
D f (x) =
D (x y)f (y) dy, x .
B(x,)
Z
C
|f (y) f (x)| dy
(6.81)
|B(x, )| B(x,)
for an appropriate constant C > 0. From (6.80), we obtain
f f as 0.
(3) Assume f C(). Given V choose W such that
V W ,
and note that f is uniformly continuous on W Thus the
limit indicated in (6.80) holds uniformly on V , and therefore f f uniformly on V .
Theorem 6.4.5. Let u Lp (), where 1 p < . Then
u Lp (),
and
0+
148
Z
Rn
Z
Rn
(x y) dy
1/q Z
(x y)|u(y)|p dy
(x y)|u(y)| dy
Rn
1/p
1/p
(6.82)
Z
ZR R
p
(x y) dx dy
=
|u(y)|
Rn
Rn
kukpp .
(6.83)
149
(2)
|u(x)|p dx < p .
(6.86)
kk vk kp < .
6
Thus defining
S = {1 , ..., m },
given u K, we may select vk N such that
ku vk kp < ,
6
so that
kk ukp kk vk kp + kvk ukp
+ = .
6 6
3
Define
where
We have that
G = m
k=1 spt(k ),
spt(k ) = {x Rn | k (x) 6= 0}.
G ,
(6.87)
150
, x G,
|k (x + h) k (x)| <
3(|G| + 1)
Thus,
Z
p
.
|k (x + h) k (x)|p dx <
3
ku k kp < ,
3
we have that
kTh u Th k kp < ,
3
1}, we obtain
where Th u = u(x + h). Thus if |h| < = min{,
|u(x)|p dx < .
3
Rn G
151
( (y))
|Ty (x) (x)|p dx dy, (6.90)
Rn
B ()
(6.91)
hB ()
Observe that
as k . Also
k u, in Lp (Rn ),
Th k Th u, in Lp (Rn ),
as k . Thus
k hB ()
hB ()
Therefore as
k k k kp k u ukp ,
, u K.
3 2p1
152
Observe that
Z
|0 u(x)| =
0 (x y)u(y) dy
n
ZR
(11/p)
1/p
[0 (x y)]
[0 (x y)] u(y) dy
=
Rn
Z
1/q Z
1/p
p
0 (x y) dy
0 (x y)|u(y)| dy
Rn
Z
Rn
Rn
0 (x y)|u(y)|p dy
1/p
(6.92)
where K1 = K2 K3 ,
K2 =
sup 0 (y)
yRn
1/p
sup 0 (y)
yRn
1/p
kTh u ukp ,
{0 u | u K}
is relatively compact in C(G), and it is totally bounded so that
there exists a 0 -net N = {v1 , ..., vm } where
.
0 =
p1
3 2 |G|
Thus for some k {1, ..., m} we have
kvk 0 uk < 0 .
Hence,
Z
Z
p
|u(x) vk (x)| dx =
|u(x) | dx +
|u(x) vk (x)|p dx
G
Z
3
G
+|0 u(x) vk (x)|p ) dx
|G|
p1
+2
+
3
3 2p1 3 2p1 |G|
= .
(6.93)
Rn
153
Rn G
u = u in .
Then,
(1) u C ( ), > 0,
m,p
(2) u u in Wloc
(), as 0,
Proof. Assertion 1 has been already proved. Let us prove 2.
We will show that if || m, then
D u = D u, in .
For, let x . Thus,
Z
(x y)u(y) dy
D u (x) = D
Z
=
Dx (x y)u(y) dy
Z
||
Dy ( (x y))u(y) dy.
= (1)
(6.94)
154
Therefore,
Z
Z
||
(x y)Dyu(y) dy,
Dy ( (x y)) u(y) dy = (1)
and hence,
||+||
D u (x) = (1)
(x y)D u(y) dy
= ( D u)(x).
(6.95)
ku ukpm,p,V =
||m
kD u D ukp,V 0,
as 0.
Let {i}
i=0 be a smooth partition of unit subordinate to the open
sets {Vi }
i=0 . That is,
0P i 1, i Cc (Vi )
on ,
i=0 i = 1,
155
2i+1
i Vi . Define
and spt(ui ) Wi where Wi = i+4
v=
ui .
i=0
i u,
i=0
kui i ukm,p,V
i=0
i=0
1
2i+1
= .
(6.96)
The next result is also relevant. For a proof see Evans, [18] page
232.
Theorem 6.4.9. Let Rn be a bounded set such that
is C 1 . Suppose u W m,p () where 1 p < . Thus there exists
a sequence {un } C () such that
un u in W m,p (), as n .
156
B = B {x : xn 0}
B = B {x : xn 0} Rn ,
and define u by
First assume u C ()
u(x),
u =
3u(x1 , ..., xn1 , xn ) + 4u(x1 , ..., xn1 , xn /2),
if x B +
if x B .
u (x)
u(x1 , ..., xn1 , xn )
u(x1 , ..., xn1 , xn /2)
=3
2
,
xn
xn
xn
so that
We can also verify that
u |xn =0 = u+ |xn =0 .
u+
xi = uxi , i {1, ..., n 1}.
157
N
i=1 Wi = W for some N N. Take W0 such that
N
i=0 Wi , and let {i}N
i=0 be an associated partition of unity. Denoting by ui the extension of u from Wi+ to Wi and u0 = u defining
u =
N
X
i u i ,
i=0
we obtain u = u, in and
k
uk1,p,Rn C3 kuk1,p,.
Observe that the partition of unity may be chosen such that the
support of u be in V . Henceforth we denote
Eu = u.
Recall that we have considered u C (). Suppose now u
W 1,p () and choose {uk } C () converging to u in W 1,p ().
Thus, from above
kEuk Eul k1,p,Rn C3 kuk ul k1,p, ,
and thus {Euk } is a Cauchy sequence converging to some u. Defining u = Eu, we obtain Eu = u, a.e. in and
k
uk1,p,Rn C3 kuk1,p,,
where the constant does not depend on u. The proof is complete.
158
np
.
np
The next theorem we do not prove it. For a proof see Evans,
[18] page 263.
Theorem 6.4.12 (Gagliardo-Nirenberg-Sobolev inequality). Let
1 p < n. Thus there exists a constant K > 0 depending only p
and n such that
kukr,Rn KkDukp,Rn , u Cc1 (Rn ).
Theorem 6.4.13. Let Rn be a bounded open set. Suppose is C 1 , 1 p < n and u W 1,p ().
Then u Lr () and
kukr, Kkuk1,p,,
where the constant depends only on p, n and .
Proof. Since is C 1 , from Theorem 6.4.10, there exists an
extension Eu = u W 1,p (Rn ) such that u = u in the support of
u is compact and
k
uk1,p,Rn Ckuk1,p, ,
159
k
ukr,Rn
KkD
ukp,Rn
K1 k
uk1,p,Rn
K2 kuk1,p, .
(6.97)
(6.98)
where
r1 = np/(n (m 1)p) = np/(n np + p),
(6.99)
(6.100)
160
Z
1/t Z
1/t
(qs)t
|u(x)| dx
|u(x)|
dx
st
p/t
q /t
kukp,kukq00 ,
p/t
q /t
0
kukp,(K3 )q0 /t kukm,p,
p/t
q /t
0
(K3 )q0 /t kukm,p,kukm,p,
since
(6.101)
p/t + q0 /t = q.
This completes the proof.
Corollary 6.4.15.
q < .
161
and hence
Z
Z
|(x)| dy
Z 1
d((x + t(y x))
dt dy,
|(y)| dy +
dt
Cx 0
Cx
Cx
1/p
Therefore
|(x)| kkp,||
1/p
d((x + t(y x))
dy dt.
dt
Cx
Z 1Z
0
|(z)|tn dz dt,
1/p
p
|(x)| kkp, || +
|(z)| dy
tn (tn |Cx |)1/p dt,
0
and thus
|(x)| kkp,||
1/p
+ |Cx |
1/p
kkp,
tn/p dt =
tn(11/p ) dt.
1
.
1 n/p
From this, the last inequality and from the fact that |Cx | ||, we
have that there exists K > 0 such that
|(x)| Kkk1,p, , x , C ().
(6.102)
162
(6.103)
(6.104)
163
If p q < , we have
kukqq,
|u(x)|p |u(x)|qp dx
|u(x)|p (Kkukm,p,)qp dx
qp
K qp kukpp,kukm,p,
qp
K qp kukpm,p,kukm,p,
= K qp kukqm,p,.
(6.105)
u(x) u(z) =
that is,
u(x) =
u(z) dz
164
n 1n
n 1n
R
1
|u(z)| dz dt
tn kukp,S |V |1/p dt
0
Z 1
1n n/p
tn tn/p dt
n kukp,S
0
Z 1
tn/p dt
n 1n/p kukp,S
0
1n/p
kuk1,p,S K,
(6.106)
where
K=
tn/p dt =
n/(1 n/p).
|u(x) u(y)|
| |x y| 1
|x y|
so that
|u(x) u(y)|
sup
| x 6= y (K + 2K1 )kuk1,p,S , u W 1,p (S).
|x y|
x,yS
The proof is complete.
165
k
uk1,p,Rn Kkuk1,p,,
where the constant K does not depend on u. From the proof of this
same theorem, we may assume that spt(
u) is on a n-dimensional
sphere S with sufficiently big radius and such sphere does not
depend on u. Thus, in fact, we have
k
uk1,p,S Kkuk1,p,.
Since C (S) is dense in W 1,p (S), there exists a sequence {k }
C (S) such that
uk u, in W 1,p (S).
(6.108)
166
(6.109)
C m, () C m (),
(6.110)
C m, () C m, ().
(6.111)
|x y|
x
x,y
Therefore, we may conclude that
m,
kkC m, ()
().
3kkC m, () , C
167
(6.116)
(6.117)
168
(6.118)
(6.119)
W j+m,p () C j, (),
if mp > n (m 1)p and 0 < < m n/p. (6.120)
(6.121)
169
W m,p () W mj ,p () C 0, () C(),
(6.122)
(6.123)
W m,p () Lq1 .
(6.124)
(6.125)
is compact.
Proof. Define = q1 (q0 q)/(q(q0 q1 )) and = q0 (q
q1 )/(q(q0 q1 )). We have that > 0 and 0. From Holders
inequality and (6.123) there exists K R+ such that,
kuk0,q, kuk0,q1, kuk0,q0, Kkuk0,q1, kukm,p,,
(6.127)
(6.128)
170
Also, suppose given > 0, and define, for u W m,p (), u(x) =
u(x) if x , u(x) = 0, if x Rn . Fix u A. From Holders
inequality and considering that W m,p () Lq0 (), we have
Z
1/q0 Z
11/q0
Z
q0
|u(x)|dx
|u(x)| dx
1dx
k
k
11/q0
K1 kukm,p, [vol( k )]
(6.129)
(6.131)
2k
K2 |h|kukm,p,.
(6.132)
From Theorem 6.4.6, A is relatively compact in L1 () and therefore the imbedding indicated (6.127) is compact for q = 1. This
completes the proof.
Part 2
CHAPTER 7
D u = {D ui } =
2 ui
xk xl
174
F (u, ) = lim
7.2. EVALUATING THE GATEAUX
VARIATIONS
175
Observe that
f (x, u + , u + ) f (x, u, u)
0
f (x, u, u)
f (x, u, u)
=
+
.
s
Define
f (x, u + , u + ) f (x, u, u)
,
G(x, u, , ) =
and
u, ) = f (x, u, u) + f (x, u, u) .
G(x,
s
Thus we have
u, ).
lim G(x, u, , ) = G(x,
lim
such that
For, for each n N, define xn
n , u(xn ), (xn ))| = cn ,
|G(xn , u(xn ), (xn ), 1/n) G(x
176
where
u(x), (x))|}.
cn = max{|G(x, u(x), (x), 1/n) G(x,
j+
Thus
lim cnj = c0
j+
Z
u, )| dx cn || < . (7.1)
that is,
F (u, ) =
Z
f (x, u, u)
f (x, u, u)
+
s
dx.
Then u = 0, a.e. in .
7.3. THE GATEAUX
VARIATION IN W 1,2 ()
177
Cc (, RN ).
U = {u W 1,2 (, RN ) | u = u0 in }.
F (u) =
f (x, u, u) dx,
s1 , s2 RN , 1 , 2 RN n .
178
F (u, ) = lim
Observe that
f (x, u + , u + ) f (x, u, u)
0
f (x, u, u)
f (x, u, u)
+
, a.e in .
=
s
Define
f (x, u + , u + ) f (x, u, u)
G(x, u, , ) =
,
and
u, ) = f (x, u, u) + f (x, u, u) .
G(x,
s
Thus we have
u, ), a.e in .
lim G(x, u, , ) = G(x,
lim
Observe that
Z
Z
|G(x, u, , 1/n)| dx
K(|| + ||) dx
179
that is,
F (u, ) =
Z
f (x, u, u)
f (x, u, u)
+
s
dx.
f (x + (y x)) f (x)
f (y) f (x), (0, 1].
Letting 0+ we obtain
f (y) f (x) hf (x), y xiRn .
(7.2)
180
(1 )f (x )}
=f (x) + (1 )f (y).
(7.3)
(yi xi )(yj xj ),
f (y) = f (x) + hf (x), y xiRn +
x
x
i
j
i=1 j=1
181
182
2 F (u, ) 0, Cc (, RN ),
We denote 2 F (u, ) by
Z
2
F (u, ) = a(x)D(x) D(x) dx
Z
Z
+
b(x)(x) D(x) dx + c(x)(x) (x) dx,
(7.4)
where
a(x) = f (x, u(x), Du(x)),
b(x) = fs (x, u(x), Du(x)),
and
c(x) = fss (x, u(x), Du(x)).
Now consider v Cc (B1 (0), RN ). Thus given
x0 for sufxx0
is an admissible dificiently small we have that (x) = v
rection. Now we introduce the new coordinates y = (y 1 , ..., y n ) by
setting y = 1 (x x0 ) and multiply (7.4) by n to obtain
Z
{a(x0 + y)Dv(y) Dv(y) + 2b(x0 + y)v(y) Dv(y)
B1 (0)
where a = {a
ij }, b = {bjk } and c = {cjk }. Since a, b and c are
continuous, we have
fjk
D v j D v k dx 0, v Cc (B1 (0); RN ),
183
(7.5)
B1 (0)
where
fjk
= a
i k (x0 , u(x0 ), u(x0 )).
jk (x0 ) = f
(7.6)
By analogy for
v j = j sin(( y)t)(y)
we obtain
j k
0 fjk
Z
B1 (0)
(7.7)
0 fjk
2 dy,
B1 (0)
184
where
185
and
where
h0
and,
E(x, s, , w) = f (x, s, w) f (x, s, ) f (x, s, )(w ).
Remark 7.6.4. The function E is known as the Weierstrass
Excess Function.
Proof. Fix x0 (a, b) and w RN . Choose 0 < < 1 and
h > 0 such that u + v U and
kvk < 0
where v(x) is given by
(x x0 )w,
(h x + x0 )w,
v(x) =
0,
where
if 0 x x0 h,
if h x x0 h,
otherwise,
.
1
From
F (u + v) F (u) 0
we obtain
Z x0 +h
f (x, u(x) + v(x), u(x) + v (x)) dx
x0
x0 +h
x0
Define
x =
x x0
,
h
so that
d
x=
dx
.
h
186
Z 1
0.
(7.10)
Letting h 0 we obtain
f (x0 , u( x0 ), u(x0 )) w 0.
187
where
and
(x) =
u(t) dt,
a
x
a
(u(t) c) dt.
V.
Therefore
0
=
(u(x) c)2 dx
a
b
(u(x) c) (x) dx
Thus
(u(x) c)2 dx = 0,
(7.12)
188
V, where
then
and
That is,
7.8.
189
so that
v (x) = u1 (x) = u(x), x [a, b].
The proof is complete.
if
Cc ([a, b]; RN ).
Proposition 7.8.2. For any Lipschitz extremal of
Z b
F (u) =
f (x, u(x), u(x)) dx
a
190
f (x0 , u0 , 0 ) 0 f (x0 , u0 , 0 )
= f (x0 , u0 , 0+ ) 0+ f (x0 , u0 , 0+ ).
Remark 7.8.4. The conditions above are known as the Weierstrass-Erdmann corner conditions.
Proof. Condition (1) is just a consequence of equation (7.14).
For (2), define
(x) = x + (x),
where Cc (I). Observe that (a) = a and (b) = b, > 0.
Also 0 (x) = x. Choose 0 > 0 sufficiently small such that for each
satisfying || < 0 , we have (x) > 0 and
u (x) = (u 1 )(x) Cr .
Define
() = F (x, u , u (x)).
Thus has a local minimum at 0, so that (0) = 0, that is
d(F (x, u
, u (x)))
|=0 = 0.
d
Observe that
d 1 (x)
d
u
= u (1 (x))
,
dx
dx
and
191
d1 (x)
1
=
.
dx
1 + (1 (x))
Thus,
F (
u ) =
Defining
b
a
1
1
f x, u( (x)), u ( (x))
1
1 + (1 (x))
dx.
x = 1 (x),
we obtain
d
x=
1
dx,
1 + (
x)
that is
dx = (1 + (
x)) d
x.
Dropping the bar for the new variable, we may write
Z b
u (x)
F (
u ) =
f x + (x), u(x),
(1 + (x)) dx.
1 + (x)
a
From
dF (
u )
|=0 ,
d
we obtain
Z b
(fx (x, u(x), u (x)) + (x)(f (x, u(x), u (x))
a
RN , RN n ),
f (x, s, ) C 1 (,
and Rn is an open bounded connected set.
192
Z
n fxi i (x, u(x), u(x))i (x) d
+
Z 1
n fxi i (x, u(x), u(x))i(x) d
=
1
= 0, V.
(7.16)
193
and in particular
G(x) > /2, in Br (x0 ) 1 .
Choose 0 < r1 < r such that Br1 (x0 ) 0 = . This is possible since
0 is closed and x0 1 .
Choose i Cc (Br1 (x0 )) such that i 0 in Br1 (x0 ) and i >
0 in Br1 /2 (x0 ). Therefore
Z
Z
i
i dx > 0,
G(x) (x) dx >
2
1
1
and this contradicts (7.16). Thus
and by analogy
so that
The proof is complete.
G(x) 0, x 1 ,
G(x) 0, x 1 ,
G(x) = 0, x 1 .
CHAPTER 8
(8.1)
n
X
i=1
(8.4)
(8.5)
n+
whenever
195
196
(8.6)
un u, weakly.
(8.7)
n+
whenever
(8.8)
197
by CF : U R by
CF (u) =
sup {hu, ui + },
(8.9)
(u ,)A
where
A = {(u , ) U R | hv, uiU + F (v), v U}
(8.10)
we
Definition 8.1.13 (Polar Functionals). Given F : U R,
(8.11)
uU
(8.12)
u U
(8.13)
Thus,
CF (u) = sup {hu, uiU F (u )} = F (u).
(8.14)
u U
we have F = F .
Corollary 8.1.16. Given F : U R,
198
F F .
(8.15)
(8.16)
(8.17)
uU
v U}. (8.20)
Definition 8.1.19 (Adjoint Operator). Let U and Y be Banach spaces and : U Y a continuous linear operator. The
Adjoint Operator related to , denoted by : Y U is defined
through the equation:
hu, v iU = hu, v iY , u U, v Y .
(8.21)
199
(8.23)
v
V.
(8.24)
(8.25)
|F (v)| a, v W,
(8.26)
Thus
Therefore
be a convex function
Proposition 8.1.21. Let F : U R
finite and continuous at u U. Then F (u) 6= .
Proof. Since F is convex, Epi(F ) is convex, as F is continuous
at u, we have that Epi(F ) is non-empty. Observe that (u, F (u))
belongs to the boundary of Epi(F ), so that denoting A = Epi(F ),
we may separate (u, F (u)) from
A by a closed hyper-plane H, which
may be written as
H = {(v, a) U R | hv, uiU + a = },
(8.27)
(8.28)
(8.29)
hv u, uiU 0, v U,
(8.30)
(8.31)
200
and
(8.32)
(8.33)
u / F (u).
(8.34)
or
so that
Definition 8.1.22 (Caratheodory Mapping ). Let S Rn be
an open set, we say that that g : S Rl R is a Caratheodory
mapping if:
Rl , x 7 g(x, ) is a measurable function,
and
for almost all x S, 7 g(x, ) is a continuous function.
The proof of next results may be found in Ekeland and Temam
[17].
Proposition 8.1.23. Let E and F be two Banach spaces, S
a Borel subset of Rn , and g : S E F a Caratheodory mapping. For each measurable function u : S E, let G1 (u) be the
measurable function x 7 g(x, u(x)) F .
If G1 maps Lp (S, E) into Lr (S, F ) for 1 p, r < , then G1 is
continuous in the norm topology.
R
For the functional G : U R, defined by G(u) = S g(x, u(x))dS
, where U = U = [L2 (S)]l (this is a especial case of the more general hypothesis presented in [17]) we have the following result.
Proposition 8.1.24. Considering the last proposition we can
as :
express G : U R
Z
G (u ) =
g (x, u (x))dS,
(8.35)
S
201
For non-convex functionals it may be sometimes difficult to express analytically conditions for a global extremum. This fact motivates the definition of Legendre Transform, which is established
through a local extremum.
Definition 8.1.25 (Legendres Transform and Associated Functional). Consider a differentiable function g : Rn R. Its Legendre Transform, denoted by gL : RLn R is expressed as:
gL (y ) = x0i yi g(x0 ),
(8.36)
g(x0 )
,
(8.37)
xi
and RLn = {y Rn such that equation (8.37) has a unique solution}.
Furthermore,
considering the functional G : Y R defined as
R
G(v) = S g(v)dS, we define the Associated Legendre Transform
Functional, denoted by GL : YL R as:
Z
GL (v ) =
gL (v )dS,
(8.38)
yi =
where
YL
= {v Y | v (x)
S
n
RL ,
a.e. in S}.
g (y )
g(x0 )
x0i = L
xi
yi
(8.40)
g(x0 )
, i {1, ..., n},
xi
(8.41)
thus:
gL (y ) = yi x0i g(x0 )
(8.42)
202
yi
yi
xj yi
(8.43)
gL (y )
g(x0 ) x0j
= (yj
) + x0i
yi
xj
yi
(8.44)
or
(8.45)
This completes the first half of the proof. Conversely, suppose now
that:
x0i =
gL (y )
, i {1, ..., n}.
yi
(8.46)
g(
x0 )
i {1, ..., n},
xi
(8.47)
and,
gL (y ) = yi x0i g(
x0 )
(8.48)
yi
yi
xj yi
(8.49)
g(
x0 ) x0j
gL (y )
= (yj
) + x0i
yi
xj
yi
(8.50)
i {1, ..., n}, which from (8.46) and (8.47), implies that:
x0i =
gL (y )
= x0i , i {1, ..., n},
yi
(8.51)
g(
x0 )
g(x0 )
=
i {1, ..., n}.
xi
xi
(8.52)
203
(8.53)
0 ))
where v0 = G((u
is supposed to be such that v0 (x) RLn , a.e.
v
in S and in this case:
J(u0 ) = GL (v0 ).
(8.54)
which, as v0 =
and
G(u0 )
v
G(u0 )
f =
v
(8.55)
implies that:
v0 f = ,
g(u0 )
.
xi
Thus from the last proposition we can write:
g (v )
i (u0 ) = L 0 , for i {1, .., n}
yi
which means:
GL (v0 )
u0 =
.
v
Therefore from (8.56) and (8.59) we have:
v0i =
(8.56)
(8.57)
(8.58)
(8.59)
(8.60)
(8.61)
v0 f =
(8.62)
204
and
GL (v0 )
.
(8.63)
v
Clearly, from (8.63), the last proposition and (8.62) we can write:
u0 =
v0 =
G((u0 ))
v
(8.64)
and
G(u0 )
f = ,
v
(8.65)
which implies:
J(u0 ) = .
(8.66)
(8.67)
Finally, we have:
From this, (8.62) and (8.64) we have
J(u0 ) = G(u0 ) hu0 , v0 iU = G(u0 ) hu0 , v0 iY
= GL (v0 ). (8.68)
(8.69)
(u, 0) = F (u),
(8.70)
P : maximize (0, p ) on Y .
sup
(u,p)U Y
(8.71)
or
inf {(u, 0)} sup { (0, p)}.
uU
p Y
(8.73)
205
(8.74)
uU
then h is convex.
Proof. We have to show that given p, q Y and (0, 1), we
have
h(p + (1 )q) h(p) + (1 )h(q).
(8.75)
(8.76)
(8.77)
Thus
h(p + (1 )q) inf {(w, p + (1 )q)}
wU
a + (1 )b. (8.78)
(8.79)
(8.80)
p Y
pY
uU
(8.81)
so that
h (p ) =
sup
(u,p)U Y
(8.82)
206
(8.83)
which is equivalent to
h (p0 ) h (p ), p Y ,
(8.84)
which is equivalent to
h(p0 ) = sup {h0, piY h (p )} h (p0 ) = h (0)
p Y
p0 h (0). (8.85)
convex. Assume
Theorem 8.2.4. Consider : U Y R
inf uU {(u, 0)} R and there exists u0 U such that p 7 (u0 , p)
is finite and continuous at 0 Y , then
inf {(u, 0)} = sup { (0, p )},
uU
(8.86)
p Y
(8.87)
(8.88)
Hence, from Lemma 8.1.20, h is continuous at 0. Thus by Proposition 8.1.21, h is sub-differentiable at 0, which means h(0) = h (0).
Therefore by Proposition 8.2.3, the dual problem has solutions and
h(0) = inf {(u, 0)} = sup { (0, p )} = h (0).
uU
(8.89)
p Y
207
(8.90)
uU
p Y
= G (p0 ) F ( p0 ). (8.91)
Proof. The existence of solutions for the primal problem follows
from the direct method of calculus of variations. That is, considering a minimizing sequence, from above (coercivity hypothesis),
such a sequence is bounded and has a weakly convergent subsequence to some u0 U. Finally, from the lower semi-continuity of
primal formulation, we may conclude that u0 is a minimizer. The
other conclusions follow from Theorem 8.2.4 just observing that
(0, p ) =
uU,pY
uU,qY
so that
(0, p ) = G (p ) + sup{hu, p iU F (u)}
uU
= G (p ) + F ( p ). (8.93)
Thus,
inf {(u, 0)} = sup { (0, p )}
uU
(8.94)
p Y
and solutions u0 and p0 for the primal and dual problems, respectively, imply that
{G (p ) F ( p )}
J(u0 ) = min{J(u)} = max
uU
p Y
= G (p0 ) F ( p0 ). (8.95)
208
(8.96)
(8.97)
(8.98)
1kr
r
X
k uk < , x ,
u(x)
(8.99)
k=1
u(x) =
r
X
k=1
k uk (x), x .
(8.100)
209
satisfy
c(x) sup{|f (x, )| | || max {kuk k }}.
1kr
(8.101)
f
(x,
u
)dx
< ,
k
k
k=1
|u(x)
r
X
k=1
u(x) =
k uk (x)| < , x
r
X
k=1
k uk (x), x .
(8.103)
(8.104)
(8.105)
N1 (1 + max1kr {kfk k })
and if B is a measurable set
Z
m(B) <
c(x)dx /N1.
(8.107)
(8.108)
(8.109)
(8.110)
210
r
X
k uk (x) , x Oi
u(x)
(8.111)
(8.112)
k=1
u(x) =
r
X
k=1
k uk (x), x Oi .
(8.113)
P
1
We can define u = rk=1 k uk on N
i=1 Oi . Therefore u is continuous and locally Lipschitz. Now observe that
Z
Oi
f (x, u(x))dx
r Z
X
k=1
ik
f (x, uk (x))dx
Oi rk=1 ik
ik
fk (x)dx k
(8.116)
211
i
1
We recall that k = N
i=1 k so that
Z
Z
r
X
k
f (x, uk (x))dx
f (x, u(x))dx
k=1
Z
r Z
X
f (x, uk (x))dx
f (x, u(x))dx
k=1 k
r Z
X
|f (x, uk (x) fk (x)|dx
+
+
+
k=1 k
r Z
X
k=1
r
X
k=1
fk (x)dx k
fk (x)dx
(8.117)
f
(x,
u
)dx
< 4. (8.118)
k
k
k=1
un u, in Lp ()
(8.119)
un u, in Lp (; RN ).
(8.120)
(8.122)
212
kv uk < ,
and
Z
Z
< .
f (x, v(x))dx
f
(x,
u(x))dx
(8.123)
(8.124)
Proof. Suppose given > 0, u W 1,p () piecewise affine continuous, and a neighborhood V of zero, which may be expressed
as
Z
p
N
V = {w L (, R ) | hm wdx < ,
k k = u, x i ,
(8.126)
(8.127)
k=1
and
N
+1
X
k=1
(8.129)
213
1
, y x Ki , B.
m()
(8.132)
rl
j
k=1
and
Finally we set
|vi | < , x j ,
(8.135)
(8.136)
vi (x) = u(x), x j .
(8.137)
vi = u on i lj=1 j .
(8.138)
v(x) = vi (x), if x i ,
(8.139)
v(x) = u(x), if x 0 .
(8.140)
214
and
Z
i Ki
1
.
r
(8.142)
1 1 m(j Ki )
+
(8.143)
rl
m()
so that
Z
Z
|
f (x, v(x))dx
Ki
Ki
f (x, u(x))dx|
1 1 m(Ki )
+
. (8.144)
r
m()
(8.146)
and thus
Z
Z
m )(v(x) u(x))dx
m (v(x) u(x))dx = div(h
h
<
.
2
(8.147)
215
Thus
Z
hm (v u)dx < , m {1, ..., M}.
(8.149)
(8.150)
and
Z
Z
< .
f (x, v(x))dx
f
(x,
u(x))dx
(8.151)
Proof. We can approximate u by a function w which is piecewise affine and null on the boundary. Thus, there exists > 0 such
that we can obtain w W01,p () piecewise affine such that
ku wk1,p <
(8.152)
1
w u V,
2
(8.153)
so that
and
Z
Z
< .
f (x, w(x))dx
f
(x,
u(x))dx
2
(8.154)
(8.155)
and
Z
Z
< .
f (x, w(x))dx
f
(x,
v(x))dx
2
f (x, u(x))dx
f (x, v(x))dx < .
(8.156)
(8.157)
216
Finally, from (8.153), (8.155) and from the fact the weak neighborhoods are convex, we have
v u V.
(8.158)
To finish this chapter, we present two theorems which summarize the last results.
Theorem 8.3.7. Let f be a Carath
eodory function from
RN into R which satisfies
a2 (x) + c2 ||p f (x, ) a1 (x) + c1 ||p
(8.159)
f (x, u)dx
(8.160)
f (x, u)dx = min
inf
uU
uU
Proof. The existence of solutions for the convex relaxed formulation is a consequence of the reflexivity of U and coercivity
hypothesis, which allows an application of the direct method of
calculus of variations. That is, considering a minimizing sequence,
from above (coercivity hypothesis), such a sequence is bounded and
has a weakly convergent subsequence to some u W 1,p (). Finally,
from the lower semi-continuity of relaxed formulation, we may conclude that u is a minimizer. The relation (8.160) follows from last
theorem.
Theorem 8.3.8. Let f be a Carath
eodory function from
RN into R which satisfies
a2 (x) + c2 ||p f (x, ) a1 (x) + c1 ||p
(8.161)
f (x, u)dx
(8.162)
f (x, u)dx = min
inf
uU
uU
217
(8.163)
(8.164)
(8.165)
(8.166)
(8.167)
(8.168)
218
so that
ku u kU F (u) F (u ).
(8.169)
so that
0 F (u) F (u) ,
(8.170)
ku ukU .
(8.171)
and therefore
Remark 8.4.4. Observe that
kvkU hF (u ), viU .
Thus
kF (u)kU /.
Now, for =
(8.172)
(8.173)
(8.174)
(8.175)
F (v) F (u),
ku vkU
and
kF (v)kU
(8.176)
(8.177)
.
(8.178)
219
(8.179)
U = W01,2 (S; RN ),
(8.180)
and
kJ(u )kU <
.
(8.181)
(8.182)
is below bounded. (Here : U Y and 1 : U Y1 are continuous linear operators whose adjoint operators are denoted by
: Y U and 1 : Y U , respectively). Also we suppose
the existence of L : Y1 Y continuous and linear operator such
that L is onto and
(u) = L(1 (u)), u U.
uU
v A z Y1
where
A = {v Y | v = f }.
In addition we assume (F 1 ) : U R is convex and Gateaux
differentiable, and suppose there exists a solution (v0 , z0 ) of the
dual formulation, so that,
F (L z0 )
L
G (v0 + z0 ),
v
v0 f = 0.
220
{ inf {F (L z ) G (v + z )}}
inf {J(u)} = max
uU
v A
z Y1
= F (L z0 ) G (v0 + z0 ).
Proof. Observe that
G (v + z ) hu, v iY + hu, z iY G(u), u U,
that is,
F (L z ) + G (v + z ) hu, f iU F (L z ) + h1 u, L z iY1
G(u), u U, v A
so that
sup {F (L z ) + G (v + z )}
z Y1
v A , u U and therefore
G(u) F (1 u) hu, f iU inf {F (L z ) G (v + z )},
z Y1
v A , u U
which means
uU
v A z Y1
where
A = {v Y | v = f }.
Now suppose
L
F (L z0 )
v
G (v0 + z0 ),
221
F (L z0 )
= 1 u 0 .
v
Observe that
implies that
u0 = L(1 u0 ) G(v0 + z0 )
un u0 weakly in U
and
G(un ) G (u0) as n .
Thus, given > 0, there exists n0 N such that if n n0 then
G (v0 + z0 ) hun , v0 iY hun , z0 iY + G(un ) < /2.
hun , z0 iY F (1 un ) hu0, z0 iY F (1 u0 ) + = F (L z0 ) + ,
2
2
so that for all n max{n0 , n1 } we obtain
G (v0 + z0 ) F (L z0 ) hun , f iU F (1 un ) + G(un ) < .
CHAPTER 9
(9.1)
If u P + we write u .
Proposition 9.1.3. Let U be a Banach space and P be a
closed cone in U. If u U satisfies hu, uiU 0, u , then
u .
Proof. We prove the contrapositive. Assume u 6 P . Then
by the separating hyperplane theorem there is an u U such
that hu, uiU < hp, uiU , p P . Since P is cone we must have
hp, uiU 0, otherwise we would have hu, ui > hp, uiU for some
> 0. Thus u P + . Finally, since inf pP {hp, uiU } = 0, we
obtain hu, uiU < 0 which completes the proof.
Definition 9.1.4 (Convex Mapping).
Let U, Z be vector
spaces. Let P Z be a cone. A mapping G : U Z is said
223
224
(9.3)
(9.4)
(9.5)
(9.6)
(z1 ) + (1 )(z2 ).
(9.7)
225
(9.8)
(9.9)
(9.11)
(9.13)
(9.15)
226
Hence
hG(u0), z0 iZ = 0.
(9.16)
(9.17)
(9.18)
(9.19)
(9.20)
As hG(u0 ), z0 iZ = 0, we have
= hG(u0), z iZ 0. (9.21)
(9.22)
Then
F (u0 ) + hG(u0), z0 iZ
hG(u1 ), z0 iZ hG(u0), z0 iZ
(9.24)
(9.25)
9.2. DUALITY
227
(9.26)
(9.27)
(9.28)
(9.30)
(9.31)
(9.32)
(9.33)
(9.34)
where
u
228
and
= {z Z | G(u) z f or some u }.
Proof. Observe that
(z ) = inf {F (u) + hG(u), z iZ }
u
= (z) + hz, z iZ , z , z .
(9.35)
(9.37)
(9.38)
(9.39)
inf
u,G(u)
{F (u) + hG(u), z iZ }
inf
u,G(u)
F (u) 0 . (9.40)
or
(z ) 0 .
(9.41)
229
by
A(
u) = T (u0 )u.
Since T (u0 ) is onto, so is A, so that by the inverse mapping theorem, A has a continuous inverse A1 . Choose > 0 such that
1
<
4kA1 k
Choose r > 0 such that if ku u0kU < r then kT (u) T (u0 )k < .
Let v Br (v0 ) where r = 4kAr1 k . Define g0 = L0 and also
define
L1 = A1 [v T (u0 g0 )].
Choose g1 L1 such that
kg1 g0 kU 2kL1 L0 k.
Therefore
so that
L1 = A1 [v v0 ],
kL1 k kA1 kkv v0 kV ,
230
and hence
kg1 kU 2kL1 k
2kA1 kkv v0 kV
2kA1 kr
r
.
2
Now reasoning by induction, for n 2, assume that
define Ln by
(9.42)
(9.43)
gt = tgn1 + (1 t)gn2 .
By the generalized mean value inequality, we obtain
kLn Ln1 k kA1 kkgn1 gn2 kU sup {kT (u0 + gt ) T (u0 )k}
t(0,1)
being
Hence
kgt kU < r.
kLn Ln1 k kA1 kkgn1 gn2 kU ,
231
so that
kgn gn1 kU 2kLn Ln1 k
2kA1 kkgn1 gn2 kU
1
kgn1 gn2 kU .
2
(9.44)
Thus
kgn kU = kgn gn1 + gn1 gn2 + gn2 gn3 + ... g0 kU
1
1
kg1 kU (1 + + ... + n )
2
2
< 2kg1 kU r.
(9.45)
Therefore
kgn kU < r, n N
and
1
kgn gn1 kU kgn1 gn2 kU , n N.
2
Finally, since {gn } is a Cauchy sequence and U is a Banach space,
there exists g U such that gn g as n , and thus
Ln L = g, as n .
= L L = A1 [v T (u0 + g)],
v = T (u0 + g).
Furthermore
kgkU 2kg1kU 4kA1 kkv v0 kV ,
K = 4kA1 k.
232
(9.46)
(9.47)
F (u0 ) = H (u0 ) z0 .
(9.48)
z0
Z such that
Part 3
Applications
CHAPTER 10
N .n P = 0,
(M t n )
(Q + M, )n +
P = 0,
s
M n n Mn = 0, on t ,
235
(10.2)
236
where,
N = H ,
M = h
and,
1
(u) = (u, + u, + w, w, ),
2
(u) = w, ,
with the boundary conditions
w
= 0, on u .
u = w =
n
Here, {N } denote the membrane forces, {M } denote the moments and {Q } = {N w, } stand for functions related to the
rotation work of membrane forces, P L2 (S) is a field of vertical distributed forces applied on S, (P , P ) (L2 (t ))3 denote
forces applied to t concerning the horizontal directions defined by
= 1, 2 and vertical direction respectively. Mn are distributed moments applied also to t , where is such that u , = u t
and u t = . Finally, the matrices {H } and {h } are
related to the coefficients of Hookes Law.
The corresponding primal variational formulation to this boundary value model is represented by the functional J : U R, where
Z
Z
Z
1
1
J(u) =
H dS +
h dS P wdS
2 S
2 S
S
Z
w
)d
(P w + P u Mn
n
t
and
uU
sup
v A C
{GL (v )}
(10.3)
10.1. INTRODUCTION
237
Z
Z
1
1
M M dS
=
H N N dS +
h
2 S
2 S
Z
1
N Q Q dS ,
+
2 S
2
N11 N22 N12
> 0, a.e. in S}, (10.4)
uU
u U
(u,p)U Y
inf
(
u,v )U Y
{JK
(
u, v )}
where
JK (u, p) = G(u + p) F (u) +
K
hp, piL2 (S)
2
238
and
2
g
(v
)
L
= F ( v ) GL (v ) + K
u
y
L2 (S)
1
+
hv , v iL2 (S) .
2K
Here K R is a positive constant and we are particularly concerned
with the fact that
JK
(
u, v )
JK (uK , pK ) J(u0 ), as K +
and
where
JK
(
uK , vK
) J(u0 ), as K +
JK (uK , pK ) =
JK
(
uK , vK
)=
inf
(u,p)U Y
inf
(
u,v )U Y
{JK
(
u, v )}
and
J(u0 ) = inf {J(u) = G(u) F (u)}.
uU
uU
z Y
v B (z )
where
B (z ) = {v Y | v 1 z p = 0}
Therefore the constant K > 0 must be chosen so that the optimal point of the primal formulation satisfies the constraints indicated in (10.5). This is because these relations also define an
enlarged region in which the analytical expression of the functional
GL : Y R is convex, so that, in this case, negative membrane
forces are allowed.
10.1. INTRODUCTION
239
uU
sup
(v ,z )E B
where,
G (v ) =
GL (v )
1
=
2
N N dS+ 1
H
2
S
1
+
2
if v E , where
ZS
M M dS
h
N
Q, Q, dS
and
N11 + K > 0
N22 + K > 0
and
where
2
(N11 + K)(N22 + K) N12
> 0, a.e. in S,
K }
{N
N11 + K
N12
N12
N22 + K
1
(10.6)
and
(v , z ) B
N, + P = 0,
Q, + M, z,
+ P = 0,
1212 M12 + z /K = 0,
h
1,2
z1,2 = z2,1
, a.e. in S, and, z n = 0 on .
240
uU
u U
Furthermore u0 G(u0 ).
10.2. The Primal Variational Formulation
Let S R2 be an open bounded set (with a boundary denoted
by ) which represents the middle surface of a plate of thickness
h. The vectorial basis related to the Cartesian system {x1 , x2 , x3 }
is denoted by (a , a3 ), where = 1, 2 (in general Greek indices
stand for 1 or 2), a3 denotes the vector normal to S, t is the vector
tangent to and n is the outer normal to S. The displacements
will be denoted by:
= {
u
u , u3 } = u a + u3 a3 ,
The Kirchhoff-Love relations are
u (x1 , x2 , x3 ) = u (x1 , x2 ) x3 w(x1 , x2 ),
and
u3 (x1 , x2 , x3 ) = w(x1 , x2 ),
241
(10.8)
(10.9)
2 (u) = w,
(10.10)
3 (u) = w, .
(10.11)
N = H ,
(10.12)
M = h
(10.13)
and
The constitutive relations are expressed as
where: {H } and {h = h12 H }, are positive definite matrices and such that H = H = H = H . Furthermore {N } denote the membrane forces and {M } the moments.
The plate stored energy, denoted by (G ) : U R is expressed
as
Z
Z
1
1
N dS +
M dS
(10.14)
(G )(u) =
2 S
2 S
and the external work, denoted as F : U R, is given by
Z
Z
w
(P w + P u Mn
F (u) =
P wdS +
)d,
(10.15)
n
S
t
where P denotes a vertical distributed load applied in S and P , P
are forces applied on t related to directions defined by a3 and
242
1
g(y) = H [(y1 + y1 + y2 y2 )/2][(y1 + y1 + y2 y2 )/2]
2
1
+ h y3 y3 (10.16)
2
and we recall that
Z
G(u) =
g(u)dS.
S
243
y y02 .y02 /2
y01 = H
1
} = {H }1 ,
{H
= y111 y122 (y112 )2 (we recall that y112 = y121 , as a result of the
symmetries of {H }).
By analogy,
v
y03 = h
3
where:
} = {h }1 .
{h
(10.17)
1
1
1
gL (y ) = H
y1 y1 + h y3 y3 + y1 y02 y02 .
2
2
2
(10.18)
GL (v ) =
gL (v )dS.
S
244
v v dS
v v dS +
GL (v ) =
H
h
1
1
3
3
2 S
2 S
Z
1
v v02 v02 dS. 2
+
2 S 1
Changing the notation, as indicated below,
v1 = N , v2 = Q = v1 v02 = N v02 , v3 = M
we could express GL : YL R as
Z
Z
1
1
h M M dS
N N dS +
GL (v ) =
H
2 S
2 S
Z
1
Q Q dS,
+
N
2 S
where
= {N }1 .
N
Remark 10.3.1. Also we can use the transformation
Q = N w,
and obtain
1
=
2
N N dS + 1
H
2
S
h M M dS
Z
1
N w, w, dS.
+
2 S
The term denoted by Gp : Y U R and expressed as
Z
1
Gp (v , w) =
N w, w, dS
2 S
is known as the gap function.
GL (v )
uU
245
(10.19)
v Y
where
GL (v )
1
=
2
N N dS + 1
H
2
S
and
h M M dS
S
Z
1
Q Q dS
+
N
2 S
2
N11 N22 N12
> 0, a.e. in S}. (10.20)
(10.21)
(10.22)
246
(10.23)
1
g2 (y) = h y3 y3 .
2
In fact we determine a set in which the polar functional is repre
sented by the Legendre Transform g1L
(y ), where, from (10.18),
1
g1L
(y ) = H
y1 y1
2
y 11 (y22 )2 2.y112 y21 y22 + y122 (y21 )2
. (10.24)
+ 1
2[y111 y122 (y112 )2 ]
Thus, since
g1 (y ) = sup {y1 y1 + y2 y2 g1 (y)}
yR6
we can write
g1L
(y ) = g1 (y ) g1L
(y ) y1 y1 + y2 y2 g1 (y), y R6 .
Or
1
1
1
y1 y1 + y2 y2 H (y1 + y2 y2 )(y1 + y2 y2 )
2
2
2
g1L
(y ) 0, y R6 . (10.25)
However, considering the transformation
1
y1 = y1 + y2 y2 ,
2
1
y1 = y1 y2 y2 ,
2
and substituting such relations into (10.25), we obtain
g1L
(y ) = g1 (y )
(10.26)
247
1
1
y1 (
y1 y2 y2 ) + y2 y2 H y1 y1 g1L
(y ) 0,
2
2
{
y1 , y2 } R6 . (10.27)
On the other hand, since {H } is a positive definite matrix we
have
1
1
sup {y1 y1 H y1 y1 } = H
y1 y1 . (10.28)
2
2
{
y1 }R4
Thus considering (10.28) and the expression of gL (y ) indicated in
(10.24) , inequality (10.27) is satisfied if
y 11 .(y22 )2 2.y112 .y21 y22 + y122 .(y21 )2
1
y1 y2 y2 + y2 y2 1
2
2[y111 y122 (y112 )2 ]
So, for
0, {y2 } R2 . (10.29)
1
1
a1 = y111 , b1 = y112 , c1 = y122 , , d1 = y21 , e1 = y22
2
2
and
y 11 .(y22 )2 2.y112 .y21 y22 + y122 .(y21 )2
f1 = 1
2[y111 y122 (y112 )2 ]
we obtain
c1 d21 a1 e21 + b1 d1 e1 (b21 4a1 c1 )f1 = 0
y A g1(y ) = g1L
(y ),
(10.30)
where
A = {y R6 | y111 > 0, y122 > 0, y111 y122 (y112 )2 > 0}.
g2 (y ) = g2L
(y ), {y3 } R3
(10.31)
g2L
(y ) = h
y3 y3
2
(10.32)
248
and
1
g2 (y ) = sup {y3 y3 h y3 y3 }.
2
yR3
As (g1 + g2 ) (y ) g1 (y ) + g2 (y ) we have
if y A then gL (y ) = g1L
(y ) + g2L
(y )
= (g1 + g2 ) (y ) = g (y ). (10.33)
(10.34)
gL (v )dS = GL (v )
v A G (v ) =
S
where,
Alternatively,
2
N11 N22 N12
> 0, a.e. in S}. (10.36)
We
10.4.1. The Polar Functional Related to F : U R.
are concerned with the evaluation of the extremum,
F ( v ) = sup{hu, v iU F (u)},
uU
or
F ( v ) = sup{hu, v iY F (u)}.
uU
249
Considering
F (u) =
Z
we have
w
(P w + P u Mn
P wdS +
)d
n
S
t
= hu, f iU (10.37)
Z
0, if v C ,
+, otherwise,
(10.38)
where v C v Y and
v1, = 0,
v2, + v3, + P = 0, a.e. in S,
(10.39)
F ( v ) =
and
v1 .n P = 0,
(v t n )
3
P = 0,
(v
+
v
).n
+
2
3,
s
v3 n n Mn = 0, on t .
(10.40)
C = {v Y | v = f },
(10.41)
uU
sup
v A C
{GL (v )}
(10.42)
so that the final form of the concerned duality principle results from
the following theorem.
Theorem 10.4.3. Let (G ) : U R and F : U R be
defined by (10.14) and (10.15) respectively (and here we express F
as F (u) = hu, f iU ). If GL : YL R attains a local extremum at
v0 A under the constraint v f = 0, then
inf {(G )(u) + F (u)} =
uU
sup
v A C
{GL (v )}
250
P wdS +
d
n
t
t
S
t
Z
Z
1
1
M M dS
=
sup
H N N dS
h
2
2
v A C
S
S
Z
1
Q Q dS
N
(10.43)
2 S
where v C v Y and,
N, = 0,
Q, + M, + P = 0, a.e. in S
and
N .n P = 0,
(M t n )
(Q + M, )n +
P = 0,
s
M n n Mn = 0, on t ,
251
inf
(u,p)U Y
(u,p)U Y
inf
(z ,v ,
u)E
{JK
(z , v , u)},
where
JK
(z , v , u) = F (z ) + (1/2K)hv , v iL2 (S) GL (v )
n
2
X
g
(v
)
L
i u
+K
y
2
i=1
L (S)
and
E = {(z , v , u
) Y YL U | 1 z + v u0 = }.
F (1 u0 )
,
v
G(u0 + p0 )
,
v
and
u0 = u0
are such that
1 z0 + v0 u0 = ,
252
and thus
JK (u0 , p0 )
inf
(z ,v ,
u)E
{JK
(z , v , u)} JK (u0 , p0 )
Thus, v YL , we have
sup
(u,p)U Y
inf
z C (v )
where
C (v ) = {z Y | 1 z + v u0 = }.
Furthermore
G(
u + p)
,
vi
from a well known Legendre Transform property, we obtain
vi =
pi =
GL (v )
i u
vi
so that
GL (v )K
2
X
g
(v
)
L
i u
2 .
y
i
L (S)
i=1
253
z C (v )
(u,p)U Y
(10.47)
that is,
n
2
X
g
(v
)
1
L
i u
hv , v iL2 (S) GL (v ) + K
F (z ) +
2
2K
y
i
L (S)
i=1
=
inf
(u,p)U Y
(10.48)
Hence
n
F (z ) + (1/2K)hv , v iL2 (S) GL (v )
,
u)E
n
o
2
X
g
(v
)
L
+ K
iu y
2
i
L (S)
i=1
inf
(z ,v
=
inf
(u,p)U Y
(10.49)
so that:
inf
(z ,v ,
u)E
{JK
(z , v , u)}
inf
(u,p)U Y
1 G(u0 + p0 )
+ p0 = 0,
K
v
and JK (u, p) is bounded from below. We do not prove it in the
present work.
254
d (10.50)
P u + P w Mn
hu, u0iU =
P wdS +
n
S
t
inf G(u + p) + Khp, piL2 (S) hu, u0iU hp, piL2 (S)
uU
2
Z
Z
1
1
M M dS
inf
H N N dS
h
(v ,
u)E
2 S
2 S
Z
1
Q Q dS+
N
2 S
Z
Z
1
1
N N dS +
M M dS
2K S
2K S
2
2
X
1
1
N + v02 v02
(u, + u,) H
+K
2
2
2
L (S)
,=1
+K
2
X
=1
2
X
,=1
M k2 2
k w, h
L (S)
where (v , u) E = C U (v , u) YL U and,
N, = 0,
Q, + M, + P = 0, a.e. in S
and
N .n P = 0,
(M t n )
(Q + M, )n +
P = 0,
s
M n n Mn = 0, on t ,
and,
} = {N }1 .
{N
(10.51)
255
z Y v B (z )
uU
inf
z A (u )
{F (z )},
where,
A (u ) = {z Y | 1 z + p = u }.
Since G also satisfies the hypothesis of Theorem 8.2.5, we have
sup{hu, uiU (G )(u)} =
uU
inf
{G (v )},
v D (u )
where
D (u ) = {v Y | v = u }.
256
sup
v D (u )
{G (v )} , z A (u ).
sup {G (v )} ,
v B (z )
z Y v B (z )
where B (z ) = {v Y | v 1 z p = 0}.
We will apply the last theorem to a changed functional concerning the primal formulation related to the Kirchhoff-Love plate
and (F 1 ) : U R
as
model. We redefine (G ) : U R
Z
1
(G )(u) =
H (u) (u)dS
2 S
Z
Z
1
1
h (u) (u)dS + K w, w, dS
+
2 S
2
S
if N11 (u) + K > 0, N22 (u) + K > 0 and (N11 (u) + K)(N22 (u) +
K) N12 (u)2 > 0 and, + otherwise.
is convex and
Remark 10.6.2. Notice that (G ) : U R
G
ateaux differentiable on its effective domain, which is sufficient
for our purposes, since the concerned Fenchel conjugate may be
easily expressed through the region of interest.
Also, we define
Z
1
F (1 u) = K w, w, dS
2
S
Z
Z
hu, piU =
P wdS + P u dS
S
where
257
1
N w, w, dS + K
2
S
if v E . Here
w, w, dS
(10.52)
v = {N , M , w,},
2
(N11 + K)(N22 + K) N12
> 0, a.e. in S}
and,
1
F (z ) =
2K
(z1 )2 dS
1
+
2K
(z2 )2 dS.
Furthermore, v B (z ) v Y and,
N, + P = 0,
(z ), + (N w, ), + M, + Kw, + P = 0, a.e. in S.
Finally, we can express the application of last theorem as:
Z
Z
1
1
2
{
(z1 ) dS +
(z )2 dS
sup
inf
z Y v B (z ) T E 2K S
2K S 2
Z
Z
1
1
M M dS+
H N N dS
h
2 S
2 S
Z
Z
1
1
N w, w, dS K w, w, dS}
2 S
2
S
inf {J(u)}.
uU
(10.53)
258
where
259
h1212 /(2K0 ) > K where K0 is the constant related to Poincare Inequality and,
N (u0 ) = H (u0 ).
Then,
J(u0 ) = min{J(u)} =
uU
max
{G (v ) + hz , z iL2 (S) /(2K)}
(v ,z )E B
(10.54)
G (v0 ) + hz0 , z0 iL2 (S) /(2K)
where,
G(u0 )
and z0 = Kw0, ,
v
Z
1
N N dS
H
G (v ) = GL (v ) =
2 S
Z
Z
1
1
K Q, Q, dS
N
h M M dS +
+
2 S
2 S
v0 =
if v E , where v = {{N }, {M }, {Q }} E v
L2 (S, R10 ) and
2
N11 +K > 0 N22 +K > 0 and (N11 +K)(N22 +K)N12
> 0, a.e. in S
and,
(v , z ) B
N, + P = 0,
+ P = 0,
Q, + M, z,
1212 M12 + z /K = 0,
1,2
z = z , a.e. in S, and, z n = 0 on ,
1,2
2,1
K } as indicated in (10.6).
being {N
Proof. Similarly to Proposition 10.4.1, we may obtain the following result. If v E then
GL (v ) = G (v ) hv , uiY G(u), u U,
so that
GL (v )
1
1
hz , z iL2 (S) hv , uiY
hz , z iL2 (S) G(u),
2K
2K
u U,
260
Q, + M, z,
+ P = 0 a.e. in S.
M12 = 1
12 {(Q, + z, M, P )/2},
3
(10.55)
H N N dS +
h1111 M11 dS + h
2 S
2 S
S
Z
1
2222 M 2 dS
+
h
22
2 S
Z
2
1212 (1
+ 2 h
312 (v , z )) dS
ZS
1
K Q, Q, dS
N
+
2 S
1
hz , z iL2 (S)
2K
1
hz , z iL2 (S)
2K
G(u) + hu, piU , u U,
(10.56)
h1 u, z iL2 (S;R2 )
([1
a.e. in S.
12 ] [h1212 12 (v , z )]), z /K = 0,
3
This means
1212 1
h
312 (v , z ) z, /K = 0, a.e. in S and z n = 0 on
or
for (, ) = (1, 2) and (2, 1). Therefore, after evaluating the suprema
in both sides of (10.56), we may write
GL (v )
1
hz , z iL2 (S) F (1u) G(u) + hu, piU ,
2K
u U, and (v , z ) B E .
261
and it seems to be clear that the condition h1212 /(2K0 ) > K guarantees coercivity for the expression of left side in the last inequality
(see the next remark), so that the unique local extremum concerning z is also a global extremum. The equality and remaining conclusions results from the Gateaux differentiability of primal and
dual formulations and an application (with little changes) of Theorem 8.1.27.
Remark 10.7.3.
expressed as
1
hz , z iL2 (S)
GL (v )
2K
Z
Z
Z
1
1
2
=
H N N dS +
h1111 M11 dS + h
2 S
2 S
S
Z
Z
Z
1
1
K
2
2222 M dS +
Q, Q, dS + h1212 (z )2 /K 2 dS
N
h
+
1,2
22
2 S
2 S
S
Z
1
2
+ h1212 (z2,1
) /K 2 dS
hz , z iL2 (S) .
(10.57)
2K
S
Thus, through the relation h1212 /(2K0 ) > K (where K0 is the constant related to a Poincare type inequality, now specified through
the last format of the dual formulation), it is now clear that the
dual formulation is convex on E B .
10.8. A Final Result, other Sufficient
Conditions of Optimality
This final result is developed similarly to the triality criterion
introduced in Gao [24], which describes, in some situations, sufficient conditions for optimality.
We prove the following result.
Theorem 10.8.1. Consider J : U R where J(u) = G(u)+
F (u),
Z
Z
1
1
G(u) =
H (u) (u)dS +
h w, w, dS.
2 S
2 S
Here the operators are defined as in (10.7),
Z
F (u) = P wdS hu, f iU ,
S
262
and,
U = W01,2 (S) W01,2 (S) W02,2 (S).
Then, if u0 U is such that J(u0 ) = and
1
2
1
N (u0 )w,w, dS +
2
S
h w, w, dS 0,
w W02,2 (S), (10.58)
we have
J(u0 ) = min{J(u)}.
uU
u U, v Y . (10.59)
263
or
(G )
(v0 )
= sup
uU
(
u, + u,
, N (u0 )
2
L2 (S)
2 S
Since
u, + u, 1
+ w, w, ,
2
2
from the last equality, we may write
n
w, w,
, N (u0 )iL2 (S)
(G) ( v0 ) = sup h (u), N (u0 )iL2 (S) h
2
uU
+ hw, , M (u0 )iL2 (S) + hw,, Q (u0 )iL2 (S)
Z
Z
1
1
H (u) (u)dS
h w, w, dS . (10.61)
2 S
2 S
(u) =
(G ) ( v0 )
D
Z
E
w, w,
1
sup
h w, w, dS
, N (u0 )
2
2 S
L2 (S)
uU
Z
Z
1
N (u0 )N (u0)dS. (10.62)
H
+ P wdS +
2
S
S
(10.63)
( v0 )
Dw
+
0, w0,
1
2
2
Z
1
, N (u0 )
+
2
L (S) 2
E
h w0, w0, dS
S
(10.64)
264
However, since
Q (u0 ) = N (u0 )w0, ,
and
M (u0 ) = h w0,
from (10.64) we obtain
Z
1
(u0 )Q (u0 )Q (u0 )dS
N
(G ) ( v0 )
2
Z
1
M (u0 )M (u0 )dS
h
+
2 S
Z
1
N (u0 )N (u0)dS. (10.65)
H
+
2 S
Hence
(G ) ( v0 ) GL (v0 ) = J(u0 ),
and thus as F ( v0 ) = 0, we have that
J(u0 ) (G ) ( v0 ) F ( v0 ),
265
CHAPTER 11
u = (0, 0, 0) on 0 } (11.1)
u = , on 0 .
267
268
1
Hijkl
(ui,j + uj,i + um,i um,j )
2
S
1
(uk,l + ul,k + um,k um,l ) dx hu, f iL2(S;R3 ) (11.4)
2
inf
(u,p)U Y
(11.6)
inf
(u,p)U Y
inf
(z ,v ,
u)E
(z , v , u)}
{JK
(11.7)
269
where
JK
(z , v , u) = F (z ) + 1/(2K)hv , v iL2 (S,Rn ) GL (v )
2
n
X
gL (v )
+K
i u y
i=1
and
E =
{(z , v , u
) Y YL U| 1 z + v u0 = }. (11.8)
Also, the functions z0 , v0 , and u0 , defined by
F (1 u0 )
,
v
(11.9)
G(u0 + p0 )
v
(11.10)
u0 = u0
(11.11)
1 z0 + v0 u0 =
(11.12)
z0 =
v0 =
and
and thus
JK (u0 , p0 )
inf
(z ,v ,
u)E
{JK
(z , v , u)}
(11.14)
270
where
1
Hijkl
(ui,j + ui,j + um,i um,j )
2
S
1
(uk,l + uk,l + um,k um,l ) dx
2
K
+ hum,i , um,iiL2 (S) ,
2
1
G(u) =
2
(11.15)
(11.16)
and
F (u) =
K
hum,i, um,i iL2 (S) .
2
(11.17)
uU
z Y2 v E
(11.18)
(11.19)
where
v {, Q},
E = E1 E2 ,
(11.20)
1
hz , z iL2 (S)
2K im im
(11.22)
(11.23)
and
G (v ) =
GL (v )
1
=
2
ijkl ij kl dx
H
S
1
+
2
if K is positive definite in
11 + K
21
K =
31
271
S, where
12
13
22 + K 23
32
33 + K
(11.25)
ijkl } = {Hijkl}1 .
and also {
ijK } = K 1 . Finally, {H
G (u) F1 (u) , u U,
(11.26)
F1 (u) G (u) + , u U,
(11.27)
uU
(11.28)
However, from Theorem 8.2.5
F1 (u ) = sup{h1u, w iY1 F1 (u)} =
uU
inf
z C1 C2
{F (z )} (11.29)
where
C1 = {z Y2 | zij,j
wij,j
fi = 0, a.e. in S},
(11.30)
C2 = {z Y2 | zij nj = wij nj , on 1 }.
(11.31)
and
inf
v D1 D2
{G (v )}
(11.32)
where
and
D2 = {v Y | ij nj + Qij nj = wij nj , on 1 }.
(11.34)
272
uU
sup
v D1 D2
{G (v )}, (11.35)
z C1 C2 .
Hence we can write
inf {J(u)} inf sup {F (z ) G (v )}
uU
z Y1 v E
(11.36)
where E = E1 E2 ,
(11.38)
and Y = Y Y1 .
Finally, we have to prove that GL (v ) = G (v ) if K is positive
definite in S. We start by formally calculating gL (y ), the Legendre
transform of g(y), where
1
1
y1kl + y2mk y2ml
g(y) = Hijkl y1ij + y2mi y2mj
2
2
K
+ y2mi y2mi . (11.39)
2
We recall that
gL (y ) = hy, y iR18 g(y)
(11.40)
(11.41)
(11.42)
(11.43)
(11.44)
273
(11.45)
where
1
{
ijK } = K
and also
13
11 + K 12
21
22 + K 23
=
32
33 + K
31
ijkl kl 1 y2mi y2mj .
y1ij = H
2
(11.46)
(11.47)
Finally
1 K
1
Qmi Qmj .
(11.48)
gL (, Q) = H
ijkl ij kl +
2
2 ij
Now we will prove that gL (v ) = g (v ) if K is positive definite.
First observe that
g (v ) =
yR18
1
1
1
Hijkl y1ij + y2mi y2mj
y1kl + y2mk y2ml
2
2
2
K
y2mi y2mi
2
1
h
y1ij y2mi y2mj , ij iR + hy2 , QiR9
=
sup
2
(
y1 ,y2 )R9 R9
K
1
y1kl ] y2mi y2mi .
y1ij ][
Hijkl [
2
2
The result follows just observing that
1
1
y1ij , ij iR Hijkl[
sup h
y1ij ][
y1kl ] = H
ijkl ij kl
2
2
y1 R9
(11.49)
and
1
K
sup h y2mi y2mj , ij iR + hy2, QiR9 y2mi y2mi
2
2
y2 R9
1 K
Qmi Qmj (11.50)
=
2 ij
if K is positive definite.
274
K
hp, piY
2
hu, f iL2(S;R3 ) . (11.51)
1
F (1 u) =
Hijkl
(ui,j + ui,j + um,i um,j )
2 S
2
1
(uk,l + uk,l + um,k um,l ) dx. (11.53)
2
Here : U Y is expressed as:
1
umi umj
u =
(ui,j + ui,j ) +
2
2
and 1 : U Y = Y1 Y2 L2 (S; R9 ) L2 (S, R9 ) is given by
1
(ui,j + ui,j ) , {um,i} .
(11.54)
1 u = {11 u, 12 u}
2
Thus we can write
n
inf {JK (u)}
inf
F (z , Q, ) GL (z )
uU
(z ,(,Q),u)Y A U
)
3
X
ijkl
2
ui,j + uj,i um,i um,j
1
H
+
hz , z iY +
K
+
zkl
,
2K
2
2
1
+
2
i,j=1
(11.55)
275
where,
A = {(, Q) Y | ij,j Qij,j + fi = 0,
1
F (z , , Q) =
2
ijkl (z ij )(z kl ) dx
H
ij
kl
S
Z
1
ij Qmi Qmj dx (11.57)
2 S
(11.58)
and
G1 (u, p) = F (1u) +
K
hp, piY + hu, f iL2(S;R3 )
2
we have,
That is
so that
sup
(u,p)U Y
inf
(,Q))A
{F (z , , Q)} +
1
hz , z iY .
2K
G(u + p)
,
z
276
K
+
zkl
.
2
2
1
+
2
i,j=1
(z ,(,Q))Y A
1
hz , z iY
(11.60)
2K
)
3
X
ijkl
2
ui,j + uj,i um,i um,j
H
+
zkl
+
K
,
2
2
1
+
2
i,j=1
CHAPTER 12
278
(12.1)
4
a a + 2(a a + a a ))
a
= (
4 + 2
(12.2)
The potential energy (stored energy plus external work) is expressed by the functional J : U R where,
Z
Z
J() =
a G ()G () a dy pi i a dy
2 S
S
R
i
i
i
2
where p = f dx3 , here {f } L (S [, ]; R3 ) denotes the
external load density.
We will define (G ) : U R and F : U R as
Z
1
a
G ()G () a dy
(12.3)
(G )() =
2 S
279
and,
F () =
pi i a dy,
(12.4)
(12.5)
1
1
1
(y1 + amn y2m y2n )(y1 + akl y2k y2l ) (12.6)
g(y) = a
2
2
2
Its Legendre Transform, denoted by gL : RL10 R is given by
gL (y ) = hy, y iR10 g(y)
(12.7)
g(y)
.
y
(12.8)
That is,
1
y1 = a
(y1 + akl y2k y2l )
(12.9)
1
(y1 + akl y2k y2l )amn y2n
y2m = a
(12.10)
and
or
y2m = y1 amn y2n .
(12.11)
(12.12)
where
Rmn = {y1 amn }1 .
(12.13)
280
a
N N a dy
GL (v ) =
gL (v ) a dy =
S
S
Z
1
+
Rmn Qm Qn a dy. (12.14)
2 w
We now obtain the polar functional related to the external load.
12.3. The Polar Functional Related to F : U R
(12.15)
That is,
pi i a dy}. (12.16)
S
Thus
F ( v ) =
where
v C
0, if v C ,
+, otherwise,
(N + Q )| + b Q3 = p in S,
b (N + Q ) Q3 | = p3 in S,
(12.17)
(12.18)
(N + Q ) = 0 on 1 ,
Q3 | = 0 on .
1
v C
1
hv , v iL2 (S,R10 ) GL (v )
2K
2
g
(v
)
u L
+K
y
2
L (S)
281
More explicitly
Z
Z
i
a
G ()G () a dy p i a dy
inf
U
2 S
S
Z
1
m m
inf
a dy + Q Q
a dy
N N
v C
2K
S
S
Z
Z
1
1
a dy
a
N N
Rmn Qm Qn a dy
2 S
2 S
2
X
,=1
Z
K
k a
N akl v02k v02l
L2 (S)
+
3 X
2
X
m=1 =1
J() = G()
F (2)
(12.19)
where
G()
= G () h, pi,
1
G() =
2
(12.20)
a
G ()G () a dy
S
Z
K
mk mk a dy, (12.21)
+
2 S
Z
K
mk mk a dy,
F (2) =
(12.22)
2 S
Z
h, pi =
pi i a dy,
(12.23)
282
sup {F (u ) G (v )}
u U v C (u )
(12.25)
where
v {N, Q},
Z
1
F (u ) =
umi umi a dy,
2K S
G (v ) =
GL (v )
(12.26)
(12.27)
1
a
N N ady
ady =
2 S
Z
1
+
Rmn Qm Qn a dy (12.28)
2 S
gL (v )
{Rmn } = NK1
(12.29)
{
a } = {a
}1 .
(12.30)
v {N, Q} C (u )
(N + Q u )| + b (Q3 u3 ) = p in S,
b (N + Q u ) (Q3 u3 )| = p3 in S,
(12.31)
(N + (Q u )) = 0 on 1 ,
(Q3 u )| = 0 on .
1
3
or
G()
F (2) , U,
(12.32)
F (2 ) G()
+ , U,
(12.33)
283
so that
(12.34)
However,
F (u ) sup{h2 , ui F (2 )}.
(12.35)
(G
=
U
inf
{G (v )}
v C (u )
(12.36)
where
v {N, Q} C (u )
(N + Q u )| + b (Q3 u3 ) = p in S,
b (N + Q u ) (Q3 u3 )| = p3 in S,
(12.37)
(N + (Q u )) = 0 on 1 ,
(Q3 u )| = 0 on .
1
3
) ( u ) = F (u )
inf {J()} = F (u ) (G
2
v C (u )
u U .
Finally, we have to prove that GL (v ) = G (v ) if NK is positive
definite in S. We start by formally calculating gL (y ), the Legendre
transform of g(y), where g : R10 R is expressed as:
1
1
1
g(y) = a
(y1 + amn y2m y2n )(y1 + akl y2k y2l )
2
2
2
K
+ y2m y2m . (12.39)
2
Observe that gL : RL10 R is given by
(12.40)
284
g(y)
.
y
(12.41)
That is,
1
y1 = a
(y1 + akl y2k y2l )
(12.42)
and,
1
(y1 + akl y2k y2l )amn y2n + Ky2m
y2m = a
(12.43)
or
y2m = y1 amn y2n + Ky2m .
(12.44)
(12.46)
a
N N a dy
GL (v ) =
gL (v ) a dy =
2 S
w
Z
1
Rmn Qm Qn a dy (12.47)
+
2 S
where
Rmn = {N amn + K mn }1 .
(12.48)
1
1
K
1
a
[y1 + amn y2m y2n ][y1 + akl y2k y2l ] y2m y2m }
2
2
2
2
1 mn
{h
y1 a y2m y2m , N iR + hy2 , QiR6
=
sup
2
(
y1 ,y2 )R4 R6
1
K
a
[
y1 ][
y1 ] y2m y2m }. (12.49)
2
2
12.6. CONCLUSION
285
2
2
4
y1 R
and
1
K
sup {h amn y2m y2m , N iR + hy2 , QiR6 y2m y2m }
2
2
y2 R6
1
= Rmn Qm Qn (12.51)
2
if NK is positive definite.
12.6. Conclusion
We obtained three different dual variational formulations for the
non-linear elastic shell model studied in P.Ciarlet [15] (a membrane
shell model).The first duality principle presented is an extension of
a theorem found in Toland [42]. The solution behavior as K +
is of particular interest for a future work.
The second duality principle relaxes the condition of positive
definite membrane tensor, and thus the constant K must be chosen
so that the matrix NK is positive definite at the equilibrium point,
where NK = {N amn + K mn }.
CHAPTER 13
u2
2
2
J(u) =
|u| dx +
( ) dx f u dx
(13.2)
2 S
2 S 2
S
287
we have:
where
1
J(u) =
2
|u| dx +
2
S
u2
( )2 dx
S 2
f u dx
S
(13.3)
289
(13.4)
From (13.4), by the Rellich-Kondrachov theorem, up to a subsequence, which is also denoted by {unj }, we have:
unj u0 , strongly in L2 (S).
(13.5)
(13.6)
1
2
4
|u| dx +
u dx f u dx
J1 (u) =
2 S
8 S
S
we have that J1 : U R is convex and strongly continuous, therefore weakly lower semi-continuous, so that
j+
(13.7)
j+
13.2. A Concave Dual Variational Formulation
We start this section by enunciating the following theorem which
has been proven in chapter 10.
Theorem 13.2.1. Let U be a reflexive Banach space, (G ) :
a convex G
U R
ateaux differentiable functional and (F 1 ) :
z Y1 v B (z )
uU
and U = W01,2 (S). For K = 1/K0 , where K0 stands for the constant related to Poincare inequality, we have the following duality
principle
inf {J(u)}
sup
{GL (v , z )}
uU
(z ,v1 ,v0 )B
where
GL (v , z )
and
Z
Z
Z
1
(v1 )2
1
1
2
2
=
(z
)
dx
+
|z
|
dx
dx
2K 2 S
2K S
2 S v0 + K
Z
Z
1
2
+
(v ) dx + v0 dx,
(13.8)
2 S 0
S
where
max
(z ,v1 ,v0 )B
{GL (v , z )} = GL (
v , z ),
2
u ,
2 0
v1 = (
v0 + K)u0
v0 =
and
z = Ku0 .
Proof. Observe that we may write
J(u) = G(u) F (1u)
f u dx,
291
where
G(u) =
where
u2
K
( + 0)2 dx +
2
S 2 2
Z
K
F (1 u) =
u2 dx,
2 S
1
|u|2dx +
2
u2 dx,
u = {0 u, 1 u, 2u},
and
0 u = 0, 1 u = u, 2 u = u.
From Theorem 13.2.1 (here this is an auxiliary theorem through
which we obtain A , below indicated), we have
inf {J(u)} = inf sup {F (z ) G (v )},
uU
where
z Y1 v A
1
F (z ) =
2K
and
(z )2 dx,
S
Z
Z
Z
Z
1
1
(v1 )2
1
2
2
|v2 | dx+
(v0 ) dx+ v0 dx,
dx+
G (v ) =
2 S
2 S v0 + K
2 S
S
A = {v Y | v 1 z f = 0},
or
G (v ) hu, v iY G(u), u U, v A ,
z L2 (S)
sup {F (z )
z L2 (S)
f u dx G(u) , (13.10)
so that
sup
z L2 (S)
2K
Z
Z
(v1 )2
1
1
2
(z ) dx +
(v2 (z , v1 )) dx +
dx
2 S
2 S v0 + K
S
Z
Z
1
2
+
(v ) dx + v0 dx
2 S 0
ZS
F (1 u) + f udx G(u). (13.11)
z
and z = 0 on ,
K
(v ) dx v0 dx , (13.12)
dx
2 S v0 + K
2 S 0
S
where
B = {(z , v1 , v0) L2 (S; R3 ) |
1
2 z + v1 z = f, v0 + K > 0, a.e. in S, z = 0 on }.
K
The remaining conclusions follow from an application (with little
changes) of Theorem 8.1.27.
Remark 13.2.3. The relations
v2 =
z
and z = 0 on ,
K
293
2
2
2
|u| dx +
(u 1) dx +
|v|2 dx,
J(u, v) =
2 S
4 S
2 S
1
|S|
udx = m,
(13.13)
2 v = u m,
(13.14)
and
Z
vdx = 0.
(13.15)
G((u, v)) =
2
1
|u| dx +
4
S
Z
K
(u 1 + 0) dx +
u2 dx
2
S
S
Z
+
|v|2dx,
2 S
Z
0, if 1
udx = m,
Ind1 (u, v) =
|S| S
+, otherwise,
Z
Ind2 (u, v) =
0, if 2 v + u m = 0, a.e. in S,
+, otherwise,
Z
0, if
vdx = 0,
Ind3 (u, v) =
S
+, otherwise,
and,
Z
K
u2 dx.
F (u) =
2 S
Similarly to Theorem 13.2.1, through appropriate Lagrange multipliers for the constraints, we may write
{J(u, v)}
Z
F (z ) G (u , v ) + 1 m + 2 mdx ,
sup
inf
inf
(u,v)U V
z Y1 (u ,v ,)A
where
1
G (u , v ) =
2
|u1 |2 dx
1
+
2
Z
(u2 )2
dx + (u0 )2 dx
2u0 + K
S
Z
Z
1
|v |2 dx,
+ u0 dx +
2
S
S
(z )2 dx.
295
(u,v)U V
{J(u, v)}
Z
Z
Z
(u2)2
1
1
2
2
(z ) dx
|z | dx+
dx
{ 2
sup
2K S
2K S
2 S 2u0 + K
(z ,u ,v ,)C
Z
Z
Z
Z
1
2
2
|v | dx 1 m 2 mdx},
(u0 ) dx + u0 dx
2 S
S
S
S
where
C = C1 A2 A3 ,
2 z
1
C1 = {(z , u, ) Y |
u2 +z
2 = 0 a.e. in S
K
|S|
z
and
= 0 on }.
n
Remark 13.3.1. It is important to emphasize that by analogy
to Section 13.2, we may obtain sufficient conditions for optimality.
That is, if there exists a critical point for the dual formulation for
which 2u0 +K > 0 a.e. in S and K = /K0 (where K0 stands for the
constant related to P oincar
e inequality), then the corresponding
primal point through Legendre transform relations is also a global
minimizer and the last inequality is in fact an equality, as has been
pointed out in Theorem 13.2.2.
13.3.1. Another Two Phase Model in Polymers. The following problem has applications in two phase models in Polymers.
To minimize the functional J : U V R (here consider S R3
as above), where
Z
J(u, v) = |Du|(S) +
|v|2 dx,
2 S
under the constraints
udx = m,
S
2 v = u m,
(13.16)
(13.17)
where
1 2
2
J(u, v, ) =
|u|dx +
|v| dx +
(u 1)dx
2 S
S
S 2
Z
Z
+ 2
udx m + 3 (2 v + u m)dx, (13.18)
S
|v|2 dx,
G((u, v)) =
|u|dx +
2
S
S
here : U V Y = L2 (S; R3 ) L2 (S; R3 ) is defined as
Z
(u, v) = {1 u = u, 2v = v}
and
F (u, v, ) = 2
Z
Z
udx m + 3 (2 v + u m)dx
S
S
Z
1 2
(u 1)dx.
+
S 2
Defining
Z
U = (u, v) U V |
udx = m, 2 v + u m = 0,
S
u2 = 1 a.e. in S ,
(u,v)U
sup
(v ,)Y B
{G (v ) F ( v , )},
where
1
G (v ) = sup{hv, v iY G(v)} =
2
vY
and
Ind0 (v1 )
297
0, if |v1 |2 1, a.e. in S,
+, otherwise.
We may define
Ind1 (v1 )
0, if v1 n = 0, on ,
+, otherwise,
and
0, if div(v2 ) 2 3 = 0, a.e. in S,
3
= 3 = 0 on ,
v2 n +
n
Ind2 (v2 ) =
+, otherwise,
so that
F ( v , ) =
Therefore, we can summarize the last results by the following duality principle,
Z
1
inf {G((u, v)) + F (u, v, )} =
sup
|v2 |2 dx
2
(u,v)U
(v ,)A B
S
Z
Z
where
a.e. in S and v1 n = 0, on }.
1
G(u) =
2
and
1
F (u) =
2
we may write
((u,x )2 1)2 dx
1
0
(u f )2 dx
u = {u,x , 0}.
G(u)+F (u) inf {hp0 , v0 iL2 (S) hp1 , v1 iL2 (S) +G(u+p)+F (u)}
pY
or
G(u) + F (u) inf {hq0 , v0 iL2 (S) hq1 , v1 iL2 (S) + G(q)
pY
Here q = u + p so that
299
That is
G(u) + F (u) G (v ) + inf {h0, v0iL2 (S) + hu,x, v1 iL2 (S) + F (u)},
uU
or
inf {G(u) + F (u)} sup {G (v ) F ( v )}
uU
v A
where
Z
Z
1
1
(v1 )2
dx +
G (v ) =
(v )2 dx,
2 S v0
2 S 0
if v0 > 0, a.e. in S. Also
Z
1
[(v1 ),x ]2 dx + hf, (v1 ),x iL2 (S) v1 (1)u(1)
F ( v ) =
2 S
and
A = {v Y | v0 > 0, a.e. in S}.
z Y v B (z )
(13.20)
where
Z
1
(z )2 dx,
=
2K S
Z
Z
2
(v
)
1
1
2
(v , v ) =
(v0 )2 dx,
dx +
G
0 2
2 S v0 + K
2 S
F1 (z )
0.6
0.5
0.4
0.3
0.2
0.1
0.1
0.2
0.4
0.6
0.8
(v1 )
1
=
2
and
B (z ) = {v Y | (v2 ),x +v1 z = 0 and v0 0 a.e. in S}.
We developed an algorithm based on the dual formulation indicated in (13.20). It is relevant to emphasize that such a dual
formulation is convex if the supremum indicated is evaluated under
the constraint v0 0 a.e. in S (this results follows from the traditional Weierstrass condition, so that there is no duality gap between
the primal and dual formulations and the inequality indicated in
(13.20) is in fact an equality).
We present numerical results for f (x) = 0 (see figure 1), f (x) =
0.3 Sin( x) (figure 2) and f (x) = 0.3 Cos( x) (figure 3).
The solutions indicated as optima through the dual formulations
(denoted by u0 ), are in fact weak cluster points of minimizing sequences for the primal formulations.
13.5.
301
0.5
0.45
0.4
0.35
0.3
0.25
0.2
0.15
0.1
0.05
0
0.2
0.4
0.6
0.8
Figure 2. Vertical axis: u0 (x)-weak limit of minimizing sequences for f (x) = 0.3 Sin( x)
0.5
0.45
0.4
0.35
0.3
0.25
0.2
0.15
0.1
0.05
0
0.2
0.4
0.6
0.8
Figure 3. Vertical axis: u0 (x)-weak limit of minimizing sequences for f (x) = 0.3 Cos( x)
13.5. A New Path for Relaxation
Similarly as in Theorem 13.2.1, we may prove:
inf {G1 (u) + G2 (u) F (u) hu, f iU }
uU
z Y v Y
where,
G1 (u) =
|u|2 dx,
2 S
Z
|u|4 dx,
G2 (u) =
4 S
and
Z
|u|2 dx.
F (u) =
2 S
Also
Z
1
F (z ) =
|z |2 dx,
2 S
Z
3
G2 (z + div(v ) + f ) =
(z + div(v ) + f )4/3 dx.
41/3 S
and
Z
1
|v |2 dx.
G1 (v ) =
2 S
Let us denote
and
J (v , z ) = F (z ) G2 (z + div(v ) + f ) G1 (v ),
J1 (v , z ) = F (z ) G2 (z + div(v ) + f ) hu, v iY
Z
+
|u|2 dx.
2 S
The Euler-Lagrange equations for this last functional, are given by
F (z ) G2 (z + div(v ) + f )
= 0, in S
(13.21)
z
z
and
G2 (z + div(v ) + f )
u
= 0, in S
(13.22)
z
that is
1/3
z
z + div(v ) + f
=
, in S
(13.23)
and
1/3
z + div(v ) + f
u
= 0, in S.
(13.24)
(z )3 = ()3 (z + div(v ) + f ), in S.
(13.25)
13.5.
303
Let us denote by {zk }, where k {1, 2, 3}, the three roots of (13.25),
which at first are assumed to be all real, and define
Jk (v , zk ) = F (zk ) G2 (zk + div(v ) + f )
Z
1
hzk , v iY /() +
|zk |2 dx. (13.26)
2()2 S
Denoting
uk =
zk
F (zk )
=
z
we obtain
and from (13.23),
G2 (zk + div(v ) + f )
,
z
that is
G2 (zk + div(v ) + f ) = huk , zk + div(v ) + f iU G2 (uk ).
Therefore
J1 (v , zk )
Henceforth we denote
=
4
|uk | dx
|uk |2 dx
2 S
S
Z
+
|uk |2 dx inf {J(u)}.
uU
2 S
Z
F (u) =
G2 (u) =
f(u) dx,
where
Therefore
g2 (u) dx,
S
2
u dx,
f(u) =
2
g2 (u) = |u|4 .
4
Z
F (z ) =
f (z ) dx,
S
Z
G2 (v ) =
g2 (v ) dx,
S
(13.27)
being
1
(z )2 ,
f (z ) =
2
and
g2 (v ) =
3
|v |4/3 .
1/3
4
and
z =
3
X
k zk .
k=1
F (z ) =
Z X
3
S k=1
= h
= h
3
X
k f (zk ) dx
k u k ,
k=1
k=1
3
X
3
X
k u k ,
3
X
k=1
k=1
k zk iY
k zk iY
Z X
3
k ) dx
k f(u
S k=1
F(
3
X
k uk ),
(13.28)
k=1
and by analogy
G2 (z
+ div(v ) + f ) =
Z X
3
S k=1
= h
3
X
k g2 (zk + div(v ) + f ) dx
k u k ,
k=1
k=1
G2 (
3
X
3
X
k=1
k zk + div(v ) + f iY
k uk ).
(13.29)
13.5.
305
Thus,
J1 (v , z ) = F (z ) G2 (z + div(v ) + f )
Z
|u|2 dx
hu, v iY +
2 S
Z X
Z X
3
3
=
k f (zk ) dx
k g2 (zk + div(v ) + f ) dx
S k=1
S k=1
3
X
zk ), v iY /() +
h(
2()2
k=1
!2
Z
3
X
k zk dx
S
k=1
(13.30)
(v ,)Y B
3
X
k=1
S k=1
S k=1
k zk
, v
!2
Z
3
/() +
k zk dx
2()2 S
k=1
where
B = { = (1 , 2 , 3 )
measurable |
3
X
k = 1, a.e. in S}.
k {0, 1},
k=1
(13.32)
u = 0 on 0 and u = uf , on 1 .
Here 0 denotes the internal boundary of S and 1 the external
one. Assume 0 is smooth and consider the simpler case where
1 = 20 .
Finally, also suppose there exists r(), a smooth function such that
0 = {(, r()) | 0 2},
(13.33)
and
u = 0 on 0 and u = uf , on 1 .
Define the variable t by
r
t=
.
r()
Also defining u by
u(r, ) = u(t, ),
dropping the bar in u, equation (13.32) is equivalent to
1
u
2u
+ ( f2 ())
2
t
t
t
2
1
u
f4 () 2 u
+
f3 ()
+ 2
= 0,
t
t
t 2
in S. Here f2 (), f3 () and f4 () are known functions.
More specifically, denoting
f1 () =
we have:
f2 () = 1 +
r ()
,
r()
f1 ()
,
1 + f1 ()2
(13.34)
f3 () =
307
2f1 ()
,
1 + f1 ()2
and
1
,
1 + f1 ()2
Observe that t [1, 2] in S. Discretizing in t (N equal pieces
which will generate N lines ) we obtain the equation
un+1 2un + un1 un un1 1
+
( f2 ())
d2
d
t
(un un1 ) 1
2 un f4 ()
+
f3 () +
= 0,
(13.35)
td
2 t2
n {1, ..., N}. Here, un () corresponds to the solution on the line
n. Thus we may write
f4 () =
un = T (un1, un , un+1 ),
where
un+1 + un1 d2 un un1 1
T (un1, un , un+1) =
( f2 ())
2
2
d
t
2
un f4 ()
(un un1 ) 1
f3 () +
. (13.36)
+
td
2 t2
309
0 = dkTk < 1,
we have that {xk } is (Cauchy) convergent. Through a standard
procedure for this kind of sequence, we may obtain
1
kxk+1 x1 k
kx2 x1 k,
1
so that denoting u1 = lim xk , we get
k
1
dkT kku2/2k,
1
Having such an estimate, we may similarly obtain
ku1 u2 /2k
u2 u3 + O(d),
and generically
This last calculation is just to clarify that the procedure of obtaining the relation between consecutive lines through the contraction
mapping theorem is well defined. Anyway, we postpone a more
complete analysis of the approximation error for a future work.
311
(13.37)
Line 3 :
u3(x) = 0.3uf (x) + 0.075f2(x)uf (x)
+0.075f3(x)uf (x) + 0.020f4 (x)uf (x)
+0.045ABf5 (x)uf (x) 0.015Af5 (x)u3f (x)
Line 4 :
u4(x) = 0.4uf (x) + 0.083f2(x)uf (x)
+0.083f3(x)uf (x) + 0.024f4 (x)uf (x)
+0.056ABf5 (x)uf (x) 0.019Af5 (x)u3f (x)
Line 5 :
u5(x) = 0.5uf (x) + 0.084f2(x)uf (x)
+0.084f3(x)uf (x) + 0.026f4 (x)uf (x)
+0.062ABf5 (x)uf (x) 0.023Af5 (x)u3f (x)
Line 6 :
u6(x) = 0.6uf (x) + 0.079f2(x)uf (x)
+0.079f3(x)uf (x) + 0.026f4 (x)uf (x)
+0.063ABf5 (x)uf (x) 0.026Af5 (x)u3f (x)
Line 7 :
u7(x) = 0.7uf (x) + 0.068f2(x)uf (x)
+0.068f3(x)uf (x) + 0.022f4 (x)uf (x)
+0.059ABf5 (x)uf (x) 0.026Af5 (x)u3f (x)
Line 8 :
u8(x) = 0.8uf (x) + 0.051f2(x)uf (x)
+0.051f3(x)uf (x) + 0.018f4 (x)uf (x)
+0.048ABf5 (x)uf (x) 0.023Af5 (x)u3f (x)
313
Line 9 :
u9 (x) = 0.9uf (x) + 0.045f2 (x)uf (x)
+0.045f3 (x)uf (x) + 0.010f4 (x)uf (x)
+0.028ABf5 (x)uf (x) 0.015Af5 (x)u3f (x).
Remark 13.6.7. Observe that 1 could be any multiple of
0 , in fact any real number greater than 1 multiplied by 0 . Of
particular interest is the case where 1 = k0 and k +. In
this case we simulate + through a big real number. Finally,
the Generalized Method of Lines may be adapted very easily for
cartesian coordinates.
13.7. A Simple Numerical Example
Just to illustrate the possibilities of the generalized method of
lines, consider the equation
2 u = 2 u, in S,
where
S = {(r, ) | 1 r 2, 0 2},
u = u on 0 and 1 ,
Line 2
Line 3
13.8. CONCLUSION
315
Line 4
u[4] = 1.95811 cos(x) u[4] = 1.96 cos(x)
Line 5
u[5] = 2.24248 cos(x),
Line 6
Line 7
Line 8
Line 9
Remark 13.7.1. We expect the error decreases as we increase the number of lines. Specifically for this example high order
approximations are not necessary.
13.8. Conclusion
In this article we have developed a dual variational formulation
for a Ginzburg-Landau type equation. The dual approach obtained
is represented by a concave functional. Also, sufficient conditions
of optimality are provided. Finally, in the last section we introduce
the new Generalized Method of Lines and it is important to emphasize that the results developed may be applied to a great variety
of situations. An application for the compressible Navier-Stokes
system is planned for a future work.
CHAPTER 14
dx =
(x)dx = t1
dx = t1 ||.
(14.2)
(14.3)
(14.4)
318
T
T
(u) Q1 u +
(u) Q0 u dx (14.5)
I(, u) =
2
2
subject to
div[L1 u + (1 )L0 u] = P (x)
(14.6)
0, if (tL1 + (1 t)L0 )u f = 0,
+, otherwise,
and
Ind2 (u, f ) =
0, if div(f ) = P a.e. in ,
+, otherwise.
Here
B = {t measurable | t(x) {0, 1}, a.e. in ,
t(x)dx = t1 ||}.
319
where
G(u, f ) =
Z
(1 t)
t
T
T
((u) Q1 u) +
((u) Q0 u) + Ind1 (u, f ) dx
inf
tB
2
2
Z
K
+
|u|2 dx, (14.7)
2
Z
K
F (u) =
|u|2 dx
2
and
G1 (f ) = Ind2 (f ).
Thus, we may write
inf
(u,f )U Y
{J(u, f )}
sup
(v ,)C U
{ inf {F (z ) G (v + z , )
z Y
(14.8)
where
G (v + z , f ) =
sup
(u,f )U Y
that is,
G (v + z , )
Z
1
= sup
((v + z , ) )Q(t)((v + z , )) dx ,
2
tB
and
(v + z , ) = (v + z + (t(L1 ) + (1 t)L0 )T ),
1
F (z ) =
2K
Finally,
|z |2 dx.
t(x)dx = t1 ||}.
320
u U, v , z Y , f Y , so that
u U, v C , z Y , f Y , and thus
u U, v C , z Y , f Y .
Taking the supremum in z at both sides of last inequality, we
obtain
z Y
u U, v C , f Y . and hence
inf {F (z ) G (v + z , )
inf {J(u, f )}
sup
(u,f )U Y
(v ,)C
z Y
(14.12)
14.4. CONCLUSION
321
CHAPTER 15
(15.2)
and
Z
where
C = {t measurable | t(x) [0, 1], a.e. in S},
323
(15.3)
324
(15.5)
where h(x) = t(x)h1 + (1 t(x))h0 and {A } is a positive definite matrix related to Hookes Law. Observe that 0 t(x)
1, a.e. in S.
15.2. The Main Duality Principles
The next theorem is also relevant for the subsequent results. A
similar result may be found in [6]. We develop a proof again for
the sake of completeness.
Theorem 15.2.1. Let U be a Banach space. Consider the
(F 1 ) : U R,
such that
l.s.c. functionals (G ) : U R,
is bounded below, where
J : U R
J(u)
= G (u) F (1 u) hu, f iU .
z Y
v A
where,
A = {v Y | v = f }.
F (1 u) G (u) + hu, f iU + , u U.
u U, z Y . Therefore
v1 Y1
uU
325
That is,
inf
z Y
sup {F (L z ) G (v + z )}
v A
inf {F (L z ) G (v + z )} ,
inf {J(u)} sup
uU
v A
z Y
where
A = {v Y | v = f }.
326
= .
z
z
Moreover, assume the second variation related to z Y of J (v , z )
is positive definite at z (v ), in the sense that
z2 (J (v , z (v )), ) > 0, C0 , 6= .
uu
(15.8)
inf {F (L z ) G (v + z )} .
sup
v A
z Y
inf sup {F (L z ) G (v + z )}
z Y
v A
inf {F (L z ) G (v + z )} .
= sup
v A
z Y
327
that is,
F (L z )+G (v +z ) hu, f iU F (L z )+h1u, L z iY1 G(u),
u U, z Y , v A , so that
sup {F (L z ) + G (v + z )}
z Y
z Y
v A , u U
which means
inf {J(u)} sup
uU
v A
where
inf {F (L z ) G (v + z )} ,
z Y
A = {v Y | v = f }.
Similarly we may obtain
inf {G (u) F (1u) hu, f iU }
inf {F (L z ) G (v + z )} . (15.10)
sup
uU
v A
z Y
(v ) inf {J (v , z )}.
z Y
328
Thus
lim inf {F (L zn )} F (L z ),
n
G (v + zn ) G (v + z ), as n .
(v ) = lim inf {F (L zn ) G (v + zn )} F (L z ) G (v + z ).
n
In particular, denoting z0 = z (v0 ) = z0 , we recall that z0 is obtained through the extremal equation
F (L z0 ) G (v0 + z0 )
= .
(15.11)
z
z
Taking the variation of (15.11) in v , we obtain
2 F (L z0 ) z0 2 G (v0 + z0 ) z0 2 G (v0 + z0 )
= ,
(z )2 v
(z )2
v
z v
and considering the hypothesis about the second variation in z of
J (v0 , z ), we may infer that
z0
v
is well defined. From the extremal equation (15.7)
F (L z0 ) G (v0 + z0 ) z0 G (v0 + z0 )
u0 +
= ,
z
z
v
v
and (15.11), we obtain
u0
G (v0 + z0 )
= ,
v
(15.12)
so that
G (v0 + z0 ) = hu0 , v0 + z0 iY G (u0).
(15.13)
F (L z0 ) = h1 u0 , L z0 iY1 F (1 u0 ).
(15.14)
329
(15.15)
From this and (15.10) we have that (15.8) holds, that is,
inf {G (u) F (1 u) hu, f iU } =
uu
inf {F (L z ) G (v + z )} .
sup
v A
z Y
and thus
F (L z0 ) + sup {G (v + z0 )} = F (L z0 ) G (v0 + z0 ).
v A
inf sup {F (L z ) G (v + z )}
z Y
v A
inf {F (L z ) G (v + z )} .
= sup
v A
z Y
0, if f = H (t)w, ,
+, otherwise,
(15.17)
330
Ind2 (w, f ) =
0, if f, = P, a.e in S,
+, otherwise,
(15.18)
: U Y is given by
w = {w, },
and
B = {t measurable | t(x) [0, 1] a.e. in S,
Z
(w,f )U Y
{J(w, f )} = inf
tB
wU
where
G(w, f, t) =
Z
S
H (t)
w, w, + Ind1 (w, f )
2
dx,
and
F (w, f ) = Ind2 (w, f ).
From Theorem 8.2.5, we may write
inf
(w,f )U Y
{G(w, f, t) + F (w, f )}
sup
(v ,f )Y Y
{G (v , f , t) F ( v , f )}, (15.21)
where
G (v , f , t) =
sup
(v,f )Y Y
{hv , v
iL2 (S) +hf , f
iL2 (S) G(v, f, t)},
or
G (v , f , t) =
sup
(v,f )Y Y
hv , v
iL2 (S) + hf , f
iL2 (S)
Z
S
H (t)
v v + Ind1 (v, f ) dx ,
2
331
so that
G (v , f , t) =
sup
(v,f )Y Y
hv , v
iL2 (S) + hH (t)v , f
iL2 (S)
H (t)
v v dx . (15.22)
2
H (t)f
f
dx + hv
, f
iL2 (S)
G (v , f , t) =
2 S
Z
1
(t)v v dx,
H
+
2 S
where
(t)} = {H (t)}1 .
{H
On the other hand
F ( v , f )
=
sup
(w,f )U Y
iL2 (S) hf , f
iL2 (S) F (w, f )},
{hw, , v
or
F ( v , f )
=
sup
(w,f )U Y
{hw, , v
iL2 (S) hf , f
iL2 (S) Ind2 (w, f )},
that is,
F ( v , f )
sup
(w,f )U Y
{hw, , v
iL2 (S) hf , f
iL2 (S) +hw,
f, P iL2 (S) },
F ( v , f ) =
+, otherwise,
(15.23)
where
B = {(v , f ) Y Y | f
= w, , v,
= 0, in S}.
332
H (t)w, w, dx hv
, w, iL2 (S)
sup
2
(v ,w)B
S
Z
1
H (t)v v dx + hw,
P iL2 (S) .
2 S
inf
(w,f )U Y
(w,f )U Y
{G(w, f, t) + F (w, f )}
Z
1
= sup
H (t)w, w, dx + hw,
P iL2 (S) ,
2 S
wU
Z
1
H (t)M M dS ,
=
inf
{M }D
2 S
where
D = {{M } Y | M, + P = 0, in S}.
And thus, the final format of the concerned duality principle would
be
Z
1
(t)M M dS .
inf {J(w, f )} =
inf
H
(w,f )U Y
(t,{M })BD
2 S
15.4. A Concave Dual Formulation
Our next result is a concave dual variational formulation.
as
Theorem 15.4.1. Define J : U Y R,
J(w, f ) = G(w) + G1 (w, f ) F (w),
333
where
G(w, f ) = inf
tB
Z
S
H (t)
w, w, + Ind1 (w, f ) dx
2
Z
K
+
w, w, dx, (15.24)
2 S
Ind1 (w, f ) =
Ind2 (w, f ) =
0, if f = H (t)w, ,
+, otherwise,
(15.25)
0, if f, = P, a.e in S,
+, otherwise,
(15.26)
: U Y is given by
w = {w, },
K
F (w) =
2
and
w, w, dx
sup
+ hw,
P iL2 (S) } ,
inf {F (z ) G (z + v , w)
inf
(w,f )U Y
(wv
)U B
z Y
where
1
F (z ) =
2K
and
G (z , f ) =
sup
(v,f )Y Y
z
z
dx,
334
or more explicitly,
Z
1
K (t)z z dx
H
G (z , f ) = sup
2 S
tB
Z
1
K (t)H (t)f z dx
+
H
(15.27)
2 S
Z
1
K
Here
(t)} = {H (t)}1 and {H
K (t)} = {H (t) + KI}1 ,
{H
B = {v Y | v,
= 0 in S}.
sup
(w,f )U Y
or
G1 ( v , f )
=
sup
(w,f )U Y
Thus
G1 ( v , f )
where
hw,
P iL2(S) , if (v , f ) B1 ,
+, otherwise,
B1 = {(v , f ) Y Y | f
= w, , v,
= 0, in S}.
G (z + v , w)
hw,P
iL2 (S) = hw, z iY + hw, v iY
+ hf, wi
Y G(w, f ) hw,
P iL2 (S)
(z , v , w)
Y B U, w U, f Y. From last inequality we
obtain
F (z ) + G (z + v , w)
hw,
P iL2(S)
335
(z , v , w)
Y B U, w U, f Y. Taking the supremum
z Y
(w,f )U Y
{J(w, f )}
sup
(w,v
)U B
inf {F (z )
z Y
G (z + v , w)
+ hw,
P iL2 (S)
. (15.28)
Remark 15.4.2. The last results are similar to those of Theorem 15.2.2, however the latter problem has a format slightly different from the one of such a theorem, so that we preferred to develop
in details the dual formulation. We conjecture that if K > 0 is
big enough, so that a minimizing sequence for the primal problem
is inside the region of convexity of G(w, f ) + G1 (w, f ), then the
inequality indicated in (15.28) is in fact an equality. Finally, it is
worth noting that the dual problem seems to be simple to compute.
15.5. Duality for a Two-Phase Problem in Elasticity
In this section we develop duality for a two phase problem in
elasticity. Consider V R3 , and open connected bounded set with
a sufficiently regular boundary denoted by V = S0 S1 , where
S0 S1 = . Here V stands for the volume of a elastic solid under
the action of a load P L2 (V ; R3 ). The field of displacements is
denoted by u = (u1 , u2, u3 ) U where
U = {u W 1,2 (V ; R3 ) | u = (0, 0, 0) on S0 }.
(15.29)
(15.30)
336
(15.31)
u U and
,j
+ Pi = 0, in V,
dx t1 |V |,
(15.33)
(15.34)
and also Y = L2 (V ; R9 ).
By analogy to last section, we may obtain
Z
1
inf {J(u, f )} =
inf
Hijkl (t)ij kl dx ,
(u,f )U Y
(t,)BB
2 V
where
ijkl } = {Hijkl(t)}1 ,
{H
B = { Y | ij,j + Pi = 0, in V, ij nj = 0 on S1 },
and
337
(u,f )U Y
z Y
(
u,v )U C
where
1
F (z ) =
2K
and
+h
u, P iL2(S;R3 ) } ,
Z
1
K (t)z z dx
G (z , f ) = sup
H
ijkl
ij kl
2
tB
S
Z
1
K (t)Hklop (t)fop
+
H
zij dx
(15.36)
2 S ijkl
Z
1
K
(t)Hopmn (t)f f dx .
Hijkl (t)H
+
klop
mn ij
2 S
Here
and
Finally
C = {v Y | vij,j
= 0 in V, vij nj = 0, on S1 }.
Also observe that the last dual functional, now denoted by J (v , u),
may be written as
Z
1
J (v , u) = inf inf
zij zij dx
tB z Y
2K S
Z
1
K (t)(z + v )(z + v ) dx
H
ij
ij
kl
kl
2 S ijkl
Z
1
K
ijkl
H
(t)Hklop (t)eop (
u)(zij + vij ) dx
2 S
Z
1
K
(t)Hopmn (t)emn (
Hijkl(t)H
u)eij (
u) dx
klop
2 S
+h
u, P iL2 (S;R3 ) .
(15.37)
338
(15.39)
and
Z
(15.40)
where
C = {t measurable | t(x) [0, 1], a.e. in S},
t1 = 0.46 (in this example) and |S| denotes the Lebesgue measure
of S. Moreover,
U = W02,2 (S) = w W 2,2 (S) | w = 0 on .
(15.41)
We develop numerical results for the particular case where,
H (t) = H(t) = h(t)3 E,
(15.42)
inf {J(w, f )} =
inf
H(t)M
M dS .
(w,f )U Y
(t,{M })BD
2 S
where
D = {{M } Y | M, + P = 0, in S, M n n = 0 on }.
We have computed the dual problem for S = [0, 1] [0, 1] and a
vertical load acting on the plate given by P (x) = 10000, obtaining
the results indicated in the respective figures, for t(x) and w0 (x).
15.7. CONCLUSION
339
1
0.8
0.6
0.4
0.2
0
1
1
0.8
0.5
0.6
0.4
0
0.2
0
0
0.002
0.004
0.006
0.008
0.01
0.012
1
1
0.8
0.5
0.6
0.4
0
0.2
0
340
in a second step, for a two-phase problem in elasticity. The infima in t indicated in the dual formulations represent the structure
search for stiffness in the optimization process, which implies the
minimization of the internal work. In some cases the primal problem may not have solutions, so that the solution of dual problem is
a weak cluster point of minimizing sequences for the primal formulation. We expect the results obtained can be used as engineering
project tools.
CHAPTER 16
2
|m|2 dx + (m(x)) dx H(x) m dx
J(m, f ) =
2
Z
1
+
|f (z)|22 dz, (16.1)
2 R3
where
m = (m1 , m2 , m3 ) W 1,2 (; R3 ) Y1 , |m(x)|2 = 1, a.e. in
(16.2)
and f L2 (R3 ; R3 ) Y2 is the unique field determined by the
simplified Maxwells equations
Curl(f ) = 0, div(f + m ) = 0, a.e. in R3 .
(16.3)
|m|22 dx
341
342
k=1
and
|m|22 =
3
X
k=1
|mk |22 .
where
Z
1
G(m, f ) =
min{g1 (m), g2 (m)} dx +
|f (z)|22 dz
2
3
R
+ Ind0 (m) + Ind1 (f ) + Ind2 (m, f ),
Z
and
F (m) =
Here,
H(x) m dx.
g1 (m) = (1 + m e),
g2 (m) = (1 m e),
0,
if |m(x)|2 = 1 a.e. in ,
Ind0 (m) =
+, otherwise,
0,
if div(f + m ) = 0 a.e. in R3 ,
Ind1 (m, f ) =
+, otherwise,
and
0,
if Curl(f ) = , a.e. in R3 ,
+, otherwise.
The dual functional for such a variational formulation can be
expressed by the following duality principle:
inf (m,f )Y1 Y2 {J(m, f )}
( ( Z 3
X 2
+ Hi + (1 2t)ei )2 )1/2 dx
sup
inf ( (
tB
k=1 xi
(1 ,2 )Y
Z
Z
1
|Curl 1 2 |2 dx
+ dx (16.5)
2 R3
Ind2 (f ) =
where
and
2
|m|2 dx + min{g1 (m), g2 (m)} dx
G(m, f ) =
2
Z
1
+
|f (z)|22 dz + Ind0 (m) + Ind1 (m) + Ind2 (m), (16.6)
2 R3
and
Z
F (m, f ) =
H m dx.
Also,
g1 (m) = (1 + m e),
and
g2 (m) = (1 m e),
0,
if |m(x)|2 = 1 a.e. in ,
Ind0 (m) =
+, otherwise,
0,
if div(f + m ) = 0 a.e. in R3 ,
Ind1 (m, f ) =
+, otherwise,
Ind2 (f ) =
0,
if Curl(f ) = , a.e. in R3 ,
+, otherwise.
344
)
Z X
3
2 2 1/2
( (div(yi) + Hi + (1 2t)ei +
) ) dx
x
i
i=1
Z
Z
1
2
|2 Curl 1 |2 dz +
dx, (16.7)
2 R3
where
B = {t measurable | t(x) [0, 1], a.e. in },
Y0 = {y W 1,2 (; R33 ) | yi n = 0 on , i {1, 2, 3}},
and
mV
y A
where
A = {y Y | y f = 0}.
345
y A .
Remark 16.3.2. What seems to be relevant is that, when
computing (G ) ( y ), we obtain a duality which is perfect
concerning the convex envelope of the primal formulation.
16.4. The Duality Principle for the Hard Case
We recall the primal formulation for the hard uniaxial case,
expressed by J(m, f ) where
J(m, f ) = G(m, f ) + F (m),
Z
Z
1
|f (z)|22 dz
G(m, f ) =
min{g1 (m), g2 (m)}dx +
2
3
R
+ Ind0 (m) + Ind1 (f ) + Ind2 (m, f ),
and
F (m, f ) =
Also,
H(x) m dx.
g1 (m) = (1 + m e),
g (m) = (1 m e),
2
0,
if |m(x)|2 = 1 a.e. in ,
Ind0 (m) =
+, otherwise,
0,
if div(f + m ) = 0 a.e. in R3 ,
Ind1 (m, f ) =
+, otherwise,
and
0,
if Curl(f ) = , a.e. in R3 ,
Ind2 (f ) =
+, otherwise.
From Theorem 16.3.1, we may write
inf
(m,f )Y1 Y2
{J(m, f )}
sup
(m ,f )Y1 Y2
{G (m , f ) F (m , f ))}. (16.8)
sup
(m,f )Y1 Y2
346
or
G (m , f ) =
sup
(m,f )Y1 Y2
R3
|f (z)|22 dz
(16.9)
That is,
G (m , f ) =
sup
(m,f )Y1 Y2
inf
tB
R3
|f (z)|22 dz
(16.10)
where
B = {t measurable | t(x) [0, 1], a.e. in }.
Thus,
G (m , f ) =
sup
(m,f,t)Y1 Y2 B
R3
|f (z)|22 dz
(16.11)
or,
G (m , f ) = sup{
sup
tB (m,f )Y1 Y2
R3
|f (z)|22 dz
(16.12)
347
Hence
G (m , f ) = sup{
sup
tB (m,f )Y1 Y2
R3
|f (z)|22 dz
3
X 2
(
m 1)dx hCurl(f ), 1iL2 (R3 ,R3 )
2 i=1 i
|f (z)|22 dz
R3
3
X 2
(
m 1)dx hCurl(f ), 1iL2 (R3 ;R3 )
2 i=1 i
2
=0
xi
or
mi =
mi + (1 2t)ei +
2
xi
=0
we obtain
m2i 1 = 0
3
X
2 2 1/2
= ( (mi + (1 2t)ei +
) ) .
x
i
i=1
348
xi
tB (1 ,2 )Y
i=1
Z
Z
1
2
|f + Curl 1 2 |2 dx
dx.
+
2 R3
Furthermore
F (m , f )
=
sup
(m,f )Y1 Y2
F (m , f )
=
Z
{hm, m iL2 (;R3 ) +hf, f iL2 (R3 ;R3 ) H(x)m dx},
sup
(m,f )Y1 Y2
so that
F (m , f ) =
where
0,
+,
if (m , f ) B ,
otherwise,
(16.13)
(m,f )Y1 Y2
{J(m, f )} =
( Z
3
X
2 2 1/2
) ) dx
tB
xi
i=1
(1 ,2 )Y
Z
Z
1
2
|Curl 1 2 |2 dx + dx , (16.14)
2 R3
where
B = {t measurable | t(x) [0, 1], a.e. in },
and
Y = {(1 , 2 ) W 1,2 (R3 ; R3 ) W 1,2 (R3 ) | 2 = 0 on }.
inf
sup
(Hi + (1 2t)ei +
Thus, interchanging the infimum and supremum in the dual formulation we finally obtain,
{G(m, f ) + F (m, f )}
( ( Z 3
X 2
+ Hi + (1 2t)ei )2 )1/2 dx
sup
inf ( (
tB
x
i
i=1
(1 ,2 )Y
Z
Z
1
2
|Curl 1 2 |2 dx
+ dx
(16.15)
2 R3
where
B = {t measurable | t(x) [0, 1] a.e. in }.
and
Y = {(1 , 2 ) W 1,2 (R3 ; R3 ) W 1,2 (R3 ) | 2 = 0 on }.
inf
(m,f )Y1 Y2
where
1
G(m, f ) =
min{g1 (m), g2 (m)}dx +
2
R3
|f (z)|2 dz
K
K
hm, miY1 ||,
2
2
and
F (m, f ) = Ind0 (m) + Ind1 (f ) + Ind2 (m, f )
Here we have defined,
H(x) mdx.
g1 (m) = (1 + m.e),
g (m) = (1 m.e),
2
0,
if |m(x)|2 = 1 a.e. in ,
Ind0 (m) =
+, otherwise,
350
Ind1 (m, f ) =
0,
if div(f + m ) = 0 a.e. in R3 ,
+, otherwise,
and
Ind2 (f ) =
0,
if Curl(f ) = , a.e. in R3 ,
+, otherwise.
(m,f )Y1 Y2
(m ,f )Y1 Y2
{G (m , f ) F (m , f ))}. (16.16)
sup
(m,f )Y1 Y2
or
G (m , f ) =
sup
(m,f )Y1 Y2
R3
|f (z)|2 dz
K
K
hm, miY1 + ||}, (16.17)
2
2
that is,
G (m , f )
2
Z
Z
1
K
2
2
|m | dx +
|m e| dx +
||
=
|e| +
2K
K
2
2
Z
1
|f |2 dx.
+
2 R3
On the other hand
F (m , f )
=
sup
(m,f )Y1 Y2
that is,
F (m , f ) =
sup
(m,f )Y1 Y2
Hence, as the evaluation of this last supremum is a quadratic optimization problem, so that we may write:
F (m , f ) =
sup
(m,f )Y1 Y2
3
X
(
m2i 1)dx hCurl(f ), 1iL2 (R3 ,R3 )
2
i=1
Z
hdiv(f + m ), 2 iL2 (R3 ) + H(x) m dx},
(16.19)
we obtain
3
X
2 2
)
(mi + Hi +
x
i
i=1
!1/2
2 2
F (m , f ) = inf {
(mi + Hi +
dx}.
)
x
(1 ,2 )Y
i
i=1
352
1
2
sup {
|m |2 dx
|m e| dx
2K
K
m
Y
2
K
||
|e|22 +
2
2
!1/2
Z
3
X
2 2
(mi + Hi +
dx
)
x
i
Z i=1
1
|Curl 1 2 |22 dx},
2 R3
inf
(m,f )Y1 Y2
where
(16.20)
m
= (m , 1 , 2 ),
Y = Y Y ,
1
and
Y = {(1 , 2 ) W 1,2 (R3 ; R3 ) W 1,2 (R3 ) | 2 = 0 on }.
Remark 16.5.1. The last inequality is in fact an equality, considering that the dual formulation is concave and coercive, so that
through an application of the direct method of calculus of variations, we may infer that supremum is attained with a corresponding
point that solves the primal formulation. Thus the equality follows
from the standard relations between primal and dual functionals.
Denoting
Z
K
K
G1 (m, f ) =
min{g1 (m), g2 (m)}dx + hm, miY1 ||,
2
2
1 (m ) = 1
G
2K
|m |22
dx +
K
and
(m , 2 ) =
G
2
3
X
|m e| dx
2
K
2
||,
|e| +
+
2 2
2
2 2
(mi + Hi +
)
x
i
i=1
!1/2
dx,
the optimality conditions for the dual problem are given by:
and
1 (m ) + G
2 (m , 2 ),
G
div(Curl 1 2 ) div G2 (m , 2 ) ,
Curl(Curl1 2 ) = , in R3 .
(m ) = hm0i , m iL2 () G
(m0 ).
G
1
i
1
(16.21)
Also
that is:
(m , 2 ),
m0 G
2
(16.23)
Finally,
Z
1
|Curl1 2 |22 dx = hf0 , Curl 2 iL2 (R3 ,;R3 )
2 R3
Z
1
(m0 ) +
|f0 |22 dx hm0 , HiL2 (,R3 )
G
1
2 R3
Ind0 (m0 ) + Ind1 (m0 , f0 ) + Ind2 (f0 )
Z
1
(m ) G
(m , 2 )
= G
|Curl 1 2 |22 dx.
1
2
2 R3
354
2
|m|2 dx + min{g1 (m), g2 (m)}dx
G(m, f ) =
2
Z
1
+
|f (z)|22 dz + Ind0 (m) + Ind1 (m) + Ind2 (m),
2 R3
and
Z
F (m, f ) =
H m dx.
Also,
g1 (m) = (1 + m e),
and
g2 (m) = (1 m e),
0,
if |m(x)|2 = 1 a.e. in ,
Ind0 (m) =
+, otherwise,
0,
if div(f + m ) = 0 a.e. in R3 ,
Ind1 (m, f ) =
+, otherwise,
0,
if Curl(f ) = 0, a.e. in R3 ,
+, otherwise.
From Theorem 16.3.1, we have
Ind2 (f ) =
inf
(m,f )Y1 Y2
{G(m, f ) + F (m, f )}
sup
(m ,f )Y1 Y2
{G (m , f ) F (m , f )}, (16.25)
where
G (m , f ) =
sup
(m,f )Y1 Y2
355
and
F (m , f )
=
sup
(m,f )Y1 Y2
Z
Z
|m|2 dx
min{g1 (m), g2 (m)}dx
2
Z
1
2
|f (z)|2 dz Ind0 (m) Ind1 (m) Ind2 (m) .
2 R3
Or
G (m , f ) =
|m|22 dx
2
Z
inf (tg1 (m) + (1 t)g2 (m))dx
tB
Z
1
|f (z)|22 dz
2 R3
Ind0 (m) Ind1 (m) Ind2 (m)},
(16.26)
where
B = {t measurable | t(x) [0, 1], a.e. in }.
Hence
G (m , f ) =
sup
(m,f,t)Y1 Y2 B
|m|22 dx
2
Z
Z
1
|f (z)|22 dz
(tg1 (m) + (1 t)g2 (m))dx
2 R3
(16.27)
356
or
G (m , f ) = sup
sup
tB (m,f )Y1 Y2
|m|22 dx
2
Z
Z
1
|f (z)|22 dz
(tg1 (m) + (1 t)g2 (m))dx
2
3
R
(16.28)
sup
tB (m,f )Y1 Y2
|m|22 dx
2
Z
Z
1
(tg1 (m) + (1 t)g2 (m))dx
|f (z)|22 dz
2 R3
Z
3
X 2
(
mi 1)dx hCurl(f ), 1iL2 (R3 ;R3 )
2 i=1
hdiv(f + m ), 2 iL2 (R3 ) }.
where
F1 (f )
and
1
=
2
|f + Curl 1 2 |22 dx
Z
G(m) =
|m|22 dx,
2
m = m,
R3
3
X 2
(
m 1)dx + hdiv(m ), 2 iL2 (R3 ) . (16.29)
2 i=1 i
357
(y ) + F ( y , t)},
{G(m)
F (m, t)} inf {G
y Y0
where
G (y ) =
sup
{hy, y iL2 (;R33 )
2
yL2 (,R33 )
|y|22dx}
1
=
2
|y |22 dx
and
F ( y , t) = sup {hmi , yiiL2 (;R3 ) F (m, t)}.
mY1
3
X 2
m 1)dx hdiv(m ), 2 iL2 (R3 ) }.
(
2 i=1 i
(16.30)
2
= 0,
xi
or
mi =
div(yi ) + mi + (1 2t)ei +
P3
i=1
2
xi
m2i 1 = 0, we obtain
2
3
X
2
div(yi ) + mi + (1 2t)ei +
xi
i=1
!1/2
358
so that
F ( y , t) =
2 !1/2
Z
3
X
2
dx
div(yi) + mi + (1 2t)ei +
x
i
i=1
Z
dx.
2
| f + Curl 1 2 |2 dz dx,
+
2 R3
so that
F (m , f ) =
0,
if (m , f ) B ,
+, otherwise,
where
B = {(m , f ) Y1 Y2 | m = H, a.e. in , f = a.e. in R3 }.
359
tB
(m,f )Y1 Y2
2
(1 ,2 )Y y Y0
)
Z X
3
2
( (div(yi) + Hi + (1 2t)ei +
)2 )1/2 dx
x
i
i=1
Z
Z
1
2
|2 Curl 1 |2 dz + dx,
(16.31)
2 R3
where
B = {t measurable | t(x) [0, 1], a.e. in },
Y0 = {y W 1,2 (; R33 ) | yi n + 2ni = 0 on , i {1, 2, 3}},
and
Y = W 1,2 (R3 ; R3 ) W 1,2 (R3 ).
Hence, we may obtain the following duality principle, for which the
dual for formulation is concave.
{G(m, f ) + F (m, f )}
Z
1
sup
inf
|y |22 dx
tB
2
(1 ,2 ,y )Y Y
inf
(m,f )Y1 Y2
)
Z X
3
2
( (div(yi) + Hi + (1 2t)ei +
)2 )1/2 dx
x
i
i=1
Z
Z
1
|2 Curl 1 |22 dz + dx,
(16.32)
2 R3
where
Y0 = {y W 1,2 (; R33 ) | yi n = 0 on , i {1, 2, 3}},
and
Y = {(1 , 2 ) W 1,2 (R3 ; R3 ) W 1,2 (R3 ) | 2 = 0 on }.
360
2
|m|2 dx + (m(x)) dx H m dx
J(m, f ) =
2
Z
1
+
|f (z)|22 dz,
2 R3
m W 1,2 (; R3 ) Y1 , |m(x)|2 = 1, a.e. in
|m|22 dx
stands for the exchange energy. Finally, (m) represents the anisotropic contribution and is given by a multi-well functional whose minima establish the preferred directions of magnetization.
Remark 16.7.1. It is worth noting that (m) has six points
of minimum, namely r1 = (1, 0, 0), r2 = (0, 1, 0) and r3 = (0, 0, 1),
r4 = (1, 0, 0), r5 = (0, 1, 0) and r6 = (0, 0, 1) which define the
preferred directions of magnetization.
361
Z X
3
m2k 1) dx
(
(16.33)
k=1
and we shall rewrite as the approximation (and it must be emphasized that this is an approximation for the original problem)
(m) = min{g1 (m), g2 (m), g3 (m), g4 (m), g5 (m), g6 (m)},
where
gk (m) = (rk ) +
3
X
(rk )
mi
i=1
(mi rki )
1 X X 2 (rk )
(mi rki )(mj rkj )
+
2 i=1 j=1 mi mj
Ind2 (m, f ) =
0,
if |m(x)|2 = 1 a.e. in ,
+, otherwise,
0,
if div(f + m ) = 0 a.e. in R3 ,
+, otherwise,
and
Ind3 (f ) =
0,
if Curl(f ) = , a.e. in R3 ,
+, otherwise.
362
(m,f )Y1 Y2
{G (m, f ) + F (m, f )}
sup
(m ,f )Y1 Y2
{G (m , f ) F (m , f )}, (16.35)
where
G (m , f ) =
sup
(m,f )Y1 Y2
K
(
2
P3
k=1
G (m, f ) =
R
maxk{1,...,6}{
gk(m)} dx +
+,
m2k ), we have
K
||,
2
if (m , f ) B ,
otherwise,
where
Also,
F (m , f )
=
sup
(m,f )Y1 Y2
or
F (m , f ) =
Z
1
sup {hm, m iL2 (;R3 ) hf, f iL2 (;R3 )
|f (z)|22 dz
2 R3
(m,f )Y1 Y2
Z
+ H m dx Ind1 (m) Ind2 (m, f ) Ind3 (f )},
that is
F (m , f ) =
sup
(m,f )Y1 Y2
Z
Z
1
2
|f (z)|2 dz + H m dx
2 R3
Z
3
X 2
(
mk 1)dx hCurl(f ), 1iL2 (R3 ;R3 )
2 k=1
363
so that
Z X
3
2
F (m , f ) = ( (
mi + Hi )2 )1/2 dx
x
i
i=1
Z
1
|f + Curl1 2 |22 dx}.
2 R3
(m,f )Y1 Y2
{G (m, f ) + F (m, f )}
Z
sup
max {
gk (m )} dx
k{1,...,6}
(m ,1 ,2 )Y
Z X
3
2
mi + Hi )2 )1/2 dx
( (
i=1 xi
Z
1
K
where
2 = 0 on }. 2
By analogy, we may obtain the results for the semi-linear cubic case
(for > 0), namely
{G(m,
f ) + F (m, f )}
Z
Z
1
sup
max {
gk (m )} dx
|y |22 dx
k{1,...,6}
2
(m ,1 ,2 ,y )Y Y0
Z X
3
2
mi + Hi )2 )1/2 dx
( (div(yi) +
xi
i=1
Z
1
K
|Curl 1 2 |2 dx ||,
2 R3
2
inf
(m,f )Y1 Y2
where
G(m,
f) =
2
Y0
= {y W
1,2
|m|22 dx + G(m, f ),
(; R33 ) | yi n = 0 on },
364
and
Y = {(m , 1 , 2 ) Y1 W 1,2 (R3 ; R3 ) W 1,2 (R3 ) |
2 = 0 on }. 2
|f (x)|22 dx
J(m, f ) = hmi , mi iY + (1 |m e|) dx +
2
2 R3
0,
if |m(x)|2 = 1 a.e. in ,
+, otherwise,
0,
if div(f + m ) = 0 a.e. in R3 ,
+, otherwise,
0,
if Curl(f ) = , a.e. in R3 ,
+, otherwise.
Also V = W 1,2 (; R3 ), Y = L2 (), Y = L2 (; R3 ), and Y2 =
L2 (R3 ; R3 ). Observe that we may write
Ind2 (f ) =
G1 (m) = hmi , mi iY ,
2
Z
K
G2 (m) = (1 |m e|) dx + hmi , mi iY ,
2
K1
G3 (m) =
hmi , mi iY + Ind0 (m, f ),
2
Z
1
G4 (f ) =
|f (x)|22 dx,
2 R3
365
and
(K + K1 )
hmi , mi iY .
2
Through such a notation, the following duality principle holds
F (m) =
inf
(m,f )V Y2
{J(m, f )}
sup
(v ,)A Y
z Y
1
hz , z i ,
2(K + K1 ) i i Y
1
hv i , v i i ,
2 1 1 Y
2
Z
Z
1
2
2
|v | dx +
|v e| dx +
|e| ||,
G2 (v2 ) =
2K 2 2
K 2
2 2
R
|v + z 2 |2 dx, if 2 = 0 on ,
3
G3 (v3 2 ) =
+,
otherwise,
G1 (v1 ) =
and
1
G4 (2 Curl 1 ) = k2 Curl 1 k22,R3 .
2
Finally, A = A1 A2 , where
and
(16.39)
366
2
2
k=1
(16.41)
that is,
v3 + z 2
m=
.
K1 + 0
From the condition
P3
k=1
m=
v3 + z 2
,
|v3 + z 2 |2
3
G3 (v3 + z 2 ) =
+,
otherwise.
For the expression of G4 (2 Curl 1 ), we have that
G4 (2 Curl 1 ) =
Z
1
2
|f (x)|2 dx .
sup h2 , div(f )iY + h1 , Curl(f )iY
2 R3
f Y
The supremum is attained for functions satisfying
f = 2 Curl 1 ,
(16.42)
so that
1
G4 (2 Curl 1 ) = k2 Curl 1 k22,R3 .
2
Now, observe that
(16.43)
367
(v , ) A , m V, f Y. Thus,
z Y
+G4 (2
Curl 1 )}
F (m) + hmi , Hi iY Ind1 (m, f ) Ind2 (f )
G1 (m) G2 (m) G3 (m) G4 (f ),
(16.46)
(v , ) A , m V, f Y, and therefore
inf
(m,f )V Y2
{J(m, f )}
sup
(v ,)A Y
z Y
1
J(m, f ) = hmi , mi iY + (1 |m e|) dx +
|f (x)|22 dx
2
2 R3
where
G1 (m) = hmi , mi iY ,
2
Z
K
G2 (m) = (1 |m e|) dx + hmi , mi iY ,
2
K1
hmi , mi iY + Ind0 (m),
G3 (m) =
2
368
1
G4 (f ) =
2
and
R3
|f (x)|22 dx,
(K + K1 )
hmi , mi iY .
2
Through such a notation, the following duality principle holds
F (m) =
inf
{J(m, f )}
sup
inf {F (div(z )) G (v1 + z ) G2 (v2 )
(m,f )V Y
(v ,)A Y
z Y
where
F (div(z )) =
1
hdiv(zi ), div(zi )iY ,
2(K + K1 )
1
hv1i + zi , v1i + zi iY ,
2
2
Z
Z
1
2
2
|v | dx +
|v e| dx +
|e| ||,
G2 (v2 ) =
2K 2 2
K 2
2 2
R
|v 2 |2 dx, if 2 = 0 on ,
3
G3 (v3 2 ) =
+,
otherwise,
G1 (v1 + z ) =
and
1
G4 (2 Curl 1 ) = k2 Curl 1 k22,R3 .
2
Here, A = A1 A2 , where
369
then, for
f0 = 2 Curl1 ,
we have
inf
(m,f )V Y2
{G1 (m) + G
2 (m) + G3 (m)
= G1 (m0 )+G
2 (m0 )+G3 (m0 )+G4 (f0 )+Ind1 (m0 , f0 )+Ind2 (f0 )
hm0i , Hi iY F (m0 )
(v ,)A Y
z Y
{J(m, f )}
sup
inf {F (div(z )) G (v1 + z ) G2 (v2 )
(m,f )V Y
(v ,)A Y
z Y
and
inf
(m,f )V Y2
{G1 (m) + G
2 (m) + G3 (m) + G4 (f )
sup
inf {F (div(z )) G (v1 + z ) G2 (v2 )
z Y
(v ,)A Y
G3 (v3 2 )
G4 (2 Curl 1 )}} .
(16.53)
370
(16.55)
v1 + z = (m0 ).
(16.56)
(16.57)
so that
F (div(z )) = hm0 , div(z )iY F (m0 ),
(16.58)
(16.59)
and
The variation relating v2 give us
v2 =
G
2 (m0 )
,
m
(16.60)
that is
G (v2 ) = hm0 , v2 iY G
2 (m0 ).
(16.61)
v3 2
= m0 , in ,
|v3 2 |2
(16.62)
v3 = |v3 2 |2 m0 + 2 , in .
(16.63)
0 = |v3 2 |2 K1 , in ,
(16.64)
v3 = 2 + (0 + K1 )m0 , in ,
(16.65)
that is,
Now denoting
we obtain
371
so that
K1
hm0 , m0 iY
G3 (v3 2 ) = hm0 , v3 2 iY
2
!
#
" 3
Z
X
1
2
and thus
(16.67)
(16.69)
(16.70)
Curl(f0 ) = , in R3 .
(16.71)
and
Also,
G4 (2 Curl1 ) = hf0 , 2 Curl 1 iY G4 (f0 ).
(16.72)
(16.74)
372
Equations (16.75), (16.70), (16.71), are the Euler-Lagrange equations for the relaxed problem. However the derivatives
G
G2 (v2 )
2 (m0 )
and
v
=
m0 =
2
v2
m
must be understood after a regularization, considering that formally
G2 is not Gateaux differentiable. Finally, we conjecture that if K >
0 and K1 > 0 are big enough (but still satisfying the hypotheses
of last theorem), so that for a minimizing sequence {(mn , fn )} we
have 0 + K1 > 0 and G
2 (mn ) = G2 (mn ) for all n N sufficiently
big, then duality gap between the original primal problem and the
dual one is zero. A formal proof of such a conjecture is planned for
a future work.
16.9. Conclusion
In this chapter we develop duality principles for models in ferromagnetism met in reference [26], for example . Almost all dual
variational formulations here presented are convex (in fact concave)
either for the uniaxial or cubic cases. The results are obtained
through standard tools of convex analysis. It is important to emphasize that in some situations (specially the hard cases), the minima may not be attained through the primal approaches, so that
the minimizers of the dual formulations reflect the average behavior
of minimizing sequences for the primal problems, as weak cluster
points of such sequences.
CHAPTER 17
2 u ux u vy u x P + gx = 0, in S,
2 v ux v vy v y P + gy = 0, in S,
(17.1)
x u + y v = 0,
in S,
(
u = v = 0,
on 0 ,
(17.2)
u = u , v = 0, P = P , on 1
The primal variational formulation, denoted by J : U R, is
expressed as:
1
2
2
2
J(u) =
kL1 (u)kL2 (S) + kL2 (u)kL2 (S) + kL3 (u)kL2 (S)
(17.3)
2
where u = (u, v, P ) U, and
U = {u H 2 (S) H 2 (S) H 1(S) |
u = v = 0, 0 , and, u = u , v = 0, P = P on 1 }. (17.4)
373
374
Also
L1 (u) = 2 u ux u vy u x P + gx ,
(17.5)
L2 (u) = 2 v ux v vy v y P + gy
(17.6)
L3 (u) = x u + y v.
(17.7)
and
Clearly we can write
J(u) =
g(u)dS
(17.8)
10 u = v, 11 u = y v, 12 u = y P,
13 u = x u, 14 u = y v.
(17.9)
(17.10)
Here
where
1
g1 (y) = (y1 + y2 y3 + y4 y5 + y6 + gx )2 ,
2
(17.11)
1
g2 (y) = (y7 + y8 y9 + y10 y11 + y12 + gy )2 ,
2
(17.12)
1
g3 (y) = (y13 + y14 )2 .
2
(17.13)
375
g1L
(y )
6
X
i=1
yi yi g1 (y),
(17.14)
g1 (y)
i {1, ..., 6},
yi
yi =
that is
y1 = y6 = (y1 + y2 y3 + y4 y5 + y6 + gx ),
y2 = (y1 + y2 y3 + y4 y5 + y6 + gx )y3 = y1y3 ,
y3 = (y1 + y2 y3 + y4 y5 + y6 + gx )y2 = y1y2 ,
y4 = (y1 + y2 y3 + y4 y5 + y6 + gx )y5 = y1y5 ,
y5 = (y1 + y2 y3 + y4 y5 + y6 + gx )y4 = y1y4 .
Inverting such relations we obtain
y2 = y3/y1 ,
y3 = y2/y1 ,
y4 = y5/y1 ,
y5 = y4/y1 ,
y1 + y6 = y1 y2y3 /(y1)2 y4 y5/(y1 )2 gx .
g1L
(y ) =
y2 y3 y4 y5 (y1 )2
+ +
gx y1,
y1
y1
2
(17.15)
g2L
(y ) =
y11 (y7 )2
y8y9 y10
+
+
gy y7 ,
y7
y7
2
(17.16)
and
1 2
) .
g3L
(y ) = (y13
2
so that gL (y ) = g1L
(y ) + g2L (y ) + g3L (y ).
(17.17)
376
(17.18)
and
2 v1 + v2 + v8 + x v3 + y v5 x v13
= 0, in S,
(17.19)
2 v7 + v4 + v10
+ x v9 + y v11
y v13
= 0, in S,
(17.20)
x v1 + y v7 = 0, in S.
(17.21)
Also,
GL (v )
g1L
(v )dS
g2L
(v )dS
g3L
(v )dS
(17.22)
dS +
dS +
(v1 )2 dS
GL (v ) =
2 S
S v1
S v1
Z
Z
Z
v
v
v10 v11
8 9
gx v1 dS +
dS +
dS
v7
S
S v7
S
Z
Z
1
2
+
(v ) dS gy v7 dS.
(17.23)
2 S 7
S
17.3. Linear Systems which the Solutions
Solve the Navier-Stokes One
Through the next result we obtain a linear system whose the solution also solves the Navier-Stokes one for a special class of boundary conditions. Specifically for such a result we consider a domain
S with a boundary denoted by
2 u ux u vy u x P + gx = 0, in S,
2 v ux v vy v y P + gy = 0, in S,
(17.24)
u + v = 0,
in S,
x
y
~u n = 0,
on ,
u = x w0 ,
377
(17.25)
(17.26)
v= w ,
y 0
in S,
2 w 0 = 0
w0 n = 0,
(17.27)
on .
1 (u) = 2 u ux u vy u
L
2 (u) = 2 v ux v vy v.
L
Therefore, the variable v1 may be used to solve the continuity
equation, so that
x u + y v = 0
is equivalent to
x v1
y v1
x
+ y
.
v1
v1
That is
2 (ln(v1 )) = 0.
Defining
w0 = ln(v1 ),
the equation of continuity stands for
2 w0 = 0, in S
(17.28)
378
x F x P + gx = 0, in S,
(17.29)
y F y P + gy = 0, in S,
(17.30)
F = 2 w0 (x w0 )2 /2 (y w0 )2 /2.
Being w0 known as a solution of
2 w0 = 0 in S
2 u ux u vy u x P + gx = 0, in S,
2 v ux v vy v y P + gy = 0, in S,
(17.31)
u + v = 0,
in S,
x
y
on 0 ,
u = v = 0,
(17.32)
u = u , v = 0, P = P , on 1 ,
is given by
u = x w0 + x w1 ,
v = y w0 y w1
2 w0 + xx w1 yy w1 = 0,
xy w1 = 0,
(17.33)
in S,
in S,
(17.34)
u = x w0 + x w1 = 0,
v = y w0 y w1 = 0,
u = x w0 + x w1 = u ,
v = y w0 y w1 = 0,
on 0 ,
on 0 ,
(17.35)
on 1 ,
on 1 .
where
and
1 (u) = 2 u ux u vy u
L
2 (u) = 2 v ux v vy v.
L
On the other hand, for u and v defined above, the equation of
continuity is given by:
2 w0 + xx w1 yy w1 = 0, in S.
u = x w0 + x w1 = 0, v = y w0 y w1 = 0, on 0 ,
u = x w0 + x w1 = u , v = y w0 y w1 = 0, on 1 ,
380
in order to provide the best approximation for the continuity equation. Finally, we consider g = 0, = 0.08, = 0.082 and = 1.
Units refers to the international system. Here the functions f1 (x)
up to f17 (x) are relating the boundary shape and are determined
through the transformations of coordinates, similarly as obtained
in chapter 13.
We start presenting the lines (for N=10) for the field of velocity
u (here x stands for ):
Line 1
u[1] =0.1uf (x) + 0.562f16 (x)P0 (x) 0.563f16 (x)Pf (x) + 0.033f11 (x)uf (x)
0.206f14 (x)uf (x)2 0.206f16 (x)uf (x)vf (x) 0.281f17 (x)P0 (x)
0.140f17 (x)Pf (x) + 0.045f12 (x)uf (x) 0.0656f15 (x)uf (x)uf (x)
u[2] =0.2uf (x) + 0.999f16 (x)P0 (x) 1.000f16 (x)Pf (x) + 0.058f11 (x)uf (x)
0.400f14 (x)uf (x)2 0.400f16 (x)uf (x)vf (x) 0.460f17 (x)P0 (x)
0.270f17 (x)Pf (x) + 0.080f12 (x)uf (x) 0.130f15 (x)uf (x)uf (x)
u[3] =0.3uf (x) + 1.312f16 (x)P0 (x) 1.313f16 (x)Pf (x) + 0.074f11 (x)uf (x)
0.569f14 (x)uf (x)2 0.569f16 (x)uf (x)vf (x) 0.556f17 (x)P0 (x)
0.378f17 (x)Pf (x) + 0.105f12 (x)uf (x) 0.190f15 (x)uf (x)uf (x)
Line 4
u[4] =0.4uf (x) + 1.499f16 (x)P0 (x) 1.500f16 (x)Pf (x) + 0.083f11 (x)uf (x)
0.700f14 (x)uf (x)2 0.700f16 (x)uf (x)vf (x) 0.584f17 (x)P0 (x)
457f17 (x)Pf (x) + 0.120f12 (x)uf (x) 0.242f15 (x)uf (x)uf (x)
Line 5
u[5] =0.5uf (x) + 1.562f16 (x)P0 (x) 1.563f16 (x)Pf (x) + 0.085f11 (x)uf (x)
0.781f14 (x)uf (x)2 0.781f16 (x)uf (x)vf (x) 0.560f17 (x)P0 (x)
0.501f17 (x)Pf (x) + 0.125f12 (x)uf (x) 0.279f15 (x)uf (x)uf (x)
Line 6
u[6] =0.6uf (x) + 1.499f16 (x)P0 (x) 1.501f16 (x)Pf [x] + 0.080f11 (x)uf (x)
0.800f14 (x)uf (x)2 0.800f16 (x)uf (x)vf (x) 0.492f17 (x)P0 (x)
0.503f17 (x)Pf (x) + 0.120f12 (x)uf (x) 0.296f15 (x)uf (x)uf (x)
Line 7
u[7] =0.7uf (x) + 1.312f16 (x)P0 (x) 1.313f16 (x)Pf (x) + 0.068f11 (x)uf (x)
0.744f14 (x)uf (x)2 0.744f16 (x)uf (x)vf (x) 0.394f17 (x)P0 (x)
0.458f17 (x)Pf (x) + 0.105f12 (x)uf (x) 0.284f15 (x)uf (x)uf (x)
Line 8
u[8] =0.8uf (x) + 0.999f16 (x)P0 (x) 1.001f16 (x)Pf (x) + 0.0510f11 (x)uf (x)
0.600f14 (x)uf (x)2 0.600f16 (x)uf (x)vf (x) 0.274f17 (x)P0 (x)
0.362f17 (x)Pf (x) + 0.080f12 (x)uf (x) 0.237f15 (x)uf (x)uf (x)
382
Line 9
u[9] =0.9uf (x) + 0.562f16 (x)P0 (x) 0.563f16 (x)Pf (x) + 0.028f11 (x)uf (x)
0.356f14 (x)uf (x)2 0.356f16 (x)uf (x)vf (x) 0.140f17 (x)P0 (x)
0.211f 17(x)Pf (x) + 0.045f12 (x)uf (x) 0.145f15 (x)uf (x)uf (x)
0.140f17 (x)Pf (x) + 0.045f12 (x)uf (x) 0.0656f15 (x)uf (x)vf (x)
v[2] =0.2vf (x) + 0.999f16 (x)P0 (x) 1.000f16 (x)Pf (x) + 0.058f11 (x)vf (x)
0.400f14 (x)vf (x)2 0.400f16 (x)uf (x)vf (x) 0.460f17 (x)P0 (x)
0.270f17 (x)Pf (x) + 0.080f12 (x)vf (x) 0.130f15 (x)uf (x)vf (x)
v[3] =0.3vf (x) + 1.312f16 (x)P0 (x) 1.313f16 (x)Pf (x) + 0.074f11 (x)vf (x)
0.569f14 (x)vf (x)2 0.569f16 (x)uf (x)vf (x) 0.556f17 (x)P0 (x)
0.378f17 (x)Pf (x) + 0.105f12 (x)vf (x) 0.190f15 (x)uf (x)vf (x)
v[4] =0.4vf (x) + 1.499f16 (x)P0 (x) 1.500f16 (x)Pf (x) + 0.083f11 (x)vf (x)
0.700f14 (x)vf (x)2 0.700f16 (x)uf (x)vf (x) 0.584f17 (x)P0 (x)
0.457f17 (x)Pf (x) + 0.120f12 (x)vf (x) 0.242f15 (x)uf (x)vf (x)
Line 5
v[5] =0.5vf (x) + 1.562f16 (x)P0 (x) 1.563f16 (x)Pf (x) + 0.085f11 (x)vf (x)
0.781f14 (x)vf (x)2 0.781f16 (x)uf (x)vf (x) 0.560f17 (x)P0 (x)
0.501f17 (x)Pf (x) + 0.125f12 (x)uf (x) 0.279f15 (x)uf (x)vf (x)
v[6] =0.6vf (x) + 1.499f16 (x)P0 (x) 1.501f16 (x)Pf [x] + 0.080f11 (x)vf (x)
0.800f14 (x)vf (x)2 0.800f16 (x)uf (x)vf (x) 0.492f17 (x)P0 (x)
0.503f17 (x)Pf (x) + 0.120f12 (x)vf (x) 0.296f15 (x)uf (x)vf (x)
v[7] =0.7vf (x) + 1.312f16 (x)P0 (x) 1.313f16 (x)Pf (x) + 0.068f11 (x)vf (x)
0.744f14 (x)vf (x)2 0.744f16 (x)uf (x)vf (x) 0.394f17 (x)P0 (x)
0.458f17 (x)Pf (x) + 0.105f12 (x)vf (x) 0.284f15 (x)uf (x)vf (x)
v[8] =0.8vf (x) + 0.999f16 (x)P0 (x) 1.001f16 (x)Pf (x) + 0.0510f11 (x)vf (x)
0.600f14 (x)vf (x)2 0.600f16 (x)uf (x)vf (x) 0.274f17 (x)P0 (x)
0.362f17 (x)Pf (x) + 0.080f12 (x)vf (x) 0.237f15 (x)uf (x)vf (x)
v[9] =0.9vf (x) + 0.562f16 (x)P0 (x) 0.563f16 (x)Pf (x) + 0.028f11 (x)vf (x)
0.356f14 (x)vf (x)2 0.356f16 (x)uf (x)vf (x) 0.140f17 (x)P0 (x)
0.211f 17(x)Pf (x) + 0.045f12 (x)vf (x) 0.145f15 (x)uf (x)vf (x)
384
Line 2
P [2] = 0.2Pf (x) + 0.8P0 (x) + 12.50f6 (x)uf (x) + 12.50f4(x)vf (x)
+3.37f7 (x)uf (x) + 3.37f5 (x)vf (x)
Line 3
P [3] = 0.3Pf (x) + 0.7P0 (x) + 16.41f6 (x)uf (x) + 16.41f4(x)vf (x)
+4.72f7 (x)uf (x) + 4.72f5 (x)vf (x)
Line 4
P [4] = 0.4Pf (x) + 0.6P0 (x) + 18.76f6 (x)uf (x) + 18.76f4(x)vf (x)
+5.72f7 (x)uf (x) + 5.72f5 (x)vf (x)
Line 5
P [5] = 0.5Pf (x) + 0.5P0 (x) + 19.54f6 (x)uf (x) + 19.54f4(x)vf (x)
+6.26f7 (x)uf (x) + 6.26f5 (x)vf (x)
Line 6
P [6] = 0.6Pf (x) + 0.4P0 (x) + 18.76f6 (x)uf (x) + 18.76f4(x)vf (x)
+6.28f7 (x)uf (x) + 6.28f5 (x)vf (x)
Line 7
P [7] = 0.7Pf (x) + 0.3P0 (x) + 16.41f6 (x)uf (x) + 16.41f4(x)vf (x)
+5.72f7 (x)uf (x) + 5.72f5 (x)vf (x)
Line 8
P [8] = 0.8Pf (x) + 0.2P0 (x) + 12.51f6 (x)uf (x) + 12.51f4(x)vf (x)
+5.72f7 (x)uf [x] + 5.72f5 (x)vf (x)
Line 9
P [9] = 0.9Pf (x) + 0.1P0 (x) + 7.04f6 (x)uf (x) + 7.04f4 (x)vf (x)
+2.63f7 (x)uf (x) + 2.63f5 (x)vf (x).
17.5. CONCLUSION
385
17.5. Conclusion
In this chapter we develop a study about Legendre Transform
applied to the two-dimensional incompressible Navier-Stokes system. The final section presents the solution by the generalized
method of lines. The extension of results to R3 , compressible and
time dependent cases is planned for a future work.
CHAPTER 18
(18.1)
(18.2)
388
(18.6)
(18.7)
(18.8)
so that
(18.9)
where
U = {w W 2,2 ([0, l]) | w(0) = w(l) = 0 = w,x (0) = w,x (l)}
(18.10)
and
J(w) =
Z l
1
a
2
4
2
(EI(w,xx) + (w,x ) (w,x ) )dx
f wdx,
2
6
0
w U. (18.11)
lim
kwkU +
J(w) = +
389
(18.12)
where
kwkU = kwkW 2,2([0,l]) , w U.
(18.13)
(18.14)
wU
n+
then {kwn kW 2,2 ([0,l]) } and {kwn kW 1,4 ([0,l]) } are bounded sequences in
0
reflexive Banach spaces (see Remark 18.1.2).
Hence, there exists w0 W02,2 ([0, L]) and a subsequence {wnj }
{wn } such that
wnj w0 as j +, weakly in W02,2 ([0, l]).
(18.15)
(18.16)
Furthermore we have
J(w) = J1 (w)
2
where
J1 (w) =
(w,x )2 dx
(18.17)
a
1
(EI(w,xx )2 + (w,x )4 ) dx
2
6
f w dx.
(18.18)
(18.19)
From this and equation (18.16), as {wnj } is also a minimizing sequence, we can conclude that:
= inf {J(w)} = lim inf J(wnj ) J(w0 )
wU
j+
(18.20)
390
which implies
J(w0 ) = = inf {J(w)}.
wU
(18.21)
z Y
v B (z )
uU
where U = W02,2 ([0, l]) and , are appropriate positive real constants. We may also write
J(w) = G(w) F (1w) hw, f iL2([0,l]) ,
(18.24)
where
G(w) =
EI
(w,xx )2 dx +
2
2
K
w,x
(
)2 dx +
2 2
2
K
F (1 w) =
2
l
0
2
w,x
dx,
(18.25)
2
w,x
dx,
(18.26)
(18.27)
1 w = w,x , 2 w = w,xx .
(18.28)
and
wU
v A z Y1
where
1
F (L z ) =
2K
and
G (v , z ) =
GL (v , z )
l
2
(z,x
) dx,
(18.29)
Z
1 l (v1 )2
dx
+ z ) dx +
2 0 v0 + K
0
Z l
Z l
1
2
(v ) dx +
v0 dx, (18.30)
+
2 0 0
0
1
=
2EI
(v2
A = {v Y | v f = 0},
(18.31)
that is,
A = {v Y | v2,xx v1,x = f, a.e. in [0, l]}.
(18.32)
392
2 0 v0 + K
2 0 0
0
where
B = {v Y | v0 + K > 0 a.e. in [0, l]}
and
Y0 = {z Y1 | z (0) = z (l) = 0}.
Remark 18.3.1. It is important to emphasize that the inequality indicated in (18.33) is an equality if there exists a critical
point for the dual formulation such that v0 + K > 0 a.e. in [0, l]
and K < EI/K0 , where, as above mentioned, K0 is the constant
concerning the Poincare inequality. In such a case, the dual formulation is convex.
18.4. A Final Result, Another Duality Principle
From Theorem 18.2.3, we have
inf {J(w)} = inf sup {F (z ) G (v )},
wU
z Y
(18.34)
v A
where
1
F (z ) =
2K
1
G (v ) =
2EI
(v2 )2 dx
(z )2 dx,
(18.35)
and
(v1 )2
dx
0 v0 + K
Z l
Z l
1
2
+
(v0 ) dx +
v0 dx, (18.36)
2 0
0
1
+
2
A = {v Y | v 1 z f = 0},
(18.37)
18.4.
393
Observe that
G (v ) hw, v iY G(w), w U, v Y .
(18.39)
Thus
F (z ) + G (v )
{F (z ) + G (v2 (v1 , z ), v1 , v0 )}
z L2 ([0,l])
sup
z L2 ([0,1])
z
2K
2EI
2
(v ) dx
v0 dx
dx
2 0 v0 + K
2 0 0
0
inf {J(w)}, (18.43)
wU
where
C = {v0 L2 ([0, l]) | v0 + K > 0 a.e. in [0, l]}.
Observe that the infimum for the dual formulation indicated in
(18.43) is attained, for K < EI/K0 (here K0 denotes the constant
concerning Poincare Inequality), through the relation
v2 =
EIz,x
, z (0) = z (l) = 0
K
(18.44)
394
2K 0
2K 0
(z ,v1 ,v0 )B C
Z 1
Z
Z
1
1
1
1
(v1 )2
2
dx
(v ) dx
v0 dx . (18.45)
2 0 v0 + K
2 0 0
0
B = {(z , v1 , v0) Y0 |
EI
Bibliography
[1] R.A. Adams, Sobolev Spaces, Academic Press, New York (1975).
[2] R.A. Adams and J.F. Fournier, Sobolev Spaces, second edition , Elsevier
(2003).
[3] J.F. Annet, Superconductivity, Superfluids and Condensates, Oxford Master Series in Condensed Matter Physics, Oxford University Press, Reprint
(2010)
[4] G. Bachman and L. Narici, Functional Analysis, Dover Publications,
Reprint (2000).
[5] J.M. Ball and R.D. James, Fine mixtures as minimizers of energy , Archive
for Rational Mechanics and Analysis, 100, 15-52 (1987).
[6] F. Botelho, Dual Variational Formulations for a Non-linear Model of
Plates, Journal of Convex Analysis, 17 , No. 1, 131-158 (2010).
[7] F. Botelho, Duality for Ginzburg-Landau Type Equations and the Generalized Method of Lines, submitted.
[8] F. Botelho, Dual Variational Formulations for Models in Micro-magnetism
- The Uniaxial and Cubic Cases, submitted.
[9] H.Brezis, Analyse Fonctionnelle, Masson (1987).
[10] I.V. Chenchiah and K. Bhattacharya, The Relaxation of Two-well Energies
with Possibly Unequal Moduli, Arch. Rational Mech. Anal. 187 (2008), 409479.
[11] M. Chipot, Approximation and oscillations, Microstructure and Phase
Transition, the IMA volumes in mathematics and applications, 54, 2738 (1993).
[12] R. Choksi, M.A. Peletier, and J.F. Williams, On the Phase Diagram for
Microphase Separation of Diblock Copolymers: an Approach via a Nonlocal
Cahn-Hilliard Functional, to appear in SIAM J. Appl. Math. (2009).
[13] P.Ciarlet, Mathematical Elasticity, Vol. I Three Dimensional Elasticity,
North Holland Elsivier (1988).
[14] P.Ciarlet, Mathematical Elasticity, Vol. II Theory of Plates, North Holland Elsevier (1997).
[15] P.Ciarlet, Mathematical Elasticity, Vol. III Theory of Shells, North Holland Elsevier (2000).
[16] B. Dacorogna, Direct methods in the Calculus of Variations, SpringerVerlag (1989).
[17] I.Ekeland and R.Temam, Convex Analysis and Variational Problems.
North Holland (1976).
[18] L. C. Evans, Partial Differential Equations, Graduate Studies in Mathematics, 19, AMS (1998).
395
396
BIBLIOGRAPHY
[19] U.Fidalgo and P.Pedregal, A General Lower Bound for the Relaxation of
an Optimal Design Problem in Conductivity with a Quadratic Cost Functional, Pre-print (2007).
[20] N.B. Firoozye and R.V. Khon, Geometric Parameters and the Relaxation
for Multiwell Energies, Microstructure and Phase Transition, the IMA
volumes in mathematics and applications, 54, 85-110 (1993).
[21] D.Y.Gao and G.Strang, Geometric Nonlinearity: Potential Energy, Complementary Energy and the Gap Function, Quartely Journal of Applied
Mathematics, 47, 487-504 (1989a).
[22] D.Y.Gao, On the extreme variational principles for non-linear elastic
plates. Quarterly of Applied Mathematics, XLVIII, No. 2 (June 1990),
361-370.
[23] D.Y.Gao, Finite Deformation Beam Models and Triality Theory in Dynamical Post-Buckling Analysis. International Journal of Non-linear Mechanics 35 (2000), 103-131.
[24] D.Y.Gao, Duality Principles in Nonconvex Systems, Theory, Methods and
Applications, Kluwer, Dordrecht,(2000).
[25] R.D.James and D. Kinderlehrer Frustration in ferromagnetic materials,
Continuum Mech. Thermodyn. 2 (1990) 215-239.
[26] H. Kronmuller and M. Fahnle, Micromagnetism and the Microstructure of
Ferromagnetic Solids, Cambridge University Press (2003).
[27] D.G. Luenberger, Optimization by Vector Space Methods, John Wiley and
Sons, Inc. (1969).
[28] G.W. Milton, Theory of composites, Cambridge Monographs on Applied
and Computational Mathematics. Cambridge University Press, Cambridge
(2002).
[29] P.Pedregal, Parametrized measures and variational principles, Progress in
Nonlinear Differential Equations and Their Applications, 30, Birkhauser
(1997).
[30] P.Pedregal and B.Yan, On Two Dimensional Ferromagnetism, pre-print
(2007).
[31] M. Reed and B. Simon, Methods of Modern Mathematical Physics, Volume
I, Functional Analysis, Reprint Elsevier (Singapore, 2003).
[32] R. T. Rockafellar, Convex Analysis, Princeton Univ. Press, (1970).
[33] R.C. Rogers, A nonlocal model of the exchange energy in ferromagnet materials, Journal of Integral Equations and Applications, 3, No. 1 (Winter
1991).
[34] R.C. Rogers, Nonlocal variational problems in nonlinear electromagnetoelastostatics, SIAM J. Math, Anal. 19, No. 6 (November 1988).
[35] W. Rudin, Functional Analysis, second edition, McGraw-Hill (1991).
[36] W. Rudin, Real and Complex Analysis, third edition, McGraw-Hill (1987).
[37] D.R.S.Talbot and J.R.Willis, Bounds for the effective contitutive relation
of a nonlinear composite, Proc. R. Soc. Lond. (2004), 460, 2705-2723.
[38] E. M. Stein and R. Shakarchi, Real Analysis, Princeton Lectures in Analysis III, Princeton University Press (2005).
[39] R. Temam, Navier-Stokes Equations, AMS Chelsea, reprint (2001).
BIBLIOGRAPHY
397
[40] J.J. Telega, On the complementary energy principle in non-linear elasticity. Part I: Von Karman plates and three dimensional solids, C.R. Acad.
Sci. Paris, Serie II, 308, 1193-1198; Part II: Linear elastic solid and nonconvex boundary condition. Minimax approach, ibid, pp. 1313-1317 (1989)
[41] A.Galka and J.J.Telega Duality and the complementary energy principle
for a class of geometrically non-linear structures. Part I. Five parameter
shell model; Part II. Anomalous dual variational priciples for compressed
elastic beams, Arch. Mech. 47 (1995) 677-698, 699-724.
[42] J.F. Toland, A duality principle for non-convex optimisation and the calculus of variations, Arch. Rath. Mech. Anal., 71, No. 1 (1979), 41-61.
[43] J. L. Troutman, Variational Calculus and Optimal Control, second edition,
Springer (1996).