On the Existence of a Maximal Cauchy Development for the Einstein Equations: a Dezornification

In 1969, Choquet-Bruhat and Geroch established the existence of a unique maximal globally hyperbolic Cauchy development of given initial data for the Einstein equations. Their proof, however, has the unsatisfactory feature that it relies crucially on the axiom of choice in the form of Zorn’s lemma. In this paper, we present a proof that avoids the use of Zorn’s lemma. In particular, we provide an explicit construction of this maximal globally hyperbolic development.     

The submodule structure of tyeyl modules for groups of type a1

The submodule structure of the so-called (Carter and Lusztig 131) weyl modules for groups of type A₁ has been announced by Carter and Cline [2]. In their proof they use graph-theoretical machinery, and although it has not been published, we have been told by R. Carter that it is somewhat lengthy. In the present paper, we give a shorter proof using the concept of the hyperalgebra of a Lie algebra.     

A proof of a partition theorem for

In this note we give a proof of Devlin's theorem via Milliken's theorem about weakly embedded subtrees of the complete binary tree . Unlike the original proof which is (still unpublished) long and uses the language of category theory, our proof is short and uses direct combinatorial reasoning.

     

On minimal elements for a partial order of prime knots

In this paper, applying Chebyshev polynomials we give a basic proof of the irreducibility over the complex number field of the defining polynomial of SL₂(C)-character variety of twist knots in infinitely many cases. The irreducibility, combined with a result in the paper of M. Boileau, S. Boyer, A.W. Reid and S. Wang in 2010, shows the minimality of infinitely many twist knots for a partial order on the set of prime knots defined by using surjective group homomorphisms between knot groups. In Appendix B, we also give a straightforward proof of the result of Boileau et al.     

A generalization of a conservativity theorem for classical versus intuitionistic arithmetic

A basic result in intuitionism is Π⁰₂‐conservativity. Take any proof p in classical arithmetic of some Π⁰₂‐statement (some arithmetical statement ?x.?y.P(x, y), with P decidable). Then we may effectively turn p in some intuitionistic proof of the same statement. In a previous paper [1], we generalized this result: any classical proof p of an arithmetical statement ?x.?y.P(x, y), with P of degree k, may be effectively turned into some proof of the same statement, using Excluded Middle only over degree k formulas. When k = 0, we get the original conservativity result as particular case. This result was a by‐product of a semantical construction. J. Avigad of Carnegie Mellon University, found a short, direct syntactical derivation of the same result, using H. Friedman's A‐translation. His proof is included here with his permission. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

An alternative proof of the mountain pass theorem for a class of functionals

We present an alternative proof of the Mountain Pass Theorem by means of the classical Ekeland Variational Principle for a class of ${\mathcal{C}^1}$ -functionals. In this new proof we avoid the machinery of convex analysis by a simpler characterization of the critical values of the functional.     

Convergence of Ishikawa Iterates for a Multi-Valued Mapping with a Fixed Point

Existence of fixed points of multivalued mappings that satisfy a certain contractive condition was proved by N. Mizoguchi and W. Takahashi. An alternative proof of this theorem was given by Peter Z. Daffer and H. Kaneko. In the present paper, we give a simple proof of that theorem. Also, we define Mann and Ishikawa iterates for a multivalued map T with a fixed point p and prove that these iterates converge to a fixed point q of T under certain conditions. This fixed point q may be different from p. To illustrate this phenomenon, an example is given. This work is supported by the U. G. C. Grant No. U4/4997/97-98. G. V. R. Babu thanks the University Grants Commission, India for the financial support.     

An Existence Theorem of Smooth Nonlocal Center Manifolds for Systems Close to a System with a Homoclinic Loop

Summary. In this paper we give a proof of the existence of smooth nonlocal center manifolds for systems close to a system with a homoclinic orbit to a saddle-type equilibrium point. Our proof is based on a consideration of some class of the boundary value problems (see Section 3). We obtain estimates for solutions of the boundary value problems that allow us to prove the theorem on the center manifolds at the C ¹ -assumptions for the smoothness of systems. Received June 4, 1997; final revision received April 24, 1998     

Global existence of weak solutions for a system of non-linear Boltzmann equations in semiconductor physics

In this paper we give a proof of the global existence of weak solutions for the semiconductor Boltzmann equation. This equation rules the evolution of the distribution function of carriers in the kinetic model of semiconductors. The main tool for the proof consists of a recent compactness result on velocity averages of solutions of transport equations. This result needs a L²-estimate of the electric field, which is obtained from the energy estimate, using the original regularization procedure of the problem, proposed in this paper.     

Bounds,monotonicity, uniqueness,and analytical calculation of a class of similarity solutions for the fluid flow over a nonlinearly stretching sheet

Invoking some estimates obtained in [F.T. Akyildiz et al., Mathematical Methods in the Applied Sciences 33 (2010) 601–606] (which presented an alternate method of proof for the present problem), we correct the parameter regime considered in [R.A. Van Gorder, K. Vajravelu, and F. T. Akyildiz, Existence and uniqueness results for a nonlinear differential equation arising in viscous flow over a nonlinearly stretching sheet, Applied Mathematics Letters 24 (2011) 238–242] and add some details, which were omitted in the original proof. After this is done, we formulate a more elegant method of proof, converting the nonlinear ODE into a first nonlinear order system. This gives us a more natural way to view the problem and lends insight into the behavior of the solutions. Finally, we give a new way to approximate the shooting parameter α = f ′ ′ (0) analytically, through minimization of the L²([0, ∞ )) norm of residual errors. This approximation demonstrates the behavior of the parameter α we expect from the proved theorems, as well as from numerical simulations. In this way, we obtain a concise analytical approximation to the similarity solution. In summary, from this analysis, we find that monotonicity of solutions and their derivatives is essential in determining uniqueness, and these monotone solutions can be approximated analytically in a fairly simple way. Copyright © 2014 John Wiley & Sons, Ltd.     

