Distances to convex sets

Antonio S. Granero; Marcos Sánchez

Displaying similar documents to “Distances to convex sets”

Convex integration with constraints and applications to phase transitions and partial differential equations

Stefan Müller, Vladimír Šverák (1999)

Journal of the European Mathematical Society

Similarity:

We study solutions of first order partial differential relations $D u \in K$ , where $u : Ω \subset ℝ^{n} \to ℝ^{m}$ is a Lipschitz map and $K$ is a bounded set in $m \times n$ matrices, and extend Gromov’s theory of convex integration in two ways. First, we allow for additional constraints on the minors of $D u$ and second we replace Gromov’s $P$ −convex hull by the (functional) rank-one convex hull. The latter can be much larger than the former and this has important consequences for the existence of ‘wild’ solutions to elliptic systems. Our...

On some results about convex functions of order $α$

M. Obradović, S. Owa (1986)

Matematički Vesnik

Similarity:

On the condition of Λ-convexity in some problems of weak continuity and weak lower semicontinuity

Agnieszka Kałamajska (2001)

Colloquium Mathematicae

Similarity:

We study the functional $I_{f} (u) = \int_{Ω} f (u (x)) d x$ , where u=(u₁, ..., uₘ) and each $u_{j}$ is constant along some subspace $W_{j}$ of ℝⁿ. We show that if intersections of the $W_{j}$ ’s satisfy a certain condition then $I_{f}$ is weakly lower semicontinuous if and only if f is Λ-convex (see Definition 1.1 and Theorem 1.1). We also give a necessary and sufficient condition on ${W_{j}}_{j = 1, . . ., m}$ to have the equivalence: $I_{f}$ is weakly continuous if and only if f is Λ-affine.

On the ψ₂-behaviour of linear functionals on isotropic convex bodies

G. Paouris (2005)

Studia Mathematica

Similarity:

The slicing problem can be reduced to the study of isotropic convex bodies K with $d i a m (K) \leq c \sqrt n L_{K}$ , where $L_{K}$ is the isotropic constant. We study the ψ₂-behaviour of linear functionals on this class of bodies. It is proved that ${| | ⟨ \cdot, θ ⟩ | |}_{ψ ₂} \leq C L_{K}$ for all θ in a subset U of $S^{n - 1}$ with measure σ(U) ≥ 1 - exp(-c√n). However, there exist isotropic convex bodies K with uniformly bounded geometric distance from the Euclidean ball, such that $m a x_{θ \in S^{n - 1}} {| | ⟨ \cdot, θ ⟩ | |}_{ψ ₂} \geq c ∜ n L_{K}$ . In a different direction, we show that good average ψ₂-behaviour of linear functionals...

Operations between sets in geometry

Richard J. Gardner, Daniel Hug, Wolfgang Weil (2013)

Journal of the European Mathematical Society

Similarity:

An investigation is launched into the fundamental characteristics of operations on and between sets, with a focus on compact convex sets and star sets (compact sets star-shaped with respect to the origin) in $n$ -dimensional Euclidean space $ℝ^{n}$ . It is proved that if $n \geq 2$ , with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdorff metric, $G L (n)$ covariant, and associative if and only if it is $L_{p}$ addition for some $1 \leq p \leq \infty$ . It is also demonstrated...

Transportation flow problems with Radon measure variables

Marcus Wagner (2000)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

Similarity:

For a multidimensional control problem ${(P)}_{K}$ involving controls $u \in L_{\infty}$ , we construct a dual problem ${(D)}_{K}$ in which the variables ν to be paired with u are taken from the measure space rca (Ω,) instead of $(L_{\infty}) *$ . For this purpose, we add to ${(P)}_{K}$ a Baire class restriction for the representatives of the controls u. As main results, we prove a strong duality theorem and saddle-point conditions.

The Spaces of Closed Convex Sets in Euclidean Spaces with the Fell Topology

Katsuro Sakai, Zhongqiang Yang (2007)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Let $C o n v_{F} (ℝ ⁿ)$ be the space of all non-empty closed convex sets in Euclidean space ℝ ⁿ endowed with the Fell topology. We prove that $C o n v_{F} (ℝ ⁿ) \approx ℝ ⁿ \times Q$ for every n > 1 whereas $C o n v_{F} (ℝ) \approx ℝ \times$ .

