Search

This note concerns the paper "On the controllability of a coupled system of two Korteweg–de Vries equations" by Micu et al. [2]. They study a nonlinear coupled system of two Korteweg–de Vries equations and prove that the system is controllable by using four boundary controls. Here, we prove that in some cases it is possible to get the controllablity of the system by using only two controls. This can be done depending on both the spatial domain and the control time.

Using Hodge theory and L2-cohomology we study the singularities and topology of configuration and moduli spaces of polygonal linkages in the 2-sphere. As a consequence we describe the local deformation space of a folded paper cone in R3.

Concerns have been voiced about the correctness of certain technical points in DiPerna’s paper (Comm. Math. Phys. 91 (1983), 1–30) related to the vacuum state. In this note, we provide clarifications. Our conclusion is that these concerns mainly arise from the statement of a lemma for constructing the viscous approximate solutions and some typos; however, the gap can be either fixed by correcting the statement of the lemma and the typos or bypassed by employing the finite difference methods. In [Di], DiPerna found a global entropy solution of the isentropic Euler equations for the following exponents in the equation of state for the pressure: γ = 1 + 2/(2m+ 1), m ≥ 2 integer. (1) He divided his arguments into the following two steps. 1. Compactness framework Assume that a sequence of approximate solutions (ρ (x, t),m (x, t)), 0 ≤ t ≤ T , satisfies: (i). There exists a constant C(T ) > 0, independent of > 0, such that 0 ≤ ρ (x, t) ≤ C, |m (x, t)/ρ (x, t)| ≤ C; (ii). For all weak entropy pairs (η, q) of the isentropic Euler equations, the measure sequence η(ρ ,m )t + q(ρ ,m )x is contained in a compact subset of H −1 loc (R× [0, T ]). If γ satisfies (1), then the sequence (ρ (x, t),m (x, t)) is compact in Lloc(R× [0, T ]). The reason for the restriction on the number γ is that, in such a case, any weak entropy function is a polynomial function of the Riemann invariants (w, z). This is the key step in DiPerna’s arguments and is also his main contribution to the compensated compactness method in this aspect. Received by the editors May 16, 1996. 1991 Mathematics Subject Classification. Primary 35K55, 35L65; Secondary 76N15, 35L60, 65M06.

The Award Committee – Michael Gnewuch, University of Kaiserslautern, Germany and Friedrich Pillichshammer, Johannes Kepler University, Austria – determined that the following two papers exhibited exceptional merit and therefore awarded the prize to: ShuTezuka for his paper ‘‘On the discrepancy of generalizedNiederreiter sequences’’, which appeared in June–August, 2013. Vol. 29, pp. 240–247. Joos Heintz, Bart Kuijpers, and Andres Rojas Paredes for their paper ‘‘Software engineering and complexity in effective Algebraic Geometry’’, which appeared in February, 2013. Vol. 29, pp. 92–138. The $3000 prize will be divided between the winners. Each author will also receive a plaque.

We fill a gap in the proof of one of the central theorems in Epp's paper, concerning $p$-cyclic extensions of complete discrete valuation rings., Comment: 3 pages

International audience; In a previous paper, we have described the construction of an automaton from a rational expression which has the property that the automaton built from an expression which is itself computed from a co-deterministic automaton by the state elimination method is co-deterministic. It turned out that the definition on which the construction is based was inappropriate, and thus the proof of the property was flawed. We give here the correct definition of the broken derived terms of an expression which allow to define the automaton and the detailed full proof of the property.

(1996). A Parenthetical Note (to a Paper of Guy) Mathematics Magazine: Vol. 69, No. 4, pp. 257-260.

In their 1993 paper, W. Goh and J. Wimp derive interesting asymptotics for the moments cn(?) ? cn = ?10tnd?(t), n = 0, 1, 2, ..., of some singular distributions ? (with support ? 0, 1]), which contain oscillatory terms. They suspect, that this is a general feature of singular distributions and that this behavior provides a striking contrast with what happens for absolutely continuous distributions. In the present note, however, we give an example of an absolutely continuous measure with asymptotics of moments containing oscillatory terms, and an example of a singular measure having very regular asymptotic behavior of its moments. Finally, we give a short proof of the fact that the drop-off rate of the moments is exactly the local measure dimension about 1 (if it exists).

