Regularization of Nonlinear Ill-Posed Variational Inequalities and Convergence Rates

Let H be a Hilbert space and K be a nonempty closed convex subset of H. For f H, we consider the (ill-posed) problem of finding u K for which 0 for all v K, where A : H H is a monotone (not necessarily linear) operator. We study the approximation of the solutions of the variational inequality by using the following perturbed variational inequality: for f H, f – f , find u, K for which 0 for all v K, where , , and are positive parameters, and K, a perturbation of the set K, is a nonempty closed convex set in H. We establish convergence and a rate O(1 / 3) of convergence of the solutions of the regularized variational inequalities to a solution of the original variational inequality using the Mosco approximation of closed convex sets, where A is a weakly differentiable inverse-strongly-monotone operator.     

Characterization of Dirichlet Forms by their Excessive and Co–Excessive Elements

It is proved that if S, T are two elliptic Dirichlet operators on an ordered Hilbert space such that the excessive (resp. coexcessive) elements with respect to S and T are the same then there exists > 0 with T = S. Particularly if , are two elliptic Dirichlet forms on L² ( ) having the same domain of definition and the same -excessive (resp. -coexcessive) elements for any > 0 then = .     

Global optimization of univariate Lipschitz functions: II. New algorithms and computational comparison

We consider the following global optimization problems for a Lipschitz functionf implicitly defined on an interval [a, b]. Problem P: find a globally-optimal value off and a corresponding point; Problem Q: find a set of disjoint subintervals of [a, b] containing only points with a globally-optimal value and the union of which contains all globally optimal points. A two-phase algorithm is proposed for Problem P. In phase I, this algorithm obtains rapidly a solution which is often globally-optimal. Moreover, a sufficient condition onf for this to be the case is given. In phase II, the algorithm proves the-optimality of the solution obtained in phase I or finds a sequence of points of increasing value containing one with a globally-optimal value. The new algorithm is empirically compared (on twenty problems from the literature) with a best possible algorithm (for which the optimal value is assumed to be known), with a passive algorithm and with the algorithms of Evtushenko, Galperin, Shen and Zhu, Piyavskii, Timonov and Schoen. For small, the new algorithm requires only a few percent more function evaluations than the best possible one. An extended version of Piyavskii's algorithm is proposed for problem Q. A sufficient condition onf is given for the globally optimal points to be in one-to-one correspondance with the obtained intervals. This result is achieved for all twenty test problems.The research of the authors has been supported by AFOSR grants 0271 and 0066 to Rutgers University. Research of the second author has been also supported by NSERC grant GP0036426, FCAR grant 89EQ4144 and partially by AFOSR grant 0066. We thank Nicole Paradis for her help in drawing the figures.     

On Logarithmic Smoothing of the Maximum Function

We consider the maximum function f resulting from a finite number of smooth functions. The logarithmic barrier function of the epigraph of f gives rise to a smooth approximation g of f itself, where >0 denotes the approximation parameter. The one-parametric family g converges – relative to a compact subset – uniformly to the function f as tends to zero. Under nondegeneracy assumptions we show that the stationary points of g and f correspond to each other, and that their respective Morse indices coincide. The latter correspondence is obtained by establishing smooth curves x() of stationary points for g , where each x() converges to the corresponding stationary point of f as tends to zero. In case of a strongly unique local minimizer, we show that the nondegeneracy assumption may be relaxed in order to obtain a smooth curve x().     

Enlargement of Monotone Operators with Applications to Variational Inequalities

Given a point-to-set operator T, we introduce the operator T defined as T(x)= {u: u – v, x – y – for all y Rn, v T(y)}. When T is maximal monotone T inherits most properties of the -subdifferential, e.g. it is bounded on bounded sets, T(x) contains the image through T of a sufficiently small ball around x, etc. We prove these and other relevant properties of T, and apply it to generate an inexact proximal point method with generalized distances for variational inequalities, whose subproblems consist of solving problems of the form 0 H(x), while the subproblems of the exact method are of the form 0 H(x). If k is the coefficient used in the kth iteration and the k's are summable, then the sequence generated by the inexact algorithm is still convergent to a solution of the original problem. If the original operator is well behaved enough, then the solution set of each subproblem contains a ball around the exact solution, and so each subproblem can be finitely solved.     

