Differences of two semiconvex functions on the real line

Václav Kryštof; Luděk Zajíček

Commentationes Mathematicae Universitatis Carolinae (2016)

  • Volume: 57, Issue: 1, page 21-37
  • ISSN: 0010-2628

Abstract

top
It is proved that real functions on which can be represented as the difference of two semiconvex functions with a general modulus (or of two lower C 1 -functions, or of two strongly paraconvex functions) coincide with semismooth functions on (i.e. those locally Lipschitz functions on for which f + ' ( x ) = lim t x + f + ' ( t ) and f - ' ( x ) = lim t x - f - ' ( t ) for each x ). Further, for each modulus ω , we characterize the class D S C ω of functions on which can be written as f = g - h , where g and h are semiconvex with modulus C ω (for some C > 0 ) using a new notion of [ ω ] -variation. We prove that f D S C ω if and only if f is continuous and there exists D > 0 such that f + ' has locally finite [ D ω ] -variation. This result is proved via a generalization of the classical Jordan decomposition theorem which characterizes the differences of two ω -nondecreasing functions (defined by the inequality f ( y ) f ( x ) - ω ( y - x ) for y > x ) on [ a , b ] as functions with finite [ 2 ω ] -variation. The research was motivated by a recent article by J. Duda and L. Zajíček on Gâteaux differentiability of semiconvex functions, in which surfaces described by differences of two semiconvex functions naturally appear.

How to cite

top

Kryštof, Václav, and Zajíček, Luděk. "Differences of two semiconvex functions on the real line." Commentationes Mathematicae Universitatis Carolinae 57.1 (2016): 21-37. <http://eudml.org/doc/276796>.

@article{Kryštof2016,
abstract = {It is proved that real functions on $\mathbb \{R\}$ which can be represented as the difference of two semiconvex functions with a general modulus (or of two lower $C^1$-functions, or of two strongly paraconvex functions) coincide with semismooth functions on $\mathbb \{R\}$ (i.e. those locally Lipschitz functions on $\mathbb \{R\}$ for which $f^\{\prime \}_+(x) = \lim _\{t \rightarrow x+\} f^\{\prime \}_+(t)$ and $f^\{\prime \}_-(x) = \lim _\{t \rightarrow x-\} f^\{\prime \}_-(t)$ for each $x$). Further, for each modulus $\omega $, we characterize the class $DSC_\{\omega \}$ of functions on $\mathbb \{R\}$ which can be written as $f=g-h$, where $g$ and $h$ are semiconvex with modulus $C\omega $ (for some $C>0$) using a new notion of $[\omega ]$-variation. We prove that $f \in DSC_\{\omega \}$ if and only if $f$ is continuous and there exists $D>0$ such that $f^\{\prime \}_+$ has locally finite $[D \omega ]$-variation. This result is proved via a generalization of the classical Jordan decomposition theorem which characterizes the differences of two $\omega $-nondecreasing functions (defined by the inequality $f(y) \ge f(x)- \omega (y-x)$ for $y>x$) on $[a,b]$ as functions with finite $[2\omega ]$-variation. The research was motivated by a recent article by J. Duda and L. Zajíček on Gâteaux differentiability of semiconvex functions, in which surfaces described by differences of two semiconvex functions naturally appear.},
author = {Kryštof, Václav, Zajíček, Luděk},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {semiconvex function with general modulus; difference of two semiconvex functions; $\omega $-nondecreasing function; $[\omega ]$-variation; regulated function},
language = {eng},
number = {1},
pages = {21-37},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Differences of two semiconvex functions on the real line},
url = {http://eudml.org/doc/276796},
volume = {57},
year = {2016},
}

