On the isoperimetric problem in Euclidean space with density

We study the isoperimetric problem for Euclidean space endowed with a continuous density. In dimension one, we characterize isoperimetric regions for a unimodal density. In higher dimensions, we prove existence results and we derive stability conditions, which lead to the conjecture that for a radial log-convex density, balls about the origin are isoperimetric regions. Finally, we prove this conjecture and the uniqueness of minimizers for the density exp by using symmetrization techniques. First and second authors are partially supported by MCyT-Feder research project MTM2004-01387, fourth author by the National Science Foundation.     

The Monge problem in Wiener space

We address the Monge problem in the abstract Wiener space and we give an existence result provided both marginal measures are absolutely continuous with respect to the infinite dimensional Gaussian measure γ.     

The moment problem on the Wiener space

Consider an L¹-continuous functional ? on the vector space of polynomials of Brownian motion at given times, suppose ? commutes with the quadratic variation in a natural sense, and consider a finite set of polynomials of Brownian motion at rational times, , mapping the Wiener space to R.In the spirit of Schmüdgen's solution to the finite-dimensional moment problem, we give sufficient conditions under which ? can be written in the form ∫⋅dμ for some probability measure μ on the Wiener space such that μ-almost surely, all the random variables are nonnegative.     

An isoperimetric inequality for the Wiener sausage

Let (ξ(s)) _{s?≥ 0} be a standard Brownian motion in d?≥ 1 dimensions and let (D _s ) _{s ≥?0} be a collection of open sets in ${\mathbb{R}^d}$ . For each s, let B _s be a ball centered at 0 with vol(B _s ) =?vol(D _s ). We show that ${\mathbb{E}[\rm {vol}(\cup_{s \leq t}(\xi(s) + D_s))] \geq \mathbb{E}[\rm {vol}(\cup_{s \leq t}(\xi(s) + B_s))]}$ , for all t. In particular, this implies that the expected volume of the Wiener sausage increases when a drift is added to the Brownian motion.     

A quantitative isoperimetric inequality for fractional perimeters

Recently Frank and Seiringer have shown an isoperimetric inequality for nonlocal perimeter functionals arising from Sobolev seminorms of fractional order. This isoperimetric inequality is improved here in a quantitative form.     

The periodic isoperimetric problem

Given a discrete group of isometries of , we study the -isoperimetric problem, which consists of minimizing area (modulo ) among surfaces in which enclose a -invariant region with a prescribed volume fraction. If is a line group, we prove that solutions are either families of round spheres or right cylinders. In the doubly periodic case we prove that for most rank two lattices, solutions must be spheres, cylinders or planes. For the remaining rank two lattices we show, among other results, an isoperimetric inequality in terms of the topology of the isoperimetric surfaces. Finally, we study the case where (the group of symmetries of the integer rank three lattice ) and other crystallographic groups of cubic type. We prove that isoperimetric solutions must be spheres if the prescribed volume fraction is less than , and we give an isoperimetric inequality for -invariant regions that, for instance, implies that the area (modulo ) of a surface dividing the three space in two -invariant regions with equal volume fractions, is at least (the conjectured solution is the classical Schwarz triply periodic minimal surface whose area is ). Another consequence of this isoperimetric inequality is that -symmetric surfaces (other than families of spheres) cannot be isoperimetric for the lattice group .

     

Wasserstein space over the Wiener space

The goal of this paper is to study optimal transportation problems and gradient flows of probability measures on the Wiener space, based on and extending fundamental results of Feyel–Üstünel. Carrying out the program of Ambrosio–Gigli–Savaré, we present a complete characterization of the derivative processes for certain class of absolutely continuous curves. We prove existence of the gradient flow curves for the relative entropy w.r.t. the Wiener measure and identify these gradient flow curves with solutions of the Ornstein–Uhlenbeck evolution equation.     

A variant of the isoperimetric problem, Part I

This paper deals with the following isoperimetric problem in the plane: Among all regions with prescribed perimeter and covering a given line segment, what is the region that has the greatest area?     

Approximation of the classical isoperimetric problem

Hestenes' method of multipliers is used to approximate the classical isoperimetric problem. A suitable sufficiency theorem is first applied to obtain minimizing arcs for a family of unconstrained problems. Given an initial estimate of the Lagrange multipliers, a convergent sequence of arcs is generated. They are minimizing with respect to members of the above family, and their limit is the solution to the original isoperimetric problem.The preparation of this paper was sponsored in part by the U.S. Army Research Office under Grant DA-31-124-ARO(D)-355.     

The isoperimetric problem in higher codimension

We consider three generalizations of the isoperimetric problem to higher codimension and provide results on equilibrium, stability, and minimization.     

