Integrability of certain solutions of differential equations

Let L=P_o(d/d_t)ⁿ+P₁(d/d_t)^n–1+...+P_n denote a formally self-adjoint differential expression on an open intervalI=(a, b) (–a. Here the P_k are complex valued with (n — k) continuous derivatives onI, and P₀(t) 0 onI. We discuss integrability of functions which are adjoint to certain fundamental solutions ofLy=y, and a related consequence.     

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     

On second order sublinear oscillation

The basic purpose of this paper is to present a new oscillation criterion for second order sublinear ordinary differential equations of the formx(t) +a(t)f[x(t)] = 0,t t ₀>0, wherea is a continuous function on [t ₀, ) without any restriction on its sign andf is a continuous function on the real line, which is continuously differentiable, except possibly at 0, and satisfiesyf(y)>0 andf(y)>0 fory 0, and . The results obtained include the average behavior of the integral of the coefficienta.     

Brownian processes in infinite dimension

LetE be a locally convex space endowed with a centered gaussian measure . We construct a continuousE-valued brownian motionW _t with covariance . The main goal is to solve the SDE of Langevin type dX _t= dW _t–AX _t wherea andA are unbounded operators of the Cameron-Martin space of (E, ). It appears as the unique linear measurable extension of the solution of the classical Cauchy problemv(t)= u–Av(t).     

Generalized sentinels defined via least squares

We address the problem of monitoring a linear functional (c, x)_Eof an unknown vectorx of a Hilbert spaceE, the available data being the observationz, in a Hilbert spaceF, of a vectorAx depending linearly onx through some known operatorA(E; F). WhenE=E ₁×E ₂,c=(c ₁ 0), andA is injective and defined through the solution of a partial differential equation, Lions ([6]–[8]) introduced sentinelssF such that (s, Ax)_Fis sensitive to x₁ E ₁ but insensitive to x₂ E₂. In this paper we prove the existence, in the general case, of (i) a generalized sentinel (s, ) ×E, where F withF dense in 80, such that for anya priori guess x₀ ofx, we have s, Ax + (, x₀)_E=(c, x)_E, where x is the least-squares estimate ofx closest tox ₀, and (ii) a family of regularized sentinels (s _n , _n ) F×E which converge to (s, ). Generalized sentinels unify the least-squares approach (by construction !) and the sentinel approach (whenA is injective), and provide a general framework for the construction of sentinels with special sensitivity in the sense of Lions [8]).     

Finite-dimensional attainable sets for stochastic control systems

Letx _t ^u () be a stochastic control system on the probability space (, ,P) intoR ⁿ. We say that the pointxR ⁿ is (, ) attainable at timet if there exists an admissible controlu such thatP _xo{x _t ^u ()S (x)}, wherex ₀()=x ₀, 0, 10, andS (x) is the closed Euclidean -ball inR ⁿ centered atx. We define the attainable setA (t) to be the set of all pointsxR ⁿ which are (, ) attainable at timet. For a large class of stochastic control systems, it is shown thatA (t) is compact for eacht and continuous as a function oft in an appropriate metric. From this, the existence of stochastic time-optional controls is established for a large class of nonlinear stochastic differential equations.This research was supported by the National Research Council of Canada, Grant No. A-9072.     

Controllability of Nonlinear Evolution Systems with Preassigned Responses

In this paper, we study the approximate controllability with preassigned responses of the nonlinear delay systems x(t)=A(t)x(t)+f(t, x(t), x((t)), u(t)) and L(x(t), x(t))=A(t)x(t)+f(t, x(t), x((t)), u(t)). The controllability is not governed by an associated linear system, but by conditions on f or A involving the domain of A(t). No compactness assumptions are imposed in the main results.     

Oscillation Theorems for Nonlinear Second Order Differential Equations with Damping