TY - JOUR
AU - Kryštof, Václav
AU - Zajíček, Luděk
TI - Differences of two semiconvex functions on the real line
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 2016
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 57
IS - 1
SP - 21
EP - 37
AB - It is proved that real functions on $\mathbb {R}$ which can be represented as the difference of two semiconvex functions with a general modulus (or of two lower $C^1$-functions, or of two strongly paraconvex functions) coincide with semismooth functions on $\mathbb {R}$ (i.e. those locally Lipschitz functions on $\mathbb {R}$ for which $f^{\prime }_+(x) = \lim _{t \rightarrow x+} f^{\prime }_+(t)$ and $f^{\prime }_-(x) = \lim _{t \rightarrow x-} f^{\prime }_-(t)$ for each $x$). Further, for each modulus $\omega $, we characterize the class $DSC_{\omega }$ of functions on $\mathbb {R}$ which can be written as $f=g-h$, where $g$ and $h$ are semiconvex with modulus $C\omega $ (for some $C>0$) using a new notion of $[\omega ]$-variation. We prove that $f \in DSC_{\omega }$ if and only if $f$ is continuous and there exists $D>0$ such that $f^{\prime }_+$ has locally finite $[D \omega ]$-variation. This result is proved via a generalization of the classical Jordan decomposition theorem which characterizes the differences of two $\omega $-nondecreasing functions (defined by the inequality $f(y) \ge f(x)- \omega (y-x)$ for $y>x$) on $[a,b]$ as functions with finite $[2\omega ]$-variation. The research was motivated by a recent article by J. Duda and L. Zajíček on Gâteaux differentiability of semiconvex functions, in which surfaces described by differences of two semiconvex functions naturally appear.
LA - eng
KW - semiconvex function with general modulus; difference of two semiconvex functions; $\omega $-nondecreasing function; $[\omega ]$-variation; regulated function
UR - http://eudml.org/doc/276796
ER -

References

top
  1. Benyamini Y., Lindenstrauss J., Geometric Nonlinear Functional Analysis, Vol. 1, Colloquium Publications, 48, American Mathematical Society, Providence, 2000. Zbl0946.46002MR1727673
  2. Bruckner A., Differentiation of Real Functions, CRM Monograph Series, 5, American Mathematical Society, Providence, RI, 1994. MR1274044
  3. Correa R., Jofré A., 10.1007/BF00940840, J. Optim. Theory Appl. 61 (1989), 1–21. MR0993912DOI10.1007/BF00940840
  4. Cannarsa P., Sinestrari C., Semiconcave Functions, Hamilton-Jacobi Equations, and Optimal Control, Progress in Nonlinear Differential Equations and their Applications 58, Birkhäuser, Boston, 2004. Zbl1095.49003MR2041617
  5. Duda J., Zajíček L., Semiconvex functions: representations as suprema of smooth functions and extensions, J. Convex Anal. 16 (2009), 239–260. MR2531202
  6. Duda J., Zajíček L., Smallness of singular sets of semiconvex functions in separable Banach spaces, J. Convex Anal. 20 (2013), 573–598. MR3098482
  7. Fabian M., Gâteaux Differentiability of Convex Functions and Topology. Weak Asplund Spaces, Canadian Mathematical Society Series of Monographs and Advanced Texts, A Wiley-Interscience Publication, John Wiley & Sons, Inc., New York, 1997. Zbl0883.46011MR1461271
  8. Fraňková D., Regulated functions, Math. Bohem. 116 (1991), 20–59. MR1100424
  9. Goffman C., Moran G., Waterman D., 10.1090/S0002-9939-1976-0401993-5, Proc. Amer. Math. Soc. 57 (1976), 61–65. MR0401993DOI10.1090/S0002-9939-1976-0401993-5
  10. Jourani A., Thibault L., Zagrodny D., C 1 , ω ( · ) -regularity and Lipschitz-like properties of subdifferential, Proc. London Math. Soc. 105 (2012), 189–223. MR2948792
  11. Mifflin R., 10.1137/0315061, SIAM J. Control Optimization 15 (1977), 959–972. Zbl0376.90081MR0461556DOI10.1137/0315061
  12. Nagai H.V., Luc D.T., Théra M., Approximate convex functions, J. Nonlinear Convex Anal. 1 (2000), 155–176. MR1777137
  13. Spingarn J. E., 10.1090/S0002-9947-1981-0597868-8, Trans. Amer. Math. Soc. 264 (1981) 77–89. Zbl0465.26008MR0597868DOI10.1090/S0002-9947-1981-0597868-8

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.