The spectral gap conjecture of M. van den Berg [2, formula (65)] asserts that λ2 − λ1 ≥ 3π for all convex euclidean domains of diameter 1, where λ1 and λ2 denote the first two eigenvalues of the Dirichlet Laplacian. Notice that equality holds for the 1-dimensional unit interval, which can be regarded also as a degenerate n-dimensional rectangular box. The gap estimate is conjectured to hold more generally for Schrodinger operators with convex potentials, under Dirichlet boundary conditions; see the work of S.-T. Yau and collaborators [9, 11]. This Schrodinger gap conjecture was proved some time ago in 1 dimension by R. Lavine [8], and more recently in all dimensions by B. Andrews and J. Clutterbuck [1]. The proof in this journal by H. Donnelly [3] of the original gap conjecture in 2 dimensions (for the Dirichlet Laplacian with zero potential) is not correct. The Editors of Mathematische Zeitschrift have asked us to describe the flaws in the proof, in order to clarify the state of the literature. Donnelly’s approach to the problem is a natural one: first perform a shape optimization to rule out a non-degenerate minimizing domain, and then analyze the spectral gap for a sequence of domains degenerating to an interval, with the help of results by D. Jerison [5]. (For some history on this approach, and on the gap conjecture more generally, see the report on the AIM meeting “Low Eigenvalues of Laplace and Schrodinger Operators” [10], especially page 12 of the open problems list.) The error lies in the proof of the shape optimization step, as we now explain. Donnelly wishes to prove that no minimizing domain can exist for

This note gives the correct form of a result (Theorem 2, p. 478) published recently in [Math. Slovaca 60 (2010), 471–484].

This note is related to a nice short paper of M. Ochiai. We prove in a very fast way that the two-parameter family of Heegaard diagrams, constructed by Ochiai, encodes the genuine three-sphere. The result is obtained, up to isotopy, by using a sequence of only three moves in this order: a Whitehead–Zieschang reduction, a band sum and a cancellation of a handle.

Let π: X′ → X be a finite surjective morphism of complex projective manifolds which can be factored by an embedding of X′ into the total space of an ample line bundle 𝓛 over X. A theorem of Lazarsfeld asserts that Betti numbers of X and X′ are equal except, possibly, the middle ones. In the present paper it is proved that the middle numbers are actually non-equal if either 𝓛 is spanned and deg π ≥ dim X, or if X is either a hyperquadric or a projective space and π is not a double cover of an odd-dimensional projective space by a hyperquadric.

On construit dans [R] des representants explicites des fibres principaux de fibre S 3 au-dessus de S 7 ; on en deduit des actions libres et explicites de S 3 , dont les quotients sont des spheres exotiques de dimension 7. La description de ces actions est basee sur une formule de classification des fibres. Or cette formule est incorrecte. Le theoreme 1 corrige cette formule ainsi que la formule de classification ; le theoreme 2 exhibe les indices corrects des spheres exotiques de dimension 7 qui apparaissent comme quotient des actions libres de S 3 .

A SIRS epidemiological model with two subpopulations and vital dynamics is analyzed. Both subpopulations sizes are considered constant by assuming that the birth and the death rates are equal. We consider the case where one subpopulation is a core, that is a very infectious small group, responsible for a big fraction of the incidence. For this case thresholds are determined and the main equilibrium points for the four dimensional system are shown to be globally stable by using a known Theorem of Markus on asymptotically autonomous systems. This system models the dynamics of typhoid fever , where the core is the group of food handlers . The results presented in this work are an extension of those presented in [3].

We correct two clerical errors made in the paper ”A Lower Bound for the Length of Closed Geodesics on a Finsler Manifold”.

This paper considers the existence of global weak solutions for the Navier-Stokes equations in the infinite cylinder R n × R + {{\mathbf {R}}^n} \times {{\mathbf {R}}_ + } with initial data in L r {L^r} , n ≥ 3 n \geq 3 , 1 > r > ∞ 1 > r > \infty . An imbedding theorem as well as related initial value problems are also studied, thus completing results in [2].

