Consequences of Schanuel's condition for zeros of exponential terms

Assuming “Schanuel's Condition” for a certain class of exponential fields, Sturm's technique for polynomials in real closed fields can be extended to more complicated exponential terms in the corresponding exponential field. Hence for this class of terms the exact number of zeros can be calculated. These results give deeper insights into the model theory of exponential fields. MSC: 03C65, 03C60, 12L12.     

On the Average Number of Unitary Factors of Finite Abelian Groups (II)

Let t(G) be the number of unitary factors of finite abelian group G. In this paper we prove T(x)=∑ _|G|≤x t(G) = main terms for any exponent pair (κ1/2 + 2κ), which improves on the exponent 9/25 obtained by Xiaodong Cao and the author. Received December 8, 1998, Revised April 27, 1998, Accepted June 12, 1998     

Linear Differential Equations with Variable Coefficients in Regular and Some Singular Cases

In this paper the asymptotic properties as t → + ∞ for a single linear differential equation of the form x⁽ⁿ⁾ + a₁ (t)x^(n?1)+…. + a_n(t)x = 0, where the coefficients aj (z) are supposed to be of the power order of growth, are considered. The results obtained in the previous publications of the author were related to the so called regular case when a complete set of roots {λ,(t)}, j = 1, 2, …, n of the characteristic polynomial yⁿ + a₁ (t)y^n?1 + … + a_n(t) possesses the property of asymptotic separability. One of the main restrictions of the regular case consists of the demand that the roots of the set {λ,(t)} have not to be equivalent in pairs for t → + ∞. In this paper we consider the some more general case when the set of characteristic roots possesses the property of asymptotic independence which includes the case when the roots may be equivdent in pairs. But some restrictions on the asymptotic behaviour of their differences λ_i(t)→ λ_j(t) are preserved. This case demands more complicated technique of investigation. For this purpose the so called asymptotic spaces were introduced. The theory of asymptotic spaces is used for formal solution of an operator equation of the form x = A(x) and has the analogous meaning as the classical theory of solving this equation in Band spaces. For the considered differential equation, the main asymptotic terms of a fundamental system of solution is given in a simple explicit form and the asymptotic fundamental system is represented in the form of asymptotic Emits for several iterate sequences.     

The Feynman-Stratonovich semigroup and stratonovich integral expansions in nonlinear filtering

Representations for the solution of the Zakai equation in terms of multiple Stratonovich integrals are derived. A new semigroup (the Feynman-Stratonovich semigroup) associated with the Zakai equation is introduced and using the relationship between multiple Stratonovich integrals and iterated Stratonovich integrals, a representation for the unnormalized conditional density,u(t,x), solely in terms of the initial density and the semigroup, is obtained. In addition, a Fourier seriestype representation foru(t,x) is given, where the coefficients in this representation uniquely solve an infinite system of partial differential equations. This representation is then used to obtain approximations foru(t,x). An explicit error bound for this approximation, which is of the same order as for the case of multiple Wiener integral representations, is obtained. Research supported by the National Science Foundation and the Air Force Office of Scientific Research Grant No. F49620 92 J 0154 and the Army Research Office Grant No. DAAL03-92-G0008.     

Taking pth Roots Modulo Polynomials over Finite Fields

In this contribution we show how to find y(x) in the polynomial equation y(x) ^p t(x) mod f(x), where t(x), y(x) and f(x) are polynomials over the field GF(p ^m). The solution of such equations are thought for in many cases, e.g., for p = 2 it is a step in the so-called Patterson Algorithm for decoding binary Goppa codes.     

New approach to the numerical solution of forward-backward equations

This paper is concerned with the approximate solution of functional differential equations having the form: x′(t) = αx(t) + βx(t - 1) + γx(t + 1). We search for a solution x, defined for t ∈ [−1, k], k ∈ ℕ, which takes given values on intervals [−1, 0] and (k-1, k]. We introduce and analyse some new computational methods for the solution of this problem. Numerical results are presented and compared with the results obtained by other methods.      

Schanuel's Conjecture and Algebraic Roots of Exponential Polynomials

