Oscillatory and asymptotic behavior of solutions of differential equations with deviating arguments

The oscillatory and asymptotic behavior of solutions of a class of nth order nonlinear differential equations, with deviating arguments, of the form (E, δ) L_nx(t) + δq(t) f(x[g₁(t)],…, x[g_m(t)]) = 0, where δ = ± 1 and L₀x(t) = x(t), L_kx(t) = a_k(t)(L_{k ? 1}x(t))^., $\text{k = 1, 2,…, n (}{}^{\mathrm{.}}\text{=}\text{d}\text{dt}\text{)}$, is examined. A classification of solutions of (E, δ) with respect to their behavior as t → ∞ and their oscillatory character is obtained. The comparisons of (E, 1) and (E, ?1) with first and second order equations of the form y^.(t) + c₁(t) f(y[g₁(t)],…, y[g_m(t)]) = 0 and (a_{n ? 1}(t)z^.(t))^. ? c₂(t) f(z[g₁(t)],…, z[g_m(t)]) = 0, respectively, are presented. The obtained results unify, extend and improve some of the results by Graef, Grammatikopoulos and Spikes, Philos and Staikos.     

Probabilistic interpretation for system of conservation law arising in adhesion particle dynamics

This Note presents a construction of a solution for the nonlinear stochastic differential equation X_t = X₀ + ∫₀^t $\text{E}$[u₀(X₀)|X_s]ds, t ≥ 0. The random variable X₀ with values in $\text{R}$ and the function u₀ are given. We denote by P_t the probability distribution of X_t and u(x, t) = $\text{E}$[u₀(X₀)|X_t = x]. We prove that (P_t, u(·, t), t ≥ 0) is a weak solution for system of conservation law arising in adhesion particle dynamics.     

Global stability and stochastic permanence of a non-autonomous logistic equation with random perturbation

This paper discusses a randomized non-autonomous logistic equation , where B(t) is a 1-dimensional standard Brownian motion. In [D.Q. Jiang, N.Z. Shi, A note on non-autonomous logistic equation with random perturbation, J. Math. Anal. Appl. 303 (2005) 164-172], the authors show that E[1/N(t)] has a unique positive T-periodic solution E[1/Np(t)] provided a(t), b(t) and α(t) are continuous T-periodic functions, a(t)>0, b(t)>0 and . We show that this equation is stochastically permanent and the solution Np(t) is globally attractive provided a(t), b(t) and α(t) are continuous T-periodic functions, a(t)>0, b(t)>0 and mint∈[0,T]a(t)>maxt∈[0,T]α²(t). By the way, the similar results of a generalized non-autonomous logistic equation with random perturbation are yielded.     

On the variation of Tate-Shafarevich groups of elliptic curves over hyperelliptic curves

Let E be an elliptic curve over F=F_q(t) having conductor (p)·∞, where (p) is a prime ideal in F_q[t]. Let d∈F_q[t] be an irreducible polynomial of odd degree, and let . Assume (p) remains prime in K. We prove the analogue of the formula of Gross for the special value L(E⊗_FK,1). As a consequence, we obtain a formula for the order of the Tate-Shafarevich group Ш(E/K) when L(E⊗_FK,1)≠0.     

On oscillation of solutions of higher order forced functional differential inequalities

Oscillation criteria for the class of forced functional differential inequalities x(t){L_nx(t) + f(t, x(t), x[g₁(t)],…, x[g_m(t)]) ? h(t)} ? 0, for n even, and x(t){L_nx(t) ? f(t, x(t), x[g₁(t)],…, x[g_m(t)]) ? h(t)} ? 0, for n odd, are established.     

The operator-valued Feynman-Kac formula with noncommutative operators

Let X(t) be a right-continuous Markov process with state space E whose expectation semigroup S(t), given by S(t) φ(x) = E_x[φ(X(t))] for functions φ mapping E into a Banach space L, has the infinitesimal generator A. For each x?E, let V(x) generate a strongly continuous semigroup T_x(t) on L. An operator-valued Feynman-Kac formula is developed and solutions of the initial value problem $\text{?u}\text{?t}\text{= Au + V(x)u, u(0) = φ}$ are obtained. Fewer conditions are assumed than in known results; in particular, the semigroups {T_x(t)} need not commute, nor must they be contractions. Evolution equation theory is used to develop a multiplicative operative functional and the corresponding expectation semigroup has the infinitesimal generator A + V(x) on a restriction of the domain of A.     

On the Cauchy problem for some abstract nonlinear differential equations

