Nonlinear degenerate parabolic equations for Baouendi–Grushin operators

In this paper, we shall investigate the nonexistence of positive solutions for the following nonlinear parabolic partial differential equations: and Here, Ω is a Carnot–Carathéodory metric ball in R ^N and V ∈ L ¹_loc(Ω). The critical exponents m * and p * are found, and the nonexistence results are proved for m * ≤ m < 1 and p * ≤ p < 2. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Coefficient conditions for the asymptotic stability of solutions of systems of linear difference equations with continuous time and delay

We establish sufficient algebraic coefficient conditions for the asymptotic stability of solutions of systems of linear difference equations with continuous time and delay in the case of a rational correlation between delays. We use (n ² + m)-parameter Lyapunov functions (n is the dimension of the system of equations and m is the number of delays). Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 4, pp. 516–522, April, 1998. This work was partially supported by the Joint Foundation of the Ukrainian Government and the Soros International Science Foundation (grant No. K42199).     

Orlicz regularity for higher order parabolic equations in divergence form with coefficients in weak BMO

We consider higher order parabolic equations in divergence form with measurable coefficients to find optimal regularity in Orlicz spaces of the maximum order derivatives of the weak solutions. The relevant minimal regularity requirement on the tensor matrix coefficients is of small BMO in the spatial variable and is measurable in the time variable. As a consequence we prove the classical W ^m,p regularity, m = 1, 2, . . . , 1 < p < ∞, for such higher order equations. In the same spirit the results easily extend to higher order parabolic systems as well as up to the boundary.     

Solvability of nonlocal elliptic problems in weight spaces

In this paper we consider elliptic equations of order 2m in a bounded domainQ є R ⁿ with boundaryδQ and nonlocal conditions relating the traces of the solution and its derivatives on (n − 1)-dimensional smooth manifolds Γ _i (∪ _i =∂δQ) to their values on some compact setF ⊂Q, whereF ∩δQ ≠ Φ. The Fredholm solvability of these problems in the weight spacesV _{p, a} ^/l+2m (Q) is proved for arbitrary 1<p <∞. Translated fromMatematicheskie Zametki, Vol. 67, No. 6, pp. 882–898, June, 2000. This research was supported by the Russian Foundation for Basic Research under grant No. 99-01-00028.     

Exact analysis of asymmetric random polling systems with single buffers and correlated input process

We introduce a simple approach for modeling and analyzing asymmetric random polling systems with single buffers and correlated input process. We consider two variations of single buffers system: the conventional system and the buffer relaxation system. In the conventional system, at most one customer may be resided in any queue at any time. In the buffer relaxation system, a buffer becomes available to new customers as soon as the current customer is being served. Previous studies concentrate on conventional single buffer system with independent Poisson process input process. It has been shown that the asymmetric system requires the solution ofm 2 ^m –1) linear equations; and the symmetric system requires the solution of 2 ^m–1–1 linear equations, wherem is the number of stations in the system. For both the conventional system and the buffer relaxation system, we give the exact solution to the more general case and show that our analysis requires the solution of 2 ^m –1 linear equations. For the symmetric case, we obtain explicit expressions for several performance measures of the system. These performance measures include the mean and second moment of the cycle time, loss probability, throughput, and the expected delay observed by a customer.     

Estimate of the Hölder constant for solutions to <Emphasis Type="Italic">m</Emphasis>-Hessian equations

An a priori estimate for the H?lder constant with exponent 0 < α < 1 is obtained for smooth solutions to m-Hessian equations in a closed domain with (m − 1)-convex boundary of class C ². The H?lder constant depends on the L ^p -norm, p > [n(n + 1)]/2, of the right-hand side of the equation, and the estimate remains valid for approximate solutions. Bibliography: 4 titles. Dedicated to Nina Nikolaevna Uraltseva Translated from Problemy Matematicheskogo Analiza, 40, May 2009, pp. 69–76.     

Extinction and Positivity for a Doubly Nonlinear Degenerate Parabolic Equation