In this article, I will prove that assuming Schanuel's conjecture, an exponential polynomial with algebraic coefficients can have only finitely many algebraic roots. Furthermore, this proof demonstrates that there are no unexpected algebraic roots of any such exponential polynomial. This implies a special case of Shapiro's conjecture: if p(x) and q(x) are two exponential polynomials with algebraic coefficients, each involving only one iteration of the exponential map, and they have common factors only of the form exp (g) for some exponential polynomial g, then p and q have only finitely many common zeros.     

Almost sure exponential stabilization by stochastic feedback control based on discrete-time observations

Since Mao initiated the study of stabilization of ordinary differential equations (ODEs) by stochastic feedback controls based on discrete-time state observations in 2016, no more work on this intriguing topic has been reported. This article investigates how to stabilize a given unstable linear non-autonomous ODE by controller σ(t)x(δ_t)dB(t), and how to stabilize an unstable nonlinear hybrid SDE by controller G(r(δ_t))x(δ_t)dB(t), where δ_t represents time points of observation with sufficiently small observation interval, B(t) is a Brownian motion and r(t) is the Markov Chain, in the sense of pth moment (0 < p < 1) and almost sure exponential stability.     

Existence of pseudo-almost automorphic solutions for nonlinear differential equations

In this paper, we discuss the existence of pseudo-almost automorphic solutions to linear differential equation which has an exponential trichotomy~ and the results also hold for some nonlinear equations with the form x＇（t） = f（t,x（t）） ＋ λg（t,x（t））, where f,g are pseudo-almost automorphic functions. We prove our main result by the application of Leray-Schauder fixed point theorem.     

Almost automorphic solutions of nonautonomous evolution equations

In this paper, we establish some new theorems about the existence of almost automorphic solutions to nonautonomous evolution equations u^′(t)=A(t)u(t)+f(t) and u^′(t)=A(t)u(t)+f(t,u(t)) in Banach spaces. As we will see, our results allow for a more general A(t) to some extent. An example is also given to illustrate our results. In addition, by means of an example, we show that one cannot ensure the existence of almost automorphic solutions to u^′(t)=A(t)u(t)+f(t) even if the evolution family U(t,s) generated by A(t) is exponentially stable and fAA(X).     

The Generalized Dirichlet to Neumann Map for the KdV Equation on the Half-Line

For the two versions of the KdV equation on the positive half-line an initial-boundary value problem is well posed if one prescribes an initial condition plus either one boundary condition if q _t and q _xxx have the same sign (KdVI) or two boundary conditions if q _t and q _xxx have opposite sign (KdVII). Constructing the generalized Dirichlet to Neumann map for the above problems means characterizing the unknown boundary values in terms of the given initial and boundary conditions. For example, if {q(x,0),q(0,t)} and {q(x,0),q(0,t),q _x (0,t)} are given for the KdVI and KdVII equations, respectively, then one must construct the unknown boundary values {q _x (0,t),q _xx (0,t)} and {q _xx (0,t)}, respectively. We show that this can be achieved without solving for q(x,t) by analysing a certain “global relation” which couples the given initial and boundary conditions with the unknown boundary values, as well as with the function Φ ^(t)(t,k), where Φ ^(t) satisfies the t-part of the associated Lax pair evaluated at x=0. The analysis of the global relation requires the construction of the so-called Gelfand–Levitan–Marchenko triangular representation for Φ ^(t). In spite of the efforts of several investigators, this problem has remained open. In this paper, we construct the representation for Φ ^(t) for the first time and then, by employing this representation, we solve explicitly the global relation for the unknown boundary values in terms of the given initial and boundary conditions and the function Φ ^(t). This yields the unknown boundary values in terms of a nonlinear Volterra integral equation. We also discuss the implications of this result for the analysis of the long t-asymptotics, as well as for the numerical integration of the KdV equation.     

Exponential stability of wave equations with potential and indefinite damping

