On the Lipschitz perturbation of monotonic functions

Summary A real valued function <InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"9"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"10"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"11"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"12"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"13"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"14"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"15"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"16"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"17"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"18"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"19"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"20"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"21"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"22"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"23"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"24"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"25"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"26"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"27"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"28"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"29"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"30"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"31"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"32"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"33"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"34"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>f$ defined on a real interval $I$ is called \emph{$d$-Lipschitz} if it satisfies $|\ell(x)- \ell(y)| \le d(x,y)$ for $x,y\in I$. In this paper, we investigate when a function $p\: I \to \bR$ can be decomposed in the form $p=q+ \ell$, where $q$ is increasing and $\ell$ is $d$-Lipschitz. In the general case when $d\: I^{2} \to \bR$ is an arbitrary semimetric, a function $p\: I \to \bR$ can be written in the form $p=q+ \ell$ if and only if \vspace{-4pt} <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[$$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation> \sum_{i=1}^{n}{\big(p(s_{i})-p(t_{i})-d(t_{i},s_{i}) \big)^{+}} \le \sum_{j=1}^{m}{\big(p(v_{j})-p(u_{j})+d(u_{j},v_{j}) \big)} \vspace{-4pt} $$ is fulfilled for all real numbers $t_{1}<s_{1}, \dots, t_{n}<s_{n}$ and $u_{1}<v_{1}, \dots, u_{m}<v_{m}$ in $I$ satisfying the condition \vspace{-4pt} $$ \sum_{i=1}^{n} 1_{\left]t_i,s_i\right]}= \sum_{j=1}^{m} 1_{\left]u_j,v_j\right]}, \vspace{-4pt} $$ where $1_{\left]a,b\right]}$ denotes the characteristic function of the interval $\left]a,b\right]$. In the particular case when $d\: I^{2} \to R$ is a so-called concave semimetric, a function $p\: I \to \bR$ is of the form $p=q+ \ell$ if and only if \vspace{-4pt} $$ 0 \le \sum_{k=1}^{n}{d(x_{2k-1},x_{2k})} + d(x_0,x_{2n+1}) + \sum_{k=0}^{n}{\big(p(x_{2k+1})-p(x_{2k})\big)} \vspace{-4pt} $$ holds for all $x_0\le x_1\ki \cdots\ki x_{2n}\le x_{2n+1}$ in $I$.     

Orderings and maximal ideals of rings of analytic functions

We prove that there is a natural injective correspondence between the maximal ideals of the ring of analytic functions on a real analytic set and those of its subring of bounded analytic functions. By describing the maximal ideals in terms of ultrafilters we see that this correspondence is surjective if and only if is compact. This approach is also useful for studying the orderings of the field of meromorphic functions on .

     

Integration and Lipschitz functions

The aim of the paper is to prove that every f ∈ L ¹([0,1]) is of the form f = , where j _n,k is the characteristic function of the interval [k- 1 / 2 ⁿ , k / 2 ⁿ ) and Σ _n=0^∞Σ _k=1²ⁿ |a _n,k | is arbitrarily close to ||f|| (Theorem 2). It is also shown that if μ is any probabilistic Borel measure on [0,1], then for any ɛ > 0 there exists a sequence (b _n,k ) _n≧0 ^k=1,...,2n of real numbers such that and for each Lipschitz function g: [0,1] → ℝ (Theorem 3).      

解析函数与Lipschitz条件

研究了解析函数与Lipschitz条件,得到了如下两个结果:(i)设D是一平面区域,f(z)在D中解析,00,对任意z∈D有|f′(z)|≤md(z,D)k-1,则f∈Lipk(D)且‖f‖k≤cmk,其中c=c(D)是仅与D有关的常数.     

Lipschitz functions with maximal Clarke subdifferentials are generic

We show that on a separable Banach space most Lipschitz functions have maximal Clarke subdifferential mappings. In particular, the generic nonexpansive function has the dual unit ball as its Clarke subdifferential at every point. Diverse corollaries are given.

     

Relations between Lipschitz functions and convex functions

We discuss the relationship between Lipschitz functions and convex functions. By these relations, we give a sufficient condition for the set of points where Lipschitz functions on a Hilbert space is Frechet differentiate to be residual.     

On fully operator Lipschitz functions

Let be the disc algebra of all continuous complex-valued functions on the unit disc holomorphic in its interior. Functions from act on the set of all contraction operators (A1) on Hilbert spaces. It is proved that the following classes of functions from coincide: (1) the class of operator Lipschitz functions on the unit circle ; (2) the class of operator Lipschitz functions on ; and (3) the class of operator Lipschitz functions on all contraction operators. A similar result is obtained for the class of operator C₂-Lipschitz functions from .     

Integrability of subdifferentials of directionally Lipschitz functions

Using a quantitative version of the subdifferential characterization of directionally Lipschitz functions, we study the integrability of subdifferentials of such functions over arbitrary Banach space.

     

A global minimization algorithm for Lipschitz functions

The global optimization problem with and f(x) satisfying the Lipschitz condition , is considered. To solve it a region-search algorithm is introduced. This combines a local minimum algorithm with a procedure that at the ith iteration finds a region S _i where the global minimum has to be searched for. Specifically, by making use of the Lipschitz condition, S _i , which is a sequence of intervals, is constructed by leaving out from S _i-1 an interval where the global minimum cannot be located. A convergence property of the algorithm is given. Further, the ratio between the measure of the initial feasible region and that of the unexplored region may be used as stop rule. Numerical experiments are carried out; these show that the algorithm works well in finding and reducing the measure of the unexplored region.     

Harmonic functions on the real hyperbolic ball II Hardy‐Sobolev and Lipschitz spaces

