Über eine Verallgemeinerung der Nicoletti-Aufgabe für Funktional-Differentialgleichungen mit voreilendem Argument

We consider a functional differential equation (1) (t)=F(t,) fort[0,+) together with a generalized Nicoletti condition (2)H()=. The functionF: [0,+)×C ⁰[0,+)B is given (whereB denotes the Banach space) and the value ofF (t, ) may depend on the values of (t) fort[0,+);H: C ⁰[0,+)B is a given linear operator and B. Under suitable assumptions we show that when the solution :[0,+)B satisfies a certain growth condition, then there exists exactly one solution of the problem (1), (2).     

Convolution Operators with Fractional Measures Associated to Holomorphic Functions

Let be an open set in the complex plane and let be a holomorphic function on . Let K be a compact subset of with nonempty interior such that 0 K. Let be the Borel measure of R ⁴ C ² given by(E = _K E(z, (z))|z|^–2 d(z)where 0 < 2 and d(x ₁ + ix ₂) = dx ₁ dx ₂ denotes the Lebesgue measure on C. Let T be the convolution operator T f = * f. In this paper we characterize the type set E associated to T .     

Generalised Holley-Preston inequalities on measure spaces and their products

Summary It is shown that if (X, ) is a product of totally ordered measure spaces andf _j (j=1,2,3,4) are measurable non-negative functions onX satisfyingf ₁(x)f₂(y)f₃(xy)f₄(xy), where (, ) are the lattice operations onX, then (f ₁ d)(f ₂ d)(f ₃ d)(f ₄ d). This generalises results of Ahlswede and Daykin (for counting measure on finite sets) and Preston (for special choices off _j).     

Fredholm integro-differential equation

We consider numerical solution of an integro-differential equation with nonsmooth initspaial values. Unique solvability in Sobolev spaceW ₂ (0, 1), =1,2, is proved. We establish the rate of convergence of the approximate solution to the exact solution in fractional spacesW ₂ ⁺¹ , 01, with approximation order O(h ^++1/2 ) for 01/2 andO(h ⁺¹ |ln h|1/2, for 1/2 #x2264;1.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 64, pp. 8–16, 1988.     

On summability of subsequences of partial sums of trigonometric Fourier series

n- (n1) fL ^p ([–, ] ⁿ ),=1 = (L C) . , , f([–, ] ⁿ ).     

Optimal relaxation parameter for the Uzawa Method

Summary. We consider the Uzawa method to solve the stationary Stokes equations discretized with stable finite elements. An iteration step consists of a velocity update uⁿ⁺¹ involving the (augmented Lagrangian) operator ––÷ with 0, followed by the pressure update pⁿ⁺¹=pⁿ–div uⁿ⁺¹, the so-called Richardson update. We prove that the inf-sup constant satisfies 1 and that, if =1+^–1, the iteration converges linearly with a contraction factor ^2-1(2-) provided 0<<2. This yields the optimal value = regardless of .Mathematics Subject Classification (1991): 65N12, 65N15Partially supported by NSF Grant DMS-9971450Partially supported by NSF Grants DMS-9971450 and DMS-0204670Revised version received September 30, 2003     

A Uniqueness Result for an Overdetermined Problem in Non-Linear Parabolic Potential Theory

In this paper we study the question of uniqueness for an inverse problem, arising in the (thermal) linear and/or non-linear potential theory. The overdetermined problem we shall study is represented by(div(|u| ^p–2u)–D _t u–+)u=0where supp()R ⁿ ×(0,), 1<p<, L and {t=} is bounded for >0.The problem has applications in shape-recognition in underground water/oil recovery, subject to shape-change during time intervals. The particular case u0, D _t u0, and p=2, is an example of the well-known Stefan.     

Nilpotent commuting varieties of reductive Lie algebras

Let G be a connected reductive algebraic group over an algebraically closed field k of characteristic p0, and =LieG. In positive characteristic, suppose in addition that p is good for G and the derived subgroup of G is simply connected. Let =() denote the nilpotent variety of , and ^nil():={(x,y)×|[x,y]=0}, the nilpotent commuting variety of . Our main goal in this paper is to show that the variety ^nil() is equidimensional. In characteristic 0, this confirms a conjecture of Vladimir Baranovsky; see [2]. When applied to GL(n), our result in conjunction with an observation in [2] shows that the punctual (local) Hilbert scheme _n Hilb ⁿ (²) is irreducible over any algebraically closed field. Mathematics Subject Classification (2000) 20G05     

Angular limits of holomorphic functions which satisfy an integrability condition

Let (–1,1), let 2/(1–)p<, letp denote the Hölder conjugate ofp, and let be an open arc of the unit circle. It is shown that, iff is a holomorphic function on the unit disc such that: (i) (1–|z|)log⁺|f(z)| isL ^p -integrable on the sector {r:0f has an infinite asymptotic value has -finite (2–(1+)p)-dimensional Hausdorff, measure, thenf has finite angular limits on a subset of of positive linear measure. In fact, a stronger conclusion will be established.     

The central limit theorem for Chébli-Trimèche hypergroups

Let (S _nn>-1) be a random walk on a hypergroup ( ₊ , *), i.e., a Markov chain with transition kernelN(x, A) = _x * (A), where is a fixed probability measure on ₊ such that the second moment exists. Then depending on the growth of the hypergroup two situations can occur: when ( ₊ , *) is of exponential growth then it is shown thatS _n is asymptotically normal. In the case of polynomial growth {more precisely, if the densityA of the Haar measure of ( ₊ , *) satisfies lim[A()/A()]=}, the normalized variablesS _n/[n Var()/(+1)]^1/2 converge to a Rayleigh distribution with parameter .     

Аппроксимация субга рмонических функций

The following statement is proved. Letu be a subharmonic function in the region and _u the associated measure. Then there exists a functionf holomorphic in and such that if _f is the associated measure of the function in ¦f¦, then ¦u(z)–ln¦f(z)¦ A¦ln s¦+B¦ln diam¦+ s(¦lns¦+1)+C. hold at every point z for which the setsD(z, t)={w: ¦w–z¦},t(0,s) lie in and satisfy(D(z, t))t both for= _u and for= _f . In the case where is an unbounded region, In diam should be replaced by ln ¦z¦. The constants, , do not depend on andu.

---

---

. . .     

Round-off error analysis of iterations for large linear systems

Summary We deal with the rounding error analysis of successive approximation iterations for the solution of large linear systemsA _x =b. We prove that Jacobi, Richardson, Gauss-Seidel and SOR iterations arenumerically stable wheneverA=A ^*>0 andA has PropertyA. This means that the computed resultx _k approximates the exact solution with relative error of order A·A ^–1 where is the relative computer precision. However with the exception of Gauss-Seidel iteration the residual vector Ax _k –b is of order A² A ^–1 and hence the remaining three iterations arenot well-behaved.This work was partly done during the author's visit at Carnegie-Mellon University and it was supported in part by the Office of Naval Research under Contract N00014-76-C-0370; NR 044-422 and by the National Science Foundation under Grant MCS75-222-55     

C 1 changes of variable: Beurling-Helson type theorem and Hörmander conjecture on Fourier multipliers

We prove that if aC ¹ smooth change of variable : generates a bounded composition operatorff° in the spaceA _p()=L ^p ,p2, then is linear (affine).We also prove that for a nonlinearC ¹ mapping , the norms of exponentialse ⁱ as Fourier multipliers inL ^p () tend to infinity (,||). In both results the condition C ¹ is sharp, it cannot be replaced by the Lipschitz condition.     

Newton—Goldstein convergence rates for convex constrained minimization problems with singular solutions

Convergence rates of Newton-Goldstein sequences are estimated for convex constrained minimization problems with singular solutions, i.e., solutions at which the local quadratic approximationQ(, x) to the objective functionF grows more slowly than x – ² for admissible vectorsx near. For a large class of iterative minimization methods with quadratic subproblems, it is shown that the valuesr _n =F(x _n )–inf F are of orderO(n ^–1/3) at least. For the Newton—Goldstein method this estimate is sharpened slightly tor _n =O(n ^–1/2) when the second Fréchet differentialF is Lipschitz continuous and the admissible set is bounded. Still sharper estimates are derived when certain growth conditions are satisfied byF or its local linear approximation at. The most surprising conclusion is that Newton—Goldstein sequences can convergesuperlinearly to a singular extremal whenF(), x – Ax – ^v for someA > 0, somev (2,2.5) and allx in near, and that this growth condition onF() is entirely natural for a nontrivial class of constrained minimization problems on feasible sets = ¹{[0,1],U} withU a uniformly convex set in ^d . Feasible sets of this kind are commonly encountered in the optimal control of continuous-time dynamical systems governed by differential equations, and may be viewed as infinite-dimensional limits of Cartesian product setsU ^k in ^kd . Superlinear convergence of Newton—Goldstein sequences for the problem (,F) suggests that analogous sequences for increasingly refined finite-dimensional approximation (U ^kd ,F _k ) to (,F) will exhibit convergence properties that are in some sense uniformly good ink ask .Investigation partially supported by the U.S. Air Force through the Air Force Institute of Technology, and by NSF Grant ECS-8005958.     

A Hubert space characterization among function spaces

— [0,1] ,E — - e=1 [0,1]. I — _E =1, E=L ₂ x _e =xL ₂ x E.

---

---

This work was prepared when the second author was a visiting professor of the CNR at the University of Firenze. He was supported by the Soros International Fund.     

Non-Uniformly Elliptic Equations with Natural Growth in the Gradient

We prove the existence of bounded solutions for a class of nonlinear elliptic problems of type–div(a(x,u,Du))=H(x,u,Du)+f, uW ^1,p ₀()L (),where a(x,,)b(||)|| ^p , b is a continuous monotone decreasing function and |H(x,,)| k()|| ^p , k is a continuous monotone increasing function.     

Fine Densities for Excessive Measures and the Revuz Correspondence

Suppose that U is the resolvent of a Borel right process on a Lusin space X. If is a U-excessive measure on X then we show by analytical methods that for every U-excessive measure with the Radon–Nikodym derivative d/d possesses a finely continuous version. (Fitzsimmons and Fitzsimmons and Getoor gave a probabilistic approach for this result.) We extend essentially a technique initiated by Mokobodzki and deepened by Feyel. The result allows us to establish a Revuz type formula involving the fine versions, and to study the Revuz correspondence between the -finite measures charging no set that is both -polar and -negligible (U being the potential component of ) and the strongly supermedian kernels on X. This is an analytic version of a result of Azéma, Fitzsimmons and Dellacherie, Maisonneuve and Meyer, in terms of additive functionals or homogeneous random measures. Finally we give an application to the context of the semi-Dirichlet forms, covering a recent result of Fitzsimmons.     

Tritronquée Solutions of Perturbed First Painlevé Equations

We consider solutions of the class of ODEs y=6y ²–x , which contains the first Painlevé equation (PI) for =1. It is well known that PI has a unique real solution (called a tritronquée solution) asymptotic to and decaying monotonically on the positive real line. We prove the existence and uniqueness of a corresponding solution for each real nonnegative 1.     

Fast Summation of Power Series with Coefficients Analytic at Infinity

We propose a fast summation algorithm for slowly convergent power series of the form _{j=j 0} z ^j _j j _i=1 ^s (j+ _i )^– _i , where R, _i 0 and _i C, 1is, are known parameters, and _j =(j), being a given real or complex function, analytic at infinity. Such series embody many cases treated by specific methods in the recent literature on acceleration. Our approach rests on explicit asymptotic summation, started from the efficient numerical computation of the Laurent coefficients of . The effectiveness of the resulting method, termed ASM (Asymptotic Summation Method), is shown by several numerical tests.     

A sandwich theorem and Hyers—Ulam stability of affine functions

It is shown that two real functionsf andg, defined on a real intervalI, satisfy the inequalitiesf(x + (1 – )y) g(x) + (1 – )g(y) andg(x + (1 – )y) f(x) + (1 – )f(y) for allx, y I and [0, 1], iff there exists an affine functionh: I such thatf h g. As a consequence we obtain a stability result of Hyers—Ulam type for affine functions.