On the Oscillation of Second Order Neutral Differential Equations of Emden-Fowler Type

Some oscillation criteria are established by the averaging technique for the second order neutral delay differential equation of Emden-Fowler type (a(t)x￠(t))￠+q₁(t)| y(t-s₁)|^a sgn y(t-s₁) +q₂(t)| y(t-s₂)|^b sgn y(t-s₂)=0,    t 3 t₀,(a(t)x'(t))'+q_1(t)| y(t-\sigma_1)|^{\alpha}\,{\rm sgn}\,y(t-\sigma_1) +q_2(t)| y(t-\sigma_2)|^{\beta}\,{\rm sgn}\,y(t-\sigma_2)=0,\quad t \ge t_0, where x(t) = y(t) + p(t)y(t − τ), τ, σ₁ and σ₂ are nonnegative constants, α > 0, β > 0, and a, p, q ₁, q₂ ? C([t₀, ￥), \Bbb R)q_2\in C([t_0, \infty), {\Bbb R}) . The results of this paper extend and improve some known results. In particular, two interesting examples that point out the importance of our theorems are also included.     

The asymptotic formula in Waring’s problem for one square and seventeen fifth powers

Let R _k,s (n) denote the number of solutions of the equation n = x² + y₁^k + y₂^k + ?+ y_s^k{n= x^2 + y_1^k + y_2^k + \cdots + y_s^k} in natural numbers x, y ₁, . . . , y _s . By a straightforward application of the circle method, an asymptotic formula for R _k,s (n) is obtained when k ≥ 3 and s ≥ 2 ^k–1 + 2. When k ≥ 6, work of Heath-Brown and Boklan is applied to establish the asymptotic formula under the milder constraint s ≥ 7 · 2 ^k–4 + 3. Although the principal conclusions provided by Heath-Brown and Boklan are not available for smaller values of k, some of the underlying ideas are still applicable for k = 5, and the main objective of this article is to establish an asymptotic formula for R _5,17(n) by this strategy.     

Uniform estimates for order statistics and Orlicz functions

We establish uniform estimates for order statistics: Given a sequence of independent identically distributed random variables ξ ₁, … , ξ _n and a vector of scalars x = (x ₁, … , x _n ), and 1 ≤ k ≤ n, we provide estimates for \mathbb E   k-min_{1 ￡ i ￡ n} |x_ix_i|{\mathbb E \, \, k-{\rm min}_{1\leq i\leq n} |x_{i}\xi _{i}|} and \mathbb E k-max_{1 ￡ i ￡ n}|x_ix_i|{\mathbb E\,k-{\rm max}_{1\leq i\leq n}|x_{i}\xi_{i}|} in terms of the values k and the Orlicz norm ||y_x||_M{\|y_x\|_M} of the vector y _x  = (1/x ₁, … , 1/x _n ). Here M(t) is the appropriate Orlicz function associated with the distribution function of the random variable |ξ ₁|, G(t) = \mathbb P ({ |x₁| ￡ t}){G(t) =\mathbb P \left(\left\{ |\xi_1| \leq t\right\}\right)}. For example, if ξ ₁ is the standard N(0, 1) Gaussian random variable, then G(t) = ?{\tfrac2p}ò₀^t e^-\fracs22ds {G(t)= \sqrt{\tfrac{2}{\pi}}\int_{0}^t e^{-\frac{s^{2}}{2}}ds }  and M(s)=?{\tfrac2p}ò₀^se^-\frac12t2dt{M(s)=\sqrt{\tfrac{2}{\pi}}\int_{0}^{s}e^{-\frac{1}{2t^{2}}}dt}. We would like to emphasize that our estimates do not depend on the length n of the sequence.     

An Application of a Mountain Pass Theorem

We are concerned with the following Dirichlet problem: −Δu(x) = f(x, u), x∈Ω, u∈H ¹ ₀(Ω), (P) where f(x, t) ∈C (×ℝ), f(x, t)/t is nondecreasing in t∈ℝ and tends to an L ^∞-function q(x) uniformly in x∈Ω as t→ + ∞ (i.e., f(x, t) is asymptotically linear in t at infinity). In this case, an Ambrosetti-Rabinowitz-type condition, that is, for some θ > 2, M > 0, 0 > θF(x, s) ≤f(x, s)s, for all |s|≥M and x∈Ω, (AR) is no longer true, where F(x, s) = ∫ ^s ₀ f(x, t)dt. As is well known, (AR) is an important technical condition in applying Mountain Pass Theorem. In this paper, without assuming (AR) we prove, by using a variant version of Mountain Pass Theorem, that problem (P) has a positive solution under suitable conditions on f(x, t) and q(x). Our methods also work for the case where f(x, t) is superlinear in t at infinity, i.e., q(x) ≡ +∞. Received June 24, 1998, Accepted January 14, 2000.     

Quadrature based collocation methods for integral equations of the first kind

Problem of solving integral equations of the first kind, ò_a^b k(s, t) x(t) dt = y(s), s ? [a, b]\int_a^b k(s, t) x(t)\, dt = y(s),\, s\in [a, b] arises in many of the inverse problems that appears in applications. The above problem is a prototype of an ill-posed problem. Thus, for obtaining stable approximate solutions based on noisy data, one has to rely on regularization methods. In practice, the noisy data may be based on a finite number of observations of y, say y(τ ₁), y(τ ₂), ..., y(τ _n ) for some τ ₁, ..., τ _n in [a, b]. In this paper, we consider approximations based on a collocation method when the nodes τ ₁, ..., τ _n are associated with a convergent quadrature rule. We shall also consider further regularization of the procedure and show that the derived error estimates are of the same order as in the case of Tikhonov regularization when there is no approximation of the integral operator is involved.     

Smooth and strongly smooth points in symmetric spaces of measurable operators

We investigate the relationships between smooth and strongly smooth points of the unit ball of an order continuous symmetric function space E, and of the unit ball of the space of τ-measurable operators E(M,t){E(\mathcal{M},\tau)} associated to a semifinite von Neumann algebra (M, t){(\mathcal{M}, \tau)}. We prove that x is a smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if the decreasing rearrangement μ(x) of the operator x is a smooth point of the unit ball in E, and either μ(∞; f) = 0, for the function f ? S_E^×{f\in S_{E^{\times}}} supporting μ(x), or s(x ^*) = 1. Under the assumption that the trace τ on M{\mathcal{M}} is σ-finite, we show that x is strongly smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if its decreasing rearrangement μ(x) is a strongly smooth point of the unit ball in E. Consequently, for a symmetric function space E, we obtain corresponding relations between smoothness or strong smoothness of the function f and its decreasing rearrangement μ(f). Finally, under suitable assumptions, we state results relating the global properties such as smoothness and Fréchet smoothness of the spaces E and E(M,t){E(\mathcal{M},\tau)}.     

Characterizations of generalized quadrangles by generalized homologies

Let S = (P, B, I) be a generalized quadrangle of order (s, t). For x, y P, x y, let (x, y) be the group of all collineations of S fixing x and y linewise. If z {x, y}, then the set of all points incident with the line xz (resp. yz) is denoted by (resp. ). The generalized quadrangle S = (P, B, I) is said to be (x, y)-transitive, x y, if (x, y) is transitive on each set and . If S = (P, B, I) is a generalized quadrangle of order (s, t), s > 1 and t > 1, which is (x, y)-transitive for all x, y P with x y, then it is proved that we have one of the following: (i) S W(s), (ii) S Q(4, s), (iii) S H(4, s), (iv) S Q(5, s), (v) s = t² and all points are regular.     

On some characterization of probability distributions in Hilbert spaces

Summary The aim of this paper is to prove the following theorem about characterization of probability distributions in Hilbert spaces:Theorem. — Let x₁, x₂, …, x_n be n (n≥3) independent random variables in the Hilbert spaceH, having their characteristic functionals f_k(t) = E[e^i(t,x _k)], (k=1, 2, …, n): let y₁=x₁ + x_n, y₂=x₂ + x_n, …, y_n−1=x_n−1 + x_n. If the characteristic functional f(t₁, t₂, …, t_n−1) of the random variables (y₁, y₂, …, y_n−1) does not vanish, then the joint distribution of (y₁, y₂, …, y_n−1) determines all the distributions of x₁, x₂, …, x_n up to change of location.     

Critical exponent for a quasilinear parabolic equation with inhomogeneous density in a cone

In this paper, we study the initial-boundary value problem of porous medium equation ρ(x)u _t  = Δu ^m  + V(x)h(t)u ^p in a cone D = (0, ∞) × Ω, where V(x)  ~  |x|^s, h(t)  ~  t^s{V(x)\,{\sim}\, |x|^\sigma, h(t)\,{\sim}\, t^s}. Let ω ₁ denote the smallest Dirichlet eigenvalue for the Laplace-Beltrami operator on Ω and let l denote the positive root of l ² + (n − 2)l = ω ₁. We prove that if m < p ￡ 1+(m-1)(1+s)+\frac2(s+1)+sn+l{m < p \leq 1+(m-1)(1+s)+\frac{2(s+1)+\sigma}{n+l}}, then the problem has no global nonnegative solutions for any nonnegative u ₀ unless u ₀ = 0; if ${p >1 +(m-1)(1+s)+\frac{2(s+1)+\sigma}{n+l}}${p >1 +(m-1)(1+s)+\frac{2(s+1)+\sigma}{n+l}}, then the problem has global solutions for some u ₀ ≥ 0.     

Grow-up of critical solutions for a non-local porous medium problem with Ohmic heating source

We investigate the behaviour of solution u = u(x, t; λ) at λ =  λ* for the non-local porous medium equation ${u_t = (u^n)_{xx} + {\lambda}f(u)/({\int_{-1}^1} f(u){\rm d}x)^2}We investigate the behaviour of solution u = u(x, t; λ) at λ =  λ* for the non-local porous medium equation u_t = (uⁿ)_xx + lf(u)/(ò_-1¹ f(u)dx)²{u_t = (u^n)_{xx} + {\lambda}f(u)/({\int_{-1}^1} f(u){\rm d}x)^2} with Dirichlet boundary conditions and positive initial data. The function f satisfies: f(s),−f ′ (s) > 0 for s ≥ 0 and s ^n-1 f(s) is integrable at infinity. Due to the conditions on f, there exists a critical value of parameter λ, say λ*, such that for λ > λ* the solution u = u(x, t; λ) blows up globally in finite time, while for λ ≥ λ* the corresponding steady-state problem does not have any solution. For 0 < λ < λ* there exists a unique steady-state solution w = w(x; λ) while u = u(x, t; λ) is global in time and converges to w as t → ∞. Here we show the global grow-up of critical solution u* =  u(x, t; λ*) (u* (x, t) → ∞, as t → ∞ for all x ? (-1,1){x\in(-1,1)}.     

On the Blum-Hanson theorem for quantum quadratic processes

In this paper an analog of the Blum-Hanson theorem for quantum quadratic processes on the von Neumann algebra is proved, i.e., it is established that the following conditions are equivalent:

The geometry of whips

In this article, we study geometric aspects of the space of arcs parameterized by unit speed in the L ² metric. Physically, this corresponds to the motion of a whip, and it also arises in studying shape recognition. The geodesic equation is the nonlinear, nonlocal wave equation η _tt = ∂ _s (σ η _s ), with \lvert h_s\rvert o 1{\lvert \eta_{s}\rvert\equiv 1} and σ given by s_ss- \lvert h_ss\rvert² s = -\lvert h_st\rvert²{\sigma_{ss}- \lvert \eta_{ss}\rvert^2 \sigma = -\lvert \eta_{st}\rvert^2}, with boundary conditions σ(t, 1) = σ(t, −1) = 0 and η(t, 0) = 0. We prove that the space of arcs is a submanifold of the space of all curves, that the orthogonal projection exists but is not smooth, and as a consequence we get a Riemannian exponential map that is continuous and even differentiable but not C ¹. This is related to the fact that the curvature is positive but unbounded above, so that there are conjugate points at arbitrarily short times along any geodesic.     

Computation of Topological Indices of Some Graphs

Let G=(V,E) be a simple connected graph with vertex set V and edge set E. The Wiener index of G is defined by W(G)=∑_{x,y}⊆V d(x,y), where d(x,y) is the length of the shortest path from x to y. The Szeged index of G is defined by Sz(G)=∑ _e=uv∈E n _u (e|G)n _v (e|G), where n _u (e|G) (resp. n _v (e|G)) is the number of vertices of G closer to u (resp. v) than v (resp. u). The Padmakar–Ivan index of G is defined by PI(G)=∑ _e=uv∈E [n _eu (e|G)+n _ev (e|G)], where n _eu (e|G) (resp. n _ev (e|G)) is the number of edges of G closer to u (resp. v) than v (resp. u). In this paper we find the above indices for various graphs using the group of automorphisms of G. This is an efficient method of finding these indices especially when the automorphism group of G has a few orbits on V or E. We also find the Wiener indices of a few graphs which frequently arise in mathematical chemistry using inductive methods.     

On the Invariant Fields and Rings of Some Groups of Polynomial Automorphisms

Abstract

We consider the group G of C-automorphisms of C(x, y) (resp. C[x, y]) generated by s, t such that t(x) = y, t(y) = x and s(x) = x, s(y) = ? y + u(x) where u ∈ C[x] is of degree k ≥ 2. Using Galois's theory, we show that the invariant field and the invariant algebra of G are equal to C.     

Asymptotic separation for independent trajectories of Markov processes

We say that n independent trajectories ξ₁(t),…,ξ _n (t) of a stochastic process ξ(t)on a metric space are asymptotically separated if, for some ɛ > 0, the distance between ξ _i (t _i ) and ξ _j (t _j ) is at least ɛ, for some indices i, j and for all large enough t ₁,…,t _n , with probability 1. We prove sufficient conitions for asymptotic separationin terms of the Green function and the transition function, for a wide class of Markov processes. In particular,if ξ is the diffusion on a Riemannian manifold generated by the Laplace operator Δ, and the heat kernel p(t, x, y) satisfies the inequality p(t, x, x) ≤ Ct ^−ν/2 then n trajectories of ξ are asymptotically separated provided . Moreover, if for some α∈(0, 2)then n trajectories of ξ^(α) are asymptotically separated, where ξ^(α) is the α-process generated by −(−Δ)^α/2. Received: 10 June 1999 / Revised version: 20 April 2000 / Published online: 14 December 2000 RID="*" ID="*" Supported by the EPSRC Research Fellowship B/94/AF/1782 RID="**" ID="**" Partially supported by the EPSRC Visiting Fellowship GR/M61573     

Stability interval for explicit difference schemes for multi-dimensional second-order hyperbolic equations with significant first-order space derivative terms

In this piece of work, we introduce a new idea and obtain stability interval for explicit difference schemes of O(k²+h²) for one, two and three space dimensional second-order hyperbolic equations u_tt=a(x,t)u_xx+α(x,t)u_x-2η²(x,t)u,u_tt=a(x,y,t)u_xx+b(x,y,t)u_yy+α(x,y,t)u_x+β(x,y,t)u_y-2η²(x,y,t)u, and u_tt=a(x,y,z,t)u_xx+b(x,y,z,t)u_yy+c(x,y,z,t)u_zz+α(x,y,z,t)u_x+β(x,y,z,t)u_y+γ(x,y,z,t)u_z-2η²(x,y,z,t)u,0<x,y,z<1,t>0 subject to appropriate initial and Dirichlet boundary conditions, where h>0 and k>0 are grid sizes in space and time coordinates, respectively. A new idea is also introduced to obtain explicit difference schemes of O(k²) in order to obtain numerical solution of u at first time step in a different manner.     

A wavelike functional equation of Pexider type

Summary. Let (G, +) and (H, +) be abelian groups such that the equation 2u = v 2u = v is solvable in both G and H. It is shown that if f₁, f₂, f₃, f₄, : G ×G ? H f_1, f_2, f_3, f_4, : G \times G \longrightarrow H satisfy the functional equation f₁(x + t, y + s) + f₂(x - t, y - s) = f₃(x + s, y - t) + f₄(x - s, y + t) for all x, y, s, t ? G x, y, s, t \in G , then f₁, f₂, f₃, and f₄ are given by f₁ = w + h, f₂ = w - h, f₃ = w + k, f₄ = w - k where w : G ×G ? H w : G \times G \longrightarrow H is an arbitrary solution of f (x + t, y + s) + f (x - t, y - s) = f (x + s, y - t) + f (x - s, y + t) for all x, y, s, t ? G x, y, s, t \in G , and h, k : G ×G ? H h, k : G \times G \longrightarrow H are arbitrary solutions of D_y,t³g(x,y) = 0 \Delta_{y,t}^{3}g(x,y) = 0 and D_x,t³g(x,y) = 0 \Delta_{x,t}^{3}g(x,y) = 0 for all x, y, s, t ? G x, y, s, t \in G .     

Copositive approximation of periodic functions

Let f be a real continuous 2π-periodic function changing its sign in the fixed distinct points y _i ∈ Y:= {y _i } _i∈ℤ such that for x ∈ [y _i , y _i−1], f(x) ≧ 0 if i is odd and f(x) ≦ 0 if i is even. Then for each n ≧ N(Y) we construct a trigonometric polynomial P _n of order ≦ n, changing its sign at the same points y _i ∈ Y as f, and

Almost-sure central limit theorem for a Markov model of random walk in dynamical random environment

Summary We consider a model of random walk on ℤ^ν, ν≥2, in a dynamical random environment described by a field ξ={ξ _t (x): (t,x)∈ℤ^ν+1}. The random walk transition probabilities are taken as P(X _{t +1}= y|X _t = x,ξ _t =η) =P ₀( y−x)+ c(y−x;η(x)). We assume that the variables {ξ _t (x):(t,x) ∈ℤ^ν+1} are i.i.d., that both P ₀(u) and c(u;s) are finite range in u, and that the random term c(u;·) is small and with zero average. We prove that the C.L.T. holds almost-surely, with the same parameters as for P ₀, for all ν≥2. For ν≥3 there is a finite random (i.e., dependent on ξ) correction to the average of X _t , and there is a corresponding random correction of order to the C.L.T.. For ν≥5 there is a finite random correction to the covariance matrix of X _t and a corresponding correction of order to the C.L.T.. Proofs are based on some new L ^p estimates for a class of functionals of the field. Received: 4 January 1996/In revised form: 26 May 1997