Range of the posterior probability of an interval for priors with unimodality preserving contaminations

Range of the posterior probability of an interval over the -contamination class ={=(1–)₀+q:qQ} is derived. Here, ₀ is the elicited prior which is assumed unimodal, is the amount of uncertainty in ₀, andQ is the set of all probability densitiesq for which =(1–)₀+q is unimodal with the same mode as that of ₀. We show that the sup (resp. inf) of the posterior probability of an interval is attained by a prior which is equal to (1–)₀ except in one interval (resp. two disjoint intervals) where it is constant.     

Singular perturbations in foliations

Summary We define a constraint system , [0,₀), which is a kind of family of vector fields on a manifold. This is a generalized version of the family of the equations , [0,₀),x ^m ,y ⁿ . Finally, we prove a singular perturbation theorem for the system , [0,₀).Dedicated to Professor Kenichi Shiraiwa on his 60th birthday     

Über beschränkte Mengen in induktiven Limiten topologischer Vektorräume

In topological linear spaces convex hulls of bounded sets are, in general, not bounded. The question arises whether there is at least for every bounded set B a sequence {|} of strictly positive numbers such that the set { _l ⁿ _v B|n} is bounded. When this obtains, bounded sets share several of the properties known in locally convex spaces. The main result of this note is an example of a countable inductive limit of complete metrizable topological linear spaces which is neither regular nor sequentially complete and also fails to have the above bounded summability property.     

Properties of the Mappings That Are Close to the Harmonic Mappings. II

We continue studying the mappings that are close to the harmonic mappings (-quasiharmonic mappings with small). This study originates with the previous articles of the author. The results of the article include a theorem on connection between the notion of -quasiharmonic mapping and the solutions to Beltrami systems, an analog to the arithmetic mean property of harmonic functions for -quasiharmonic mappings, a theorem on stability in the Poisson formula for harmonic mappings in the ball, and a theorem on the local smoothing of -quasiharmonic mappings with small which preserves proximity to the harmonic mappings.     

Inverse power law potentials in rectangular configurations

Summary Calculations based on a (distance)^– intermolecular potential (>3) enable study of the effects on adsorption of the geometry of the solid. This paper gives the closed form solution for the adsorptive potential about a homogeneous solid rectangular corner; and, through systematic superposition, closed form solutions for the following configurations also: the rectangular corner of a cavity; laminae and rectangular cracks occupying a quarter plane; semi-infinite rectangular prisms and prismatic cavities; rectangular parallelepipeds and brick-shaped cavities. These various results are developed in detail for the cases =6 and =4. The paradox that potentials for >3 seem to be obtainable more readily than Newtonian potentials (=1) is explained by the existence only for >3 of simple fundamental solutions for infinite homogeneous solid configurations.

---

Zusammenfassung Berechnungen, denen ein intermolekulares Potential der Form (Abstand)^– (>3) zugrunde gelegt ist, ermöglichen eine Untersuchung von Effekten der Adsorption auf die Geometrie des Festkörpers. Die vorliegende Arbeit gibt die Lösung in geschlossener Form für das Adsorptionspotential um eine feste, homogene, rechtwinklige Ecke an. Ausserdem werden durch systematische Superposition Lösungen in geschlossener Form für die folgenden Konfigurationen angegeben: die rechtwinklige Innenecke einer Mulde; viertelunendliche, ebene Platten und rechteckige Spalten; halbunendliche, reckteckige Prismen und prismatische Mulden; Quader und quaderförmige Höhlen. Diese Ergebnisse sind ausführlich dargestellt für die Fälle =4. Das Paradoxon. dass Potentiale mit >3 scheinbar leichter zugänglich sind als das Gravitationspotential (=1), wird dadurch erklärt, dass nur für >3 einfache Grundlösungen für unendliche, homogene Festköperkonfigurationen existieren.

     

Sufficiency-Type Stability and Stabilization Criteria for Linear Time-Invariant Systems with Constant Point Delays