We generalize and give a simple proof of a Theorem of Blasco. For a topological space X , C(X) denotes the algebra of real valued continuous functions on X under the operation (αf + gh)(x) := αf(x) + h(x)g(x) for each f, g, h ∈ C(X) and α ∈ R. An algebra A on X means a subalgebra of C(X) which contains the constant functions. By a ∗-algebra A on X we mean an algebra on X and all bounded functions in A separate points from the closed sets. Let A be an algebra on X and π : A −→ R be a (algebra) homomorphism and α be a cardinal number. π is said to be α-evaluating if for each subset B of A with cardinality at most α there exits xB ∈ X such that π(f) = f(xB) for each f ∈ B. If α = |N|(=the cardinal number of the set of the natural numbers N), the α-evaluating homomorphism is called countable evaluating. Let α be a cardinal number. Recall that a topological space X is called αLindelof if for each open cover U has a subcover V such that the cardinality of V is at most α. A lindelof space means a |N|-Lindelof space. The following theorem is given in [1] as one of the main results. Theorem 1. Let X be a completely regular Hausdorff space. Then X is Lindelof if and only if each countable evaluating homomorphism π on a ∗-algebra A on X is point evaluating. Received June 9, 2004; accepted June 30, 2004. Communicated by Bor-Luh Lin. 2000 Mathematics Subject Classification: Primary 54C35, 46E25.

Most of the known continued fraction expansions of special functions are limit periodic. This means that the classical approximants S n (0) are normally not the best ones to use for approximations. In this paper we suggest a number of approximants S n (w n ) which converge faster. The estimation of the improvement and bounds for the error |f - Sn(wn)| (which we still call the truncation error) are mainly obtained by means of Thron's parabola sequence theorem and the oval sequence theorem.

In Venkaiah [1] an algorithm for solving linear optimization problems based on the idea of the projective algorithm of Karmarkar, is proposed. The essential simplification in the new algorithm is the use of a fixed projection operator. In this way the algorithm requires onlyO(n2) operations to obtain a sufficient exact solution. In this note it is shown that in some special cases the algorithm of Venkaiah yields a feasible solution that is far from the optimal one.

Let H(Dn) be the space of holomorphic functions on the unit polydisk Dn, and let , where p, q> 0, α = (α1,…,αn) with αj > -1, j =1,..., n, be the class of all measurable functions f defined on Dn such thatwhere Mp(f,r) denote the p-integral means of the function f. Denote the weighted Bergman space on . We provide a characterization for a function f being in . Using the characterization we prove the following result: Let p> 1, then the Cesàro operator is bounded on the space .

One result concerning the series representation for the continuous Jacobi transform in Walter and Zayed [1] is improved, the same thought also can be applied to the related results in [1].

In section 8.3 of our paper "Duality and Flat Base Change on Formal Schemes" (http://arXiv.org/abs/alg-geom/9708006) some important results concerning localization of, and preservation of coherence by, basic duality functors, were based on the false statement that any closed formal subscheme of an open subscheme of the completion P of a relative projective space is an open subscheme of a closed formal subscheme of P. In this note, the said results are provided with solid foundations.

In the previous paper [T] we gave a classification of hermitian forms over the real function fieldk=R(t) and its completionsk v with respect to valuationsv trivial onR. Unfortunately in the local case the arguments given for cases A and D, in general, were not correct. Therefore the resulting local and local-global classifications obtained were incorrect. I would like also to thank Dr. D. Hoffmann for pointing out these mistakes and the referee for useful comments. Here we would like to make necessary corrections to [T]. We keep the same notation used there, except that in the first paragraph,J is not the standard involution of a quaternion division algebraD (with basis {1,i,j,ij}). All hermitian forms will be hermitian forms with respect toJ, with values inD.

The date of publication of Helmholtz's first paper on the foundations of geometry is discussed.

The concepts of parallel transport and intrinsic (Gaussian) curvature arising in the differential geometry of surfaces may be pleasantly and concretely investigated using paper models and f...