An isoperimetric problem for tetrahedra

It is proved that a regular tetrahedron has the maximal possible surface area among all tetrahedra having surface with unit geodesic diameter. An independent proof of O’Rourke-Schevon’s theorem about polar points on a convex polyhedron is given. A. D. Aleksandrov’s general problem on the area of a convex surface with fixed geodesic diameter is discussed. Bibliography: 4 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 329, 2005, pp. 28–55.     

A periodic isoperimetric problem related to the unique games conjecture

We prove the endpoint case of a conjecture of Khot and Moshkovitz related to the unique games conjecture, less a small error. Let n ≥ 2. Suppose a subset Ω of n‐dimensional Euclidean space satisfies ?Ω = Ω^c and Ω + v = Ω^c (up to measure zero sets) for every standard basis vector . For any and for any q ≥ 1, let and let . For any x ∈ ?Ω, let N(x) denote the exterior normal vector at x such that ‖N(x)‖₂ = 1. Let . Our main result shows that B has the smallest Gaussian surface area among all such subsets Ω, less a small error: In particular, Standard arguments extend these results to a corresponding weak inequality for noise stability. Removing the factor 6 × 10^?9 would prove the endpoint case of the Khot‐Moshkovitz conjecture. Lastly, we prove a Euclidean analogue of the Khot and Moshkovitz conjecture. The full conjecture of Khot and Moshkovitz provides strong evidence for the truth of the unique games conjecture, a central conjecture in theoretical computer science that is closely related to the P versus NP problem. So, our results also provide evidence for the truth of the unique games conjecture. Nevertheless, this paper does not prove any case of the unique games conjecture.     

Cumulants on the Wiener space

We combine infinite-dimensional integration by parts procedures with a recursive relation on moments (reminiscent of a formula by Barbour (1986)), and deduce explicit expressions for cumulants of functionals of a general Gaussian field. These findings yield a compact formula for cumulants on a fixed Wiener chaos, virtually replacing the usual “graph/diagram computations” adopted in most of the probabilistic literature.     

The fractional Landweber method for identifying the space source term problem for time-space fractional diffusion equation

Numerical Algorithms - This paper is devoted to solve an inverse problem for identifying the source term of a time-fractional nonhomogeneous diffusion equation with a fractional Laplacian in a...     

A finite difference approach for the initial-boundary value problem of the fractional Klein-Kramers equation in phase space

Considering the features of the fractional Klein-Kramers equation (FKKE) in phase space, only the unilateral boundary condition in position direction is needed, which is different from the bilateral boundary conditions in [Cartling B., Kinetics of activated processes from nonstationary solutions of the Fokker-Planck equation for a bistable potential, J. Chem. Phys., 1987, 87(5), 2638–2648] and [Deng W., Li C., Finite difference methods and their physical constrains for the fractional Klein-Kramers equation, Numer. Methods Partial Differential Equations, 2011, 27(6), 1561–1583]. In the paper, a finite difference scheme is constructed, where temporal fractional derivatives are approximated using L1 discretization. The advantages of the scheme are: for every temporal level it can be dealt with from one side to the other one in position direction, and for any fixed position only a tri-diagonal system of linear algebraic equations needs to be solved. The computational amount reduces compared with the ADI scheme in [Cartling B., Kinetics of activated processes from nonstationary solutions of the Fokker-Planck equation for a bistable potential, J. Chem. Phys., 1987, 87(5), 2638–2648] and the five-point scheme in [Deng W., Li C., Finite difference methods and their physical constrains for the fractional Klein-Kramers equation, Numer. Methods Partial Differential Equations, 2011, 27(6), 1561–1583]. The stability and convergence are proved and two examples are included to show the accuracy and effectiveness of the method.     

On the isoperimetric problem for radial log-convex densities

Given a smooth, radial, uniformly log-convex density e ^V on ${\mathbb{R}^n}$ , n ≥ 2, we characterize isoperimetric sets E with respect to weighted perimeter ${\int_{\partial E}e^{V} d \mathcal{H}^{n-1}}$ and weighted volume m = ∫ _E e ^V as balls centered at the origin, provided ${m \in [0, m_0)}$ for some (potentially computable) m ₀>0; this affirmatively answers conjecture (Rosales et al. Calc Var Part Differ Equat 31(1):27–46, 2008, Conjecture 3.12) for such values of the weighted volume parameter. We also prove that the set of weighted volumes such that this characterization holds true is open, thus reducing the proof of the full conjecture to excluding the possibility of bifurcation values of the weighted volume parameter. Finally, we show the validity of the conjecture when V belongs to a C ²-neighborhood of c|x|² (c> 0).