Realization of the Perron effect whereby the characteristic exponents of solutions of differential systems change their values

We realize the Perron effect of change of values of characteristic exponents: for arbitrary parameters λ ₁ <- λ ₂ < 0, β ₂ ≥ β ₁ ≥ λ ₂, and m > 1, we prove the existence of a linear differential system $ \dot x $ \dot x = A(t)x, x ∈ R ₂, t ≥ t ₀, with bounded infinitely differentiable coefficients and with characteristic exponents λ ₁(A) = λ ₁ <- λ ₂(A) = λ ₂ and of an m-perturbation f: [t ₀,+∞) × R ₂ → R ₂ infinitely differentiable in time, continuously differentiable with respect to the phase variables y ₁ and y ₂, (y ₁, y ₂) = y ∈ R ₂ (infinitely differentiable with respect to the variables y ₁ ≠ 0 and y ₂ ≠ 0 and with respect to all of these variables in the case of a positive integer m > 1), satisfying the condition ‖f(t, y)‖ ≤ const × ‖y‖ ^m , y ∈ R ², t ≥ t ₀, and such that all nontrivial solutions y(t, c) of the perturbed system

Existence of linear Pfaff systems with lower characteristic set consisting of countably many segments in the space <Emphasis Type="Italic">R</Emphasis><Superscript>3</Superscript>

We prove the existence of a completely integrable Pfaff system ∂x/∂t _i = A _i (t)x, x ∈ R _n , t = (t ₁, t ₂, t ₃) ∈ R ₊³, i = 1, 2, 3, with infinitely differentiable bounded coefficient matrices and with lower characteristic set being the union of countably many segments in the space R ³.     

The total reducibility order of a polynomial in two variables

LetK be an algebraically closed field of characteristic zero. ForA ∈K[x, y] let σ(A) = {λ ∈K:A − λ is reducible}. For λ ∈ σ(A) letA − λ = ∏ _i=1 ^n(λ) A _iλ ^k _μ whereA _iλ are distinct primes. Let ϱ_λ(A) =n(λ) − 1 and let ρ(A) = Σ_λɛσ(A)ϱ_λ(A). The main result is the following: Theorem.If A ∈ K[x, y] is not a composite polynomial, then ρ(A) < degA.     

Systems of equations driven by stable processes

Let Z^j_t, j = 1, . . . , d, be independent one-dimensional symmetric stable processes of index α ∈ (0,2). We consider the system of stochastic differential equations where the matrix A(x)=(A_ij(x))1≤ i, j ≤ d is continuous and bounded in x and nondegenerate for each x. We prove existence and uniqueness of a weak solution to this system. The approach of this paper uses the martingale problem method. For this, we establish some estimates for pseudodifferential operators with singular state-dependent symbols. Let λ₂ > λ₁ > 0. We show that for any two vectors a, b∈ ℝ_d with |a|, |b| ∈ (λ₁, λ₂) and p sufficiently large, the L^p-norm of the operator whose Fourier multiplier is (|u · a|^α - |u · b|^α) / ∑_j=1^d |u_i|^α is bounded by a constant multiple of |a−b|^θ for some θ > 0, where u=(u₁ , . . . , u_d) ∈ ℝ^d. We deduce from this the L^p-boundedness of pseudodifferential operators with symbols of the form ψ(x,u)=|u · a(x)|^α / ∑_j=1^d |u_i|^α, where u=(u₁,...,u_d) and a is a continuous function on ℝ^d with |a(x)|∈ (λ₁, λ₂) for all x∈ ℝ^d. Research partially supported by NSF grant DMS-0244737. Research partially supported by NSF grant DMS-0303310.     

Regularity properties of solutions of some abstract parabolic equations

Consider the equation (i) (da/dt)—A(t)u(t)=f(t) where fort ∈ [a, b],A(t) is a densely defined and closed linear operator in a Banach spaceX. Assume the existence of bounded projectionsE _i(t),i=1, 2, such thatA(t) E ₁(t) and —A(t)E ₂(t) are infinitesimal generators of analytic semigroups andA(t) is completely reduced by the direct sum decompositionX = Σ _i ^{b = 1/2} ⊕E _i (t)X. We show that any solutionu(t) of (i) is inC ^∞(a, b) and satisfies the inequalities (1.2) provided thatf(t) andA(t) are infinitely differentiable in [a, b] in a suitable sense. In caseA(t) andf(t) are in a Gevrey class determined by the constants {M _n} we have (1. 3). Applications are given to the study of solution of (i) where fort ∈ [a, b]A(t) is the unbounded operator inH ^0,p (G) associated with an elliptic boundary value problem that satisfies Agmon’s conditions on the rays λ=±iτ, τ > 0. Research partially supported by an N.S.F. grant at Brandeis University.     

