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.     

A Characterization of Some Minihypers and its Application to Linear Codes

Any {f,r- 2+s; r,q}-minihyper includes a hyperplane in PG(r, q) if fr-1 + s 1 + q – 1 for 1 s q – 1, q 3, r 4, where i = (qi + 1 – 1)/ (q – 1 ). A lower bound on f for which an {f, r – 2 + 1; r, q}-minihyper with q 3, r 4 exists is also given. As an application to coding theory, we show the nonexistence of [ n, k, n + 1 – qk – 2 ]q codes for k 5, q 3 for qk – 1 – 2q – 1 < n qk – 1 – q – 1 when k > q – q - \sqrt q + 2$$ " align="middle" border="0"> and for when , which is a generalization of [18, Them. 2.4].     

Conditional functional equations and orthogonal additivity

Summary Some examples of classes of conditional equations coming from information theory, geometry and from the social and behavioral sciences are presented. Then the classical case of the Cauchy equation on a restricted domain is extensively discussed. Some results concerning the extension of local homomorphisms and the implication -additivity implies global additivity are illustrated. Problems concerning the equations[cf(x + y) – af(x) – bf(y) – d][f(x + y) – f(x – f(y)] = 0[g(x + y) – g(x) – g(y)][f(x + y) – f(x) – f(y)] = 0f(x + y) – f(x) – f(y) V (a suitable subset of the range) are presented.The consideration of the conditional Cauchy equation is subsequently focused on the case when it makes sense to interpret as a binary relation (orthogonality):f: (X, +, ) (Y, +);f(x + z) = f(x) + f(z) (x, z Z; x z). A brief sketch on solutions under regularity conditions is given. It is then shown that all regularity conditions can be removed. Finally, several applications (also to physics and to the actuarial sciences) are discussed. In all these cases the attention is focused on open problems and possible extensions of previous results.     

Some remarks on the modulus of continuity of a conformal mapping of the disk onto a Jordan domain

Letd(;z, t) be the smallest diameter of the arcs of a Jordan curve with endsz andt. Consider the rapidity of decreasing ofd(;)=sup{d(;z, t):z, t , ¦z–t¦} (as 0,0) as a measure of nicety of . Letg(x) (x0) be a continuous and nondecreasing function such thatg(x)x,g(0)=0. Put¯g(x)=g(x)+x, h(x)=(¯g(x))². LetH(x) be an arbitrary primitive of 1/h ^–1(x). Note that the functionH ^–1 x is positive and increasing on (–, +),H ^–1 0 asx– andH ^–1+ asx +. The following statement is proved in the paper.Translated fromMatematicheskie Zametki, Vol. 60, No. 2, pp. 176–184, August, 1996.This research was supported by the Russian Foundation for Basic Research under grant No. 93-01-00236 and by the International Science Foundation under grant No. NCF000.     

Lipschitz and darbo conditions for the superposition operator in ideal spaces

Summary In this paper we give necessary and sufficient conditions for the superposition operator Fx(s)=f(s, x(s)) to satisfy a Lipschitz condition Fx₁ - Fx₂kx₁ - x₂ or a Darbo condition (FN)k(N) in ideal spaces of measurable functions, where is the Hausdorff measure of noncompactness. Moreover, we characterize a large class of spaces in which the above mentioned two conditions are equivalent.

---

Sunto In questo lavoro diamo delle condizioni necessarie e sufficienti perchè l'operatore di sovrapposizione Fx(s)=f (s, x(s)) soddisfi alla condizione di Lipschitz Fx₁–Fx₂ kx₁–x₂ o quella di Darbo (FN)k(N) in spazi ideali di funzioni misurabili, ove è la misura di non compattezza di Hausdorff. Inoltre, caratterizziamo un'ampia classe di spazi in cui le suddette due condizioni sono equivalenti.

     

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

Asymptotics of the partial sums of a set of integral transforms

In this paper, we explore the asymptotic distribution of the zeros of the partial sums of the family of entire functions of order 1 and type 1, defined by G(,,z)=₀ ¹(t)t ^–1×(1–t)^–1e ^zt dt, where Re,Re>0, is Riemann-integrable on [0,1], continuous at t=0, 1 and satisfies (0)(1)0.     

On the continuity of midpoint hull convex set-valued functions

Summary The concept of hull convexity (midpoint hull convexity) for set-valued functions in vector spaces is examined. This concept, introduced by A. V. Fiacco and J. Kyparisis (Journal of Optimization Theory and Applications,43 (1986), 95–126), is weaker than one of convexity (midpoint convexity).The main result is a sufficient condition for a midpoint hull convex set-valued function to be continuous. This theorem improves a result obtained by K. Nikodem (Bulletin of the Polish Academy of Sciences, Mathematics,34 (1986), 393–399).     

A conditional dilatation equation

Summary The following theorem holds true. Theorem. Let X be a normed real vector space of dimension 3 and let k > 0 be a fixed real number. Suppose that f: X X and g: X × X are functions satisfying x – y = k f(x) – f(y) = g(x, y)(x – y) for all x, y X. Then there exist elements and t X such that f(x) = x + t for all x X and such that g(x, y) = for all x, y X with x – y = k.     

Inequalities for Green Functions in a Dini-Jordan Domain in R2

We establish inequalities for Green functions of Dini-smooth Jordan domains in R².We give a version of the 3G theorem for these domains. With the help of these results, we prove comparison theorems between the Green kernel of and the Green kernel of – where is a nonnegative Radon measure.     

Expansions in characteristic functions of the nonself-adjoint Schrödinger operator

Contour integration is used to obtain expansions in characteristic functions of the non-self-adjoint Schrödinger operator-–u(x) + q(x) (x) in the space L₂(E_n) (n=2, 3),where q(x) is a complex-valued measurable function, |q(x)|Ce^–|x|, and and C are positive constants.Translated from Matematicheskie Zametki, Vol. 9, No. 3, pp. 333–342, March, 1971.In conclusion the author wishes to thank M. A. Naimark for suggesting the problem and for his discussion of the results.     

Holomorphic solutions of an inhomogeneous Cauchy equation

Summary We consider the functional equation(x + y) – (x) – (y) = f(x)f(y)h(x + y) and we find all its homomorphic solutionsf, h, defined in a neighbourhood of the origin.     

The Spectral Theory of Amenable Actions and Invariants of Discrete Groups

Let G denote a semisimple group, a discrete subgroup, B=G/P the Poisson boundary. Regarding invariants of discrete subgroups we prove, in particular, the following:(1) For any -quasi-invariant measure on B, and any probablity measure on , the norm of the operator () on L ²(B,) is equal to (), where is the unitary representation in L ²(X,), and is the regular representation of .(2) In particular this estimate holds when is Lebesgue measure on B, a Patterson–Sullivan measure, or a -stationary measure, and implies explicit lower bounds for the displacement and Margulis number of (w.r.t. a finite generating set), the dimension of the conformal density, the -entropy of the measure, and Lyapunov exponents of .(3) In particular, when G=PSL₂() and is free, the new lower bound of the displacement is somewhat smaller than the Culler–Shalen bound (which requires an additional assumption) and is greater than the standard ball-packing bound.We also prove that ()=_G() for any amenable action of G and L ¹(G), and conversely, give a spectral criterion for amenability of an action of G under certain natural dynamical conditions. In addition, we establish a uniform lower bound for the -entropy of any measure quasi-invariant under the action of a group with property T, and use this fact to construct an interesting class of actions of such groups, related to 'virtual' maximal parabolic subgroups. Most of the results hold in fact in greater generality, and apply for instance when G is any semi-simple algebraic group, or when is any word-hyperbolic group, acting on their Poisson boundary, for example.     

Embeddings of Lorentz—Marcinkiewicz spaces with mixed norms

X(Y) f -:X(Y)={fM(×): f_{X(Y)=f(x,.)YX<} . =(0, ), M (×) — , ×, X, Y, Z— . X(Y) Z(×).     

The question of A*-summability of double trigonometric Fourier series

It is proved that for anyf(x, y) L(R), where R=[-,,-, ], a function (x, y), exists such that ¦(x, y) ¦=¦f(x, y) ¦ for almost all (x, y) R. The Fourier series of the function (x, y) and all conjugate trigonometric series are A^*-summable almost everywhere.Translated from Matematicheskie Zametki, Vol. 11, No. 2, pp. 145–150, February, 1972.     

Perturbation of a self-adjoint operator by a subordinate symmetric operator

The following variant of Rellich's theorem is proved. Let A,B be operators in a Hilbert space, A=A^*, BB^* and D(B)D(A). We assume that (Bu,u)(Au,u), uD(A) for some> –1. Then the operator A + B with domain of definition D(A) is self-adjoint.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 147, pp. 196–198, 1985.     

Über die Häufigkeit großer Differenzen konsekutiver Primzahlen

The following theorem is going to be proved. Letp _m be them-th prime and putd _m :=p _m+1–p _m . LetN(,T), 1/21,T3. denote the number of zeros =+i of the Riemann zeta function which fulfill and ||T. Letc2 andh0 be constants such thatN(,T)T ^c(1–) (logT) ^h holds true uniformly in 1/21. Let >0 be given. Then there is some constantK>0 such that      

Milnor numbers and the topology of polynomial hypersurfaces

Summary LetF: n + 1 be a polynomial. The problem of determining the homology groupsH _q (F ^–1 (c)), c , in terms of the critical points ofF is considered. In the best case it is shown, for a certain generic class of polynomials (tame polynomials), that for allc,F ^–1 (c) has the homotopy type of a bouquet of - ^c n-spheres. Here is the sum of all the Milnor numbers ofF at critical points ofF and ^c is the corresponding sum for critical points lying onF ^–1 (c). A second best case is also discussed and the homology groupsH _q (F ^–1 (c)) are calculated for genericc. This case gives an example in which the critical points at infinity ofF must be considered in order to determine the homology groupsH _q (F ^–1 (c)).     

A relation between Chung's and Strassen's laws of the iterated logarithm

Summary Let W(t) be a standard Wiener process and let f(x) be a function from the compact class in Strassen's law of the iterated logarithm. We investigate the lim inf behavior of the variable sup ¦W(xT)(2T loglog T)^–1/2–f(x)¦, 0x1 suitably normalized as T.This extends Chung's result valid for f(x)0, stating that lim inf.[ sup ¦(2T loglogT)^–1/2 W(xT)¦(loglog T)^–1]=/4 a.s. T 0x1     

Integration of Primal Lower Nice Functions in Hilbert Spaces

In this paper, we obtain some integration results from subdifferential inclusions for primal lower nice functions by using the Moreau envelopes. A general result concerns an enlarged subdifferential inclusion. It says that, for g primal lower nice at x, the inclusion around x entails that, for any ]0; [, f – g is - Lipschitz continuous on an appropriate neighborhood of x.