on strict convexity and continuous differentiability of potential functions in optimal transportation this note concerns the relationship between conditions on cost functions and domains the convexity properties of potentials in optimal transportation and the continuity of the associated optimal mappings in particular we prove that if the cost function satisfies the condition a3 introduced in our previous work with xinan ma the densities and their reciprocals are bounded and the target domain is convex with respect to the cost function then the potential is continuously differentiable and its dual potential strictly concave with respect to the cost function our results extend by different and more direct proof similar results of loeper proved by approximation from our earlier work on regularity

on the regularity of reflector antennas where is the outer normal to a at the point where the light ray hits a suppose that we have a light source located at o and are two domains in the sphere sn 1 f x is a positive function for x input illumination intensity and g x is a positive function for x output illumination intensity if light emanates from o with intensity f x for x the far field reflector antenna problem is to find a perfectly reflecting surface a parametrized by z x x for x such that all reflected rays by a fall in the directions in and the output illumination received in the direction x is g x that is t where t is given by 1 1 assuming there is no loss of energy in the reflection then by the law of conservation of energy

interior w 2 p estimates for solutions of the monge ampere equation in this work we adapt the techniques developed in c1 to prove interior estimates for solutions of perturbations of the monge ampere equation

the regularity of mappings with a convex potential in this work we apply the techniques developed in cl to the problem of mappings with a convex potential between domains that is given two bounded domains q q2 of rn and two nonnegative real functions fi defined in qi that are bounded away from zero and infinity we want to study the map vf v w for a lipschitz convex v such that v maps ql onto q 2 in the a e sense and in some weak sense 1 f2 vyv det dij v f1 x in recent work y brenier showed existence and uniqueness of such a map provided that jaqil 0 under the obvious compatibility condition

regularity of potential functions of the optimal transportation problem the potential function of the optimal transportation problem satisfies a partial differential equation of monge ampere type in this paper we introduce the notion of a generalized solution and prove the existence and uniqueness of generalized solutions of the problem we also prove the solution is smooth under certain structural conditions on the cost function

regularity of optimal maps on the sphere the quadratic cost and the reflector antenna building on the results of ma et al in arch rational mech anal 177 2 151 183 2005 and of the author loeper in acta math to appear we study two problems of optimal transportation on the sphere the first corresponds to the cost function d2 x y where d is the riemannian distance of the round sphere the second corresponds to the cost function log x y known as the reflector antenna problem we show that in both cases the cost sectional curvature is uniformly positive and establish the geometrical properties so that the results of loeper in acta math to appear and ma et al in arch rational mech anal 177 2 151 183 2005 can apply global smooth solutions exist for arbitrary smooth positive data and optimal maps are holder continuous under weak assumptions on the data

configurations of limit cycles in lienard equations abstract we show that every finite configuration of disjoint simple closed curves in the plane is topologically realizable as the set of limit cycles of a polynomial lienard equation the related vector field x is morse smale moreover it has the minimum number of singularities required for realizing the configuration in a lienard equation we provide an explicit upper bound on the degree of x which is lower than the results obtained before obtained in the context of general polynomial vector fields

a localization property of viscosity solutions to the monge ampere equation and their strict convexity the purpose of this note is to show a localization property of convex viscosity solutions to the monge ampere inequality 0 1 2 n are strictly convex

towards the smoothness of optimal maps on riemannian submersions and riemannian products of round spheres in particular the variant a3w of ma trudinger and wang s condition for regularity of optimal transportation maps is implied by the non negativity of a pseudo riemannian curvature which we call cross curvature induced by the transportation cost for the riemannian distance squared cost it is shown that 1 cross curvature non negativity is preserved for products of two manifolds 2 both a3w and cross curvature non negativity are inherited by riemannian submersions as is domain convexity for the exponential maps and 3 the n dimensional round sphere satisfies cross curvature non negativity from these results a large new class of riemannian manifolds satisfying cross curvature non negativity thus a3w is obtained including many whose sectional curvature is far from constant all known obstructions to the regularity of optimal maps are absent from these manifolds making them a class for which it is natural to conjecture that regularity holds this conjecture is confirmed for certain riemannian submersions of the sphere such as the complex projective spaces cp n

a representation theorem for fuzzy subsystems of a fuzzy partial algebra abstract in this paper for any f partial algebra of a given type we construct a partial algebra of the same type in such a way that there is a meet complete isomorphism between f subsystems of a given type the subsystem here meaning one of weak relative algebra strong relative algebra and subalgebra and certain subsystems of the same type of the latter