How Close to Regular Must a Semicomplete Multipartite Digraph Be to Secure Hamiltonicity?

 Let D be a semicomplete multipartite digraph, with partite sets V ₁, V ₂,…, V _c, such that |V ₁|≤|V ₂|≤…≤|V _c|. Define f(D)=|V(D)|−3|V _c|+1 and . We define the irregularity i(D) of D to be max|d ⁺(x)−d ⁻(y)| over all vertices x and y of D (possibly x=y). We define the local irregularity i _l(D) of D to be max|d ⁺(x)−d ⁻(x)| over all vertices x of D and we define the global irregularity of D to be i _g(D)=max{d ⁺(x),d ⁻(x) : x∈V(D)}−min{d ⁺(y),d ⁻(y) : y∈V(D)}. In this paper we show that if i _g(D)≤g(D) or if i _l(D)≤min{f(D), g(D)} then D is Hamiltonian. We furthermore show how this implies a theorem which generalizes two results by Volkmann and solves a stated problem and a conjecture from [6]. Our result also gives support to the conjecture from [6] that all diregular c-partite tournaments (c≥4) are pancyclic, and it is used in [9], which proves this conjecture for all c≥5. Finally we show that our result in some sense is best possible, by giving an infinite class of non-Hamiltonian semicomplete multipartite digraphs, D, with i _g(D)=i(D)=i _l(D)=g(D)+?≤f(D)+1. Revised: September 17, 1998     

Asymptotic behaviour of a Brownian motion on exterior domains

We study the asymptotic behaviour of the transition density of a Brownian motion in ?, killed at ∂?, where ? ^c is a compact non polar set. Our main result concern dimension d = 2, where we show that the transition density p ^? _t (x, y) behaves, for large t, as u(x)u(y)(t(log t)²)⁻¹ for x, y∈?, where u is the unique positive harmonic function vanishing on (∂?) ^r , such that u(x) ∼ log ∣x∣. Received: 29 January 1999 / Revised version: 11 May 1999     

Correlation structure of intermittency in the parabolic Anderson model

Consider the Cauchy problem ∂u(x, t)/∂t = ℋu(x, t) (x∈ℤ^d, t≥ 0) with initial condition u(x, 0) ≡ 1 and with ℋ the Anderson Hamiltonian ℋ = κΔ + ξ. Here Δ is the discrete Laplacian, κ∈ (0, ∞) is a diffusion constant, and ξ = {ξ(x): x∈ℤ ^d } is an i.i.d.random field taking values in ℝ. G?rtner and Molchanov (1990) have shown that if the law of ξ(0) is nondegenerate, then the solution u is asymptotically intermittent. In the present paper we study the structure of the intermittent peaks for the special case where the law of ξ(0) is (in the vicinity of) the double exponential Prob(ξ(0) > s) = exp[−e ^{s /θ}] (s∈ℝ). Here θ∈ (0, ∞) is a parameter that can be thought of as measuring the degree of disorder in the ξ-field. Our main result is that, for fixed x, y∈ℤ ^d and t→∈, the correlation coefficient of u(x, t) and u(y, t) converges to ∥w _ρ∥⁻² _ℓ2Σ_{z ∈ℤd} w _ρ(x+z)w _ρ(y+z). In this expression, ρ = θ/κ while w _ρ:ℤ^d→ℝ⁺ is given by w _ρ = (v _ρ)^{⊗ d} with v _ρ: ℤ→ℝ⁺ the unique centered ground state (i.e., the solution in ℓ²(ℤ) with minimal l ²-norm) of the 1-dimensional nonlinear equation Δv + 2ρv log v = 0. The uniqueness of the ground state is actually proved only for large ρ, but is conjectured to hold for any ρ∈ (0, ∞). empty It turns out that if the right tail of the law of ξ(0) is thicker (or thinner) than the double exponential, then the correlation coefficient of u(x, t) and u(y, t) converges to δ _{x, y} (resp.the constant function 1). Thus, the double exponential family is the critical class exhibiting a nondegenerate correlation structure. Received: 5 March 1997 / Revised version: 21 September 1998     

Characterization of polyanalytic functions by meromorphic extensions from chains of circles

Let C _t = {z ∈ ℂ: |z − c(t)| = r(t), t ∈ (0, 1)} be a C ¹-family of circles in the plane such that lim _t→0+ C _t = {a}, lim _t→1− C _t = {b}, a ≠ b, and |c′(t)|² + |r′(t)|² ≠ 0. The discriminant set S of the family is defined as the closure of the set {c(t) + r(t)w(t), t ∈ [0, 1]}, where w = w(t) is the root of the quadratic equation ̅c′(t)w ² + 2r′(t)w + c′(t) = 0 with |w| < 1, if such a root exists.     