First, we consider the linear wave equation utt−uxx+a(x)ut+b(x)u=0 on a bounded interval (0,L)⊂R. The damping function a is allowed to change its sign. If is positive and the spectrum of the operator (_∂xx−b) is negative, exponential stability is proved for small . Explicit estimates of the decay rate ω are given in terms of and the largest eigenvalue of (_∂xx−b). Second, we show the existence of a global, small, smooth solution of the corresponding nonlinear wave equation utt−σx(ux)+a(x)ut+b(x)u=0, if, additionally, the negative part of a is small enough compared with ω.     

Envelope viscosity solutions of first- and second-order PDEs with u-dependence

General envelope methods are introduced which may be used to embed equations with u-dependence into equations without solution dependence. Furthermore, these methods present a rigorous way to consider so-called nodal solutions. That is, if w(t,x,z) is the viscosity solution of some pde, the nodal solution of an associated pde is a function u(t,x) so that w(t,x,u(t,x)) = 0. Examples are given to first- and second-order pdes arising in optimal control, differential games, minimal time problems, scalar conservation laws, geometric-type equations, and forward backward stochastic control.     

Remarks on extremal solutions of differential equations with advanced argument

We show the existence of absolutely continuous extremal solutions to the problemx′(t)=f(t, x)h(t)))+g(t)),x(0)=x ₀, whereh is an arbitrary continuous deviated argument. Conditions for the uniqueness of solutions are given. Research partialy supported by grant UG BW 5100 - 5 - 0143 - 4     

Nested Log-Concavity

We give conditions on the coefficients of a polynomial p(x) so that p(x + t) be log-concave or strictly log-concave. Several applications are given: if p(x) is a polynomial with nonnegative and nondecreasing coefficients, then p(x + t) is strictly log-concave for all t ≥ 1; for any polynomial p(x) with positive leading coefficient, there is t ₀ ≥ 0 such that for any t ≥ t ₀ it holds that the coefficients of p(x + t) are positive, strictly decreasing, and strictly log-concave; if p(x) is a log-concave polynomial with nonnegative coefficients and no internal zeros, then p(x + t) is strictly log-concave for all t > 0; Betti numbers of lexsegment monomial ideals are strictly log-concave.     

Influence of anti-diagonals on the asymptotic stability for linear differential systems

Sufficient conditions are given for asymptotic stability of the linear differential system x′  =  B(t)x with B(t) being a 2  ×  2 matrix. All components of B(t) are not assumed to be positive. The matrix B(t) is naturally divisible into a diagonal matrix D(t) and an anti-diagonal matrix A(t). Our concern is to clarify a positive effect of the anti-diagonal part A(t)x on the asymptotic stability for the system x′  =  B(t)x.      

On the Instability of Linear Nonautonomous Delay Systems

The unstable properties of the linear nonautonomous delay system x(t) = A(t)x(t) + B(t)x(t – r(t)), with nonconstant delay r(t), are studied. It is assumed that the linear system y(t) = (A(t) + B(t))y(t) is unstable, the instability being characterized by a nonstable manifold defined from a dichotomy to this linear system. The delay r(t) is assumed to be continuous and bounded. Two kinds of results are given, those concerning conditions that do not include the properties of the delay function r(t) and the results depending on the asymptotic properties of the delay function.     

Influence of anti-diagonals on the asymptotic stability for linear differential systems

Sufficient conditions are given for asymptotic stability of the linear differential system x′  =  B(t)x with B(t) being a 2  ×  2 matrix. All components of B(t) are not assumed to be positive. The matrix B(t) is naturally divisible into a diagonal matrix D(t) and an anti-diagonal matrix A(t). Our concern is to clarify a positive effect of the anti-diagonal part A(t)x on the asymptotic stability for the system x′  =  B(t)x.     

方程x'(t)=ax(t)+bx(3[(t+1)/3])的数值稳定性分析

本文研究了分段连续型微分方程x''(t)=ax(t)+bx(3[(t+1)/3]) Euler-Maclaurin方法的数值稳定性问题.利用特征分析的方法,获得了数值解稳定的充分条件,进而证明了Euler-Maclaurin方法保持了精确解的稳定性.最后给出了一些数值例子.