Integral representation and relaxation for functionals defined on measures

Ennio De Giorgi; Luigi Ambrosio; Giuseppe Buttazzo

Displaying similar documents to “Integral representation and relaxation for functionals defined on measures”

Integral representation and relaxation for Junctionals defined on measures

Ennio De Giorgi, Luigi Ambrosio, Giuseppe Buttazzo (1987)

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

Similarity:

Given a separable metric locally compact space $\Omega$ , and a positive finite non-atomic measure $\lambda$ on $\Omega$ , we study the integral representation on the space of measures with bounded variation $\Omega$ of the lower semicontinuous envelope of the functional $F(u)=\int_{\Omega}f(x,y)d\lambda\qquad u\in L^{1}(\Omega,\lambda,\mathbb{R}^{n})$ with respect to the weak convergence of measures.

On the isotropic constant of marginals

Grigoris Paouris (2012)

Studia Mathematica

Similarity:

We show that if μ₁, ..., μₘ are log-concave subgaussian or supergaussian probability measures in $ℝ^{n_{i}}$ , i ≤ m, then for every F in the Grassmannian $G_{N, n}$ , where N = n₁ + ⋯ + nₘ and n< N, the isotropic constant of the marginal of the product of these measures, $π_{F} (μ ₁ \otimes \dots \otimes μ ₘ)$ , is bounded. This extends known results on bounds of the isotropic constant to a larger class of measures.

Wasserstein metric and subordination

Philippe Clément, Wolfgang Desch (2008)

Studia Mathematica

Similarity:

Let $(X, d_{X})$ , $(Ω, d_{Ω})$ be complete separable metric spaces. Denote by (X) the space of probability measures on X, by $W_{p}$ the p-Wasserstein metric with some p ∈ [1,∞), and by $_{p} (X)$ the space of probability measures on X with finite Wasserstein distance from any point measure. Let $f : Ω \to_{p} (X)$ , $ω \mapsto f_{ω}$ , be a Borel map such that f is a contraction from $(Ω, d_{Ω})$ into $(_{p} (X), W_{p})$ . Let ν₁,ν₂ be probability measures on Ω with $W_{p} (ν ₁, ν ₂)$ finite. On X we consider the subordinated measures $μ_{i} = \int_{Ω} f_{ω} d ν_{i} (ω)$ . Then $W_{p} (μ ₁, μ ₂) \leq W_{p} (ν ₁, ν ₂)$ . As an application we show that the solution measures $ϱ_{α} (t)$ ...

On nearly radial marginals of high-dimensional probability measures

Bo'az Klartag (2010)

Journal of the European Mathematical Society

Similarity:

Suppose that $μ$ is an absolutely continuous probability measure on $^{R}$ n, for large $n$ . Then $μ$ has low-dimensional marginals that are approximately spherically-symmetric. More precisely, if $n \geq {(C / ε)}^{C d}$ , then there exist $d$ -dimensional marginals of $μ$ that are $ε$ -far from being sphericallysymmetric, in an appropriate sense. Here $C > 0$ is a universal constant.

Path functionals over Wasserstein spaces

Alessio Brancolini, Giuseppe Buttazzo, Filippo Santambrogio (2006)

Journal of the European Mathematical Society

Similarity:

Given a metric space $X$ we consider a general class of functionals which measure the cost of a path in $X$ joining two given points $x_{0}$ and $x_{1}$ , providing abstract existence results for optimal paths. The results are then applied to the case when $X$ is aWasserstein space of probabilities on a given set $Ω$ and the cost of a path depends on the value of classical functionals over measures. Conditions for linking arbitrary extremal measures $μ_{0}$ and $μ_{1}$ by means of finite cost paths are given. ...

Denseness and Borel complexity of some sets of vector measures

Zbigniew Lipecki (2004)

Studia Mathematica

Similarity:

Let ν be a positive measure on a σ-algebra Σ of subsets of some set and let X be a Banach space. Denote by ca(Σ,X) the Banach space of X-valued measures on Σ, equipped with the uniform norm, and by ca(Σ,ν,X) its closed subspace consisting of those measures which vanish at every ν-null set. We are concerned with the subsets $_{ν} (X)$ and $_{ν} (X)$ of ca(Σ,X) defined by the conditions |φ| = ν and |φ| ≥ ν, respectively, where |φ| stands for the variation of φ ∈ ca(Σ,X). We establish necessary and sufficient...

The non-uniqueness of the limit solutions of the scalar Chern-Simons equations with signed measures

Adilson Eduardo Presoto (2021)

Mathematica Bohemica

Similarity:

We investigate the effect of admitting signed measures as a datum at the scalar Chern-Simons equation $- Δ u + e^{u} (e^{u} - 1) = μ in Ω$ with the Dirichlet boundary condition. Approximating $μ$ by a sequence ${(μ_{n})}_{n \in ℕ}$ of $L^{1}$ functions or finite signed measures such that this equation has a solution $u_{n}$ for each $n \in ℕ$ , we are interested in establishing the convergence of the sequence ${(u_{n})}_{n \in ℕ}$ to a function $u^{#}$ and describing the form of the measure which appears on the right-hand side of the scalar Chern-Simons equation solved by $u^{#}$ .

$L^{p}$ -improving properties of measures of positive energy dimension

Kathryn E. Hare, Maria Roginskaya (2005)

Colloquium Mathematicae

Similarity:

A measure is called $L^{p}$ -improving if it acts by convolution as a bounded operator from $L^{p}$ to $L^{q}$ for some q > p. Positive measures which are $L^{p}$ -improving are known to have positive Hausdorff dimension. We extend this result to complex $L^{p}$ -improving measures and show that even their energy dimension is positive. Measures of positive energy dimension are seen to be the Lipschitz measures and are characterized in terms of their improving behaviour on a subset of $L^{p}$ -functions.

Osgood type conditions for an m th-order differential equation

Stanisaw Szufla (1998)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

Similarity:

We present a new theorem on the differential inequality $u^{(m)} \leq w (u)$ . Next, we apply this result to obtain existence theorems for the equation $x^{(m)} = f (t, x)$ .

On the duality between $p$ -modulus and probability measures

Luigi Ambrosio, Simone Di Marino, Giuseppe Savaré (2015)

Journal of the European Mathematical Society

Similarity:

Motivated by recent developments on calculus in metric measure spaces $(X, d, m)$ , we prove a general duality principle between Fuglede’s notion [15] of $p$ -modulus for families of finite Borel measures in $(X, d)$ and probability measures with barycenter in $L^{q} (X, m)$ , with $q$ dual exponent of $p \in (1, \infty)$ . We apply this general duality principle to study null sets for families of parametric and non-parametric curves in $X$ . In the final part of the paper we provide a new proof, independent of optimal transportation, of the...

On inhomogeneous self-similar measures and their $L^{q}$ spectra

Przemysław Liszka (2013)

Annales Polonici Mathematici

Similarity:

Let $S_{i} : ℝ^{d} \to ℝ^{d}$ for i = 1,..., N be contracting similarities, let $(p ₁, . . ., p_{N}, p)$ be a probability vector and let ν be a probability measure on $ℝ^{d}$ with compact support. It is well known that there exists a unique inhomogeneous self-similar probability measure μ on $ℝ^{d}$ such that $μ = \sum_{i = 1}^{N} p_{i} μ \circ S_{i}^{- 1} + p ν$ . We give satisfactory estimates for the lower and upper bounds of the $L^{q}$ spectra of inhomogeneous self-similar measures. The case in which there are a countable number of contracting similarities and probabilities is considered. In particular,...

Spaces of functions on domain $Ω$ , whose $k$ -th derivatives are measures defined on $\bar{Ω}$

Jiří Souček (1972)

Časopis pro pěstování matematiky

Similarity:

On biorthogonal systems whose functionals are finitely supported

Christina Brech, Piotr Koszmider (2011)

Fundamenta Mathematicae

Similarity:

We show that for each natural number n > 1, it is consistent that there is a compact Hausdorff totally disconnected space $K_{2 n}$ such that $C (K_{2 n})$ has no uncountable (semi)biorthogonal sequence ${(f_{ξ}, μ_{ξ})}_{ξ \in ω ₁}$ where $μ_{ξ}$ ’s are atomic measures with supports consisting of at most 2n-1 points of $K_{2 n}$ , but has biorthogonal systems ${(f_{ξ}, μ_{ξ})}_{ξ \in ω ₁}$ where $μ_{ξ}$ ’s are atomic measures with supports consisting of 2n points. This complements a result of Todorcevic which implies that it is consistent that such spaces do not exist: he proves...

Level by level equivalence and the number of normal measures over $P_{κ} (λ)$

Arthur W. Apter (2007)

Fundamenta Mathematicae

Similarity:

We construct two models for the level by level equivalence between strong compactness and supercompactness in which if κ is λ supercompact and λ ≥ κ is regular, we are able to determine exactly the number of normal measures $P_{κ} (λ)$ carries. In the first of these models, $P_{κ} (λ)$ carries $2^{2^{{[λ]}^{< κ}}}$ many normal measures, the maximal number. In the second of these models, $P_{κ} (λ)$ carries $2^{2^{{[λ]}^{< κ}}}$ many normal measures, except if κ is a measurable cardinal which is not a limit of measurable cardinals. In this case, κ (and...

Canonical Banach function spaces generated by Urysohn universal spaces. Measures as Lipschitz maps

Piotr Niemiec (2009)

Studia Mathematica

Similarity:

It is proved (independently of the result of Holmes [Fund. Math. 140 (1992)]) that the dual space of the uniform closure $C F L (_{r})$ of the linear span of the maps x ↦ d(x,a) - d(x,b), where d is the metric of the Urysohn space $_{r}$ of diameter r, is (isometrically if r = +∞) isomorphic to the space $L I P (_{r})$ of equivalence classes of all real-valued Lipschitz maps on $_{r}$ . The space of all signed (real-valued) Borel measures on $_{r}$ is isometrically embedded in the dual space of $C F L (_{r})$ and it is shown that the image...

On NIP and invariant measures

Ehud Hrushovski, Anand Pillay (2011)

Journal of the European Mathematical Society

Similarity:

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of NIP (not the independence property), continuing aspects of the paper [16]. Among key results are (i) if $p = tp (b / A)$ does not fork over $A$ then the Lascar strong type of $b$ over $A$ coincides with the compact strong type of $b$ over $A$ and any global nonforking extension of $p$ is Borel definable over $bdd (A)$ , (ii) analogous statements for Keisler measures and definable groups, including the fact that $G^{000} = G^{00}$ for $G$ ...

Measure-geometric Laplacians for partially atomic measures

Marc Kesseböhmer, Tony Samuel, Hendrik Weyer (2020)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Motivated by the fundamental theorem of calculus, and based on the works of W. Feller as well as M. Kac and M. G. Kreĭn, given an atomless Borel probability measure $η$ supported on a compact subset of $ℝ$ U. Freiberg and M. Zähle introduced a measure-geometric approach to define a first order differential operator $\nabla_{η}$ and a second order differential operator $Δ_{η}$ , with respect to $η$ . We generalize this approach to measures of the form $η : = ν + δ$ , where $ν$ is non-atomic and $δ$ is finitely supported. We determine...

Multi-variate correlation and mixtures of product measures

Tim Austin (2020)

Kybernetika

Similarity:

Total correlation (‘TC’) and dual total correlation (‘DTC’) are two classical ways to quantify the correlation among an $n$ -tuple of random variables. They both reduce to mutual information when $n = 2$ . The first part of this paper sets up the theory of TC and DTC for general random variables, not necessarily finite-valued. This generality has not been exposed in the literature before. The second part considers the structural implications when a joint distribution $μ$ has small TC or DTC. If...

Remarks on WDC sets

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

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study WDC sets, which form a substantial generalization of sets with positive reach and still admit the definition of curvature measures. Main results concern WDC sets $A \subset ℝ^{2}$ . We prove that, for such $A$ , the distance function $d_{A} = dist (\cdot, A)$ is a “DC aura” for $A$ , which implies that each closed locally WDC set in $ℝ^{2}$ is a WDC set. Another consequence is that compact WDC subsets of $ℝ^{2}$ form a Borel subset of the space of all compact sets.

$L^{p}$ -improving properties of certain singular measures on the Heisenberg group

Pablo Rocha (2022)

Mathematica Bohemica

Similarity:

Let $μ_{A}$ be the singular measure on the Heisenberg group $ℍ^{n}$ supported on the graph of the quadratic function $ϕ (y) = y^{t} A y$ , where $A$ is a $2 n \times 2 n$ real symmetric matrix. If $det (2 A \pm J) \neq 0$ , we prove that the operator of convolution by $μ_{A}$ on the right is bounded from $L^{\frac{(2 n + 2)}{(2 n + 1)}} (ℍ^{n})$ to $L^{2 n + 2} (ℍ^{n})$ . We also study the type set of the measures $d ν_{γ} (y, s) = η (y) {| y |}^{- γ} d μ_{A} (y, s)$ , for $0 \leq γ < 2 n$ , where $η$ is a cut-off function around the origin on $ℝ^{2 n}$ . Moreover, for $γ = 0$ we characterize the type set of $ν_{0}$ .

Convolution operators with anisotropically homogeneous measures on $ℝ^{2 n}$ with n-dimensional support

E. Ferreyra, T. Godoy, M. Urciuolo (2002)

Colloquium Mathematicae

Similarity:

Let $α_{i}, β_{i} > 0$ , 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t • x = (t^{α ₁} x ₁, . . ., t^{α ₙ} x ₙ)$ , $t \circ x = (t^{β ₁} x ₁, . . ., t^{β ₙ} x ₙ)$ and $| | x | | = \sum_{i = 1}^{n} {| x_{i} |}^{1 / α_{i}}$ . Let φ₁,...,φₙ be real functions in $C^{\infty} (ℝ ⁿ - 0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on $ℝ^{2 n}$ given by $μ (E) = \int_{ℝ ⁿ} χ_{E} {(x, φ (x)) | | x | |}^{γ - α} d x$ , where $α = \sum_{i = 1}^{n} α_{i}$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{μ} f = μ * f$ and let $| | T_{μ} {| |}_{p, q}$ be the operator norm of $T_{μ}$ from $L^{p} (ℝ^{2 n})$ into $L^{q} (ℝ^{2 n})$ , where the $L^{p}$ spaces are taken with respect to the Lebesgue measure. The type set $E_{μ}$ is defined by $E_{μ} = (1 / p, 1 / q) : | | T_{μ} {| |}_{p, q} < \infty, 1 \leq p, q \leq \infty$ . In the case $α_{i} \neq β_{k}$ for 1 ≤ i,k ≤ n we characterize the...

Optimality of the range for which equivalence between certain measures of smoothness holds

Z. Ditzian (2010)

Studia Mathematica

Similarity:

Recently it was proved for 1 < p < ∞ that $ω^{m} {(f, t)}_{p}$ , a modulus of smoothness on the unit sphere, and $K ̃ ₘ {(f, t^{m})}_{p}$ , a K-functional involving the Laplace-Beltrami operator, are equivalent. It will be shown that the range 1 < p < ∞ is optimal; that is, the equivalence $ω^{m} {(f, t)}_{p} \approx K ̃ ₘ {(f, t^{r})}_{p}$ does not hold either for p = ∞ or for p = 1.

Linear response for smooth deformations of generic nonuniformly hyperbolic unimodal maps

Viviane Baladi, Daniel Smania (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

We consider $C^{2}$ families $t \mapsto f_{t}$ of $C^{4}$ unimodal maps $f_{t}$ whose critical point is slowly recurrent, and we show that the unique absolutely continuous invariant measure $μ_{t}$ of $f_{t}$ depends differentiably on $t$ , as a distribution of order $1$ . The proof uses transfer operators on towers whose level boundaries are mollified via smooth cutoff functions, in order to avoid artificial discontinuities. We give a new representation of $μ_{t}$ for a Benedicks-Carleson map $f_{t}$ , in terms of a single smooth function and the...