In the present paper, we study the Cauchy problem in a Banach spaceE for an abstract nonlinear differential equation of form $$\frac{{d^2 u}}{{dt^2 }} = - A\frac{{du}}{{dt}} + B(t)u + f(t,W)$$ whereW = (A ₁(t)u,A ₂(t)u,?,A _?(t)u), (A _i (t),i = 1, 2, ?,?), (B(t),t ∈I = [0,b]) are families of closed operators defined on dense sets inE intoE, f is a given abstract nonlinear function onI ×E ^? intoE and ?A is a closed linear operator defined on dense set inE intoE, which generates a semi-group. Further, the existence and uniqueness of the solution of the considered Cauchy problem is studied for a wide class of the families (A _i(t),i = 1, 2, ?,?), (B(t),t ∈I). An application and some properties are also given for the theory of partial diferential equations.     

Eventually positive solutions of first order nonlinear differential equations with a deviating argument

The following first order nonlinear differential equation with a deviating argument $ x'(t) + p(t)[x(\tau (t))]^\alpha = 0 $ is considered, where α > 0, α ≠ 1, p ∈ C[t ₀; ∞), p(t) > 0 for t ≧ t ₀, τ ∈ C[t ₀; ∞), lim _t→∞ τ(t) = ∞, τ(t) < t for t ≧ t ₀. Every eventually positive solution x(t) satisfying lim _t→∞ x(t) ≧ 0. The structure of solutions x(t) satisfying lim _t→∞ x(t) > 0 is well known. In this paper we study the existence, nonexistence and asymptotic behavior of eventually positive solutions x(t) satisfying lim _t→∞ x(t) = 0.     

On oscillatory solutions of certain forced Emden-Fowler like equations

We give a constructive proof of existence to oscillatory solutions for the differential equations x^″(t)+a(t)λ|x(t)|sign[x(t)]=e(t), where t?t₀?1 and λ>1, that decay to 0 when t→+∞ as O(t−μ) for μ>0 as close as desired to the “critical quantity” . For this class of equations, we have limt→+∞E(t)=0, where E(t)<0 and E^″(t)=e(t) throughout [t₀,+∞). We also establish that for any μ>μ^? and any negative-valued E(t)=o(t−μ) as t→+∞ the differential equation has a negative-valued solution decaying to 0 at + ∞ as o(t−μ). In this way, we are not in the reach of any of the developments from the recent paper [C.H. Ou, J.S.W. Wong, Forced oscillation of nth-order functional differential equations, J. Math. Anal. Appl. 262 (2001) 722-732].     

Weak approximation of the stochastic wave equation

We investigate the accuracy of approximation of E[φ(u(t))], where {u(t):t∈[0,∞)} is the solution of the stochastic wave equation driven by the space-time white noise and φ is an R-valued function defined on the Hilbert space L²(R). The approximation is done by the leap-frog scheme. We show that, under certain conditions on φ, the approximation by the leap-frog scheme is of order two.     

On a continuous analogue of the stochastic difference equation Xn=ρXn-1+Bn

Let B₁, B₂, ... be a sequence of independent, identically distributed random variables, letX₀ be a random variable that is independent ofB_n forn?1, let ρ be a constant such that 0<ρ<1 and letX₁,X₂, ... be another sequence of random variables that are defined recursively by the relationshipsX_n=ρX_n-1+B_n. It can be shown that the sequence of random variablesX₁,X₂, ... converges in law to a random variableX if and only ifE[log⁺¦B₁¦]<∞. In this paper we let {B(t):0≦t<∞} be a stochastic process with independent, homogeneous increments and define another stochastic process {X(t):0?t<∞} that stands in the same relationship to the stochastic process {B(t):0?t<∞} as the sequence of random variablesX₁,X₂,...stands toB₁,B₂,.... It is shown thatX(t) converges in law to a random variableX ast →+∞ if and only ifE[log⁺¦B(1)¦]<∞ in which caseX has a distribution function of class L. Several other related results are obtained. The main analytical tool used to obtain these results is a theorem of Lukacs concerning characteristic functions of certain stochastic integrals.     

A Class of Nonlinear Averaging Integral Operators

LetHbe the class of analytic functions defined in the unit discU, and let coEdenote the convex hull of a setEinC. IfK⊂H, then an operatorI:K→His an averaging operator ifI[f](0) =f(0) andI[f](U) ⊂ cof(U), for allf∈K. The authors show that the operatorI_β,γ[f](z) ≡ [γz^−γ∫^z₀f^β(t)t^γ−1dt]^1/βis an averaging operator on certain subsets ofH.     

On the solutions in the large of the two-dimensional flow of a nonviscous incompressible fluid

The Euler equations (1.1) for the motion of a nonviscous imcompressible fluid in a plane domain Ω are studied. Let E be the Banach space defined in (1.4), let the initial data v₀ belong to E, and let the external forces f(t) belong to L_loc¹(R; E). In Theorem 1.1 the strong continuity and the global boundedness of the (unique) solution v(t) are proved, and in Theorem 1.2 the strong-continuous dependence of v on the data v₀ and f is proved. In particular the vorticity rot v(t) is a continuous function in $\text{}\text{?}$gW, for every t ? R, if and only if this property holds for one value of t. In Theorem 1.3 some properties for the associated group of nonlinear operators S(t). are stated. Finally, in Theorem 1.4 a quite general sufficient condition is given on the data in order to get classical solutions.     