Product property for capacities in $ℂ^{N}$

Mirosław Baran, Leokadia Bialas-Ciez (2012)

Annales Polonici Mathematici

Similarity:

The paper deals with logarithmic capacities, an important tool in pluripotential theory. We show that a class of capacities, which contains the L-capacity, has the following product property: $C_{ν} (E ₁ \times E ₂) = m i n (C_{ν ₁} (E ₁), C_{ν ₂} (E ₂))$ , where $E_{j}$ and $ν_{j}$ are respectively a compact set and a norm in $ℂ^{N_{j}}$ (j = 1,2), and ν is a norm in $ℂ^{N ₁ + N ₂}$ , ν = ν₁⊕ₚ ν₂ with some 1 ≤ p ≤ ∞. For a convex subset E of $ℂ^{N}$ , denote by C(E) the standard L-capacity and by $ω_{E}$ the minimal width of E, that is, the minimal Euclidean distance between two supporting hyperplanes...

The Ascoli property for function spaces and the weak topology of Banach and Fréchet spaces

S. Gabriyelyan, J. Kąkol, G. Plebanek (2016)

Studia Mathematica

Similarity:

Following Banakh and Gabriyelyan (2016) we say that a Tychonoff space X is an Ascoli space if every compact subset of $C_{k} (X)$ is evenly continuous; this notion is closely related to the classical Ascoli theorem. Every $k_{ℝ}$ -space, hence any k-space, is Ascoli. Let X be a metrizable space. We prove that the space $C_{k} (X)$ is Ascoli iff $C_{k} (X)$ is a $k_{ℝ}$ -space iff X is locally compact. Moreover, $C_{k} (X)$ endowed with the weak topology is Ascoli iff X is countable and discrete. Using some basic concepts from probability...

Quantitative stability for sumsets in $ℝ^{n}$

Alessio Figalli, David Jerison (2015)

Journal of the European Mathematical Society

Similarity:

Given a measurable set $A \subset ℝ^{n}$ of positive measure, it is not difficult to show that $| A + A | = | 2 A |$ if and only if $A$ is equal to its convex hull minus a set of measure zero. We investigate the stability of this statement: If $(| A + A | - | 2 A |) / | A |$ is small, is $A$ close to its convex hull? Our main result is an explicit control, in arbitrary dimension, on the measure of the difference between $A$ and its convex hull in terms of $(| A + A | - | 2 A |) / | A |$ .

The subspace of weak $P$ -points of $ℕ^{*}$

