A Note on a Boundary Value Problem

In this note, we prove that, for Robins boundary value problem, a unique solution exists if f_x(t, x, x), f_x(t, x, x), (t), and (t) are continuous, and f_x -(t), f_x -(t), 4(t) ² + ²(t) ++ 2(t), and 4(t) ² + ²(t) + 2(t).AMS Subject Classification (2000) 34B15     

Survival of Threshold Contact Processes

We consider the d-dimensional threshold contact process. Suppose that a vacant site becomes occupied at rate one when there are at least occupied sites in its neighborhood, and the death rate at any site is >0. We will explicitly give two integers ab with the following properties: For a the process survives starting from finite configurations when is small, but for >a the process dies out starting from any finite configuration with any positive death rate. For b the process has a nontrivial invariant measure when is small, but for >b the only invariant measure is the all-zero configuration for any positive death rate.     

Commutation Relations in an Indefinite-Metric Space

We describe the irreducible regular representations of the algebra of operators a and b defined by [a,b]=1 and ba=a ⁺ b ⁺ in an arbitrary nondegenerate closed indefinite-metric space. We find the relation of this algebra to the generalized Heisenberg algebra.     

Derivatives of the Spectral Function and Sobolev Norms of Eigenfunctions on a Closed Riemannian Manifold

Let e(x, y, ) be the spectral function and the unit spectral projection operator, with respect to the Laplace–Beltrami operator on a closed Riemannian manifold M. We generalize the one-term asymptotic expansion of e(x, x, ) by Hörmander (Acta Math. 88 (1968), 341–370) to that of _{x y} e(x,y,)| _x=y for any multiindices , in a sufficiently small geodesic normal coordinate chart of M. Moreover, we extend the sharp (L ²,L ^p) (2 p) estimates of by Sogge (J. Funct. Anal. 77 (1988), 123–134; London Math. Soc. Lecture Note Ser. 137, Cambridge University Press, Cambridge, 1989; Vol. 1, pp. 416–422) to the sharp (L ², Sobolev L ^p) estimates of .     

Approximation of one class of transcendental numbers

The author studies the approximation of fixed-degree transcendental numbers e a by algebraic numbers where 0, a 0; and 1 and irrational are algebraic numbers.Translated from Matematicheskie Zametki, Vol. 5, No. 1, pp. 117–128, January, 1969.     

Local Stochastic Channeling Theory: Kinetic Functions in the Case of Interaction Between Fast Particles and Lattice Atoms

We investigate the motion of high-energy particles in a crystal with regard to their interaction with the thermal vibrations of the lattice atoms using analytic methods in the theory of Markov processes including the local Fokker–Planck equation. We construct a local matrix of random actions, which is used to introduce the main kinetic functions in the traverse-energy space, namely, the function a() of energy losses due to the dynamic friction and the diffusion function b(). We show that the singularities of the functions a() and b() are related to the distinction between the contributions to the kinetics from particles moving in three different regimes, namely, in the channeling, quasichanneling, and chaotic motion modes.     

Conditions for non-oscillation of singular linear differential equations of second order

Conditions are found in the fulfillment of which each non-trivial solution of the equation u+ (t)u+(t)u=0, where(t) L(a, b) and (t–a)(t–b)(t) L(a, b) has not more than one zero on the interval atb.Translated from Matematicheskie Zametki, Vol. 6, No. 5, pp. 633–639, November, 1969.     

Hausdorff Dimension of Spectrum of One-Dimensional Schrödinger Operator with Sturmian Potentials

Let (0,1) be an irrational, and [a ₁,a ₂,...] be the continued fraction expansion of . Let H be the one-dimensional Schrödinger operator with Sturmian potentials. We show that if the potential strength V>20, then the Hausdorff dimension of the spectrum (H ) is strictly great than zero for any irrational , and is strictly less than 1 if and only if liminf _k(a ₁ a ₂a _k ))^1/k <.     

On complexity of subset interconnection designs

Given a setX and subsetsX ₁,...,X _m, we consider the problem of finding a graphG with vertex setX and the minimum number of edges such that fori=1,...,m, the subgraphG _i; induced byX _i is connected. Suppose that for any pointsx ₁,...,x X, there are at mostX _i 's containing the set {x₁,...,x }. In the paper, we show that the problem is polynomial-time solvable for ( 2, 2) and is NP-hard for (3,=1), (=l,6), and (2,3).Support in part by the NSF under grant CCR-9208913 and CCR-8920505.Part work was done while this author was visiting at DIMACS and on leave from Institute of Applied Mathematics, Chinese Academy of Sciences, Beijing.     

