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     

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

Design and synthesis of an aminobenzo-15-crown-5-labeled estradiol tethered with disulfide linkage

A novel measuring method (electroimmunoassay) of 17β-estradiol (E₂) in urine or blood was proposed on the basis of a competition between E₂ and a labeled E₂ against an immobilizing antibody. To evaluate the principle, 3-{4-[17β-hydroxy-1,3,5(10)-estratrien-3-yloxy]butyldisulfanyl}-N-(6,7,9,10,12,13,15,16-octahydro-5,8,11,14,17-pentaoxabenzocyclopentadecen-2-yl) succinamic acid (1) was designed and synthesized as a novel aminobenzo-15-crown-5-containing E₂ tethered with disulfide linkage. Two thiol-intermediates 5b and 19c were efficiently synthesized from mercaptosuccinic acid 7 and 4,4′-dithiodibutyric acid 12, respectively. Formations of disulfide linkages from less reactive thiols were examined and 4-phenyl-1,2,4-triazoline-3,5-dione (PTAD) could be employed for the formation of an unsymmetrical disulfide 20c from 5b and 19c. Then, removal of TMS- and allyl-protecting groups in 20c successfully afforded the crown ether-containing E₂1.     

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.     

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.     

THE SPACE—FRACTIONAL TELEGRAPH EQUATION AND THE RELATED FRACTIONAL TELEGRAPH PROCESS

The space-fractional telegraph equation is analyzed and the Fourier transform of its fundamental solution is obtained and discussed.A symmetric process with discontinuous trajectories, whose transition function satisfies the space-fractional telegraph equation, is presented. Its limiting behaviour and the connection with symmetric stable processes is also examined.     

Analytic models for commuting operator tuples on bounded symmetric domains

For a domain in and a Hilbert space of analytic functions on which satisfies certain conditions, we characterize the commuting -tuples of operators on a separable Hilbert space  such that is unitarily equivalent to the restriction of to an invariant subspace, where is the operator -tuple on the Hilbert space tensor product  . For the unit disc and the Hardy space , this reduces to a well-known theorem of Sz.-Nagy and Foias; for a reproducing kernel Hilbert space on such that the reciprocal of its reproducing kernel is a polynomial in and  , this is a recent result of Ambrozie, Müller and the second author. In this paper, we extend the latter result by treating spaces for which ceases to be a polynomial, or even has a pole: namely, the standard weighted Bergman spaces (or, rather, their analytic continuation) on a Cartan domain corresponding to the parameter in the continuous Wallach set, and reproducing kernel Hilbert spaces for which is a rational function. Further, we treat also the more general problem when the operator is replaced by ,  being a certain generalization of a unitary operator tuple. For the case of the spaces on Cartan domains, our results are based on an analysis of the homogeneous multiplication operators on , which seems to be of an independent interest.