PROD. TYPE: COM ARTICLE IN PRESS. Andrea Colesanti. Received 4 August 2003; accepted 8 June 2004 Communicated by Michael Hopkins
|
|
- Melvyn Hart
- 5 years ago
- Views:
Transcription
1 YAIMA28.0. pp: - (col.fig.: nil) PROD. TYPE: COM ED: Suraina PAGN: Vidya -- SCAN: Girish Advances in Mathematics ( ) Brunn Minkowski inequalities for variational functionals and related problems Andrea Colesanti Dipartimento di Matematica U. Dini, Universita di Firenze, Viale Morgagni 6/A, 04 Firenze, Italy Abstract Received 4 August 200; accepted 8 June 2004 Communicated by Michael Hopkins Recently, several inequalities of Brunn Minkowski type have been proved for well-known functionals in the Calculus of Variations, e.g. the first eigenvalue of the Laplacian, the Newton capacity, the torsional rigidity and generalizations of these examples. In this paper, we add new contributions to this topic: in particular, we establish equality conditions in the case of the first eigenvalue of the Laplacian and of the torsional rigidity, and we prove a Brunn Minkowski inequality for another class of variational functionals. Moreover, we describe the links between Brunn Minkowski type inequalities and the resolution of Minkowski type problems Published by Elsevier Inc. MSC: J2; B26; 2A20 eywords: Convex body; Brunn Minkowski inequality; Variational functionals; Minkowski problem; Elliptic partial differential equations. Introduction The Brunn Minkowski inequality, in its classic formulation, states that if 0 and are compact, convex sets in R n and t [0, ], then V(( t) 0 + t ) /n ( t)v( 0 ) /n + tv( ) /n, () Fax: address: colesant@math.unifi.it /$ - see front matter 2004 Published by Elsevier Inc. doi:0.06/j.aim
2 YAIMA28 2 A. Colesanti / Advances in Mathematics ( ) where ( t) 0 + t ={( t)x + ty : x 0,y } and V denotes the n-dimensional volume (i.e. the Lebesgue measure); moreover, equality holds in () if and only if 0 and are homothetic, i.e. they coincide up to translation and dilatation. The Brunn Minkowski inequality is among the most important and deepest results in the theory of convex bodies, for which the reader is referred to [2], and it is connected with other fundamental inequalities like the isoperimetric inequality, the Sobolev inequality and the Prékopa Leindler inequality. In [4], Gardner provides a very detailed presentation of inequality (), including historical remarks, a description of links to other inequalities, various extensions and so on. Though geometry is the most natural context in which the Brunn Minkowski inequality has to be situated, the paper by Gardner provides many evidences of the fact that its role has to be fully recognized in analysis as well as in other areas of mathematics. This paper is concerned with inequalities of the same type as (), where the volume is replaced by other functionals, arising in the context of the Calculus of Variations and of the theory of elliptic partial differential equations. Firstly, let us explain what do we mean by an inequality of Brunn Minkowski type. We will denote by n the family of n-dimensional convex bodies, i.e. compact, convex subsets of R n, with non-empty interior. In n a scalar multiplication for positive numbers and a sum (the Minkowski addition) are defined: s ={sx : x }, n,s 0, 0 + ={x + y : x t 0,y }, 0, n. Now, inequality () can be rephrased as follows: the n-dimensional volume raised to the power /n is a concave function on n. Note that the volume is positively homogeneous and its order of homogeneity is n: V(s)= s n V(), s 0, n. Another familiar geometric functional has a similar concavity property connected with its order of homogeneity. For a given n, the (n )-dimensional measure of, denoted by S(), is positively homogeneous of order (n ) and satisfies the following Brunn Minkowski type inequality: S(( t) 0 + t ) /(n ) ( t)s( 0 ) /(n ) + ts( ) /(n ), 0, n, t [0, ]. (2)
3 YAIMA28 A. Colesanti / Advances in Mathematics ( ) Inequalities () and (2) are, in turn, included in a class of analogous inequalities regarding the quermassintegrals of convex bodies. The quermassintegrals of a convex body can be defined through the Steiner formula, which claims that the volume of + εb, where ε is a nonnegative number and B is the unit ball, is a polynomial of ε, V(+ εb) = n ε i n i W i(). The (nonnegative) coefficients W 0 (),...,W n () are the quermassintegrals of (see Section 4.2 in [2] for a detailed presentation). Notice that W 0 () = V(), i=0 W () = n S(). Each quermassintegral W i ( ) is positively homogeneous of order (n i) and, if i<n, satisfies the inequality W i (( t) 0 + t ) /(n i) ( t)w i ( 0 ) /(n i) + tw i ( ) /(n i), 0, n, t [0, ] (see [2, Theorem 6.4.]). These examples suggest to consider the following more general situation. Assume that F is a functional defined in n F : n (0, ), which is homogeneous of order α = 0, moreover, assume that F is invariant under rigid motions, i.e. isometries of R n (this property is not needed for the following definition but it is shared by all the examples that we treat). We say that F satisfies a Brunn Minkowski inequality if F /α is concave in n : F(( t) 0 + t ) /α ( t)f( 0 ) /α + tf( ) /α () for all 0, n and t [0, ]. The examples that we have seen are all taken from geometry. In recent times, inequalities of Brunn Minkowski type have been proved for various well-known variational functionals. Brascamp and Lieb in [6] established inequality () when F() = λ() is the first eigenvalue of the Laplace operator of, in this case α = 2. Borell proved the same kind of result for F() = Cap (), the Newton capacity of, α = n 2, n (see [2]) and for the torsional rigidity F() = τ(), α = n + 2 (see [4]). These results have been extended in [] to the logarithmic capacity (or transfinite diameter) in dimension n = 2, in [] to the p-capacity, p >, and in [] to the n-dimensional counterpart of the logarithmic capacity.
4 YAIMA28 4 A. Colesanti / Advances in Mathematics ( ) In this paper, we make an overview of the present situation and we bring some new contributions to it. We start by describing in some details the Brunn Minkowski inequality for the functionals λ, Cap and τ, in the next section. We establish equality conditions in the case of the first eigenvalue of the Laplace operator and of the torsional rigidity, i.e. we prove that equality holds in () if and only if 0 and are homothetic; a similar characterization of equality case was already known for the Newton capacity (see []). How far can the Brunn Minkowski inequalities for the three main examples be extended to other functionals? To answer this question, we start from the following consideration: for a convex body, the functionals λ(), Cap () and τ() can all be obtained as energy integrals F() = u 2 dx, Ω where Ω is the interior or the complement set, of and u solves a Dirichlet boundaryvalue problem in Ω, involving an equation of the form Δu = f (u) for a suitable function f (see Section 2). Extensions can be obtained: (a) replacing the Laplacian with another elliptic operator, for instance the p-laplace operator or a fully non-linear operator; (b) choosing other types of function f. In Section 2 we describe the cases in which extensions of this kind have already been achieved (see [,,]) and we establish a new extension, i.e. a new Brunn Minkowski inequality, for the functional arising when f (u) = u p, p [0, ), and the operator is the Laplacian. Moreover, throughout the section, we indicate some other possible extensions which are by now open problems. An important topic in the theory of convex bodies, strongly connected to the Brunn Minkowski inequality, is the Minkowski problem, which requires to determine (uniquely) a convex body with a prescribed surface area measure (in case of smooth bodies, knowing the surface area measure is equivalent to know the Gauss curvature as a function of the outer unit normal to the body). The Brunn Minkowski inequality () can be used to solve the Minkowski problem in a variational way (see, for instance, [2]), moreover, the equality conditions of () imply uniqueness in the Minkowski problem. Jerison realized that new Minkowski type problems can be posed, replacing the surface area measure by other measures obtained, roughly speaking, as first variations of variational functionals (this concept will be made clearer in Section 4). Furthermore, he observed that Brunn Minkowski type inequality can be used in the resolution of these Minkowski problems exactly as in the classic case. In [20] he showed existence and uniqueness of the solution to a Minkowski type problem for the Newton capacity; subsequently in [2] he posed a similar problem for the transfinite diameter and for the first eigenvalue of the Laplacian, and he obtained an existence result for both functionals. Uniqueness in the case of transfinite diameter was proved in []. In Section 4, after describing in more details Minkowski type problems for variational functionals, we deduce from the characterization of equality conditions in the Brunn Minkowski inequality for the first eigenvalue of the Laplacian, the uniqueness result
5 YAIMA28 A. Colesanti / Advances in Mathematics ( ) also in this case; moreover, we make some remarks about the feasibility of a Minkowski type problem for the torsional rigidity The main examples In this section, we focus on the Brunn Minkowski inequality for the first eigenvalue of the Laplace operator, the Newtonian capacity and the torsional rigidity. As we shall see, each functional can be defined either through a variational problem, posed in a suitable space of functions, or in terms of the solution of a boundary-value problem for an elliptic operator. The first definition is in the spirit of the Calculus of Variations while the second reflects the point of view of elliptic PDEs. The equivalence between the two definitions relies on a well-known principle: under suitable assumptions, the minimizers of a functional are solutions of a differential equation, called the Euler Lagrange equation of the functional itself. 2.. The first eigenvalue of the Laplace operator Throughout, for n we denote by int() its interior. The first eigenvalue of the Laplace operator λ() can be defined as follows: { λ() = inf v 2 dx, v W,2 0 (int()) : } v 2 dx =. Here we adopt the standard notation for Sobolev spaces; if Ω is an open subset of R n, W,2 (Ω) is the Sobolev space of those functions having weak derivatives up to the second order in L 2 (Ω); W,2 0 (Ω) is the closure in W,2 (Ω) of the set of smooth functions with compact support contained in Ω. Equivalently, λ() is the smallest positive number for which the Dirichlet boundaryvalue problem { Δu = λ() u in int(), (4) u = 0 on, admits a nontrivial solution u C 2 (int()) C(). The solution of this problem is unique up to a multiplicative factor, i.e. the first eigenvalue has multiplicity one; in particular, if we normalize u so that u 2 dx =, 2 we obtain (integrating by parts) λ() = u 2 dx.
6 YAIMA28 6 A. Colesanti / Advances in Mathematics ( ) It can be immediately seen from its definition that λ( ) is homogeneous of order 2: λ(t) = t 2 λ(), n,t> The functional λ satisfies a Brunn Minkowski inequality. Theorem (Brascamp and Lieb). Let 0 and belong to n and t [0, ], then the following inequality holds: λ(( t) 0 + t ) /2 ( t)λ( 0 ) /2 + tλ( ) /2. () This result is proved in [6]; in fact, in this paper it proved that the inequality holds for all compact, connected domains having sufficiently regular boundary. Another proof is given by Borell in []. In Section of the present paper we provide a new proof of Theorem which can be applied only when 0 and are convex, but which allows, in this case, to characterize also the equality conditions of (). Theorem 2. Assume that 0, n and t [0, ] are such that equality holds in (), then 0 is homothetic to. The latter result answers a question posed by Jerison in [2], regarding uniqueness of the solution to the Minkowski problem for the functional λ; see Section 4 for more details The Newtonian capacity The variational definition of the Newtonian capacity is, for n, { } Cap () = inf u 2 dx, u C R n c (Rn ) : u χ, (6) here Cc (Rn ) denotes the sets of those function from C (R n ) having compact support and χ is the characteristic function of. Equivalently, if u is the solution of { Δu = 0 in R n \ u = on, lim x + () then the capacity of is given by Cap () = R d \ u 2 dx. 2 Cap ( ) is homogeneous of order n 2.
7 YAIMA28 A. Colesanti / Advances in Mathematics ( ) Theorem (Borell). Let 0 and belong to n, n, and t [0, ], then the following inequality holds: 2 Cap (( t) 0 + t ) /(n 2) ( t)cap ( 0 ) /(n 2) +t Cap ( ) /(n 2). (8) A proof of this result is given in [2]; subsequently, Caffarelli et al. in [] characterized the equality case. Theorem 4 (Caffarelli et al.). Assume that 0, n and t [0, ] are such that equality holds in (8), then 0 is homothetic to. In dimension n = 2 the notion of Newtonian capacity is naturally replaced by the one of logarithmic capacity. One way to define the logarithmic capacity Lcap () of a two-dimensional convex body is the following. The boundary value problem { Δu = 0inR 2 \ () u = 0 on, u(x) log x as x +, has a unique solution; the second boundary condition means that there exists a constant a>0 such that a u(x) a, log x when x is sufficiently large. Moreover, the following limit ρ = lim x + (u(x) log x ) exists and it is known as the Robin constant of. The logarithmic capacity is given by the formula Lcap () := e ρ. Lcap ( ) is homogeneous of order. The logarithmic capacity of a set coincides with its transfinite diameter, with its conformal radius and with its Čebišev constant; for these notions we refer the reader to [6]. 2 2 Theorem (Borell). Let 0 and belong to 2 and t [0, ], then the following inequality holds: Lcap (( t) 0 + t ) ( t)lcap ( 0 ) + t Lcap ( ). (0)
8 YAIMA28 8 A. Colesanti / Advances in Mathematics ( ) This theorem is contained in []; the author and Cuoghi in [], characterized the corresponding equality conditions. Theorem 6. Equality occurs in (0) if and only if 0 is homothetic to. Remark. No extension of the Brunn Minkowski inequality to classes of nonconvex domains is known either for the Newton capacity or for the transfinite diameter. 2.. The torsional rigidity We start with the variational definition: the torsional rigidity τ() of n is given by { τ() = inf u 2 dx,2 ( u dx),u W 2 0 (int()) : } u dx > 0. As in the previous cases, this functional can be expressed in terms of the solution of an elliptic boundary-value problem: let u be the unique solution of then { Δu = 2 in int(), u = 0 on, τ() = u 2 dx. The torsional rigidity is homogeneous of order (n + 2). Theorem 8 (Borell). Let 0 and belong to n and t [0, ], then the following inequality holds () τ(( t) 0 + t ) /(n+2) ( t)τ( 0 ) /(n+2) + tτ( ) /(n+2). (2) This theorem is proved in [4]; another proof, together with a generalization, is contained in Theorem of this paper which includes also a characterization of equality conditions. 2 Theorem. Equality occurs in (2) if and only if 0 is homothetic to. Inequality (2) can be proved also in the class of compact sets with C 2 boundary.
9 YAIMA28 A. Colesanti / Advances in Mathematics ( ) Theorem 0. Let C 0 and C be compact sets in R n with boundary of class C 2 and let t [0, ], then τ(( t)c 0 + tc ) /(n+2) ( t)τ(c 0 ) /(n+2) + t τ(c ) /(n+2), () moreover equality holds if and only if C 0 and C are convex and homothetic. Inequality (), without equality conditions, is contained in [4]; for the proof of Theorem 0 see Remark 22 in Section 6 of the present paper.. Extensions The Brunn Minkowski inequalities (), (8), (0) and (2) have been extended in various directions in [,4], a new extension is contained in this paper and further results are contained in [0]. In this section, we shall describe some of these results. Our first step is to identify some common features of the problems which give rise to the functionals that we have seen in the previous section; they will serve as guidelines for more general results. We recall that we restrict our attention to functionals which are positively homogeneous and invariant under rigid motions. () In the boundary value problems (4), (), () and (), the differential operator is the Laplacian, which in particular is isotropic (invariant under rigid motions) and linear; the resulting equation is of semi-linear type. Moreover, the space variable x does not appear explicitly neither in the equation, nor in the boundary conditions. These facts make the relevant functional invariant under rigid motions. (2) The problems are homogeneous in the following sense: if u is the solution in and s is a positive number, the solution v in the rescaled domain s is given by ( y ) v(y) = s q u, y s, s for a suitable q; this makes the corresponding functional positively homogeneous. () In all problems the functional F coincides with the energy integral of the solution, i.e. F() = u 2 dx, Ω 2 2 where Ω is the interior or the complement of. We shall see three types of extensions of Brunn Minkowski inequalities for variational functionals. The distinction is made accordingly to the second-order differential operator which appears in the boundary-value problem.
10 YAIMA28 0 A. Colesanti / Advances in Mathematics ( ).. The linear case 2 2 If we restrict ourselves to the case of functionals coming from problems where the second-order differential operator is linear, then invariance under rigid motions implies that the operator must be the Laplacian. We consider the following situation: for n, p 0 and c R, we pose the boundary-value problem { Δu = cu p, u 0 in int(), (4) u = 0 on. The question is whether the energy integral of the solution satisfies a Brunn Minkowski inequality. For c 0 the above problem admits only the trivial solution u 0, this is a simple consequence of the maximum principle; then we take c<0. Except for the case p =, that we will consider later, we may always reduce to the case c = by multiplying the solution for a suitable constant. So we are dealing with { Δu = u p, u > 0 in int(), () u = 0 on. For p = 0 we have the problem that gives rise to the torsional rigidity. For p (0, ) problem () is well posed, i.e. we have existence and uniqueness of the solution in C 2 (int()) C(); this fact will be proved in Section 6. The energy integral of the solution F() = u 2 dx, is homogeneous of order α p = n + 2+p p. In Section 6 we prove the following Theorem. The functional F satisfies a Brunn Minkowski inequality: F(( t) 0 + t ) /α p ( t)f( 0 ) /α p + tf( ) /α p (6) for all 0, n and t [0, ]. Moreover, equality holds if and only if 0 is homothetic to The same remark as for the functional τ( ) applies: the inequality can be proved in the class of compact sets with boundary of class C 2 and equality holds only for convex homothetic sets. For p = we have existence of at least one nontrivial solution of problem (4) provided c = λ k () for some k N, where λ k (), k =, 2,..., are the eigenvalues of Δ in ; in this case, if k 2, we have to drop the requirement u 0 in int().
11 YAIMA28 A. Colesanti / Advances in Mathematics ( ) For k = the energy integral is λ () = λ() and it satisfies the Brunn Minkowski inequality (). For k>, if u is any solution, normalized so that u 2 dx =, its energy integral coincides with λ k (), so that the question is whether the functionals λ k ( ), k = 2,,..., satisfy a Brunn Minkowski inequality (note that the order of homogeneity of all these functionals is 2). This is an open problem; the available proofs of inequality () (see [6,] and Section of this paper) do not seem to be adaptable to the other eigenvalues. For < p < n+2 n 2 (and c < 0), existence of at least one solution to problem (4) continues to hold while uniqueness is not guaranteed; nevertheless a variational definition of F could still be given, coherently with the case p< (see the proof of Proposition in Section 6). Anyway our proof of the Brunn Minkowski inequality for F does not extend to this case. Finally for p n+2 n 2, problem (4) admits no positive solution (see, for instance, [2,24]) Quasi-linear operators In [] Salani and the author proved that the p-capacity of convex bodies satisfies a Brunn Minkowski inequality. For an arbitrary compact set A in R n and for p [,n), the p-capacity is defined in a similar way as for p = 2: { } Cap p (A) = inf u p dx, u C R n c (Rn ) : u χ A (where χ A is the characteristic function of A). When A = is a convex body (but also under much less restrictive assumptions on ), an equivalent definition can be given, based as usual on a boundary value problem; indeed Cap p () = R n \ where u is the unique solution of { div ( u p 2 u ) = 0 in R n \, u = on, lim x + u(x) = 0. () u p dx, (8) () 2 The second-order differential operator involved in the above problem is called the p- Laplacian and the corresponding equation is quasi-linear. Clearly, for p = 2, n > 2, we get the Newtonian capacity. Cap p ( ) is homogeneous of order (n p).
12 YAIMA28 2 A. Colesanti / Advances in Mathematics ( ) Theorem 2. The p-capacity satisfies the following Brunn Minkowski inequality: Cap p (( t) 0 + t ) /(n p) ( t)cap p ( 0 ) /(n p) + t Cap p ( ) /(n p) , n, t [0, ]; (20) moreover, equality holds if and only if 0 and are homothetic. For the proof see []. The limit case p = n, which has been treated in [], is similar to the case p = n = 2 that we have described in Section 2.2. Firstly, the notion of n-dimensional logarithmic capacity is defined for a convex body in n ; the definition is completely analogous to the one valid in the two-dimensional case. This quantity turns out to be positively homogeneous of order one, it satisfies a Brunn Minkowski inequality and the equality case is characterized as usual. The author together with Cuoghi and Salani (see [0]) studied Brunn Minkowski type inequalities for the functionals analogous to the first eigenvalue of the Laplacian and the torsional rigidity, when the Laplace operator is replaced by the p-laplacian... Fully non-linear operators Recently, Salani (see [26]) proved a Brunn Minkowski type inequality for the eigenvalue of the Monge Ampère operator. This quantity, that we shall denote by Λ( ), like all the ones that we have seen until now, admits either a variational definition or a definition based on a boundary value problem. A difference with respect to the previous examples is that Λ() can be defined only for those convex bodies having boundary of class C 2, with strictly positive Gauss curvature at each point of the boundary; we will denote this class of sets by r n. We have, for r n, { Λ() = inf u } det(d2 u) dx u n+ dx where the infimum is taken over the functions u C 2 (int()) C(), convex and such that u = 0on. Equivalently, Λ() is the unique (positive) number such that the problem { det(d 2 u) = Λ() ( u) n, u < 0 in, u = 0 on (2) 2 2 admits a (convex) solution. The existence of a number Λ() such that (2) can be solved, was proved by Lions in [22]. The equivalence between the two definitions is due to Tso, see [28]. The Monge Ampère operator belongs to the class of
13 YAIMA28 A. Colesanti / Advances in Mathematics ( ) fully non-linear elliptic operators; it is, of course, invariant under translations and rotations. The eigenvalue Λ is homogeneous of order 2n. The following result is proved in [26] Theorem (Salani). The functional Λ satisfies the inequality: Λ(( t) 0 + t ) /2n ( t)λ( 0 ) /2n + tλ( ) /2n, 0, r n,t [0, ]. Moreover equality holds if and only if 0 is homothetic to. It would be interesting to see whether the same kind of result holds for another class of fully non-linear elliptic operators, i.e. the so-called Hessian operators. For k {, 2,...n}, the kth Hessian operator S k (D 2 u) applied to a C 2 function u is the kth elementary symmetric function of the eigenvalues of the Hessian matrix of u; note that this class includes the Laplace operator (corresponding to k = ) and the Monge Ampère operator (k = n). Wang (see [2]) proved that for k>, like in the case of the Monge Ampère operator, S k admits exactly one positive eigenvalue in a convex domain with smooth boundary (in fact, the result by Wang is true for a larger class of domains); does this eigenvalue satisfy a Brunn Minkowski type inequality? 4. Minkowski type problems 4.. The Minkowski problem for the volume The area measure σ of a convex body in R n is a nonnegative Borel measure σ defined on the unit sphere S n, characterized by the following property: for a Borel set ω S n, σ (ω) is the (n )-dimensional measure of the set {x : ν(x) ω}, where ν(x) is the set of outer unit normal vectors to at x (see [2, Chapter 4]). Minkowski problem. Given a nonnegative Borel measure σ on S n, find a convex body whose area measure is σ. What properties must σ have so that this problem can be solved? A consequence of the invariance of the volume under translations is the following property of area measures: Xdσ (X) = 0, n. (22) S n 2 Moreover, as a convex body has non-empty interior, from the definition of area measure it is clear that its support cannot be contained in a great sub-sphere of S n. These two properties are sufficient to characterize area measures.
14 YAIMA28 4 A. Colesanti / Advances in Mathematics ( ) Theorem 4. Let σ be a nonnegative Borel measure on S n, such that its support is not contained in any great sub-sphere and 2 S n Xdσ(X) = 0. Then there exists n such that σ = σ. Moreover is uniquely determined up to a translation. For a proof, see for instance [2, Chapter ]. We want to describe a connection between the Minkowski problem and the Brunn Minkowski inequality. We begin with the following simple formula relating the volume of to its area measure: V()= n where h : S n R, is the support function of : S n h (X) dσ (X), (2) h (X) = sup(x, x), X S n. x The validity of (2) is rather intuitive (especially for polyhedra); for a proof, see Chapter 4 in [2]. There is another formula which, roughly speaking, expresses the first variation of the volume of, when is perturbed by another convex body L: d dt V(+ tl) t=0 = h L (X) dσ (X), L n (24) S n (note that (2) follows from (24), and the homogeneity of the volume, when we choose = L). Formula (24) follows immediately from the well-known expansion of V( + tl) as a polynomial of t whose coefficients are the mixed volumes of and L; we refer again to [2] for the details. A consequence of (24) is equality (22), which is obtained letting L be the set formed by a single point x and then letting x vary in R n. From the Brunn Minkowski inequality we have that, for,l n, V(+ tl) /n V() /n + tv (L) /n. 2 The two terms of this inequality, as functions of t>0, coincide when t = 0, then d dt V(+ tl)/n t=0 d dt [V()/n + tv (L) /n ] t=0 = V (L) /n.
15 YAIMA28 A. Colesanti / Advances in Mathematics ( ) Using (24), we obtain S n h L (X) dσ (X) nv (L) /n V() (n )/n, L n, 2 2 which becomes an equality when = L and more generally when = sl for any s>0. This fact can be rephrased in the following way: Let be fixed in n and let L n be such that V (L) ; then the quantity attains its minimum when S n h L (X) dσ (X) L = V() /n. This fact suggests an argument to solve the Minkowski problem (the existence part): given a nonnegative Borel measure σ on S n, satisfying the assumptions of Theorem 4, consider the variational problem { } inf h L (X) dσ(x), L n, V (L). S n By the previous considerations, any solution is a good candidate to solve the Minkowski problem for σ. Indeed, this approach can be successfully applied. The original proof of Minkowski uses this argument in the special case of polyhedra (in this case σ is the sum of point masses on S n, see for instance, []), but the same can be done in the general case, as shown in [2] (see also the historical note at the end of Section. in [2]). Regarding the uniqueness part of Theorem 4, once again this depends on the Brunn Minkowski inequality and in particular on the characterization of the equality conditions. The argument is quite standard, we describe it here since it will be used in the proof of another uniqueness result presented in the sequel of this section. Assume that there exist two convex bodies and L such that σ = σ = σ L. 2 Consider the function m(s) = [V(s+ ( s)l)] /n, s [0, ].
16 YAIMA28 6 A. Colesanti / Advances in Mathematics ( ) By the Brunn Minkowski inequality, m(s) is concave in [0, ]; its derivative at s = 0 is given by 2 Since m(s) is concave m (0) = n n [V (L)] n d ds V(s+ ( s)l) s=0 = n [V (L)] n (h (ξ) h L (ξ)) dσ(ξ) n S n = [V (L)] n n [V() V (L)] =[m(0)] n ( m() n m(0) n). m (0) m() m(0). This fact, together with the above inequality, gives m() n m(0) n, i.e. V() V (L). Interchanging the roles of and L we conclude that V (L) = V(). This implies at once m(0) = m() and m (0) = 0, so that m must be constant in [0, ] and consequently and L render the Brunn Minkowski inequality an equality. Then coincides with L up to a translation (since σ = σ L, no dilatation can occur). We might conclude that formulas (2) and (24) (together with the Brunn Minkowski inequality) are the starting point for a variational solution of existence part of the Minkowski problem, while the uniqueness part can be deduced from characterization of equality cases in the Brunn Minkowski inequality. Jerison observed (see [20,2]) that if we replace the volume by either the Newton capacity or the first eigenvalue of the Laplace operator, we find ourselves in a similar situation The Minkowski problem for the Newton capacity In the paper [20], a Minkowski type problem for the Newton capacity is solved. The starting point is a formula similar to (2). Let n (n>2), and let u be the solution of problem (), then u 2 is defined almost everywhere on, with respect to the (n )-dimensional Hausdorff measure so that one can define the measure σ Cap through the formula 2 σ Cap (ω) := g (ω) u(x) 2 dh n (x)
17 YAIMA28 A. Colesanti / Advances in Mathematics ( ) for every Borel subset ω of S n. Here H n is the (n )-dimensional Hausdorff measure and g : S n is the Gauss map of i.e., for x, g (x) is the set of outer unit normal vectors to at x. In particular, when the boundary of is of class C 2 with positive Gaussian curvature at every point, we can write 2 dσ Cap (X) := u(g (X)) 2 dσ (X), where σ is the area measure of introduced in the previous section. The relevant formula is Cap () = h (X) dσ Cap n 2 S n (X). (2) In the case of convex bodies with sufficiently smooth boundary, this formula comes from a clever use of the divergence theorem and the conditions contained in (). A further step is to prove that for an arbitrary convex body L d dt Cap ( + tl) t=0 = h L (X) dσ Cap S n (X), (26) in this case the proof is much more delicate. Comparing (2) and (26) with (2) and (24), it becomes clear that when we replace the volume with the capacity, correspondingly the measure σ Cap have to play the role of area measure. The following result is the counterpart of Theorem 4. Theorem (Minkowski problem for capacity). Let σ be a nonnegative Borel measure on S n, such that its support is not contained in any great sub-sphere and S n Xdσ(X) = 0. Then there exists n such that σ Cap = σ. Moreover is uniquely determined up to a translation. 2 2 The existence part of this theorem is proved in [20]; in[2] another proof is given, which makes use of the variational method that we described before in the case of the volume. The uniqueness part follows from the characterization of equality cases in the Brunn Minkowski inequality for capacity proved in [], i.e. Theorem 4 in Section 2.2 of the present paper.
18 YAIMA28 8 A. Colesanti / Advances in Mathematics ( ) 4.. The Minkowski problem for λ In [2], the same problem has been studied for the first eigenvalue of the Laplacian. For a convex body, let u be the solution of problem (4) normalized so that u 2 dx = and define the measure σ λ on Sn through the formula σ λ (ω) := g (ω) u(x) 2 dh n (x) for every Borel subset ω of S n. Then we have (see [2]) λ() = 2 and h (X) dσ λ S n (X) (2) d dt λ( + tl) t=0 = h L (X) dσ λ S n (X), L n (28) (note that the order of homogeneity of λ is negative). Using these formulas and the variational approach, the following result can be shown (see Theorem. in [2]) Theorem 6 (Jerison). Let σ be a nonnegative Borel measure on S n, such that its support is not contained in any great sub-sphere and Xdσ(X) = 0. S n Then there exists n such that σ λ = σ. A consequence of Theorem 2 is the following uniqueness result. Theorem. Let,L n be such that σ λ = σλ L, then and L coincide up to a translation.
19 YAIMA28 A. Colesanti / Advances in Mathematics ( ) Proof. The argument is exactly the same as in the uniqueness proof for the Minkowski problem for the volume, Section 4., with m(s) = [ λ(s + ( s)l) ] /2, s [0, ]. Clearly, Theorems and 2 have to be used, instead of the classic Brunn Minkowski inequality and corresponding equality conditions The case of torsional rigidity The aim of this section is to present a couple of formulas regarding the torsional rigidity of convex bodies with smooth boundary, corresponding to (2) and (24), which indicates the feasibility of a Minkowski type problem for the functional τ. Proposition 8. Let and L be convex bodies with boundary of class C 2 such that the Gauss curvature is positive at every point of their boundary; let u be the solution of problem () in. The following formulas hold: Proof. τ() = h (X) u(g n + 2 S n (X)) 2 dσ (X), (2) d dt τ( + tl) t=0 = h L (X) u(g S n (X)) 2 dσ (X). (0) We start proving (2). By the divergence theorem τ() = = 2 u(x) 2 dx = [div(u(x) u(x)) u(x)δu(x)]dx u(x) dx. () As the boundary of is C 2, u C 2 (), this follows from standard regularity results for solutions of elliptic equations (see for instance Theorem 6.4 in []). Moreover by the Hopf Lemma, u does not vanish on. Asu>0 in int() (by the maximum principle), for every x we have u(x) u(x) = ν(x),
20 YAIMA28 20 A. Colesanti / Advances in Mathematics ( ) where ν is the outer unit normal to. Hence the support function of can be written in the following way: h (X) = (we recall that g u(g (X)) ( g ) (X)), u(g (X)), X S n is the inverse of the Gauss map of ). We define w(x) = (x, u(x)), x. We have h (X) u(g S n (X)) 2 dσ (X) = = = = = = h k (ν(x)) u(x) 2 dh n (x) w(x) u(x) dh n (x) w(x)( u(x), ν(x)) dh n (x) div(w(x) u(x)) dx [( w(x), u(x)) + w(x)δu(x)] dx [u(x)δw(x) + 2w(x)] dx, where we have used the divergence theorem, the equation and the boundary condition of problem (). Now and Δw(x) = 2Δu(x) + (x, (Δu(x))) = 4 w(x) dx = (x, u(x)) dx = n u(x) dx again by the divergence theorem. Consequently, h (X) u(g S n (X)) 2 dσ (X) = 2(n + 2) u(x) dx = (n + 2)τ(),
21 YAIMA28 A. Colesanti / Advances in Mathematics ( ) where we have used (). Thus (2) is proved. Formula (0) can be proved with the help of (2), applying the same argument used in the proof of formula (a) in Proposition 2.0 in [20]; for brevity we omit the proof. Starting from the last proposition, the strategy to solve a Minkowski type problem for τ should be the same described in the previous sections: () Extend formulas (2) and (0) to all convex bodies; (2) apply the variational method proposed in [2] to prove the existence of a solution; () establish uniqueness of the solution using the characterization of equality conditions in the Brunn Minkowski inequality for τ, i.e. Theorem in this paper.. Proof of Theorems and 2 In this section, we give a new proof of the Brunn Minkowski inequality for the first eigenvalue of the Laplace operator, in the class of convex bodies, which allows to determine equality conditions. Let 0, n and t [0, ]. Fori = 0,, let u i be a solution of Δu i = λ( i )u i, u i > 0 in int( i ), u i = 0 on i and consider the function v i solves v i (x) = log u i (x), x int( i ), { Δvi = λ( i ) + v i 2 in int( i ), lim x i v i (x) =+. The functions v 0 and v are convex (equivalently, u 0 and u are log-concave); this fact is proved in [6] and a different proof can be found in [8]. Moreover, it follows from (2) and Remark in Section of [], that the rank of the Hessian matrix D 2 v i is maximum, i.e. equal to n, all over int(), so that (2) det(d 2 v i (x)) > 0, x int( i ). () 2 2 In particular, this implies that v i is strictly convex. Note that, by the boundary condition verified by v i, we have that the gradient of v i maps i onto R n : v i (int( i )) = R n. (4)
22 YAIMA28 22 A. Colesanti / Advances in Mathematics ( ) We will need to consider the conjugate function v i of v i : v i (ρ) = sup x i [(x, ρ) v i (x)], ρ R n. We refer to [2] for the basic properties of this function; vi is defined on the image of i through the gradient map of v i, which is, by (4), the whole R n ; moreover v i is convex. As v i is strictly convex, v i C (R n ), and vi is the inverse map of v i : x = v i ( v i(x)), x i. In particular this identity and () imply that v i C 2 (R n ) and D 2 v i (x) =[D 2 v i ( v i(x))], x i. () We construct a new function defined in t : w(z) = inf{( t)v 0 (x) + tv (y) : x 0,y,( t)x + ty = z}, z t. (6) The function w is called the infimal convolution of v 0 and v (see [2]). It is a convex function and, from the boundary conditions in problem (2) it can be deduced that lim w(z) =+. () z t Moreover, w verifies the following identity (see Theorem 6.4 in [2]) w = ( t)v 0 + tv in R n. (8) Now, (), () and (8) implies that w is C 2 (R n ), is strictly convex and D 2 w > 0 in R n. Consequently, w C 2 (int( t )). Let us fix z t. By the definition of w and since, for i = 0,, v i tends to + at the boundary of i, there exist x int( 0 ) and y int( ) such that z = ( t)x + ty and 2 w(z) = ( t)v 0 (x) + tv (y). () By the Lagrange multipliers Theorem one deduces immediately that 2 v 0 (x) = v (y) = ρ ; (40)
23 YAIMA28 A. Colesanti / Advances in Mathematics ( ) 2 but then w (ρ) = ( t) v 0 (ρ) + t v (ρ) = ( t)x + ty = z = w ( w(z)) (4) and by the injectivity of w we have Therefore, w(z) = ρ. D 2 w(z) =[D 2 w (ρ)] =[( t)d 2 v 0 (ρ) + td2 v (ρ)] =[( t)(d 2 v 0 (x)) + t(d 2 v (y)) ]. (42) Now we use the convexity of the application M trace (M ) in the family of positive definite matrices M (see, for instance, Lemma 4.2 in []), to infer and consequently The function Δw(z) ( t)δv 0 (x) + tδv (y) (4) Δw(z) ( t)λ( 0 ) + tλ( ) + w(z) 2, z int( t ). (44) u(z) := e w(z), z t, has the following properties: Δu [( t)λ( 0 ) + tλ( )] u, u>0 in int( t ), u = 0 on t. We multiply both sides of the differential inequality by u and we integrate by parts, taking the boundary condition into account; in this way we get ( t)λ( 0 ) + tλ( ) t u 2 dx t u 2 dx λ( t ), (4)
24 YAIMA28 24 A. Colesanti / Advances in Mathematics ( ) where the last inequality follows from the definition of first eigenvalue of the Laplacian. We have proved that λ( ) is convex in n and as a further consequence of this property we obtain 2 λ(( t) 0 + t ) max{λ( 0 ), λ( )}, 0, n, t [0, ]. (46) In order to deduce the Brunn Minkowski inequality from (46), we use a standard argument: for arbitrary 0 and in n and t [0, ], let 0 =[λ( 0)] /2 0, =[λ( )] /2, t t[λ( )] /2 = ( t)[λ( 0 )] /2 + t[λ( )] /2 (4) and apply (46) to 0, and t. The proof of Theorem is complete. Assume now that 0, and t are such that there is equality in (); let 0, and t be as in (4) and Then clearly t = ( t ) 0 + t. λ( t ) = λ( 0 ) = λ( ) =. Hence we may reduce ourselves to the case in which the bodies 0, and t have the same eigenvalue and this is equal to. Repeating the construction made in the first part of the proof, we obtain from (4) = ( t)λ( 0 ) + tλ( ) t u 2 dx t u 2 λ( t ) =, dx so that all the inequalities have to be equalities. In particular this implies that u must be an eigenfunction corresponding to λ( t ). Then Δu = u in t Δw = + w 2 in t i.e. equality holds in (44), but the latter is a consequence of the previous inequality (4), hence trace [( t)(d 2 v 0 (x)) + t(d 2 v (y)) ] = ( t)trace(d 2 v 0 (x)) + t trace(d 2 v (y)).
25 YAIMA28 A. Colesanti / Advances in Mathematics ( ) 2 In this situation we can apply again Lemma 4.2 in [] (the equality case) and conclude that D 2 v 0 (x) = D 2 v (y) D 2 v 0 (ρ) = D2 v (ρ) ρ Rn A further consequence is that for some fixed vector ρ. Finally 6. Proof of Theorem v 0 (ρ) = v (ρ) + ρ ρ Rn 0 = v 0 (Rn ) = v (Rn ) + ρ = + ρ. Let n ; throughout this section, p [0, ) is fixed. We consider the boundary value problem Δu = u p,u>0 in int(), u = 0 on and we denote the energy integral of its solution by F() = u 2 dx. Our final goal is to prove that F satisfies a Brunn Minkowski inequality. Our first issue is an existence an uniqueness result for problem (48). Proposition. There exists a unique solution u C 2 (int()) C() of problem (48). (48) Proof. For simplicity, throughout the proof Ω will denote the interior of. Consider the functional F(v) = 2 Ω v 2 dx v p+ dx, v W,2 0 (Ω). (4) p + Ω
26 YAIMA28 26 A. Colesanti / Advances in Mathematics ( ) We shall find our solution u as a minimizer of F. By the Sobolev inequality (see for instance (.26) in []), ( v p+ dx Ω ) p+ ( ) C(n, p) v q q n(p + ) dx, q = Ω n + p +. Note that, as p<wehaveq<2 so that, by the Hölder inequality, Hence ( ) +p v p+ dx C(n, p, Ω) v 2 2 dx. Ω Ω F(v) t 2 + Cta, (0) where t = Ω v 2 dx and a = p+ 2 [0, ), so that F is bounded from below. We set m = inf{f(v) : v W,2 0 (Ω)}. Note that m<0; indeed, an easy computation shows that when is a ball m is strictly negative. On the other hand, for an arbitrary, m inf{f(v) : v W,2 0 (Ω )} < 0, where Ω is any open ball contained in Ω. Let v j W,2 0 (Ω), j N, be a minimizing sequence for F: From (0) we deduce that the sequence lim F(v j ) = m. j + v j 2 dx Ω is bounded and from Poincaré inequality (see [, (.44)]): vj 2 dx C(n, p, Ω) v j 2 dx, Ω Ω
27 YAIMA28 A. Colesanti / Advances in Mathematics ( ) 2 consequently, the sequence v j is bounded in W,2 0 (Ω) and then, up to a subsequence, it converges weakly to a function u W,2 0 (Ω). Now we apply a standard semi-continuity result in the Calculus of Variations (see Theorem 4., Chapter, in [2]) to infer that F is lower semi-continuous, this implies 2 2 F(u) = m, i.e. u is a minimizer of F; note that, since F(v) = F( v ) for every v, we may assume that u is nonnegative. By Theorem 4.4, Chapter, in [2], u is a weak solution of the equation Δu = u p in Ω. Now prove the regularity of u. Asu L 2 (Ω) and p<, the above equation implies that Δu L 2 (Ω); by the regularity theory for solutions of elliptic partial differential equations, this property improves the regularity of u which turns out to belong to W 2,2 0 (Ω) (see, for instance, Theorem 8.8 in []). Applying the Sobolev inequality we obtain u L p (Ω) for some p > 2 and consequently, using the equation again, u W 2,p 0 (Ω). This regularizing procedure can be iterated until it is proved that u is Hölder continuous and then, again by regularity results, u C 2 (Ω) C(). Note that u cannot be identically equal to zero (since m<0); more precisely u is strictly positive in Ω by the strong maximum principle. Regarding uniqueness, if u is a solution of problem (48) then the function solves the problem where v(x) = u q (x), q = 2 p, Δv = v [A v 2 + B] =0, v > 0 in Ω, v = 0 on Ω, A = + p p, B = 2 + p. () 2 2 As A and B are positive, the left-hand side of the differential equation is an increasing function of v, so that the comparison principle holds; for this reason, problem () admits only one positive solution, and the same conclusion holds for problem (48).
28 YAIMA28 28 A. Colesanti / Advances in Mathematics ( ) The functional F is positively homogeneous of order α(p) = n p p. For brevity, in the sequel we will write α instead of α(p). The homogeneity can be proved as follows. If u is the solution of problem (48) inand s>0, then the function v(y) = s 2 p u ( y ), y s s is the unique solution of problem (48) in s. Hence ( F(s) = v(y) 2 dy = s 2+2p p y ) 2 u dy sω sω s = s α u(x) 2 dx = s α F(). Ω The proof of Theorem is based on the following comparison result for solutions of problem (48). Theorem 20. Let 0, n, t [0, ] and t = ( t) 0 + t. Let u i be the solution of problem (48) in i, i = 0,,t. Then [u t (( t)x + ty)] p 2 ( t)[u 0 (x)] p 2 + t[u (y)] p 2 x 0,y. Proof. The argument is an adaptation of the technique introduced by orevaar in [8], and developed by many other authors, which was used to prove quasi-concavity of solutions of elliptic equations. Here we follow an improved version of such technique presented by ennington in []. Firstly, we prove the theorem under the additional assumption that the boundary of 0 and are of class C 2.Fort = 0 and t = the theorem is trivial; in the sequel we assume t (0, ). For simplicity let q = p 2.Fori = 0,, we define the function v i (x) = u /q i (x). As we already saw in the proof of Proposition, wehave 2 Δv i + [A v i 2 + B] =0, v i > 0 in int( i ), v i v i = 0 on i, (2)
29 YAIMA28 A. Colesanti / Advances in Mathematics ( ) 2 with A = + p p, B = 2 + p. For x 0 and y define c(x,y) = v t (( t)x + ty) [( t)v 0 (x) + tv (y)] (for 0 = = this is the orevaar concavity function). The assert of the theorem is equivalent to the inequality min c(x,y) 0. () 0 The function c(x,y) is continuous in 0 and hence attains its minimum at some point ( x,ȳ). We consider separately the cases ( x,ȳ) int( 0 ) int( ) and ( x,ȳ) ( 0 ). Case I: ( x,ȳ) int( 0 ) int( ). Let z = t x + ( t)ȳ. Wehave Consequently, x c( x,ȳ) = t v t ( z) t v 0 ( x) = 0, y c( x,ȳ) = ( t) v t ( z) ( t) v (ȳ) = 0. v t ( z) = v 0 ( x) = v (ȳ). The Hessian matrix of c has the following form: D 2 c( x,ȳ) = (4)
30 YAIMA28 0 A. Colesanti / Advances in Mathematics ( ) Let where I n is the identity n n matrix and a,b R. D 2 c( x,ȳ) is positive semidefinite, as ( x, ȳ) is a minimum point, and the same holds for M (this is straightforward). Now, the trace of the product of positive semidefinite matrices is nonnegative (see [, Appendix]), so that we have trace(d 2 c( x,ȳ)m) = a 2 [( t) 2 Δv t ( z) ( t)δv 0 ( x)] +2ab[t( t)δv t ( z)] +b 2 [t 2 Δv t ( z) tδv (ȳ)] 0, a,b R. It follows ( t)δv t ( z) Δv 0 ( x), tδv t ( z) Δv (ȳ) () and [( t) 2 Δv t ( z) ( t)δv 0 ( x)][t 2 Δv t ( z) tδv (ȳ)] [t( t)δv t ( z)] 2. After some computations, the last inequality yields Δv t ( z)[tδv 0 ( x) + ( t)δv (ȳ)] Δv 0 ( x)δv (ȳ). (6) In view of the differential equations satisfied by v 0 and v (problem (2)) we must have tδv 0 ( x) + ( t)δv (ȳ) < 0. () Let β = v s ( z) = v 0 ( x) = v (ȳ). From (6) and () wehave Δv t ( z) Δv 0 ( x)δv (ȳ)[( t)δv 0 ( x) + tδv (ȳ)],
31 YAIMA28 A. Colesanti / Advances in Mathematics ( ) which (using the differential equations) is equivalent to Aβ 2 + B v t ( z) (Aβ2 + B) 2 v 0 ( x)v (ȳ) [ t Aβ2 + B v 0 ( x) ] + ( t) Aβ2 + B v (ȳ) 2 and then v t ( z) c( x,ȳ) 0. ( t)v 0 ( x) + tv (ȳ) Case II: ( x,ȳ) ( 0 ). Notice that if x 0 and ȳ, we have trivially c( x,ȳ) 0. So we have to deal with the case: x int( 0 ) and ȳ (the symmetric case can be treated exactly in the same way). Let ν be the outer unit normal to at ȳ; the function (r) = c( x + rν, ȳ + rν) = v t ( z + rν) [( t)v 0 ( x + rν) + tv (ȳ + rν)], is defined in r [ δ, 0] for some positive δ; moreover, if c attains its absolute minimum at ( x,ȳ), then attains its absolute minimum at 0. We compute the left-side derivative of at 0: (0 ) = v [ t ν ( z) ( t) v 0 ν ( x) + t v ] ν (ȳ). By the Hopf Lemma, which can be applied as is of class C 2, u ν (ȳ) < 0 whence v (ȳ) =. ν Consequently (0 ) = which contradicts the fact that 0 is a minimum point for. Next, we consider the general case, i.e. without assumptions on the regularity of 0 and. For a convex body, let u be the solution of problem (48) inω = int(). There exists a sequence of convex open sets {Ω j } j, j N, with boundary of class C 2, such that Ω j Ω j+, + j= Ω j = Ω. 2 For every j N, let u j be the unique solution of (48) inω j ; by Proposition, we know that u j minimizes (4) inω j. Setting u j (x) = 0 in Ω\Ω j,
32 YAIMA28 2 A. Colesanti / Advances in Mathematics ( ) we get u j W,2 0 (Ω), so that, for the minimizing properties of u in Ω, F(u j ) F(u), j N. 2 From (48), the Gauss Green formula and the definition of F it follows that so that, as p<, F(u j ) = p u j 2 dx, 2(p + ) Ω j Ω j u j 2 dx u 2 dx. (8) Ω The Poincaré inequality together with (8) imply that the sequence u j is bounded in W,2 0 (Ω), therefore we can find a subsequence u j and a function ũ W,2 0 (Ω) satisfying u j ũ in W,2 0 (Ω) as j +. In particular ũ must be a solution of (48) in Ω and then ũ = u; this implies that the whole sequence u j converges to u. From (8) and the lower semi-continuity of it follows that w w 2 dx, w W,2 0 (Ω), Ω lim u j 2 dx = u 2 dx. j + Ω Ω Using this fact and the weak convergence we obtain that u j tends to u in W,2 0 (Ω) and, up to a subsequence, we may assume that the convergence is almost everywhere. Given 0 and in n, let Ω 0,j and Ω,j be two sequences of open sets approximating the interior of 0 and, respectively, constructed as above, and let Ω t,j = ( t)ω 0,j + tω,j. With obvious extension of notation, for i = 0,,t, let u i,j be the solution of problem (48) inω i,j, and v i,j = u (p )/p. For the previous part of the proof, i,j v t,j (( t)x + ty) ( t)v 0,j (x) + tv,j (y), x Ω 0,j, y Ω,j. () 2 As j tends to + (up to subsequences), for i = 0,,t, v t (( t)x + ty) ( t)v 0 (x) + tv (y)
33 YAIMA28 A. Colesanti / Advances in Mathematics ( ) for almost every x Ω 0 and almost every y Ω ; as all the involved functions are continuous, we obtain the claim of the theorem. Another result that we shall use is the following theorem, containing the Prékopa Leindler inequality and including a necessary equality condition. Theorem 2 (Prékopa Leindler inequality). Let f, g and h be measurable, nonnegative functions defined in R n and let t [0, ]. Assume that Then Moreover, if h(( t)x + ty) f t (x)g t (y), x,y R n. (60) R n h(z) dz ( ) t ( ) t f(x)dx g(y) dy. (6) R n R n 0 < f(x)dx, g(y) dy, R n R n and equality holds in (6), then f coincides almost everywhere with a log-concave function and there exist C, a>0, and a vector x R n such that f(x)= Cg(ax + x), x R n. (62) For the proof of inequality (6) we refer, for instance, to [4]; the equality condition follows from Theorem 2 in []. Proof of Theorem. Firstly, we consider the multiplicative form of the inequality contained in Theorem : F(( t) 0 + t ) F( 0 ) t F( ) t, 0, n, t [0, ]. (6) We remark that, for arbitrary 0, n and t [0, ], (6) follows from (6) applied to 0 = (F( 0)) /α 0, = (F( )) /α, t t(f( )) /α = ( t)(f( 0 )) /α + t(f( )) /α. 2 Moreover, if 0, n and t [0, ] render (6) an equality, then 0, and t defined as above give equality in (6). Hence, it suffices to prove (6) and to 2 characterize the corresponding equality conditions.
Brunn-Minkowski inequalities for two functionals involving the p-laplace operator
Brunn-Minkowski inequalities for two functionals involving the p-laplace operator Andrea Colesanti Paola Cuoghi Paolo Salani Abstract In the family of n-dimensional convex bodies, we prove a Brunn-Minkowski
More informationFrom the Brunn-Minkowski inequality to a class of Poincaré type inequalities
arxiv:math/0703584v1 [math.fa] 20 Mar 2007 From the Brunn-Minkowski inequality to a class of Poincaré type inequalities Andrea Colesanti Abstract We present an argument which leads from the Brunn-Minkowski
More informationMurat Akman. The Brunn-Minkowski Inequality and a Minkowski Problem for Nonlinear Capacities. March 10
The Brunn-Minkowski Inequality and a Minkowski Problem for Nonlinear Capacities Murat Akman March 10 Postdoc in HA Group and Postdoc at the University of Connecticut Minkowski Addition of Sets Let E 1
More informationAround the Brunn-Minkowski inequality
Around the Brunn-Minkowski inequality Andrea Colesanti Technische Universität Berlin - Institut für Mathematik January 28, 2015 Summary Summary The Brunn-Minkowski inequality Summary The Brunn-Minkowski
More informationA Brunn Minkowski inequality for the Hessian eigenvalue in three-dimensional convex domain
Advances in Mathematics 5 010 1616 1633 www.elsevier.com/locate/aim A Brunn Minkowski inequality for the Hessian eigenvalue in three-dimensional convex domain Pan Liu a, Xi-Nan Ma b,,luxu c a Department
More informationBrunn-Minkowski inequality for the 1-Riesz capacity and level set convexity for the 1/2-Laplacian
Brunn-Minkowski inequality for the 1-Riesz capacity and level set convexity for the 1/2-Laplacian M. Novaga, B. Ruffini January 13, 2014 Abstract We prove that that the 1-Riesz capacity satisfies a Brunn-Minkowski
More informationConvexity of level sets for solutions to nonlinear elliptic problems in convex rings. Paola Cuoghi and Paolo Salani
Convexity of level sets for solutions to nonlinear elliptic problems in convex rings Paola Cuoghi and Paolo Salani Dip.to di Matematica U. Dini - Firenze - Italy 1 Let u be a solution of a Dirichlet problem
More informationShape optimization problems for variational functionals under geometric constraints
Shape optimization problems for variational functionals under geometric constraints Ilaria Fragalà 2 nd Italian-Japanese Workshop Cortona, June 20-24, 2011 The variational functionals The first Dirichlet
More informationSYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 21, 2003, 211 226 SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS Massimo Grosi Filomena Pacella S.
More informationBrunn-Minkowski inequality for the 1-Riesz capacity and level set convexity for the 1/2-Laplacian
Brunn-Minkowski inequality for the 1-Riesz capacity and level set convexity for the 1/2-Laplacian M. Novaga, B. Ruffini Abstract We prove that that the 1-Riesz capacity satisfies a Brunn-Minkowski inequality,
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationSome lecture notes for Math 6050E: PDEs, Fall 2016
Some lecture notes for Math 65E: PDEs, Fall 216 Tianling Jin December 1, 216 1 Variational methods We discuss an example of the use of variational methods in obtaining existence of solutions. Theorem 1.1.
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationHESSIAN VALUATIONS ANDREA COLESANTI, MONIKA LUDWIG & FABIAN MUSSNIG
HESSIAN VALUATIONS ANDREA COLESANTI, MONIKA LUDWIG & FABIAN MUSSNIG ABSTRACT. A new class of continuous valuations on the space of convex functions on R n is introduced. On smooth convex functions, they
More informationu xx + u yy = 0. (5.1)
Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function
More informationCitation for the original published paper (version of record):
http://www.diva-portal.org Preprint This is the submitted version of a paper published in Advances in Mathematics. Citation for the original published paper (version of record): Colesanti, A., Nyström,
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
More informationChapter 2 Convex Analysis
Chapter 2 Convex Analysis The theory of nonsmooth analysis is based on convex analysis. Thus, we start this chapter by giving basic concepts and results of convexity (for further readings see also [202,
More informationCalculus of Variations. Final Examination
Université Paris-Saclay M AMS and Optimization January 18th, 018 Calculus of Variations Final Examination Duration : 3h ; all kind of paper documents (notes, books...) are authorized. The total score of
More informationSYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS. M. Grossi S. Kesavan F. Pacella M. Ramaswamy. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 12, 1998, 47 59 SYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS M. Grossi S. Kesavan F. Pacella M. Ramaswamy
More informationAFFINE MAXIMAL HYPERSURFACES. Xu-Jia Wang. Centre for Mathematics and Its Applications The Australian National University
AFFINE MAXIMAL HYPERSURFACES Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Abstract. This is a brief survey of recent works by Neil Trudinger and myself on
More informationOptimal Transportation. Nonlinear Partial Differential Equations
Optimal Transportation and Nonlinear Partial Differential Equations Neil S. Trudinger Centre of Mathematics and its Applications Australian National University 26th Brazilian Mathematical Colloquium 2007
More informationThe continuity method
The continuity method The method of continuity is used in conjunction with a priori estimates to prove the existence of suitably regular solutions to elliptic partial differential equations. One crucial
More informationMoment Measures. Bo az Klartag. Tel Aviv University. Talk at the asymptotic geometric analysis seminar. Tel Aviv, May 2013
Tel Aviv University Talk at the asymptotic geometric analysis seminar Tel Aviv, May 2013 Joint work with Dario Cordero-Erausquin. A bijection We present a correspondence between convex functions and Borel
More informationPDEs in Image Processing, Tutorials
PDEs in Image Processing, Tutorials Markus Grasmair Vienna, Winter Term 2010 2011 Direct Methods Let X be a topological space and R: X R {+ } some functional. following definitions: The mapping R is lower
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationOn a Fractional Monge Ampère Operator
Ann. PDE (015) 1:4 DOI 10.1007/s40818-015-0005-x On a Fractional Monge Ampère Operator Luis Caffarelli 1 Fernando Charro Received: 16 November 015 / Accepted: 19 November 015 / Published online: 18 December
More informationHeat kernels of some Schrödinger operators
Heat kernels of some Schrödinger operators Alexander Grigor yan Tsinghua University 28 September 2016 Consider an elliptic Schrödinger operator H = Δ + Φ, where Δ = n 2 i=1 is the Laplace operator in R
More informationHESSIAN MEASURES III. Centre for Mathematics and Its Applications Australian National University Canberra, ACT 0200 Australia
HESSIAN MEASURES III Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications Australian National University Canberra, ACT 0200 Australia 1 HESSIAN MEASURES III Neil S. Trudinger Xu-Jia
More informationLogarithmic Sobolev Inequalities
Logarithmic Sobolev Inequalities M. Ledoux Institut de Mathématiques de Toulouse, France logarithmic Sobolev inequalities what they are, some history analytic, geometric, optimal transportation proofs
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More informationBoot camp - Problem set
Boot camp - Problem set Luis Silvestre September 29, 2017 In the summer of 2017, I led an intensive study group with four undergraduate students at the University of Chicago (Matthew Correia, David Lind,
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationGeometric and isoperimetric properties of sets of positive reach in E d
Geometric and isoperimetric properties of sets of positive reach in E d Andrea Colesanti and Paolo Manselli Abstract Some geometric facts concerning sets of reach R > 0 in the n dimensional Euclidean space
More informationP(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:
Introduction Functions of bounded variation, usually denoted by BV, have had and have an important role in several problems of calculus of variations. The main features that make BV functions suitable
More informationTHE STEINER REARRANGEMENT IN ANY CODIMENSION
THE STEINER REARRANGEMENT IN ANY CODIMENSION GIUSEPPE MARIA CAPRIANI Abstract. We analyze the Steiner rearrangement in any codimension of Sobolev and BV functions. In particular, we prove a Pólya-Szegő
More information1 Lesson 1: Brunn Minkowski Inequality
1 Lesson 1: Brunn Minkowski Inequality A set A R n is called convex if (1 λ)x + λy A for any x, y A and any λ [0, 1]. The Minkowski sum of two sets A, B R n is defined by A + B := {a + b : a A, b B}. One
More informationNONLINEAR ELLIPTIC EQUATIONS WITH MEASURES REVISITED
NONLINEAR ELLIPTIC EQUATIONS WITH MEASURES REVISITED Haïm Brezis (1),(2), Moshe Marcus (3) and Augusto C. Ponce (4) Abstract. We study the existence of solutions of the nonlinear problem (P) ( u + g(u)
More informationUnique Continuation Properties and Quantitative Estimates of Unique Continuation for Parabolic Equations
CHAPTER 5 Unique Continuation Properties and Quantitative Estimates of Unique Continuation for Parabolic Equations Sergio Vessella DiMaD, Università di Firenze, via Lombroso 6/17, 50134 Firenze, Italy
More informationOPTIMAL POTENTIALS FOR SCHRÖDINGER OPERATORS. 1. Introduction In this paper we consider optimization problems of the form. min F (V ) : V V, (1.
OPTIMAL POTENTIALS FOR SCHRÖDINGER OPERATORS G. BUTTAZZO, A. GEROLIN, B. RUFFINI, AND B. VELICHKOV Abstract. We consider the Schrödinger operator + V (x) on H 0 (), where is a given domain of R d. Our
More informationProbabilistic Methods in Asymptotic Geometric Analysis.
Probabilistic Methods in Asymptotic Geometric Analysis. C. Hugo Jiménez PUC-RIO, Brazil September 21st, 2016. Colmea. RJ 1 Origin 2 Normed Spaces 3 Distribution of volume of high dimensional convex bodies
More informationCentre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia. 1. Introduction
ON LOCALLY CONVEX HYPERSURFACES WITH BOUNDARY Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia Abstract. In this
More informationAn introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More informationConvex Functions and Optimization
Chapter 5 Convex Functions and Optimization 5.1 Convex Functions Our next topic is that of convex functions. Again, we will concentrate on the context of a map f : R n R although the situation can be generalized
More informationLecture No 1 Introduction to Diffusion equations The heat equat
Lecture No 1 Introduction to Diffusion equations The heat equation Columbia University IAS summer program June, 2009 Outline of the lectures We will discuss some basic models of diffusion equations and
More informationTheory of Probability Fall 2008
MIT OpenCourseWare http://ocw.mit.edu 8.75 Theory of Probability Fall 008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. Section Prekopa-Leindler inequality,
More informationVISCOSITY SOLUTIONS. We follow Han and Lin, Elliptic Partial Differential Equations, 5.
VISCOSITY SOLUTIONS PETER HINTZ We follow Han and Lin, Elliptic Partial Differential Equations, 5. 1. Motivation Throughout, we will assume that Ω R n is a bounded and connected domain and that a ij C(Ω)
More informationA Brunn Minkowski theory for coconvex sets of finite volume
A Brunn Minkowski theory for coconvex sets of finite volume Rolf Schneider Abstract Let C be a closed convex cone in R n, pointed and with interior points. We consider sets of the form A = C \ K, where
More informationNONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian UNDER NONHOMOGENEOUS NEUMANN BOUNDARY CONDITION
Electronic Journal of Differential Equations, Vol. 2016 (2016), No. 210, pp. 1 7. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu NONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationMathematics for Economists
Mathematics for Economists Victor Filipe Sao Paulo School of Economics FGV Metric Spaces: Basic Definitions Victor Filipe (EESP/FGV) Mathematics for Economists Jan.-Feb. 2017 1 / 34 Definitions and Examples
More informationLecture No 2 Degenerate Diffusion Free boundary problems
Lecture No 2 Degenerate Diffusion Free boundary problems Columbia University IAS summer program June, 2009 Outline We will discuss non-linear parabolic equations of slow diffusion. Our model is the porous
More informationSet, functions and Euclidean space. Seungjin Han
Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,
More informationi=1 α i. Given an m-times continuously
1 Fundamentals 1.1 Classification and characteristics Let Ω R d, d N, d 2, be an open set and α = (α 1,, α d ) T N d 0, N 0 := N {0}, a multiindex with α := d i=1 α i. Given an m-times continuously differentiable
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationB. Appendix B. Topological vector spaces
B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function
More informationTHE BRUNN-MINKOWSKI INEQUALITY AND A MINKOWSKI PROBLEM FOR NONLINEAR CAPACITY
THE BRUNN-MINKOWSKI INEQUALITY AND A MINKOWSKI PROBLEM FOR NONLINEAR CAPACITY MURAT AKMAN, JASUN GONG, JAY HINEMAN, JOHN LEWIS, AND ANDREW VOGEL Abstract. In this article we study two classical potential-theoretic
More informationNon-radial solutions to a bi-harmonic equation with negative exponent
Non-radial solutions to a bi-harmonic equation with negative exponent Ali Hyder Department of Mathematics, University of British Columbia, Vancouver BC V6TZ2, Canada ali.hyder@math.ubc.ca Juncheng Wei
More informationRENORMALIZED SOLUTIONS ON QUASI OPEN SETS WITH NONHOMOGENEOUS BOUNDARY VALUES TONI HUKKANEN
RENORMALIZED SOLTIONS ON QASI OPEN SETS WITH NONHOMOGENEOS BONDARY VALES TONI HKKANEN Acknowledgements I wish to express my sincere gratitude to my advisor, Professor Tero Kilpeläinen, for the excellent
More informationGLOBAL LIPSCHITZ CONTINUITY FOR MINIMA OF DEGENERATE PROBLEMS
GLOBAL LIPSCHITZ CONTINUITY FOR MINIMA OF DEGENERATE PROBLEMS PIERRE BOUSQUET AND LORENZO BRASCO Abstract. We consider the problem of minimizing the Lagrangian [F ( u+f u among functions on R N with given
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationarxiv: v2 [math.ap] 19 Dec 2018
Two-phase heat conductors with a surface of the constant flow property Lorenzo Cavallina, Rolando Magnanini, and Shigeru Sakaguchi December 19, 2018 arxiv:1801.01352v2 [math.ap] 19 Dec 2018 Abstract We
More informationSPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS
SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS TSOGTGEREL GANTUMUR Abstract. After establishing discrete spectra for a large class of elliptic operators, we present some fundamental spectral properties
More informationOn non negative solutions of some quasilinear elliptic inequalities
On non negative solutions of some quasilinear elliptic inequalities Lorenzo D Ambrosio and Enzo Mitidieri September 28 2006 Abstract Let f : R R be a continuous function. We prove that under some additional
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationWeak Convergence Methods for Energy Minimization
Weak Convergence Methods for Energy Minimization Bo Li Department of Mathematics University of California, San Diego E-mail: bli@math.ucsd.edu June 3, 2007 Introduction This compact set of notes present
More informationRemarks on Extremization Problems Related To Young s Inequality
Remarks on Extremization Problems Related To Young s Inequality Michael Christ University of California, Berkeley University of Wisconsin May 18, 2016 Part 1: Introduction Young s convolution inequality
More informationJournal of Complexity. New general convergence theory for iterative processes and its applications to Newton Kantorovich type theorems
Journal of Complexity 26 (2010) 3 42 Contents lists available at ScienceDirect Journal of Complexity journal homepage: www.elsevier.com/locate/jco New general convergence theory for iterative processes
More informationMINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA
MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA SPENCER HUGHES In these notes we prove that for any given smooth function on the boundary of
More informationExercises: Brunn, Minkowski and convex pie
Lecture 1 Exercises: Brunn, Minkowski and convex pie Consider the following problem: 1.1 Playing a convex pie Consider the following game with two players - you and me. I am cooking a pie, which should
More informationIntroduction and Preliminaries
Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis
More informationTD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle
TD M EDP 08 no Elliptic equations: regularity, maximum principle Estimates in the sup-norm I Let be an open bounded subset of R d of class C. Let A = (a ij ) be a symmetric matrix of functions of class
More informationALEKSANDROV S THEOREM: CLOSED SURFACES WITH CONSTANT MEAN CURVATURE
ALEKSANDROV S THEOREM: CLOSED SURFACES WITH CONSTANT MEAN CURVATURE ALAN CHANG Abstract. We present Aleksandrov s proof that the only connected, closed, n- dimensional C 2 hypersurfaces (in R n+1 ) of
More informationA BOUNDARY VALUE PROBLEM FOR MINIMAL LAGRANGIAN GRAPHS. Simon Brendle & Micah Warren. Abstract. The associated symplectic structure is given by
j. differential geometry 84 (2010) 267-287 A BOUNDARY VALUE PROBLEM FOR MINIMAL LAGRANGIAN GRAPHS Simon Brendle & Micah Warren Abstract Let Ω and Ω be uniformly convex domains in R n with smooth boundary.
More informationSpectral Gap and Concentration for Some Spherically Symmetric Probability Measures
Spectral Gap and Concentration for Some Spherically Symmetric Probability Measures S.G. Bobkov School of Mathematics, University of Minnesota, 127 Vincent Hall, 26 Church St. S.E., Minneapolis, MN 55455,
More informationContents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.
Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological
More informationON THE SHAPE OF LIQUID DROPS AND CRYSTALS IN THE SMALL MASS REGIME
ON THE SHAPE OF LIQUID DROPS AND CRYSTALS IN THE SMALL MASS REGIME A. FIGALLI AND F. MAGGI Abstract. We consider liquid drops or crystals lying in equilibrium under the action of a potential energy. For
More informationCombinatorics in Banach space theory Lecture 12
Combinatorics in Banach space theory Lecture The next lemma considerably strengthens the assertion of Lemma.6(b). Lemma.9. For every Banach space X and any n N, either all the numbers n b n (X), c n (X)
More informationObstacle Problems Involving The Fractional Laplacian
Obstacle Problems Involving The Fractional Laplacian Donatella Danielli and Sandro Salsa January 27, 2017 1 Introduction Obstacle problems involving a fractional power of the Laplace operator appear in
More informationA CONVEX-CONCAVE ELLIPTIC PROBLEM WITH A PARAMETER ON THE BOUNDARY CONDITION
A CONVEX-CONCAVE ELLIPTIC PROBLEM WITH A PARAMETER ON THE BOUNDARY CONDITION JORGE GARCÍA-MELIÁN, JULIO D. ROSSI AND JOSÉ C. SABINA DE LIS Abstract. In this paper we study existence and multiplicity of
More informationSCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze
ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze I. M. SINGER BUN WONG SHING-TUNG YAU STEPHEN S.-T. YAU An estimate of the gap of the first two eigenvalues in the Schrödinger operator Annali
More informationGreen s Functions and Distributions
CHAPTER 9 Green s Functions and Distributions 9.1. Boundary Value Problems We would like to study, and solve if possible, boundary value problems such as the following: (1.1) u = f in U u = g on U, where
More informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial ifferential Equations «Viktor Grigoryan 3 Green s first identity Having studied Laplace s equation in regions with simple geometry, we now start developing some tools, which will lead
More information1. Introduction Boundary estimates for the second derivatives of the solution to the Dirichlet problem for the Monge-Ampere equation
POINTWISE C 2,α ESTIMATES AT THE BOUNDARY FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We prove a localization property of boundary sections for solutions to the Monge-Ampere equation. As a consequence
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
More informationarxiv: v1 [math.ap] 3 Jan 2011
arxiv:1101.0496v1 [math.ap] 3 Jan 2011 Convexity of solutions and Brunn-Minkowski inequalities for Hessian equations in R 3 Paolo Salani Abstract By using Minkowski addition of convex functions, we prove
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationREGULARITY RESULTS FOR THE EQUATION u 11 u 22 = Introduction
REGULARITY RESULTS FOR THE EQUATION u 11 u 22 = 1 CONNOR MOONEY AND OVIDIU SAVIN Abstract. We study the equation u 11 u 22 = 1 in R 2. Our results include an interior C 2 estimate, classical solvability
More informationSymmetry breaking for a problem in optimal insulation
Symmetry breaking for a problem in optimal insulation Giuseppe Buttazzo Dipartimento di Matematica Università di Pisa buttazzo@dm.unipi.it http://cvgmt.sns.it Geometric and Analytic Inequalities Banff,
More informationDeforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary
Deforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary Weimin Sheng (Joint with Li-Xia Yuan) Zhejiang University IMS, NUS, 8-12 Dec 2014 1 / 50 Outline 1 Prescribing
More informationA Caffarelli-Kohn-Nirenberg type inequality with variable exponent and applications to PDE s
A Caffarelli-Kohn-Nirenberg type ineuality with variable exponent and applications to PDE s Mihai Mihăilescu a,b Vicenţiu Rădulescu a,c Denisa Stancu-Dumitru a a Department of Mathematics, University of
More informationEquilibria with a nontrivial nodal set and the dynamics of parabolic equations on symmetric domains
Equilibria with a nontrivial nodal set and the dynamics of parabolic equations on symmetric domains J. Földes Department of Mathematics, Univerité Libre de Bruxelles 1050 Brussels, Belgium P. Poláčik School
More informationREGULARITY OF SUBELLIPTIC MONGE-AMPÈRE EQUATIONS IN THE PLANE
REGULARITY OF SUBELLIPTIC MONGE-AMPÈRE EQUATIONS IN THE PLANE PENGFEI GUAN AND ERIC SAWYER (.). Introduction There is a vast body of elliptic regularity results for the Monge-Ampère equation det D u (x)
More information