on the regularity of solutions of optimal transportation problems we give a necessary and sufficient condition on the cost function so that the map solution of monge s optimal transportation problem is continuous for arbitrary smooth positive data this condition was first introduced by ma trudinger and wang 24 30 for a priori estimates of the corresponding monge ampere equation it is expressed by a socalled cost sectional curvature being non negative we show that when the cost function is the squared distance of a riemannian manifold the cost sectional curvature yields the sectional curvature as a consequence if the manifold does not have non negative sectional curvature everywhere the optimal transport map cannot be continuous for arbitrary smooth positive data the non negativity of the cost sectional curvature is shown to be equivalent to the connectedness of the contact set between any cost convex function the proper generalization of a convex function and any of its supporting functions when the cost sectional curvature is uniformly positive we obtain that optimal maps are continuous or holder continuous under quite weak assumptions on the data compared to what is needed in the euclidean case this case includes the quadratic cost on the round sphere

regularity of optimal transport in curved geometry the nonfocal case we explore some geometric and analytic consequences of a curvature condition introduced by ma trudinger and wang in relation to the smoothness of optimal transport in curved geometry we discuss a conjecture according to which a strict version of the ma trudinger wang condition is sufficient to prove regularity of optimal transport on a riemannian manifold we prove this conjecture under a somewhat restrictive additional assumption of nonfocality at the same time we establish the striking geometric property that the tangent cut locus is the boundary of a convex set partial extensions are presented to the case when there is no pure focalization on the tangent cut locus

holder continuity and injectivity of optimal maps consider transportation of one distribution of mass onto another chosen to optimize the total expected cost where cost per unit mass transported from x to y is given by a smooth function c x y if the source density f x is bounded away from zero and infinity in an open region u subset mathbf r n and the target density f y is bounded away from zero and infinity on its support overline v subset mathbf r n which is strongly c convex with respect to u and the transportation cost c satisfies the mathbf a3 rm w condition of trudinger and wang ann sc norm super pisa cl sci 5 8 1 143 174 2009 we deduce the local holder continuity and injectivity of the optimal map inside u so that the associated potential u belongs to c 1 alpha loc u here the exponent 0 depends only on the dimension and the bounds on the densities but not on c our result provides a crucial step in the low interior regularity setting in a sequel figalli et al j eur math soc jems 1131 1166 2013 we use it to establish regularity of optimal maps with respect to the riemannian distance squared on arbitrary products of spheres three key tools are introduced in the present paper namely we first find a transformation that under mathbf a3 rm w makes c convex functions level set convex as was also obtained independently from us by liu calc var partial diff eq 34 435 451 2009 we then derive new alexandrov type estimates for the level set convex c convex functions and a topological lemma showing that optimal maps do not mix the interior with the boundary this topological lemma which does not require mathbf a3 rm w is needed by figalli and loeper calc var partial diff eq 35 537 550 2009 to conclude the continuity of optimal maps in two dimensions in higher dimensions if the densities f are holder continuous our result permits continuous differentiability of the map inside u in fact c 2 alpha loc regularity of the associated potential to be deduced from the work of liu et al comm partial diff eq 35 1 165 184 2010

continuity of optimal transport maps and convexity of injectivity domains on small deformations of 2 given a compact riemannian manifold we study the regularity of the optimal transport map between two probability measures with cost given by the squared riemannian distance our strategy is to define a new form of the so called ma trudinger wang condition and to show that this condition together with the strict convexity on the nonfocal domains implies the continuity of the optimal transport map moreover our new condition again combined with the strict convexity of the nonfocal domains allows us to prove that all injectivity domains are strictly convex too these results apply for instance on any small c4 deformation of the 2 sphere 2009 wiley periodicals inc

wasserstein barycenters over riemannian manifolds we study barycenters in the space of probability measures on a riemannian manifold equipped with the wasserstein metric under reasonable assumptions we establish absolute continuity of the barycenter of general measures p p m p p m on wasserstein space extending on one hand results in the euclidean case for barycenters between finitely many measures of agueh and carlier 1 to the riemannian setting and on the other hand results in the riemannian case of cordero erausquin mccann schmuckenschlager 12 for barycenters between two measures to the multi marginal setting our work also extends these results to the case where is not finitely supported as applications we prove versions of jensen s inequality on wasserstein space and a generalized brunn minkowski inequality for a random measurable set on a riemannian manifold