On the solvability of a complete second-order differential equation in Banach space

The paper deals with the Cauchy problem for a complete second-order differential equation with unbounded operator coefficientsu+A(t)u+B(t)u=f, u(0)=u0, u(0)=u ₁ . By using the commutant method, we construct a coercive solution of this problem in Holder space in the case where the operatorB is as strong as the operator A².Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 10, pp. 1449–1454, October, 1993.     

A lower closure theorem for abstract control problems withL p-bounded controls

A lower closure theorem for an abstract control problem is proved. The functional isJ(,u)= _G f ⁰(t, (M)(t),u(t))dt and the state equations areN(t)=f(t, (M)(t),u(t)). It is shown that, if {( _k ,u _k)} is a sequence of admissible controlsu _k and corre-sponding trajectories _k such that lim infJ( _k ,u _k)<+ and such that _k weakly,M _k M strongly,N _k N weakly, and {u _k} is bounded in someL _p norm, then there is a controlu such that (,u) is admissible and lim infJ( _k ,u _k)J(,u).Dedicated to Professor M. R. HestenesThis research was supported by the National Science Foundation, Grant No. GP-33551X.     

On a Singular Semilinear Elliptic Boundary Value Problem and the Boundary Harnack Principle

On a bounded C ²-domain we consider the singular boundary-value problem 1/2u=f(u) in D, u _D =, where d3, f:(0,)(0,) is a locally Hölder continuous function such that f(u) as u0 at the rate u ^–, for some (0,1), and is a non-negative continuous function satisfying certain growth assumptions. We show existence of solutions bounded below by a positive harmonic function, which are smooth in D and continuous in . Such solutions are shown to satisfy a boundary Harnack principle.     

Über den algorithmischen Nachweis von Ungleichungen I

We shall develop a method to prove inequalities in a unified manner. The idea is as follows: It is quite often possible to find a continuous functional : ⁿ , such that the left- and the right-hand side of a given inequality can be written in the form (u)(v) for suitable points,v=v(u). If one now constructs a map ^{n n} , which is functional increasing (i.e. for each x ⁿ (which is not a fixed point of ) the inequality (x)<((x)) should hold) one specially gets the chain (u)( u))( ²(u))... ⁿ (u)). Under quite general conditions one finds that the sequence { ⁿ (u)} _n converges tov=v(u). As a consequence one obtains the inequality (u)(v).     

Variational problems in SBV and image segmentation

We show how it is possible to prove the existence of solutions of the Mumford-Shah image segmentation functional F(u,K) = _\K [u² + (u – g)²]dx + ^{n – 1}(K), u W ^1,2(\K), K closed in .We use a weak formulation of the minimum problem in a special class SBV() of functions of bounded variation. Moreover, we also deal with the regularity of minimizers and the approximation of F by elliptic functionals defined on Sobolev spaces. In this paper, we have collected the main results of Ambrosio and others.     

On a Test Statistic for Linear Trend

