A convergence result for a sequence of distributed-parameter optimal control problems

In this paper, we consider a sequence of abstract optimal control problems by allowing the cost integrand, the partial differential operator, and the control constraint set all to vary simultaneously. Using the notions of -convergence of functions,G-convergence of operators, and Kuratowski-Mosco convergence of sets, we show that the values of the approximating problems converge to that of the limit problem. Also we show that a convergent sequence of optimal pairs for the approximating problems has a limit which is optimal for the limit problem. A concrete example of parabolic optimal control problems is worked out in detail.This research was supported by NSF Grant No. DMS-88-02688.     

Some difficulties for Clifton,Redhead, and Butterfield's recent proof of nonlocality

Clifton, Redhead, and Butterfield have recently produced a generalization of the new non-locality proof due to Greenberger, Horne, and Zeilinger. Their proof is intended to have certain advantages over the standard Belltype arguments. One of these is that, although the proof allows for causally relevant apparatus hidden variables, it avoids the need for making certain standard locality assumptions about those parameters. On closer inspection, the part of the proof which supposedly removes the need for such assumptions is shown to rest on a fallacy. This renders the proof invalid. Two other, related difficulties are explored along the way.1. CRB actually provide two nonlocality proofs, but our concern here is with the first.2. Cf. p.173 for a precise formulation of these. (Any references in these footnotes are to [1].) Note that, due to the way CRB define the µ's, these conditions are not entirely independent.3. Cf. p.174. Note that CRB claim to derive the independence of outcomes from apparatus existents via our other assumptions without imposing any other conditions on their distributions, citing Lemma 2, which we shall object to in Sec. 4 below. This should be given a careful reading; Lemma 2 only purports to derive the statistical independence of outcomes fromlocal (i.e., nearby) apparatus hidden variables. The independence of outcomes fromdistant apparatus hidden variables is assumed, rather, in OL.4. Here, and in many places, I shall rely on [1] for the details.5. CRB have endorsed this definition of M (personal correspondence).6. More precisely, those values of do so for at least one possible quadruple of apparatus existents, and measurement results; and foruncountably many setting quadruples in (p.167).7. Given CRB's way of defining the µ's so as to include the information found in the 's, the terms in OF and most of those in OL would actually be ill-defined in most cases (for each ) inany theory. This is simply because the measuring devices cannot be set to measure in two different directions at once. However, it should be possible to remedy that situation by simply redefining µ so that it includes only information about the state of the apparatus not covered by .8. CRB endorse the first of these two suggestions (personal correspondence).9. I have omitted the arguments fromA,B,C andD. Wherever they appear without arguments they will implicitly have the three with which they were first introduced. Note that M⁺ should ideally be indexed by and , as there is no reason to think that all the same members of M will makeABCD = +1 for different values of and .10. Cf. note 6 above.11. Note that in light of this objection to their proof, we can see that CRB also fail to establish the link they claim exists between TF, strict correlations, and the condition they call TF.TF is the four-particle analogue of the conjunction of Shimony's outcome independence and his parameter independence (p.162). They rest their claim about the link on Lemma 2 (pp.162 and 165).     

Correlation inequalities for the truncated two-point function of an Ising ferromagnet

We establish the following new correlation inequalities for the truncated twopoint function of an Ising ferromagnet in a positive external field: _j ; _l ^T _j ; _k ^T _k ; _l ^T , and _j ; _l ^T _{k K j} ; _k ^T _{k l} , whereK is any set of sites which separatesj froml. The inequalities are also valid for the pure phases with zero magnetic field at all temperatures. Above the critical temperature they reduce to known inequalities of Griffiths and Simon, respectively.NSERC Postgraduate Fellow, 1978–1981. Research supported in part by NSF Grant No. PHY-78-25390-A02.     

Symmetries and correlation inequalities for classicaln-vector models

We describe a new class of single spin measures on then-dimensional sphereS _r ⁿ of radiusr (n 4) for which Lebowitz-type [J. Lebowitz,J. Stat. Phys. 16:463 (1977)] inequalities hold. This is achieved by an appropriate parametrization ofS _r ⁿ . The above class includes the uniform measures onxs Rⁿ ¦x¦ r for any 0 p r. The second topic of this paper is an abstract formulation of the first Griffiths inequality [R. B. Griffiths,J. Math. Phys. 8:478 (1967)] and the underlying symmetry property.     

再论Pedoe不等式的高维推广及应用

本文对欧氏空间E~n中的两个n维单形,给出了著名的Pedoe不等式的一个实质性推广,并讨论了它的应用.     

Convergence of the Finite Difference Scheme for a Fast Diffusion Equation in Porous Media

We are concerned with an implicit scheme for the finite difference solution to a nonlinear parabolic equation with a multivalued coefficient that describes the fast diffusion in a porous medium. The boundary conditions contain the multivalued function as well. We prove the stability and the convergence of the scheme, emphasizing the precise nature of convergence in this specific case, and compute the error level of the approximating solution. The method is aimed to simplify the numerical computations for the solutions to equations of this type, without performing an approximation of the multivalued function. The theory is illustrated by numerical results.     

Inequalities for linear combinations of monomials in p-Newton sequences

The partial order on monomials that corresponds to domination when evaluated at positive Newton sequences is fully understood. Here we take up the corresponding partial order on linear combinations of monomials. In part using analysis based upon the cone structure of the exponents in p-Newton sequences, an array of conditions is given for this new partial order. It appears that a characterization in general will be difficult. Within the case in which all coefficients are 1, the situation in which, for general sequence length, there are two monomials, each of length two and nonnegative integer exponents, the partial order is fully characterized. The characterization is combinatorial, in terms of indices in the monomials, and, already here there is much more than term-wise domination.     

New method to solve electromagnetic parabolic equation

This paper puts forward a new method to solve the electromagnetic parabolic equation （EMPE） by taking the vertically-layered inhomogeneous characteristics of the atmospheric refractive index into account. First, the Fourier transform and the convo- lution theorem are employed, and the second-order partial differential equation, i.e., the EMPE, in the height space is transformed into first-order constant coefficient differential equations in the frequency space. Then, by use of the lower triangular characteristics of the coefficient matrix, the numerical solutions are designed. Through constructing ana- lytical solutions to the EMPE, the feasibility of the new method is validated. Finally, the numerical solutions to the new method are compared with those of the commonly used split-step Fourier algorithm.     

On the Rayleigh-Plateau instability

In this paper,we study the surface instability of a cylindrical pore in the absence of stress. This instability is called the Rayleigh-Plateau instabilty. We consider the model developed by Spencer et ...