The aims of this paper are to discuss the extinction and positivity for the solution of the initial boundary value problem and Cauchy problem of ut = div（[↓△u^m｜p-2↓△u^m）. It is proved that the weak solution will be extinct for 1 〈 p ≤ 1 ＋ 1/m and will be positive for p 〉 1 ＋ 1/m for large t, where m 〉 0.     

Stability of collocation methods for delay differential equations with vanishing delays

We analyze the asymptotic stability of collocation solutions in spaces of globally continuous piecewise polynomials on uniform meshes for linear delay differential equations with vanishing proportional delay qt (0<q<1) (pantograph DDEs). It is shown that if the collocation points are such that the analogous collocation solution for ODEs is A-stable, then this asymptotic behaviour is inherited by the collocation solution for the pantograph DDE.     

STABILITY AND ALMOST PERIODIC SOLUTIONS OF NEUTRAL FUNCTIONAL DIFFERENTIAL EQUATIONS WITH INFINITE DELAY

Itiswellknownthattheexistenceofalmostperiodicsolutionsiscloselyrelatedtothestabilityofsolutions.Forfunctionaldifferentialequationswithinfinitedelay,Y.Hin.[5'6]studiedtheproblemsontheexistenceofalmostperiodicsolutionsandthestability.However,therearefewpapersll2]dealingwithneutralfunctionaldifferentialequationswithinfinitedelay.Inthepresentpaper,forneutralfunctionaldifferentialequationswithinfinitedelay,weprovetheinherencetheoremfortheuniformlystableoperatorD(t),definethestabilitywithrespecttot…     

Approximation by harmonic functions in theC m -Norm and harmonicC m -capacity of compact sets in ℝ n

We study the function Λ ^m (X), 0<m<1, of compact setsX in ℝ ⁿ , n≥2, defined as the distance in the spaceC ^m (X)≡lip ^m(X) from the function |x|² to the subspaceH ^m (X) which is the closure inC ^m (X) of the class of functions harmonic in the neighborhood ofX (each function in its own neighborhood). We prove the equivalence of the conditions Λ ^m (X)=0 andC ^m (X)=H ^m (X). We derive an estimate from above that depends only on the geometrical properties of the setX (on its volume). Translated fromMatematicheskie Zametki, Vol. 62, No. 3, pp. 372–382, September, 1997. Translated by I. P. Zvyagin     

The logical consequence relation of propositional tense logic

This work concerns the model theory of propositional tense logic with the Kripke relational semantics. It is shown (i) that there is a formula y whose logical consequences form a complete II set, and (ii) that for 0 ≦ m < ω+ ω there are formulas γ_m such that all models of γ_m are isomorphic and have cardinality x_m, where x₀ = χ₀, x_m+1 = 2^xm, and x_ω = lim{x_m < | m ω}. Familiarity with the relational semantics for modal and tense logic ([1] or [3], for example) will be presumed. A knowledge of recursion theory would be helpful, although some background material will be provided.     

Discrete Calderón’s Identity,Atomic Decomposition and Boundedness Criterion of Operators on Multiparameter Hardy Spaces

In this paper we establish a discrete Calderón’s identity which converges in both L ^q (ℝ ^n+m ) (1<q<∞) and Hardy space H ^p (ℝ ⁿ ×ℝ ^m ) (0<p≤1). Based on this identity, we derive a new atomic decomposition into (p,q)-atoms (1<q<∞) on H ^p (ℝ ⁿ ×ℝ ^m ) for 0<p≤1. As an application, we prove that an operator T, which is bounded on L ^q (ℝ ^n+m ) for some 1<q<∞, is bounded from H ^p (ℝ ⁿ ×ℝ ^m ) to L ^p (ℝ ^n+m ) if and only if T is bounded uniformly on all (p,q)-product atoms in L ^p (ℝ ^n+m ). The similar result from H ^p (ℝ ⁿ ×ℝ ^m ) to H ^p (ℝ ⁿ ×ℝ ^m ) is also obtained.     

Small Forbidden Configurations IV: The 3 Rowed Case

The present paper continues the work begun by Anstee, Griggs and Sali on small forbidden configurations. We define a matrix to be simple if it is a (0,1)-matrix with no repeated columns. Let F be a k×l (0,1)-matrix (the forbidden configuration). Small refers to the size of k and in this paper k = 3. Assume A is an m×n simple matrix which has no submatrix which is a row and column permutation of F. We define forb(m,F) as the best possible upper bound on n, for such a matrix A, which depends on m and F. We complete the classification for all 3-rowed (0,1)-matrices of forb (m,F) as either Θ(m), Θ(m²) or Θ(m³) (with constants depending on F). * Research is supported in part by NSERC. † Research was done while the second author visited the University of British Columbia supported by NSERC of first author. Research was partially supported by Hungarian National Research Fund (OTKA) numbers T034702 and T037846.     

Two-Sided Optimal Bounds for Green Functions of Half-Spaces for Relativistic <Emphasis Type="Italic">α</Emphasis>-Stable Process

The purpose of this paper is to find optimal estimates for the Green function of a half-space of the relativistic α -stable process with parameter m on ℝ ^d space. This process has an infinitesimal generator of the form mI–(m ^2/α I–Δ) ^α/2, where 0<α<2, m>0, and reduces to the isotropic α-stable process for m=0. Its potential theory for open bounded sets has been well developed throughout the recent years however almost nothing was known about the behaviour of the process on unbounded sets. The present paper is intended to fill this gap and we provide two-sided sharp estimates for the Green function for a half-space. As a byproduct we obtain some improvements of the estimates known for bounded sets. Our approach combines the recent results obtained in Byczkowski et al. (Bessel Potentials, Hitting Distributions and Green Functions (2006) (preprint). ), where an explicit integral formula for the m-resolvent of a half-space was found, with estimates of the transition densities for the killed process on exiting a half-space. The main result states that the Green function is comparable with the Green function for the Brownian motion if the points are away from the boundary of a half-space and their distance is greater than one. On the other hand for the remaining points the Green function is somehow related the Green function for the isotropic α-stable process. For example, for d≥3, it is comparable with the Green function for the isotropic α-stable process, provided that the points are close enough. Research supported by KBN Grants.     

On (2<Superscript><Emphasis Type="Italic">m</Emphasis></Superscript> + 1)-variable symmetric Boolean functions with submaximum algebraic immunity 2<Superscript><Emphasis Type="Italic">m</Emphasis>−1</Superscript>

All (2 ^m + 1)-variable symmetric Boolean functions with submaximal algebraic immunity 2 ^m−1 are described and constructed. The total number of such Boolean functions is 3² · 2^2m−3 +3 ^m−2 · 2⁴ − 2 for m ⩾ 2. This work was supported by the Major State Basic Research Development Program of China (Grant No. 2004CB3180004) and National Natural Science Foundation of China (Grant No. 60433050)     

Rearrangements of (0–1) matrices

Let ℬ(m) be the set of all then-square (0–1) matrices containingm ones andn ²−m zeros, 0<m<n ². The problem of finding the maximum ofs(A ²) over this set, wheres(A ²) is the sum of the entries ofA ²,A ∈ ℬ (m) is considered. This problem is solved in the particular casesm=n ² −k ² andm=k ²,k ²>(n ²/2). This paper forms part of a thesis in partial fulfillment of the requirements for the degree of Doctor of Science at the Technion-Israel Institute of Technology. The author wishes to thank Professor B. Schwarz and Dr. D. London for their help in the preparation of this paper.     

Delay moments for FIFO GI/GI/s queues

For stable FIFO GI/GI/s queues, s ≥ 2, we show that finite (k+1)st moment of service time, S, is not in general necessary for finite kth moment of steady-state customer delay, D, thus weakening some classical conditions of Kiefer and Wolfowitz (1956). Further, we demonstrate that the conditions required for E[D ^k]<∞ are closely related to the magnitude of traffic intensity ρ (defined to be the ratio of the expected service time to the expected interarrival time). In particular, if ρ is less than the integer part of s/2, then E[D] < ∞ if E[S^3/2]<∞, and E[D^k]<∞ if E[S^k]<∞, ^k≥ 2. On the other hand, if s-1 < ρ < s, then E[D^k]<∞ if and only if E[S^k+1]<∞, k ≥ 1. Our method of proof involves three key elements: a novel recursion for delay which reduces the problem to that of a reflected random walk with dependent increments, a new theorem for proving the existence of finite moments of the steady-state distribution of reflected random walks with stationary increments, and use of the classic Kiefer and Wolfowitz conditions. This revised version was published online in June 2006 with corrections to the Cover Date.     

Two composition methods for solving certain systems of linear equations

Summary This note is concerned with the following problem: Given a systemA·x=b of linear equations and knowing that certains of its subsystemsA ¹·x ¹=b ¹, ...,A ^m ·x ^m =b ^m can be solved uniquely what can be said about the regularity ofA and how to find the solutionx fromx ¹, ...,x ^m ? This question is of particular interest for establishing methods computing certain linear or quasilinear sequence transformations recursively [7, 13, 15].Work performed under NATO Research Grant 027-81     

Evaluation of the Dedekind zeta functions of some non-normal totally real cubic fields at negative odd integers

Let {K _m } _{m ≥ 4} be the family of non-normal totally real cubic number fields defined by the irreducible cubic polynomial f _m (x) = x ³ − mx ² − (m + 1)x − 1, where m is an integer with m ≥ 4. In this paper, we will apply Siegel’s formula for the values of the zeta function of a totally real algebraic number field at negative odd integers to K _m , and compute the values of the Dedekind zeta function of K _m . This work was supported by grant No.R01-2006-000-11176-0 from the Basic Research Program of KOSEF.     

Global Existence and Nonexistence for a Strongly Coupled Parabolic System with Nonlinear Boundary Conditions

This paper deals with the strongly coupled parabolic system ut = v^m△u, vt = u^n△v, （x, t） ∈Ω × （0,T） subject to nonlinear boundary conditions 偏du/偏dη = u^αv^p, 偏du/偏dη= u^qv^β, （x, t） ∈ 偏dΩ × （0, T）, where Ω 包含 RN is a bounded domain, m, n are positive constants and α,β, p, q are nonnegative constants. Global existence and nonexistence of the positive solution of the above problem are studied and a new criterion is established. It is proved that the positive solution of the above problem exists globally if and only if α 〈 1,β 〈 1 and （m ＋p）（n ＋ q） ≤ （1 - α）（1 -β）.