Bass’ NK groups and cdh-fibrant Hochschild homology

The K-theory of a polynomial ring R[t] contains the K-theory of R as a summand. For R commutative and containing ?, we describe K _*(R[t])/K _*(R) in terms of Hochschild homology and the cohomology of Kähler differentials for the cdh topology. We use this to address Bass’ question, whether K _n (R)=K _n (R[t]) implies K _n (R)=K _n (R[t ₁,t ₂]). The answer to this question is affirmative when R is essentially of finite type over the complex numbers, but negative in general.     

Semilinear differential inclusions via weak topologies

The paper deals with the multivalued initial value problem x^′∈A(t,x)x+F(t,x) for a.a. t∈[a,b], x(a)=x₀ in a separable, reflexive Banach space E. The nonlinearity F is weakly upper semicontinuous in x and the investigation includes the case when both A and F have a superlinear growth in x. We prove the existence of local and global classical solutions in the Sobolev space W1,p([a,b],E) with 1<p<∞. Introducing a suitably defined Lyapunov-like function, we are able to investigate the topological structure of the solution set. Our main tool is a continuation principle in Frechét spaces and we prove the required pushing condition in two different ways. Some examples complete the discussion.     

Structure of cubic mapping graphs for the ring of Gaussian integers modulo n

Let ? _n [i] be the ring of Gaussian integers modulo n. We construct for ?n[i] a cubic mapping graph Γ(n) whose vertex set is all the elements of ?n[i] and for which there is a directed edge from a ∈ ?n[i] to b ∈ ?n[i] if b = a ³. This article investigates in detail the structure of Γ(n). We give suffcient and necessary conditions for the existence of cycles with length t. The number of t-cycles in Γ₁(n) is obtained and we also examine when a vertex lies on a t-cycle of Γ₂(n), where Γ₁(n) is induced by all the units of ?n[i] while Γ₂(n) is induced by all the zero-divisors of ?n[i]. In addition, formulas on the heights of components and vertices in Γ(n) are presented.     

On the relationship of some Fredholm integral equations of the first kind to a family of boundary value problems

It is shown that the solution of a class of forced convection heat transfer problems can be used as a vehicle for exhibiting a correspondence between certain boundary value problems and their associated integral equations. If the solution of the boundary value problem is known then the solution of the integral equation can be found by a simple calculation. This generalizes the relationship of certain solutions of Laplace's equation to integral equations having logarithmic or Cauchy kernels. When the boundary value problems have separable solutions, the solution of the integral equation can be reduced to the verification of a set of identities μ_n ∫_EP(t) φ_n(t) k(x ? t) dt = φ_n(x), x?E, where the {φ_n} form an orthonormal set on E.Once the method of solution has been derived from the physical approach it can be put on a firm mathematical basis.     

Hölder regularity for non-autonomous abstract parabolic equations

This paper contains some existence and uniqueness results for the strict and classical solutionsu : [0,T] →E of the non-autonomous evolution equationu ¹(t)=Λ(t)u(t)+f(t) in a Banach spaceE under the classical Tanabe-Sobolevski assumptions. These results do not require use of the fundamental solution and give new information about the hölder-regularity of the solutions.     

Generalized double affine Hecke algebras of rank 1 and quantized del Pezzo surfaces

Let D be a simply laced Dynkin diagram of rank r whose affinization has the shape of a star (i.e., D₄,E₆,E₇,E₈). To such a diagram one can attach a group G whose generators correspond to the legs of the affinization, have orders equal to the leg lengths plus 1, and the product of the generators is 1. The group G is then a 2-dimensional crystallographic group: G=Z??Z², where ? is 2, 3, 4, and 6, respectively. In this paper, we define a flat deformation H(t,q) of the group algebra C[G] of this group, by replacing the relations saying that the generators have prescribed orders by their deformations, saying that the generators satisfy monic polynomial equations of these orders with arbitrary roots (which are deformation parameters). The algebra H(t,q) for D₄ is the Cherednik algebra of type C^∨C₁, which was studied by Noumi, Sahi, and Stokman, and controls Askey-Wilson polynomials. We prove that H(t,q) is the universal deformation of the twisted group algebra of G, and that this deformation is compatible with certain filtrations on C[G]. We also show that if q is a root of unity, then for generic t the algebra H(t,q) is an Azumaya algebra, and its center is the function algebra on an affine del Pezzo surface. For generic q, the spherical subalgebra eH(t,q)e provides a quantization of such surfaces. We also discuss connections of H(t,q) with preprojective algebras and Painlevé VI.