A set of criteria of asymptotic stability for linear and time-invariant systems with constant point delays are derived. The criteria are concerned with -stability local in the delays and -stability independent of the delays, namely, stability with all the characteristic roots in Res–<0 for all delays in some defined real intervals including zero and stability with characteristic roots in Res<–<0 as 0⁺ for all possible values of the delays, respectively. The results are classified in several groups according to the technique dealt with. The used techniques include both Lyapunov's matrix inequalities and equalities and Gerschgorin's circle theorem. The Lyapunov's inequalities are guaranteed if a set of matrices, built from the matrices of undelayed and delayed dynamics, are stability matrices. Some extensions to robust stability of the above results are also discussed.     

Convergence of the Gradient Projection Method for Generalized Convex Minimization

This paper develops convergence theory of the gradient projection method by Calamai and Moré (Math. Programming, vol. 39, 93–116, 1987) which, for minimizing a continuously differentiable optimization problem min{f(x) : x } where is a nonempty closed convex set, generates a sequence x_k+1 = P(x_k – _k f(x_k)) where the stepsize _k > 0 is chosen suitably. It is shown that, when f(x) is a pseudo-convex (quasi-convex) function, this method has strong convergence results: either x_k x^* and x^* is a minimizer (stationary point); or x_k arg min{f(x) : x } = , and f(x_k) inf{f(x) : x }.     

On Localization and Stabilization for Factorization Systems

If (, M)is a factorization system on a category C, we define new classes of maps as follows: a map f:AB is in if each of its pullbacks lies in (that is, if it is stably in ), and is in M ^* if some pullback of it along an effective descent map lies in M(that is, if it is locally in M). We find necessary and sufficient conditions for (, M ^*) to be another factorization system, and show that a number of interesting factorization systems arise in this way. We further make the connexion with Galois theory, where M ^*is the class of coverings; and include self-contained modern accounts of factorization systems, descent theory, and Galois theory.     

Lower semicontinuity of attractors of gradient systems and applications

Summary For 0₀, let T(t), t0, be a family of semigroups on a Banach space X with local attractors A. Under the assumptions that T₀(t) is a gradient system with hyperbolic equilibria and T(t) converges to T₀(t) in an appropriate sense, it is shown that the attractors {A, 0₀} are lower-semicontinuous at zero. Applications are given to ordinary and functional differential equations, parabolic partial differential equations and their space and time discretizations. We also give an estimate of the Hausdorff distance between A and A₀, in some examples.Research supported by U.S. Army Research Office DAAL-03-86-K-0074 and the National Science Foundation DMS-8507056.     

The ε c -Product of a Schwartz b-Space by a Quotient Banach Space and Applications

We define the -product of a -space by a quotient Banach space. We give conditions under which this -product will be monic. Finally, we define the _c -product of a Schwartz b-space by a quotient Banach space and we give some examples of applications.     

Periodic solutions of singularly perturbed delay equations

We consider a general class of singularly perturbed delay differential systems depending on a singular parameter and another parameter . For =0, the equation defines a mapT which undergoes a generic period doubling at =0. If the bifurcation is supercritical (subcritical), these period two points define a stable period two square wave (unstable period two pulse wave). We give conditions on the vector field such that there is a sectorS in the , plane such that there is a unique periodic orbit if the parameters are inS, the orbit is stable (unstable) if the period doubling bifurcation is supercritical (subcritical) and approaches the square (pulse) wave as 0.Partially supported by NSF and DARPA.     

ε-Enlargements of Maximal Monotone Operators in Banach Spaces

Given a maximal monotone operator T in a Banach space, we consider an enlargement T, in which monotonicity is lost up to , in a very similar way to the -subdifferential of a convex function. We establish in this general framework some theoretical properties of T, like a transportation formula, local Lipschitz continuity, local boundedness, and a Brøndsted–Rockafellar property.     

Differentiation of fractional order onp-groups,approximation properties

G- p- . [5] - (G) L _r(G) (1r<), . . , - . , , , . . , X. , . (. [1], [2] [4]).     

Almost flat locally finite coverings of the sphere

For any subset A of the unit sphere of a Banach space X and for [0,2) the notion of -flatness is introduced as a measure of non-flatness of A. For any positive , construction of locally finite tilings of the unit sphere by -flat sets is carried out under suitable -renormings of X in a quite general context; moreover, a characterization of spaces having separable dual is provided in terms of the existence of such tilings. Finally, relationships between the possibility of getting such tilings of the unit sphere in the given norm and smoothness properties of the norm are discussed.