Stability of <Emphasis Type="Italic">C</Emphasis>-regularized Semigroups

Let T = (T(t))t≥0 be a bounded C-regularized semigroup generated by A on a Banach space X and R(C) be dense in X. We show that if there is a dense subspace Y of X such that for every x ∈ Y, σu(A, Cx), the set of all points λ ∈ iR to which (λ - A)^-1 Cx can not be extended holomorphically, is at most countable and σr(A) N iR = Ф, then T is stable. A stability result for the case of R(C) being non-dense is also given. Our results generalize the work on the stability of strongly continuous senfigroups.     

Growth and Hölder conditions for the sample paths of Feller processes

Let (A,D(A)) be the infinitesimal generator of a Feller semigroup such that C _c ^∞(ℝ ⁿ )⊂D(A) and A|C _c ^∞(ℝ ⁿ ) is a pseudo-differential operator with symbol −p(x,ξ) satisfying |p(•,ξ)|_∞≤c(1+|ξ|²) and |Imp(x,ξ)|≤c ₀Rep(x,ξ). We show that the associated Feller process {X _t } _{t ≥0} on ℝ ⁿ is a semimartingale, even a homogeneous diffusion with jumps (in the sense of [21]), and characterize the limiting behaviour of its trajectories as t→0 and ∞. To this end, we introduce various indices, e.g., β_∞ ^x :={λ>0:lim _{|ξ|→∞ | x − y |≤2/|ξ|}|p(y,ξ)|/|ξ|^λ=0} or δ_∞ ^x :={λ>0:liminf _{|ξ|→∞ | x − y |≤2/|ξ| |ε|≤1}|p(y,|ξ|ε)|/|ξ|^λ=0}, and obtain a.s. (ℙ ^x ) that lim _{t →0} t ^−1/λ _{s ≤ t} |X _s −x|=0 or ∞ according to λ>β_∞ ^x or λ<δ_∞ ^x . Similar statements hold for the limit inferior and superior, and also for t→∞. Our results extend the constant-coefficient (i.e., Lévy) case considered by W. Pruitt [27]. Received: 21 July 1997 / Revised version: 26 January 1998     

Two point problems and analyticity of solutions of abstract parabolic equations

Fort ∈ [a, b], letA(t) be the unbounded operator inH ^0,p (G) associated with an elliptic-boundary value problem that satisfies Agmon’s conditions on the rays λ=±iτ, τ ≥0. Existence and uniqueness results are obtained for weak and strict solutions of two-point problems of the type (du/dt)−A(t) u(t) =f(t),E ₁(α)u (α)=u _α,E ₂ (β)u (β)=u _β. Here [α, β) χ- [a, b],E ₁ (α) andE ₂ (β) are spectral projections associated withA(α) andA(β) respectively, andA(α)E ₁ (α) and =A (β)E ₂ (β) are infinitesimal generators of analytic semigroups. WhenA(t) andf(t) are analytic in a convex, complex neighborhoodO of [a, b] we show that for someθ _i ,i=1,2, any solution ofdu/dt =A(t)u (t)=f(t) in [a, b] is analytic and satisfies the above equation in the setO∩{t; t ≠ a, t ≠ b, | arg (t −a) | <θ ₁, | arg (b −t) |θ ₂}. Research partially supported by N. N. F. grant at Brandeis University.     

Extraction of smooth solutions of a class of regular equations in a rectangle

This work is devoted to the study of two-dimensional, regular, almost hypoelliptic operators P(D) = P(D ₂, D ₂) with regular Newton polyhedrons. It is proved that all generalized (weak) solutions of the equation P(D)u = f from a several weighted Sobolev space are infinitely differentiable functions in the rectangle {x ∈ E ²: −a < x ₁ < a, −b < x ₂ < b} in the variable x ₂, in which the function f is infinitely differentiable.     

Accuracy of several multidimensional refinable distributions