Some oscillation criteria are given for the second order nonlinear differential equation (a(t)(x(t))k(x(t))) + p(t)k(x(t)) + q(t f(x(t)) = 0, t t ₀ where p is allowed to change sign on [t ₀, ). For this we use the averaging technique. Our results generalize and extend some known oscillation criteria in the literature.     

Maximum Monoreflections and Essential Extensions

An extension operator c in a category is an assignment, to each object A a monomorphism c _A : AcA. Seeking to approximate such a c by a functor, in our earlier paper Maximum monoreflections, we showed that with some hypotheses on the category, and on c, there is a monoreflection (c) maximum beneath c. Thus, in a suitable category of rings, using the complete ring of quotients operator Q, each object A has a maximum functorial ring of quotients (Q)A. But the proof gave no hint of how to calculate the general (c)A's, nor the particular (Q)A's. In the present paper, we give an explicit formula (and separate proof of existence) for the (c)A's, under more complicated hypotheses on the category and assuming the c _A 's are essential monomorphisms. We discuss briefly how the formula proves adequate to calculate the (Q)A's in Archimedean f-rings, and some related and necessary constructs in Archimedean l-groups.     

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 .     

Integral averages and oscillation of second order sublinear differential equations

New oscillation criteria are given for the second order sublinear differential equation

“Toy Models” of Turbulent Convection and the Hypothesis on Local Isotropy Restoration

We give a brief review of recent results devoted to effects of large-scale anisotropy on the inertial-range statistics of the passive scalar quantity (t, x) advected by a synthetic turbulent velocity field with covariance (t – t')|x – x'|. An inertial-range anomalous scaling behavior is established, and explicit asymptotic expressions for the structure functions S _n(r) [(t, x + r) – (t, x)] ⁿ are obtained; they are represented by superpositions of power laws with nonuniversal (dependent on the anisotropy parameters) anomalous exponents, calculated to the first order in in any space dimension. The exponents are associated with tensor composite operators, built of scalar gradients, and exhibit a kind of hierarchy related to the degree of anisotropy: the less the rank, the less the dimension and, consequently, the more important the contribution to the inertial-range behavior. The leading terms of even (odd) structure functions are given by scalar (respectively, vector) operators. Small-scale anisotropy reveals itself in odd correlation functions: for an incompressible velocity field, S ₃/S ₂ ^3/2 decreases in the direction toward the depth of the inertial range, while higher-order odd ratios increase; if the compressibility is sufficiently strong, the skewness factor also becomes increasing. Bibliography: 33 titles.     

Some zero-one laws for additive functionals of Markov processes

Summary Let (X _t,P ^x ) be anm-symmetric Markov process with a strictly positive transition density. Consider the additive functionalA _t : = ₀ ^t f (X _s ) wheref:E[0, ] is a universally measurable function on the state spaceE. Among others, we prove thatP ^x (A _t <)=1, for somexE and somet>0, already impliesP ^x (A _t <)=1, for quasi everyxE and allt>0. The latter is also equivalent toP ^x (A _t <)>0, for quasi everyxE and allt>0, and to the analytic condition , for a sequence of finely open Borel setsF _n such thatEF _n is polar. In the special cases of Brownian motion and Bessel process, these results were obtained earlier by H.J. Engelbert, W. Schmidt, X.-X. Xue and the authors.     

An automatic integration procedure for infinite range integrals involving oscillatory kernels

Let the real functionsK(x) andL(x) be such thatM(x)=K(x)+iL(x)=e^ix g(x), whereg(x) is infinitely differentiable for all largex and is non-oscillatory at infinity. We develop an efficient automatic quadrature procedure for numerically computing the integrals _a K(t)f(t) and _a L(t)f(t)dt, where the functionf(t) is smooth and nonoscillatory at infinity. One such example for which we also provide numerical results is that for whichK(x)=J (x) andL(x)=Y (x), whereJ (x) andY (x) are the Bessel functions of order . The procedure involves the use of an automatic scheme for Fourier integrals and the modified W-transformation which is used for computing oscillatory infinite integrals.     

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

Finite extinction time for some perturbed Hamilton-Jacobi equations

In this paper we study initial value problems likeu _t–R¦u¦^m+u^q=0 in ⁿ× ₊, u(·,0⁺)=u_o(·) in ^N, whereR > 0, 0 <q < 1,m 1, andu _o is a positive uniformly continuous function verifying –R¦u _o¦^m+u ₀ ^q 0 in ^N . We show the existence of the minimum nonnegative continuous viscosity solutionu, as well as the existence of the function t(·) defined byu(x, t) > 0 if 0<t<t (x) andu(x, t)=0 ift t (x). Regularity, extinction rate, and asymptotic behavior of t(x) are also studied. Moreover, form=1 we obtain the representation formulau(x, t)=max{([(u _o(x – t))^1–q –(1–q)t]₊)^1/(1–q): ¦¦R}, (x, t) ₊ ^N+1 .Partially supported by the DGICYT No. 86/0405 project.     

Large Deviations of Local Times of Lévy Processes

For X(t) a real-valued symmetric Lévy process, its characteristic function is E(e ^iX(t))=exp(–t()). Assume that is regularly varying at infinity with index 1<2. Let L ^x _t denote the local time of X(t) and L* _t =sup _xR L ^x _t . Estimates are obtained for P(L ⁰ _t y) and P(L* _t y) as y and t fixed.     

The Ramsey property for collections of sequences not containing all arithmetic progressions

A family of sequences has the Ramsey property if for every positive integerk, there exists a least positive integerf (k) such that for every 2-coloring of {1,2, ...,f (k)} there is a monochromatick-term member of . For fixed integersm > 1 and 0 q < m, let _q(m) be the collection of those increasing sequences of positive integers {x ₁,..., x_k} such thatx _i+1 – x_i q(modm) for 1 i k – 1. Fort a fixed positive integer, denote byA _t the collection of those arithmetic progressions having constant differencet. Landman and Long showed that for allm 2 and 1 q < m, _q(m) does not have the Ramsey property, while _q(m) A _m does. We extend these results to various finite unions of _q(m) 's andA _t 's. We show that for allm 2, _q=1 ^m–1 _q(m) does not have the Ramsey property. We give necessary and sufficient conditions for collections of the form _q(m) ( _{t T} A _t) to have the Ramsey property. We determine when collections of the form _a(m₁) _b(m₂) have the Ramsey property. We extend this to the study of arbitrary finite unions of _q(m)'s. In all cases considered for which has the Ramsey property, upper bounds are given forf .     

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 .     

Tauberian Conditions under Which Convergence of Integrals Follows from Summability (C, 1) over R+

Given f L _loc ¹ (R ₊), we define