Let {W(s)} _s 0 be a standard Wiener process. The supremum of the squared Euclidian norm Y (t)², of the R²-valued process Y(t)=(1/t W(t), {12/t ³ int_{0 t} s dW (s)– {3/t} W(t)), t [, 1], is the asymptotic, large sample distribution, of a test statistic for a change point detection problem, of appearance of linear trend. We determine the asymptotic behavior P {sup _t [, 1] Y(t)² > u as u , of this statistic, for a fixed (0,1), and for a moving = (u) 0 at a suitable rate as u . The statistical interest of our results lie in their use as approximate test levels.     

The measure of a translated ball in uniformly convex spaces

Let (E, ¦·¦) be a uniformly convex Banach space with the modulus of uniform convexity of power type. Let be the convolution of the distribution of a random series inE with independent one-dimensional components and an arbitrary probability measure onE. Under some assumptions about the components and the smoothness of the norm we show that there exists a constant such that |{·<t}–{·+r<t}|r ^q , whereq depends on the properties of the norm. We specify it in the case ofL spaces, >1.     

A Note on Common Zeroes of Laplace–Beltrami Eigenfunctions

Let u+u=v+v= 0, where isthe Laplace–Beltrami operator on a compact connected smoothmanifold M and > 0. If H ¹(M) = 0then there exists pM such that u(p)=v(p) = 0 For homogeneous M,H ¹(M) 0 implies the existence of a pair u,v as above that has no common zero.     

Asymptotic behaviour of the solution of a semilinear parabolic equation

We study the asymptotic behaviour ast tends to + of the solution of (u/t)–Lu+(u)–0,u _|=0 whereL is a second order self-adjoint elliptic operator and a maximal monotone graph of . If |(r)|/|r|²L ¹ (-1, 1) and ₁ is the first eigenvalue ofL we prove that u(.,t) converges uniformly on to some element of Ker (L + ₁ I) and that the limit is nonzero if |(r)|/|r| is nondecreasing. We give also some properties of the limit (monotonicity, continuity, range).     

Contraction of Exterior Powers in Characteristic 2 and the Spin Module

Let K be a field of characteristic 2 and letV be a vector space of dimension 2m over K. Let f be a non-degenerate alternating bilinear form defined on V × V. The symplectic group Sp(2m, K) acts on the exterior powers ^k V for 0 k. 2m There is a contraction map defined on the exterior algebra , which commutes with the Sp(2m, K) action and satisfies ² = 0 and ( ^k V) ^k–1 V We prove that ( ^k V)= ker ^k–1 V except when k=m+2. In the exceptional case, ( ^m+2 V) has codimension 2^m in ker ^m V and we show that the quotient module ker ^m V/ ^m+2 V is a spin module for Sp(2m,K). When K is algebraically closed, we show that this spin module occurs with multiplicity 1 in ^m V and multiplicity 0 in all other components of V.     

On Fine Limits and Curving-Shaped Limits

This paper studies the boundary behavior of the so-called SIH-functions, i.e., the functions satisfying the scale invariant Harnack inequality on a domain D R^N (N 2). Suppose that D contains a curving-cone at a point D and u is a SIH-function on D. Then u has a curving-shaped limit L at , if u has a -fine limit (especially, a p-fine limit in the sense of [6] or an -fine limit in the sense of the Riesz potential theory [4]) L at .AMS Subject Classification (2000): 31B25, 31C15, 30C65     

On the summability of Fourier series with the method of lacunary arithmetic means

. f- ,S _n (f)— . {n _k }, n _k+1/n _k >1+ck ^– ,— , 0<1/2, f ₀, .     

Positive Solutions for a Singular Nonlinear Problem on a Bounded Domain in R 2

For a bounded regular Jordan domain in R ², we introduce and study a new class of functions K() related on its Green function G. We exploit the properties of this class to prove the existence and the uniqueness of a positive solution for the singular nonlinear elliptic equation u+(x,u)=0, in D(), with u=0 on and uC(), where is a nonnegative Borel measurable function in ×(0,) that belongs to a convex cone which contains, in particular, all functions (x,t)=q(x)t ^–,>0 with nonnegative functions qK(). Some estimates on the solution are also given.     

Bounds for the nonhomogeneous GASPT equation

Summary Weighted a priori bounds for the equation u+(/y)u_y=f(>0), in the halfplane y>0, are proved. If p>1, 0<+p^–1<1+, u has bounded support and y^µu_y0 (as y0₊), then the L^p norms of uu and yD²u are bounded by the L^p norm of yf. A boundary value problem in a rectangle is also studied in the appropriate weighted Sobolev class.Lavoro eseguito nell'ambito dell'Istituto di Analisi Globale ed Applicazioni del C.N.R.Lavoro eseguito nell'ambito del Gruppo Nazionale di Analisi Funzionale ed Applicazioni del C.N.R.     

An error analysis for absolute and relative approximation

We consider the vectorial algorithm for finding best polynomial approximationsp P _n to a given functionf C[a, b], with respect to the norm · _s , defined byp – f _s =w ₁ (p – f)+w ₂ (p – f) A bound for the modulus of continuity of the best vectorial approximation operator is given, and using the floating point calculus of J. H. Wilkinson, a bound for the rounding error in the algorithm is derived. For givenf, these estimates provide an indication of the conditioning of the problem, an estimate of the obtainable accuracy, and a practical method for terminating the iteration.This paper was supported in part by the Canadian NCR A-8108, FCAC 74-09 and G.E.T.M.A.Part of this research was done during the first-named author's visit to theB! Chair of Applied Mathematics, University of Athens, Spring term, 1975.     

Pointwise accuracy of a finite element method for nonlinear variational inequalities

Summary Consider the following quasilinear elliptic PDE, which is equivalent to a nonlinear variational inequality: –divF(u)+(u)f. Here is a singular maximal monotone graph and the nonlinear differential operator is only assumed to be monotone; surfaces of prescribed mean curvature over obstacles may thus be viewed as relevant examples. The numerical approximation proposed in this paper consists of combining continuous piecewise linear finite elements with a preliminary regularization of . The resulting scheme is shown to be quasi-optimally accurate inL . The underlying analysis makes use of both a topological technique and a sharpL ^p -duality argument.This work was partially supported by Consiglio Nazionale delle Ricerche of Italy while the author was in residence at the Istituto di Analisi Numerica del C.N.R. di Pavia     

Implicit elliptic boundary-value problems with discontinuous nonlinearities

Let be a bounded domain in ⁿ (n3) having a smooth boundary, let be an essentially bounded real-valued function defined on × ^h, and let be a continuous real-valued function defined on a given subset Y of Y ^h. In this paper, the existence of strong solutions u W ^2,p (, ^h) W _o ^1,p (n/2<p<+) to the implicit elliptic equation (–u)=(x,u), with u=(u₁, u₂, ..., u_h) and u=(u ₁, u ₂, ..., u _h), is established. The abstract framework where the problem is placed is that of set-valued analysis.     

Large-Deviation Local Theorem for Additive Functionals of a Markov Gaussian Field. I

We prove a local limit theorem (LLT) on Cramer-type large deviations for sums S _V = _t V ( _t ), where _t , t Z , 1, is a Markov Gaussian random field, V Z , and is a bounded Borel function. We get an estimate from below for the variance of S _V and construct two classes of functions , for which the LLT of large deviations holds.     

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.