An existence result for a nonconvex variational problem via regularity


 Simon Blankenship
 3 years ago
 Views:
Transcription
1 An existence result for a nonconvex variational problem via regularity Irene Fonseca, Nicola Fusco, Paolo Marcellini Abstract Local Lipschitz continuity of minimizers of certain integrals of the Calculus of Variations is obtained when the integrands are convex with respect to the gradient variable, but are not necessarily uniformly convex. In turn, these regularity results entail existence of minimizers of variational problems with nonhomogeneous integrands nonconvex with respect to the gradient variable. The xdependence, explicitly appearing in the integrands, adds significant technical difficulties in the proof. Keywords: nonconvex variational problems, uniform convexity, regularity, implicit differential equations Mathematics Subject Classification: Primary 49J45, 49K0. Secondary 35F30, 35R70. 1 Introduction In this paper we establish existence and regularity of minimizers of energy integrals of the type f (x, Du(x)) dx, (1.1) subject to Dirichlet boundary conditions. The main feature of our problem is the fact that the integrand f = f(x, ξ) is not convex with respect to the gradient variable ξ. In recent years the study of non convex variational problems has undergone remarkable developments, motivated in part by advances in the study of material stability and instability. Contemporary issues such as phase transitions in certain alloys (see [3], [4]), nucleation [0], the onset of microstructure, and optimal design problems for thin films [18], require a good understanding of existence of (classical or generalized) equilibrium solutions for nonconvex energies. In addition, qualitative information on quasistatic solutions (e.g. regularity, hysteresis, oscillatory behavior) are needed in order to develop the evolutionary 1
2 framework, and, in particular, to search for the dynamical evolution of phase boundaries. These issues have challenged traditional theories. Within this setting, a relevant example has been considered by alljames [3], [4], who studied the two potential wells problem: minimize f (Du(x)) dx, where u : R n R n is a vectorvalued function, f : R n n [0, + ) is identically zero on two distinct potential wells SO(n)ξ, SO(n)η and f > 0 elsewhere. Here ξ, η R n n and SO(n) stands for the special orthogonal group. The existence of minimizers for the two potential wells problem has been obtained in two dimensions (i.e., n = ) by Dacorogna Marcellini [10] and by Müller Šverák [6] (for the case n = 3 see also Dolzmann Kirchheim Müller Šverák [15]. Nothing is known in higher dimension or for general integrands f as in (1.1). In this paper we restrict ourselves to the scalarvalued case, as a starting point to approach the vectorial setting. Also, the scalarvalued case is still far from being completely understood, unless the integrand f depends only on the gradient variable ξ and some special assumptions are made on the boundary data (see the references quoted below). Here we consider general boundary data u 0 W 1,p (), p > 1, and we allow the nonconvex integrands f to explicitly depend on x as in (1.1). In the proofs of the attainment results presented below the xdependence introduces substantial technical difficulties. The proof of the existence results for nonconvex variational problems considered in this paper hinges on the local Lipschitz continuity of minimizers of the relaxed problem associated to the bipolar f of f. These regularity results are presented in Section, and they apply to minimizers of some integrals of the Calculus of Variations with integrands f (x, ξ) convex with respect to ξ R n, but not everywhere uniformly convex; hence, we believe that the regularity results presented in Section should be of interest by themselves. In Section 3 we consider the variational problem { } inf f (x, Du(x)) dx : u u 0 + W 1,p 0 (), (1.) where u 0 W 1,p () is a given boundary datum and f = f(x, ξ) is a continuous function satisfying some growth conditions similar to the ones considered in the previous Section, so as to ensure Lipschitz continuity of minimizers of the relaxed problem. Here the most relevant fact is that f may be nonconvex with respect to the variable ξ R n. It is known that the variational problem (1.) may lack a minimizer (see Marcellini []; see also [6], [1], [1]). In the examples of nonexistence the following condition, expressed in terms of the bipolar f of f, is violated: for every x the function f (x, ) is affine on the set A(x) = {ξ R n : f(x, ξ) > f (x, ξ)},
3 i.e., there exist a continuous function q and a vector field m of class C 1, defined in the open set A := {x : A(x) }, such that f (x, ξ) = q(x) + m(x), ξ, x A, ξ A(x). (1.3) We also assume that the boundary (more precisely, the part of the boundary in ) of the set {x A : div m(x) = 0} (1.4) has zero (ndimensional) measure. In this paper we prove that (1.3), (1.4) (see also the more general assumptions made in Section 3.) are sufficient conditions for existence of minimizers to the variational problem (1.). We emphasize that we do not require any other condition on the vector field m other than (1.4); in particular, we do not assume that the vector field m has null divergence. We notice that, while condition (1.3) is necessary for guaranteeing the existence of minimizers (see [], [6], [1]), we do not know whether condition (1.4) may be removed. Existence theorems without convexity assumptions have been widely investigated in the onedimensional case n = 1 (see [1] for an extensive list of references). Theorem 3.1 in Section 3 is specific to the case n, and it is an extension of some analogous results, obtained under more restrictive assumptions, by Marcellini [], MascoloSchianchi [3], Cellina [7] and Friesecke [1]. In particular, Theorem 3.1 is an extension of related results recently proved by Sychev [8] and Zagatti [9] for integrands independent of x and under a strong assumption on the growth of f which ensures the almost everywhere differentiability of minimizers, i.e., p > n, by CeladaPerrotta [5] for p > 1, and by DacorognaMarcellini in [13], [1]. Finally we recall that Marcellini [] pointed out the necessity of the condition of affinity (1.3) of the function f on the set where f f to guarantee existence of minimizers. Cellina [6], [7] and Friesecke [1] proved the necessity and sufficiency of the condition of affinity for linear boundary data u 0. The explicit dependence of the integrand on the variable x was first considered by MascoloSchianchi in [4], assuming that the divergence of the vector field m in (1.3) is identically equal to zero in, in addition to other strong assumptions on the boundary data u 0. Also, in [7] Raymond studied a case where the divergence of the vector field m in (1.3) is always different from zero in, and some type of explicit dependence on u is allowed. Local Lipschitz Continuity.1 Preliminary results Let f : R n [0, + ) be a continuous function such that 0 f(ξ) L(1 + ξ p ), (.1) 3
4 where L > 0, p > 1. We say that f is uniformly convex at infinity if there exist R, ν > 0 such that, if the segment with endpoints ξ 1, ξ (that we will denote by [ξ 1, ξ ]) is contained in the complement of the closed ball R, then f ( ξ1 + ξ ) 1 f(ξ 1) + 1 f(ξ ) ν(1 + ξ 1 + ξ ) p ξ1 ξ. (.) Note that (.) is equivalent to ( ) ξ1 + ξ f 1 f(ξ 1) + 1 f(ξ ) ν ( ξ 1 + ξ ) p ξ1 ξ, for some ν > 0, since ξ 1, ξ > R > 0. If the above inequality (.) is satisfied for any ξ 1, ξ R n, then we say that f is uniformly convex in R n. A form of uniform convexity at infinity was also considered by Mascolo and Schianchi in [5]. The lemma below is proved in [1]. Lemma.1 If γ > 1/ then there exist positive constants c 1 = c 1 (γ), c = c (γ) such that, for all ξ, η R n, c 1 (1 + ξ + η ) γ 1 0 t(1 + tξ + (1 t)η ) γ dt c (1 + ξ + η ) γ. The following result provides two conditions which are equivalent to uniform convexity in R n. Proposition. Let f : R n [0, + ) be a continuous function satisfying (.1). The following conditions are equivalent: (i) f is uniformly convex in R n ; (ii) f(ξ) = c 1 ν(1 + ξ ) p/ + g(ξ), for some c 1 = c 1 (p) > 0, where g(ξ) is a convex function such that 0 g(ξ) L(1 + ξ p ) for all ξ; (iii) Q [f(ξ + Dϕ(x)) f(ξ)] dx c ν Q (1 + ξ + Dϕ ) p Dϕ(x) dx, for all ξ R n, ϕ C0(Q), 1 where Q = (0, 1) n and c = c (p) is a suitable constant. Remark.3 The condition (iii) in Proposition. is related to the notion of uniform quasiconvexity, introduced by Evans [16] and later studied by Evans Gariepy [17]. Proof of Proposition.. (i) = (ii). We define g(ξ) := f(ξ) c 1 ν(1 + ξ ) p/, where c 1 will be chosen later, and we show that g is convex. Given ξ 1, ξ R n we set ξ := (ξ 1 + ξ )/. From (i) we easily get that 1 g(ξ 1) + 1 g(ξ ) g(ξ) + ν(1 + ξ 1 + ξ ) p ξ1 ξ + c [ 1ν (1 + ξ ) p/ (1 + ξ 1 ) p/ (1 + ξ ) p/]. 4
5 Thus the assertion follows immediately from the fact that there exists a constant c = c(p) such that (1 + ξ 1 ) p/ + (1 + ξ ) p/ (1 + ξ ) p/ c(1 + ξ 1 + ξ ) p ξ1 ξ, and by setting c 1 := c 1. To establish this inequality we write, for i = 1,, where h (ξ) := (1 + ξ ) p/, yielding h (ξ i ) = h (ξ) + Dh (ξ), ξ i ξ (1 t) D h (ξ + t (ξ i ξ)) (ξ i ξ), ξ i ξ dt (1 + ξ i ) p/ (1 + ξ ) p/ p(1 + ξ ) p ξi ξ, ξ +c(p) ξ i ξ 1 0 (1 t)(1 + ξ + t(ξ i ξ) ) p dt. It suffices now to sum the above inequalities for i = 1, and apply Lemma.1. (ii) = (iii). From Lemma.1 we easily get that (iii) holds for the function ξ (1+ ξ ) p/. Hence the general case follows from Jensen s inequality applied to g. (iii) = (i). See the proof of Proposition.5 with θ = 1/ in [19]. Lemma.4 Let f : R n [0, + ) be a C function. Then f satisfies (.) if and only if there exists a constant c 0 such that for all ξ R n \ R D f(ξ)λ, λ c 0 ν (1 + ξ ) p λ λ R n. (.3) The proof of Lemma.4 is straightforward and it is left to the reader. Lemma.5 Let f : R n [0, + ) be a continuous function satisfying (.1) and (.). Then there exist R 0, ν 0, C 0 > 0, depending only on R, ν and L, such that for all ξ R n \ R0 there exists q ξ R n such that q ξ C 0 (1 + ξ p 1 ) and f(η) f(ξ) + q ξ, η ξ + ν 0 (1 + ξ + η ) p ξ η η R n. (.4) Moreover, if ξ > R 0, then f (ξ) = f(ξ). Proof. For 0 < ε < 1 set f ε := ρ ε f, where ρ ε (η) := ε n ρ(η/ε) and ρ(η) = ˆρ( η ) is a positive radially symmetric mollifier with support equal to, with := 1, ρ(η) > 0 if η < 1 and ρ(η)dη = 1. From (.) it follows easily that if [ξ 1, ξ ] R n \ R+1, ξ := (ξ 1 + ξ )/, then 1 [f ε(ξ 1 ) +f ε (ξ )] f ε (ξ)+ν ξ 1 ξ ρ(η)(1+ ξ 1 +εη + ξ +εη ) p dη. 5
6 The integral above can be estimated from below by ρ(η)(1+ ξ 1 + ξ +ε η +4ε ξ, η ) p 1 dη (1+ ξ 1 + ξ ) p { ξ,η 0} if p, and by ρ(η)(1 + ξ 1 + ξ + 4ε η ) p dη 5 (p )/ (1 + ξ 1 + ξ ) p when 1 < p <. In both cases 1 [f ε(ξ 1 ) + f ε (ξ )] f ε (ξ) + cν(1 + ξ 1 + ξ ) p ξ1 ξ ; hence, by Lemma.4, if ξ R + 1, then D f ε (ξ)λ, λ cν (1 + ξ ) p λ, λ R n. (.5) Moreover, it can be easily checked that 0 f ε (ξ) C(L)(1 + ξ p ) for all ξ, and a simple argument based on the convexity of f ε in R n \ R+1 shows that there exists a constant C 1 (L, R) such that Df ε (ξ) C 1 (1 + ξ p 1 ), ξ R n \ R+. (.6) We claim that there exists R 0 >> 1 such that, if ξ > R 0, then f ε (η) f ε (ξ) + Df ε (ξ), η ξ + c(1 + ξ + η ) p ξ η (.7) for all η R n. Assume that (.7) holds. Notice that, if ξ > R 0 > R +, then by (.6) there exists a sequence (ε h ) converging to 0 such that Df εh (ξ) q ξ for some q ξ R n such that q ξ C 1 (1 + ξ p 1 ). Hence (.4) follows from (.7), letting ε go to 0 +. The equality f (ξ) = f(ξ) for ξ > R 0 then follows at once from (.4). The remaining of the proof concerns the assertion of the claim (.7). Fix ξ such that ξ > R 0, with R 0 > (R + 3) to be chosen later, and denote by C ξ the open cone with vertex at ξ, tangent to the ball R+3. Case 1: If η R n \ C ξ or η C ξ \ R+3 and η, ξ 0, then f ε is convex along the line t ξ + t(η ξ) provided R 0 is sufficiently large, and (.7) follows from (.5). Case : If η R+3 we consider ξ := ξ(r + 3)/ ξ and a constant M := C(L)(1 + (R + 3) p ) such that 0 f ε (η) M for all η R+3 and all ε (0, 1); by Case 1 we may apply (.7) to ξ (notice that ξ R+3, ξ, ξ > 0), thus getting f ε (η) = f ε (ξ) + f ε (η) f ε (ξ) 6
7 f ε (ξ) + Df ε (ξ), ξ ξ M + c (1 + (R + 3) + ξ ) p ( ξ R 3) f ε (ξ) + Df ε (ξ), η ξ Df ε (ξ) η ξ M + c (1 + η + ξ ) p ξ η. The estimate (.7) now follows for η and ξ from the previous inequalities, together with the estimate Df ε (ξ) η ξ + M 1 c(1 + η + ξ ) p ξ η, and the latter holds by virtue of (.6), and provided ξ > R 0 and R 0 > (R + 3) sufficiently large. Case 3: Finally, let us assume that η C ξ \ R+3, η, ξ < 0. In this case we have ξ η > ξ + η and, denoting by η the projection of η on the boundary of the cone, and by α ξ the half angle at the vertex of C ξ, η η ξ η sin α ξ = R + 3 ξ η 1 ξ η. (.8) ξ Notice that, if R 0 is sufficiently large, then [η, η] R n \ R+ ; therefore we may use (.6) to estimate f ε (η) f ε ( η). This, together with (.7) applied to η C ξ, yields f ε (η) = f ε ( η) + f ε (η) f ε ( η) f ε (ξ)+ Df ε (ξ), η ξ C 1 (1+ η p 1 + η p 1 ) η η +c(1+ η + ξ ) p ξ η. Since, by (.8), ξ η ξ η 3 ξ η, for any p > 1 we have easily c(1 + η + ξ ) p ξ η c(p)(1 + η + ξ ) p ξ η, and, using (.6) once more, we obtain f ε (η) f ε (ξ) + Df ε (ξ), η ξ (.9) C 1 η η [ (1 + ξ p 1 ) + (1 + η p 1 + η p 1 ) ] +c(p)(1 + η + ξ ) p ξ η. y virtue of (.8), and recalling that ξ + η < ξ η, we have C 1 η η [ (1 + ξ p 1 ) + (1 + η p 1 + η p 1 ) ] c R + 3 ξ ξ η (1 + η p 1 + ξ p 1 ) c R + 3 ξ η (1 + η + ξ ) p ξ (c(p)/)(1 + η + ξ ) p ξ η if ξ > R 0, with R 0 large enough. This, together with (.9), concludes the proof of (.7). Remark.6 Let f satisfy (.1) and (.), and fix a point ξ 0 such that R 0 < ξ 0 < R 0. Applying (.4) with ξ = ξ 0 and recall that q ξ C 0 (1 + ξ p 1 ), for all η such that η > R 0 it holds f(η) c 1 (R 0, ν 0, C 0 ) η p c (R 0, ν 0, C 0 ). Hence, f(ξ) c 1 ξ p c for all ξ R n, with c 1, c depending only on R, ν, L. 7
8 . A regularity result In this section we assume that f : R n [0, + ) is a continuous function satisfying the growth condition 0 f(x, ξ) L(1 + ξ p ), (x, ξ) R n (.10) and for some L > 0. Let us denote by f := f (x, ξ) the bipolar of f, that is the convex envelope of f(x, ). We assume that f is continuous and that f is uniformly convex at infinity with respect to ξ (see (.)), i.e., there exist R, ν > 0 such that if the segment ξ 1, ξ is contained in the complement of the closed ball R, then for all x f ( x, ξ 1 + ξ ) 1 f(x, ξ 1)+ 1 f(x, ξ ) ν(1+ ξ 1 + ξ ) p ξ1 ξ. (.11) Finally we assume further that, if ξ > R, then the vector field x f ξ (x, ξ) is weakly differentiable and If u W 1,p loc D x f ξ (x, ξ) L(1 + ξ p 1 ), (x, ξ) (R n \ R ). (.1) () and A is open, then we set F (u, A) := f(x, Du(x)) dx. A The main result of this section is Theorem.7 below. We recall that u is said to be a local minimizer of F in if F (u, R (x 0 )) F (v, R (x 0 )) whenever R (x 0 ) and v u + W 1,p 0 ( R (x 0 )). Theorem.7 Let f : R n [0, + ) be a continuous function satisfying (.10), (.11) and (.1). If u W 1,p loc () is a local minimizer of the functional F, then u is locally Lipschitz continuous in. Moreover, there exists a constant C 0, depending on L, p, ν, R, such that, if r (x 0 ), then ) sup Du p C 0 (1 + Du p dx. (.13) r/ (x 0) r(x 0) We first show in Lemma.8 that, provided we know already that u is locally Lipschitz, (.13) holds with a constant C 0 depending only on L, p, ν, R. Once the a priori estimate (.13) is established, the regularity result is obtained using an approximation argument. Lemma.8 Let f satisfy the assumptions of Theorem.7. Assume, in addition, that f is C and that, for all x, ξ, λ R n, D ξi ξ j f(x, ξ)λ i λ j ε 0 (1 + ξ ) p λ, (.14) 8
9 and that u W 1,p loc () is a locally Lipschitz local minimizer of F in. Then (.13) holds with a constant depending only on L, p, ν, R and, in particular, independent on ε 0. Proof. Step 1: From Lemma.4 we have that for every x, ξ, λ R n, with ξ > R, D ξi ξ j f(x, ξ)λ i λ j cν(1 + ξ ) p λ. (.15) Since ũ(y) := u(x 0 + ry)/r is a local minimizer in ( x 0 )/r of the functional F, where F (v) := ( x f(x 0)/r 0 + ry, Dv(y))dy still satisfies the assumptions of Theorem.7, it is clear that in order to prove (.13) we may always assume, with no loss of generality, that := 1. Since u satisfies the Euler equation for F, D ξi f(x, Du)D i φ dx = 0, φ C0(), 1 using (.14) and the fact that D ξi ξ j f(x, Du(x)) are locally bounded in (which follows from the C regularity of f, together with the fact that Du is locally bounded) we have that u W, loc (), by a standard different quotient argument. We fix s {1,..., n}, η C0(), 1 0 η 1, ψ C (), and in the above Euler equation we take φ = η D s ψ to obtain D ξi f(x, Du)D s (D i ψ)η dx = ηd ξi f(x, Du)D s ψd i η dx. Integrating by parts the first integral, we have D ξi ξ j f(x, Du)D j (D s u)d i ψη dx = ηd ξi f(x, Du)D s ψd i η dx D xsξ i f(x, Du)D i ψη dx ηd ξi f(x, Du)D i ψd s η dx (.16) for all functions ψ W 1, (). Set n n V + (x) := 1+R + [(D h u(x) R) + ], V (x) := 1+R + [(D h u(x)+r) ], h=1 and notice that there exist constants c 1, c, depending only on n, such that c 1 (V + (x) + V (x)) 1 + R + Du(x) c (V + (x) + V (x)). (.17) Let ψ := V β + (D s u R) +, where β 0. y (.10) and the convexity of f (x, ), D ξ f(x, ξ) c(1 + ξ ) p 1, and (.16) yields D ξi ξ j f(x, Du)D j (D s u R) + D i (D s u R) + V β + η dx ( n +β D ξi ξ j f(x, Du)D j (D s u R) + (D s u R) + D i 9 h=1 h=1 [(D h u R) + ] ) V β 1 + η dx
10 +cβ c η(η + Dη )(1 + Du p 1 ) D(D s u R) + V β + dx ( n ) D [(D h u R) + ] (D s u R) + V β 1 + dx. η(η + Dη )(1 + Du p 1 ) h=1 Since all the integrals are evaluated in the set where Du > R, summing up on s, using (.15), the fact that (D s u R) + V 1/ + and Young s inequality, it follows easily that ( n ) (1 + Du ) p D [(D i u R) + ] V β 1 + η dx h=1 c ν (1 + Du p ) V β + (η + Dη ) dx, where the constant c depends only on n, p, L. Since the integral on the left hand side is evaluated in the set where Du > R, in turn this last inequality is equivalent to the following one: c ν (1 + R + Du ) p ( n ) D [(D i u R) + ] h=1 (1 + R + Du ) p/ V β + (η + Dη ) dx. V β 1 + η dx Inserting ψ = V β (D s u + R) in (.16), and using a similar argument, we get also ( n ) (1 + R + Du ) p D [(D i u + R) ] V β 1 η dx h=1 c ν (1 + R + Du ) p/ V β (η + Dη ) dx. Therefore, adding the last two inequalities and using (.17), we arrive to [ ] V p DV + V β DV V β 1 η dx c ν V p/+β (η + Dη ) dx, where V := max {V + ; V }. Step : From the inequality above we deduce that DV p/4+β/ η dx c(p + β) V p/+β (η + Dη ) dx. In turn, this implies that D(V p/4+β/ η) dx c(p + β) 10 V p/+β (η + Dη ) dx,
11 where the constant c depends only on L, p, n, R, ν. Setting γ := p/4 + β/ p/4, using the Sobolev Poincaré inequality, and the arbitrariness of β 0, we get that, for any γ p/4, V γ η L χ () cγ V γ (η + Dη ) L (), where χ := n/(n ) if n 3, or any number > 1 if n =. Considering the sequence of radii r i := 1/ + 1/ i for i = 1,..., we apply the inequality above to γ = γ i := (p/4)χ i 1, and choose η C0() 1 such that η = 1 on ri+1, 0 η 1, Dη c i. We obtain V L γ i+1 (ri+1 ) (ci γ i ) 1/γ i V L γ i (ri ). Iterating the above formula yields, for every i, V L γ i+1 (1/ ) C V L p/ (), where C = i=1 (ci γ i ) 1/γ i < +. Therefore, letting i go to + and using (.17), we obtain (.13). Remark.9 It follows immediately from the proof that the estimate (.13) may be generalized to read ( ) sup ρ(x 0) Du p C(ρ) 1 + Du p dx, r(x 0) for all 0 < ρ < r, where C(ρ) depends only on L, p, ν, R and ρ. We are now in position to prove Theorem.7, by using the following approximation lemma. Lemma.10 Let g : R n [0, + ) be a C convex function such that for all ξ R n 0 g(ξ) L(1 + ξ p ), where p > 1, L > 0, and assume that there exist R, ν > 0, such that if ξ > R, λ R n, D ij g(ξ)λ i λ j ν(1 + ξ ) p λ. Then there exists a constant c = c(n, p) and a sequence g h of C (R n ) convex functions such that (a) 0 g h (ξ) cl(1 + ξ p ) ξ R n ; (b) for any h there exists ε h > 0 such that, for all ξ, λ R n, ε h (1 + ξ ) p λ D ij g h (ξ)λ i λ j ε 1 (1 + ξ ) p λ ; (c) D ij g h (ξ)λ i λ j cν(1 + ξ ) p λ, λ R n, ξ > R + 1; (d) g h g uniformly on compact subset of R n. h 11
12 Proof. The proof of this lemma can be obtained arguing as in the Step and Step 3 of the proof of Lemma 3.4 of [19], with the obvious simple modifications needed in the present case. Therefore we omit the details. Proof of Theorem.7. Notice that if u is a local minimizer F, then u is also a local minimizer of the relaxed functional v f (x, Dv)dx, where, for all x, f (x, ξ) is the bipolar of ξ f(x, ξ). Indeed, if v u + W 1,p 0 ( r (x 0 )), then f (x, Dv) dx = inf { lim inf r(x 0) r(x 0) f(x, Dv h ) dx : v h v 0 in w W 1,p 0 ( r (x 0 )) Also, by virtue of Lemma.5, the function f satisfies the assumptions of Theorem.7. Therefore, with no loss of generality, we may assume that f is convex in ξ. Step 1: Let us assume that f(x, ξ) = N a i (x)g i (ξ), i=1 where, for i = 1,..., N, the function g i C (R n ) satisfies the assumptions of Lemma.10 for some L, R, ν > 0, and D g i (ξ)λ, λ ε 0 (1 + ξ ) (p )/ λ for all ξ, λ R n and for some ε 0 > 0. Moreover, let us assume that, for all i, the function a i is a nonnegative C function such that Da i M and that γ 1 < N i=1 a i(x) < γ for all x and for some positive constant γ. For every i let us denote by g i,h a sequence of C (R n ) functions such that g i,h g i uniformly on the compact sets of R n, satisfying the conditions (a), (b) and (c) of Lemma.10, and let us set for all (x, ξ) R n f h (x, ξ) := N a i (x) g i,h (ξ). i=1 From Remark.6 it follows easily that there exist constants c 1, c, depending only on L, R, ν, γ, such that, for all (x, ξ) and for any h, f(x, ξ), f h (x, ξ) c 1 ξ p c. (.18) Given r (x 0 ), we denote by u h the solution of the problem { } min f h (x, Dv) dx : v u + W 1,p 0 ( r (x 0 )). (.19) r(x 0) Since the functions g i,h satisfy condition (b) of Lemma.10, standard elliptic regularity theory implies that u h C 1,α () W, loc () for any h. From the assumptions on f, from the approximation provided by Lemma.10, and from }. 1
13 (.18), it follows that the sequence u h is bounded in W 1,p ( r (x 0 )). Moreover, by Lemma.8 (see Remark.9), for all ρ < r we obtain ( ) sup ρ(x 0) Du h p C 1 + Du h p dx, (.0) r(x 0) where the constant C depends ultimately only on L, p, R, ν, γ, M and ρ, but not on h. Hence we may assume, up to a subsequence, that u h u weakly* in W 1, ( ρ (x 0 )) for any ρ < r. Since f h f uniformly on compact sets of R n and the integrand f is convex, for any ρ < r we have f(x, Du )dx lim inf f(x, Du h )dx = lim inf f h (x, Du h )dx ρ(x 0) ρ(x 0) lim inf f h (x, Du) dx = r(x 0) r(x 0) ρ(x 0) f(x, Du) dx, where we used the fact that u h is a solution for (.19). Letting ρ r and recalling that u is a local minimizer of the functional F, we deduce that u is also a minimizer of F in r (x 0 ). Since the functional F is strictly convex, we have that u = u. Passing to the limit as h + in (.0), we conclude that u is also locally Lipschitz. Indeed, using the minimality of u h and (.0), we get ( ) sup Du p lim inf sup Du h p r/ (x 0) r/ (x 0) ( ) ( ) c lim inf c lim inf 1 + r(x 0) ( 1 + Du h p dx c lim inf 1 + ) ( f h (x, Du) dx c 1 + r(x 0) r(x 0) r(x 0) f h (x, Du h ) dx Du p dx Step : Let us now assume that f C ( R n ) and that there exists ε 0 > 0 such that D ξi ξ j f(x, ξ)λ i λ j ε 0 (1 + ξ ) (p )/ λ for all (x, ξ) R n and for any λ R n. Fix an open set A and let us prove that (.13) holds for any ball r (x 0 ) A (with a constant C 0 not depending on A). To this aim let ψ C 0 (R n ) be a cutoff function such that 0 ψ(x) 1 for all x, suppψ ( 3, 3) n and such that ψ(x) 1 if x [ 1, 1] n. For any h N we denote by Q i,h (x i,h ) the standard covering of R n with closed cubes, centered at x i,h, with sides parallel to the coordinates axes, side length equal to /h and having pairwise disjoint interiors. Then, for any i, h, we set ψ i,h (x) := ψ (h (x x i,h )) and ). σ h (x) := ψ i,h (x), i=1 ϕ i,h (x) := ψ i,h(x) σ h (x). 13
14 Finally, for all h such that 1 n/h <dist(a; ), and for every x A, ξ R n, we set f h (x, ξ) := ϕ i,h (x)f(x i,h, ξ). i=1 Notice that the above sum is actually finite (indeed it consists of at most 3 n terms), and that each function f h is of the type considered in Step 1. Moreover, we claim that the functions f h satisfy the assumptions of Lemma.8 with suitable constants L, ε 0, R, ν not depending on h. The verification of our claim in the case of assumptions (.10), (.11) (or equivalently (.15)) and (.14) follows easily by the corresponding assumptions on f. We limit ourselves to show that for any h D xξ f h (x, ξ) cl(1 + ξ p 1 ), (x, ξ) A (R n \ R ), (.1) where L is the constant appearing in (.1) (relative to f) and c is a constant depending only on n, ψ, but not on h. Let us fix x 0 A and ξ R n \ R. y construction there exist at most 3 n cubes, Q j1,h(x j1,h),..., Q j3 n,h(x j3 n,h), such that for any x in a suitable neighborhood U of x 0 f h (x, ξ) = 3 n l=1 ϕ jl,h(x) f(x jl,h, ξ), Therefore for all x U we have that D xξ f h (x, ξ) = = 3 n l=1 3 n l= 3 n l=1 ϕ jl,h(x) = 1. D x ϕ jl,h(x) D ξ f(x jl,h, ξ) (.) D x ϕ jl,h(x) [D ξ f(x jl,h, ξ) D ξ f(x j1,h, ξ)]. In view of assumption (.1), we have that for all l, D ξ f(x jl,h, ξ) D ξ f(x j1,h, ξ) c(n)l h (1 + ξ p 1 ). On the other hand, for any j, there exists a set of indices I j containing j, with #(I j ) = 3 n, such that, for all x R n, D x ϕ j,h (x) = D xψ j,h (x) σ h (x) ψ j,h(x) σ h (x) k I j D x ψ k,h (x). Therefore, since by construction σ h (x) 1 for all x, we have that, for all x R n and any j, D x ϕ j,h (x) (3 n + 1)h( D x ψ ). In view of the above estimates and from (.), we may conclude that for all (x, ξ) A (R n \ R ) and for any h D xξ f h (x, ξ) c(n)l D x ψ (1 + ξ p 1 ), 14
15 and thus (.1) follows. Finally, notice that f h (x, ξ) f(x, ξ) uniformly in A K for every K compact subset of R n. Hence the rest of the proof goes as in Step 1, since also in this case the function ξ f(x, ξ) is strictly convex for all x A. Step 3: Let f satisfy the assumptions of Theorem.7. Fix an open set A, an infinitesimal sequence ε h of positive numbers and a positive symmetric mollifier ρ. For h large enough we set for all (x, ξ) A R n f h (x, ξ) := ρ(y)ρ(η)f(x + ε h y, ξ + ε h η) dydη + ε h (1 + ξ p ), where is the unit open ball in R n. Notice that each function f h is of the type considered in Step and that f h (x, ξ) f(x, ξ) uniformly on any set of the type A K, with K R n compact. Moreover, the functions f h satisfy the assumptions of Theorem.7 with the corresponding constants L, R, ν bounded from above and away from zero. As in Step 1, given a ball r (x 0 ) A we denote by u h the solution of the problem { } min f h (x, Dv) dx : v u + W 1,p ( r (x 0 )). r(x 0) From the assumptions on f and the construction of the functions f h it follows easily that the sequence u h is bounded in W 1,p ( r (x 0 )). Moreover, by Step, for all ρ < r we have ( ) sup ρ(x 0) Du h p C 1 + Du h p dx, r(x 0) where the constant C depends only on L, p, R, ν and ρ, but not on h. Hence we may assume that, up to a subsequence, u h u weakly* in W 1, ( ρ (x 0 )) for any ρ < r. As in Step 1 we have again that also u is a minimizer of F in r (x 0 ). However, in the present case the functional F is not necessarily strictly convex, hence we may not conclude as before that u = u in r (x 0 ). Set E 0 := {x r (x 0 ) : Du (x)+du(x) > R 0 }, where R 0 is the constant provided by Lemma.5. If E 0 has positive measure, then from the convexity of f(x, ) and Remark.6 we have, setting ũ := (u + u )/, f(x, Dũ) dx 1 f(x, Du) dx+ 1 f(x, Du ) dx. ρ(x 0)\E 0 ρ(x 0)\E 0 ρ(x 0)\E 0 Also, applying twice (.4) in Lemma.5, first with ξ := Dũ and η := Du, and then with ξ := Dũ and η := Du, adding up these two inequalities yields f(x, Dũ) dx < 1 f(x, Du)dx+ 1 f(x, Du )dx. ρ(x 0) E 0 ρ(x 0) E 0 ρ(x 0) E 0 Adding these two inequalities we get a contradiction with the minimality of u and u. Therefore E 0 has zero measure. Applying Step to the functions u h, 15
16 (.4) to the functions f h, and using the minimality of u h, we deduce that ( ) sup Du p lim inf sup Du h p r/ (x 0) r/ (x 0) ( C lim inf 1 + ( c lim inf 1 + r(x 0) r(x 0) ) ( Du h p dx c lim inf 1 + ) ( f h (x, Du ) dx c 1 + r(x 0) r(x 0) Then the result follows, since Du(x) + Du (x) R 0 for a.e. x. f h (x, Du h ) dx Du p dx 3 Attainment of minima for nonconvex problems Here we give an existence result for the variational problem { } inf f (x, Du(x)) dx : u u 0 + W 1,p 0 (), (3.1) where is a bounded open set of R n and u 0 W 1,p (), p > 1. Throughout this section we assume that f : R n R is a continuous function satisfying the growth condition c 1 ξ p c f(x, ξ) L(1 + ξ p ), (x, ξ) R n, (3.) for some constants c 1, c, L > 0, and is uniformly convex at infinity with respect to ξ, i.e., there exist R, ν > 0 such that, if the segment [ξ 1, ξ ] is contained in R n \ R, then ( f x, ξ ) 1 + ξ 1 f(x, ξ 1) + 1 f(x, ξ ) ν(1 + ξ 1 + ξ ) p ξ1 ξ (3.3) for every x (see (.)). Notice that, if 0 f(x, ξ) L(1 + ξ p ), then condition (3.3) implies the coercivity inequality in the left hand side of (3.) (see Remark.6). In addition, we assume that there exists the distributional derivative D xξ f(x, ξ) and D xξ f(x, ξ) L(1 + ξ p 1 ), x, ξ > R, (3.4) provided L in (3.) is chosen to be sufficiently large (see (.1)). Let us denote by f := f (x, ξ) the bipolar of f, that is the convex envelope of f(x, ) (i.e., the largest convex function in ξ which is less than or equal to f(x, ) on R n ). We assume that f is continuous; hence, for any x, the set A(x) := {ξ R n : f(x, ξ) > f (x, ξ)} (3.5) ). ) 16
17 is open. We shall prove the existence of a minimizer for the problem (3.1) under the main assumption that f (x, ) is affine on each connected component of A(x). However, in order to present the argument of the proof in a simplified setting, we shall treat first the case where f (x, ) is affine (with the same slope) on the whole set A(x). We will refer to this situation as the model case. The proof of this case contains all the ideas and technical tools which are needed to treat the general situation in which f (x, ) is affine (with possibly different slopes) on each connected component of A(x). 3.1 The model case As before f : R n R is a continuous function satisfying (3.) (3.4). We assume that f : R n R is continuous and we denote by A(x) the set defined in (3.5) and by A := {x : A(x) }. Since f and f are continuous functions, A is open. Here we consider the case where f (x, ) is affine in A(x); more precisely, we assume that there exist a function q C 0 ( A ) and a vector field m C 1 ( A ; R n ) such that f (x, ξ) = q(x) + m(x), ξ, x A, ξ A(x). (3.6) We also assume that the boundary of the set where the divergence of m is equal to zero is negligible, i.e., Finally, for every x A, we set meas ( {x A : div m(x) = 0}) = 0. (3.7) E(x) := {ξ R n : f (x, ξ) = q(x) + m(x), ξ } ; note that, by the growth conditions in (3.) and by the assumption that f is uniformly convex at infinity with respect to ξ, then the set E(x) is bounded uniformly for x A (see also Lemma.5). We assume there exists an increasing function ω : [0, + ) [0, + ), with ω(t) = 0 if and only if t = 0, such that, if x A, ξ E(x), η R n \ E(x), then ( f x, ξ + η ) 1 f (x, ξ) + 1 f (x, η) ω ( ξ η ). (3.8) The main result of this section is the following existence theorem. Theorem 3.1 Let f, f : R n R be continuous functions (f not necessarily convex with respect to ξ R n ). Under the above assumptions on f and f ((3.) (3.4) and (3.6) (3.8)), for any given boundary datum u 0 W 1,p () the variational problem (3.1) attains its minimum. Moreover, any minimizers is of class W 1, loc (). 17
18 The proof of Theorem 3.1 is obtained using the same method as in the work of Dacorogna Marcellini [13], [1], who considered integrands independent of x. Our proof however follows from some new lemmas. The first one concerns the relaxed variational problem { } inf f (x, Du(x)) dx : u u 0 + W 1,p 0 (). (3.9) Lemma 3. The minimum of the relaxed variational ( problem (3.9) ) is attained. Moreover, there exist a minimizer v W 1, loc () u 0 + W 1,p 0 () of (3.9) and an open set (possibly empty) such that { Dv(x) A(x) a.e. x Dv(x) / A(x) a.e. x \ (3.10) and div m = 0 in. Remark 3.3 Formally, if Dv(x) A(x) then by (3.6) f (x, Dv(x)) = q(x) + m(x), Dv(x). Therefore, the Euler s equation for v gives n s=1 x s f ξ s (x, Dv) = div m(x) = 0, a.e. x such that Dv(x) A(x). Thus (3.10) would follow if we could define := {Dv(x) A(x)}. A striking feature of Lemma 3. is that the set may be chosen to be open, and so Lemma 3. may be considered to be a strong form of Euler s first variation for the minimizers. The property (3.10) is a regularity result, and in fact it follows from the regularity results obtained in Section. The proof of Lemma 3. follows the argument by Dacorogna Marcellini [1] in Theorem Previous arguments related to Lemma 3. are due to De lasi Pianigiani [14], Sychev [8], and Zagatti [9]. Proof of Lemma 3.. As before we denote by A the open subset of consisting of those points x such that A(x). We split A into three sets (possibly empty), + A := {x A : div m(x) > 0}, A := {x A : div m(x) < 0}, (3.11) 0 A := {x A : div m(x) = 0}. (3.1) Since div m is a continuous function, + A A int 0 A is an open set and, by (3.7), meas ( A \ ( + A A int ( ) A)) 0 meas 0 A = 0. 18
19 y (3.), (3.3), (3.4), Lemma.5, and Theorem.7 the relaxed variational ( problem (3.9) has a minimizer u in the Sobolev class W 1, loc () u0 + W 1,p () ). Thus, by Rademacher theorem (see, for example, Theorem..1 of [30], or Theorem.14 of []) u is classically differentiable for almost every x. Let x 0 be a point of A \ 0 A where u is differentiable. Then u (x) = u (x 0 ) + Du (x 0 ), x x 0 + o ( x x 0 ), x. (3.13) Also, assume that Du (x 0 ) A(x 0 ) = {ξ R n : f(x 0, ξ) > f (x 0, ξ)}. Since A and A(x) are open sets, there exists γ (0, 1) (depending on u and x 0 ) such that x A, ξ A(x), (3.14) for all (x, ξ) R n such that x x 0 γ, ξ Du (x 0 ) γ. (3.15) Recall that x 0 A \ 0 A ; thus we can also assume that γ is sufficiently small so that { x0 ± A, x x 0 γ = x ± A, x 0 int 0 A, x x 0 γ = x int 0 A. (3.16) Choose δ (0, γ] (depending on x 0 ) sufficiently small such that and o ( x x 0 ) x x 0 δ γ, x δ (x 0 ), x x 0, (3.17) γ Du (x 0 ) + 4γ, δ(x 0 ). (3.18) y (3.16) and by the definition of + A, A, 0 A in (3.11), (3.1), we have { x0 ± A = div m(x) 0 x δ (x 0 ), x 0 int 0 A = div m(x) = 0 x δ (x 0 ). (3.19) For every r (0, δ], let us define in the function v r x 0 by v r x 0 (x) := u (x 0 ) + Du (x 0 ), x x 0 ± γ (r x x 0 ), x, the sign + being chosen if x 0 + A, while the sign is selected if x 0 A. If x 0 int 0 A then any sign in the definition of vr x 0 (x) is a good choice; in order to fix the ideas, we choose the sign + if x 0 int 0 A. Since D x = 1 for every x R n \ {0}, we obtain Dv r x0 (x) Du (x 0 ) = γ D x x0 = γ a.e. x, 19
20 and thus by (3.14), (3.15), Dvx r 0 (x) A(x), a.e. x δ (x 0 ), r (0, δ]. (3.0) If x 0 + A int 0 A we set G(x 0, r) := { x δ (x 0 ) : vx r 0 (x) u (x) }, (3.1) and if x 0 A we define G(x 0, r) := { x δ (x 0 ) : v r x 0 (x) u (x) }. (3.) We claim that G(x 0, r) is a closed set satisfying r/3 (x 0 ) G(x 0, r) r (x 0 ). (3.3) Let us verify (3.3) when x 0 + A int 0 A. If x δ(x 0 ) but x / r (x 0 ) (that is r < x x 0 δ) then by (3.13) and (3.17) we get vx r 0 (x) u (x) = γ (r x x 0 ) o ( x x 0 ) ( < γ x x 0 o ( x x 0 ) = x x 0 γ + o ( x x ) 0 ) 0. x x 0 Thus v r x 0 (x) u (x) < 0 and x / G(x 0, r). On the other hand if x r/3 (x 0 ), then r/3 x x 0, and again by (3.13), (3.17), we obtain vx r 0 (x) u (x) = γ (r x x 0 ) o ( x x 0 ) ( γ x x 0 o ( x x 0 ) = x x 0 γ o ( x x ) 0 ) 0 x x 0 and x G(x 0, r). Thus (3.3) is proved. y (3.1) and the continuity of u and vx r 0 we have G(x 0, r) = { x δ (x 0 ) : v r x 0 (x) = u (x) }, thus G(x 0, r) and G(x 0, r ) are disjoint for r r and we conclude that only countably many of these boundary sets can have positive measure. Therefore we can always choose a sequence r h of real numbers such that r h 0 as h +, 0 < r h δ, h N, meas ( G(x 0, r h )) = 0, h N. Let us consider the measurable subset of (3.4) M := { x 0 + A A int 0 A : u differentiable at x 0, Du (x 0 ) A(x 0 ) } and consider the family of open sets G := {int G(x, r h ) : x M, r h as in (3.4)}. 0
Shape Optimization Problems over Classes of Convex Domains
Shape Optimization Problems over Classes of Convex Domains Giuseppe BUTTAZZO Dipartimento di Matematica Via Buonarroti, 2 56127 PISA ITALY email: buttazzo@sab.sns.it Paolo GUASONI Scuola Normale Superiore
More informationA PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of RouHuai Wang
A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS XAVIER CABRÉ, MANEL SANCHÓN, AND JOEL SPRUCK In memory of RouHuai Wang 1. Introduction In this note we consider semistable
More information6. Metric spaces. In this section we review the basic facts about metric spaces. d : X X [0, )
6. Metric spaces In this section we review the basic facts about metric spaces. Definitions. A metric on a nonempty set X is a map with the following properties: d : X X [0, ) (i) If x, y X are points
More informationReference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.
5 Potential Theory Reference: Introduction to Partial Differential Equations by G. Folland, 995, Chap. 3. 5. Problems of Interest. In what follows, we consider Ω an open, bounded subset of R n with C 2
More information2.3 Convex Constrained Optimization Problems
42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationThe HenstockKurzweilStieltjes type integral for real functions on a fractal subset of the real line
The HenstockKurzweilStieltjes type integral for real functions on a fractal subset of the real line D. Bongiorno, G. Corrao Dipartimento di Ingegneria lettrica, lettronica e delle Telecomunicazioni,
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More informationCONSTANTSIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE plaplacian. Pasquale Candito and Giuseppina D Aguí
Opuscula Math. 34 no. 4 2014 683 690 http://dx.doi.org/10.7494/opmath.2014.34.4.683 Opuscula Mathematica CONSTANTSIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE plaplacian Pasquale
More informationCourse 221: Analysis Academic year , First Semester
Course 221: Analysis Academic year 200708, First Semester David R. Wilkins Copyright c David R. Wilkins 1989 2007 Contents 1 Basic Theorems of Real Analysis 1 1.1 The Least Upper Bound Principle................
More informationON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for
More informationMetric Spaces. Chapter 1
Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence
More informationProperties of BMO functions whose reciprocals are also BMO
Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a nonnegative BMOfunction w, whose reciprocal is also in BMO, belongs to p> A p,and
More informationIf the sets {A i } are pairwise disjoint, then µ( i=1 A i) =
Note: A standing homework assignment for students in MAT1501 is: let me know about any mistakes, misprints, ambiguities etc that you find in these notes. 1. measures and measurable sets If X is a set,
More informationAn optimal transportation problem with import/export taxes on the boundary
An optimal transportation problem with import/export taxes on the boundary Julián Toledo Workshop International sur les Mathématiques et l Environnement Essaouira, November 2012..................... Joint
More informationNotes on weak convergence (MAT Spring 2006)
Notes on weak convergence (MAT4380  Spring 2006) Kenneth H. Karlsen (CMA) February 2, 2006 1 Weak convergence In what follows, let denote an open, bounded, smooth subset of R N with N 2. We assume 1 p
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More information5. Convergence of sequences of random variables
5. Convergence of sequences of random variables Throughout this chapter we assume that {X, X 2,...} is a sequence of r.v. and X is a r.v., and all of them are defined on the same probability space (Ω,
More informationON TOPOLOGICAL SEQUENCE ENTROPY AND CHAOTIC MAPS ON INVERSE LIMIT SPACES. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXVIII, 2(1999), pp. 205 211 205 ON TOPOLOGICAL SEQUENCE ENTROPY AND CHAOTIC MAPS ON INVERSE LIMIT SPACES J. S. CANOVAS Abstract. The aim of this paper is to prove the
More informationMetric Spaces Joseph Muscat 2003 (Last revised May 2009)
1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationSeparation Properties for Locally Convex Cones
Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam
More informationNOTES ON MEASURE THEORY. M. Papadimitrakis Department of Mathematics University of Crete. Autumn of 2004
NOTES ON MEASURE THEORY M. Papadimitrakis Department of Mathematics University of Crete Autumn of 2004 2 Contents 1 σalgebras 7 1.1 σalgebras............................... 7 1.2 Generated σalgebras.........................
More informationCompactness in metric spaces
MATHEMATICS 3103 (Functional Analysis) YEAR 2012 2013, TERM 2 HANDOUT #2: COMPACTNESS OF METRIC SPACES Compactness in metric spaces The closed intervals [a, b] of the real line, and more generally the
More informationFuzzy Differential Systems and the New Concept of Stability
Nonlinear Dynamics and Systems Theory, 1(2) (2001) 111 119 Fuzzy Differential Systems and the New Concept of Stability V. Lakshmikantham 1 and S. Leela 2 1 Department of Mathematical Sciences, Florida
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationVariational approach to restore pointlike and curvelike singularities in imaging
Variational approach to restore pointlike and curvelike singularities in imaging Daniele Graziani joint work with Gilles Aubert and Laure BlancFéraud Roma 12/06/2012 Daniele Graziani (Roma) 12/06/2012
More informationRi and. i=1. S i N. and. R R i
The subset R of R n is a closed rectangle if there are n nonempty closed intervals {[a 1, b 1 ], [a 2, b 2 ],..., [a n, b n ]} so that R = [a 1, b 1 ] [a 2, b 2 ] [a n, b n ]. The subset R of R n is an
More informationCourse 421: Algebraic Topology Section 1: Topological Spaces
Course 421: Algebraic Topology Section 1: Topological Spaces David R. Wilkins Copyright c David R. Wilkins 1988 2008 Contents 1 Topological Spaces 1 1.1 Continuity and Topological Spaces...............
More informationLimits and convergence.
Chapter 2 Limits and convergence. 2.1 Limit points of a set of real numbers 2.1.1 Limit points of a set. DEFINITION: A point x R is a limit point of a set E R if for all ε > 0 the set (x ε,x + ε) E is
More informationChap2: The Real Number System (See Royden pp40)
Chap2: The Real Number System (See Royden pp40) 1 Open and Closed Sets of Real Numbers The simplest sets of real numbers are the intervals. We define the open interval (a, b) to be the set (a, b) = {x
More informationAdaptive Online Gradient Descent
Adaptive Online Gradient Descent Peter L Bartlett Division of Computer Science Department of Statistics UC Berkeley Berkeley, CA 94709 bartlett@csberkeleyedu Elad Hazan IBM Almaden Research Center 650
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More informationResearch Article Stability Analysis for HigherOrder Adjacent Derivative in Parametrized Vector Optimization
Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 510838, 15 pages doi:10.1155/2010/510838 Research Article Stability Analysis for HigherOrder Adjacent Derivative
More informationThe Heat Equation. Lectures INF2320 p. 1/88
The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)
More informationSOME TYPES OF CONVERGENCE OF SEQUENCES OF REAL VALUED FUNCTIONS
Real Analysis Exchange Vol. 28(2), 2002/2003, pp. 43 59 Ruchi Das, Department of Mathematics, Faculty of Science, The M.S. University Of Baroda, Vadodara  390002, India. email: ruchid99@yahoo.com Nikolaos
More information9 More on differentiation
Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......
More informationNumerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More informationQuasistatic evolution and congested transport
Quasistatic evolution and congested transport Inwon Kim Joint with Damon Alexander, Katy Craig and Yao Yao UCLA, UW Madison Hard congestion in crowd motion The following crowd motion model is proposed
More informationFurther Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1
Further Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1 J. Zhang Institute of Applied Mathematics, Chongqing University of Posts and Telecommunications, Chongqing
More informationConvex analysis and profit/cost/support functions
CALIFORNIA INSTITUTE OF TECHNOLOGY Division of the Humanities and Social Sciences Convex analysis and profit/cost/support functions KC Border October 2004 Revised January 2009 Let A be a subset of R m
More informationOn generalized gradients and optimization
On generalized gradients and optimization Erik J. Balder 1 Introduction There exists a calculus for general nondifferentiable functions that englobes a large part of the familiar subdifferential calculus
More informationFIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.
FIRST YEAR CALCULUS WWLCHENW L c WWWL W L Chen, 1982, 2008. 2006. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It It is is
More informationExercise 1. Let E be a given set. Prove that the following statements are equivalent.
Real Variables, Fall 2014 Problem set 1 Solution suggestions Exercise 1. Let E be a given set. Prove that the following statements are equivalent. (i) E is measurable. (ii) Given ε > 0, there exists an
More informationMath 5311 Gateaux differentials and Frechet derivatives
Math 5311 Gateaux differentials and Frechet derivatives Kevin Long January 26, 2009 1 Differentiation in vector spaces Thus far, we ve developed the theory of minimization without reference to derivatives.
More informationMonotone maps of R n are quasiconformal
Monotone maps of R n are quasiconformal K. Astala, T. Iwaniec and G. Martin For Neil Trudinger Abstract We give a new and completely elementary proof showing that a δ monotone mapping of R n, n is K quasiconformal
More informationMath212a1010 Lebesgue measure.
Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationON FIBER DIAMETERS OF CONTINUOUS MAPS
ON FIBER DIAMETERS OF CONTINUOUS MAPS PETER S. LANDWEBER, EMANUEL A. LAZAR, AND NEEL PATEL Abstract. We present a surprisingly short proof that for any continuous map f : R n R m, if n > m, then there
More informationOpen and Closed Sets
Open and Closed Sets Definition: A subset S of a metric space (X, d) is open if it contains an open ball about each of its points i.e., if x S : ɛ > 0 : B(x, ɛ) S. (1) Theorem: (O1) and X are open sets.
More information1. Periodic Fourier series. The Fourier expansion of a 2πperiodic function f is:
CONVERGENCE OF FOURIER SERIES 1. Periodic Fourier series. The Fourier expansion of a 2πperiodic function f is: with coefficients given by: a n = 1 π f(x) a 0 2 + a n cos(nx) + b n sin(nx), n 1 f(x) cos(nx)dx
More information) + ˆf (n) sin( 2πnt. = 2 u x 2, t > 0, 0 < x < 1. u(0, t) = u(1, t) = 0, t 0. (x, 0) = 0 0 < x < 1.
Introduction to Fourier analysis This semester, we re going to study various aspects of Fourier analysis. In particular, we ll spend some time reviewing and strengthening the results from Math 425 on Fourier
More informationDegree Hypergroupoids Associated with Hypergraphs
Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated
More informationA SURGERY RESULT FOR THE SPECTRUM OF THE DIRICHLET LAPLACIAN. Keywords: shape optimization, eigenvalues, Dirichlet Laplacian
A SURGERY RESULT FOR THE SPECTRUM OF THE DIRICHLET LAPLACIA DORI BUCUR AD DARIO MAZZOLEI Abstract. In this paper we give a method to geometrically modify an open set such that the first k eigenvalues of
More informationContinuous firstorder model theory for metric structures Lecture 2 (of 3)
Continuous firstorder model theory for metric structures Lecture 2 (of 3) C. Ward Henson University of Illinois Visiting Scholar at UC Berkeley October 21, 2013 Hausdorff Institute for Mathematics, Bonn
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More information1. R In this and the next section we are going to study the properties of sequences of real numbers.
+a 1. R In this and the next section we are going to study the properties of sequences of real numbers. Definition 1.1. (Sequence) A sequence is a function with domain N. Example 1.2. A sequence of real
More informationON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION. E. I. Pancheva, A. GacovskaBarandovska
Pliska Stud. Math. Bulgar. 22 (2015), STUDIA MATHEMATICA BULGARICA ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION E. I. Pancheva, A. GacovskaBarandovska Smirnov (1949) derived four
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationTangent and normal lines to conics
4.B. Tangent and normal lines to conics Apollonius work on conics includes a study of tangent and normal lines to these curves. The purpose of this document is to relate his approaches to the modern viewpoints
More informationAbout the inverse football pool problem for 9 games 1
Seventh International Workshop on Optimal Codes and Related Topics September 61, 013, Albena, Bulgaria pp. 15133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationExtremal equilibria for reaction diffusion equations in bounded domains and applications.
Extremal equilibria for reaction diffusion equations in bounded domains and applications. Aníbal RodríguezBernal Alejandro VidalLópez Departamento de Matemática Aplicada Universidad Complutense de Madrid,
More informationFinite speed of propagation in porous media. by mass transportation methods
Finite speed of propagation in porous media by mass transportation methods José Antonio Carrillo a, Maria Pia Gualdani b, Giuseppe Toscani c a Departament de Matemàtiques  ICREA, Universitat Autònoma
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction
ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE J.M. CALABUIG, J. RODRÍGUEZ, AND E.A. SÁNCHEZPÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that
More informationA QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS
A QUIK GUIDE TO THE FOMULAS OF MULTIVAIABLE ALULUS ontents 1. Analytic Geometry 2 1.1. Definition of a Vector 2 1.2. Scalar Product 2 1.3. Properties of the Scalar Product 2 1.4. Length and Unit Vectors
More informationMath 563 Measure Theory Project 1 (Funky Functions Group) Luis Zerón, Sergey Dyachenko
Math 563 Measure Theory Project (Funky Functions Group) Luis Zerón, Sergey Dyachenko 34 Let C and C be any two Cantor sets (constructed in Exercise 3) Show that there exists a function F: [,] [,] with
More informationExistence for some vectorial elliptic problems with measure data **)
Riv. Mat. Univ. Parma 7) 5 006), 46 F RANCESCO L EONETTI and P IER INCENZO P ETRICCA *) Existence for some vectorial elliptic problems with measure data **)  Introduction The study of elliptic boundary
More informationNotes on metric spaces
Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.
More informationProblem Set. Problem Set #2. Math 5322, Fall December 3, 2001 ANSWERS
Problem Set Problem Set #2 Math 5322, Fall 2001 December 3, 2001 ANSWERS i Problem 1. [Problem 18, page 32] Let A P(X) be an algebra, A σ the collection of countable unions of sets in A, and A σδ the collection
More informationCHAPTER 1 BASIC TOPOLOGY
CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is
More informationA STABILITY RESULT ON MUCKENHOUPT S WEIGHTS
Publicacions Matemàtiques, Vol 42 (998), 53 63. A STABILITY RESULT ON MUCKENHOUPT S WEIGHTS Juha Kinnunen Abstract We prove that Muckenhoupt s A weights satisfy a reverse Hölder inequality with an explicit
More information{f 1 (U), U F} is an open cover of A. Since A is compact there is a finite subcover of A, {f 1 (U 1 ),...,f 1 (U n )}, {U 1,...
44 CHAPTER 4. CONTINUOUS FUNCTIONS In Calculus we often use arithmetic operations to generate new continuous functions from old ones. In a general metric space we don t have arithmetic, but much of it
More informationMathematics for Econometrics, Fourth Edition
Mathematics for Econometrics, Fourth Edition Phoebus J. Dhrymes 1 July 2012 1 c Phoebus J. Dhrymes, 2012. Preliminary material; not to be cited or disseminated without the author s permission. 2 Contents
More informationRotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve
QUALITATIVE THEORY OF DYAMICAL SYSTEMS 2, 61 66 (2001) ARTICLE O. 11 Rotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve Alexei Grigoriev Department of Mathematics, The
More informationA Note on Di erential Calculus in R n by James Hebda August 2010.
A Note on Di erential Calculus in n by James Hebda August 2010 I. Partial Derivatives o Functions Let : U! be a real valued unction deined in an open neighborhood U o the point a =(a 1,...,a n ) in the
More informationFourier series. Jan Philip Solovej. English summary of notes for Analysis 1. May 8, 2012
Fourier series Jan Philip Solovej English summary of notes for Analysis 1 May 8, 2012 1 JPS, Fourier series 2 Contents 1 Introduction 2 2 Fourier series 3 2.1 Periodic functions, trigonometric polynomials
More informationF. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)
Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p
More informationMATH41112/61112 Ergodic Theory Lecture Measure spaces
8. Measure spaces 8.1 Background In Lecture 1 we remarked that ergodic theory is the study of the qualitative distributional properties of typical orbits of a dynamical system and that these properties
More informationABSTRACT. For example, circle orders are the containment orders of circles (actually disks) in the plane (see [8,9]).
Degrees of Freedom Versus Dimension for Containment Orders Noga Alon 1 Department of Mathematics Tel Aviv University Ramat Aviv 69978, Israel Edward R. Scheinerman 2 Department of Mathematical Sciences
More informationRandom graphs with a given degree sequence
Sourav Chatterjee (NYU) Persi Diaconis (Stanford) Allan Sly (Microsoft) Let G be an undirected simple graph on n vertices. Let d 1,..., d n be the degrees of the vertices of G arranged in descending order.
More informationCONTRIBUTIONS TO ZERO SUM PROBLEMS
CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces
More informationCURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves
More informationThis chapter describes set theory, a mathematical theory that underlies all of modern mathematics.
Appendix A Set Theory This chapter describes set theory, a mathematical theory that underlies all of modern mathematics. A.1 Basic Definitions Definition A.1.1. A set is an unordered collection of elements.
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by MenGen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More informationFIELDSMITACS Conference. on the Mathematics of Medical Imaging. Photoacoustic and Thermoacoustic Tomography with a variable sound speed
FIELDSMITACS Conference on the Mathematics of Medical Imaging Photoacoustic and Thermoacoustic Tomography with a variable sound speed Gunther Uhlmann UC Irvine & University of Washington Toronto, Canada,
More informationCylinder Maps and the Schwarzian
Cylinder Maps and the Schwarzian John Milnor Stony Brook University (www.math.sunysb.edu) Bremen June 16, 2008 Cylinder Maps 1 work with Araceli Bonifant Let C denote the cylinder (R/Z) I. (.5, 1) fixed
More informationLINEAR ALGEBRA W W L CHEN
LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,
More informationInner Product Spaces
Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and
More informationAnalysis I. 1 Measure theory. Piotr Haj lasz. 1.1 σalgebra.
Analysis I Piotr Haj lasz 1 Measure theory 1.1 σalgebra. Definition. Let be a set. A collection M of subsets of is σalgebra if M has the following properties 1. M; 2. A M = \ A M; 3. A 1, A 2, A 3,...
More information(Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties
Lecture 1 Convex Sets (Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties 1.1.1 A convex set In the school geometry
More informationSequences and Convergence in Metric Spaces
Sequences and Convergence in Metric Spaces Definition: A sequence in a set X (a sequence of elements of X) is a function s : N X. We usually denote s(n) by s n, called the nth term of s, and write {s
More informationAn example of a computable
An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept
More informationClass Meeting # 1: Introduction to PDEs
MATH 18.152 COURSE NOTES  CLASS MEETING # 1 18.152 Introduction to PDEs, Fall 2011 Professor: Jared Speck Class Meeting # 1: Introduction to PDEs 1. What is a PDE? We will be studying functions u = u(x
More informationDate: April 12, 2001. Contents
2 Lagrange Multipliers Date: April 12, 2001 Contents 2.1. Introduction to Lagrange Multipliers......... p. 2 2.2. Enhanced Fritz John Optimality Conditions...... p. 12 2.3. Informative Lagrange Multipliers...........
More information