Salvador García-Ferreira, Y. F. Ortiz-Castillo (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $W$ be the subspace of $ℕ^{*}$ consisting of all weak $P$ -points. It is not hard to see that $W$ is a pseudocompact space. In this paper we shall prove that this space has stronger pseudocompact properties. Indeed, it is shown that $W$ is a $p$ -pseudocompact space for all $p \in ℕ^{*}$ .

Poincaré Inequalities and Moment Maps

Bo’az Klartag (2013)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

We discuss a method for obtaining Poincaré-type inequalities on arbitrary convex bodies in $ℝ^{n}$ . Our technique involves a dual version of Bochner’s formula and a certain moment map, and it also applies to some non-convex sets. In particular, we generalize the central limit theorem for convex bodies to a class of non-convex domains, including the unit balls of $ℓ_{p}$ -spaces in $ℝ^{n}$ for $0 < p < 1$ .

A characterization of sets in $ℝ^{2}$ with DC distance function

Dušan Pokorný, Luděk Zajíček (2022)

Czechoslovak Mathematical Journal

Similarity:

We give a complete characterization of closed sets $F \subset ℝ^{2}$ whose distance function $d_{F} : = dist (\cdot, F)$ is DC (i.e., is the difference of two convex functions on $ℝ^{2}$ ). Using this characterization, a number of properties of such sets is proved.

Linearization techniques for $𝕃^{\infty}$ See PDF-control problems and dynamic programming principles in classical and $𝕃^{\infty}$ See PDF-control problems

Dan Goreac, Oana-Silvia Serea (2012)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

The aim of the paper is to provide a linearization approach to the $𝕃^{\infty}$ See PDF-control problems. We begin by proving a semigroup-type behaviour of the set of constraints appearing in the linearized formulation of (standard) control problems. As a byproduct we obtain a linear formulation of the dynamic programming principle. Then, we use the $𝕃^{p}$ See PDF approach and the associated linear formulations. This seems to be the most appropriate tool for treating $𝕃^{\infty}$ See PDF problems in continuous and...

The Young inequality and the Δ₂-condition

Philippe Laurençot (2002)

Colloquium Mathematicae

Similarity:

If φ: [0,∞) → [0,∞) is a convex function with φ(0) = 0 and conjugate function φ*, the inequality $x y \leq ε φ (x) + C_{ε} φ * (y)$ is shown to hold true for every ε ∈ (0,∞) if and only if φ* satisfies the Δ₂-condition.

Matrix subspaces of L₁

Gideon Schechtman (2013)

Studia Mathematica

Similarity:

If $E = e_{i}$ and $F = f_{i}$ are two 1-unconditional basic sequences in L₁ with E r-concave and F p-convex, for some 1 ≤ r < p ≤ 2, then the space of matrices $a_{i, j}$ with norm $| | a_{i, j} {| |}_{E (F)} = | | \sum_{k} | | \sum_{l} a_{k, l} f_{l} | | e_{k} | |$ embeds into L₁. This generalizes a recent result of Prochno and Schütt.

An extension of Mazur's theorem on Gateaux differentiability to the class of strongly α (·)-paraconvex functions

S. Rolewicz (2006)

Studia Mathematica

Similarity:

Let (X,||·||) be a separable real Banach space. Let f be a real-valued strongly α(·)-paraconvex function defined on an open convex subset Ω ⊂ X, i.e. such that $f (t x + (1 - t) y) \leq t f (x) + (1 - t) f (y) + m i n [t, (1 - t)] α (| | x - y | |)$ . Then there is a dense $G_{δ}$ -set $A_{G} \subset Ω$ such that f is Gateaux differentiable at every point of $A_{G}$ .

On the application of control theory to certain problems for Lagrangian systems, and hyper-impulsive motion for these. I. Some general mathematical considerations on controllizable parameters

Aldo Bressan (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In applying control (or feedback) theory to (mechanic) Lagrangian systems, so far forces have been generally used as values of the control $u(\cdot)$ . However these values are those of a Lagrangian co-ordinate in various interesting problems with a scalar control $u=u(\cdot)$ , where this control is carried out physically by adding some frictionless constraints. This pushed the author to consider a typical Lagrangian system $\Sigma$ , referred to a system $\chi$ of Lagrangian co-ordinates, and to try and write some handy...

A note on the commutator of two operators on a locally convex space

Edvard Kramar (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Denote by $C$ the commutator $A B - B A$ of two bounded operators $A$ and $B$ acting on a locally convex topological vector space. If $A C - C A = 0$ , we show that $C$ is a quasinilpotent operator and we prove that if $A C - C A$ is a compact operator, then $C$ is a Riesz operator.

Structure of Cesàro function spaces: a survey

Sergey V. Astashkin, Lech Maligranda (2014)

Banach Center Publications

Similarity:

Geometric structure of Cesàro function spaces $C e s_{p} (I)$ , where I = [0,1] and [0,∞), is investigated. Among other matters we present a description of their dual spaces, characterize the sets of all q ∈ [1,∞] such that $C e s_{p} [0, 1]$ contains isomorphic and complemented copies of $l_{q}$ -spaces, show that Cesàro function spaces fail the fixed point property, give a description of subspaces generated by Rademacher functions in spaces $C e s_{p} [0, 1]$ .

Reflexivity and approximate fixed points

Eva Matoušková, Simeon Reich (2003)

Studia Mathematica

Similarity:

A Banach space X is reflexive if and only if every bounded sequence xₙ in X contains a norm attaining subsequence. This means that it contains a subsequence $x_{n_{k}}$ for which $s u p_{f \in S_{X *}} l i m s u p_{k \to \infty} f (x_{n_{k}})$ is attained at some f in the dual unit sphere $S_{X *}$ . A Banach space X is not reflexive if and only if it contains a normalized sequence xₙ with the property that for every $f \in S_{X *}$ , there exists $g \in S_{X *}$ such that $l i m s u p_{n \to \infty} f (x ₙ) < l i m i n f_{n \to \infty} g (x ₙ)$ . Combining this with a result of Shafrir, we conclude that every infinite-dimensional Banach space contains an unbounded...

Injectivity of sections of convex harmonic mappings and convolution theorems

Liulan Li, Saminathan Ponnusamy (2016)

Czechoslovak Mathematical Journal

Similarity:

We consider the class $ℋ_{0}$ of sense-preserving harmonic functions $f = h + \bar{g}$ defined in the unit disk $| z | < 1$ and normalized so that $h (0) = 0 = h^{'} (0) - 1$ and $g (0) = 0 = g^{'} (0)$ , where $h$ and $g$ are analytic in the unit disk. In the first part of the article we present two classes $𝒫_{H}^{0} (α)$ and $𝒢_{H}^{0} (β)$ of functions from $ℋ_{0}$ and show that if $f \in 𝒫_{H}^{0} (α)$ and $F \in 𝒢_{H}^{0} (β)$ , then the harmonic convolution is a univalent and close-to-convex harmonic function in the unit disk provided certain conditions for parameters $α$ and $β$ are satisfied. In the second part we study the harmonic sections...

Multiplicity results for a class of concave-convex elliptic systems involving sign-changing weight functions

Honghui Yin, Zuodong Yang (2011)

Annales Polonici Mathematici

Similarity:

Our main purpose is to establish the existence of weak solutions of second order quasilinear elliptic systems ⎧ $- Δ_{p} u + {| u |}^{p - 2} u = f_{1 λ ₁} {(x) | u |}^{q - 2} u + 2 α / (α + β) g_{μ} {| u |}^{α - 2} u {| v |}^{β}$ , x ∈ Ω, ⎨ $- Δ_{p} v + {| v |}^{p - 2} v = f_{2 λ ₂} {(x) | v |}^{q - 2} v + 2 β / (α + β) g_{μ} {| u |}^{α} {| v |}^{β - 2} v$ , x ∈ Ω, ⎩ u = v = 0, x∈ ∂Ω, where 1 < q < p < N and $Ω \subset ℝ^{N}$ is an open bounded smooth domain. Here λ₁, λ₂, μ ≥ 0 and $f_{i λ_{i}} (x) = λ_{i} f_{i +} (x) + f_{i -} (x)$ (i = 1,2) are sign-changing functions, where $f_{i \pm} (x) = m a x \pm f_{i} (x), 0$ , $g_{μ} (x) = a (x) + μ b (x)$ , and $Δ_{p} u = {d i v (| \nabla u |}^{p - 2} \nabla u)$ denotes the p-Laplace operator. We use variational methods.

Synthesis of optimal control for nonlinear third order systems

Wiesław Szwiec

Similarity:

The paper is devoted to a certain problem in the theory of synthesis of optimal control. The fundamental results of research in the synthesis of optimal control for second order systems are given in [1], [2], [5], [10]. In particular, in [2] and [5] some specific nonlinear systems are investigated, namely the systems related with the differential equations of the forms̈ + F(s,ṡ) = u or s̈ + F(s,ṡ,u) = 0where u is a control parameter in the interval [—1,1]. Some results concerning third...

Minimal multi-convex projections

Grzegorz Lewicki, Michael Prophet (2007)

Studia Mathematica

Similarity:

We say that a function from $X = C^{L} [0, 1]$ is k-convex (for k ≤ L) if its kth derivative is nonnegative. Let P denote a projection from X onto V = Πₙ ⊂ X, where Πₙ denotes the space of algebraic polynomials of degree less than or equal to n. If we want P to leave invariant the cone of k-convex functions (k ≤ n), we find that such a demand is impossible to fulfill for nearly every k. Indeed, only for k = n-1 and k = n does such a projection exist. So let us consider instead a more general “shape”...