Differentiation of n-convex functions

H. Fejzić; R. E. Svetic; C. E. Weil

Displaying similar documents to “Differentiation of n-convex functions”

Approximate and $L^{p}$ Peano derivatives of nonintegral order

J. Marshall Ash, Hajrudin Fejzić (2005)

Studia Mathematica

Similarity:

Let n be a nonnegative integer and let u ∈ (n,n+1]. We say that f is u-times Peano bounded in the approximate (resp. $L^{p}$ , 1 ≤ p ≤ ∞) sense at $x \in ℝ^{m}$ if there are numbers $f_{α} (x)$ , |α| ≤ n, such that $f (x + h) - \sum_{| α | \leq n} f_{α} (x) h^{α} / α!$ is $O (h^{u})$ in the approximate (resp. $L^{p}$ ) sense as h → 0. Suppose f is u-times Peano bounded in either the approximate or $L^{p}$ sense at each point of a bounded measurable set E. Then for every ε > 0 there is a perfect set Π ⊂ E and a smooth function g such that the Lebesgue measure of E∖Π is less than ε and...

Generalized α-variation and Lebesgue equivalence to differentiable functions

Jakub Duda (2009)

Fundamenta Mathematicae

Similarity:

We find conditions on a real function f:[a,b] → ℝ equivalent to being Lebesgue equivalent to an n-times differentiable function (n ≥ 2); a simple solution in the case n = 2 appeared in an earlier paper. For that purpose, we introduce the notions of $C B V G_{1 / n}$ and $S B V G_{1 / n}$ functions, which play analogous rôles for the nth order differentiability to the classical notion of a VBG⁎ function for the first order differentiability, and the classes $C B V_{1 / n}$ and $S B V_{1 / n}$ (introduced by Preiss and Laczkovich) for Cⁿ smoothness....

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...

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...

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...

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}$ .

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.

Vitali Lemma approach to differentiation on a time scale

Chuan Jen Chyan, Andrzej Fryszkowski (2004)

Studia Mathematica

Similarity:

A new approach to differentiation on a time scale is presented. We give a suitable generalization of the Vitali Lemma and apply it to prove that every increasing function f: → ℝ has a right derivative f₊’(x) for $μ_{Δ}$ -almost all x ∈ . Moreover, $\int_{[a, b)} f ₊^{'} (x) d μ_{Δ} \leq f (b) - f (a)$ .

On the Schröder equation

M. Kuczma

Similarity:

CONTENTSPART IIntroduction............................................................................................... 31. General solution.................................................................................. 42. Preliminaries and notation................................................................ 53. $C^{p}$ solutions in $ℭ$ *................................................ 74. Change of variables..............................................................................

On almost everywhere differentiability of the metric projection on closed sets in $l^{p} (ℝ^{n})$ , $2 < p < \infty$

Tord Sjödin (2018)

Czechoslovak Mathematical Journal

Similarity:

Let $F$ be a closed subset of $ℝ^{n}$ and let $P (x)$ denote the metric projection (closest point mapping) of $x \in ℝ^{n}$ onto $F$ in $l^{p}$ -norm. A classical result of Asplund states that $P$ is (Fréchet) differentiable almost everywhere (a.e.) in $ℝ^{n}$ in the Euclidean case $p = 2$ . We consider the case $2 < p < \infty$ and prove that the $i$ th component $P_{i} (x)$ of $P (x)$ is differentiable a.e. if $P_{i} (x) \neq x_{i}$ and satisfies Hölder condition of order $1 / (p - 1)$ if $P_{i} (x) = x_{i}$ .

Fréchet differentiability via partial Fréchet differentiability

Luděk Zajíček (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $X_{1}, \dots, X_{n}$ be Banach spaces and $f$ a real function on $X = X_{1} \times \dots \times X_{n}$ . Let $A_{f}$ be the set of all points $x \in X$ at which $f$ is partially Fréchet differentiable but is not Fréchet differentiable. Our results imply that if $X_{1}, \dots, X_{n - 1}$ are Asplund spaces and $f$ is continuous (respectively Lipschitz) on $X$ , then $A_{f}$ is a first category set (respectively a $σ$ -upper porous set). We also prove that if $X$ , $Y$ are separable Banach spaces and $f : X \to Y$ is a Lipschitz mapping, then there exists a $σ$ -upper porous set $A \subset X$ such that $f$ is Fréchet differentiable...

More on exposed points and extremal points of convex sets in $ℝ^{n}$ and Hilbert space

Stoyu T. Barov (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $𝕍$ be a separable real Hilbert space, $k \in ℕ$ with $k < dim 𝕍$ , and let $B$ be convex and closed in $𝕍$ . Let $𝒫$ be a collection of linear $k$ -subspaces of $𝕍$ . A point $w \in B$ is called exposed by $𝒫$ if there is a $P \in 𝒫$ so that $(w + P) \cap B = {w}$ . We show that, under some natural conditions, $B$ can be reconstituted as the convex hull of the closure of all its exposed by $𝒫$ points whenever $𝒫$ is dense and $G_{δ}$ . In addition, we discuss the question when the set of exposed by some $𝒫$ points forms a $G_{δ}$ -set.

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 |$ .

Selivanovski hard sets are hard

Janusz Pawlikowski (2015)

Fundamenta Mathematicae

Similarity:

Let $H \subseteq Z \subseteq 2^{ω}$ . For n ≥ 2, we prove that if Selivanovski measurable functions from $2^{ω}$ to Z give as preimages of H all Σₙ¹ subsets of $2^{ω}$ , then so do continuous injections.

Generalized Lebesgue points for Sobolev functions

Nijjwal Karak (2017)

Czechoslovak Mathematical Journal

Similarity:

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X, d, μ)$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B (x, r)$ converge to $f (x)$ when $r$ converges to $0$ . We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

Hukuhara's differentiable iteration semigroups of linear set-valued functions

Andrzej Smajdor (2004)

Annales Polonici Mathematici

Similarity:

Let K be a closed convex cone with nonempty interior in a real Banach space and let cc(K) denote the family of all nonempty convex compact subsets of K. A family $F^{t} : t \geq 0$ of continuous linear set-valued functions $F^{t} : K \to c c (K)$ is a differentiable iteration semigroup with F⁰(x) = x for x ∈ K if and only if the set-valued function $Φ (t, x) = F^{t} (x)$ is a solution of the problem $D_{t} Φ (t, x) = Φ (t, G (x)) : = ⋃ Φ (t, y) : y \in G (x)$ , Φ(0,x) = x, for x ∈ K and t ≥ 0, where $D_{t} Φ (t, x)$ denotes the Hukuhara derivative of Φ(t,x) with respect to t and $G (x) : = l i m_{s \to 0 +} (F^{s} (x) - x) / s$ for x ∈ K.

A complete characterization of R-sets in the theory of differentiation of integrals

G. A. Karagulyan (2007)

Studia Mathematica

Similarity:

Let $_{s}$ be the family of open rectangles in the plane ℝ² with a side of angle s to the x-axis. We say that a set S of directions is an R-set if there exists a function f ∈ L¹(ℝ²) such that the basis $_{s}$ differentiates the integral of f if s ∉ S, and $D ̅_{s} f (x) = l i m s u p_{d i a m (R) \to 0, x \in R \in_{s}} {| R |}^{- 1} \int_{R} f = \infty$ almost everywhere if s ∈ S. If the condition $D ̅_{s} f (x) = \infty$ holds on a set of positive measure (instead of a.e.) we say that S is a WR-set. It is proved that S is an R-set (resp. a WR-set) if and only if it is a $G_{δ}$ (resp. a $G_{δ σ}$ ).

A symmetry problem in the calculus of variations

Graziano Crasta (2006)

Journal of the European Mathematical Society

Similarity:

We consider the integral functional $J (u) = \int_{Ω} [f (| D u |) - u] d x$ , $u \in W_{0}^{1, 1} (Ω)$ , where $Ω \subset ℝ^{n}$ , $n \geq 2$ , is a nonempty bounded connected open subset of $ℝ^{n}$ with smooth boundary, and $ℝ ∋ s \mapsto f (| s |)$ is a convex, differentiable function. We prove that if $J$ admits a minimizer in $W_{0}^{1, 1} (Ω)$ depending only on the distance from the boundary of $Ω$ , then $Ω$ must be a ball.

On affinity of Peano type functions

Tomasz Słonka (2012)

Colloquium Mathematicae

Similarity:

We show that if n is a positive integer and $2^{ℵ ₀} \leq ℵ ₙ$ , then for every positive integer m and for every real constant c > 0 there are functions $f ₁, . . ., f_{n + m} : ℝ ⁿ \to ℝ$ such that $(f ₁, . . ., f_{n + m}) (ℝ ⁿ) = ℝ^{n + m}$ and for every x ∈ ℝⁿ there exists a strictly increasing sequence (i₁,...,iₙ) of numbers from 1,...,n+m and a w ∈ ℤⁿ such that $(f_{i ₁}, . . ., f_{i ₙ}) (y) = y + w$ for $y \in x + (- c, c) \times ℝ^{n - 1}$ .

Special sets of reals and weak forms of normality on Isbell--Mrówka spaces

Vinicius de Oliveira Rodrigues, Victor dos Santos Ronchim, Paul J. Szeptycki (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We recall some classical results relating normality and some natural weakenings of normality in $Ψ$ -spaces over almost disjoint families of branches in the Cantor tree to special sets of reals like $Q$ -sets, $λ$ -sets and $σ$ -sets. We introduce a new class of special sets of reals which corresponds to the corresponding almost disjoint family of branches being $ℵ_{0}$ -separated. This new class fits between $λ$ -sets and perfectly meager sets. We also discuss conditions for an almost disjoint family $𝒜$ being...

Spaces with property $(D C (ω_{1}))$

Wei-Feng Xuan, Wei-Xue Shi (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that if $X$ is a first countable space with property $(D C (ω_{1}))$ and with a $G_{δ}$ -diagonal then the cardinality of $X$ is at most $𝔠$ . We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$ .

Asymmetric tie-points and almost clopen subsets of $ℕ^{*}$

Alan S. Dow, Saharon Shelah (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A tie-point of compact space is analogous to a cut-point: the complement of the point falls apart into two relatively clopen non-compact subsets. We review some of the many consistency results that have depended on the construction of tie-points of $ℕ^{*}$ . One especially important application, due to Veličković, was to the existence of nontrivial involutions on $ℕ^{*}$ . A tie-point of $ℕ^{*}$ has been called symmetric if it is the unique fixed point of an involution. We define the notion of an almost...

On some representations of almost everywhere continuous functions on $ℝ^{m}$

Ewa Strońska (2006)

Colloquium Mathematicae

Similarity:

It is proved that the following conditions are equivalent: (a) f is an almost everywhere continuous function on $ℝ^{m}$ ; (b) f = g + h, where g,h are strongly quasicontinuous on $ℝ^{m}$ ; (c) f = c + gh, where c ∈ ℝ and g,h are strongly quasicontinuous on $ℝ^{m}$ .