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.     

Decision-procedures for invariant properties of short algorithms

For a class of algorithms R satisfying sufficiently general conditions and an enumeration of the algorithms of this class, it is proved that if the algorithm from R with code m in this enumeration algorithmically decides a property, nontrivial to N₁ and invariant (with respect to extensional equality) up to N, then for N max (t²(c)t⁵(N₁, t²(a)) one has m t^–3(N), where the constantsa, c and the function t are indicated in the text of the paper, t^–3(N) is used instead of t^–1(t^–1(t^–1(N))), and finally, t^–1(x)=yx[t(y)x]. For natural enumerations the constantsa, c are not large, and the function t does not grow too rapidly. From the result obtained also follows a generalization of a theorem of Rice in a form close to that proved in [2].Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 73–76, 1979.In conclusion, the author thanks the participants in the Leningrad seminar on mathematical logic for valuable comments.     

Quasianapole Interaction of Charged Fermions

We obtain the analytic expression for the total cross section of the reaction e ^– e ⁺l ^– l ⁺ (l=,) taking possible quasianapole interaction effects into account. We find numerical restrictions on the interaction parameter value from data for the reaction e ^– e ^+–+ in the energy domain below the Z ⁰ peak.     

A functional inequality for real-analytic functions

Summary Forf ( C ⁿ() and 0 t x letJ _n (f, t, x) = (–1)ⁿ f(–x)f ⁽ⁿ⁾(t) +f(x)f ⁽ⁿ⁾ (–t). We prove that the only real-analytic functions satisfyingJ _n (f, t, x) 0 for alln = 0, 1, 2, are the exponential functionsf(x) = c e ^x,c, . Further we present a nontrivial class of real-analytic functions satisfying the inequalitiesJ ₀ (f, x, x) 0 and ₀ ^x (x – t)^{n – 1}J_n(f, t, x)dt 0 (n 1).     

A chord-stretching map of a convex loop is an isometry

Let ⁿ be n-dimensional Euclidean space, and let : [0, L] ⁿ and : [0, L] ⁿ be closed rectifiable arcs in ⁿ of the same total length L which are parametrized via their arc length. is said to be a chord-stretched version of if for each 0s tL, |(t)–(s)| |(t)–(s)|. is said to be convex if is simple and if ([0, L]) is the frontier of some plane convex set. Individual work by Professors G. Choquet and G. T. Sallee demonstrated that if were simple then there existed a convex chord-stretched version of . This result led Professor Yang Lu to conjecture that if were convex and were a chord-stretched version of then and would be congruent, i.e. any chord-stretching map of a convex arc is an isometry. Professor Yang Lu has proved this conjecture in the case where and are C ² curves. In this paper we prove the conjecture in general.     

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.     

Sur certaines algèbres associées à une mesure de Guelfand

Let be a Guelfand measure (cf. [A, B]) on a locally compact groupG DenoteL ₁ (G)=*L ₁(G)* the commutative Banach algebra associated to . We show thatL ₁ (G) is semi-simple and give a characterization of the closed ideals ofL ₁ (G). Using the -spherical Fourier transform, we characterize all linear bounded operators inL ₁ (G) which are invariants by -translations (i.e. such that ¹(( _x f) )=( _x ((f)) for eachxG andfL ₁ (G); where _x f(y)=f(xy); x,y G). WhenG is compact, we study the algebraL ₁ (G) and obtain results analogous to ones obtained for the commutative case: we show thatL ₁ (G) is regular, all closed sets of its Guelfand spectrum are sets of synthesis and establish theorems of harmonic synthesis for functions inL _p (G) (p=1,2 or +).

     

Path properties of kernel generated two-time parameter Gaussian processes

Summary We study path properties of two-parameter Gaussian processes {X(t,v),t R} of the formX(t,v)= _{0 –} (t,v,x,y)dW(x,y), where the kernel function (t, v, x, y) is assumed to be square integrable in (x, y) onR×R ⁺, andW(x, y) is a standard two-parameter Wiener process.Work partially supported by an NSERC Canada Operating Grant at Carleton UniversityWork supported by an NSERC Canada International Scientific Exchange Award at Carleton University and by National Natural Science Foundation of China     

Left linear theories — A generalization of module theory

In this paper we introduce left linear theories of exponentN (a set) on the setL as mapsL ×L ^N (l, ) l · L such that for alll L and , L ^N the relation (l · ) =l( · ) holds, where · L ^N is given by ( · )(i) = (i),i N. We assume thatL has a unit, that is an element L ^N withl · =l, for alll L, and · = , for all L ^N . Next, left (resp. right)L-modules andL-M-bimodules and their homomorphisms are defined and lead to categoriesL-Mod, Mod-L, andL-M-Mod. These categories are algebraic categories and their free objects are described explicitly. Finally, Hom(X, Y) andX Y are introduced and their properties are investigated.Herrn Professor Dr. D. Pumplün zum 60. Geburtstag gewidmet     

Nonoscillatory solutions of linear differential equations with deviating arguments

Summary The equation to be considered is of the form (1) x(ⁿ)(t)+p(t)x(g(t))=0 (t>a), where =±1, p(t) > 0 for ta and g(t) as t. It is well- known that a nonoscillatory solution x(t) of (1) satisfies (2) x(t)x(ⁱ)(t)>0 (0il), (–1)^i–lx(t)x(ⁱ)(t)>0 (lin) for some integer l, 0ln, (–1)^n–l–1=1. In this paper, for a given l such that 0n–l–1=1, necessary conditions and sufficient conditions are found for (1) to have a solution x(t) which satisfies (2), and a necessary and sufficient condition is established in order that for every >0 the equation x(ⁿ)(t)+p(t)x(g(t))=0 (t>a) has a solution x(t) which satisfies (2). Related results are also contained.     

Posterior Sensitivity to the Sampling Distribution and the Prior: More than One Observation

Sensitivity of a posterior quantity (f, P) to the choice of the sampling distribution f and prior P is considered. Sensitivity is measured by the range of (f, P) when f and P vary in nonparametric classes ^f and ^P respectively. Direct and iterative methods are described which obtain the range of (f, P) over f ^f when prior P is fixed, and also the overall range over f ^f and P ^P . When multiple i.i.d. observations X ₁,...,X _k are observed from f, the posterior quantity (f, P) is not a ratio-linear function of f. A method of steepest descent is proposed to obtain the range of (f, P). Several examples illustrate applications of these methods.     

Ergodic properties of semi-Markovian operators on the Z1-part

Summary In this note we consider a semi-Markovian operator, that is a positive linear mapping T: L ¹ L ¹ such that sup T ⁿ <. We study the behavior of T ⁿ on the Z ¹-part of the space (the disappearing part in Sucheston's terminology). We show in particular, that if the operator T has a non-trivial conservative part in Z ¹, then the ratio theorem must fail.Research supported by the U.S.Army Research Office (Durham) under contract DA-31-124-ARO(D)-288.     

On two mean value properties and functional equations associated with them

Summary Motivated by different mean value properties, the functional equationsf(x) – f(y)/x–y=[(x, y)], (i)xf(y) – yf(x)/x–y=[(x, y)] (ii) (x y) are completely solved when, are arithmetic, geometric or harmonic means andx, y elements of proper real intervals. In view of a duality between (i) and (ii), three of the results are consequences of other three.The equation (ii) is also solved when is a (strictly monotonic) quasiarithmetic mean while the real interval contains 0 and when is the arithmetic mean while the domain is a field of characteristic different from 2 and 3. (A result similar to the latter has been proved previously for (i).)     

Die Weingarten-Regelflächen

Referring to articles of BELTRAMI (1865), DINI (1866) and CHARIAR (1978), but using a completely different approach, we determine allruled surfaces in Euclidean space ³, which are (at leastlocally) WEINGARTEN —-surfaces under theminimal assumption C². Theskew ruled WEINGARTEN —surfaces can be characterized by havingconstant invariants d O (parameter of distribution), k (skewness of distribution) and (striction angle); theirfunctional (WEINGARTEN-)relation between the mean curvature H and the Gaussian curvature K of is of the form H= (-K)^1/4 + (-K)^3/4 with arbitrary real constants ,. These facts allow various geometric interpretations.

---

---

Herrn Prof. Dr. Oswald Giering zum 60. Geburtstag gewidmet     

The Whitehead Group of the Novikov Ring

The Bass–Heller–Swan–Farrell–Hsiang–Siebenmann decomposition of the Whitehead group K ₁(A[z,z^-1]) of a twisted Laurent polynomial extension A[z,z^-1] of a ring A is generalized to a decomposition of the Whitehead group K ₁(A((z))) of a twisted Novikov ring of power series A((z))=A[[z]][z^-1]. The decomposition involves a summand W₁(A, ) which is an Abelian quotient of the multiplicative group W(A,) of Witt vectors 1+a₁z+a₂z²+ ··· A[[z]]. An example is constructed to show that in general the natural surjection W(A, )^ab W₁(A, ) is not an isomorphism.     

Stability of unconditional convergence almost everywhere

We will investigate the properties of series of functions which are unconditionally convergent almost everywhere on [0, 1]. We will establish the following theorem: If the series _k=1 f _k(x) converges unconditionally almost everywhere, then there exists a sequence {_k} ₁ ,_k , such that if _{k k} , k=1, 2,..., the series _{k=1 k}/k(x) converges unconditionally almost every-where.Translated from Mate matte heskie Zametki, Vol. 14, No. 5, pp. 645–654, November, 1973.The author wishes to thank Professor P. L. Ul'yanov for his help.     

On the distribution of square-full and cube-full integers

LetN _r (x) be the number ofr-full integers x and let _r (x) be the error term in the asymptotic formula forN _r (x). Under Riemann's hypothesis, we prove the estimates ₂(x)x^1/7+, ₃(x)x^97/804+(>0), which improve those of Cao and Nowak. We also investigate the distribution ofr-full andl-free numbers in short intervals (r=2,3). Our results sharpen Krätzel's estimates.     

Problems with one quarter

In this paper two sequences of oscillation criteria for the self-adjoint second order differential equation (r(t)u(t)) + p(t)u(t) = 0 are derived. One of them deals with the case dt/r(t) = , and the other with the case dt/r(t) < .This work was supported by the grant VGA of Slovak Republic No. 1/7466/20.     

A Method of Solution for the One-Dimensional Heat Equation Subject to Nonlocal Conditions

The problem of solving the one-dimensional heat equation /t - ²/x² = f(x, t) subject to given initial and nonlocal conditions is considered. It is solved in the Laplace transform domain by taking the Laplace transform of the unknown function with respect to time t. The physical solution is recovered with the help of a numerical technique for inverting the Laplace transform.AMS Subject Classification (1991): 35K20.     

The absolute convergence of orthogonal series

We obtain sufficient conditions for the absolute convergence of Fourier series for functions of L _d ² depending on the properties of the function being expanded and the rate of growth of the sums of the system of functions {_k(t)} orthonormalized in [a, b] with respect to d(t). We show that if at some point x [a, b] the function (t) has a discontinuity, at that point the Fourier series of any functionf(t) L _d ² , converges absolutely.Translated from Matematicheskie Zametki, Vol. 12, No. 5, pp. 511–516, November, 1972.