We study the convergence of the proximal algorithm applied to nonsmooth functions that satisfy the Lojasiewicz inequality around their generalized critical points. Typical examples of functions complying with these co...
详细信息
We study the convergence of the proximal algorithm applied to nonsmooth functions that satisfy the Lojasiewicz inequality around their generalized critical points. Typical examples of functions complying with these conditions are continuous semialgebraic or subanalytic functions. Following Lojasiewicz's original idea, we prove that any bounded sequence generated by the proximal algorithm converges to some generalized critical point. We also obtain convergence rate results which are related to the flatness of the function by means of Lojasiewicz exponents. Apart from the sharp and elliptic cases which yield finite or geometric convergence, the decay estimates that are derived are of the type O(k(-s)), where s is an element of (0, + infinity) depends on the flatness of the function.
Recently, some exact penalty results for nonlinear programs and mathematical programs with equilibrium constraints were proved by Luo, Pang, and Ralph (Ref. 1). In this paper, we show that those results remain valid u...
详细信息
Recently, some exact penalty results for nonlinear programs and mathematical programs with equilibrium constraints were proved by Luo, Pang, and Ralph (Ref. 1). In this paper, we show that those results remain valid under some other mild conditions. One of these conditions, called strong convexity with order sigma, is discussed in detail.
We call a function constructible if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. ...
详细信息
We call a function constructible if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. For any q > 0 and constructible functions f and mu on E x R-n, we prove a theorem describing the structure of the set {(x, p) is an element of E x (0, infinity]: f (x, .) is an element of L-p(vertical bar mu vertical bar(q)(x))}, where vertical bar mu vertical bar(q)(x) is the positive measure on R-n whose Radon-Nikodym derivative with respect to the Lebesgue measure is vertical bar mu(x, .)vertical bar(q) : y bar right arrow vertical bar mu(x, y)vertical bar(q). We also prove a closely related preparation theorem for f and mu. These results relate analysis (the study of L-p-spaces) with geometry (the study of zero loci). (c) 2013 Elsevier Inc. All rights reserved.
This paper concerns variational inclusions of the form 0 is an element of f(x) + F(x) where f is a single locally Lipschitz subanalytic function and F is a set-valued map acting in Banach spaces. We prove the existenc...
详细信息
This paper concerns variational inclusions of the form 0 is an element of f(x) + F(x) where f is a single locally Lipschitz subanalytic function and F is a set-valued map acting in Banach spaces. We prove the existence and the convergence of a sequence (x(k)) satisfying 0 is an element of f(x(k)) + Delta f(x(k))(x(k+1)- x(k))+ F(x(k+1)) where Delta f(x(k)) lies to partial derivative f(x(k)) which is the Clarke Jacobian of f at the point xk.
We call a function constructible if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. ...
详细信息
We call a function constructible if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. Our main theorem gives uniform bounds on the decay of parameterized families of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function, assuming that the amplitude function is integrable and that the phase function satisfies a certain natural condition called the hyperplane condition. As a simple application of this theorem, we also show that any continuous, integrable, constructible function of a single variable has an integrable Fourier transform.
We present a unifying theory of fields with certain classes of analytic functions, called fields with analytic structure. Both real closed fields and Henselian valued fields are considered. For real closed fields with...
详细信息
We present a unifying theory of fields with certain classes of analytic functions, called fields with analytic structure. Both real closed fields and Henselian valued fields are considered. For real closed fields with analytic structure, o-minimality is shown. For Henselian valued fields, both the model theory and the analytic theory are developed. We give a list of examples that comprises, to our knowledge, all principal, previously studied, analytic structures on Henselian valued fields, as well as new ones. The b-minimality is shown, as well as other properties useful for motivic integration on valued fields. The paper is reminiscent of papers by Denef and van den Dries [Ann. of Math. 128 (1988)] and by Cohen [Comm. Pure Appl. Math. 22 (1969)], and of the book by Fresnel and van der Put, Rigid Analytic Geometry and its Applications [Birkhauser (2004)], and unifies work by van den Dries, Haskell, Macintyre, Macpherson, Marker, Robinson, and the authors.
We consider several systems of algebras of real- and complex- valued functions, which appear in o-minimal geometry and related geometrically tame contexts. For each such system, we prove its stability under parametric...
详细信息
We consider several systems of algebras of real- and complex- valued functions, which appear in o-minimal geometry and related geometrically tame contexts. For each such system, we prove its stability under parametric integration and we study the asymptotics of the functions as well as the nature of their parametric Mellin transforms. (c) 2024 Published by Elsevier Inc.
This article generalizes the result of Katzarkov and Ramachandran from algebraic surfaces to Kahler surfaces. We follow their argument to prove the holomorphic convexity of a reductive Galois covering over a compact K...
详细信息
This article generalizes the result of Katzarkov and Ramachandran from algebraic surfaces to Kahler surfaces. We follow their argument to prove the holomorphic convexity of a reductive Galois covering over a compact Kahler surface which does not have two ends, except that we replace the p-adic factorization theorem by an analysis of the singularities of the continuous subanalytic plurisubharmonic exhaustion function.& COPY;2023 Elsevier Inc. All rights reserved.
Efroymson's Approximation Theorem asserts that if f is a C-0 semialgebraic mapping on a C-infinity semialgebraic submanifold M of R-n and if epsilon : M -> R is a positive continuous semialgebraic function then...
详细信息
Efroymson's Approximation Theorem asserts that if f is a C-0 semialgebraic mapping on a C-infinity semialgebraic submanifold M of R-n and if epsilon : M -> R is a positive continuous semialgebraic function then there is a C-infinity semialgebraic function g : M -> R such that vertical bar f -g vertical bar < epsilon. We prove a generalization of this result to the globally subanalytic category. Our theorem actually holds in a larger framework since it applies to every function which is definable in a polynomially bounded o-minimal structure (expanding the real field) that admits C-infinity cell decomposition. We also establish approximation theorems for Lipschitz and C-1 definable functions. (C) 2021 Elsevier Inc. All rights reserved.
暂无评论