On a combinatorial method for counting smooth numbers in sets of integers

In this paper we develop a method for determining the number of integers without large prime factors lying in a given set S. We will apply it to give an easy proof that certain sufficiently dense sets A and B always produce the expected number of “smooth” sums a+b, a∈A, b∈B. The proof of this result is completely combinatorial and elementary.     

Alternative proof and interpretations for a recent state-dependent importance sampling scheme

Recently, a state-dependent change of measure for simulating overflows in the two-node tandem queue was proposed by Dupuis et al. (Ann. Appl. Probab. 17(4):1306–1346, 2007), together with a proof of its asymptotic optimality. In the present paper, we present an alternative, shorter and simpler proof. As a side result, we obtain interpretations for several of the quantities involved in the change of measure in terms of likelihood ratios. Part of this research has been funded by the Dutch BSIK/BRICKS project; part of this research was done while the first author was visiting INRIA/IRISA, Rennes, France.     

Infinitesimal Torelli for elliptic surfaces revisited

In this article we give a new proof for the infinitesimal Torelli theorem for minimal elliptic surfaces without multiple fibers with Euler number at least 24 for nonconstant j-invariant. In the case of constant j-invariant we find a new proof in the case of Euler number at least 72. We also discuss several new counterexamples.     

Translation representation for automorphic solutions of the wave equation in non-euclidean spaces,IV

In Part I of this series of papers we have defined the incoming and outgoing translation representations for automorphic solutions of the hyperbolic wave equations; in Part II we have proved the completeness of these representations when the fundamental polyhedron F has a finite number of sides with a finite or infinite volume, but is not compact. In Part IV we present a proof of completeness which is simpler than our original proof contained in Section 7 of Part II for the case when F has cusps of less than maximal rank; and we supply a proof for the case, not covered in Section 7, when the parabolic subgroup associated with such cusps contains twists.     

The Passage Time Distribution for a Birth-and-Death Chain: Strong Stationary Duality Gives a First Stochastic Proof

A well-known theorem usually attributed to Keilson states that, for an irreducible continuous-time birth-and-death chain on the nonnegative integers and any d, the passage time from state 0 to state d is distributed as a sum of d independent exponential random variables. Until now, no probabilistic proof of the theorem has been known. In this paper we use the theory of strong stationary duality to give a stochastic proof of a similar result for discrete-time birth-and-death chains and geometric random variables, and the continuous-time result (which can also be given a direct stochastic proof) then follows immediately. In both cases we link the parameters of the distributions to eigenvalue information about the chain. We also discuss how the continuous-time result leads to a proof of the Ray–Knight theorem. Intimately related to the passage-time theorem is a theorem of Fill that any fastest strong stationary time T for an ergodic birth-and-death chain on {0,…,d} in continuous time with generator G, started in state 0, is distributed as a sum of d independent exponential random variables whose rate parameters are the nonzero eigenvalues of −G. Our approach yields the first (sample-path) construction of such a T for which individual such exponentials summing to T can be explicitly identified. Research of J.A. Fill was supported by NSF grant DMS–0406104 and by The Johns Hopkins University’s Acheson J. Duncan Fund for the Advancement of Research in Statistics.     

A short proof for a generalization of Vizing's theorem

For a simple graph of maximum degree Δ, it is always possible to color the edges with Δ + 1 colors (Vizing); furthermore, if the set of vertices of maximum degree is independent, Δ colors suffice (Fournier). In this article, we give a short constructive proof of an extension of these results to multigraphs. Instead of considering several color interchanges along alternating chains (Vizing, Gupta), using counting arguments (Ehrenfeucht, Faber, Kierstead), or improving nonvalid colorings with Fournier's Lemma, the method of proof consists of using one single easy transformation, called “sequential recoloring”, to augment a partial k-coloring of the edges.     

Quadratic relations for a q-analogue of multiple zeta values

We obtain a class of quadratic relations for a q-analogue of multiple zeta values (qMZV’s). In the limit q→1, it turns into Kawashima’s relation for multiple zeta values. As a corollary we find that qMZV’s satisfy the linear relation contained in Kawashima’s relation. In the proof we make use of a q-analogue of Newton series and Bradley’s duality formula for finite multiple harmonic q-series.     

Some a priori estimates for a class of operators in the Heisenberg group

In this note, we provide some a priori estimates for a class of operators that stem from the Laplacian in the Heisenberg group. We follow the idea contained in a proof given by Talenti, see (Ann Scuola Norm Sup Pisa Cl Sci (4) 3(4): 697–718, 1976), by adapting the classical notion of symmetrized rearrangement of a function to the framework of the Heisenberg group.     

Trace Theorems for Anisotropic Weighted SOBOLEV Spaces in a Corner

In this paper, we prove a trace theorem for anisotropic weighted Sobolev spaces in a cube Q naturally associated to a class of degenerate elliptic operators. The fundamental property of this class is the existence of a suitable metric d which is “natural” for the operators. The basic tool of the proof is a representation formula obtained via suitable non-euclidean translations closely fitting the geometry of the d-balls. In a more particular situation, we construct a right inverse of the trace operator and we describe the compatibility conditions on the edges of Q.