Weak distributive laws and their role in lattices of congruences and equational theories

By a result of Pigozzi and Kogalovskii, every algebraic latticeL having a completely join —irreducible top element can be represented as the lattice L() of equational theories extending some fixed theory . Conversely, strengthening a recent result due to Lampe, we show that such a representationL=L() forcesL to satisfy the following condition: if the top element ofL is the join of a nonempty subsetB ofL then there are elementsb..., B such thata=(... (((b₁ a) b₂) a) ... b_n) a for alla L. In presence of modularity, this equation reduces to the identitya=(a b₁) ... (a b_n). Motivated by these facts, we study several weak forms of distributive laws in arbitrary lattices and related types of prime elements. The main tool for applications to universal algebra is a generalized version of Lampe's Zipper Lemma.Presented by Ralph Freese.     

On a Problem of D. H. Lehmer and Kloosterman Sums

Let q3 be an odd number, a be any fixed positive integer with (a, q)=1. For each integer b with 1b<q and (b, q)=1, it is clear that there exists one and only one c with 0<c<q such that bca (mod q). Let N(a, q) denote the number of all solutions of the congruent equation bca (mod q) for 1b, c<q in which b and c are of opposite parity, and let . The main purpose of this paper is to study the distribution properties of E(a, q), and to give a sharper hybrid mean value formula involving E(a, q) and Kloosterman sums.Received January 24, 2002; in revised form August 12, 2002 Published online February 28, 2003     

About generalized ideals in a distributive lattice

Let L be a distributive lattice characterized by a ternary operation (, ,), where (a,b,c)=(ab)(bc)(ac)=(ab)(ac)(bc), a,b,cL. The note considers convex sublattices of L, called generalized ideals of L generated by the operation (, ,). Some remarks have been stated about the graph of a distributive lattice.     

Improving the rate of convergence of ‘high order finite elements’ on polygons and domains with cusps

Summary. Let u and u_V V be the solution and, respectively, the discrete solution of the non-homogeneous Dirichlet problem u=f on , u|=0. For any m and any bounded polygonal domain , we provide a construction of a new sequence of finite dimensional subspaces V_n such that where f H^m–1() is arbitrary and C is a constant that depends only on and not on n (we do not assume u H^m+1()). The existence of such a sequence of subspaces was first proved in a ground–breaking paper by Babuka [8]. Our method is different; it is based on the homogeneity properties of Sobolev spaces with weights and the well–posedness of non-homogeneous Dirichlet problem in suitable Sobolev spaces with weights, for which we provide a new proof, and which is a substitute of the usual shift theorems for boundary value problems in domains with smooth boundary. Our results extended right away to domains whose boundaries have conical points. We also indicate some of the changes necessary to deal with domains with cusps. Our numerical computation are in agreement with our theoretical results.The authors were supported in part by the NSF grant DMS 02-09497. Victor Nistor was also partially supported by NSF grant DMS 02-00808.     

Estimation of Local Smoothness Coefficients for Continuous Time Processes

We consider processes that satisfied a local Hölder condition with coefficient ₀. According to the sampling times of observations given by i _n with i=0,...,n–1, we study two general classes of estimators for ₀. Their almost sure rates of convergence depend on asymptotic independence of the observed processes, on _n and eventually on an extra parameter ₀. Since this last parameter is in general unknown, we construct a family of preliminary estimators for ₀ with their rates of almost sure convergence. Finally we present some numerical simulations in order to compare the behaviour of our various estimators.     

Concerning the solution set ofAx=b whereP≦A≦Q andp≦b≦q

Summary LetPQ ben×n real matrices so that ifPAQ for some matrixA, thenA is nonsingular. Letp andq ben-dimensional real column vectors. This paper determines the set of all solutionsx to the equationAx=b for allA andb so thatPAQ andpbq.     

Tangential Limits of Potentials on Homogeneous Trees

Let T be a homogeneous tree of homogeneity q+1. Let denote the boundary of T, consisting of all infinite geodesics b=[b ₀,b ₁,b ₂,] beginning at the root, 0. For each b, 1, and a0 we define the approach region _,a (b) to be the set of all vertices t such that, for some j, t is a descendant of b _j and the geodesic distance of t to b _j is at most (–1)j+a. If >1, we view these as tangential approach regions to b with degree of tangency . We consider potentials Gf on T for which the Riesz mass f satisfies the growth condition _T f ^p (t)q ^–|t|<, where p>1 and 0<<1, or p=1 and 0<1. For 11/, we show that Gf(s) has limit zero as s approaches a boundary point b within _,a (b) except for a subset E of of -dimensional Hausdorff measure 0, where H (E)=sup_>0inf _i q ^{–|t i|}:E a subset of the boundary points passing through t _i for some i,|t _i |>log _q (1/).     