In this paper, we pursue the study of harmonic functions on the real hyperbolic ball started in [13]. Our focus here is on the theory of Hardy‐Sobolev and Lipschitz spaces of these functions. We prove here that these spaces admit Fefferman‐Stein like characterizations in terms of maximal and square functionals. We further prove that the hyperbolic harmonic extension of Lipschitz functions on the boundary extend into Lipschitz functions on the whole ball. In doing so, we exhibit differences of behaviour of derivatives of harmonic functions depending on the parity of the dimension of the ball and on the parity of the order of derivation. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A prevalent transversality theorem for Lipschitz functions

This paper provides a version of the transversality theorem for a class of Lipschitz functions of the form , where is a convex subset of a normed vector space indexing the parameters in the problem. The set may be infinite-dimensional, and the notion of generic used is the measure-theoretic notion of prevalence introduced by Hunt, Sauer and Yorke (1992) and Christensen (1974). This paper also provides some results on sensitivity analysis for solutions to locally Lipschitz equations.

     

Smooth approximation of Lipschitz functions on Riemannian manifolds

We show that for every Lipschitz function f defined on a separable Riemannian manifold M (possibly of infinite dimension), for every continuous , and for every positive number r>0, there exists a C^∞ smooth Lipschitz function such that |f(p)−g(p)|?ε(p) for every p∈M and Lip(g)?Lip(f)+r. Consequently, every separable Riemannian manifold is uniformly bumpable. We also present some applications of this result, such as a general version for separable Riemannian manifolds of Deville-Godefroy-Zizler's smooth variational principle.     

加权解析Lipschitz空间的等价范数

该文研究单位圆盘上加权解析Lipschitz空间的等价范数。作者首先推广文献［3］中的结果，给出了加权解析Lipschitz函数的p Garsia模刻画，然后用高阶导数刻画了加权解 析Lipschitz函数，并给出了它的Bergman Carleson测度特征。最后，还得到了加权解析Lipschitz函数类似于BMO指数衰减的John Nirenberg定理。     

Pointwise Lipschitz functions on metric spaces

For a metric space X, we study the space D^∞(X) of bounded functions on X whose pointwise Lipschitz constant is uniformly bounded. D^∞(X) is compared with the space LIP^∞(X) of bounded Lipschitz functions on X, in terms of different properties regarding the geometry of X. We also obtain a Banach-Stone theorem in this context. In the case of a metric measure space, we also compare D^∞(X) with the Newtonian-Sobolev space N1,∞(X). In particular, if X supports a doubling measure and satisfies a local Poincaré inequality, we obtain that D^∞(X)=N1,∞(X).     

Polyanalytic Hardy decomposition of higher order Lipschitz functions

This paper is concerned with the problem of decomposing a higher order Lipschitz function on a closed Jordan curve Γ into a sum of two polyanalytic functions in each open domain defined by Γ. Our basic tools are the Hardy projections related to a singular integral operator arising in polyanalytic function theory, which, as it is proved here, represents an involution operator on the higher order Lipschitz classes. Our result generalizes the classical Hardy decomposition of Hölder continuous functions on the boundary of a domain.     

An algorithm for global optimization of Lipschitz continuous functions

An algorithm is presented which locates the global minimum or maximum of a function satisfying a Lipschitz condition. The algorithm uses lower bound functions defined on a partitioned domain to generate a sequence of lower bounds for the global minimum. Convergence is proved, and some numerical results are presented.     

Inheritance of surjectivity for partial differential operators on spaces of real analytic functions

For an open set let A(Ω) be the space of real analytic functions on Ω. Improving our previous results, we prove a new quantitative characterization of the linear partial differential operators P(D) which are surjective on A(Ω). This implies that P(D) is surjective on if P(D) is surjective on A(Ω) for some Ω≠∅. Further inheritance properties for the surjectivity of P(D) on A(Ω) are also obtained.     

On Timonov's algorithm for global optimization of univariate Lipschitz functions

Timonov proposes an algorithm for global maximization of univariate Lipschitz functions in which successive evaluation points are chosen in order to ensure at each iteration a maximal expected reduction of the region of indeterminacy, which contains all globally optimal points. It is shown that such an algorithm does not necessarily converge to a global optimum.     

Necessary and sufficient conditions for boundedness of some commutators with weighted Lipschitz functions

In this paper we show that b∈Lipβ,μ if and only if the commutator [b,T] of the multiplication operator by b and the singular integral operator T is bounded from Lp(μ) to Lq(μ1−q), where 1<p<q<∞, 0<β<1 and 1/q=1/p−β/n. Also we will obtain that b∈Lipβ,μ if and only if the commutator [b,Iα] of the multiplication operator by b and the fractional integral operator Iα is bounded from Lp(μ) to Lr(μ1−(1−α/n)r), where 1<p<∞, 0<β<1 and 1/r=1/p−(β+α)/n with 1/p>(β+α)/n.     

Real analytic families of harmonic functions in a planar domain with a small hole

We consider a Dirichlet problem in a planar domain with a hole of diameter proportional to a real parameter ?   and we denote by _u?$u_{?}$ the corresponding solution. The behavior of _u?$u_{?}$ for ?   small and positive can be described in terms of real analytic functions of two variables evaluated at (?,1/log??)$(?,1/\log ??)$. We show that under suitable assumptions on the geometry and on the boundary data one can get rid of the logarithmic behavior displayed by _u?$u_{?}$ for ?   small and describe _u?$u_{?}$ by real analytic functions of ?. Then it is natural to ask what happens when ? is negative. The case of boundary data depending on ? is also considered. The aim is to study real analytic families of harmonic functions which are not necessarily solutions of a particular boundary value problem.