The Category-Theoretic Solution of Recursive Domain Equations

Recursive specifications of domains plays a crucial role in denotational semantics as developed by Scott and Strachey and their followers. The purpose of the present paper is to set up a categorical framework in which the known techniques for solving these equations find a natural place. The idea is to follow the well-known analogy between partial orders and categories, generalizing from least fixed-points of continuous functions over cpos to initial ones of continuous functors over $\omega $-categories. To apply these general ideas we introduce Wand's ${\bf O}$-categories where the morphism-sets have a partial order structure and which include almost all the categories occurring in semantics. The idea is to find solutions in a derived category of embeddings and we give order-theoretic conditions which are easy to verify and which imply the needed categorical ones. The main tool is a very general form of the limit-colimit coincidence remarked by Scott. In the concluding section we outline how compatibility considerations are to be included in the framework. A future paper will show how Scott's universal domain method can be included too.

instability of standing wave, global existence and blowup for the klein-gordon-zakharov system with different-degree nonlinearities

This paper discusses the Klein–Gordon–Zakharov system with different-degree nonlinearities in two and three space dimensions. Firstly, we prove the existence of standing wave with ground state by applying an intricate variational argument. Next, by introducing an auxiliary functional and an equivalent minimization problem, we obtain two invariant manifolds under the solution flow generated by the Cauchy problem to the aforementioned Klein–Gordon–Zakharov system. Furthermore, by constructing a type of constrained variational problem, utilizing the above two invariant manifolds as well as applying potential well argument and concavity method, we derive a sharp threshold for global existence and blowup. Then, combining the above results, we obtain two conclusions of how small the initial data are for the solution to exist globally by using dilation transformation. Finally, we prove a modified instability of standing wave to the system under study.

ON THE RATE-EQUATIONS OF SEMICONDUCTOR-LASERS FOR MEASURING SPONTANEOUS EMISSION FACTOR

The rate equations used for measuring spontaneous emission factor beta is examined through the comparison of numerical results, The results show that beta obtained by using total spontaneous emission rate R(sp) = N/tau sp is about double of that using R(sp) = BN2, The magnitude difference between the measured beta and that predicted by classical theory [8] will disappear by using more reasonable R(sp) = BN2. The results also show that the magnitude of beta may be underestimated by ignoring the nonradiative recombination rates.

Choice of calibration equations of the TSM method

For the reciprocal-test fixtures, there are six independent S-parameters to. be determined, and the thru-short-match (TSM) calibration can provide eight calibration equations. In this paper, the relation of calibration equations is investigated. It has been shown that the four equations obtained from the measurement with a transmission standard can be used simultaneously in the calibration. Experimental results show that the different choice of equations will lead to quite different solution, and the calibration accuracy can be improved by taking advantages of the established relation among the calibration equations and properly choosing calibration equations.

An eigenfunction expansion-variational method in prediction of the transverse thermal conductivity of fiber reinforced composites considering interfacial characteristics

An eigenfunction expansion-variational method based on a unit cell is developed to deal with the steady-state heat conduction problem of doubly-periodic fiber reinforced composites with interfacial thermal contact resistance or coating. The numerical results show a rapid convergence of the present method. The present solution provides a unified first-order approximation formula of the effective thermal conductivity for different interfacial characteristics and fiber distributions. A comparison with the present high-order results, available experimental data and micromechanical estimations demonstrates that the first-order approximation formula is a good engineering closed-form formula. An engineering equivalent parameter reflecting the overall influence of the thermal conductivities of the matrix and fibers and the interfacial characteristic on the effective thermal conductivity, is found. The equivalent parameter can greatly simplify the complicated relation of the effective thermal conductivity to the internal structure of a composite. (c) 2010 Elsevier Ltd. All rights reserved.

A multi-moment finite volume formulation for shallow water equations on unstructured mesh

A novel and accurate finite volume method has been presented to solve the shallow water equations on unstructured grid in plane geometry. In addition to the volume integrated average (VIA moment) for each mesh cell, the point values (PV moment) defined on cell boundary are also treated as the model variables. The volume integrated average is updated via a finite volume formulation, and thus is numerically conserved, while the point value is computed by a point-wise Riemann solver. The cell-wise local interpolation reconstruction is built based on both the VIA and the PV moments, which results in a scheme of almost third order accuracy. Efforts have also been made to formulate the source term of the bottom topography in a way to balance the numerical flux function to satisfy the so-called C-property. The proposed numerical model is validated by numerical tests in comparison with other methods reported in the literature. (C) 2010 Elsevier Inc. All rights reserved.

Solitary magnon excitations in a one-dimensional antiferromagnet with Dzyaloshinsky-Moriya interactions

We investigate solitary excitations in a model of a one-dimensional antiferromagnet including a single-ion anisotropy and a Dzyaloshinsky-Moriya antisymmetric exchange interaction term. We employ the Holstein-Primakoff transformation, the coherent state ansatz and the time variational principle. We obtain two partial differential equations of motion by using the method of multiple scales and applying perturbation theory. By so doing, we show that the motion of the coherent amplitude must satisfy the nonlinear Schrodinger equation. We give the single-soliton solution.

Unified expressions of all integral variational principles

In terms of the quantitative causal principle, this paper obtains a general variational principle, gives unified expressions of the general, Hamilton, Voss, Holder, Maupertuis-Lagrange variational principles of integral style, the invariant quantities of the general, Voss, Holder, Maupertuis-Lagrange variational principles are given, finally the Noether conservation charges of the general, Voss, Holder, Maupertuis-Lagrange variational principles axe deduced, and the intrinsic relations among the invariant quantities and the Noether conservation charges of all the integral variational principles axe achieved.

Cosmological equations and thermodynamics on apparent horizon in thick braneworld

We derive the generalized Friedmann equation governing the cosmological evolution inside the thick brane model in the presence of two curvature correction terms: a four-dimensional scalar curvature from induced gravity on the brane, and a five-dimensional Gauss-Bonnet curvature term. We find two effective four-dimensional reductions of the generalized Friedmann equation in some limits and demonstrate that the reductions but not the generalized Friedmann equation can be rewritten as the first law of equilibrium thermodynamics on the apparent horizon of thick braneworld.

The solution properties of phenolphthalein poly(arylether sulfone) .1. The solubility behavior and determination of M-II equations

A series of narrow molecular weight distribution fractions of phenolphthalein polyarylether sulfone(PES-C) had been prepared, The <(M) over bar (w)> of these fractions were determined by conventional light scattering method. The [eta] and the Huggins slope constant k' in DMF, CHCl3 and 1,2-dichloroethane were also determined. The Huggins constants are greater than 0.5 in all of these solvents showing a special solubility behavior. The Mark-Houwink equations of PES-C in these solvents at 25 degrees C are [eta] = 2.79 x 10(-2) <(M) over bar (0.615)(w)> (DMF); [eta] = 3.96 x 10(-2) <(M) over bar (0.58)(w)> (CHCl3); [eta] = 7.40 x 10(-2) <(M) over bar (0.52)(w)> (CH2ClCH2Cl).