A note on constructing a symmetric matrix with specified diagonal entries and eigenvalues

A finite step algorithm is given such that for any two vectorsa, R ⁿ witha majorized by , it computes a symmetric matrixH R ^{n x n} with the elements ofa and as its diagonal entries and eigenvalues, respectively.Supported in part by NSF grant CCR-9308399.Supported in part by China State Major Key Project for Basic Researches.     

Cut-elimination and interpolation for Ω-logic

In 1978, Girard introduced-logic to generalize-logic. The basic category of-logic is the categoryON of ordinals. For geometric structure reasons, Girard changed the basic categoryON into the more general categoryWF of well-founded orders (1983). The logic he obtained was called-logic. Here, we extend (unpublished) results of-logic to-logic.     

The disappearance of criticality in the theory of thermal ignition

Summary In the study of thermal ignition, when reactant consumption is neglected, criticality is usually taken as the point at which there is a large jump in the maximum steady temperature for a small change in the external parameters. If the equations are taken in their exact form, without the Frank-Kamenetskii approximation RT _a E0, criticality vanishes for large. In this paper a model is introduced for which the value of at which criticality vanishes can be determined precisely for geometries of an infinite slab and infinite circular cylinder.

---

Zusammenfassung Wird beim Studium thermischer Explosionen der Reaktionsverbrauch vernachlässigt, so spricht man üblicherweise von einem kritischen Punkt, wenn dort bei einer kleinen Änderung der äußeren Parameter ein großer Sprung der stationären Maximaltemperatur auftritt. Bei den exakten Gleichungen (ohne die Frank-Kamenetskii'sche Approximation RT _a E0) gibt es für große keinen kritischen Punkt mehr. In dieser Arbeit wird ein Modell eingeführt, bei dem der Wert von , für welchen der kritische Punkt verschwindet, im Fall der unendlichen Platte und des unendlichen Zylinders genau bestimmt werden kann.

---

Nomenclature A pre-exponential factor in Arrhenius law - d length scale (e.g. radius of cylinder and half-thickness of slab) - E Arrhenius activation energy - k thermal conductivity - Q exothermicity per unit mass - R gas constant - S surface of reacting material - T local absolute temperature - T _a surface temperature - V volume occupied by the reacting material - x dimensionless distance coordinate - =E(T-T _a )/RT _a ² dimensionless temperature - solution of Eqs. (6), (7) - maximum value of inV - =(1+)^–1 - maximum value of inV - density of material - =RT _a /E - ₀ smallest value of for which criticality vanishes - =QEAd ² exp (-E/RT _a )/kRT _a ² - _cr critical value of - ^* maximum value of for which positive solutions exist Supported in part by the Victoria Univeristy of Wellington Fellowship Committee and the European Research Office of the U.S. Army.     

An Inequality Involving the Local Eigenvalues of a Distance-Regular Graph

Let denote a distance-regular graph with diameter D 3, valency k, and intersection numbers a _i, b _i, c _i. Let X denote the vertex set of and fix x X. Let denote the vertex-subgraph of induced on the set of vertices in X adjacent X. Observe has k vertices and is regular with valency a ₁. Let _{1 2} ··· _k denote the eigenvalues of and observe ₁ = a ₁. Let denote the set of distinct scalars among ₂, ₃, ..., _k . For let mult denote the number of times appears among ₂, ₃,..., _k . Let denote an indeterminate, and let p ₀, p₁, ...,p _D denote the polynomials in [] satisfying p ₀ = 1 andp _i = c _i+1 p _i+1 + (a _i – c _i+1 + c _i)p _i + b _i p _i–1 (0 i D – 1),where p _–1 = 0. We show where we abbreviate = –1 – b ₁(1+)^–1. Concerning the case of equality we obtain the following result. Let T = T(x) denote the subalgebra of Mat _X ( ) generated by A, E*₀, E*₁, ..., E* _D , where A denotes the adjacency matrix of and E* _i denotes the projection onto the ith subconstituent of with respect to X. T is called the subconstituent algebra or the Terwilliger algebra. An irreducible T-module W is said to be thin whenever dimE* _i W 1 for 0 i D. By the endpoint of W we mean min{i|E* _i W 0}. We show the following are equivalent: (i) Equality holds in the above inequality for 1 i D – 1; (ii) Equality holds in the above inequality for i = D – 1; (iii) Every irreducible T-module with endpoint 1 is thin.