Some observations on the substructure lattice of a Δ1 ultrapower

Given a (nontrivial) Δ₁ ultrapower ?/??, let ??_U denote the set of all Π₂‐correct substructures of ?/??; i.e., ??_U is the collection of all those subsets of |?/??| that are closed under computable (in the sense of ?/??) functions. Defining in the obvious way the lattice ??(?/??)) with domain ??_U, we obtain some preliminary results about lattice embeddings into – or realization as – an ??(?/??). The basis for these results, as far as we take the matter, consists of (1) the well‐known class of (non‐trivial) minimal ?/??'s, which function as atoms, and (2) the class of minimalfree ?/??'s, to whose nonemptiness a substantial section of the paper is devoted. It is shown that an infinite, convergent monotone sequence together with its limit point is embeddable in an ??(?/??), and that the initial segment lattices {0, 1,…, n } are not just embeddable in (as is trivial), but in fact realizable as, lattices ??(?/??). Finally, the diamond is (easily) embeddable; and if it is not realizable, then either the 1 ‐ 3 ‐ 1 lattice or the pentagon is at least embeddable (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A note on bound for norms of Cauchy–Hankel matrices

We determine bounds for the spectral and ??_p norm of Cauchy–Hankel matrices of the form H_n=[1/(g+h(i+j))]ⁿ_i,j=1≡ ([1/(g+kh)]ⁿ_i,j=1), k=0, 1,…, n –1, where k is defined by i+j=k (mod n). Copyright © 2002 John Wiley & Sons, Ltd.     

A note on the Σ1 collection scheme and fragments of bounded arithmetic

We show that for each n ≥ 1, if T₂ⁿ does not prove the weak pigeonhole principle for Σ^b_n functions, then the collection scheme B Σ₁ is not finitely axiomatizable over T₂ⁿ. The same result holds with Sⁿ₂ in place of T 2ⁿ (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A historical note on Gauss–Kronrod quadrature

Summary The idea of Gauss–Kronrod quadrature, in a germinal form, is traced back to an 1894 paper of R. Skutsch.     

A note on the minimum bounded edge-partition of a tree

Minimum bounded edge-partition divides the edge set of a tree into the minimum number of disjoint connected components given a maximum weight for any component. It is an adaptation of the uniform edge-partition of a tree. An optimization algorithm is developed for this NP-hard problem, based on repeated bin packing of inter-related instances. The algorithm has linear running time for the class of ‘balanced trees’ common for the stochastic programming application which motivated investigation of this problem.Fast 2-approximation algorithms are formed for general instances by replacing the optimal bin packing with almost any bin packing heuristic. The asymptotic worst-case ratio of these approximation algorithms is never better than the absolute worst-case ratio of the bin packing heuristic used.     

A note on a class of noncoercive functionals

Our goal here is to prove the existence of a nontrivial critical point to the following functional:

. by using the well-known Mountain-Pass theorem with the Ceramil Palais-Smale condition.     

A note on commutativity up to a factor of bounded operators

In this note, we explore commutativity up to a factor for bounded operators and in a complex Hilbert space. Conditions on possible values of the factor are formulated and shown to depend on spectral properties of the operators. Commutativity up to a unitary factor is considered. In some cases, we obtain some properties of the solution space of the operator equation and explore the structures of and that satisfy for some A quantum effect is an operator on a complex Hilbert space that satisfies The sequential product of quantum effects and is defined by We also obtain properties of the sequential product.

     

A note on solving Cauchy integral equations of the first kind by iterations

The successive approximation method was applied for the first time by N.I. Ioakimidis to solve practical cases of a Cauchy singular integral equation: the airfoil one. In this paper we study a more general case. We prove the convergence of the method in this general case. The proposed method has been tested for two kernels which are particularly important in practice. Finally, some numerical examples illustrate the accuracy of the method.     

Some Results on LΔ

We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δ_n+1 formulas.     

The one‐dimensional Schrödinger operator on bounded time scales

In this paper, we consider the one‐dimensional Schrödinger operator on bounded time scales. We construct a space of boundary values of the minimal operator and describe all maximal dissipative, maximal accretive, self‐adjoint, and other extensions of the dissipative Schrödinger operators in terms of boundary conditions. In particular, using Lidskii's theorem, we prove a theorem on completeness of the system of root vectors of the dissipative Schrödinger operators on bounded time scales. Copyright © 2016 John Wiley & Sons, Ltd.     

A note on the existence of positive bounded solutions for an epidemic model

In this short note, we establish an existence and uniqueness theorem about a positive bounded solution for a nonlinear infinite delay integral equation, which arises in some epidemic problems. As one can see, our main result can deal with some cases, to which many previous results cannot be applied. In addition, we show that our main result can also be applied to a Lasota–Wazewska model.     

A note on Spector's quantifier-free rule of extensionality

In this note we show that the so-called weakly extensional arithmetic in all finite types, which is based on a quantifier-free rule of extensionality due to C. Spector and which is of significance in the context of G?del"s functional interpretation, does not satisfy the deduction theorem for additional axioms. This holds already for Π⁰ ₁-axioms. Previously, only the failure of the stronger deduction theorem for deductions from (possibly open) assumptions (with parameters kept fixed) was known. Received: 11 March 1999 / Published online: 21 December 2000     

A note on an example by van Mill

Adapting an earlier example by J. van Mill, we prove that there exists a zero-dimensional compact space of countable π-weight and uncountable character that is homogeneous under , but not under .     

A note on ℝ‐linear GMRES for solving a class of ℝ‐linear systems

We prove that ?‐linear GMRES for solving a class of ?‐linear systems is faster than GMRES applied to the related ?‐linear systems in terms of matrix–vector products. Numerical examples are given to demonstrate the theoretical result. Copyright © 2011 John Wiley & Sons, Ltd.     

A note on temporal regularity of second order difference equations

This work deals with the study of maximal ?^p‐regularity of a pair (A,B) of bounded linear operators on a complex Banach space associated to the second order difference equation u_{n + 2} = Bu_{n + 1} + Au_n + f_n, where f is a given sequence on . We obtain results of characterization based on spectral analysis of the discrete sine family, which is the resolvent family of this equation.     

A note on preconditioned AOR method for -matrices

In this note, some errors in a recent article by Li et al. (Improvements of preconditioned AOR iterative methods for L-matrices, J. Comput. Appl. Math. 206 (2007) 656–665) are pointed out and some correct results are presented.     

A note on the exponentiality of total hazards before failure

It is well known that a univariate counting process with a given intensity function becomes Poisson, with unit parameter, if the original time parameter is replaced by the integrated intensity. P. A. Meyer (in Martingales (H. Dinges, Ed.), pp. 32–37. Lecture Notes in Mathematics, Vol. 190, Springer-Verlag, Berlin) showed that a similar result holds for multivariate counting processes which have continuous compensators. Even more is true in the multivariate case: If each coordinate process is transformed individually according to a convenient time change, the resulting Poisson processes become independent. Our aim is to show that the continuity assumption of the compensators can be relaxed and, when the jumps of the compensator become small, we obtain the independent Poisson processes as a limit. An application for testing goodness-of-fit in survival analysis is given.