Glivenko Classes of Sequents for Temporal Logic with Time Gaps

Let LB be a sequent calculus of the first-order classical temporal logic TB with time gaps. Let, further, LBJ be the intuitionistic counterpart of LB. In this paper, we consider conditions under which a sequent is derivable in the calculus LBJ if and only if it is derivable in the calculus LB. Such conditions are defined for sequents with one formula in the succedent (purely Glivenko -classes) and for sequents with the empty succedent (Glivenko -classes).     

Estimation of the Density of Hypoelliptic Diffusion Processes with Application to an Extended Itô's Formula

We prove a uniform bound for the density, p _t (x), of the solution at time t(0, 1] of a 1-dimensional stochastic differential equation, under hypoellipticity conditions. A similar bound is obtained for an expression involving the distributional derivative (with respect to x) of p _t (x). These results are applied to extend the Itô formula to the composition of a function (satisfying slight regularity conditions) with a hypoelliptic diffusion process in the spirit of the work of Föllmer et al. ⁽⁵⁾     

Calculation of electron wave functions and refractive index of Ne

The radial wave functions of inner electron shell and outer electron shell of a Ne atom were obtained by the approximate analytical method and tested by calculating the ground state energy of the Ne atom. The equivalent volume of electron cloud and the refractive index of Ne were calculated. The calculated refractive index agrees well with the experimental result. Relationship between the refractive index and the wave function of Ne was discovered. Supported by the New Star Program of Beijing Science and Technology, China (Grant No. 952870400), the Beijing Municipal Commission of Education, and the Excellent Young Teachers Program of Ministry of Education, China     

Wavelets in Banach Spaces

We describe a construction of wavelets (coherent states) in Banach spaces generated by admissible group representations. Our main targets are applications in pure mathematics while connections with quantum mechanics are mentioned. As an example, we consider operator-valued Segal–Bargmann-type spaces and the Weyl functional calculus.     

Fractal differential equations and fractal-time dynamical systems

Differential equations and maps are the most frequently studied examples of dynamical systems and may be considered as continuous and discrete time-evolution processes respectively. The processes in which time evolution takes place on Cantor-like fractal subsets of the real line may be termed as fractal-time dynamical systems. Formulation of these systems requires an appropriate framework. A new calculus calledF ^α-calculus, is a natural calculus on subsetsF⊂ R of dimension α,0 < α ≤ 1. It involves integral and derivative of order α, calledF ^α-integral andF ^α-derivative respectively. TheF ^α-integral is suitable for integrating functions with fractal support of dimension α, while theF ^α-derivative enables us to differentiate functions like the Cantor staircase. The functions like the Cantor staircase function occur naturally as solutions ofF ^α-differential equations. Hence the latter can be used to model fractal-time processes or sublinear dynamical systems. We discuss construction and solutions of some fractal differential equations of the form

On Strongly Petrovskii's Parabolic SPDEs in Arbitrary Dimension and Application to the Stochastic Cahn–Hilliard Equation

In this paper we show that the Cahn–Hilliard stochastic PDE has a function valued solution in dimension 4 and 5 when the perturbation is driven by a space-correlated Gaussian noise. We study the regularity of the trajectories of the solution and the absolute continuity of its law at some given time and position. This is done by showing a priori estimates which heavily depend on the specific equation, and by proving general results on stochastic and deterministic integrals involving general operators on smooth domains of ^d which are parabolic in the sense of Petrovskii, and do not necessarily define a semi-group of operators. These last estimates might be used in a more general framework.     

The General Solution of Ming Antu＇s Problem

In two centuries ago,Ming Autu discovered the famous Catalan numbers while he tried to expand the function sin(2px) as power series of sin(x) for the case p=1,2,3.Very recently,P.J.Larcombe shows that for any p,sin(2px) can always be expressed as an infinite power series of sin(x) involving precise combinations of Catalan numbers as part of all but the initial p terms and gave all expansions for the case p=4,5.The present paper presents the desired expansion for arbitrary integer p.     

Examples of Twisted Cyclic Cocycles from Covariant Differential Calculi

For two covariant differential *-calculi, the twisted cyclic cocycle associated with the volume form is represented in terms of commutators for some self-adjoint operator and some *-representation of the underlying *-algebra.     

Elliptic Equations with Degenerate Coercivity： Gradient Regularity

In this paper, we prove higher integrability results for the gradient of the solutions of some elliptic equations with degenerate coercivity whose prototype is where for example, a(x,u)=(1+|u|)^−θ with θ ∈ (0,1). We study the same problem for minima of functionals closely related to the previous equation.