Compactly supported distributions f₁,..., f_r on ℝ^d are fefinable if each f_i is a finite linear combination of the rescaled and translated distributions f_j(Ax−k), where the translates k are taken along a lattice Γ ⊂ ∝^d and A is a dilation matrix that expansively maps Γ into itself. Refinable distributions satisfy a refinement equation f(x)=Σ_k∈Λ c_k f(Ax−k), where Λ is a finite subset of Γ, the c_k are r×r matrices, and f=(f₁,...,f_r)^T. The accuracy of f is the highest degree p such that all multivariate polynomials q with degree(q)<p are exactly reproduced from linear combinations of translates of f₁,...,f_r along the lattice Γ. We determine the accuracy p from the matrices c_k. Moreover, we determine explicitly the coefficients y_α,i(k) such that x^α=Σ _i=1 ^r Σ_k∈Γy_α,i(k) fi(x+k). These coefficients are multivariate polynomials y_α,i(x) of degree |α| evaluated at lattice points k∈Γ.     

A Higman inequality for regular near polygons

The inequality of Higman for generalized quadrangles of order (s,t) with s>1 states that t≤s ². We generalize this by proving that the intersection number c _i of a regular near 2d-gon of order (s,t) with s>1 satisfies the tight bound c _i ≤(s ²ⁱ −1)/(s ²−1), and we give properties in case of equality. It is known that hemisystems in generalized quadrangles meeting the Higman bound induce strongly regular subgraphs. We also generalize this by proving that a similar subset in regular near 2d-gons meeting the bounds would induce a distance-regular graph with classical parameters (d,b,α,β)=(d,−q,−(q+1)/2,−((−q) ^d +1)/2) with q an odd prime power.     

(<Emphasis Type="Italic">p, λ</Emphasis>)-Koszul algebras and modules

In this paper, the notions of (p, λ)-Koszul algebra and (p, λ)-Koszul module are introduced. Some criteria theorems for a positively graded algebra A to be (p, λ)-Koszul are given. The notion of weakly (p, λ)-Koszul module is defined as well and let WK _λ ^p (A) denote the category of weakly (p, λ)-Koszul modules. We show that M ∈ WK _λ ^p (A) if and only if it can be approximated by (p, λ)-Koszul submodules, which is equivalent to that G(M) is a (p, λ)-Koszul module, where G(M) denotes the associated graded module of M. As applications, the relationships of the minimal graded projective resolutions of M, G(M) and (p, λ)-Koszul submodules are established. In particular, for a module M ∈ WK _λ ^p (A) we prove that ⊕ _i≥0 Ext _A ⁱ (M,A ₀) ∈ gr ₀(E(A)), we also get as a consequence that the finitistic dimension conjecture is valid in WK _λ ^p (A) under certain conditions.     

A necessary and sufficient condition to a pareto optimal without optimizing the weighting criterion

The easiest thecnique to reduce the classical multiple criteria decision problem into a reasonable single criterion decision problem is the weighting method. Po-Lung Yu (1985) gives a well known necessary condition fory ⁰ to be a Pareto optimal, namelyy ⁰ maximizes λ^ty overY, for some λ ∈ℝ ^p, such that λ_i≥0 for alli and some λ_j>0. In this brief note we generalize the necessary condition of Po-Lung Yu.     

Comonotone approximation of twice differentiable periodic functions

In the case where a 2π-periodic function f is twice continuously differentiable on the real axis ℝ and changes its monotonicity at different fixed points y _i ∈ [− π, π), i = 1,…, 2s, s ∈ ℕ (i.e., on ℝ, there exists a set Y := {y _i } _i∈ℤ of points y _i = y _i+2s + 2π such that the function f does not decrease on [y _i , y _i−1] if i is odd and does not increase if i is even), for any natural k and n, n ≥ N(Y, k) = const, we construct a trigonometric polynomial T _n of order ≤n that changes its monotonicity at the same points y _i ∈ Y as f and is such that

Some path properties of generalized Lévy sheet

Let X(t) be an N parameter generalized Lévy sheet taking values in ℝ^d with a lower index α, ℜ = {(s, t] = ∏ _i=1 ^N (s _i, t _i], s _i < t _i}, E(x, Q) = {t ∈ Q: X(t) = x}, Q ∈ ℜ be the level set of X at x and X(Q) = {x: ∃t ∈ Q such that X(t) = x} be the image of X on Q. In this paper, the problems of the existence and increment size of the local times for X(t) are studied. In addition, the Hausdorff dimension of E(x, Q) and the upper bound of a uniform dimension for X(Q) are also established.     

Stability conditions for systems of linear nonautonomous delay differential equations

Systems of linear nonautonomous delay differential equations are considered which are of the form y′_i(t) = ∑_{k = 1}ⁿ ∝₀^T b_ik(t, s) y_k(t − s) dη_ik(s) − c_i(t) y_i(t), where I = 1,…, n. Sufficient conditions are derived for both the asymptotic stability and the instability of the zero solution. The main result is found by a monotone technique using elementary methods only. Moreover, additional criteria are obtained by using the method of Lyapunov functionals.